Timeline for Local Systems on Function fields over $\mathbb{F}_p$
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 1, 2016 at 3:17 | comment | added | Will Sawin | Sure, but I suspect this is not known and hard to know. Drinfeld's method doesn't produce the abelian variety directly for the reason I sketched. So you are left with some lifting problem where you have $L \otimes L$ appearing in $H^2$ of a surface and you want to find $L$ in $H^1$ of something. If the surface were K3 we could apply Kuga-Satake, but that's not known in general. | |
| Apr 1, 2016 at 3:10 | comment | added | jacob | Thanks Will! Yeah, I came up with that counterexample, and am now interested in whether its the `only one': In other words, whether this always shows up in H^1 of some abelian variety. The galois approach seems reasonable, but there are many representations with finite image of inertia everywhere, right? | |
| Mar 31, 2016 at 21:46 | comment | added | Will Sawin | You would be better served, I would think, by trying to show the Steinberg condition. Assuming that your Galois representation has infinite image of inertia at one place, by Grothendieck's local monodromy theorem it is a unipotent representation tensored with a character. By twisting you can force the character to be trivial, which I think means Steinberg, and win. If it has finite image of inertia at each place then it can't come from an elliptic curve unless it's an Artin representation, in which case you presumably have no problem. So you just have to eliminate that case. | |
| Mar 31, 2016 at 21:42 | comment | added | Will Sawin | This explains why you won't be able to find it in an object like a modular Jacobian - if this quaternion multiplication surface is a factor of the modular Jacobian, then because its Hecke eigenvalues are rational, the quotient of the Hecke algebra acting on it must be just the center of the quaternion algebra, which violates multiplicity one. Drinfeld gets around this by finding $L \boxtimes L$ in the cohomology of a variety on $X \times X$. But this shows up in $H^2$, of course, and not $H^1$. | |
| Mar 31, 2016 at 21:26 | comment | added | Will Sawin | What if there is an abelian surface over $X$ with quaternion algebra multiplication by some quaternion algebra split at $l$. Then the sheaf of $l$-adic Tate modules of that surface splits into the sum of two rank two local systems. Each one clearly has eigenvalues of Frobenius Weil numbers of the correct absolute value, but they also both have coefficient field $\mathbb Q$ as they are isomorphic. But they don't come from an elliptic curve. | |
| Apr 24, 2014 at 9:48 | history | asked | jacob | CC BY-SA 3.0 |