and refered to it (as did I in my post) as : Jackson Pollock “Untitled N.3”. Before someone writes a post ‘The Pollock noncommutative space hoax’ (similar to my own post) let me point out that I am well aware of the controversy surrounding this painting.

This painting is among 32 works recently discovered and initially attributed to Pollock.
In fact, I’ve already told part of the story in Doodles worth millions (or not)? (thanks to PD1). The story involves the people on the right : from left to right, Jackson Pollock, his wife Lee Krasner, Mercedes Matter and her son Alex Matter.

Alex Matter, whose father, Herbert, and mother, Mercedes, were artists and friends of Jackson Pollock, discovered after his mother died a group of small drip paintings in a storage locker in Wainscott, N.Y. which he believed to be authentic Pollocks.

Read the post mentioned above if you want to know how mathematics screwed up his plan, or much better, reed the article Anatomy of the Jackson Pollock controversy by Stephen Litt.

So, perhaps the painting above was not the smartest choice, but we could take any other genuine Pollock ‘drip-painting’, a technique he taught himself towards the end of 1946 to make an image by splashing, pouring, sloshing colors onto the canvas. Typically, such a painting consists of blops of paint, connected via thin drip-lines.

What does this have to do with noncommutative geometry? Well, consider the blops as ‘points’. In commutative geometry, distinct points cannot share tangent information ((technically : a commutative semi-local ring splits as the direct sum of local rings and this does no longer hold for a noncommutative semi-local ring)). In the noncommutative world though, they can!, or if you want to phrase it like this, noncommutative points ‘can talk to each other’. And, that’s what we cherish in those drip-lines.

But then, if two points share common tangent informations, they must be awfully close to each other… so one might imagine these Pollock-lines to be strings holding these points together. Hence, it would make more sense to consider the ‘Pollock-quotient-painting’, that is, the space one gets after dividing out the relation ‘connected by drip-lines’ ((my guess is that Matilde thinks of the lines as the action of a group on the points giving a topological horrible quotient space, and thats precisely where noncommutative geometry shines)).

For this reason, my own mental picture of a genuinely noncommutative space ((that is, the variety corresponding to a huge noncommutative algebra such as free algebras, group algebras of arithmetic groups or fundamental groups)) looks more like the picture below

The colored blops you see are really sets of points which you might view as, say, a FacebookGroup ((technically, think of them as the connected components of isomorphism classes of finite dimensional simple representations of your favorite noncommutative algebra)). Some chatter may occur between two distinct FacebookGroups, the more chatter the thicker the connection depicted ((technically, the size of the connection is the dimension of the ext-group between generic simples in the components)). Now, there are some tiny isolated spots (say blue ones in the upper right-hand quadrant). These should really be looked at as remote clusters of noncommutative points (sharing no (tangent) information whatsoever with the blops in the foregound). If we would zoom into them beyond the Planck scale (if I’m allowed to say a bollock-word in a Pollock-post) they might reveal again a whole universe similar to the interconnected blops upfront.

The picture was produced using the fabulous Pollock engine. Just use your mouse to draw and click to change colors in order to produce your very own noncommutative space!

For the mathematicians still around, this may sound like a lot of Pollock-bollocks but can be made precise. See my note Noncommutative geometry and dual coalgebras for a very terse reading. Now that coalgebras are gaining popularity, I really should write a more readable account of it, including some fanshi-wanshi examples…

$N~:~\mathbf{groups} \rightarrow \mathbf{sets} $

which over $\mathbb{C} $ resp. $\mathbb{Z} $ become visible by a complex (resp. integral) algebra having suitable universal properties.

However, we didn’t specify what we meant by a complex noncommutative variety (resp. an integral noncommutative scheme). In particular, we claimed that the $\mathbb{F}_1 $-‘points’ associated to the functor

$D~:~\mathbf{groups} \rightarrow \mathbf{sets} \qquad G \mapsto G_2 \times G_3 $ (here $G_n $ denotes all elements of order $n $ of $G $)

were precisely the modular dessins d’enfants of Grothendieck, but didn’t give details. We’ll try to do this now.

For algebras over a field we follow the definition, due to Kontsevich and Soibelman, of so called “noncommutative thin schemes”. Actually, the thinness-condition is implicit in both Soule’s-approach as that of Connes and Consani : we do not consider R-points in general, but only those of rings R which are finite and flat over our basering (or field).

So, what is a noncommutative thin scheme anyway? Well, its a covariant functor (commuting with finite projective limits)

$\mathbb{X}~:~\mathbf{Alg}^{fd}_k \rightarrow \mathbf{sets} $

from finite-dimensional (possibly noncommutative) $k $-algebras to sets. Now, the usual dual-space operator gives an anti-equivalence of categories

$\mathbf{Alg}^{fd}_k \leftrightarrow \mathbf{Coalg}^{fd}_k \qquad A=C^* \leftrightarrow C=A^* $

so a thin scheme can also be viewed as a contra-variant functor (commuting with finite direct limits)

$\mathbb{X}~:~\mathbf{Coalg}^{fd}_k \rightarrow \mathbf{Sets} $

In particular, we are interested to associated to any {tex]k $-algebra $A $ its representation functor :

$\mathbf{rep}(A)~:~\mathbf{Coalg}^{fd}_k \rightarrow \mathbf{Sets} \qquad C \mapsto Alg_k(A,C^*) $

This may look strange at first sight, but $C^* $ is a finite dimensional algebra and any $n $-dimensional representation of $A $ is an algebra map $A \rightarrow M_n(k) $ and we take $C $ to be the dual coalgebra of this image.

Kontsevich and Soibelman proved that every noncommutative thin scheme $\mathbb{X} $ is representable by a $k $-coalgebra. That is, there exists a unique coalgebra $C_{\mathbb{X}} $ (which they call the coalgebra of ‘distributions’ of $\mathbb{X} $) such that for every finite dimensional $k $-algebra $B $ we have

$\mathbb{X}(B) = Coalg_k(B^*,C_{\mathbb{X}}) $

In the case of interest to us, that is for the functor $\mathbf{rep}(A) $ the coalgebra of distributions is Kostant’s dual coalgebra $A^o $. This is the not the full linear dual of $A $ but contains only those linear functionals on $A $ which factor through a finite dimensional quotient.

So? You’ve exchanged an algebra $A $ for some coalgebra $A^o $, but where’s the geometry in all this? Well, let’s look at the commutative case. Suppose $A= \mathbb{C}[X] $ is the coordinate ring of a smooth affine variety $X $, then its dual coalgebra looks like

$\mathbb{C}[X]^o = \oplus_{x \in X} U(T_x(X)) $

the direct sum of all universal (co)algebras of tangent spaces at points $x \in X $. But how do we get the variety out of this? Well, any coalgebra has a coradical (being the sun of all simple subcoalgebras) and in the case just mentioned we have

$corad(\mathbb{C}[X]^o) = \oplus_{x \in X} \mathbb{C} e_x $

so every point corresponds to a unique simple component of the coradical. In the general case, the coradical of the dual coalgebra $A^o $ is the direct sum of all simple finite dimensional representations of $A $. That is, the direct summands of the coalgebra give us a noncommutative variety whose points are the simple representations, and the remainder of the coalgebra of distributions accounts for infinitesimal information on these points (as do the tangent spaces in the commutative case).

In fact, it was a surprise to me that one can describe the dual coalgebra quite explicitly, and that $A_{\infty} $-structures make their appearance quite naturally. See this paper if you’re in for the details on this.

That settles the problem of what we mean by the noncommutative variety associated to a complex algebra. But what about the integral case? In the above, we used extensively the theory of Kostant-duality which works only for algebras over fields…

Well, not quite. In the case of $\mathbb{Z} $ (or more general, of Dedekind domains) one can repeat Kostant’s proof word for word provided one takes as the definition of the dual $\mathbb{Z} $-coalgebra
of an algebra (which is $\mathbb{Z} $-torsion free)

$A^o = { f~:~A \rightarrow \mathbb{Z}~:~A/Ker(f)~\text{is finitely generated and torsion free}~} $

(over general rings there may be also variants of this duality, as in Street’s book an Quantum groups). Probably lots of people have come up with this, but the only explicit reference I have is to the first paper I’ve ever written. So, also for algebras over $\mathbb{Z} $ we can define a suitable noncommutative integral scheme (the coradical approach accounts only for the maximal ideals rather than all primes, but somehow this is implicit in all approaches as we consider only thin schemes).

Fine! So, we can make sense of the noncommutative geometrical objects corresponding to the group-algebras $\mathbb{C} \Gamma $ and $\mathbb{Z} \Gamma $ where $\Gamma = PSL_2(\mathbb{Z}) $ is the modular group (the algebras corresponding to the $G \mapsto G_2 \times G_3 $-functor). But, what might be the points of the noncommutative scheme corresponding to $\mathbb{F}_1 \Gamma $???

Well, let’s continue the path cut out before. “Points” should correspond to finite dimensional “simple representations”. Hence, what are the finite dimensional simple $\mathbb{F}_1 $-representations of $\Gamma $? (Or, for that matter, of any group $G $)

Here we come back to Javier’s post on this : a finite dimensional $\mathbb{F}_1 $-vectorspace is a finite set. A $\Gamma $-representation on this set (of n-elements) is a group-morphism

$\Gamma \rightarrow GL_n(\mathbb{F}_1) = S_n $

hence it gives a permutation representation of $\Gamma $ on this set. But then, if finite dimensional $\mathbb{F}_1 $-representations of $\Gamma $ are the finite permutation representations, then the simple ones are the transitive permutation representations. That is, the points of the noncommutative scheme corresponding to $\mathbb{F}_1 \Gamma $ are the conjugacy classes of subgroups $H \subset \Gamma $ such that $\Gamma/H $ is finite. But these are exactly the modular dessins d’enfants introduced by Grothendieck as I explained a while back elsewhere (see for example this post and others in the same series).

The paper gives a nice survey of the existent literature and focusses on the crucial role of roots of unity in the algebraic geometry over the non-existent field with one element $\mathbb{F}_1 $ (in French called ‘F-un’). I have tried to do a couple of posts on F-un some time ago but now realize, reading Manin’s paper, I may have given up way too soon…

At several places in the paper, Manin hints at a possible noncommutative geometry over $\mathbb{F}_1 $ :

This is the appropriate place to stress that in a wider context of Toen-Vaqui ‘Au-dessous de Spec Z’, or eventually in noncommutative $\mathbb{F}_1 $-geometry, teh spectrum of $\mathbb{F}_1 $ loses its privileged position as a final object of a geometric category. For example, in noncommutative geometry, or in an appropriate category of stacks, the quotient of this spectrum modulo the trivial action of a group must lie below this spectrum.

Soule’s algebras $\mathcal{A}_X $ are a very important element of the structure, in particular, because they form a bridge to Arakelov geometry. Soule uses concrete choices of them in order to produce ‘just right’ supply of morphisms, without a priori constraining these choices formally. In this work, we use these algebras and their version also to pave a way to the analytic (and possibly non-commutative) geometry over $\mathbb{F}_1 $.

Back when I was writing the first batch of F-un posts, I briefly contemplated the possibility of a noncommutative geometry over $\mathbb{F}_1 $, but quickly forgot about it because I thought it would be forced to reduce to commutative geometry.

Here is the quick argument : noncommutative geometry is really the study of coalgebras (see for example my paper or if you prefer more trustworthy sources the Kontsevich-Soibelman paper). Now, unless I made a mistake, I think all coalgebras over $\mathbb{F}_1 $ must be co-commutative (even group-like), so reducing to commutative geometry.

Surely, I’m missing something…

The rationality problem

The Manin-Marcolli cave

The taxicab curve

Anabelian geometry

Noncommutative curves and their manifolds

The noncommutative manifold of a Riemann surface

The best rejected proposal ever

Noncommutative geometry – a medieval science?

Master class 2007

2006 paper nominees

Coalgebras and non-geometry 3

Coalgebras and non-geometry 2

Coalgebras and non-geometry 1

Krull and Paris

Noncommutative at Newton

Noncommutative Fourier transforms

Non-(commutative) geometry

Non-geometry

A good day at the arXiv

Noncommutative geometry master class

Noncommutative complete intersections

Master program 2006

Noncommutative topology 4

Noncommutative topology 3

Noncommutative topology 2

Noncommutative topology 1

Alain Connes on … everything

Jacobian conjecture remains open

The Klein stack

Sexing-up curves

Why nag? 3

Granada Notes

Why nag? 2

Why nag? 1

The fact that this
coalgebra of distributions is equivalent to the path coalgebra of
_some_ quiver is in the Kontsevich-Soibelman
paper though it would have been nice if they had given reference for
this fact to the paper Wedge Products and
Cotensor Coalgebras in Monoidal Categories by Ardizzoni or to
previous work by P. Jara, D. Llena, L. Merino and D. Stefan,
“Hereditary and formally smooth coalgebras”, Algebr.
Represent. Theory 8 (2005), 363-374. In those papers it is shown that a
coalgebra with coseparable coradical is hereditary if and only if it
is formally smooth if and only if it is a cotensor coalgebra of some
bicomodule.

At first this looks just like the dual version of
the classical result that a finite dimensional hereditary algebra is
Morita equivalent to the path algebra of a quiver (which is indeed what
the proof does) but again the condition that the coradical is
coseparable does not require the coradical to be finite dimensional…
In our case, the coradical is indeed coseparable being the direct sum
over all matrix coalgebras corresponding to the simple representations.
Hence, we can again recover the _points_ of our noncommutative manifold
from the direct summands of the coradical. Fortunately, one can
compute this huge coalgebra of distributions from a small quiver, the
_one quiver to rule them all_, but as I’ve been babbling about all of
this here [numerous
times](https://lievenlebruyn.github.io/neverendingbooks/?s=one+quiver%29 I’ll let the
interested find out for themselves how you use it (a) to get at the
isoclasses of all simples (hint : morally they are the smooth points of
the quotient varieties of n-dimensional representations and enough tools
have been developed recently to spot some fake simples, that is smooth
proper semi-simple points) and (b) to compute the _ragball_, that is the
huge quiver with vertex set the simples and arows as described
above. Over the years I’ve calculated several one-quivers for a
variety of qurves (such as amalgamated free products of finite groups
and smooth curves). If you are in for a puzzle, try to determine it for
the qurve $~(\mathbb{C}[x] \ast C_2) \ast_{\mathbb{C}
C_2} \mathbb{C} PSL_2(\mathbb{Z}) \ast_{\mathbb{C} C_3}
(\mathbb{C}[x] \ast C_3) $ The answer is a mysterious
hexagon

The term _non-commutative geometry_ is already taken by
much more popular subjects such as _Connes-style noncommutative
differential geometry_ and _Artin-style noncommutative algebraic
geometry_. Renaming our topic we no longer have to include footnotes
(such as the one in the recent Kontsevich-Soibelman
paper) :

We use “formal” non-commutative geometry
in tensor categories, which is different from the non-commutative
geometry in the sense of Alain Connes.

or to make a
distinction between _noncommutative geometry in the small_ (which is
Artin-style) and _noncommutative geometry in the large_ (which in
non-geometry) as in the Ginzburg notes.

Besides, the stress in _non-commutative geometry_ (both in Connes-
and Artin-style) in on _commutative_. Connes-style might also be called
‘K-theory of $C^*$-algebras’ and they use the topological
information of K-theoretic terms in the commutative case as guidance to
speak about geometrical terms in the nocommutative case. Similarly,
Artin-style might be called ‘graded homological algebra’ and they
use Serre’s homological interpretation of commutative geometry to define
similar concepts for noncommutative algebras. Hence, non-commutative
geometry is that sort of non-geometry which is almost
commutative…

But the main point of naming our subject
non-geometry is to remind us not to rely too heavily on our
(commutative) geometric intuition. For example, we would expect a
manifold to have a fixed dimension. One way to define the dimension is
as the trancendence degree of the functionfield. However, from the work
of Paul Cohn (I learned about it through Aidan Schofield) we know that
quasi-free algebras usually do’nt have a specific function ring of
fractions, rather they have infinitely many good candidates for it and
these candidates may look pretty unrelated. So, at best we can define a
_local dimension_ of a noncommutative manifold at a point, say given by
a simple representation. It follows from the Cunz-Quillen tubular
neighborhood result that the local ring in such a point is of the
form

$M_n(\mathbb{C} \langle \langle z_1,\ldots,z_m \rangle
\rangle) $

(this s a noncommutative version of the classical fact
than the local ring in a point of a d-dimensional manifold is formal
power series $\mathbb{C} [[ z_1,\ldots,z_d ]] $) but in non-geometry both
m (the _local_ dimension) and n (the dimension of the simple
representation) vary from point to point. Still, one can attach to the
quasi-free algebra A a finite amount of data (in fact, a _finite_ quiver
and dimension vector) containing enough information to compute the (n,m)
couples for _all_ simple points (follows from the one quiver to rule them
all paper or see this for more
details).

In fact, one can even extend this to points
corresponding to semi-simple representations in which case one has to
replace the matrix-ring above by a ring Morita equivalent to the
completion of the path algebra of a finite quiver, the _local quiver_ at
the point (which can also be computer from the one-quiver of A. The
local coalgebras of distributions at such points of
Kontsevich&Soibelman are just the dual coalgebras of these local
algebras (in math.RA/0606241 they
merely deal with the n=1 case but no doubt the general case will appear
in the second part of their paper).

The case of the semi-simple
point illustrates another major difference between commutative geometry
and non-geometry, whereas commutative simples only have self-extensions
(so the distribution coalgebra is just the direct sum of all the local
distributions) noncommutative simples usually have plenty of
non-isomorphic simples with which they have extensions, so to get at the
global distribution coalgebra of A one cannot simply add the locals but
have to embed them in more involved coalgebras.

The way to do it
is somewhat concealed in the
third version of my neverending book (the version that most people
found incomprehensible). Here is the idea : construct a huge uncountable
quiver by taking as its vertices the isomorphism classes of all simple
A-representations and with as many arrows between the simple vertices S
and T as the dimension of the ext-group between these simples (and
again, these dimensions follow from the knowledge of the one-quiver of
A). Then, the global coalgebra of distributions of A is the limit over
all cotensor coalgebras corresponding to finite subquivers). Maybe I’ll
revamp this old material in connection with the Kontsevich&Soibelman
paper(s) for the mini-course I’m supposed to give in september.

rep(n,A) x rep(m,A) -> rep(n + m,A)   :  (M,N)
-> M + N

as introduced and studied by Kent
Morrison a long while ago. So what would be a natural substitute for
this if k is arbitrary? Well, define pi(n) to be the
maximal unramified sub k-algebra of k(rep(n,A)),
the coordinate ring of rep(n,A), then corresponding to the
sum-map above is a map

pi(n + m) -> pi(n) \\otimes
pi(m)

and these maps define on the graded
space

Pi(A) = pi(0) + pi(1) + pi(2) + ...

the
structure of a graded commutative k-coalgebra with
comultiplication

pi(n) -> sum(a + b=n) pi(a) \\otimes
pi(b)

The relevance of Pi(A) is that if we consider it
over the algebraic closure K of k we get the semigroup
coalgebra

K G  with  g -> sum(h.h\' = g) h \\otimes
h\'

where G is Morrison\’s connected component
semigroup. That is, Pi(A) is a k-form of this semigroup
coalgebra. Perhaps it is a good project for one of the students to work
this out in detail (and correct possible mistakes I made) and give some
concrete examples for formally smooth algebras A. If you know of
a reference on this, please let me know.