A bit of nonabelian p-adic Hodge theory

January 21, 2011

A bit of nonabelian p-adic Hodge theory

Filed under: Math — cfranc @ 11:21 am

Yesterday Adrian Iovita gave an extremely interesting talk at the local Quebec-Vermont Number Theory Seminar (QVNTS) on a $p$ -adic criterion for good reduction of curves.

If $A$ is an abelian variety over some $p$ -adic local field $K$ , then it is an old result that $A$ has good reduction if and only if its Tate module $T_l(A)$ is unramified for one (and hence all) primes $l \neq p$ . Fontaine reformulated this criterion for $l = p$ : in this case, one has that $A$ has good reduction if and only if $T_p(A)$ is crystalline.

Is there an analogue for curves, say expressed in terms of etale $H^1$ ? It turns out that there isnt. The $H^1$ is an abelian invariant and doesn’t capture enough information about the curve. However, one can formulate conditions analogous to the above if one works with the etale fundamental group of the curve, rather than its abelianization!

In the 1990’s, Takayuki Oda proved the following: for $l \neq p$ let $\pi_l$ denote the largest pro- $l$ quotient of $\pi(X_{\overline{K}}, b)$ , where $b$ is a geometric point of $X$ . Then there is a natural homomorphism (representation) $\rho_l \colon G_K \to \text{Out}(\pi_l)$ of the absolute Galois group of $K$ . If we define a filtration on $\pi_l$ by setting $F^0\pi_l = \pi_l$ and otherwise letting $F^i\pi_l$ denote the closure of the commutator subgroup $[F^{i-1}\pi_l,\pi_l]$ , and we write $\pi_l[m] = \pi_l/F^m\pi_l$ , then the representation $\rho_l$ induces representations $\rho_{l,m}$ of $G_K$ into $\text{Out}(\pi_l[m])$ for all $m$ . With this notation, Oda proved that the curve $X$ has good reduction if and only if for one (and hence all) primes $l\neq p$ , the representation $\rho_{l,m}$ is unramified (that is, it vanishes on inertia). In fact, one only has to verify that the first few $\rho_{l,m}$ are unramified (say for $m = 0,1,2,3$ ; I’m not sure if one can get by with less).

Now Andreatta-Iovita-Kim have essentially completed the story for curves: in the case $l = p$ , it turns out that the quotients $\pi_p[m]$ are the $\mathbf{Q}_p$ -points of a finite group scheme over $\mathbf{Q}_p$ , such that the corresponding Hopf algebra is endowed with a natural action of $G_K$ . Say that $\pi_p[m]$ is crystalline if this $p$ -adic representation is crystalline. Then $X$ has good reduction if and only if $\pi_p[m]$ is crystalline for all $m$ . As above, it suffices to check this for the first few $m$ . This result hasn’t appeared yet, but I look forward to their paper!

Edit: Fixed the alphabetical ordering of the attribution above.

Leave a Comment »

No comments yet.

RSS feed for comments on this post.

Cam's Blog

January 21, 2011