Skip to content →

Tag: noncommutative

what does the monster see?

Published July 16, 2008 by lievenlb

The Monster is the largest of the 26 sporadic simple groups and has order

808 017 424 794 512 875 886 459 904 961 710 757 005 754 368 000 000 000

= 2^46 3^20 5^9 7^6 11^2 13^3 17 19 23 29 31 41 47 59 71.

It is not so much the size of its order that makes it hard to do actual calculations in the monster, but rather the dimensions of its smallest non-trivial irreducible representations (196 883 for the smallest, 21 296 876 for the next one, and so on).

In characteristic two there is an irreducible representation of one dimension less (196 882) which appears to be of great use to obtain information. For example, Robert Wilson used it to prove that The Monster is a Hurwitz group. This means that the Monster is generated by two elements g and h satisfying the relations

$g^2 = h^3 = (gh)^7 = 1 $

Geometrically, this implies that the Monster is the automorphism group of a Riemann surface of genus g satisfying the Hurwitz bound 84(g-1)=#Monster. That is,

g=9619255057077534236743570297163223297687552000000001=42151199 * 293998543 * 776222682603828537142813968452830193

Or, in analogy with the Klein quartic which can be constructed from 24 heptagons in the tiling of the hyperbolic plane, there is a finite region of the hyperbolic plane, tiled with heptagons, from which we can construct this monster curve by gluing the boundary is a specific way so that we get a Riemann surface with exactly 9619255057077534236743570297163223297687552000000001 holes. This finite part of the hyperbolic tiling (consisting of #Monster/7 heptagons) we’ll call the empire of the monster and we’d love to describe it in more detail.



Look at the half-edges of all the heptagons in the empire (the picture above learns that every edge in cut in two by a blue geodesic). They are exactly #Monster such half-edges and they form a dessin d’enfant for the monster-curve.

If we label these half-edges by the elements of the Monster, then multiplication by g in the monster interchanges the two half-edges making up a heptagonal edge in the empire and multiplication by h in the monster takes a half-edge to the one encountered first by going counter-clockwise in the vertex of the heptagonal tiling. Because g and h generated the Monster, the dessin of the empire is just a concrete realization of the monster.

Because g is of order two and h is of order three, the two permutations they determine on the dessin, gives a group epimorphism $C_2 \ast C_3 = PSL_2(\mathbb{Z}) \rightarrow \mathbb{M} $ from the modular group $PSL_2(\mathbb{Z}) $ onto the Monster-group.

In noncommutative geometry, the group-algebra of the modular group $\mathbb{C} PSL_2 $ can be interpreted as the coordinate ring of a noncommutative manifold (because it is formally smooth in the sense of Kontsevich-Rosenberg or Cuntz-Quillen) and the group-algebra of the Monster $\mathbb{C} \mathbb{M} $ itself corresponds in this picture to a finite collection of ‘points’ on the manifold. Using this geometric viewpoint we can now ask the question What does the Monster see of the modular group?

To make sense of this question, let us first consider the commutative equivalent : what does a point P see of a commutative variety X?



Evaluation of polynomial functions in P gives us an algebra epimorphism $\mathbb{C}[X] \rightarrow \mathbb{C} $ from the coordinate ring of the variety $\mathbb{C}[X] $ onto $\mathbb{C} $ and the kernel of this map is the maximal ideal $\mathfrak{m}_P $ of
$\mathbb{C}[X] $ consisting of all functions vanishing in P.

Equivalently, we can view the point $P= \mathbf{spec}~\mathbb{C}[X]/\mathfrak{m}_P $ as the scheme corresponding to the quotient $\mathbb{C}[X]/\mathfrak{m}_P $. Call this the 0-th formal neighborhood of the point P.

This sounds pretty useless, but let us now consider higher-order formal neighborhoods. Call the affine scheme $\mathbf{spec}~\mathbb{C}[X]/\mathfrak{m}_P^{n+1} $ the n-th forml neighborhood of P, then the first neighborhood, that is with coordinate ring $\mathbb{C}[X]/\mathfrak{m}_P^2 $ gives us tangent-information. Alternatively, it gives the best linear approximation of functions near P.
The second neighborhood $\mathbb{C}[X]/\mathfrak{m}_P^3 $ gives us the best quadratic approximation of function near P, etc. etc.

These successive quotients by powers of the maximal ideal $\mathfrak{m}_P $ form a system of algebra epimorphisms

$\ldots \frac{\mathbb{C}[X]}{\mathfrak{m}_P^{n+1}} \rightarrow \frac{\mathbb{C}[X]}{\mathfrak{m}_P^{n}} \rightarrow \ldots \ldots \rightarrow \frac{\mathbb{C}[X]}{\mathfrak{m}_P^{2}} \rightarrow \frac{\mathbb{C}[X]}{\mathfrak{m}_P} = \mathbb{C} $

and its inverse limit $\underset{\leftarrow}{lim}~\frac{\mathbb{C}[X]}{\mathfrak{m}_P^{n}} = \hat{\mathcal{O}}_{X,P} $ is the completion of the local ring in P and contains all the infinitesimal information (to any order) of the variety X in a neighborhood of P. That is, this completion $\hat{\mathcal{O}}_{X,P} $ contains all information that P can see of the variety X.

In case P is a smooth point of X, then X is a manifold in a neighborhood of P and then this completion
$\hat{\mathcal{O}}_{X,P} $ is isomorphic to the algebra of formal power series $\mathbb{C}[[ x_1,x_2,\ldots,x_d ]] $ where the $x_i $ form a local system of coordinates for the manifold X near P.

Right, after this lengthy recollection, back to our question what does the monster see of the modular group? Well, we have an algebra epimorphism

$\pi~:~\mathbb{C} PSL_2(\mathbb{Z}) \rightarrow \mathbb{C} \mathbb{M} $

and in analogy with the commutative case, all information the Monster can gain from the modular group is contained in the $\mathfrak{m} $-adic completion

$\widehat{\mathbb{C} PSL_2(\mathbb{Z})}_{\mathfrak{m}} = \underset{\leftarrow}{lim}~\frac{\mathbb{C} PSL_2(\mathbb{Z})}{\mathfrak{m}^n} $

where $\mathfrak{m} $ is the kernel of the epimorphism $\pi $ sending the two free generators of the modular group $PSL_2(\mathbb{Z}) = C_2 \ast C_3 $ to the permutations g and h determined by the dessin of the pentagonal tiling of the Monster’s empire.

As it is a hopeless task to determine the Monster-empire explicitly, it seems even more hopeless to determine the kernel $\mathfrak{m} $ let alone the completed algebra… But, (surprise) we can compute $\widehat{\mathbb{C} PSL_2(\mathbb{Z})}_{\mathfrak{m}} $ as explicitly as in the commutative case we have $\hat{\mathcal{O}}_{X,P} \simeq \mathbb{C}[[ x_1,x_2,\ldots,x_d ]] $ for a point P on a manifold X.

Here the details : the quotient $\mathfrak{m}/\mathfrak{m}^2 $ has a natural structure of $\mathbb{C} \mathbb{M} $-bimodule. The group-algebra of the monster is a semi-simple algebra, that is, a direct sum of full matrix-algebras of sizes corresponding to the dimensions of the irreducible monster-representations. That is,

$\mathbb{C} \mathbb{M} \simeq \mathbb{C} \oplus M_{196883}(\mathbb{C}) \oplus M_{21296876}(\mathbb{C}) \oplus \ldots \ldots \oplus M_{258823477531055064045234375}(\mathbb{C}) $

with exactly 194 components (the number of irreducible Monster-representations). For any $\mathbb{C} \mathbb{M} $-bimodule $M $ one can form the tensor-algebra

$T_{\mathbb{C} \mathbb{M}}(M) = \mathbb{C} \mathbb{M} \oplus M \oplus (M \otimes_{\mathbb{C} \mathbb{M}} M) \oplus (M \otimes_{\mathbb{C} \mathbb{M}} M \otimes_{\mathbb{C} \mathbb{M}} M) \oplus \ldots \ldots $




and applying the formal neighborhood theorem for formally smooth algebras (such as $\mathbb{C} PSL_2(\mathbb{Z}) $) due to Joachim Cuntz (left) and Daniel Quillen (right) we have an isomorphism of algebras

$\widehat{\mathbb{C} PSL_2(\mathbb{Z})}_{\mathfrak{m}} \simeq \widehat{T_{\mathbb{C} \mathbb{M}}(\mathfrak{m}/\mathfrak{m}^2)} $

where the right-hand side is the completion of the tensor-algebra (at the unique graded maximal ideal) of the $\mathbb{C} \mathbb{M} $-bimodule $\mathfrak{m}/\mathfrak{m}^2 $, so we’d better describe this bimodule explicitly.

Okay, so what’s a bimodule over a semisimple algebra of the form $S=M_{n_1}(\mathbb{C}) \oplus \ldots \oplus M_{n_k}(\mathbb{C}) $? Well, a simple S-bimodule must be either (1) a factor $M_{n_i}(\mathbb{C}) $ with all other factors acting trivially or (2) the full space of rectangular matrices $M_{n_i \times n_j}(\mathbb{C}) $ with the factor $M_{n_i}(\mathbb{C}) $ acting on the left, $M_{n_j}(\mathbb{C}) $ acting on the right and all other factors acting trivially.

That is, any S-bimodule can be represented by a quiver (that is a directed graph) on k vertices (the number of matrix components) with a loop in vertex i corresponding to each simple factor of type (1) and a directed arrow from i to j corresponding to every simple factor of type (2).

That is, for the Monster, the bimodule $\mathfrak{m}/\mathfrak{m}^2 $ is represented by a quiver on 194 vertices and now we only have to determine how many loops and arrows there are at or between vertices.

Using Morita equivalences and standard representation theory of quivers it isn’t exactly rocket science to determine that the number of arrows between the vertices corresponding to the irreducible Monster-representations $S_i $ and $S_j $ is equal to

$dim_{\mathbb{C}}~Ext^1_{\mathbb{C} PSL_2(\mathbb{Z})}(S_i,S_j)-\delta_{ij} $

Now, I’ve been wasting a lot of time already here explaining what representations of the modular group have to do with quivers (see for example here or some other posts in the same series) and for quiver-representations we all know how to compute Ext-dimensions in terms of the Euler-form applied to the dimension vectors.

Right, so for every Monster-irreducible $S_i $ we have to determine the corresponding dimension-vector $~(a_1,a_2;b_1,b_2,b_3) $ for the quiver

$\xymatrix{ & & & &
\vtx{b_1} \\ \vtx{a_1} \ar[rrrru]^(.3){B_{11}} \ar[rrrrd]^(.3){B_{21}}
\ar[rrrrddd]_(.2){B_{31}} & & & & \\ & & & & \vtx{b_2} \\ \vtx{a_2}
\ar[rrrruuu]_(.7){B_{12}} \ar[rrrru]_(.7){B_{22}}
\ar[rrrrd]_(.7){B_{23}} & & & & \\ & & & & \vtx{b_3}} $

Now the dimensions $a_i $ are the dimensions of the +/-1 eigenspaces for the order 2 element g in the representation and the $b_i $ are the dimensions of the eigenspaces for the order 3 element h. So, we have to determine to which conjugacy classes g and h belong, and from Wilson’s paper mentioned above these are classes 2B and 3B in standard Atlas notation.

So, for each of the 194 irreducible Monster-representations we look up the character values at 2B and 3B (see below for the first batch of those) and these together with the dimensions determine the dimension vector $~(a_1,a_2;b_1,b_2,b_3) $.

For example take the 196883-dimensional irreducible. Its 2B-character is 275 and the 3B-character is 53. So we are looking for a dimension vector such that $a_1+a_2=196883, a_1-275=a_2 $ and $b_1+b_2+b_3=196883, b_1-53=b_2=b_3 $ giving us for that representation the dimension vector of the quiver above $~(98579,98304,65663,65610,65610) $.

Okay, so for each of the 194 irreducibles $S_i $ we have determined a dimension vector $~(a_1(i),a_2(i);b_1(i),b_2(i),b_3(i)) $, then standard quiver-representation theory asserts that the number of loops in the vertex corresponding to $S_i $ is equal to

$dim(S_i)^2 + 1 – a_1(i)^2-a_2(i)^2-b_1(i)^2-b_2(i)^2-b_3(i)^2 $

and that the number of arrows from vertex $S_i $ to vertex $S_j $ is equal to

$dim(S_i)dim(S_j) – a_1(i)a_1(j)-a_2(i)a_2(j)-b_1(i)b_1(j)-b_2(i)b_2(j)-b_3(i)b_3(j) $

This data then determines completely the $\mathbb{C} \mathbb{M} $-bimodule $\mathfrak{m}/\mathfrak{m}^2 $ and hence the structure of the completion $\widehat{\mathbb{C} PSL_2}_{\mathfrak{m}} $ containing all information the Monster can gain from the modular group.

But then, one doesn’t have to go for the full regular representation of the Monster. Any faithful permutation representation will do, so we might as well go for the one of minimal dimension.

That one is known to correspond to the largest maximal subgroup of the Monster which is known to be a two-fold extension $2.\mathbb{B} $ of the Baby-Monster. The corresponding permutation representation is of dimension 97239461142009186000 and decomposes into Monster-irreducibles

$S_1 \oplus S_2 \oplus S_4 \oplus S_5 \oplus S_9 \oplus S_{14} \oplus S_{21} \oplus S_{34} \oplus S_{35} $

(in standard Atlas-ordering) and hence repeating the arguments above we get a quiver on just 9 vertices! The actual numbers of loops and arrows (I forgot to mention this, but the quivers obtained are actually symmetric) obtained were found after laborious computations mentioned in this post and the details I’ll make avalable here.

Anyone who can spot a relation between the numbers obtained and any other part of mathematics will obtain quantities of genuine (ie. non-Inbev) Belgian beer…

8 Comments

GAMAP 2008

Published July 7, 2008 by lievenlb

Next week, our annual summer school Geometric and Algebraic Methods with Applications in Physics will start, once again (ive lost count which edition it is).

Because Isar is awol to la douce France, I’ll be responsible (once again) for the web-related stuff of the meeting. So, here a couple of requests to participants/lecturers :

  • if you are giving a mini-course and would like to have your material online, please contact me and i’ll make you an author of the Arts blog.
  • if you are a student attending the summerschool and would love to do some Liveblogging about the meeting, please do the same.

I’ll try to do some cross-posting here when it comes to my own lectures (and, perhaps, a few others). For now, I settled on ‘What is noncommutative geometry?’ as a preliminary title, but then, I’m in the position to change the program with a few keystrokes, so I’ll probably change it by then (or remove myself from it altogether…).

At times, I feel it would be more fun to do a few talks on Math-blogging. An entertaining hour could be spend on the forensic investigation of the recent Riemann-Hypothesis-hype in (a good part of) the math-blogosphere…

One Comment

The F_un folklore

Published June 7, 2008 by lievenlb

All esoteric subjects have their own secret (sacred) texts. If you opened the Da Vinci Code (or even better, the original The Holy blood and the Holy grail) you will known about a mysterious collection of documents, known as the “Dossiers secrets“, deposited in the Bibliothèque nationale de France on 27 April 1967, which is rumoured to contain the mysteries of the Priory of Sion, a secret society founded in the middle ages and still active today…

The followers of F-un, for $\mathbb{F}_1 $ the field of one element, have their own collection of semi-secret texts, surrounded by whispers, of which they try to decode every single line in search of enlightenment. Fortunately, you do not have to search the shelves of the Bibliotheque National in Paris, but the depths of the internet to find them as huge, bandwidth-unfriendly, scanned documents.

The first are the lecture notes “Lectures on zeta functions and motives” by Yuri I. Manin of a course given in 1991.

One can download a scanned version of the paper from the homepage of Katia Consani as a huge 23.1 Mb file. Of F-un relevance is the first section “Absolute Motives?” in which

“…we describe a highly speculative picture of analogies between arithmetics over $\mathbb{F}_q $ and over $\mathbb{Z} $, cast in the language reminiscent of Grothendieck’s motives. We postulate the existence of a category with tensor product $\times $ whose objects correspond not only to the divisors of the Hasse-Weil zeta functions of schemes over $\mathbb{Z} $, but also to Kurokawa’s tensor divisors. This neatly leads to teh introduction of an “absolute Tate motive” $\mathbb{T} $, whose zeta function is $\frac{s-1}{2\pi} $, and whose zeroth power is “the absolute point” which is teh base for Kurokawa’s direct products. We add some speculations about the role of $\mathbb{T} $ in the “algebraic geometry over a one-element field”, and in clarifying the structure of the gamma factors at infinity.” (loc.cit. p 1-2)

I’d welcome links to material explaining this section to people knowing no motives.

The second one is the unpublished paper “Cohomology determinants and reciprocity laws : number field case” by Mikhail Kapranov and A. Smirnov.

This paper features in blog-posts at the Arcadian Functor, in John Baez’ Weekly Finds and in yesterday’s post at Noncommutative Geometry.

You can download every single page (of 15) as a separate file from here. But, in order to help spreading the Fun-gospel, I’ve made these scans into a single PDF-file which you can download as a 2.6 Mb PDF. In the introduction they say :

“First of all, it is an old idea to interpret combinatorics of finite sets as the $q \rightarrow 1 $ limit of linear algebra over the finite field $\mathbb{F}_q $. This had lead to frequent consideration of the folklore object $\mathbb{F}_1 $, the “field with one element”, whose vector spaces are just sets. One can postulate, of course, that $\mathbf{spec}(\mathbb{F}_1) $ is the absolute point, but the real problem is to develop non-trivial consequences of this point of view.”

They manage to deduce higher reciprocity laws in class field theory within the theory of $\mathbb{F}_1 $ and its field extensions $\mathbb{F}_{1^n} $. But first, let us explain how they define linear algebra over these absolute fields.

Here is a first principle : in doing linear algebra over these fields, there is no additive structure but only scalar multiplication by field elements. So, what are vector spaces over the field with one element? Well, as scalar multiplication with 1 is just the identity map, we have that a vector space is just a set. Linear maps are just set-maps and in particular, a linear isomorphism of a vector space onto itself is a permutation of the set. That is, linear algebra over $\mathbb{F}_1 $ is the same as combinatorics of (finite) sets.

A vector space over $\mathbb{F}_1 $ is just a set; the dimension of such a vector space is the cardinality of the set. The general linear group $GL_n(\mathbb{F}_1) $ is the symmetric group $S_n $, the identification via permutation matrices (having exactly one 1 in every row and column)

Some people prefer to view an $\mathbb{F}_1 $ vector space as a pointed set, the special element being the ‘origin’ $0 $ but as $\mathbb{F}_1 $ doesnt have a zero, there is also no zero-vector. Still, in later applications (such as defining exact sequences and quotient spaces) it is helpful to have an origin. So, let us denote for any set $S $ by $S^{\bullet} = S \cup { 0 } $. Clearly, linear maps between such ‘extended’ spaces must be maps of pointed sets, that is, sending $0 \rightarrow 0 $.

The field with one element $\mathbb{F}_1 $ has a field extension of degree n for any natural number n which we denote by $\mathbb{F}_{1^n} $ and using the above notation we will define this field as :

$\mathbb{F}_{1^n} = \mu_n^{\bullet} $ with $\mu_n $ the group of all n-th roots of unity. Note that if we choose a primitive n-th root $\epsilon_n $, then $\mu_n \simeq C_n $ is the cyclic group of order n.

Now what is a vector space over $\mathbb{F}_{1^n} $? Recall that we only demand units of the field to act by scalar multiplication, so each ‘vector’ $\vec{v} $ determines an n-set of linear dependent vectors $\epsilon_n^i \vec{v} $. In other words, any $\mathbb{F}_{1^n} $-vector space is of the form $V^{\bullet} $ with $V $ a set of which the group $\mu_n $ acts freely. Hence, $V $ has $N=d.n $ elements and there are exactly $d $ orbits for the action of $\mu_n $ by scalar multiplication. We call $d $ the dimension of the vectorspace and a basis consists in choosing one representant for every orbits. That is, $~B = { b_1,\ldots,b_d } $ is a basis if (and only if) $V = { \epsilon_n^j b_i~:~1 \leq i \leq d, 1 \leq j \leq n } $.

So, vectorspaces are free $\mu_n $-sets and hence linear maps $V^{\bullet} \rightarrow W^{\bullet} $ is a $\mu_n $-map $V \rightarrow W $. In particular, a linear isomorphism of $V $, that is an element of $GL_d(\mathbb{F}_{1^n}) $ is a $\mu_n $ bijection sending any basis element $b_i \rightarrow \epsilon_n^{j(i)} b_{\sigma(i)} $ for a permutation $\sigma \in S_d $.

An $\mathbb{F}_{1^n} $-vectorspace $V^{\bullet} $ is a free $\mu_n $-set $V $ of $N=n.d $ elements. The dimension $dim_{\mathbb{F}_{1^n}}(V^{\bullet}) = d $ and the general linear group $GL_d(\mathbb{F}_{1^n}) $ is the wreath product of $S_d $ with $\mu_n^{\times d} $, the identification as matrices with exactly one non-zero entry (being an n-th root of unity) in every row and every column.

This may appear as a rather sterile theory, so let us give an extremely important example, which will lead us to our second principle for developing absolute linear algebra.

Let $q=p^k $ be a prime power and let $\mathbb{F}_q $ be the finite field with $q $ elements. Assume that $q \cong 1~mod(n) $. It is well known that the group of units $\mathbb{F}_q^{\ast} $ is cyclic of order $q-1 $ so by the assumption we can identify $\mu_n $ with a subgroup of $\mathbb{F}_q^{\ast} $.

Then, $\mathbb{F}_q = (\mathbb{F}_q^{\ast})^{\bullet} $ is an $\mathbb{F}_{1^n} $-vectorspace of dimension $d=\frac{q-1}{n} $. In other words, $\mathbb{F}_q $ is an $\mathbb{F}_{1^n} $-algebra. But then, any ordinary $\mathbb{F}_q $-vectorspace of dimension $e $ becomes (via restriction of scalars) an $\mathbb{F}_{1^n} $-vector space of dimension $\frac{e(q-1)}{n} $.

Next time we will introduce more linear algebra definitions (including determinants, exact sequences, direct sums and tensor products) in the realm the absolute fields $\mathbb{F}_{1^n} $ and remarkt that we have to alter the known definitions as we can only use the scalar-multiplication. To guide us, we have the second principle : all traditional results of linear algebra over $\mathbb{F}_q $ must be recovered from the new definitions under the vector-space identification $\mathbb{F}_q = (\mathbb{F}_q^{\ast})^{\bullet} = \mathbb{F}_{1^n} $ when $n=q-1 $. (to be continued)

One Comment

Looking for F_un

Published June 3, 2008 by lievenlb

There are only a handful of human activities where one goes to extraordinary lengths to keep a dream alive, in spite of overwhelming evidence : religion, theoretical physics, supporting the Belgian football team and … mathematics.

In recent years several people spend a lot of energy looking for properties of an elusive object : the field with one element $\mathbb{F}_1 $, or in French : “F-un”. The topic must have reached a level of maturity as there was a conference dedicated entirely to it : NONCOMMUTATIVE GEOMETRY AND GEOMETRY OVER THE FIELD WITH ONE ELEMENT.

In this series I’d like to find out what the fuss is all about, why people would like it to exist and what it has to do with noncommutative geometry. However, before we start two remarks :

The field $\mathbb{F}_1 $ does not exist, so don’t try to make sense of sentences such as “The ‘field with one element’ is the free algebraic monad generated by one constant (p.26), or the universal generalized ring with zero (p.33)” in the wikipedia-entry. The simplest proof is that in any (unitary) ring we have $0 \not= 1 $ so any ring must contain at least two elements. A more highbrow version : the ring of integers $\mathbb{Z} $ is the initial object in the category of unitary rings, so it cannot be an algebra over anything else.

The second remark is that several people have already written blog-posts about $\mathbb{F}_1 $. Here are a few I know of : David Corfield at the n-category cafe and at his old blog, Noah Snyder at the secret blogging seminar, Kea at the Arcadian functor, AC and K. Consani at Noncommutative geometry and John Baez wrote about it in his weekly finds.

The dream we like to keep alive is that we will prove the Riemann hypothesis one fine day by lifting Weil’s proof of it in the case of curves over finite fields to rings of integers.

Even if you don’t know a word about Weil’s method, if you think about it for a couple of minutes, there are two immediate formidable problems with this strategy.

For most people this would be evidence enough to discard the approach, but, we mathematicians have found extremely clever ways for going into denial.

The first problem is that if we want to think of $\mathbf{spec}(\mathbb{Z}) $ (or rather its completion adding the infinite place) as a curve over some field, then $\mathbb{Z} $ must be an algebra over this field. However, no such field can exist…

No problem! If there is no such field, let us invent one, and call it $\mathbb{F}_1 $. But, it is a bit hard to do geometry over an illusory field. Christophe Soule succeeded in defining varieties over $\mathbb{F}_1 $ in a talk at the 1999 Arbeitstagung and in a more recent write-up of it : Les varietes sur le corps a un element.

We will come back to this in more detail later, but for now, here’s the main idea. Consider an existent field $k $ and an algebra $k \rightarrow R $ over it. Now study the properties of the functor (extension of scalars) from $k $-schemes to $R $-schemes. Even if there is no morphism $\mathbb{F}_1 \rightarrow \mathbb{Z} $, let us assume it exists and define $\mathbb{F}_1 $-varieties by requiring that these guys should satisfy the properties found before for extension of scalars on schemes defined over a field by going to schemes over an algebra (in this case, $\mathbb{Z} $-schemes). Roughly speaking this defines $\mathbb{F}_1 $-schemes as subsets of points of suitable $\mathbb{Z} $-schemes.

But, this is just one half of the story. He adds to such an $\mathbb{F}_1 $-variety extra topological data ‘at infinity’, an idea he attributes to J.-B. Bost. This added feature is a $\mathbb{C} $-algebra $\mathcal{A}_X $, which does not necessarily have to be commutative. He only writes : “Par ignorance, nous resterons tres evasifs sur les proprietes requises sur cette $\mathbb{C} $-algebre.”

The algebra $\mathcal{A}_X $ originates from trying to bypass the second major obstacle with the Weil-Riemann-strategy. On a smooth projective curve all points look similar as is clear for example by noting that the completions of all local rings are isomorphic to the formal power series $k[[x]] $ over the basefield, in particular there is no distinction between ‘finite’ points and those lying at ‘infinity’.

The completions of the local rings of points in $\mathbf{spec}(\mathbb{Z}) $ on the other hand are completely different, for example, they have residue fields of different characteristics… Still, local class field theory asserts that their quotient fields have several common features. For example, their Brauer groups are all isomorphic to $\mathbb{Q}/\mathbb{Z} $. However, as $Br(\mathbb{R}) = \mathbb{Z}/2\mathbb{Z} $ and $Br(\mathbb{C}) = 0 $, even then there would be a clear distinction between the finite primes and the place at infinity…

Alain Connes came up with an extremely elegant solution to bypass this problem in Noncommutative geometry and the Riemann zeta function. He proposes to replace finite dimensional central simple algebras in the definition of the Brauer group by AF (for Approximately Finite dimensional)-central simple algebras over $\mathbb{C} $. This is the origin and the importance of the Bost-Connes algebra.

We will come back to most of this in more detail later, but for the impatient, Connes has written a paper together with Caterina Consani and Matilde Marcolli Fun with $\mathbb{F}_1 $ relating the Bost-Connes algebra to the field with one element.

6 Comments

New world record obscurification

Published April 7, 2008 by lievenlb

I’ve always thought of Alain Connes as the unchallengeable world-champion opaque mathematical writing, but then again, I was proven wrong.

Alain’s writings are crystal clear compared to the monstrosity the AMS released to the world : In search of the Riemann zeros – Strings, fractal membranes and noncommutative spacetimes by Michel L. Lapidus.

Here’s a generic half-page from a total of 558 pages (or rather 314, as the remainder consists of appendices, bibliography and indices…). I couldn’t find a single precise, well-defined and proven statement in the entire book.

4.2. Fractal Membranes and the Second Quantization of Fractal Strings
“The first quantization is a mystery while the second quantization is a functor” Edward Nelson (quoted in [Con6,p.515])

We briefly discuss here joint work in preparation with Ryszard Nest [LapNe1]. This work was referred to several times in Chapter 3, and, as we pointed out there, it provides mathematically rigorous construction of fractal membranes (as well as of self-similar membranes), in the spirit of noncommutative geometry and quantum field theory (as well as of string theory). It also enables us to show that the expected properties of fractal (or self-similar) membranes, derived in our semi-heuristic model presented in Sections 3.2 and 3.2. are actually satisfied by the rigorous model in [LapNe1]. In particular, there is a surprisingly good agreement between the author’s original intuition on fractal (or self-similar) membrane, conceived as an (adelic) Riemann surface with infinite genus or as an (adelic) infinite dimensional torus, and properties of the noncommutative geometric model in [LapNe1]. In future joint work, we hope to go beyond [LapNe1] and to give even more (noncommutative) geometric content to this analogy, possibly along the lines suggested in the next section (4.3).
We will merely outline some aspects of the construction, without supplying any technical details, instead referring the interested reader to the forthcoming paper [LapNe1] for a complete exposition of the construction and precise statements of results.

Can the AMS please explain to the interested person buying this book why (s)he will have to await a (possible) forthcoming paper to (hopefully) make some sense of this apparent nonsense?

3 Comments

KMS, Gibbs & zeta function

Published February 21, 2008 by lievenlb

Time to wrap up this series on the Bost-Connes algebra. Here’s what we have learned so far : the convolution product on double cosets

$\begin{bmatrix} 1 & \mathbb{Z} \\ 0 & 1 \end{bmatrix} \backslash \begin{bmatrix} 1 & \mathbb{Q} \\ 0 & \mathbb{Q}_{> 0} \end{bmatrix} / \begin{bmatrix} 1 & \mathbb{Z} \\ 0 & 1 \end{bmatrix} $

is a noncommutative algebra, the Bost-Connes Hecke algebra $\mathcal{H} $, which is a bi-chrystalline graded algebra (somewhat weaker than ‘strongly graded’) with part of degree one the group-algebra $\mathbb{Q}[\mathbb{Q}/\mathbb{Z}] $. Further, $\mathcal{H} $ has a natural one-parameter family of algebra automorphisms $\sigma_t $ defined by $\sigma_t(X_n) = n^{it}X_n $ and $\sigma_t(Y_{\lambda})=Y_{\lambda} $.

For any algebra $A $ together with a one-parameter family of automorphisms $\sigma_t $ one is interested in KMS-states or Kubo-Martin-Schwinger states with parameter $\beta $, $KMS_{\beta} $ (this parameter is often called the ‘invers temperature’ of the system) as these are suitable equilibria states. Recall that a state is a special linear functional $\phi $ on $A $ (in particular it must have norm one) and it belongs to $KMS_{\beta} $ if the following commutation relation holds for all elements $a,b \in A $

$\phi(a \sigma_{i\beta}(b)) = \phi(b a) $

Let us work out the special case when $A $ is the matrix-algebra $M_n(\mathbb{C}) $. To begin, all algebra-automorphisms are inner in this case, so any one-parameter family of automorphisms is of the form

$\sigma_t(a) = e^{itH} a e^{-itH} $

where $e^{itH} $ is the matrix-exponential of the nxn matrix $H $. For any parameter $\beta $ we claim that the linear functional

$\phi(a) = \frac{1}{tr(e^{-\beta H})} tr(a e^{-\beta H}) $

is a KMS-state.Indeed, we have for all matrices $a,b \in M_n(\mathbb{C}) $ that

$\phi(a \sigma_{i \beta}(b)) = \frac{1}{tr(e^{-\beta H})} tr(a e^{- \beta H} b e^{\beta H} e^{- \beta H}) $

$= \frac{1}{tr(e^{-\beta H})} tr(a e^{-\beta H} b) = \frac{1}{tr(e^{-\beta H})} tr(ba e^{-\beta H}) = \phi(ba) $

(the next to last equality follows from cyclic-invariance of the trace map).
These states are usually called Gibbs states and the normalization factor $\frac{1}{tr(e^{-\beta H})} $ (needed because a state must have norm one) is called the partition function of the system. Gibbs states have arisen from the study of ideal gases and the place to read up on all of this are the first two chapters of the second volume of “Operator algebras and quantum statistical mechanics” by Ola Bratelli and Derek Robinson.

This gives us a method to construct KMS-states for an arbitrary algebra $A $ with one-parameter automorphisms $\sigma_t $ : take a simple n-dimensional representation $\pi~:~A \mapsto M_n(\mathbb{C}) $, find the matrix $H $ determining the image of the automorphisms $\pi(\sigma_t) $ and take the Gibbs states as defined before.

Let us return now to the Bost-Connes algebra $\mathcal{H} $. We don’t know any finite dimensional simple representations of $\mathcal{H} $ but, sure enough, have plenty of graded simple representations. By the usual strongly-graded-yoga they should correspond to simple finite dimensional representations of the part of degree one $\mathbb{Q}[\mathbb{Q}/\mathbb{Z}] $ (all of them being one-dimensional and corresponding to characters of $\mathbb{Q}/\mathbb{Z} $).

Hence, for any $u \in \mathcal{G} = \prod_p \hat{\mathbb{Z}}_p^{\ast} $ (details) we have a graded simple $\mathcal{H} $-representation $S_u = \oplus_{n \in \mathbb{N}_+} \mathbb{C} e_n $ with action defined by

$\begin{cases} \pi_u(X_n)(e_m) = e_{nm} \\ \pi_u(Y_{\lambda})(e_m) = e^{2\pi i n u . \lambda} e_m \end{cases} $

Here, $u.\lambda $ is computed using the ‘chinese-remainder-identification’ $\mathcal{A}/\mathcal{R} = \mathbb{Q}/\mathbb{Z} $ (details).

Even when the representations $S_u $ are not finite dimensional, we can mimic the above strategy : we should find a linear operator $H $ determining the images of the automorphisms $\pi_u(\sigma_t) $. We claim that the operator is defined by $H(e_n) = log(n) e_n $ for all $n \in \mathbb{N}_+ $. That is, we claim that for elements $a \in \mathcal{H} $ we have

$\pi_u(\sigma_t(a)) = e^{itH} \pi_u(a) e^{-itH} $

So let us compute the action of both sides on $e_m $ when $a=X_n $. The left hand side gives $\pi_u(n^{it}X_n)(e_m) = n^{it} e_{mn} $ whereas the right-hand side becomes

$e^{itH}\pi_u(X_n) e^{-itH}(e_m) = e^{itH} \pi_u(X_n) m^{-it} e_m = $

$e^{itH} m^{-it} e_{mn} = (mn)^{it} m^{-it} e_{mn} = n^{it} e_{mn} $

proving the claim. For any parameter $\beta $ this then gives us a KMS-state for the Bost-Connes algebra by

$\phi_u(a) = \frac{1}{Tr(e^{-\beta H})} Tr(\pi_u(a) e^{-\beta H}) $

Finally, let us calculate the normalization factor (or partition function) $\frac{1}{Tr(e^{-\beta H})} $. Because $e^{-\beta H}(e_n) = n^{-\beta} e_n $ we have for that the trace

$Tr(e^{-\beta H}) = \sum_{n \in \mathbb{N}_+} \frac{1}{n^{\beta}} = \zeta(\beta) $

is equal to the Riemann zeta-value $\zeta(\beta) $ (at least when $\beta > 1 $).

Summarizing, we started with the definition of the Bost-Connes algebra $\mathcal{H} $, found a canonical one-parameter subgroup of algebra automorphisms $\sigma_t $ and computed that the natural equilibria states with respect to this ‘time evolution’ have as their partition function the Riemann zeta-function. Voila!

2 Comments

“God given time”

Published February 20, 2008 by lievenlb

If you ever sat through a lecture by Alain Connes you will know about his insistence on the ‘canonical dynamic nature of noncommutative manifolds’. If you haven’t, he did write a blog post Heart bit 1 about it.

I’ll try to explain here that there is a definite “supplément d’âme” obtained in the transition from classical (commutative) spaces to the noncommutative ones. The main new feature is that “noncommutative spaces generate their own time” and moreover can undergo thermodynamical operations such as cooling, distillation etc…

Here a section from his paper A view of mathematics :

Indeed even at the coarsest level of understanding of a space provided by measure
theory, which in essence only cares about the “quantity of points” in a space, one
finds unexpected completely new features in the noncommutative case. While it
had been long known by operator algebraists that the theory of von-Neumann
algebras represents a far reaching extension of measure theory, the main surprise
which occurred at the beginning of the seventies is that such an algebra M
inherits from its noncommutativity a god-given time evolution:

$\delta~:~\mathbb{R} \rightarrow Out(M) $

where $Out M = Aut M/Int M $ is the quotient of the group of automorphisms of M
by the normal subgroup of inner automorphisms. This led in my thesis to the
reduction from type III to type II and their automorphisms and eventually to the
classification of injective factors.

Even a commutative manifold has a kind of dynamics associated to it. Take a suitable vectorfield, consider the flow determined by it and there’s your ‘dynamics’, or a one-parameter group of automorphisms on the functions. Further, other classes of noncommutative algebras have similar features. For example, Cuntz and Quillen showed that also formally smooth algebras (the noncommutative manifolds in the algebraic world) have natural Yang-Mills flows associated to them, giving a one-parameter subgroup of automorphisms.

Let us try to keep far from mysticism and let us agree that by ‘time’ (let alone ‘god given time’) we mean a one-parameter subgroup of algebra automorphisms of the noncommutative algebra. In nice cases, such as some von-Neumann algebras this canonical subgroup is canonical in the sense that it is unique upto inner automorphisms.

In the special case of the Bost-Connes algebra these automorphisms $\sigma_t $ are given by $\sigma_t(X_n) = n^{it} X_n $ and $\sigma_t(Y_{\lambda}) = Y_{\lambda} $.

This one-parameter subgroup is crucial in the definition of the so called KMS-states (for Kubo-Martin and Schwinger) which is our next goal.

2 Comments

yahoo pipes on iTouch

Published January 24, 2008 by lievenlb

The next thing on my tech-to-do-list : learn all about Yahoo Pipes :

Pipes is a powerful composition tool to aggregate, manipulate, and mashup content from around the web. Like Unix pipes, simple commands can be combined together to create output that meets your needs. Here are a few popular ways the service can be used:
– create your ultimate custom feed by combining many feeds into one, then sorting, filtering and translating them.
– geocode your favorite feeds and browse the items on an interactive map.
– remix your favorite data sources and use the Pipe to power a new application.
– build custom vertical search pages that are impossible with ordinary search engines.
– power widgets/badges on your web site.
– consume the output of any Pipe in RSS, JSON, KML, and other formats.

I’ve posted before on setting up your own lifestream, or your own planet, or scraping feeds, or subscribing to my brain, or … whatever. The good news is : all these ideas are now superseded by Pipes!

Pipes is a free online service that lets you remix popular feed types and create data mashups using a visual editor. You can use Pipes to run your own web projects, or publish and share your own web services without ever having to write a line of code. You make a Pipe by dragging pre-configured modules onto a canvas and wiring them together in the Pipes Editor. Once you’ve built a Pipe, you’ll be able save it on our server and then call it like you would any other feed. Pipes offers output in RSS 2.0, RSS 1.0 (RDF), JSON and Atom formats for maximum flexibility. You can also choose to publish your Pipe and share it with the world, allowing other users to clone it, add their own improvements, or use it as a subcomponent in their own creations.

This is the essential message to get : yahoo-pipes allows you to remix the web, filtering out all noise! And the good news is

  1. There are plenty of public pipes around to get you going, and
  2. Pipes has an iTouch-friendly interface (see above left). All you have to do is to Safari to iphone.pipes.yahoo.com and use them.

Here are a few public-pipes you can use out of the box!

  • iPhone / iPod Touch: The Most Comprehensive Feed Ever!, doing what it promises : giving you the best iTouch-posts without having to roam for them.
  • JSON Geocoder, returning lat/lon/address info from the the given address.
  • Uber Blog Search, Search all the blogosphere with one query. Hits Google, Ask, Technorati, and icerocket then returns the unique results. Below the web-interface giving the results for ‘noncommutative’…

and finally, one of my favorites, implementing to some extend the Lifestream-idea (iTouch-interface above left)

  • lifefeed – virable, Easily Aggregate your social whereabouts great for blogs profiles and more! Aggregates Your Feeds From: -Digg -Last.fm -Twitter -Flickr -Del.icio.us and your very own blog Adopt and Improve, enjoy!

I’ll promise to spend some time soon to set up my very own pipes and make them available…

5 Comments

the Bost-Connes coset space

Published January 17, 2008 by lievenlb

By now, everyone remotely interested in Connes’ approach to the Riemann hypothesis, knows the _one line mantra_

one can use noncommutative geometry to extend Weil’s proof of the Riemann-hypothesis in the function field case to that of number fields

But, can one go beyond this sound-bite in a series of blog posts? A few days ago, I was rather optimistic, but now, after reading-up on the Connes-Consani-Marcolli project, I feel overwhelmed by the sheer volume of their work (and by my own ignorance of key tools in the approach). The most recent account takes up half of the 700+ pages of the book Noncommutative Geometry, Quantum Fields and Motives by Alain Connes and Matilde Marcolli…

So let us set a more modest goal and try to understand one of the first papers Alain Connes wrote about the RH : Noncommutative geometry and the Riemann zeta function. It is only 24 pages long and relatively readable. But even then, the reader needs to know about class field theory, the classification of AF-algebras, Hecke algebras, etc. etc. Most of these theories take a book to explain. For example, the first result he mentions is the main result of local class field theory which appears only towards the end of the 200+ pages of Jean-Pierre Serre’s Local Fields, itself a somewhat harder read than the average blogpost…

Anyway, we will see how far we can get. Here’s the plan : I’ll take the heart-bit of their approach : the Bost-Connes system, and will try to understand it from an algebraist’s viewpoint. Today we will introduce the groups involved and describe their cosets.

For any commutative ring $R $ let us consider the group of triangular $2 \times 2 $ matrices of the form

$P_R = { \begin{bmatrix} 1 & b \\ 0 & a \end{bmatrix}~|~b \in R, a \in R^* } $

(that is, $a $ in an invertible element in the ring $R $). This is really an affine group scheme defined over the integers, that is, the coordinate ring

$\mathbb{Z}[P] = \mathbb{Z}[x,x^{-1},y] $ becomes a Hopf algebra with comultiplication encoding the group-multiplication. Because

$\begin{bmatrix} 1 & b_1 \\ 0 & a_1 \end{bmatrix} \begin{bmatrix} 1 & b_2 \\ 0 & a_2 \end{bmatrix} = \begin{bmatrix} 1 & 1 \times b_2 + b_1 \times a_2 \\ 0 & a_1 \times a_2 \end{bmatrix} $

we have $\Delta(x) = x \otimes x $ and $\Delta(y) = 1 \otimes y + y \otimes x $, or $x $ is a group-like element whereas $y $ is a skew-primitive. If $R \subset \mathbb{R} $ is a subring of the real numbers, we denote by $P_R^+ $ the subgroup of $P_R $ consisting of all matrices with $a > 0 $. For example,

$\Gamma_0 = P_{\mathbb{Z}}^+ = { \begin{bmatrix} 1 & n \\ 0 & 1 \end{bmatrix}~|~n \in \mathbb{Z} } $

which is a subgroup of $\Gamma = P_{\mathbb{Q}}^+ $ and our first job is to describe the cosets.

The left cosets $\Gamma / \Gamma_0 $ are the subsets $\gamma \Gamma_0 $ with $\gamma \in \Gamma $. But,

$\begin{bmatrix} 1 & b \\ 0 & a \end{bmatrix} \begin{bmatrix} 1 & n \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} 1 & b+n \\ 0 & a \end{bmatrix} $

so if we represent the matrix $\gamma = \begin{bmatrix} 1 & b \\ 0 & a \end{bmatrix} $ by the point $~(a,b) $ in the right halfplane, then for a given positive rational number $a $ the different cosets are represented by all $b \in [0,1) \cap \mathbb{Q} = \mathbb{Q}/\mathbb{Z} $. Hence, the left cosets are all the rational points in the region between the red and green horizontal lines. For fixed $a $ the cosets correspond to the rational points in the green interval (such as over $\frac{2}{3} $ in the picture on the left.

Similarly, the right cosets $\Gamma_0 \backslash \Gamma $ are the subsets $\Gamma_0 \gamma $ and as

$\begin{bmatrix} 1 & n \\ 0 & 1 \end{bmatrix} \begin{bmatrix} 1 & b \\ 0 & a \end{bmatrix} = \begin{bmatrix} 1 & b+na \\ 0 & a \end{bmatrix} $

we see similarly that the different cosets are precisely the rational points in the region between the lower red horizontal and the blue diagonal line. So, for fixed $a $ they correspond to rational points in the blue interval (such as over $\frac{3}{2} $) $[0,a) \cap \mathbb{Q} $. But now, let us look at the double coset space $\Gamma_0 \backslash \Gamma / \Gamma_0 $. That is, we want to study the orbits of the action of $\Gamma_0 $, acting on the right, on the left-cosets $\Gamma / \Gamma_0 $, or equivalently, of the action of $\Gamma_0 $ acting on the left on the right-cosets $\Gamma_0 \backslash \Gamma $. The crucial observation to make is that these actions have finite orbits, or equivalently, that $\Gamma_0 $ is an almost normal subgroup of $\Gamma $ meaning that $\Gamma_0 \cap \gamma \Gamma_0 \gamma^{-1} $ has finite index in $\Gamma_0 $ for all $\gamma \in \Gamma $. This follows from

$\begin{bmatrix} 1 & n \\ 0 & 1 \end{bmatrix} \begin{bmatrix} 1 & b \\ 0 & a \end{bmatrix} \begin{bmatrix} 1 & m \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} 1 & b+m+an \\ 0 & a \end{bmatrix} $

and if $n $ varies then $an $ takes only finitely many values modulo $\mathbb{Z} $ and their number depends only on the denominator of $a $. In the picture above, the blue dots lying on the line over $\frac{2}{3} $ represent the double coset

$\Gamma_0 \begin{bmatrix} 1 & \frac{2}{3} \\ 0 & \frac{2}{3} \end{bmatrix} $ and we see that these dots split the left-cosets with fixed value $a=\frac{2}{3} $ (that is, the green line-segment) into three chunks (3 being the denominator of a) and split the right-cosets (the line-segment under the blue diagonal) into two subsegments (2 being the numerator of a). Similarly, the blue dots on the line over $\frac{3}{2} $ divide the left-cosets in two parts and the right cosets into three parts.

This shows that the $\Gamma_0 $-orbits of the right action on the left cosets $\Gamma/\Gamma_0 $ for each matrix $\gamma \in \Gamma $ with $a=\frac{2}{3} $ consist of exactly three points, and we denote this by writing $L(\gamma) = 3 $. Similarly, all $\Gamma_0 $-orbits of the left action on the right cosets $\Gamma_0 \backslash \Gamma $ with this value of a consist of two points, and we write this as $R(\gamma) = 2 $.

For example, on the above picture, the black dots on the line over $\frac{2}{3} $ give the matrices in the double coset of the matrix

$\gamma = \begin{bmatrix} 1 & \frac{1}{7} \\ 0 & \frac{2}{3} \end{bmatrix} $

and the gray dots on the line over $\frac{3}{2} $ determine the elements of the double coset of

$\gamma^{-1} = \begin{bmatrix} 1 & -\frac{3}{14} \\ 0 & \frac{3}{2} \end{bmatrix} $

and one notices (in general) that $L(\gamma) = R(\gamma^{-1}) $. But then, the double cosets with $a=\frac{2}{3} $ are represented by the rational b’s in the interval $[0,\frac{1}{3}) $ and those with $a=\frac{3}{2} $ by the rational b’s in the interval $\frac{1}{2} $. In general, the double cosets of matrices with fixed $a = \frac{r}{s} $ with $~(r,s)=1 $ are the rational points in the line-segment over $a $ with $b \in [0,\frac{1}{s}) $.

That is, the Bost-Connes double coset space $\Gamma_0 \backslash \Gamma / \Gamma_0 $ are the rational points in a horrible fractal comb. Below we have drawn only the part of the dyadic values, that is when $a = \frac{r}{2^t} $ in the unit inverval

and of course we have to super-impose on it similar pictures for rationals with other powers as their denominators. Fortunately, NCG excels in describing such fractal beasts…

UPDATE : here is a slightly beter picture of the coset space, drawing the part over all rational numbers contained in the 15-th Farey sequence. The blue segments of length one are at 1,2,3,…

Leave a Comment

Majority offers security…

Published January 15, 2008 by lievenlb

What better way to start a series on Web 2.0 & Mathematics than to reflect on the potential dangers of majority-approved sites, such as Google, Wikipedia and META-sites. Bee has written a great essay The Spirits That We Called

Now you can tell me everyone of us should be rational, we should always check sources, doubt unverified reports even if repeated several times. We shouldn’t believe what we read without questioning it. We should seek accuracy and not easy entertainment. We should, we should, we should. But face it, many people don’t. Because they just don’t have the time, or are not interested enough, and the most commonly used criteria in this case is to follow the masses. Read what others read (the posts with the most comments?) go where many people link to, talk what others talk about, pay attention to what many people consider relevant. Majority offers security, Wikipedia is trustworthy, Google has proved useful.

To wet your appetite to take a break, and start reading the full essay (11 printed pages available from this pdf link), her opening paragraph, in which she outlines possible consequences of tempering with social bookmark sites.

MARCH 13th 2008: Until Wednesday, the Presidential candidate [insert name here] scored high in the polls. Then a Google search for his name showed up as first hit a report on an alleged child abuse committed by the candidate, published by Mary S. (name changed) on her personal website. The story was backed up by the following highly ranked hits that indicated two similar events during his youth, though reliable sources were missing. Within less than one hour, the reports were echoed on thousands of weblogs, appeared on digg and reddit, the original websites received 200,000 hits within the first 6 hours, until the server crashed down. Immediate press releases by the candidate’s PR groups did not appear on the Google listing, and could only be accessed by secondary links. It took until the next day that printed newspapers could attempt to clarify the situation.

Another, equally interesting essay, to which Bee points is Digital Maoism by Jaron Lanier,

The Wikipedia is far from being the only online fetish site for foolish collectivism. There’s a frantic race taking place online to become the most “Meta” site, to be the highest level aggregator, subsuming the identity of all other sites.
The race began innocently enough with the notion of creating directories of online destinations, such as the early incarnations of Yahoo. Then came AltaVista, where one could search using an inverted database of the content of the whole Web. Then came Google, which added page rank algorithms. Then came the blogs, which varied greatly in terms of quality and importance. This lead to Meta-blogs such as Boing Boing, run by identified humans, which served to aggregate blogs. In all of these formulations, real people were still in charge. An individual or individuals were presenting a personality and taking responsibility.
…
In the last year or two the trend has been to remove the scent of people, so as to come as close as possible to simulating the appearance of content emerging out of the Web as if it were speaking to us as a supernatural oracle. This is where the use of the Internet crosses the line into delusion.
…
In March, Kelly reviewed a variety of “Consensus Web filters” such as “Digg” and “Reddit” that assemble material every day from all the myriad of other aggregating sites. Such sites intend to be more Meta than the sites they aggregate. There is no person taking responsibility for what appears on them, only an algorithm. The hope seems to be that the most Meta site will become the mother of all bottlenecks and receive infinite funding.

Now, please print out these two essays, turn off your computer for an hour, and read them! Perhaps they change your opinion as to whether or not getting involved into some of these bookmark sites. Being aware of their potential danger is one (important) thing, neglecting them altogether has drawbacks too.

You might want to repeat the experiment I performed last night : type in your favorite technical term (mine was ‘noncommutative’, when this failed to return a hit, I tried ‘geometry’) into bookmark sites such as StumbleUpon, Digg, MyBlogLog, Reddit, blinklist, Magnolia and a dozen other similar ones.

You will discover that there is hardly any mathematics of value to be found there. As more people are using such sites in search of information, an inevitable consequence is that mathematics will become even more marginal, unless we take some action.

In my experiment, there was one noteworthy exception (( delicious was another ok-site )) : CiteUlike which has 427 articles tagged noncommutative, perhaps a result of the action I started 2 years ago. So, there is still hope!

3 Comments