Noncommutative Geometry in China

During August 15-30, 2007, a school and workshop on noncommutative geometry took place at the Chern Institute in Nankai University in Tianjin, China. The first two weeks and part of the third week was devoted to a series of mini-courses (5 lectures each) on various aspects of noncommutative geometry. This conference and its success owes a lot to the Chern Institute and to our Chinese friends on the organizing committee. We really had a very good time in Tianjin. A big thank you to all for their hospitality and efforts! Here is a list of mini-courses and speakers:


G. Yu: Cyclic cohomology and Connes-Chern character;
G. Gong: Operator algebras and K-theory;
L. Guo: Rota-Baxter algebra with applications to renormalizations;
A. Thom: L^2-Betti numbers for von Neumann algebras;
T. Natsume: Index theory and noncommutative geometry;
V. Mathai: Geometry of the determinant line bundle in noncommutative geometry;
W. van Suijlekom: Noncommutative geometry and physics;
M. Khalkhali: Noncommutative geometry and the local index formula

The first two mini-courses were meant to warm up the audience of mostly grad students and postdocs for lectures in the next weeks. I asked the mini-course speakers to write a blurb on what they talked and most of them budged. So here are their reports and my apologies for delaying this so long!

Andreas Thom; L^2-invariants and von Neumann algebras:
This mini-course consisted of five lectures around the algebraic theory of l^2-invariants for groups and tracial algebras. After a review of the basic tools of homological algebra and an introduction to Lueck's dimension theory for modules over finite von Neumann algebras, a new and conceptual proof of Gaboriau's theorem about proportionality of l^2-Betti numbers for measure equivalent groups was presented, see (L^2-invariants and rank metric, arXiv:math/OA.0607263). In the third and fourth lecture recent work of Peterson-Thom (Group cocycles and the ring of affiliated operators, arXiv:0708.4327) was presented. Here, the focus was on applications to geometric and combinatorial group theory. Indeed, as was shown in the course, non-vanishing of the first l^2-Betti number of a group implies strong restrictions on the subgroup structure. Several conjectures related to Atiyah's conjecture were discussed in detail. In the fifth lecture, a quick review of the work of Connes-Shlyakhtenko (math.OA/0309343) on l^2-invariants for tracial algebras was given.

Walter van Suijlekom; Noncommutative geometry and physics:
The subject of my lectures in Tianjin was the noncommutative geometry of the Standard Model of high-energy physics. We started in the first two lectures with an overview of the essential parts of the Standard Model in order to recognize it later on when derived in the setting of noncommutative geometry.In the remaining three lectures, we looked at how the so-called Spectral Action Principle allows us to obtain the full (Lagrangian of the) Standard Model from a natural noncommutative geometry given as a real spectral triple. We based our lectures on the book ``Noncommutative Geometry, Quantum Fields. and Motives'' by Connes and Marcolli, appearing at the beginning of 2008.




Toshi Natsume; Index theory and noncommutative geometry:
in this short course historical background was given, and the meaning and basic properties of the index were explained. In fact the Atiyah-Singer Index Theorem holds on all sorts of manifolds, but for this course we focused on elliptic operators on Euclidean space, and proved the index theorem here (still a highly nontrivial result). The course required background in multivariable calculus and linear algebra. An introductory survey of the additional tools (from functional analysis and topology) needed to prove the theorem were given. The Atiyah-Singer Index Theorem opened the door to a new world of interaction between different areas of mathematics, where analytic machinery such as operator algebras can play a significant role in topology and geometry. A crystallization of this idea is noncommutative geometry, currently important particularly in today’s mathematical physics. The course was concluded by explaining some fundamental ideas and remarkable results in noncommutative geometry




Li Guo; Connes-Kreimer algebraic Birkhoff decomposition and applications:
The algebraic Birkhoff decomposition of Connes
and Kreimer is a fundamental result in their Hopf algebra
approach to renormalization of perturbative quantum field
theory. We provide enough background to present this result
and prove it in the context of Rota-Baxter algebras through
Spitzer's identity and Atkinson factorization. We then illustrate
its applications to renormalization in quantum field theory
and in multiple zeta values.


Masoud Khalkhali; Noncommutative geometry and the local index formula:
This was an introduction to the local index formula of Connes and Moscovici (GAFA 95), currently the most general and most elaborate form of an index theorem available in NCG. To understand the theorem, almost all of the key ideas of NCG must be introduced: K-theory and K-homology, cyclic cohomology, index pairing, Connes-Chern character maps, Dixmier trace and spectral zeta functions, and noncommutative residues. As such I found the topic an ideal way of introducing these concepts and tools all with the goal of reaching to one of the summits of NCG.



Here are a few pictures I took in Tianjin

Chairman Mao still tries to lead! (why not?)






A nice painting depicting old friends S. S. Chern and C. N. Yang in the lobby of the Chern Institute. ( I can only imagine what they are talking about......but your `gauge fields' are much the same as my `connections' and your `field strengths' are like my `curvatures'........)













Long Live Noncommutative Geometry!

HEART BIT # 1

Katia's last post ended with a provocative question motivated by Grothendieck's description in Récoltes et Semailles of the "heart of the heart" of arithmetic geometry, namely the theory of motives. Her question was formulated like this:
--------What is the "heart of the heart" of noncommutative geometry?-------
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...
This opens up completely new ways of handling geometric spaces and our work with Matilde Marcolli and Katia Consani is just one example of potential applications to number theory. It is closely related to the Riemann zeta function and is very close in spirit to Grothendieck's ideas on motives so that it is not out of place in the present discussion of Katia's question.
The story starts by a qualitative distinction between spaces which comes from the classification (by von Neumann) of noncommutative algebras in types I, II and III. The commutative spaces are all of type I. When encoding a space X by an algebra A of (complex valued) functions on X one uses some structure on X to restrict the class of functions (e.g. to smooth functions on a smooth space) and the above distinction between types uses the coarsest possible structure which is the measure theory. The corresponding algebras (called von Neumann algebras) are quite simple to characterize abstractly: they are commutants in Hilbert space of some unitary representation.
Since one can take the direct sum of algebras A and B, one can mix algebras of different types. More precisely any von Neumann algebra decomposes uniquely as an integral of algebras which cannot be decomposed further and are called factors. A factor is a von Neumann algebra whose center is as small as it can be, namely is reduced to the complex numbers. The factors of type I are Morita equivalent to the complex numbers, and thus a type I factor really corresponds to the classical notion of "point" in a space X.
To understand geometrically what factors of type II and III look like, it is useful to describe the (von Neumann) algebra A associated to the leaf space of a foliated manifold: (V,F). An element T of A assigns to each leaf an operator in the Hilbert space of square integrable functions on the leaf, and it makes sense to say that T is bounded, measurable, or zero almost everywhere. The algebraic operations are done leaf per leaf, and the algebra of bounded measurable elements modulo the negligible ones is a von Neumann algebra. The simplest example corresponds to the foliation whose leaf space is the noncommutative torus. It is the foliation of the two torus by the equation "dy= a dx" in flat coordinates. The corresponding von Neumann algebra is a factor when "a" is irrational and this factor is not of type I but of type II. To obtain type III examples one can take any codimension one foliation whose Godbillon-Vey invariant does not vanish. The integrable subbundle F defining a codimension one foliation is the orthogonal of a one form v and integrability gives dv as the wedge product of v by a one form w. The Godbillon-Vey invariant is the integral over V of the wedge product of w by dw when V is compact oriented of dimension three. In essence the form w is the logarithmic derivative of a transverse volume element and the GV invariant is an obstruction to finding a holonomy invariant tranverse volume element ie one which does not change when one moves along a leaf keeping track of the way the nearby leaves are developing.
More generally the factors of type II are those which possess a trace and those of type III are those which are neither of type I nor of type II. In the foliation context, a holonomy invariant tranverse volume element allows one to integrate the ordinary trace of operators and this yields a trace on the von Neumann algebra of the foliation.
Until the work of the Japanese mathematician Minoru Tomita, very few positive results existed on type III factors. The key result of Tomita is that a cyclic and separating vector v for a factor A in a Hilbert space H generates a one parameter group of automorphisms of A by the following recipee: one considers the modulus square S*S of the closable operator S which sends xv to S(xv)=x*v for any x in A, and then raises it to the purely imaginary power "it". Tomita showed that the resulting unitary operator normalizes A and hence defines an automorphism of A. One obtains in this way a one parameter group of automorphisms of A associated to the choice of a cyclic and separating vector v. He also showed that the phase J of the above closable operator S yields an antiisomorphism of A with its commutant A' which coincides with JAJ. In his account of Tomita's work, Takesaki characterized the relation between the state defined by the cyclic and separating vector v and the one parameter group of automorphisms of Tomita as the Kubo-Martin-Schwinger (KMS) condition, which had been formulated in C*-algebraic terms by the physicists Haag, Hugenholtz and Winnink.

The key result of my thesis (in 1972) is that the class modulo inner automorphisms of the Tomita automorphism group is in fact independent of the choice of the (faithful normal) state that is used in its construction. Needless to say it is this uniqueness that allows to define invariants of factors. The simplest is the subgroup T(A) of R which is formed of the periods, namely the set of times t for which the corresponding automorphism is inner. This, together with the spectral invariant S(A), led me to the classification of type III factors into subtypes III_s for s in [0,1] and the reduction from type III to type II and automorphisms done in my thesis except for the case III_1 which was later completed by Takesaki. All of this goes back to the beginning of the seventies and will suffice for this first heart beat. It is only the beginning of a long saga which is far from over hopefully, and whose main theme is this mysterious generation of an intrinsic "time" that emerges from the noncommutativity of a von Neumann algebra. Exactly as manifolds come with a natural "smooth" measure class, a noncommutative space X generally gives rise to a von Neumann algebra A which encodes the natural measure class on X. It is thus a totally new feature of the noncommutative world that the corresponding time evolution is well defined and gives a canonical homomorphism:

where the second line gives the definition of the group of outer automorphisms Out(A) of A as the quotient of the group Aut(A) of automorphisms by the normal subgroup Int(A) of inner automorphisms (which are obtained by conjugating by a unitary element of the algebra A).

Report on the AMS Special Session on Noncommutative Geometry and Arithmetic Geometry

Let us start this report on this meeting in a light way with a picture, featuring the subject of this blog and David Goss...
















Connes opened the meeting with a talk on some analogies between two grand challenges in mathematics and physics: On the one hand, the search for a geometric setting in which the methods of Weil's proof of the Riemann hypothesis (RH) for curves over finite fields could be applied to prove the original RH; and on the other hand, the search for a quantum theory of gravity starting from the NCG approach to the standard model of particle physics based on the spectral action principle of Connes and Chamseddine. If my memory from an earlier talk of Connes is correct, these analogies were discovered while Connes and Marcolli were finishing an early draft of their tome "Noncommutative geometry, quantum fields, and motives" (draft here), giving rise to the final part of the book that ties (conjecturally) the two major mathematics and physics strands mentioned above. Let me try to give a (somewhat disjointed) indication of the breadth of the analogies, while leaving the bigger picture completely in the fog.

First, Connes gave an overview of the Tomita-Takesaki theory (the "secret weapon" of operator algebraicists, in the words of Jack Morava), emphasizing its novelty and stark contrast with the commutative case: noncommutative operator algebras -- but not commutative ones! -- come endowed with a non-trivial, canonical (that is, up to alteration by an inner automorphism) time evolution. Surprisingly, the theory of Tomita-Takesaki also provided the correct framework for operator-algebraic quantum statistical mechanics. Now, these are old results from the 70's (and late 60's), but around 1992 in collaboration with C. Rovelli the two points of view were considered together in a novel way: Is there a thermodynamic basis for the origin of time? In particular, what should be the (noncommutative) algebra of observables of a quantum theory of gravity?

Connes also gave a rapid summary of his on-going project with Consani and Marcolli to build a geometric world in characterstic 0 hospitable to the methods of Weil's proof of the Riemann hypothesis for curves over finite fields. Apparently, there are fruitful analogies between the necessary ingredients for quantum gravity (QG) and aspects of the space of Q-lattices, the geometric space underlying the GL(2)-system of Connes-Marcolli and the Bost-Connes system (see the summary of Laca's talk below). For example, the moduli space of Dirac operators on the QG side, being described by a double quotient space of complex algebraic groups, is mirrored on the Q-lattice side by Shimura varieties (certain double quotient spaces of adelic algebraic groups). One will find a condensed dictionary of many more analogies in the last part of the book by Connes and Marcolli. It would be desirable if some knowledgeable reader of this blog could elaborate on this (perhaps even the authors themselves, the huge job of having written 700 or so pages notwithstanding).

Continuing in the bridge-building spirit of the meeting, van Suijlekom gave a talk on his recent work with S. Mahanta on their study of the noncommutative torus from the point of view of noncommutative algebraic geometry. This is a very natural undertaking: for while noncommutative tori have long been studied from a topological and differential perspective, classical tori can also be realized as 1-dimensional complex abelian varieties (a.k.a. elliptic curves) which have rich algebraic and arithmetic structures, so it is natural to try to examine noncommutative tori as noncommutative algebraic varieties of sorts. But whereas in the differential-topological approach pioneered by Connes and Rieffel a noncommutative space is a certain kind of noncommutative topological algebra, in the current algebraic-geometry approach, a noncommutative variety is regarded as a certain type of category. Indeed, from the work of A. Rosenberg, Bondal, and Orlov it is known that smooth (irreducible) projective varieties are characterized up to isomorphism by their bounded derived categories of quasi-coherent sheaves. The work of Mahanta-van Suijlekom is an attempt to connect these two worlds for NC tori. What they have done is to define a category that, roughly speaking, interpolates between the categories reflecting the differential and algebraic nature of the NC tori. Additionally, they've shown that this interpolating category is a Tannakian category equivalent to the category of representations of Z^2.

It would be interesting to see whether the categorical approach to noncommutative tori sheds any light on the conjectured relevance of noncommutative tori to an explicit class field theory for real quadratic fields (in analogy with the theory of complex multiplication, as suggested by Manin), or clarifies what it should mean for a noncommutative torus to be defined over Q or a number field (cf. the recent thesis of J. Plazas).

Laca gave a report on his recent work with N. Larsen and S. Neshveyev. This was an especially pleasing talk to attend as this work finally wraps up an analytic problem that has remained open for more than 10 years, namely the classification of KMS states for the Bost-Connes C*-dynamical system for number fields. Avoiding all details of what the Bost-Connes system is exactly -- an excellent summary is given in the book of Connes and Marcolli -- let me mention only that its most "fabulous" feature is that it admits an action of the abelianized absolute Galois group of Q on its so-called KMS infinity states, and upon evaluation of theses KMS states on a natural rational subalgebra, this Galois action coincides with the usual Galois action on the maximal cyclotomic extension of Q. (KMS-beta states were discussed by Connes in his talk and are surely discussed elsewhere on this blog as well. To describe them quickly, albeit in a rather cryptic manner: KMS-beta states are analogues of infinite-volume limits of Gibbs states in quantum statistical mechanics; beta, in the physical context, is inverse temperature.) A natural problem is to construct C*-dynamical systems with analogous Fabulous Features for general number fields. For the case of imaginary quadratic fields, this was accomplished about three years ago by Connes-Marcolli-Ramachandran. Paugam and one of the blog posters have defined a candidate analogue of Bost-Connes for general number fields, without, however, being able to show that it is fabulous. What Laca and his collaborators have done is overcome a key analytic obstacle towards establishing "fabulousness" of the Bost-Connes system for general number fields: namely, for all beta they have classified the KMS-beta states. The result is essentially the same as for the original Bost-Connes system, though the proof follows the ergodic-theoretic techniques developed by Neshveyev, later enhanced by Laca, Larsen, and Neshveyev to clean up the KMS states classification for the Connes-Marcolli GL(2)-system. To get truly "fabulous" systems in the general number field case capable of manifesting the Galois action, it remains to find an appropriate rational structure for such C*-systems. This is a problem of a different nature, which is not likely to fall without deep arithmetic insight, given that it has implications for Hilbert's 12th problem.

The second day started with two talks by Kreimer and Yeats discussing results obtained in (perturbative) quantum field theories, in particular on quantum electrodynamics. The recursive structures that appear are by now well-known to be captured by the structure of a Hopf algebra. On the analytical side, one can expand the probability amplitudes of interest in physics (such as the vacuum self-energy of the photon) as a series in certain functions gamma_k of the coupling constant. One then writes a recursive relation for the $\gamma_k$ and tries to (numerically) solve a differential equation for the $\gamma_1$. This involved only the computation of the amplitudes of primitive graphs, which was carried out up to fourth order in the loop number. Several vector flow diagrams were presented in the second talk, corresponding to the differential equation. Striking was the difference when moving to 4th loop order, where a separatrix
appeared. Although not yet completely understood, it was observed that the fine structure constant $\alpha = 1/137... lies on this separatrix!


In addition to the talks mentioned above there were also talks on the meeting by Ramachandran on computing Beilinson's ring of correspondences at the generic point of a smooth projective variety over a finite field; by Marcolli on her joint work with Manin on the pseudomeasure formalism for modular symbols (a manifestation of a "modular shadow" in their terminology); by Moscovici on twisted spectral triples (though, unfortunately, there wasn't enough time for him to go deeper into applications to the GL(2)-system of Connes-Marcolli-Moscovici); by Goss on Hecke operators and distributions (in the sense of probability theory) in characteristic p, and some work of Boeckle; and by Zhao on improving the Deligne-Goncharov upper bounds for the dimension of spaces of multiple zeta values (of a given weight). On the second day there were additional talks by Retakh on a construction of Lie algebras and Lie groups over noncommutative rings; by Gangl on Polygons and mixed Tate motives (with Brown and Levin); and finally Zhang on differential renormalization for multiple zeta values (joint with Guo).



Eugene Ha
Walter van Suijlekom

Two Tracts by Galois

While updating my post on Hilbert, thanks to Manfred Karbe's e-mails I came across these two very interesting, powerful and engaging pieces on abstraction and instruction in mathematics by Galois. I put these texts here just in case the French website where they are taken from becomes unavailable sometime. I think the ultimate reference for Galois' writings is the book `Écrits et Mémoires Mathématiques d'Évariste Galois' (Gauthier-Villars, Paris 1962). It contains all of Galois' writings including his work on abelian integrals. The second tract appears in pages 21-25 in this book. The first tract, only partly reproduced here, appears in full in pages 3-11 of this book.


Préface

`` Cecy est un livre de bonne foy. Montagne.

.........................Si avec aussi peu de chances d'être compris, je publie, malgré tout, le fruit de mes veilles, c'est afin de prendre date pour mes recherches, c'est afin que les amis que j'ai formés dans le monde avant qu'on m'enterrât sous les verrous, sachent que je suis bien en vie, c'est peut-être aussi dans l'espérance que ces recherches pourront tomber entre les mains de personnes à qui une morgue stupide n'en interdira pas la lecture, et les diriger dans la nouvelle voie que doit, selon moi, suivre l'analyse dans ses branches les plus hautes. Il faut bien savoir que je ne parle ici que d'analyse pure; mes assertions transportées aux applications les plus directes des mathématiques deviendraient paradoxales.

Les longs calculs algébriques ont d'abord été peu nécessaires au progrès des Mathématiques, les théorèmes fort simples gagnaient à peine à être traduits dans la langue de l'analyse. Ce n'est guère que depuis Euler que cette langue plus brève est devenue indispensable à la nouvelle extension que ce grand géomètre a donnée à la science. Depuis Euler les calculs sont devenus de plus en plus nécessaires, mais de plus en plus difficiles à mesure qu'ils s'appliquaient à des objets de science plus avancés. Dès le commencement de ce siècle, l'algorithme avait atteint un degré de complication tel que tout progrès était devenu impossible par ce moyen, sans l'élégance que les géomètres modernes ont su imprimer à leurs recherches, et au moyen de laquelle l'esprit saisit promptement et d'un seul coup un grand nombre d'opérations.

Il est évident que l'élégance si vantée et à si juste titre, n'a pas d'autre but.

Du fait bien constaté que les efforts des géomètres les plus avancés ont pour objet l'élégance, on peut donc conclure avec certitude qu'il devient de plus en plus nécessaire d'embrasser plusieurs opérations à la fois, parce que l'esprit n'a plus le temps de s'arrêter aux détails.

Or je crois que les simplifications produites par l'élégance des calculs, (simplifications intellectuelles, s'entend; de matérielles il n'y en a pas) ont leurs limites; je crois que le moment arrivera où les transformations algébriques prévues par les spéculations des analystes ne trouveront plus ni le temps ni la place de se produire; à tel point qu'il faudra se contenter de les avoir prévues. Je ne veux pas dire qu'il n'y a plus rien de nouveau pour l'analyse sans ce secours: mais je crois qu'un jour sans cela tout serait épuisé.

Sauter à pieds joints sur ces calculs; grouper les opérations, les classer suivant leurs difficultés et non suivant leurs formes; telle est, suivant moi, la mission des géomètres futurs; telle est la voie où je suis entré dans cet ouvrage.

Il ne faut pas confondre l'opinion que j'émets ici, avec l'affectation que certaines personnes ont d'éviter en apparence toute espèce de calcul, en traduisant par des phrases fort longues ce qui s'exprime très brièvement par l'algèbre, et ajoutant ainsi á la longueur des opérations, les longueurs d'un langage qui n'est pas fait pour les exprimer. Ces personnes-là sont en arrière de cent ans.

Ici rien de semblable; ici on fait l'analyse de l'analyse: ici les calculs les plus élevés exécutés jusqu'à présent sont considérés comme des cas particuliers, qu'il a été utile, indispensable de traiter, mais qu'il serait funeste de ne pas abandonner pour des recherches plus larges. Il sera temps d'effectuer des calculs prévus par cette haute analyse et classés suivant leurs difficultés, mais non spécifiés dans leur forme, quand la spécialité d'une question les réclamera.

La thèse générale que j'avance ne pourra être bien comprise que quand on lira attentivement mon ouvrage qui en est une application: non que ce point de vue théorique ait précédé l'application; mais je me suis demandé, mon livre terminé, ce qui le rendrait si étrange à la plupart des lecteurs, et rentrant en moi-même, j'ai cru observer cette tendance de mon esprit à éviter les calculs dans les sujets que je traitais, et qui plus est, j'ai reconnu une difficulté insurmontable à qui voudrait les effectuer généralement dans les matières que j'ai traitées.

On doit prévoir que, traitant des sujets aussi nouveaux, hasardé dans une voie aussi insolite, bien souvent des difficultés se sont présentées que je n'ai pu vaincre. Aussi dans ces deux mémoires et surtout dans le second qui est plus récent, trouvera-t-on souvent la formule "je ne sais pas"). La classe des lecteurs dont j'ai parlé au commencement ne manquera pas d'y trouver à rire. C'est que malheureusement on ne se doute pas que le livre le plus précieux du plus savant serait celui où il dirait tout ce qu'il ne sait pas, c'est qu'on ne se doute pas qu'un auteur ne nuit jamais tant à ses lecteurs que quand il dissimule une difficulté. Quand la concurrence c'est-à-dire l'égoïsme ne règnera plus dans les sciences, quand on s'associera pour étudier, au lieu d'envoyer aux académies des paquets cachetés, on s'empressera de publier ses moindres observations pour peu qu'elles soient nouvelles, et on ajoutera: "je ne sais pas le reste".

De Ste Pélagie, décembre 1831,

EVARISTE GALOIS. "



The second tract by Galois:


``Sur l'Enseignement des Sciences, des Professeurs, des Ouvrages, des Examinateurs

MONSIEUR LE RÉDACTEUR,
Je vous serais obligé, si vous voulez bien accueillir les réflexions suivantes, relatives à l'étude des mathématiques dans les collèges de Paris.

D'abord dans les sciences, les opinions ne comptent pour rien; les places ne sauraient être la récompense de telle ou telle manière de voir en politique ou en religion. Je m'informe si un professeur est bon ou mauvais, et je m'inquiète fort peu de sa façon de penser dans des matières étrangères à ses études scientifiques. Ce n'était donc pas sans douleur et indignation que, sous le gouvernement de la restauration, on voyait les places devenir la proie des plus offrants en fait d'idées monarchiques et religieuses. Cet état de choses n'est pas changé; la médiocrité, qui fait preuve de sa répugnance pour le nouvel ordre de choses, est encore privilégiée; et cependant les opinions ne devraient pas être mises en ligne de compte, lorsqu'il s'agit d'apprécier le mérite scientifique des individus.

Commençons par les collèges; là les élèves de mathématiques se destinent pour la plupart à l'école polytechnique; que fait-on pour les mettre en état d'atteindre ce but ? Cherche-t-on à leur faire concevoir le véritable esprit de la science par l'exposé des méthodes les plus simples ? Fait-on en sorte que le raisonnement devienne pour eux une seconde mémoire ? N'y aura-t-il pas au contraire quelque ressemblance entre la manière dont ils APPRENNENT les mathématiques et la manière dont ils APPRENNENT les leçons de français et de latin ? Jadis un élève aurait appris d'un professeur tout ce qui lui est utile de savoir; maintenant il faut le supplément de un, de deux répétiteurs pour préparer un candidat à l'école polytechnique.

Jusques à quand les pauvres jeunes gens seront-ils obligés d'écouter ou de répéter toute la journée ? Quand leur laissera-t-on du temps pour méditer sur cet amas de connaissances, pour coordonner cette foule de propositions sans suite, de calculs sans liaison ? N'y aurait-il pas quelque avantage à exiger des élèves les mêmes méthodes, les mêmes calculs, les mêmes formes de raisonnement, s'ils étaient à la fois les plus simples et les plus féconds ? Mais non, on enseigne minutieusement des théories tronquées et chargées de réflexions inutiles, tandis qu'on omet les propositions les plus simples et les plus brillantes de l'algèbre; au lieu de cela, on démontre à grands frais de calculs et de raisonnements toujours longs, quelquefois faux, des corollaires dont la démonstration se fait d'elle-même.

D'où vient le mal ? Assurément ce n'est pas des professeurs des collèges; ils montrent tous un zèle fort louable; ils sont les premiers à gémir de ce qu'on ait fait de l'enseignement des mathématiques un véritable métier. La cause du mal, c'est aux libraires de MM. les examinateurs qu'il faut la demander. Les libraires veulent de gros volumes: plus il y a de choses dans les ouvrages des examinateurs, plus ils sont certains d'une vente fructueuse; voilà pourquoi nous voyons apparaître chaque année ces volumineuses compilations où l'on voit les travaux défigurés des grands maîtres à côté des essais de l'écolier.

D'un autre côté, pourquoi les examinateurs ne posent-ils les questions aux candidats que d'une manière entortillée ? Il semblerait qu'ils craignissent d'être compris de ceux qu'ils interrogent; d'où vient cette malheureuse habitude de compliquer les questions de difficultés artificielles ? Croit-on donc la science trop facile ? Aussi qu'arrive-t-il ? L'élève est moins occupé de s'instruire que de passer son examen. Il lui faut sur chaque théorie une RÉPÉTITION de chacun des quatre examinateurs; il doit apprendre les methodes qu'ils affectionnent, et savoir à l'avance, pour chaque question et chaque examinateur, quelles doivent être ses réponses et même son maintien. Aussi il est vrai de dire qu'on a fondé depuis quelques années une science nouvelle qui va grandissant chaque jour, et qui consiste dans la connaissance des dégoûts et des préférences scientifiques, des manies et de l'humeur de MM. les examinateurs.

Etes-vous assez heureux pour sortir vainqueur de l'épreuve ? Etes-vous enfin désigné comme l'un des deux cents géomètres à qui on porte les armes dans Paris ? Vous croyez être au bout: vous vous trompez, c'est ce que je vous ferai voir dans une prochaine lettre.

E. G. "



--------------------------------------------------------------------------------

Notes:
Cette lettre d'Evariste Galois, fut publiée dans Gazette des Ecoles: Journal de l'Instruction Publique, de l'Université, des Séminaires, numéro 110, 2e année, Janvier 1831.
Aucune deuxième lettre n'a été publiée.

Les motifs - ou le coeur dans le coeur

It is with this fascinating title that A. Grothendieck presents in Recoltes et Semailles (cfr. Promenade à travers une oeuvre ou l'Enfant et la Mère) the subject of motives: the deepest of the twelve research themes around which he developed his "long-run" research program that literally revolutionized the field of algebraic geometry in the decade 1958-68. Motives were envisaged as the "heart of the heart" of the new geometry (arithmetic geometry) that Grothendieck invented following a scientific strategy based on the introduction of a series of new concepts organized on a progressive level of generality: starting with schemes, topos and sites then continuing with the yoga of motives and motivic Galois groups and finally introducing anabelian algebraic geometry and Galois-Teichmuller theory.
If the notions of scheme and topos were the two crucial ideas which constituted the original driving force in the development of this new geometry -- Grothendieck was evidently fascinated by the concepts of geometric point, space and symmetry -- it is only with the notion of a motive that one eventually captures the deepest structure, the heart of the profound identity between geometry and arithmetic.

Grothendienck wrote very little about motives. The foundations are documented in his unpublished manuscript "Motifs" and were discussed on a seminar at the Institut des Hautes Études Scientifiques, in 1967. We know, by reading Recoltes et Semailles, that he started thinking about motives in 1963-64. J.P. Serre has included in his paper "Motifs" an extract from a letter that Grothendieck wrote to him in August 1964 in which he talks (rather vaguely, in fact) of the notions of motive, fiber functor, motivic Galois group and weights.
Motives were introduced with the ultimate goal to supply an intrinsic explanation for the analogies occurring among the various cohomological theories for algebraic varieties: they were expected to play the role of a universal cohomological theory (the motivic cohomology) and also to furnish a linearization of the theory of algebraic varieties, by eventually providing (this was Grothendieck's viewpoint) the correct framework for a successful attack to the Weil's Conjectures on the zeta-function of an algebraic variety over a finite field.

Unlike in the framework of algebraic topology where the standard cohomological functor is uniquely characterized by the Eilenberg-Steenrod axioms in terms of the normalization associated to the value of the functor on a point, in algebraic geometry there is no suitable cohomological theory with integers coefficients, for varieties defined over a field k, unless one provides an embedding of k into the complex numbers. In fact, by means of such mapping one can form the topological space of the complex points of the original algebraic variety and finally compute the Betti (singular) cohomology. This construction however, does in general depend upon the choice of the embedding of k in the field of complex numbers. Moreover, Hodge cohomology, algebraic de-Rham cohomology, étale l-adic cohomology furnish several examples of different cohomology functors which can be simultaneously associated to a given algebraic variety, each of which supplying a relevant information on the topological space.

Grothendieck theorized that this plethora of different cohomological data should be somewhat encoded systematically within a unique and more general theory of cohomological nature that acts as an internal "liaison" between algebraic geometry and the collection of available cohomological theories. This is the idea of the "motif", namely the common reason behind this multitude of cohomological invariants which governs and controls systematically all the cohomological apparatus pertaining to an algebraic variety or more in general to ascheme.

The original construction of a category M of (pure) motives over a field k starts with two preliminary considerations. The first consideration is that M should be the target of a natural contravariant functor connecting the category C of smooth, projective algebraic varieties over a field k to M. Such functor should map an object X in C to its associated motive M(X). The second consideration is that this functor should, by construction, factor through any particular cohomological theory.

Now, keeping in mind this goal, one thinks about the axiomatizing process of a cohomological theory in algebraic geometry. This is done by introducing a contravariant functor X -> H(X) from C to a graded abelian category, where the sets of morphisms between its objects form K-vector spaces (K is a field of characteristic zero, that for simplicity, I fix here equal to the rationals). One also would like that any correspondence V--> W (an algebraic cycle in the cartesian product VxW that can be view as the graph of a multi-valued algebraic mapping) induces contravariantly, a mapping on cohomology and that the target category is suitably defined so that it contains among its objects any "Weil cohomological theory", namely a cohomology which satisfies among other axioms Poincaré duality and Künneth formula.

This preliminary disquisition helps one in formalizing the construction of the category of motives by following a three-steps procedure. One wishes to enlarges the category C in a precise way with the hope to produce also an abelian category. The three steps are shortly resumed as follows.

(1) One moves from C to a category with the same objects but where the sets of morphisms are the equivalence classes of rational correspondences. Here, the natural choice of the equivalence relation is the numerical equivalence relation as it is the coarsest one among the possible relations between algebraic cycles which can be seen to induce, via the cohomological axioms of any Weil cohomological theory, well-defined homomorphisms in cohomology.

(2) One enlarges the collection of objects of the category defined in (1), by formally adding kernels and images of projectors. This step is technically referred to as the "pseudo-abelian envelope" of the category defined in (1) and it is motivated by the expectation to define an abelian category of motives in which for instance, the Künneth formula can be applied.

(3) Finally, one considers the opposite of the category defined in (2).

Now, after having diligently applied all this abstract machinery, one would like to see a fruitful application of these ideas, in the form, for instance, of the proof of a major conjecture. However, one also perceives quite soon that a successful application of the yoga of motives is subordinated to a thorough knowledge of the theory of algebraic cycles, since the construction of the category M is centered on the idea of enlarging the sets of morphisms by implementing the notion of correspondence. It is for this reason that the Standard Conjectures (cohomological criteria for the existence of interesting algebraic cycles) were associated, since the beginning, to the theory of motives as they seem to play the "conditio sine qua non" a theory of motives has a concrete and successful application.
However, in order to put the Standard Conjectures in the right perspective and to avoid perhaps, an over-estimation of their importance, one should also record that Y. Manin gave in 1968, the first interesting application of these ideas on motives by producing an elegant proof of the Riemann-Weil hypothesis for non-singular three-dimensional projective unirational varieties over a finite field, without appealing to the Standard Conjectures. Moreover, we also know that the Weil's Conjectures have been proved by P. Deligne in 1974 without using neither the theory of motives nor the Standard Conjectures.

Almost forty years have passed since these ideas were informally discussed in the "Grothendieck's circle". An enlarged and in part still conjectural theory of mixed motives has in the meanwhile proved its usefulness in explaining conceptually, some intriguing phenomena arising in several areas of pure mathematics, such as Hodge theory, K-theory, algebraic cycles, polylogarithms, L-functions, Galois representations etc.

Very recently, some new applications of the theory of motives to number-theory and quantum field theory have been found or are about to be developed, with the support of techniques supplied by noncommutative geometry and the theory of operator algebras.
In number-theory, a conceptual understanding of the interpretation proposed by A. Connes of the Weil explicit formulae as a Lefschetz trace formula over the noncommutative space of adèle classes, requires the introduction of a generalized category of motives which is inclusive of spaces which are highly singular from a classical viewpoint. Several questions arise already when one considers special types of zero-dimensional noncommutative spaces, such as the space underlying the quantum statistical dynamical system defined by J.B. Bost and Connes in their paper "Hecke algebras, type III factors and phase transitions with spontaneous symmetry breaking" (Selecta Math. (3) 1995). This space is a simplified version of the adèle classes and it encodes in its group of symmetries, the arithmetic of the maximal abelian extension of the rationals.

A new theory of endomotives (algebraic and analytic) has been recently developed in "Noncommutative geometry and motives: the thermodynamics of endomotives" (to appear in Advances in Mathematics). The objects of the category of endomotives are noncommutative spaces described by semigroup actions on projective limits of Artin motives (these are among the easiest examples of pure motives, as they are associated to zero-dimensional algebraic varieties). The morphisms in this new category generalize the notion of (algebraic) correspondences and are defined by means of étale groupoids to account for the presence of the semigroup actions.
An open and interesting problem is connected to the definition of a higher dimensional theory of noncommutative motives and in particular the set-up of a theory of noncommutative elliptic motives and modular forms.
A suitable generalization of the yoga of motives to noncommutative geometry has already produced some interesting results in the form, for example, of an analog in characteristic zero of the action of the Weil group on the étale cohomology of an algebraic variety.

It seems quite exciting to pursue these ideas further: the hope is that the motivic techniques, once suitably transferred in the framework of noncommutative geometry may supply useful tools and produce even more substantial applications than those obtained in the classical commutative context.

What is the "heart of the heart" of noncommutative geometry?

New books on noncommutative geometry

This seems to be a banner year for books on noncommutative geometry. Leading the pack is ``Noncommutative Geometry, Quantum Fields. and Motives" by Alain and Matilde which will be published by the American Mathematical Society in January 2008. Earlier this year we introduced two other books.

Now two other new books that just appeared in the market. Topological and Bivariant K-Theory by Joachim Cuntz, Ralf Meyer, and Jonathan Rosenberg has just been published by Birkhaeuser. In publisher's introduction we read:
``Topological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology or bornology. Bott periodicity, homotopy invariance, and various long exact sequences distinguish it from algebraic K-theory.
We describe a bivariant K-theory for bornological algebras, which provides a vast generalization of topological K-theory. In addition, we discuss other approaches to bivariant K-theories for operator algebras. As applications, we study K-theory of crossed products, the Baum-Connes assembly map, twisted K-theory with some of its applications, and some variants of the Atiyah-Singer Index Theorem. "


The second book is Local and Analytic Cyclic Homology by Ralf Meyer and is published by the European Mathematical Society Publication House. Here is an excerpt by the publisher describing the book: ``Periodic cyclic homology is a homology theory for non-commutative algebras that plays a similar role in non-commutative geometry as de Rham cohomology for smooth manifolds. While it produces good results for algebras of smooth or polynomial functions, it fails for bigger algebras such as most Banach algebras or C*-algebras. Analytic and local cyclic homology are variants of periodic cyclic homology that work better for such algebras. In this book the author develops and compares these theories, emphasising their homological properties. This includes the excision theorem, invariance under passage to certain dense subalgebras, a Universal Coefficient Theorem that relates them to K-theory, and the Chern–Connes character for K-theory and K-homology"

A note to our readers and authors: if you know of any other books on the subject that is published this year, or will be published soon, please let one of us know. I know of at least one, but we should wait a bit!

Wir müssen wissen, wir werden wissen!

With the above words (translation: we must know, we will know), Hilbert ended his 1930 address in Königsberg, at the Congress of the Association of German Natural Scientists and Medical Doctors. A four minute excerpt was broadcast by radio, and is available here. This I believe is one of the earliest audio files of a speech by a mathematician of note, available online.
For the original German text and an English translation click here. The above picture was kindly sent by A. Rivero. (See his interesting comments about the place the picture was taken). Many thanks to him!

Now that we are inaugurating a new section in the blog under the label `multimedia' (see Matilde's recent post for an example), I thought time is right to add something I always wanted to share with the readers of this blog. Hilbert's address is not about NCG of course! Some of the relevant underlying philosophical and cultural aspects of the Zeitgeist challenged by Hilbert in his address are briefly discussed here. Notice, however, that Hilbert can be regarded as one of the great grandfathers of NCG and the subject owes a lot to him and his Göttingen school of functional analysis and spectral theory in the years 1900-1912 (Erhard Schmidt, Hermann Weyl, ....; as well as Otto Toeplitz who was not in Göttingen). Hilbert's work was centered around the theory of integral equations and its allied spectral theory as it was mostly motivated by Fredholm's 1900 papers. An immediate dramatic success was Weyl's assymptotic law for the eigenvalues of the Dirichlet problem for Laplacian on bounded domains. This basic result of spectral geometry is one of the foundation stones of NCG as well.

Later abstractions and the development of functional analysis on Hilbert space, by von Neumann and others, led to the theory of operator algebras which is of course one of the sources of NCG.

It is interesting to note that Hilbert's address was just one year before Gödel's incompleteness theorems , which in a way showed that, at least globally, one can not be totally optimistic about the power of formalistic approach in mathematics!

Update (Sept 20, 2007): Manfred Karbe kindly wrote in to share the following interesting information (my sincere thanks to him):

`After reading your post and hearing Hilbert's voice (in the
unmistakable Low Prussian dialect) I luckily found the "Hilbert
Gedenkband" on one of my book shelves, edited by Reidemeister and
published by Springer in 1971..........Attached to this booklet (which is out of print now, no wonder at those times!) was a record which contains the four
minute excerpt that was broadcast by radio. See also
this public appeal to locate the original recording'