Workshop at ICTP June 2012

April 18, 2012

I am co-organizing a two-week activity this June at ICTP. The general theme of the school is that of computational algebra and number theory. The second week the school will include a more specific AIM workshop on hypergeometric motives. This workshop is a natural continuation of that in Benasque in 2009. I will be posting in this blog some comments on the matter. We will have a more formal site to organize the activities of the workshop shortly.

One of the main goals of the AIM workshop is to be able to explicitly compute the L-function of hypergeometric motives. This means computing numerically enough of the ingredients of the L-function in detail so as to, for example, check that it satisfies the expected functional equation. In fact, testing the functional equation is a good way to find a few of the ingredients, say the conductor, that might be missing. Once we have a large computable set of higher degree L-functions (i.e., with Euler factors of degree bigger than two say) we can begin exploring numerically various conjectures about their zeros, special values, etc.

So, what is a hypergeometric motive? The best place to start is the Legendre family of elliptic curves

E_t: y^2=x(x-1)(x-t),

Deuring computed the number of points of this family over the finite field \mathbb F_p and showed that modulo p is given in terms of the polynomial

(-1)^{(p-1)/2}\sum_{n=0}^{(p-1)/2} \binom{2n}{n}^2t^n.

Igusa later pointed out that this polynomial satisfies the same hypergeometric differential equation as a period of E_t over the complex numbers.

On one hand we have for t \in \mathbb Q a two dimensional vector space H^1(E_t,\mathbb Q_l) with an action of Galois and on the other the two dimensional space of solutions to the hypergeometric differential equation. These are two incarnations of an abstract object: a “motive”.

Now the point is that we can start with *any* hypergeometric equation with appropriate parameters and it will yield a family of motives parameterized by t. (Because we have a rigid system the hypergeometric equation is determined by very simple discrete data; in other words, there is no moduli.) For each rational value of t we get an associated L-function. These are what we want to be able to calculate.

The key fact is that though it is not entirely clear how to describe the motive (for example, how do we come up with the Legendre family of elliptic curves starting from the differential equation?) this description is not strictly necessary! Indeed, there is a formula like that of Deuring’s above that gives the trace of Frobenius on the motive. This finite field analogue of the hypergeometic series (due to N. Katz) is quite computable and it actually gives the trace as a p-adic number and not just modulo p. With this we can compute the Euler factors of our L-series at least for all but finitely many primes p up to some bound.

The challenge that remains is how to compute the rest of the data of the L-function. Namely, i) the Euler factors for the remaining primes, ii) the Gamma factors, iii) the conductor and iv) the sign of the functional equation.

To complete this program some further description of the motive would in fact be helpful. But there isn’t necessarily a unique or canonical way to exhibit the motive. Different ways of presenting it bring their own advantages. To my mind a motive is somewhat like what genes are in biology. The same gene can appear in the DNA of very different life forms.

An example we worked out with Henri Cohen is a good illustration of this point. The motive has weight zero and corresponds to a Galois extension of L/\mathbb Q(t) with Galois group the Weyl group of F_4 of order 1152. The L-function of the motive is the Artin L-function attached to the reflection representation (of dimension 4). As it turned out the motive also sits naturally in H^2 of an affine cubic surface S with an Eckardt point. This surface has 24 lines that are permuted by the Galois group. This description gives us an explicit degree 24 extension K/\mathbb Q(t) with Galois closure L/\mathbb Q (t). From here it is not too hard to give the associated Artin L-function directly.

Advertisements

Benasque

July 25, 2007

While I wait for my brain strings to settle after a long summer shuttling about I make a quick core dump before it’s all gone.

I spent two weeks in Benasque, Spain for the workshop P-adic analysis, Periods and Physics . We ended up being a very small group of participants, unfortunate in a way but the result was a very charming workshop. And what a place! Benasque is in a valley in the Spanish Pyrenees not far from the border with France, a small mountain town where you walk everywhere, surrounded by amazing mountains full of unbelievably beautiful hikes. String theorist have been coming here every two years for quite a while. We should have some more math workshops in Benasque!

I’m becoming somewhat obsessed with technology and how it’s changing our daily life in ways we hardly have time to think about, let alone understand. I grew up in Argentina at a time when phones were a luxury; apartments had them or not. Here I was in Benasque sitting under a tree facing a soccer field and some towering green mountains, talking to my brother in Argentina on Skype through a wireless connection to my laptop; it was right about 3pm, before the Benasque kids came out of their siesta to play and my brother had to take his kids to school.

Since writing the post on communicating mathematics today I became more and more convinced that we, the mathematics community, are not exploiting the available technology as much as we could.

Talking about this in Benasque my friend Maria mentioned Moodle a open source management system for courses. It is now installed at UT and I will give it a try for my graduate class this Fall. It looks really well done, with lots of customizing possible: forums, chats, blogs, quizzes, you name it.

I plan to use its “workshop” assignment module, which allows students to grade anonymously a number of other students homework. My goal is to give students the chance to read and assess somebody else’s mathematics and write a report about it. It is after all what we working mathematicians spend quite a bit of our time doing. Hopefully the anonymous feature will also give them a flavor of the referee system for publishing papers (without unleashing too much of the nasty sadism that this can involve). I am all in favor of assigned work for graduate classes in any case. To paraphrase a rock fashion designer: “If your pants don’t hurt it ain’t rock and roll”.

Of course technology can be a mirage too. In a memorable story John Tate was once asked how he dealt with papers when he was a graduate student, an era without photocopying machines. John, without missing a bit, answered: “We read the papers”.

On the other hand, as Philip Candelas remarked, it is likely that at the time one could be on top of pretty much everything being published in a given topic.

I’ve been looking around for some open source software to manage conferences, seminars, lectures, etc. Found some things but they’re not quite it yet. Any recommendations?

Finally, a shameless plug. My book “Experimental Number Theory” has finally appeared, published by Oxford University Press. It contains many computer scripts for the wonderful Number Theory package PARI-GP on hopefully interesting mathematics. It was a lot of fun to write and I learned a great deal in the process. In particular, I encountered my currently favorite elementary math problem (due to D. Knuth): A certain baseball player has a batting average of .334. At least how many times did he bat? (No, is not 3.)

The solution goes back to an algorithm of Gosper included in Hakmem , the remarkable Hacker’s memorandum of the early 70’s.

Of course, you can also check my book…