p-adic deformations of cohomology classes of subgroups of GL (n, Z)

• Autores: Glenn Stevens, Avner Ash
• Localización: Collectanea mathematica, ISSN 0010-0757, Vol. 48, Fasc. 1-2, 1997, págs. 1-30
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • We construct $p$-adic analytic families of $p$-ordinary cohomology classes in the cohomology of arithmetic subgroups of $GL(n)$ with coefficients in a family of representation spaces for $GL(n)$. These analytic families are parametrized by the highest weights of the coefficient modules. More precisely, we consider the cohomology of a compact $\mathbb{Z}_p$-module $\mathbb{D}$ of $p$-adic measures on a certain homogeneous space of $GL(n,\mathbb{Z}_p)$. For any dominant weight $\lambda$ with respect to a fixed choice $(B, T)$ of a Borel subgroup $B$ and a maximal split torus $T\subseteq B$ and for any finite "nebentype" character $\epsilon : T(\mathbb{Z}_p)\longrightarrow\mathbb{Z} ^x_p$ we construct a $\mathbb{Z}_p$-map from $\mathbb{D}$ to $V_{\lambda,\epsilon}$. These maps are equivariant for commuting actions of $T(\mathbb{Z}_p)$ and $\Gamma_\nu$ where $\Gamma_\nu \subseteq GL(n, \mathbb{Z})$ is a congruence subgroup analogous to $\Gamma_0(p^\nu)$ where $p^\nu$ is the conductor of $\epsilon$ . We also make the matrix $\pi := diag(1, p, p^2,\dots , p^{n-1})$ act equivariantly on all these modules. We obtain a $\Lambda := \mathbb{Z}_p[[T(\mathbb{Z}_p)]]$-module structure on $H^\ast(\Gamma,\mathbb{D})$ and Hecke actions on $H^\ast(\Gamma,\mathbb{D})$ and $H^\ast(\Gamma_\nu, V_{\lambda,\epsilon})$ with Hecke equivariant maps $\phi_{\lambda,\epsilon} : H^\ast(\Gamma,\mathbb{D})\longrightarrow H^\ast(\Gamma_\nu, V_{\lambda,\epsilon})$, where $\Gamma$ is a congruence subgroup of $GL(n,\mathbb{Z})$ of level prime to $p$ and $\Gamma_\nu$ is one of a certain family of congruence subgroups of $\Gamma$ with $p$ in their level. Let $\phi^0_ {\lambda,\epsilon}$ denote the map induced by $\phi_{\lambda,\epsilon}$ on the $\Gamma\pi\Gamma$-ordinary part of $H^\ast(\Gamma,\mathbb{D})$. Our main theorem states that the kernel of $\phi^0_{\lambda,\epsilon}$ is $I_{\lambda,\epsilon}H^\ast(\Gamma,\mathbb{D})^0$ where $I_{\lambda,\epsilon}$ is the kernel of the ring homomorphism induced on $\Lambda$ by the character $\lambda$ .

• Referencias bibliográficas
  • A. Ash, D. Grayson and P. Green, Cuspidal cohomology of congruence subgroups of $SL(3,\mathbb{Z})$, J. Number Theory 19 (1984), 412–436.
  • A. Ash and M. McConnell, Doubly cuspidal cohomology for principal congruence subgroups of $GL(3,\mathbb{Z})$, Math. Comp. 59 (1992), 673–688.
  • A. Ash, P. Richard and R. Taylor, An $l$-adic extension of $Q$ attached to a non-selfdual automorphic form on $GL(3)$, Math. Ann. 291 (1991),...
  • A. Ash, Galois representations attached to mod $p$ cohomology of $GL(n,\mathbb{Z})$, Duke Math. J. 65 (1992), 235–255.
  • A. Ash, Galois representations and cohomology of $GL(n)$, Proceedings of the Séminaire de Théorie des Nombres de Paris (1989-90), Birkhäuser,...
  • Ash and M. McConnell, Experimental indications of three-dimensional Galois representations from the cohomology of $SL(3,\mathbb{Z})$, Journal...
  • A. Ash and G. Stevens, Cohomology of arithmetic groups and congruences between systems of Hecke eigenvalues, J. Reine Angew. Math. 365 (1986),...
  • K. Brown, Cohomology of Groups, Springer, 1982.
  • R. Coleman, $p$-Adic Banach spaces and families of modular forms, preprint.
  • B. van Geemen and J. Top, A non-selfdual automorphic representation of $GL\_3$ and a Galois representation, Invent. Math. 117 (1994), 391–401.
  • R. Greenberg and G. Stevens, $p$-adic $L$-functions and $p$-adic periods of modular forms, Invent. Math. 111 (1993), 407–447.
  • H. Hida, Control theorems on $p$-nearly ordinary cohomology groups for $SL(n)$, to appear in Bull. Soc. Math. France.
  • R. Howe, Perspectives on Invariant Theory, The Schur Lectures, (1992), ed. I. Piatetski-Shapiro and S. Gelbart, Bar-Ilan, 1995.
  • J. Lanter, Representations of Algebraic Groups, Boston, Academic Press, 1987.
  • S. Lang, Algebra, second ed., Addison-Wesley, 1984.
  • G. Stevens, Rigid analytic modular symbols, preprint.
  • J. Tilouine and E. Urban, Familles $p$-adiques à trois variables de formes de Siegel et de représentations galoisiennes, C. R. Acad. Sci....