4
$\begingroup$

Given an $l$-adic Galois representation which is geometric in the sense of Fontaine-Mazur what can one say about the set of (isomorphism classes of) of varieties whose $l$-adic cohomologies the representation occurs in, apart from the well-known conditions on their Hodge numbers and weights? Does it make sense to pose it as a moduli problem? How "large" is the set expected to be?

Thanks!

$\endgroup$
4
  • 2
    $\begingroup$ One example: any torsor for an abelian variety has the same $\ell$-adic cohomology as the abelian variety, so that gives examples where there are "many" varieties realizing the same Galois representation. This came up before in mathoverflow.net/questions/18006 (see the comment by Emerton and the linked notes by Dalawat). $\endgroup$ Commented Sep 29, 2011 at 17:00
  • 1
    $\begingroup$ Interesting question, but which needs to be precised in several ways before admitting a satisfying answer. For example, if a Galois rep. $V$ occurs in the cohomology of $X$, then it occurs also in the cohomology of $X \times Y$ for any variety $Y$ so the set in question is very large. $\endgroup$
    – Joël
    Commented Sep 29, 2011 at 17:04
  • 2
    $\begingroup$ One remark: suppose you replace étale cohomology (with its Galois action) by the étale fundamental group (with its outer Galois action), then in many cases (if your fundamental group is "anabelian") then by Grothendick's anabelian conjectures there should be only one variety having this $\pi_1$. $\endgroup$
    – Joël
    Commented Sep 29, 2011 at 17:11
  • 2
    $\begingroup$ Contained in this question is the question "Is a smooth projective variety determined by its motive" (because the motive will have the same Galois representations). For instance, for a curve, this is the question "Is the curve determined by its Jacobian ?". In this case (if one throws in polarisations...), Torelli's theorem gives the answer. There is also a Torelli-type theorem for K3 surfaces; but these are very special cases. In general, the motive loses a lot of the "non-linear" information contained in the variety. $\endgroup$ Commented Sep 29, 2011 at 19:34

0

You must log in to answer this question.

Browse other questions tagged .