Tuesday, October 30, 2012

THE MUSIC OF SPHERES

The title of this post, the music of spheres, refers to a talk The music of shapes which I gave in Lille, on the 26th of September, on the occasion of a joint meeting with the Fields Institute. The talk is an introduction to the spectral aspect of noncommutative geometry and its implications in physics.
The starting point is the naive question "Where are we?", or how is it possible to communicate to aliens our position in the Universe. This question leads, in the Riemannian framework of geometry, to that of determining a complete set of geometric invariants, both for a space and for a point in a space. The theme of Mark Kac, "Can one hear the shape of a drum" associates to a shape its musical scale which is the spectrum of the square root of the Laplacian, or better of the Dirac operator. After illustrating this familiar theme by many concrete examples we give a hint of the additional invariant which allows one to recover the geometric picture, namely the CKM invariant, and illustrate it, in a simplified form, in the simplest possible example of isospectral but non congruent shapes.
What about the relation with music? One finds quickly that music is best based on the scale (spectrum) which consists of all positive integer powers $q^n$ for the real number $q=2^{\frac{1}{12}}\sim 3^{\frac{1}{19}}$. Due to the exponential growth of this spectrum, it cannot correspond to a familiar shape but to an object of dimension less than any strictly positive number. As explained in the talk, there is a beautiful space which has the correct spectrum: the quantum sphere of Poddles, Dabrowski, Sitarz, Brain, Landi et all. Its spectrum consists of a slight variant of the $q^j$ where each appears with multiplicity $O(j)$. (See the original  paper of  Dabrowski and Sitarz arXiv:math/0209048 (Banach Center Publications, 61, 49-58, 2003) for the precise formula, and the paper of Brain and Landi arXiv:math/1003.2150 for a variant and the many references to the mathematicians involved, my apologies to each of them for not puting the list here.)
 We experiment in the talk with this spectrum and show how well suited it is for playing music.
The new geometry  which encodes such new spaces, is then introduced in its spectral form, it is noncommutative geometry, which is then confronted with physics.  There the core is  the spectral Standard Model of A. Chamseddine and the author which goes back to 1996. We tell the tale of the resilience of this model in its successive confrontations with experiments.
Both the start and the end part of the talk are unusual. The previous talk was a talk by Alain Aspect on his recent experiments, with his collaborators, confirming experimentally the "delayed choice" Gedankenexperiment of John Wheeler. So the very beginning of my talk refers to Aspect's point about the subtelty of  the concept of  "reality" implied by the quantum. The thesis which I defend briefly is that the total lack of control that we have on the outcome of a quantum experiment (we control only the probabilities), is a "variability" which is more primordial than the classical variability governed by the passing of time (on which we have no control either). I also explain briefly why time will emerge from the quantum variability.
The end part, in the question session, is also unusual, it is a long answer to a question which was posed by Alain Aspect.



The three speakers, Lille 9/26: E. Ghys, A. Aspect, A. Connes

 

Update : The talk of Alain Aspect is now also available at the  conference website

Saturday, October 13, 2012

Carlitz's formalism and Euler's $\Gamma$-function

It was always my fondest hope that the arithmetic of function fields in finite characteristic would finally become sophisticated enough so that it could be developed somewhat in tandem with classical arithmetic. In the recent past, this hope appears to becoming real. In particular, I would like to draw your attention to the new preprint by Federico Pellarin arXiv:1210.2490 "On the generalized Carlitz-module" where the formalism due to Carlitz is applied to deduce new functional equations for Euler's $\Gamma$-function (as well as applications to other classical special functions).

Let ${\mathbf F}_q$ be the finite field with $q$ elements and let $\theta$ an indeterminate; as usual we put $A:={\mathbf F}_q[\theta]$. When Carlitz was originally developing his module in the 1930's he chose the mapping generated by $\theta \mapsto \theta -\tau$ where $\tau$ is the $q$-th power mapping. I changed this to $\theta + \tau$ simply because this made computing Frobenius elements a bit easier.

As the theory of the Carlitz module, and general Drinfeld modules, began to develop, it was realized that one could abstract from the original settings of function fields over finite fields and this was developed e.g., by Mumford (1977) and Hellgouarch (1992 and 1997). In the paper by Federico this formalism is applied to complex analytic functions in a very concrete fashion.

More specifically, Let $F$ be the field of (complex valued) meromorphic functions in $s$ which are periodic of period $1$. Obviously, the function $s$ is not in $F$ and so one forms the polynomial ring (of functions) ${\mathbf A}:=F[s]$; notice that the huge field $F$ is now playing the role of the finite field $\mathbf F_q$....

The question is what plays the role of the $q$-th power mapping; here Federico makes the crucial choice $\tau (f):=f(s+1)$ where $f$ is a meromorphic function (so that obviously $F$ is the fixed field of this action). One then has the (generalized) Carlitz module associated to $(F[s], \tau)$ simply by following Carlitz's idea of composing actions and his original formalism mentioned above! In particular, one is now able to talk about the torsion elements associated to an element $a\in F[s]$. 

So what does this have to do with the $\Gamma$-function? Well, virtually everything! Indeed, of course, everyone knows the (almost!) definitional functional equation
$$\Gamma(s+1)=s\Gamma(s)\,.$$
Federico now simply rewrites this as
$$s\Gamma-\tau(\Gamma)=0\,$$
In other words, the $\Gamma$-function IS an $s$-torsion element for this Carlitz module. In fact, one sees that Carlitz-torsion is intimately connected with the $\Gamma$-function in one form or another. (Indeed, I would not be surprised if there is yet another characterization of the $\Gamma$-function which involves Carlitz-Pellarin torsion.)

But much more is true. In a previous blog I have discussed the applications of the Anderson-Thakur function $\omega(t)$ to $L$-series. The function $\omega(t)$ can abstractly be obtained as the Akheizer-Baker function associated to certain data. In the $F[s]$-case, Federico shows that the Akheizer-Baker function is precisely $\Gamma(s-t)$ and this leads to other functional relations in line with the analogy to $\omega(t)$.

Friday, August 10, 2012

A DRESS FOR THE BEGGAR ?



Since 4 years ago I thought that there was an unavoidable incompatibility between the spectral model and experiment. I wrote a post in this blog to explain the problem, on August 4 of 2008, as soon as the Higgs mass of around 170 GeV was excluded by the Tevatron. Now 4 years have passed and we finally know that the Brout-Englert-Higgs particle exists and has a mass of around 125 Gev. In the meantime the problem of this discrepancy in the Higgs mass seemed very hard to resolve and this certainly slowed down quite a bit the interest in the spectral model since there seemed to be no easy way out and whatever one would try would not succeed in lowering the Higgs mass. The reason for this post today is that this incompatibility has now finally been resolved in a fully satisfactory manner in a joint work with my collaborator Ali Chamseddine,  the paper is now on arXiv at http://fr.arxiv.org/pdf/1208.1030

What is truly remarkable is that there is no need to modify the spectral model in any way, it had already the correct ingredients and our mistake was to have neglected the role of a real scalar field which was already present and whose couplings (with the Higgs field in particular) were already computed in 2010 as one can see in http://fr.arxiv.org/pdf/1004.0464
This completely changes the perspective on the spectral model, all the more because the above scalar field has been independently suggested by several groups  as a way for stabilizing the Standard Model in spite of the low experimental Higgs mass. So, after this fruitful interaction with experimental results, it is fair to conclude that there is a real chance that the spectral approach to high energy physics is on the right track for a geometric unification of all known forces including gravity.
A few words about the picture, the metaphor of the Standard Model as a beggar with a diamond in its pocket was suggested by Daniel Kastler a long time ago, so this explains the character on the right. The character on the left wears the symbols of NCG, ingredients of spectral nature which allow one to reconstruct the geometry from gravitational observables such as the spectrum of the Dirac operator, and to write down the action of the Standard Model coupled to gravity.

Tuesday, July 31, 2012

Another occurence of the quasi-character $\chi_t$

My first introduction to the theory of Drinfeld modules was in the mid 1970's when I was a graduate student at Harvard. My advisor, Barry Mazur, had heard about them from lectures by Deligne (who, I believe, had previously met Drinfeld in Moscow). In any case, based on his knowledge of elliptic modular curves, Barry asked me whether the difference of two cuspidal points would be of finite order in the Jacobian of the modular curves of rank two Drinfeld modules (it is). He expected that showing this would involve Eisenstein series and then said, "But I don't know how to construct them." I went home and wrote down the obvious formula from $SL_2({\mathbf Z)$ which clearly converged and I was off; it took me a little while to realize that, in fact, the convergence was indeed strong enough to define a "rigid analytic function" in the sense of John Tate - such rigid functions play the role in nonArchimedean analysis that holomorphic functions do in complex analysis. The glorious point to Tate's idea was that by drastically reducing the number of "admissable" open sets (via a Grothendieck topology), one could actually force analytic continuation, "GAGA" theorems (which basically say that anything done analytically on a projective variety actually ends up in the algebraic category), and so on.....

Anyway, once one had Eisenstein series, the definitions of general modular forms were completely straightforward. What was not obvious was eastablishing that they possessed expansions at the cusps in analogy with the "$q$-expansions" of elliptic modular froms; but one can in fact do this with a little rigid geometry. The resulting expansions arise from the appropriate Tate objects in the theory also in analogy with the classical elliptic theory. Coherent chomology then shows that the forms of a given weight, which are also holomorphic at the cusps, form finite dimensional spaces and so on. Moreover, one could readily define the Hecke operators with the obvious definition and see that the Eisenstein series are eigenforms with eigenvalues associated to a prime $(f)$ ($f\in {\mathbf F}_q[\theta]$) of the from $f^i$.

However, there were some issues that immediately arose which vexed me greatly then, and still do even now with a good deal of progress on them. They are:

1. The Hecke operators are associated to ideals $(i)\subset {\mathbf F}_q[\theta]$ whereas the expansions at cusps are of the form $u^j$ for $j$ an integer and $u$ the local parameter; an obvious mismatch very much unlike classical theory!

2. A simple combinatorial calculation shows that the Hecke operators are *totally* multiplicative in obvious distinction from what happens with elliptic modular forms.

3. There is a form $\Delta$ highly analogous to its elliptic cousin. Very early on, Serre asked me to compute its eigenvalues and I was surprised that I could show $\Delta$ has the same eigenvalues as an Eisenstein series. In fact, there are all sorts of forms that have the same eigenvalues, which is, from a classical point of view, very concerning!!

Since then, there has been a lot of great work on these rigid modular forms by Gekeler, Reversat, Teitelbaum, Böckle, Pink, Bosser, Pellarin, Armana and others. I want to focus here on the recent work of Bartolomé López and, in particular, Aleks Petrov (who is a student of Dinesh Thakur); see http://arxiv.org/abs/1207.6479 . Remarkably there appears to be a very serious connection with my last post (on the work of Federico Pellarin and Rudy Perkins).

More precisely, as above, let $u$ be the parameter at the cusp $\infty$ that we are expanding our forms about. Now when one computes the expansion of the Eisenstein series at the cusps, one passes through an intermediate expansion of the form $\sum_a c_a g_a$ where $a$ runs over the monic elements in ${\mathbf F}_q[\theta]$ and $g_a$ is an easily specified function depending on $a$.  Such expansions are called "$A$-expansions" by Petrov and can be seen to be unique. The first example, as mentioned, are the Eisenstein series, but Lopez showed more remarkably that the form $\Delta$ has an $A$-expansion as does Gekeler's function $h$ (which is a root of $\Delta$).

Petrov shows the existence of infinitely many forms with such $A$-expansions. Moreover, these expansions also work very well with the Hecke operators and, in fact, one can see that they give rise to eigenforms with very simple eigenvalues (like those mentioned for Eisenstein series). Indeed a form with such an $A$-expansion is essentially determined by its eigenvalues and weight  and this is a very positive development!

Since one has so many forms with such simple eigenvalues, it is natural to wonder if *all* the Hecke eigenvalues are of the same simple form, and so I asked Aleks what examples he had of Hecke eigenvalues. Now recall that in my last post, if $t$ is a scalar, we defined the quasi-character $\chi_t$ by $\chi_t(f)=f(t)$ for $f \in {\mathbf F}_q[\theta]$. Well, remarkably, Aleks sent me some tables where,  for the primes $f$ calculated, the eigenforms indeed have associated eigenvalues of the form $f^j\chi_t(f)^e$ for various $t$ integral over $A$.....

Wednesday, July 11, 2012

Operator/scalar fusion in finite characteristic and remarkable formulae

Let $E$ be a curve of genus $1$ over the rational field $\mathbf Q$. One of the glories of mathematics is the discovery that (upon choosing a fixed rational point "$\mathbf O$") $E$ comes equipped with an addition which makes its points over any number field (or $\mathbf R$ or $\mathbf C$) a very natural abelian group. (In the vernacular of algebraic geometry, one calls $E$ an "abelian variety" of dimension $1$ or an "abelian curve".)

Built into this setup is a natural tension between the two different avatars of the integers $\mathbf Z$ which now arise. On the one hand, an integer $n$ is an element of the scalars $\mathbf Q$ over which our curve $E$ lies; on the other hand, $n$ is also an operator on the group formed  by the elliptic curve (and, in fact, it is well known that this operator is actually a morphism on the elliptic curve).

One would, somehow, like to form a ring that encompasses both of these avatars. An obvious way to do this would be to form ${\mathbf Z}\otimes {\mathbf Z}$ but, alas, this fails as this tensor product is simply $\mathbf Z$. I have always thought, perhaps naively, that one of the motivations in studying ${\mathbf F}_1$ was the hope that progress could be made here....

In any case, in finite characteristic we are blessed with more flexibility. Let $q$ be a power of a prime $p$ and let ${\mathbf F}_q$ by the field with $q$-elements with $A:={\mathbf F}_q[\theta]$ the polynomial ring in the indeterminate $\theta$. In the 1970's, soon after he defined elliptic modules (a.k.a., Drinfeld modules) Drinfeld was influenced by the work of Krichever to define an associated vector bundle called a "shtuka". In order to do so, Drinfeld worked with the $2$-dimensional algebra $A\otimes_{\mathbf F_q} A$ which precisely combined the roles of operator and scalar. Soon after that, Greg Anderson used this algebra to develop his higher dimensional analog of Drinfeld modules (called "$t$-modules"); in particular, Anderson's theory allowed one to create a good category of "motives" out of Drinfeld modules which is, itself, equipped with a good notion of a tensor product.

One can associate to Drinfeld modules analogs of classical special functions such as $L$-series, gamma functions; etc. Classical theory leads to the expectation that these gamma functions should somehow be related to the $L$-series much as gamma functions are "Euler-factors at infinity" in classical algebraic number theory. But so far that has not been the case and the connection, if one exists, remains unknown.

The basic Drinfeld module is the rank $1$ module $C$ discovered by L. Carlitz in the 1930's (in a triumph of old school algebra!); it is a function field analog of the algebraic group ${\mathbf G}_m$ and its exponential is a function field analog of the classical exponential function.  Let $\tau(z):=z^{q}$ be the $q$-th power mapping with $\tau^i$ defined by composition; the Carlitz module is then the $\mathbf F_q$-algebra map defined by $C_\theta:=\theta \tau^0+\tau$. Using Anderson's notion of a tensor product, Greg and Dinesh Thakur rapidly defined, and studied, the $n$-tensor power $C^{\otimes n}$ of the Carlitz module in "Tensor powers of the Carlitz module and zeta values," Ann. of Math. 132 (1990), 159–191.  In particular, they defined the following marvelous function
$$\omega (t):=\theta_1 \prod_{i=0}^\infty \left(1-\frac{t}{\theta^{q^i}}\right)^{-1}\,,$$
where $\theta_1$ is a fixed $(q-1)$-st root of $-\theta$. Notice that $\omega(t)$ is obviously the reciprocal of an entire function and, in that, it reminds one of Euler's gamma function.

However, much more profound is the result of Anderson/Thakur (loc. cit.) that $\lim_{t\mapsto\theta}(t-\theta)\omega(t)$ is the period $\tilde{\xi}$ of the Carlitz module. Here one can't help but be reminded of the famous equality $\Gamma(1/2)=\sqrt \pi$; so one is led to view $\omega(t)$ as yet another function field manifestation of the notion of a gamma function. Indeed, in a tour de force, "Determination  of the algebraic relations among special $\Gamma$-values in positive characteristic," (Ann. of Math. (2) (2004), 237-313), Anderson, Dale Brownawell, and Matt Papanikolas used $\omega(t)$ to establish virtually all the transcendence results one would want of the geometric gamma function.

So it was apparent, to me anyway, that this magical $\omega(t)$ should also make itself known in the theory of characteristic $p$ $L$-series. However, I simply did not see how this could happen. This impasse was recently broken by some fantastic results of Federico Pellarin ("Values of Certain $L$-series in positive characteristic," Ann. of Math. to appear, http://arxiv.org/abs/1107.4511) and these results precisely provide the operator/scalar fusion mentioned in the title of this blog!

So I would like to finish by describing some of Federico's results, and also those of my student Rudy Perkins in this regard. They both are obtaining all sorts of beautiful formulae of the sort one might find in the famous book by Whittaker and Watson which is very exciting and certainly bodes very well for the future of the subject. But before doing so, we do need one more result of Anderson/Thakur.

As in my previous blog put $K:={\mathbf F}_q((1/\theta))$ with the canonical absolute value. Put ${\mathbf T}:=\{\sum_{i=0}^\infty a_it^i\}$ where $\{a_i\}\subset K$ and $a_i\to 0$ as $i \to \infty$; so $\mathbf T$ is simply the Tate algebra of functions with coefficients in $K$ converging on the closed unit disc.

The algebra $\mathbf T$ comes equipped with two natural operators: First of all, the usual hyperdifferential operators act on $\mathbf T$ via differentation with respect to $t$ in the standard fashion.  Now let $f(t)=\sum a_it^i\in \mathbf T$; we then set $\tau (f):=\sum a_i^qt^i$ and call it the
"partial Frobenius operator" (in an obvious sense). Note that, in this setting, $\tau$ is actually $\mathbf F_q[t]$-linear. Note also, because we are in characteristic $p$ these operators commute.

Anderson and Thakur look at the following partial Frobenius equation on $\mathbf T$: $\tau \phi=(t-\theta)\phi$ (N.B.: $t-\theta$ is the "shtuka function" associated to the Carlitz module). The solutions to this equation clearly form an $\mathbf F_q[t]$-module and the remarkable result of A/T is that this module is free of rank $1$ and generated by $\omega(t)$.

One can rewrite the fundamental equation $\tau \omega=(t-\theta)\omega$ as
$$(\theta \tau^0+\tau)\omega=t\cdot \omega\,;$$
in other words, if we use the partial Frobenius operators to extend the Carlitz module to $\mathbf T$ then $\omega$ trivializes this action. So if $f(\theta)\in A$ one sees immediately that  $C_f\omega=f(t)\omega$.

Abstracting a bit, if $t$ is a scalar, then one defines the "quasi-character" $\chi_t(f):=f(t)$ simply by evaluation. It is Federico's crucial insight that this quasi-character is exactly the necessary device to fuse both the scalars and operators in the theory of characteristic $p$ $L$-series by defining the associated $L$-series $L(\chi_t,s)$ (in the standard fashion). These functions have all the right analytic properties  in the $s$-variable and also have excellent analytic properties in the $t$-variable!

(The reader might have imagined, as I did at first, that the poles $\{\theta^{q^i}\}$ of $\omega(t)$ are too specialized to be associated to something canonical. However, we now see that these poles correspond to the quasi-characters $f(\theta)\mapsto f(\theta^{q^i})=f(\theta)^{q^i}$ and so are completely canonical...)

The introduction of the variable $t$ is, actually, a realization of the notion of "families" of $L$-series. Indeed, if $t$ belongs to the algebraic closure of $\mathbf F_q$, then $\chi_t$ is a character modulo $p(\theta)$, where $p(\theta)$ is the minimal polynomial of $t$.

Theorem: (Pellarin) We have $(t-\theta)\omega(t)L(\chi_t,1)= -\tilde{\xi}\,.$

And so $\omega(t)$ makes its appearance in $L$-series! (One is  also reminded a bit of Euler's famous formula $e^{\pi i}=-1$.) Now let $n$ be a positive integer $\equiv 1$ mod $(q-1)$.

Theorem: (Pellarin) There exists a rational function $\lambda_n\in {\mathbf F}_q(t,\theta)$ such that
$$(t-\theta)\omega(t)L(\chi,n)=\lambda_n \tilde{\xi}^n\,.$$
In "Explicit formulae for $L$-values in finite characteristic" (just uploaded to the arXiv as http://arxiv.org/abs/1207.1753), my student Rudy Perkins gives a simple closed form expression for these $\lambda_n$ as well as all sorts of connections with other interesting objects (such as the Wagner expansion of $\mathbf F_q$-linear functions, recursive formulae for Bernoulli-Carlitz elements, etc.).

So the introduction of $\chi_t$ has opened the door to all sorts of remarkable results. Still, the algebraic closure of $K$ is such a vast thing (with infinitely many extensions of bounded degree etc.), that there may be other surprises we do not yet know. Moreover, we do know that the algebras of measures can be interpreted as hyperdifferential operators on $\mathbf T$. Where are they in the game Federico started?













Thursday, July 5, 2012

Habemus Higgs

Yesterday, the ATLAS and CMS experiments at CERN announced the discovery of a Higgs boson at 125 GeV. Surely, this will become one of the most important discoveries of the century. It also caused quite a few interesting 4th of July parties (for once, with a good justification for the fireworks).

For theoretical physicists, this is as much a good reason of excitement as for the experimentalists. Although a measurement of the Higgs self interaction will only come after the upgrade at 14 TeV of the LHC, the current measurement already suggests interesting questions (for example, there appears to be a deficit in the WW channel of decay, which may be an accident, or an indication of something more interesting).

As it is well known, the noncommutative geometry models of particle physics generally give rise to a heavier Higgs (originally estimated at around 170 GeV, then lowered in more recent versions of the model, but still well above 125 GeV). The usual method, in these models, to obtain estimates on the Higgs, is to impose some boundary conditions at unification energy, dictated by the geometry of the model, and running down the renormalization group equations (RGE). The geometric constraints impose some exclusion curves on the manifold of possible boundary conditions, but do not fix the boundary conditions entirely: in fact, recent work on the NCG models observed a sensitive dependence on the choice of boundary conditions (within the constraints imposed by the geometry). Moreover, the renormalization group flow typically used in these estimates is the one provided by the one-loop beta function of the minimal Standard Model (or in more recent versions, of effective field theories obtained from extensions of the MSM by right handed neutrinos with Majorana mass terms, that is, the RGEs considered in hep-ph/0501272v3), rather than a renormalization group flow directly derived from a quantum field theoretic treatment of the action functional of the NCG model, the spectral action.

Perhaps more interestingly (as what one is after, after all, are extensions of the MSM by new physics), while the original NCG models of particle physics focussed on the MSM, there are now variants that include new particle: a first addition beyond the MSM was a model with right handed neutrinos with Majorana mass terms, which accounts for neutrino mixing and a see-saw mechanism.

More recently, a very promising program for extending the NCG model was developed by Thijs van den Broek and Walter van Suijlekom (arXiv:1003.3788), for versions with supersymmetry. While their first paper on the subject deals only with the QCD sector of the model, they are now well on their way towards including the electroweak sector.

I apologize for the plot spoiler, but given the occasion I think it is worth mentioning: the model that van den Broek and van Suijlekom are currently developing appears to be fairly close to the MSSM, although it is not the MSSM. In particular, the renormalization group equations in their model are going to be different than the equations of MSSM. In particular this means that the "cheap trick" used so far in the NCG models, of importing RGE equations of known particle physics models and running them with boundary conditions imposed by NCG, will not apply to the supersymmetric version and Higgs estimates within this model will involve a genuinely different RGE analysis. It will be interesting to see how the Higgs sector changes in their version of the NCG model, and whether it gives a more realistic picture close to the observed results.

Falsifiability is the most important quality of any scientific theory. Indeed, having explicit experimental data that point out the shortcomings of a theoretical model is the best condition for a serious re-examination of assumptions and techniques used in model building.

Cheers to the LHC, the ATLAS and CMS collaborations, for a great job!



  



Thursday, June 28, 2012

July 4, 2012: All eyes on CERN!


CERN has announced a Scientific  Conference  on July 4th  to be followed by a press conference  immediately after. Rumour  and news been spreading in the  blogsphere,  including here,  that hints to a dramatic, and long awaited, announcement of Higgs'  discovery during this event! Did they eventually get it? Well,  we shall see!

Tuesday, June 12, 2012

The Riemann Hypothesis as a statement about ramification

When I was learning algebraic number theory long ago, it was remarked that one did not know how far the analogy between Archimedean local fields and nonArchimedean ones could be pushed. In particular, one did not know whether one should view the extension ${\mathbf C}/{\mathbf R}$ as being ramified or not. For example, the value groups (of the usual absolute value) of both $\mathbf R$ and $\mathbf C$ are the same, which  is the hallmark of a unramified extension of nonArchimedean local fields....

On the other hand, the theory of the Carlitz module seems to mandate viewing ${\mathbf C}/{\mathbf R$ as being (totally) ramified. Indeed, one obviously has ${\mathbf C}={\mathbf R}(2\pi i)$ where $2\pi i$ is the period of the exponential function $\exp(x)$. Now let $A:={\mathbf F}_q[\theta]$ be the  polynomial ring over the finite field ${\mathbf F}_q$ with $q$ elements.The usual dictionary has $A$ being the analog of $\mathbf Z$ and $K={\mathbf F}_q((1/\theta))$ being the analog of $\mathbf R$. And associated to A one has the Carltiz  exponential $\exp_C(x)$ which plays a role extremely similar to the one played by $\exp(x)$ in classical arithmetic. The function $\exp_C(x)$ too has a period which we denote $\tilde{\xi}$ and we define $K_1:=K(\tilde \xi)$.

The key point is simply that $K_1/K$ is a totally ramified abelian extension, with Galois group
isomorphic to $A^\ast$ (just as the the Galois group of ${\mathbf C}/{\mathbf R}$ is isomorphic to
$\mathbf Z^\ast$). So let's agree to view ${\mathbf C}/{\mathbf R}$ as totally ramified also.

Now let $\Xi(s):=1/2 \pi^{-s/2}s(s-1) \Gamma(s/2)\zeta(s)$ be the usual completion of the Riemann
zeta function $\zeta(s)$ obtained by multiplying it with the Euler factor at infinity. Of course everybody knows that $\Xi(s)=\Xi(1-s)$ and that the Riemann Hypothesis is the statement that all the zeroes of $\Xi(s)$ have real part equal to $1/2$. Following Riemann, we put $s=1/2+it$ and $\tilde{\Xi}(t):=\Xi(s)$, so that the RH  becomes the statement that the zeroes of $\tilde{\Xi}(t)$ are real. Or, following the above discussion, the RH is the statement that the zeroes of $\tilde{\Xi}(t)$ are unramified.

So far this is simply definitional.  However, viewing the zeroes as being unramified has very serious explanatory power in finite characteristic. Indeed, in the mid 1990's Daqing Wan, B.\ Poonen, D.\ Thakur and Jeff Sheats, showed that the zeroes of the characteristic $p$ zeta function lie in $K$ (and are also simple!). However, it was very confusing to come up with a statement that would be something like a Generalized Riemann Hypothesis. Indeed, the fact that we are using nonArchimedean analysis forces the existence in general of  zeroes not lying in $K$. But, using the above restatement of the classical RH, I recently realized that the best one could hope for in terms of generalizing Wan/Poonen/Thakur/Sheats is that the zeroes are always unramified and that this fits with classical theory too!

I just put a small note on the arXiv, http://arxiv.org/abs/1206.2040, discussing all this in a bit more
detail.

Saturday, June 9, 2012

SAD NEWS

It is with profound sadness that we learn about the sudden death of Jean Louis Loday
who fell by accident off his sailing boat on June 6th. We loose an outstanding mathematician
with so many great achievements and a wonderful friend of many years.

Thursday, May 3, 2012

Interactions Between Ergodic Theory, Number Theory and Noncommutative Geometry, Ohio State University

The Department of Mathematics at the Ohio State University, in conjunction with the Mathematics Research Institute, is  running a program during the 2011-2012 academic year entitled Interactions Between Ergodic Theory, Number Theory and Noncommutative Geometry. The first workshop entitled      Dynamics on Homogeneous Spaces and Number Theory  was held on September 12-16, 2011.




A second workshop on  Noncommutative Geometry: Multiple Connections will start next week and will go on during May 7-18, 2012. 


Monday, February 27, 2012

"Mathematics is a novel about nature and humankind"


A moving and very inspiring long video interview with Yuri Manin is now available in the series "Oral History Project" of the Simons Foundation: here's the link.


Tuesday, February 21, 2012

Galois

This is just a very short post for those interested in a basic talk about Galois, his relations with the French mathematicians of his time, and a general introduction to the "theory of ambiguity". The talk is in French, available at http://www.alainconnes.org/fr/links.php
Do not forget to click on the "HD" symbol on the screen to get a better quality of video..

Friday, February 10, 2012

A new book: Noncommutative geometry, arithmetic, and related topics


Proceedings of the JAMI 2009 meeting on ``Noncommutative geometry, arithmetic, and related topics" Just published by Johns Hopkins University Press is available in the market now.
Happy reading!