Hi all! In this post, I’ll attempt to make some progress towards demystifying the relationship between Lfunctions and algebraic Ktheory, with reference to a very simple example. I’ll say something about Lfunctions a little lower down, but the only thing I’ll say about Ktheory 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.
Urconjecture. [Lichtenbaum, BlochKato, 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 Lfunctions at integers (and I’m sorry, but I’ll use “Lfunction” and “zeta function” interchangeably) involving torsion orders of Kgroups.
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 QuillenLichtenbaum conjecture proven by Voevodsky. It’s a humongous proof. In general, these conjectures are wide open and should be regarded with reverence.
Lfunctions
Before I really get going, though, I’m going to say a word about Lfunctions, which by convention are meromorphic functions on with certain properties. I’m going to list these salient properties in bnew, and illustrate them using the historically first Lfunction, which is of course the Riemann zeta . We’ll later find that each of these properties has a purely homotopytheoretic analogue on the Ktheory spectrum.
Dirichlet series. To an Lfunction 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 Lfunction was a meromorphic function on in the first place, but if you take the more practical view that an Lfunction 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 Lfunction 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 Lfactor (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 Lfunction, too, but we won’t get into that here.
The simplest Lfunction
I said the Riemann zeta was the historically first Lfunction, 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 Lfunction 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 Ktheory of a finite field
In a 1972 paper, Quillen proved one of my alltime favourite theorems by describing the homotopy type of the Ktheory spectrum of a finite field.
Theorem. [Quillen] The connected component of the space of the Ktheory spectrum of fits into a fibre sequence
where is the th Adams operation.
This is the only example of a (global) Ktheory 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 positivedegree homotopy groups of :
Motivated by the urconjecture 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 Lfunction. You would still notice that
is the restriction to of an obvious complexanalytic 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 Ktheory spectrum is not the Lfunction; rather, it’s the Dirichlet series of the Lfunction, or the part of the Lfunction to the right of the abscissa of convergence. The topological object that we should really associate to the full Lfunction is the K(1)localisation of the Ktheory 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 Ktheory of a finite field
I’m going to selfconsciously 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 BousfieldKuhn functor to the statement of Quillen’s theorem above.
Proposition. The K(1)localised Ktheory 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 Lfunction at a point, we’ll mean up to multiplication by a rational number which is a padic 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 Ktheory 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 QuillenLichtenbaum 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?
GrossHopkins and SpanierWhitehead 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 BrownComenetz duality is involved. Briefly, the BrownComenetz 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 GrossHopkins 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 SpanierWhitehead selfdual. 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 selfdual 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 torsionfree 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 homotopytheoretic interpretations of (almost) all the fundamental analytic properties of Lfunctions. Here’s a table to summarise:
Analysis  Topology  

Lfunction  K(1)localised Ktheory spectrum  
Dirichlet series  Bare Ktheory spectrum  
Abscissa of convergence  QuillenLichtenbaum constant  
Euler product  ?? (But see below)  
Analytic continuation  K(1)localisation  
Functional equation  GrossHopkins + SpanierWhitehead 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 lefthand 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 Tatetwisted coefficients which abuts to the K(1)local Ktheory 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 Ktheoretic description of the special values?

What’s the analogue of for an archimedean Lfactor? This might be related to work of Connes and Consani on cyclic homology with adelic coefficients.
padic Lfunctions
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 Lfunctions defined on , but Lfunctions defined on are also of interest to number theorists. We’ll construct the padic 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 . padic continuity sounds weak compared to complex analyticity, but it’s actually kind of hard to be padically 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 padic Lfunctions before. The proof of this is a byproduct of the construction of the real padic Lfunction. 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 padic exponential. They have most of the properties you’d expect of a pair of functions called and , except that the identity
only hnews 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 “padically continuous” in this sense?

Constructing padic Lfunctions more serious than usually requires some fairly heavy padic analysis. Can we partly bypass this by proving padic continuity results for the Picardgraded 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 Ktheory spectra of rings of integers, and using work of Dwyer and Mitchell as a bridge, one can obtain results on the special values of KubotaLeopnewttype padic 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 SpanierWhitehead selfduality of , resulting in some alterations in the text.