Cam's Blog

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.

Advertisements

Leave a Comment »

No comments yet.

RSS feed for comments on this post.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Blog at WordPress.com.

%d bloggers like this: