Even Galois representations and the cohomology of GL(2,Z)

Avner Ash,Darrin Doud
DOI: https://doi.org/10.48550/arXiv.1702.07417
2017-02-24
Abstract:Let $\rho$ be a two-dimensional even Galois representation which is induced from a character $\chi$ of odd order of the absolute Galois group of a real quadratic field. After imposing some additional conditions on $\chi$, we attach $\rho$ to a Hecke eigenclass in the cohomology of ${\rm GL}(2,\mathbb Z)$ with coefficients in a certain infinite-dimensional vector space over a field of characteristic not equal to 2.
Number Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to relate specific even Galois representations to Hecke eigenclasses in arithmetic cohomology groups. Specifically, the authors focus on two - dimensional even Galois representations $\rho$ induced by odd - order characters $\chi$ on the absolute Galois group of a real quadratic field $K$. After imposing some additional conditions on the character $\chi$, they relate this representation to Hecke eigenclasses in the cohomology of GL(2, Z) with a specific infinite - dimensional coefficient space. ### Specific description of the main problem 1. **Construction of even Galois representations**: Consider a real quadratic field $K$ and an odd - order character $\chi$ on its absolute Galois group. From this, a two - dimensional even Galois representation $\rho=\text{Ind}_{G_K}^{G_\mathbb{Q}}\chi$ can be constructed. 2. **Association of Hecke eigenclasses**: By introducing a non - algebraic, infinite - dimensional coefficient module $M_{S,q}$, the authors hope to prove that this even Galois representation $\rho$ can be attached to a certain Hecke eigenclass in the cohomology of GL(2, Z). 3. **Form of the main theorem**: Eventually, their main theorem (Theorem 11.1) shows that, under certain conditions, the given even Galois representation $\rho$ can indeed be attached to a Hecke eigenclass in the cohomology of GL(2, Z). ### Formula presentation - **Definition of Galois representation**: \[ \rho: G_\mathbb{Q}\to\text{GL}(2,F) \] where $F$ is a field with characteristic not equal to 2. - **Definition of characteristic polynomial**: For almost all prime numbers $\ell$, we have \[ \det(I - \rho(\text{Frob}_\ell)X)=1 - a_\ell X+A_\ell X^2 \] where $a_\ell$ and $A_\ell$ are the eigenvalues of the Hecke operators $T_\ell$ and $T_{\ell,\ell}$ acting on eigenvectors respectively. - **Coefficient module of cohomology group**: \[ M_{S,q} \] is a non - algebraic, infinite - dimensional vector space, whose elements are formal sums \[ \sum_{x\in X_{S,q}}c_x x \] satisfying certain relations. ### Summary The core objective of this paper is to relate even Galois representations to Hecke eigenclasses in arithmetic cohomology groups by introducing appropriate infinite - dimensional coefficient modules, thus extending the existing research results on odd Galois representations. This work is not only of theoretical significance, but also provides new tools and methods for further research on higher - dimensional Galois representations.