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.
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.)