Recent Posts
(Archives, Feed)
On L-functions and algebraic K-theory

Hi all! In this post, I’ll attempt to make some progress towards demystifying the relationship between L-functions and algebraic K-theory, with reference to a very simple example. I’ll say something about L-functions a little lower down, but the only thing I’ll say about K-theory in general is that it’s a way to get a spectrum from, say, a scheme.

The deep connection between these two objects is supposed to be exemplified by the following very approximate and possibly incorrect statement.

Ur-conjecture. [Lichtenbaum, Bloch-Kato, Beilinson, Scholbach…] Let be a geometric object, probably a scheme of a particular kind, and let be the zeta function associated to . Then for a sufficiently large positive integer,

where is some factor. Obviously this is completely meaningless until you know what is, but people do have expressions for it (a relevant buzzword here is “Borel regulator”), about which I’ll say no more. The point is that there are formulae for values of L-functions at integers (and I’m sorry, but I’ll use “L-function” and “zeta function” interchangeably) involving torsion orders of K-groups.

A conjecture of this form has been proven for the ring of integers of a totally real abelian field by piling Iwasawa theory and other manoeuverings onto the cases of the Quillen-Lichtenbaum conjecture proven by Voevodsky. It’s a humongous proof. In general, these conjectures are wide open and should be regarded with reverence.

L-functions

Before I really get going, though, I’m going to say a word about L-functions, which by convention are meromorphic functions on with certain properties. I’m going to list these salient properties in bold, and illustrate them using the historically first L-function, which is of course the Riemann zeta . We’ll later find that each of these properties has a purely homotopy-theoretic analogue on the K-theory spectrum.

Dirichlet series. To an L-function is associated a Dirichlet series expansion

with . has for all .

Abscissa of convergence. There is some , called the abscissa of convergence, such that the Dirichlet series converges to for . The abscissa of convergence of is 1.

Euler product expansion. There is an infinite product, typically over closed points of a scheme, of nice simple functions that also converges to on some respectable proportion of . The Euler product expansion of is

Analytic continuation. This is implicit in the fact that I said an L-function was a meromorphic function on in the first place, but if you take the more practical view that an L-function is defined by its Dirichlet series or Euler product, there’s some content here, and analytic continuation statements are usually hard to prove.

Functional equation. An L-function has a (possibly twisted) reflective symmetry: there is some real number , frequently equal to the abscissa of convergence, such that

For the Riemann zeta, we have (lifted from Wikipedia) and

This just comes from the Archimedean L-factor (we’ll say nothing about that here) but there can be other things too. Analytic continuation and functional equation are usually proved together.

You probably expect to be able to formulate a Riemann hypothesis for a general L-function, too, but we won’t get into that here.

The simplest L-function

I said the Riemann zeta was the historically first L-function, but it’s not the simplest. The simplest is the zeta function of a finite field , which is a single Euler factor:

The number theorists probably use different notation for this, but I am a carefree rogue who does as he wills.

is manifestly meromorphic; it is its own Euler product; its Dirichlet series is given by expanding the above expression as a geometric series, with abscissa of convergence ; and its functional equation is

This is the only example of an L-function which one can comfortably manipulate with one’s hands without substantial analytic ingenuity. It’s this basic example that we’ll spend much of the rest of this blog post studying.

The K-theory of a finite field

In a 1972 paper, Quillen proved one of my all-time favourite theorems by describing the homotopy type of the K-theory spectrum of a finite field.

Theorem. [Quillen] The connected component of the -space of the K-theory spectrum of fits into a fibre sequence

where is the th Adams operation.

This is the only example of a (global) K-theory spectrum which one can comfortably manipulate with one’s hands without substantial topological ingenuity. By Bott periodicity, we know the homotopy groups of BU:

We also know that acts by multiplication by on . That means we can read off the positive-degree homotopy groups of :

Motivated by the ur-conjecture stated above, let’s define a function by

Suppose, as if possessed by a ghost, you wrote this function down without ever having heard of an L-function. You would still notice that

is the restriction to of an obvious complex-analytic function: . This is the easiest case of the conjecture.

Now what of the values of at negative integers? We might hope that they have something to do with the negative homotopy groups of , which is, after all, a spectrum. But as things stand, these negative homotopy groups are zero. This rift is signaling that the arithmetic incarnation of the bare K-theory spectrum is not the L-function; rather, it’s the Dirichlet series of the L-function, or the part of the L-function to the right of the abscissa of convergence. The topological object that we should really associate to the full L-function is the K(1)-localisation of the K-theory spectrum. To do this, we need to fix an ambient prime , and let’s make sure it’s different from the characteristic of .

The K(1)-localisation of the K-theory of a finite field

I’m going to self-consciously write out all s in full. It’ll take up space, but hopefully it’ll aid clarity of notation.

Here’s a slight variant of Quillen’s calculation; if you like, it arises by applying the Bousfield-Kuhn functor to the statement of Quillen’s theorem above.

Proposition. The K(1)-localised K-theory spectrum fits into a fibre sequence

Thus the homotopy groups of , positive and negative, are given by

Until further notice, when we talk about the “value” of an L-function at a point, we’ll mean up to multiplication by a rational number which is a p-adic unit. With this caveat, we now have the identity

for all , except at , where things are untidy because has a pole and both homotopy groups in the formula are infinite, and a regulator gets involved. That’s nice.

We need to make a couple more observations about the homotopy groups of the localised K-theory spectrum.

First, the natural map

is an equivalence in degrees greater than . (It’s also an equivalence in degree , but I’d like to propose that we regard that as an accident.) This is the very same that occurs as the abscissa of convergence of , and it also shows up as the étale cohomological dimension of minus 1 - a number I’d like to refer to as the Quillen-Lichtenbaum constant of .

Second, the functional equation for is reflected in the homotopy groups of as follows. For any integer , the -adic valuation of is the same as that of . Thus for any odd integer , we have an isomorphism

Can this apparent duality be given a topological explanation?

Gross-Hopkins and Spanier-Whitehead duality

We’re going to do this by invoking a total of four or five different dualities, one of which is deep and will be totally blackboxed, so get ready.

Let’s start tackling this by rearranging the above isomorphism slightly. Both of the groups there arise as quotients of , so they come with a choice of generator: the image of . That means that either group can be identified with its Pontryagin dual, so let’s do it on the left:

There, now it looks more like a sensible duality. And the Pontryagin dual in there is a strong hint that Brown-Comenetz duality is involved. Briefly, the Brown-Comenetz dualising spectrum is a spectrum defined by the natural isomorphism

for spectra . To save pixels, we’ll write for . Now our isomorphism reads

But height 1 Gross-Hopkins duality states that for a K(1)-local spectrum E,

Here is the first monochromatic slice functor, which for a K(1)-local spectrum is just the fibre of the map to its rationalisation. isn’t doing anything too destructive here, so let’s omit it for now and figure out its role in a moment. We’ve arrived at

at least for odd . So we’d be home if were to be K(1)-locally Spanier-Whitehead self-dual. And it is! I learned this in Dustin Clausen’s thesis defence, but one can prove it by showing that

exhibits as K(1)-locally self-dual up to a shift of 1, compatibly with Adams operations, and plugging this into the fiber sequence for . And thus the duality is explained.

Let’s circle back for a moment and say a quick word about the role of the monochromatic slice functor . Since doesn’t have many torsion-free homotopy groups, the only effect of is to convert the s in degrees and into s in degrees and . But that was exactly what was needed to get the original duality statement to work in those degrees, once we put in the Pontryagin dual. Thus the duality is not merely explained but embellished with a pristine little bow.

The dictionary, and some questions

As promised, we’ve given homotopy-theoretic interpretations of (almost) all the fundamental analytic properties of L-functions. Here’s a table to summarise:

Analysis   Topology
     
L-function   K(1)-localised K-theory spectrum
Dirichlet series   Bare K-theory spectrum
Abscissa of convergence   Quillen-Lichtenbaum constant
Euler product   ?? (But see below)
Analytic continuation   K(1)-localisation
Functional equation   Gross-Hopkins + Spanier-Whitehead duality

(I apologise for the poor formatting - I’m not used to Markdown, and the latex support doesn’t seem to run to table environments).

Some questions I don’t know how to answer at this point:

  • Let X be a Dedekind domain, L its field of fractions, and the residue field at a closed point . Then there’s a cofiber sequence

The left-hand arrow looks an awful lot like it’s trying to express K(X) as an Euler product over x of K(k(x)), but I don’t know how to make that precise. K(L) is a nuisance.

  • Now let X be a smooth proper variety over . There’s a spectral sequence with term given by étale cohomology of X with suitably Tate-twisted coefficients which abuts to the K(1)-local K-theory of X. Can we use this to relate the formula for the zeta function of X in terms of the characteristic polynomial of Frobenius on étale cohomology to a K-theoretic description of the special values?

  • What’s the analogue of for an archimedean L-factor? This might be related to work of Connes and Consani on cyclic homology with adelic coefficients.

p-adic L-functions

This section is tangential to the rest of the post, but I think it suggests some interesting avenues of investigation. Up until now we’ve been discussing L-functions defined on , but L-functions defined on are also of interest to number theorists. We’ll construct the p-adic analogue of an Euler factor, and see that it throws up some unexpected topology.

In this section, we’ll assume that is odd. Things are probably substantially more awkward when .

Let’s return (up to sign) to our function , this time regarded as a function :

We’d like to extend to a continuous function . p-adic continuity sounds weak compared to complex analyticity, but it’s actually kind of hard to be p-adically continuous, and since is dense in , we’re going to have at most one choice of extension.

In fact, we don’t have any choices, a fact which won’t surprise anyone who’s studied p-adic L-functions before. The proof of this is a byproduct of the construction of the real p-adic L-function. Let

Observe that is already dense in , so if we can find a continuous function that agrees with on , that’s the best we can do, whether the two functions agree on the whole of or not.

Here’s the crux: There’s a continuous function

known as the Iwasawa logarithm, and a continuous function

known as the p-adic exponential. They have most of the properties you’d expect of a pair of functions called and , except that the identity

only holds when is congruent to mod . In general,

where the integer and the st root of unity are uniquely determined by the requirement that .

So we can follow our hearts and define

but we have to live with the fact that only when . For general ,

for a suitable st root of unity .

Fine. Where’s the topology? What spectrum is telling us about? At integers outside , the values of don’t match up with the homotopy groups of anymore. Instead,

for all integers , where M is a K(1)-local spectrum defined as the fiber of

.

So, a couple more questions:

  • What’s special about M? Why is it any better than ? What other spectra are “p-adically continuous” in this sense?

  • Constructing p-adic L-functions more serious than usually requires some fairly heavy p-adic analysis. Can we partly bypass this by proving p-adic continuity results for the Picard-graded homotopy groups of certain K(1)-local spectra and using the orders of these homotopy groups? I believe some such continuity results already exist, in the folklore if not in the literature.

Thanks for reading this many words! Let me finish up by remarking that some of the stuff in this post carries through to K-theory spectra of rings of integers, and using work of Dwyer and Mitchell as a bridge, one can obtain results on the special values of Kubota-Leopoldt-type p-adic zeta functions. If I can think of enough interesting stuff to say about that, it might be the subject of a future post.

I think the Chromotopy platform doesn’t currently support blog comments, but if you have any comments or questons, please email me at sglasman at math dot mit dot edu.


Update: Dustin Clausen emailed me with some helpful comments about the Spanier-Whitehead self-duality of , resulting in some alterations in the text.

The K-Theory of Endomorphisms

For the purposes of this post, I am going to assume that you are all familiar with the basics of Algebraic -theory. If you’re not, just treat it as a black box, a gadget which takes in one of :

  • a (simplicial) ring (spectrum)
  • an augmented (simplicial) bimodule over a ring
  • an exact category
  • a Waldhausen category
  • a small, stable -category

and spits out a spectrum , such that  does the job of  ”storing all Euler characteristics” or “additive invariants”.

An important example is when is the category of finitely generated projective modules over a ring , and then we call this . It is a generally-accepted fact that the -theory of rings is generically a very difficult and often useful thing to compute (knowledge of the -groups of , for example, would be quite valuable to many). In an ideal world, we would be able to understand the functor

on the category of algebras augmented over a given ring , but this ends up being fairly intractable. One might hope that it would be easier to look at what happens when restricted to free augmented algebras, that is looking at the functor on (flat) -bimodules

where is the tensor algebra on . This is pretty tough, but it turns out that we can do it. Let’s take a baby step first, and try to understand the K-theory of the “linearized” tensor algebra. The 1st Goodwillie derivative of the identity functor on augmented -algebras is given by

where is the augmentation ideal of . In the case where for some -bimodule , then the Goodwillie derivative , where is the the square-zero extension of by , the ring given by demanding that . In studying the -theory of square-zero extensions, then, we are also studying the -theory of the linearization of the tensor algebra functor (note how many simplifications we have already done!).

A different strategy for dealing with this computational difficulty is to try and understand how the -theory of a ring changes as we “perturb” the ring. To do this, we look at “parametrized -theory” (or the “-theory of parametrized endomorphisms”):

Definition. Let be a ring, and let be an -bimodule. We define the parametrized -theory of with coefficients in , , to be the -theory of the exact category of pairs where is a finitely-generated projective -module and is a map of -modules.

We think about as being the -theory of endomorphisms with coefficients that are allowed to be in . If our picture of a finitely-generated projective -module is as living as a summand of a rank free -module, then an element of the above exact category is an matrix with entries in that commutes with the projection map defining .

Why should we look towards endomorphisms as perturbations? Well, the picture is supposed to be the following: Let be a ring and an -bimodule. This is the same data as a sheaf over , and we would like to think of a deformation of this over, say, as a flat sheaf over (a module) that restricts to over .

Screen Shot 2014-03-13 at 2.21.02 PM

which corresponds to an element of , or a derived endomorphism. The idea is that an extension of corresponds to a deformation of , which is a reasonable perspective.

The above definition is not immediately seen to be relevant to our original stated desire to study perturbations, but in the investigations of Dundas and McCarthy of stable -theory, the -theory of endomorphisms naturally comes up. In this paper they prove the following theorem:

Theorem. For a ring and a discrete -bimodule)

where is again the the square-zero extension of by .

We think of as a perturbation of by , as the elements that we are adding on (those coming from the direct summand ) are “so small’’ that they multiply to zero. This result relates the “perturbation’’ approach to understanding -theory to our earlier potential approach of understanding the free objects in the category of augmented -algebras.

That’s great, but we’d like to actually have some idea of what these things are. To get a hint at what we should be looking for, we go back to what was classically studied by Almkvist et al.

-Theory of Endomorphisms: The Classical Story

Definition. Let be a ring and consider the category , whose objects are pairs with a finitely-generated projective -module and an endomorphism. The morphisms in this category are commutative diagrams of the appropriate type.

Now, we might ask what possible “additive invariants’’ there are on this category, having in mind a few examples. The key (and, as it turns out, universal) one is the following:

Example. [The Characteristic Polynomial] Let , then the characteristic polynomial of is given by

This can also be obtained in the usual way as a determinant.

The important property of the characteristic polynomial is that if we have a commutative diagram in

Screen Shot 2014-03-13 at 2.20.50 PM

with exact rows, then

meaning that the characteristic polynomial takes short exact sequences of endomorphisms to products (which are sums in the abelian group where the characteristic polynomials lie).

We now know that a search for additive invariants is a desire to compute -theory, and so we define:

Definition. is defined to be the free abelian group on isomorphism classes of objects in modulo the subgroup generated by the relations if there is a commutative diagram

Screen Shot 2014-03-13 at 2.20.46 PM

with the rows exact. There is a natural splitting

coming from thinking of the category of finitely generated projective -modules as living in as the guys with endomorphisms.

Of course, is an exact category, and we could define higher -groups for this as well.

is the repository for additive invariants, in that it has the following universal property:

Proposition. Let be a map from the commutative monoid of isomorphism classes of objects in to an abelian group , such that splits short exact sequences as above. Then factors through , or is the initial abelian group for which short exact sequences of endomorphisms split.

What does this look like, though? Well, let’s go back to the characteristc polynomial:

Theorem. The map

is an isomorphism

where

is the multiplicative group of fractions with constant term 1.

The moral of this is that the characteristic polynomial encodes all of the additive information about an endomorphism (the trace is a special case of this, of course, being read off by the constant term of the characteristic polynomial). Something interesting is the following:

Proposition. The inclusion exhibits as a dense -subring of , where are the big Witt vectors of , modelled as power series with constant term .

This means that we might as well think of the big Witt vectors as being limits of characteristic polynomials of endomorphisms, which is the starting point for the line of thought that led to the Lindenstrauss and McCarthy results.

It is also important to mention what some of the uses of this equivalence are:

  • Calculations that may be difficult to perform on Witt vectors might be easy if we think of them as coming from characteristic polynomials of endomorphisms;
  • Operations that exist on Witt vectors get turned into operations on K-theory, and vice-versa:
  • The -th ghost map is given by ;
  • The Frobenius map is given by ;
  • The Verschiebung map is given by , where is represented by a shift in the first factors and action by in the last factor. This represents an -th root of , in that looks like applying to all of the blocks of .

Lindenstrauss-McCarthy and Topological Witt Vectors

The first thing to do to start generalizing the previous construction is to allow for a “parametrization’’, like we said before.

Definition. Let be a ring and an -bimodule. is the category whose objects are pairs with a finitely generated projective -module and a map of -modules. As in , morphisms are commutative diagrams.

inherits an exact/Waldhausen structure from considering what’s happening in the “base’’, and so it makes sense to define parametrized -theory as

There is a natural map from to the category of finitely generated projective -modules that forgets the endomorphism, and so we can reduce and consider

We can also consider to be simplicial by geometrically realizing, and this assembles to a functor

which is a good setting to do Goodwillie calculus.

The remarkable result of Lindenstrauss-McCarthy is the following:

Theorem. The functors from simplicial -bimodules to spectra have the same Taylor tower, where is a “topological Witt vectors’’ construction.

Now, this is only remarkable if I tell you what this functor is, so let’s do that. Lindenstrauss and McCarthy describe this using the (notationally cumbersome) language of FSPs instead of spectra or spectral categories, which makes everything a bit hard to read. The idea is a bit simpler, however.

Construction. Let be a ring, a bimodule. We define a bunch of spectra with action by letting be the derived cyclic tensor product (over ) of copies of .

There is an evident action on given by permuting the factors, and moreover when , we have natural restriction maps between the fixed points

We then define

Example. as normally defined, and if then we have that .

This functor is meant to be an attempt to define in the absence of the cyclic symmetry that is present when . The remarkable thing is that this actually works! The nomenclature is justified by the following -typical statement:

Theorem. (Hesselholt-Madsen) 

where the latter is a suitable version of that takes a homotopy limit over only .

The virtue of this setup is that we have explicit understanding of what the layers of the Taylor tower of look like, as well as various splitting theorems, e.g. we have the following ``fundamental cofibration sequence’’:

Theorem. There is a homotopy fiber sequence

where are the functors obtained by truncating the homotopy limit defining .

Moreover, we have that is the th polynomial approximation of , so this is the fiber sequence that computes the layers of the Taylor tower.

Generalizations

The problem with the Lindenstrauss-McCarthy story is that it is only proven for discrete rings, but all of the constructions floating around can just as well be made when is a connective ring spectrum and is a (simplicial) -bimodule.

One of the great tricks that one can do is to use the resolution of connective ring spectra by simplicial rings. That is, given a connective ring spectrum , there is a -Cartesian cube with initial vertex , and such that all other vertices are canonically stably equivalent to the Eilenberg-MacLane spectrum of a simplicial ring.

The following fact lets us promote results about simplicial rings to those about connective ring spectra:

Theorem. If is an -Cartesian -cube of connective ring spectra, then the cube is -Cartesian.</span>

Idea for proving generalization: Show that the functors have a similar property, so that the equivalence given by Lindenstrauss and McCarthy can be promoted to one for connective ring spectra.

This works just fine, and we arrive at:

Theorem. (P.) The Lindenstrauss-McCarthy result holds for connective ring spectra.

Unfortunately, this is mostly just a one-off trick, and we are still looking for a good conceptual understanding of what the Lindenstrauss-McCarthy equivalence really means. It largely goes back to the Dundas-McCarthy theorem mentioned earlier, which can also be proven for connective ring spectra, but fails to admit a generalizable proof. The issue that arises there is that their proof relies heavily on the linear models of -theory when working over discrete rings, and these simply faily to work when we move to other contexts (their proof involves the addition of maps, a simplicial model of -theory, etc.).

If we had a good way of dealing with the coherence issues in defining the Dundas-McCarthy maps, then we might be able to generalize the proof and understand what’s going on, but that’s something that has yet to be done.

Hypothetical abelian varieties from K-theory

I heard an idea tossed around recently that I’d like to share with you all. I worry that it might be a little half-baked, as I’ve only heard about it recently and so maybe haven’t spent enough time sketching out the edges of it. Maybe writing this will help. Throughout, is a perfect field of positive characteristic .

Where Lie theorists study Lie algebras, formal algebraic geometers study (covariant) Dieudonné modules. The essential observation is that the sorts of formal Lie groups appearing in algebraic topology are commutative and one-dimensional, meaning that their associated Lie algebras are one-dimensional vector spaces with vanishing brackets, and so it is unreasonable to think that it would carry much interesting information about its parent formal Lie group. To correct for this, one takes the collection of all curves on the formal group (i.e., without reducing to their linear equivalence classes, as one does when building the Lie algebra) and remembers enough structure stemming from the group multiplication that this assignment

becomes an equivalence. Such collections of curves form modules, called “Dieudonné modules”, over a certain ground ring, called the Cartier ring, which is built upon the ambient field . The three relevant pieces of structure are the actions of homotheties, of the Frobenius, and of the Verschiebung, which were all described way back in this post on Witt vectors. (In the notation of that post, we’re interested just in and .) Altogether, this gives a formula for the Cartier ring:

Say that a Dieudonné module is formal when it is: finite rank; free as a -module; reduced, meaning that it’s -adically complete; and uniform, meaning that the natural map is an isomorphism. Then, the Dieudonné functor on finite height formal groups lands in the subcategory of formal Dieudonné modules, and there it restricts to an equivalence. Actually, more is true: the Dieudonné module of a -divisible group can be made sense of, and Dieudonné modules which are free of finite rank (but without reducedness or uniformity) are equivalent to -divisible groups.

Dieudonné modules are thrilling because they are just modules, whereas -divisible groups are these unwieldy ind-systems of finite group schemes. The relative simplicity of the data of a Dieudonné module allows one to compute basic invariants very quickly:

Theorem: Take to be a -divisible group and its Dieudonné module. There is a natural isomorphism of -vector spaces . In the case that is one-dimensional, then the rank of as a -module agrees with the height of . Moreover, if is a coordinate on (considered as a curve), then forms a basis for .

There is also something like a classification of the simple Dieudonné modules over (where, among other things, the étale component of a p-divisible group carries little data):

Theorem (Dieudonné): For and coprime and positive, set

Additionally, allow the pairs to get

and to get

(All these modules have formal dimension and height .) For any simple Dieudonné module , there is an isogeny , i.e., a map with finite kernel and cokernel. Moreover, up to isogeny every Dieudonné module is the direct sum of simple objects.

Every abelian variety comes with a p-divisible group arising from its system of -power order torsion points. This connection is remarkably strong; for instance, there is the following theorem:

Theorem (Serre–Tate): Over a -adic base, the infinitesimal deformation theories of an abelian variety and its -divisible group agree naturally.[1]

For this reason and others, the -divisible group of an abelian variety carries fairly strong content about the parent variety. On the other hand, it is not immediately clear which -divisible groups arise in this way. Toward this end, there is a symmetry condition:

Lemma (“Riemann–Manin symmetry condition”): As every abelian variety is isogenous to its Poincaré dual and the corresponding (Cartier) duality on -divisible groups sends ( to and hence) to , these summands must appear in pairs in the isogeny type of the Dieudonné module of .

As a simple example, this gives the usual categorization of elliptic curves: an elliptic curve is -dimensional, hence has -divisible group of height . One possibility, called a supersingular curve, is for the Dieudonné module to be isogenous to ; this is a -dimensional formal group of height and it satisfies the symmetry condition. The only other possibility, called an ordinary curve, is for the Dieudonné module to be isogenous to ; this is the sum of a -dimensional formal group of height with an étale component of height , and it too satisfies the symmetry condition.

A remarkable theorem is that the converse of the symmetry lemma holds as well:

Theorem (Serre, Oort; conjectured by Manin): If a Dieudonné module satisfies the above symmetry condition, then there exists an abelian variety whose -divisible group is isogenous to .

Both proofs of this theorem are very constructive. Serre’s proof explicitly names abelian hypersurfaces whose -divisible groups are of the form , for instance.

Now, finally, some input from algebraic topology. The Morava -theories of Eilenberg–Mac Lane spaces give a collection of formal groups which can be interpreted in the following way:

Theorem (Ravenel–Wilson): For , the -divisible group associated to is (in a suitable sense) the th exterior power of the -divisible group . It is smooth, has formal dimension , and has height . (Additionally, it is zero for .)

Theorem (Buchstaber–Lazarev): For , the same -divisible group has Dieudonné module isogenous to the product of copies of , where is the reduced fraction of .

The conclusion of Buchstaber and Lazarev is that this means that these -divisible groups almost never have realizations as abelian varieties, since they mostly don’t satisfy the symmetry condition. The only time that they do is something of an accident: when is even and , then the corresponding Dieudonné module is isogenous to that of a large product of copies of a supersingular elliptic curve. However, Ravenel observed that Pascal’s triangle is symmetric:

Observation (I heard this from Ravenel, but surely Buchstaber and Lazarev knew of it): The sum of all of the Dieudonné modules

satisfies the Riemann-Manin symmetry condition.

This is an interesting observation. In light of the comments at the end of the Buchstaber–Lazarev paper, one wonders: why privilege ? But, even more honestly, why privilege in our study of chromatic homotopy theory? A recurring obstacle to our understanding of higher-height cohomology theories has been the disconnection from the picture of globally defined abelian varieties. Could there be a naturally occurring abelian variety whose -divisible group realizes the large (-dimensional!) formal group associated to the -theoretic Hopf ring of Eilenberg–Mac Lane spaces?

The explicit nature of the solutions to Manin’s conjecture show us that, yes, it is certainly possible to write down large products of hypersurfaces to give a positive answer to this question with the words “naturally occurring” deleted. This alone isn’t very helpful, however, and so to pin down what we might be even talking about there are a number of smaller observations that might help:

  • If such an abelian variety existed, there would be a strange filtration imposed on its -divisible group arising from the degrees of the Eilenberg–Mac Lane spaces. The Riemann–Manin symmetry condition tells us that these and factors must come in pairs, but in almost all situations, one pair appears on one side of the middle-dimension and the other appears on the other side. What could this mean in terms of the hypothetical abelian variety?
  • Relatedly, this pairing arises from the “-product” structure on the level of Hopf algebras, or as a sort of Hodge-star operation on the level of Dieudonné modules. What sort of structure on the abelian variety would induce such an operation, and in such an orderly fashion?
  • There should be accessible examples of these hypothetical varieties at low heights. For instance, the one associated to height via mod- complex -theory is (canonically, not merely isogenous to) a sum — i.e., it comes from an ordinary elliptic curve. Can we identify which elliptic curve — and in what sense we can even ask this question? Is there a naturally occurring map from the forms of to the ordinary locus on the (noncompactified?) moduli of elliptic curves? What about forms of ? What if we select a supersingular elliptic curve instead — is there an instructive assignment to abelian varieties whose Dieudonné module has isogeny type ? (On the face of it, this last bit doesn’t look so helpful, but maybe it is.)

[1] - Presumably this can be expressed by saying that the map from a moduli of abelian varieties to a moduli of -divisible groups is formally étale, but no one seems to say this, so maybe I’m missing something.


I’ve been making an effort to learn some arithmetic geometry recently. I started with local class field theory, which was mind-blowing. When I was a first year, someone sat me down and instructed me that I must take a course in complex geometry to become competent — and they were right, and it was a wonderful course, and I’m really glad I got that advice. I have no idea how (especially as I’ve been bumbling about with formal groups for so long!) it slipped past me that local class field theory is another one of these core competencies, and really one of the great achievements of twentieth century mathematics.

I gave a kind of measly talk about this a month ago, when I was trying to stir up interest in a reading group. The notes are a little batty, but they’re fun enough, and you can find them here.


Speaking of mind-blowing things, last week there was a week-long workshop on perfectoid spaces at MSRI, which I attended between one-third and one-half of. There are video lectures available on the MSRI website; at the very least everyone should watch Scholze’s introduction, just to get a sense of what all the fuss is about, and then ideally both of Weinstein’s lectures, which were excellent and very much adjacent to the subject of this post — this blog, really.

And, as an uninspired parting remark, we topologists do have access to the pro-system