Skip to content →

Tag: Kontsevich

a cosmic Galois group

Are
there hidden relations between mathematical and physical constants such
as

$\frac{e^2}{4 \pi \epsilon_0 h c} \sim \frac{1}{137} $

or are these numerical relations mere accidents? A couple of years
ago, Pierre Cartier proposed in his paper A mad day’s work : from Grothendieck to Connes and
Kontsevich : the evolution of concepts of space and symmetry
that
there are many reasons to believe in a cosmic Galois group acting on the
fundamental constants of physical theories and responsible for relations
such as the one above.

The Euler-Zagier numbers are infinite
sums over $n_1 > n_2 > ! > n_r \geq 1 $ of the form

$\zeta(k_1,\dots,k_r) = \sum n_1^{-k_1} \dots n_r^{-k_r} $

and there are polynomial relations with rational coefficients between
these such as the product relation

$\zeta(a)\zeta(b)=\zeta(a+b)+\zeta(a,b)+\zeta(b,a) $

It is
conjectured that all polynomial relations among Euler-Zagier numbers are
consequences of these product relations and similar explicitly known
formulas. A consequence of this conjecture would be that
$\zeta(3),\zeta(5),\dots $ are all trancendental!

Drinfeld
introduced the Grothendieck-Teichmuller group-scheme over $\mathbb{Q} $
whose Lie algebra $\mathfrak{grt}_1 $ is conjectured to be the free Lie
algebra on infinitely many generators which correspond in a natural way
to the numbers $\zeta(3),\zeta(5),\dots $. The Grothendieck-Teichmuller
group itself plays the role of the Galois group for the Euler-Zagier
numbers as it is conjectured to act by automorphisms on the graded
$\mathbb{Q} $-algebra whose degree $d $-term are the linear combinations
of the numbers $\zeta(k_1,\dots,k_r) $ with rational coefficients and
such that $k_1+\dots+k_r=d $.

The Grothendieck-Teichmuller
group also appears mysteriously in non-commutative geometry. For
example, the set of all Kontsevich deformation quantizations has a
symmetry group which Kontsevich conjectures to be isomorphic to the
Grothendieck-Teichmuller group. See section 4 of his paper Operads and motives in
deformation quantzation
for more details.

It also appears
in the renormalization results of Alain Connes and Dirk Kreimer. A very
readable introduction to this is given by Alain Connes himself in Symmetries Galoisiennes
et renormalisation
. Perhaps the latest news on Cartier’s dream of a
cosmic Galois group is the paper by Alain Connes and Matilde Marcolli posted
last month on the arXiv : Renormalization and
motivic Galois theory
. A good web-page on all of this, including
references, can be found here.

Leave a Comment

algebraic vs. differential nog


OK! I asked to get side-tracked by comments so now that there is one I’d better deal with it at once. So, is there any relation between the non-commutative (algebraic) geometry based on formally smooth algebras and the non-commutative _differential_ geometry advocated by Alain Connes?
Short answers to this question might be (a) None whatsoever! (b) Morally they are the same! and (c) Their objectives are quite different!

As this only adds to the confusion, let me try to explain each point separately after issuing a _disclaimer_ that I am by no means an expert in Connes’ NOG neither in $C^* $-algebras. All I know is based on sitting in some lectures by Alain Connes, trying at several times to make sense of his terribly written book and indeed by reading the Landi notes in utter desperation.
(a) _None whatsoever!_ : Connes’ approach via spectral triples is modelled such that one gets (suitable) ordinary (that is, commutative) manifolds into this framework. The obvious algebraic counterpart for this would be a statement to the effect that the affine coordinate ring $\mathbb{C}[X] $ of a (suitable) smooth affine variety X would be formally smooth. Now you’re in for a first shock : the only affine smooth varieties for which this holds are either _points_ or _curves_! Not much of a geometry huh? In fact, that is the reason why I prefer to call formally smooth algebras just _qurves_ …
(b) _Morally they are the same_ : If you ever want to get some differential geometry done, you’d better have a connection on the tangent bundle! Now, Alain Connes extended the notion of a connection to the non-commutative world (see for example _the_ book) and if you take the algebraic equivalent of it and ask for which algebras possess such a connection, you get _precisely_ the formally smooth algebras (see section 8 of the Cuntz-Quillen paper “Algebra extensions and nonsingularity” Journal AMS Vol 8 (1991). Besides there is a class of $C^* $-algebras which are formally smooth algebras : the AF-algebras which also feature prominently in the Landi notes (although they are virtually never affine, that is, finitely generated as an algebra).
(c) _Their objectives are quite different!_ : Connes’ formalism aims to define a length function on a non-commutative manifold associated to a $C^* $-algebra. Non-commutative geometry based on formally smooth algebras has no interest in defining some sort of space associated to the algebra. The major importance of formally smooth algebras (as advocated by Maxim Kontsevich is that such an algebra A can be seen as a _machine_ producing an infinite family of ordinary commutative manifolds via its _representation varieties_ $\mathbf{rep}_n~A $ which are manifolds equipped with a $GL_n $-action. Non-commutative functions and diifferential forms defined at the level of the formally smooth algebra A do determine similar $GL_n $-invariant features on _all_ of these representation varieties at once.

Leave a Comment

nog course outline

Now that the preparation for my undergraduate courses in the first semester is more or less finished, I can begin to think about the courses I’ll give this year in the master class
non-commutative geometry. For a change I’d like to introduce the main ideas and concepts by a very concrete example : Ginzburg’s coadjoint-orbit result for the Calogero-Moser space and its
relation to the classification of one-sided ideals in the first Weyl algebra. Not only will this example give me the opportunity to say things about formally smooth algebras, non-commutative
differential forms and even non-commutative symplectic geometry, but it also involves what some people prefer to call _non-commutative algebraic geometry_ (that is the study of graded Noetherian
rings having excellent homological properties) via the projective space associated to the homogenized Weyl algebra. Besides, I have some affinity with this example.

A long time ago I introduced
the moduli spaces for one-sided ideals in the Weyl algebra in Moduli spaces for right ideals of the Weyl algebra and when I was printing a _very_ preliminary version of Ginzburg’s paper
Non-commutative Symplectic Geometry, Quiver varieties, and Operads (probably because he send a preview to Yuri Berest and I was in contact with him at the time about the moduli spaces) the
idea hit me at the printer that the right way to look at the propblem was to consider the quiver

$\xymatrix{\vtx{} \ar@/^/[rr]^a & & \vtx{} \ar@(u,ur)^x \ar@(d,dr)_y \ar@/^/[ll]^b} $

which eventually led to my paper together with Raf Bocklandt Necklace Lie algebras and noncommutative symplectic geometry.

Apart from this papers I would like to explain the following
papers by illustrating them on the above example : Michail Kapranov Noncommutative geometry based on commutator expansions Maxim Kontsevich and Alex Rosenberg Noncommutative smooth
spaces
Yuri Berest and George Wilson Automorphisms and Ideals of the Weyl Algebra Yuri Berest and George Wilson Ideal Classes of the Weyl Algebra and Noncommutative Projective
Geometry
Travis Schedler A Hopf algebra quantizing a necklace Lie algebra canonically associated to a quiver and of course the seminal paper by Joachim Cuntz and Daniel Quillen on
quasi-free algebras and their non-commutative differential forms which, unfortunately, in not available online.

I plan to write a series of posts here on all this material but I will be very
happy to get side-tracked by any comments you might have. So please, if you are interested in any of this and want to have more information or explanation do not hesitate to post a comment (only
your name and email is required to do so, you do not have to register and you can even put some latex-code in your post but such a posting will first have to viewed by me to avoid cluttering of
nonsense GIFs in my directories).

One Comment