36
$\begingroup$

For any number field $K$, the Fontaine-Mazur conjecture predicts that any potentially semistable $p$-adic representation of the absolute Galois group $G_K$ of $K$ that is almost everywhere unramified comes from algebraic geometry (i.e., is a subquotient of the etale cohomology of some variety over $K$, up to Tate twist). As far as I can see, the only cases where any progress has been made concerns the case that $K$ is totally real or CM.

This made me wonder: Is the Fontaine-Mazur conjecture known to be true for $1$-dimensional representations for any number field $K$? For CM fields, the theory of CM abelian varieties gives varieties whose cohomology realizes nontrivial characters (and I guess that easy variations should produce all characters). What are the geometric objects appearing for other fields?

[edit: The word 'geometric' is avoided now, see the comments.]

$\endgroup$
5
  • $\begingroup$ I thought Fontaine and Mazur defined a $p$-adic representaion of $G_K$ to be geometric if it is almost everywhere unramified and potentially semistable (at every place $\mathfrak{p}|p$ of $K$), and conjectured that every geometric representation is ... $\endgroup$ Jul 25, 2010 at 13:25
  • $\begingroup$ ... for example modular if moreover it is odd and $K={\bf Q}$ $\endgroup$ Jul 25, 2010 at 13:34
  • 2
    $\begingroup$ The terminology used in Fontaine and Mazur's paper is that "geometric" means "almost everywhere unramified and potentially semistable at places |p" and an irreducible p-adic Galois representation is said to "come from algebraic geometry" if it is isomorphic (up to Tate twist) to a subquotient of the etale cohomology of an algebraic variety. Their conjecture is then that an irreducible p-adic rep comes from algebraic geometry if and only if it is geometric. $\endgroup$
    – jnewton
    Jul 25, 2010 at 15:02
  • 1
    $\begingroup$ Oh and I guess the proposition in section 6 of Fontaine-Mazur is relevant to the question? $\endgroup$
    – jnewton
    Jul 25, 2010 at 15:50
  • 3
    $\begingroup$ Congratulations!(about the Clay.) $\endgroup$
    – Unknown
    Feb 15, 2011 at 0:08

1 Answer 1

20
$\begingroup$

Let $\chi$ be a one-dimensional geometric (in the sense of FM) $p$-adic Galois representation of $G_K$ and let $\psi$ be the Hecke character of $K$ associated to $\chi$ by class field theory. The fact that $\chi$ is de Rham (=pst) at all primes above $p$ imples that $\psi$ is an algebraic Hecke character. Generally, the only algebraic Hecke characters of $K$ are of the form $(\text{finite order})\cdot\mathcal{N}^n$ where $\mathcal{N}$ is the norm character. Under class field theory, $\mathcal{N}$ corresponds to the cyclotomic character, so it comes from geometry; additionally, any finite order character comes from geometry (it arises as the subquotient of the $H^0$ of a zero-dimensional variety). The only time there are more algebraic Hecke characters is when $K$ contains a CM field. Denoting $L$ the maximal CM field in $K$, every algebraic Hecke character of $K$ is of the form $(\text{finite order})\cdot(\psi_L\circ\mathcal{N}_{K/L})$ where $\psi_L$ is an algebraic Hecke character of $L$ and $\mathcal{N}_{K/L}$ is the norm from $K$ to $L$. Again, finite order characters come from geometry, so this case is reduced to the CM case. As you've mentioned the CM case has been dealt with, so Fontaine–Mazur is true for $\mathrm{GL}(1)$.

$\endgroup$
15
  • 4
    $\begingroup$ Rob, should mention refs, such as Ch. III (esp. App. A) in Serre's book on abelian $\ell$-adic repn's, for why pst (or HT) at $p$-adic places implies global algebraicity up to finite-order, with finite-order part coming from ramification away from $p$ (finite, by global CFT) and finiteness of Hilbert class fields. Main Thm of CM relates Tate mods of CM abelian var. to certain alg. Hecke characters factoring through reflex norm of a CM type, but to conversely relate all alg. Hecke characters to CM abelian varieties is totally not obvious (& there's no "modern" published ref.), right? $\endgroup$
    – BCnrd
    Jul 25, 2010 at 20:26
  • 1
    $\begingroup$ "but to conversely relate all alg. Hecke characters to CM abelian varieties is totally not obvious (& there's no "modern" published ref.), right?" $$ $$ Do you just mean Casselman's theorem as in Shimura's paper? That is, Theorem 6 of jstor.org/stable/1970768 $$ $$ Maybe section 4 of chapter 1 of Schappacher is also of interest, for it deals with motives. springer.com/mathematics/numbers/book/978-3-540-18915-2 $\endgroup$
    – Junkie
    Jul 26, 2010 at 7:16
  • 2
    $\begingroup$ Dear Rob H. & Junkie: It is kind of embarrassing for the field that with all of the recent activity around the F-M conjecture there isn't a place in the recent (= last 15 years) literature where the 1-dimensional case is specifically addressed and proved (even if the "proof" amounts to gathering appropriate earlier references and explaining why they are sufficient for the desired conclusion). Hmm, maybe I should put this in the Hawaii lecture notes (oy vey, just 2 more months till that's due to be done...). $\endgroup$
    – BCnrd
    Jul 27, 2010 at 23:00
  • 14
    $\begingroup$ Peter, see math.u-psud.fr/~fargues/Motifs_abeliens.ps section 8 where you can find the references for FM conjecture for GL_1 (in particular you have to use a transcendence result in general). $\endgroup$
    – Laurent F.
    Jul 29, 2010 at 8:53
  • 2
    $\begingroup$ New link to Laurent Fargues's paper: webusers.imj-prg.fr/~laurent.fargues/Motifs_abeliens.ps $\endgroup$
    – Aurel
    Oct 3, 2018 at 4:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.