4
$\begingroup$

Let $f=\sum_{n=1}^\infty a_nq^n$ be a $p$-ordinary newform of weight $k\geq 2$, level $N$, and character $\chi$, and let $\rho_f:G_\mathbf{Q}\rightarrow\mathrm{GL}_2(K_f)$ be the associated $p$-adic Galois representation, where $K_f$ is the finite extension of $\mathbf{Q}_p$ obtained by adjoining the Fourier coefficients of $f$. Let $\mathscr{O}_f$ be the ring of integers of $K_f$, and $A_f$ a cofree $\mathscr{O}_f$-module of corank $2$, i.e., $(K_f/\mathscr{O}_f)^2$, on which $G_\mathbf{Q}$ acts by $\rho_f$ (so we've chosen an integral model of $\rho_f$).

My question involves the local invariants of $A_f$. Specifically, let $F$ be a number field, and let $v$ be a finite prime of $F$ not dividing $p$ or the conductor of $\rho_f\vert_{G_F}$. Fix a decomposition group $G_v$ of $v$ in $G_F\leq G_\mathbf{Q}$. Is it true that $H^0(G_v,A_f)$ is finite?

I'm really interested in whether or not $\ker(H^1(G_v,A_f)\rightarrow H^1(I_v,A_f))$ vanishes ($I_v\leq G_v$ the inertia group), but with my hypotheses on $v$, the vanishing of this kernel is equivalent to the finiteness of $H^0(G_v,A_f)$ (because the kernel in question is divisible of the same $\mathscr{O}$-corank as $H^0(G_v,A_f)$). This vanishing seems to be implicit in a couple papers I've been looking at, and I'm not sure why it's true.

1 Answers 1

3

If the invariants were infinite, they would be divisible, and so they would correspond to an invariant line in $V_f$ (the representation on $K_f^2$ attached to $\rho$). Let $\ell$ be the rational prime lying undre $v$. The char. poly. of $\mathrm{Frob}_{\ell}$ acting on this rep'n is exactly the $\ell$th Hecke polynomial, so by Ramanujan--Petterson, the eigenvalues of $\mathrm{Frob}_{\ell}$ are Weil numbers of weight $(k-1)/2$. In particular, they are not roots of unity (provided the weight $k > 1$). The eigenvalues of $\mathrm{Frob}_v$ are powers of the eigenvalues of $\mathrm{Frob}_{\ell}$ (since $\mathrm{Frob}_v$ is a power of $\mathrm{Frob}_{\ell}$), and so they cannot be $1$. Consequently, $H^0(G_v,V_f) = 0$. QED


(If $k = 1$ this argument breaks down, and of course the statement is false.)

  • 0
    Dear @Matt, Ah yes, I now see how my notation could be ambiguous. I meant $A_f$ to be the copy of $(K/\mathscr{O})^2$ with Galois acting via $\rho_f$, not the quotient of the modular Jacobian attached to $f$. Sorry about that.2012-08-30