Skip to main content
edited title
Link
Moosbrugger
  • 1.5k
  • 12
  • 14

Elliptic Linear algebra of elliptic curves over p-adic fields

Source Link
Moosbrugger
  • 1.5k
  • 12
  • 14

Elliptic curves over p-adic fields

Unfortunately, the following question is somewhat ill-posed. However, I hope to make what I'm looking for sufficiently clear.

Given two elliptic curves (or Abelian varieties) over $\mathbb{C}$, one can tell whether or not they are isogenous by looking at their rational Hodge structures. Similarly, over $\mathbb{Q}$ or a finite field, it suffices to look at $\mathbb{Q}_\ell$-adic Tate modules as Galois representations.

My question is what the analogue is over a $p$-adic field.

I'm looking for an answer which produces an abelian category $\mathscr{C}$ linear over a field of characteristic zero and which can be defined (in an imprecise sense) without knowing what a variety is, plus a contravariant functor from smooth projective varieties to $\mathscr{C}$ such that two elliptic curves over a $p$-adic field are isogenous if and only if their images in $\mathscr{C}$ are isomorphic.

For example, this can be done over $\mathbb{C}$ or a field finitely generated over its prime field using Hodge theory or the Galois action on $\ell$-adic cohomology respectively.

So the question can be phrased another way: what is the $p$-adic version of the Hodge/Tate conjectures? I would like a category which should conjecturally receive a fully faithful functor from the category of pure motives.

Note that etale cohomology is not a fine enough invariant over the $p$-adics (though I would be interested to hear any positive results where it is!). Moreover, ignorant of $p$-adic Hodge theory as I am, I'm told that $(\varphi, \Gamma)$-modules and the like are similarly not fine enough to distinguish isogeny classes of elliptic curves (even with good reduction).

I should say I'm very much only an amateur in these $p$-adic things. I'm hoping to find an answer that motivates stepping into some of this morass of $p$-adic Hodge theory.

This question can clearly be formulated (equally imprecisely) over any field. Other fields over interest certainly include positive characteristic local fields, $\overline{\mathbb{Q}}_p$ and $\mathbb{C}_p$. Though I'd certainly be glad to hear of any other fields where such a thing is known. (Of course, anything which involves choosing an isomorphism with $\mathbb{C}$ is very much against the spirit of the question).