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
Diagrammatic and geometric categorification June 21, 2011Posted by Ben Webster in Algebraic Geometry, categorification.
In some previous posts, I’ve written about the relationship between categorification and geometry. I’m banging on this because I think it’s an underappreciated point, especially because a lot of people right now are coming at categorification with a background in topology and higher algebra, and thus aren’t as familiar with the geometric and representation theoretic techniques that actually underlie a lot of, say, what I do.
In particular, a lot of people (myself among them) are very excited about the categorification of quantum groups at the moment and there are two different ways of approaching said categorification:
- You can write down a bunch of algebras and categories in terms of generators and relations. This is the approach used in the work of Chuang and Rouquier and of Khovanov and Lauda. It has a lot of advantages: there are lots of parameters one can tweak (which of course, leads to the issue of different authors tweaking them differently), it’s very generally applicable, and it doesn’t really require any machinery one doesn’t acquire in a graduate algebra class, aside from a little terminology.
- You can take a geometric approach and work with varieties of quiver representations. This work was pioneered by Lusztig, though it has seen some very interesting developments in recent years in the work of Zheng and Li. This approach requires some very deep technology, involving perverse sheaves, etc. and is less flexible (in particular, it’s still not properly understood how to extend it to the case of non-symmetric Cartan matrix). On the other hand, geometry gives us powerful tools to show that things that are supposed to be non-zero or positive really are. In particular, certain properties of canonical bases require some quite deep geometric theorems.
The point I want to make in this post is that these approaches are the same. (more…)
My course begins January 7, 2011Posted by David Speyer in Algebraic Geometry, teaching.
The mathematical content of my opening lecture is something I have often considered as a blog topic: Seven ways of computing the cohomology of . I think a lot of you will like it.
I am going to have my students take turns preparing electronic notes, which I will edit and post on the course website. Come read along!
Notes to date:
Sheaf cohomology II, de Rham cohomology
Complex differential forms
Cohomology Vanishes on Polydiscs
deRham computation of topological cohomology of affine varieties — preview
Passage from compact Lie groups to complex reductive groups November 25, 2010Posted by Joel Kamnitzer in Algebraic Geometry, representation theory, things I don't understand.
Once again, I’m preparing to teach a class and needing some advice concerning an important point. I’m teaching a course of representation theory as a followup to an excellent course on compact Lie groups, taught this semester by Eckhard Meinrenken. In my class, I would like to explain transition from compact Lie groups to complex reductive groups, as a first step towards the Borel-Weil theorem.
A priori, compact connected Lie groups and complex reductive groups, seem to have little in common and live in different worlds. However, there is a 1-1 correspondence between these objects — for example and are related by this correspondence. Surprisingly, it is not that easy to realize this correspondence.
Let us imagine that we start with a compact connected Lie group and want to find the corresponding complex algebraic group . I will call this process complexification.
One approach to complexification is to first show that is in fact the real points of a real reductive algebraic group. For any particular this is obvious — for example is described by the equation . But one might wonder how to prove this without invoking the classification of compact Lie groups. I believe that one way to do this is to consider the category of smooth finite-dimensional representation of the group and then applying a Tannakian reconstruction to produce an algebraic group. This is a pretty argument, but perhaps not the best one to explain in a first course. A slightly more explicit version would be to simply define to be where ranges over the irreducible complex representations of (the Hopf algebra structure here is slightly subtle).
In fact, not only is every compact Lie group real algebraic, but every smooth map of compact Lie groups is actually algebraic. So the
the category of compact Lie groups embeds into the category of real algebraic groups. For a precise statement along these lines, see this very well written
MO answer by BCnrd.
A different approach to complexification is pursued in
Allen Knutson’s notes and in Sepanski’s book. Here the complexification of is defined to be any such that there is an embedding , such that on Lie algebras . (Actually, this is Knutson’s definition, in Sepanski’s definition we first embed into .) This definition is more hands-on, but it is not very obvious why such is unique, without some structural theorems describing the different groups with Lie algebra .
At the moment, I don’t have any definite opinion on which approach is more mathematically/pedagogically sound. I just wanted to point out something which I have accepted all my mathematical life, but which is still somewhat mysterious to me. Can anyone suggest any more a priori reasons for complexification?
Some questions about motives June 13, 2010Posted by David Speyer in Algebraic Geometry.
As I tried to read up on motives in preparation for my last post, I thought of some questions that seemed natural to me, but weren’t addressed in the sources I was reading. So here they are, in the hope that experts will find them obvious. One set of questions concerns motives for nonproper varieties, the other concerns higher categorification.
Motive-ating the Weil Conjecture Proof June 10, 2010Posted by David Speyer in Algebraic Geometry, Category Theory.
This post concludes a series of posts I’ve been writing on the attempt to prove the Weil Conjectures through the Standard Conjectures. (Parts 1, 2, 3, 4, 5.) In this post, I want to explain the idea of the category of motives. In the modern formulation of algebraic topology, cohomology theories are functors from some category of spaces to the category of abelian groups. The category of motives is meant to be a universal category through which any such functor should factor, when the source space is the category of algebraic varieties. At least in the early days of the subject, the gold test of this theory was the question of whether the Weil Conjectures could be proved entirely in this universal setting. Nowadays, this question is still open, but the use of motives has grown. To my limited understanding, this growth has two reasons: among number theorists, it has become clear that motivic language is an excellent way to formulate results on Galois representation theory; among birational geometers and string theorists, many applications have been found for motivic integration. There will be a bunch of category theory in this post, which I hope will make it more attractive to the tensor category crowd.
I am much less comfortable with this topic than the other posts in this series; my understanding doesn’t go much further than Milne’s survey article. So I’m going to make this post a pretty short introduction to the main ideas. That will be the end of my expository posts; I also want to write one more post raising some questions about motives that seem natural to me.
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.
Equivariant cohomology wiki April 26, 2010Posted by David Speyer in Algebraic Geometry, blog triumphalism.
A few weeks ago, I went to a superb conference at AIM on Localization Techniques in Equivariant Cohomology. A frequent topic at that workshop was the lack of good surveys and references. Results from the 70s were being rediscovered, and no one knew where to start reading.
As a partial solution, the conference organizers have set up a wiki. There is a list of references, particularly on Schubert calculus and related problems, and of open problems. They are keeping editing restricted to selected users, but I imagine many of our readers would make excellent editors. Please take a look and, if you have anything to add, e-mail Rebecca Goldin or Julianna Tymoczko to become an editor.