ABC conjecture rumor June 12, 2012Posted by Scott Carnahan in Algebraic Geometry, Number theory.
Apparently, he had predicted some years ago that he would finish a proof in 2012, so I suppose this is an “on-time delivery”. It is certainly no secret that his research program has been aiming at the conjecture for several years.
Our very own Noah Snyder did some original work on the function field version of this conjecture, when he was a high-school student.
Update (Sept 4, 2012): This rumor seems to be true! You can find the four “Inter-universal Teichmuller Theory” papers on the very bottom of his papers page.
Fun with y^2=x^p-x May 3, 2012Posted by David Speyer in Algebraic Geometry, characteristic p, Number theory.
Here’s a basic example that comes up if you work with elliptic curves: Let be a prime which is . Let be the elliptic curve over a field of characteristic . Then has an endomorphism . It turns out that, in the group law on , we have . That is to say, plus copies of is trivial.
I remember when I learned this trying to check it by hand, and being astonished at how out of reach the computation was. There are nice proofs using higher theory, but shouldn’t you just be able to write down an equation which had a pole at and vanished to order at ?
There is a nice way to check the prime by hand. I’ll use for equivalence in the group law of . Remember that the group law on has and has whenever , and are collinear.
We first show that
Proof of : We want to show that , and add up to zero in the group law of . In other words, we want to show that these points are collinear. We just check:
as desired. .
Use of : Let be a point on . Applying twice, we get
Now, the horizontal line crosses at three points: , and . (Of course, , since we are in characteristic three.) So and we have
as desired. .
I was reminded of this last year when Jared Weinstein visited Michigan and told me a stronger statement: In the Jacobian of , we have , where is once again the automorphism .
Let me first note why this is related to the discussion of the elliptic curve above. (Please don’t run away just because that sentence contained the word Jacobian! It’s really a very concrete thing. I’ll explain more below.) Letting be the curve , and letting be , we have a map sending , and this map commutes with . I’m going to gloss over why checking on will also check it on , because I want to get on to playing with the curve , but it does.
So, after talking to Jared, I was really curious why acted so nicely on the Jacobian of . There are some nice conceptual proofs but, again, I wanted to actually see it. Now I do.
Rationality of the zeta function mod p December 12, 2011Posted by David Speyer in Algebraic Geometry, characteristic p, Number theory.
Here’s a neat argument about counting points that you could present at the end of a second course in number theory. I’m sure it’s not original, but, hey, that’s what blogs are for!
Let be a smooth hypersurface in , over the field with elements. The Weil conjectures are conjectures about the number of points of over . Specifically, they say that there should be some matrix such that
and that the eigenvalues of should be algebraic integers of norm .
Here I am using the Lefschetz hyperplane theorem to know what is for .
This is, of course, a famously hard theorem. The claim about the eigenvalues is the hardest part, but simply the existence of a matrix for which this formula holds is already quite hard; the first proof was due to Dwork.
What I am going to show you is that there is a much easier proof of the above formula modulo ; a proof of the sort that could be appear in Ireland and Rosen. Many of the terms above disappear mod , so our goal is just to show that there is some matrix such that
Farey fractions, Ford circles, and SL_2. October 18, 2011Posted by Scott Carnahan in group theory, Number theory.
The topic of this post came up during a conversation with some physicists about the fractional quantum Hall effect (which is quite fascinating, but I don’t feel particularly qualified to discuss). I have decided to set it down here in the hope that, as long as I have an internet-capable device with me, I won’t have to rederive it in front of people again. Some of this material appears in Apostol’s Modular functions and Dirichlet series in number theory and Conway’s The sensual form. I’d be happy to hear about other good treatments.
The Brauer Groupoid August 11, 2010Posted by Noah Snyder in fusion categories, groupoids, Number theory, quantum algebra.
Recall that the Brauer group of a field k consists of central simple algebras over k up to Morita equivalence with the group operation given by tensor product. For example, the Brauer group of the real numbers is Z/2 because the only central simple algebras are matrix algebras over or matrix algebras over the quaternions , and . It is a well-known and fundamental fact that the Brauer group is isomorphic to the second Galois cohomology where is the seperable closure of k.
What I’d like to explain in this post is a follow-your-nose proof of this isomorphism which comes from thinking about fusion categories. Namely, attached to any fusion category there is a very natural object called Brauer-Picard groupoid (introduced by Etingof-Nikshych-Ostrik). For the special case of the fusion category of vector spaces over k the Brauer-Picard groupoid has a point for every seperable extension of k and the group of automorphisms of the point k gives exactly the Brauer group. However, one can also look at the group of automorphisms of other points, in particular the point . The group of automorphisms of that point is instead naturally isomorphic to the Galois cohomology . Since the groupoid is connected we see that the Brauer group coincides with the Galois cohomology. In fact, there’s a natural choice of arrow from to and so a natural choice of isomorphism between the two groups.
This example came up in work in progress with Pinhas Grossman where we compute the Brauer-Picard groupoid of the fusion categories which come from the Haagerup subfactor. As we’ll see the automorphism group of a point in the Brauer-Picard groupoid has a subgroup consisting of certain “outer automorphisms.” I wanted to have a good example in hand where the outer automorphism group of different points were different in order to test certain lemmas. The example in this post is as extreme as things can get, for there are no nontrivial outer automorphisms, while for the whole group consists of outer automorphisms.
Divergent sums and the class number formula May 28, 2010Posted by David Speyer in Number theory.
Over on MathOverflow, we’ve had a bunch of discussions about the class number formula. In particular, Keith Conrad pointed out a paper of Orde which gives a beautiful nonsense proof of the class number formula. This post is my attempt to understand why Orde’s argument works. Specifically, I am going to use an idea which I learned from Terry Tao’s blog: Arguments about divergent sums are often really arguments about the constant term in asymptotic expressions for smoothed sums.
This post assumes familiarity with the concepts and notations of a first course in algebraic number theory.
Lattices and their invariants May 14, 2010Posted by Scott Carnahan in linear algebra, Number theory.
1 comment so far
This post started out as an exposition on the monster Lie algebra, but it grew out of control, so I’m hacking off a chunk. Here, I’ll describe the basics of integer lattices.
Lattices show up in many mathematical contexts, some of which may be unexpected to the uninitiated. These contexts include the study of optimal periodic sphere-packings, the topology of 4-manifolds (where lattices give a full classification in the simply connected case), algebraic number theory, finite group theory, and theoretical high-energy physics. I will say almost nothing about these applications, though.
The aim of this post is to outline a strategy for proving the Weil conjectures, proposed by Grothendieck and others. This strategy is incomplete; at various stages, we will need to assume conjectures which are still open today.
Our aim is to prove:
Let be a smooth projective variety, over a field of any characteristic. Let be a “reasonable” cohomology theory. Let be the hyperplane class for a projective embedding of . Let be an automorphism of , such that . Then the eigenvalues of are algebraic numbers and, when interpreted as elements of , have norm .
In previous posts, we gave for a proof in characteristic zero and a proof in the case that is a curve. I also explained why I need to say how I am embedding these eigenvalues into . Our proof requires all the ideas of these previous posts, plus some new ones.
1 comment so far
Frank Calegari, Scott Morrison, and I recently uploaded to the arxiv our paper Cyclotomic integers, fusion categories, and subfactors. In this paper we give two applications of cyclotomic number theory to quantum algebra.
- A complete list of possible Frobenius-Perron dimensions in the interval (2, 76/33) for an object in a fusion category.
- Given a family of graphs G_n obtained from a graph G by attaching a chain of n edges to a chosen vertex, an effective bound on the greatest n so that G_n can be the principal graph of a subfactor.
Neither of these results look like they involve number theory. The connection comes from a result of Etingof, Nikshych, and Ostrik which says that the dimension of every object in a fusion category is a cyclotomic integer.
A possible subtitle to this paper is
What’s so special about ?
Christol’s theorem and the Cartier operator February 11, 2010Posted by David Speyer in Algebraic Geometry, characteristic p, Number theory.
Let’s suppose that we want to compute , and we have already been given written out in base as . Here is a small prime and we want to do this conversation repeatedly for many ‘s.
Remember that and thus . So, start with , multiply it by , then by , then by and so forth. When you get to the end, read off .
We can precompute the effect on of multiplying by , for . Then we can compute just by scanning across the base representation of and applying these precomputed maps to the finite set .
The precise way to say that this is a simple, one-pass, process is that it is a computation which can be done by a finite-state automaton. Here is the definition: let , and be finite sets (input, states and output), and (the start). For each , let be a map . We also have a map (readout). Given a string in , we compute . So our input is a string of characters from , and our output is in .
We can say that our example above shows that is computable by a finite-state automaton. (In our example, the sets , and all have cardinality , but I do not want to identify them.)
This is a special case of an amazing result of Christol et al: Let be a sequence of elements of . Then can be computed by a finite-state automaton if and only if the generating function is algebraic over !
We have just explained the case . The reader might enjoy working out the cases (the Fibonacci numbers) and (the Catalans).
In this post, I will use Christol’s theorem as an excuse to promote the Cartier operator, an amazing tool for working with differential forms in characteristic .