[Math] a path in K-theory space

algebraic-k-theoryknot-theoryl-functionsnt.number-theory

In a comment on Tom Goodwillie's question about relating the Alexander polynomial and the Iwasawa polynomial, Minhyong Kim makes the cryptic but tantalizing statement:

In brief, the current view is that the Iwasawa polynomial=p-adic L-function should be viewed as a path in K-theory space.

As somebody who has been trying, for a long time, to understand the Alexander polynomial, and who believes there is something "more basic" underlying its appearances in mathematics in various guises (my particular interest has to do with why it turns up as the wheels part of the Kontsevich invariant, as per Melvin-Morton-Rozansky), I'd really like to understand this comment.

Question: What is "K-theory space" supposed to be, and why should a path in it be a natural object to be examining? And why should we expect such a thing to give equivalent data to the Iwasawa polynomial/ Alexander polynomial?

Best Answer

I know nothing about Alexander polynomials but let me try to answer the Iwasawa theory part. As is well known, in classical Iwasawa theory one considers cyclotomic $\mathbb{Z}_p$ extension $F{\infty}$ of $F$. We take the $p$-part of the ideal class group $A_n$ of the intermediate extension $F_n$ of $F$ of degree $p^n$. The inverse limit of $A_n$ with respect to norm maps, say $A$, has an action of $G= Gal(F_{\infty}/F)$. Since $A$ is pro-$p$, it becomes a $\mathbb{Z}_p[G]$-module. However, it is not finitely generated over this group ring (and for various other reasons) one considers the completion $\mathbb{Z}_p[[G]]$ of $\mathbb{Z}_p[G]$. Since $A$ is compact, it becomes a $\mathbb{Z}_p[[G]]$-module. As $G \cong \mathbb{Z}_p$, the ring $\mathbb{Z}_p[[G]] \cong \mathbb{Z}_p[[T]]$, the power series ring in variable $T$. There is a nice structure theory for finitely generated modules over $\mathbb{Z}_p[[T]]$. The module $A$ is a torsion $\mathbb{Z}_p[[G]]$-module (i.e.$Frac(\mathbb{Z}_p[[G]]) \otimes A = 0$). For such modules one can define the characteristic ideal using the structure theory. Iwasawa's main conjecture asserts that there is a canonical generator for this ideal called the $p$-adic $L$-function.

In generalised Iwasawa theory (more precisely, to formulate the generalised main conjecture à la Kato), one wants to consider extensions whose Galois groups are not necessarily $\mathbb{Z}_p$ (but most formulations of the main conjecture still require that the cyclotomic $\mathbb{Z}_p$-extension of the base field be in the extension). For the completed $p$-adic groups rings of such Galois groups, the structure theory completely breaks down even if the Galois group is abelian.

However, one can still show that $A$ is a torsion Iwasawa module (which again just means that $Frac(\mathbb{Z}_p[[G]]) \otimes A = 0$. Note that it is always possible to invert all non-zero divisors in a ring even in the non-commutative setting). Hence the class of $A$ in the group $K_0(\mathbb{Z}_p[[G]])$ is zero. Strictly speaking, here I must assume that $G$ has no $p$-torsion so that I can take a finite projective resolution of $A$, or I must work with complexes whose cohomologies are closely related to $A$. But I will sinfully ignore this technicality here. Now, since the class of $A$ in $K_0(\mathbb{Z}_p[[G]])$ is zero, there is a path from $A$ to the trivial module 0 in the $K$-theory space. In Iwasawa theory this is most commonly written as

There exists an isomorphism $Det_{\mathbb{Z}_p[[G]]}(A)$ $\to$ $Det(0)$.

This isomorphism replaces the characteristic ideal used in the classical Iwasawa theory. The $p$-adic $L$-function then is a special isomorphism of this kind. (Well one has to be careful about the uniqueness statement in the noncommutative setting but it is a reasonably canonical isomorphism). Hence the main conjecture now just asserts existence of such a $p$-adic $L$-function.

Thus the $p$-adic $L$-function may be thought of as a canonical path in the $K$-theory space joining the image of Selmer module (or better- a Selmer complex), such as the ideal class group in the above example, and the image of the trivial module.

I hope this answer helps until Minhyong sheds more light on his remarks and relations between $p$-adic $L$-functions and the Alexander polynomials.

[EDIT: Sep. 30th] To answer Daniel's questions below- 1) Take the projective resolution of A to define its class in $K_0$. In any case the $K$-theory of the category of finitely generated modules is the same as the $K$-theory of finite generated projective modules. 2) I do not know if there are any sensible/canonical multiplicative sets at which to localise $\mathbb{Z}_p[G]$. The modules considered in Iwasawa theory are usually compact (or co-compact depending on whether you take inverse limit with respect to norms or direct limit with respect to inclusion of fields in a tower) and so the action of the ring $\mathbb{Z}_p[G]$ extends to an action of the completion $\mathbb{Z}_p[[G]]$ by which we mean $\varprojlim \mathbb{Z}_p[G/U]$, where $U$ runs through open normal subgroups of $G$. 3) We do not usually get a loop in the $K$-theory space of $\mathbb{Z}_p[[G]]$. However, modules which come up from arithmetic are usually torsion as $\mathbb{Z}_p[[G]]$-modules i.e. every element in the module is annihilated by a non-zero divisor or in other words if $X$ is the module then $Frac(\mathbb{Z}_p[[G]]) \otimes X=0$. (it is usually very hard to prove that the modules arising are in fact torsion). But once we know that they are torsion we get a loop in the $K$-theory space of $Frac(\mathbb{Z}_p[[G]])$. If we know that for some multiplicatively closed subset $S$ of $\mathbb{Z}_p[[T]]$ annihilates $X$ i.e. $(\mathbb{Z}_p[[G]]_S) \otimes X=0$, then we already get a loop in the $K$-theory space of $\mathbb{Z}_p[[G]]$. In noncommutative Iwasawa theory it is often necessary to work with a multiplicative set strictly smaller than all non-zero divisors.

Related Question