The Picard scheme of an abelian variety

Let be an algebraically closed field, and a projective variety over . In the previous two posts, we’ve defined the Picard scheme , stated (without proof) the theorem of Grothendieck giving conditions under which it exists, and discussed the infinitesimal structure of (or equivalently of the connected component at the origin).

We saw in particular that the tangent space to the Picard scheme could be computed via

by studying deformations of a line bundle over the dual numbers. In particular, in characteristic zero, a simply connected smooth variety has trivial . To get interesting ‘s, we should be looking for non-simply connected varieties: abelian varieties are a natural example.

Let be an abelian variety over . The goal in this post is to describe , which we’ll call the dual abelian variety (we’ll see that it is in fact smooth). We’ll in particular identify the line bundles that it parametrizes. Most of this material is from David Mumford’s Abelian varieties and Alexander Polischuk’s Abelian varieties, theta functions, and the Fourier transform. I also learned some of it from a class that Xinwen Zhu taught last spring; my (fairly incomplete) notes from that class are here. 

 

A toy analog of the Sullivan conjecture

In this post, I’d like to describe a toy analog of the Sullivan conjecture. Recall that the Sullivan conjecture considers (pointed) maps from into a finite complex, and states that the space of such is contractible if is finite. The stable version replaces with the Eilenberg-MacLane spectrum:

 

Theorem 13 Let be the Eilenberg-MacLane spectrum. Then the mapping spectrum

is contractible. In particular, for any finite spectrum , the graded group of maps .

 

In the previous post, I sketched a proof (from Ravenel’s “Localization” paper) of this result based on a little chromatic technology. The spectrum is dissonant: that is, the Morava -theories don’t see it. However, any finite spectrum is harmonic: that is, local with respect to the wedge of Morava -theories. It follows formally that the spectrum of maps is contractible (and thus the same with replaced by any finite spectrum). The non-formal input was the fact that is in fact harmonic, which requires a little work.

In this post, I’d like to sketch an earlier proof of the above theorem. This proof is based on the Adams spectral sequence. In fact, the proof runs parallel to Miller’s proof of the Sullivan conjecture. There is a classical Adams spectral sequence for computing , with page given by

with the (mod ) Steenrod algebra.

It turns out, however, for purely algebraic reasons, that the term is trivial. Miller’s proof of the Sullivan conjecture relies on more complicated algebra to show that the unstable version of all this has the same vanishing property at . Most of this material is from Margolis’s Spectra and the Steenrod algebra.

 

Oriented cobordism II: comodule structure theorems

The next goal of this series of posts (started here) is to analyze the oriented cobordism spectrum at the prime 2; the main result is that there is a splitting of into a direct sum of copies of (the torsion-free part) and (the torsion-part). In particular, it will follow that there is only torsion of order two in the cobordism ring — since we showed last time that there was no odd torsion. We will see this using the Adams spectral sequence at the prime , once we’ve figured out what looks like as a comodule over the dual Steenrod algebra. This, however, is apparently somewhat tricky to do directly.

In order to get there, we’ll need a bit of algebraic machinery (which we state in a dual context). Recall that a graded vector space is called connected if is one-dimensional and for . The next result provides a sufficient criterion for a module over a graded, connected Hopf algebra to be free.

Theorem 5 (Milnor-Moore) Let be a connected, graded Hopf algebra over a field , and let be a graded, connected -module which is simultaneously a coalgebra (in such a way that is an -homomorphism). Let be a generator, and suppose the map of -modules

is a monomorphism. Then is a free graded -module.

This is a pretty surprising result, as a relatively minor hypothesis (coalgebra, and the action on is free) leads to freeness of the whole thing. The idea of the proof is going to be to produce generators of by lifting a vector space basis of . The fact that these generators are forced to be linearly independent is an unexpected consequence of the coalgebra structure; the graded connectedness will be used to make certain inductive arguments.

 

Formal Lie theory in characteristic zero

Let be a field of characteristic zero. The intuition is that in this case, a Lie algebra is the same data as a “germ” of a Lie group, or of an algebraic group. This is made precise in the following:

Theorem 1 There is an equivalence of categories between:

1. Cocommutative Hopf algebras over which are generated by a finite number of primitive elements.
2. Finite-dimensional Lie algebras.
3. Infinitesimal formal group schemes over (with finite-dimensional tangent space), i.e. those which are thickenings of one point.
4. Formal group laws (in many variables).

The result about Hopf algebras is a classical result of Milnor and Moore (of which there is a general version applying in characteristic ); the purpose of this post is (mostly) to describe how it follows from general nonsense about group schemes.