arXiv Science⌕ Search

arXiv subjects

Avner Ash

Publications and source records attributed to Avner Ash.

At least 19 recordsLinked to original sources
arXiv2024

Cohomology with Sym^g coefficients for congruence subgroups of SL_4(Z) and Galois representations

We extend the computations in our prior work to find the cohomology in degree five of a congruence subgroup Gamma of SL_4(Z) with coefficients in Sym^g(K^4), twisted by a nebentype character eta, along with the action of the Hecke algebra. This is the top cuspidal degree. In this paper we take K to be a finite field of large characteristic, as a proxy for the complex numbers. For each Hecke eigenclass found, we produce the unique Galois representation that appears to be attached to it. The computations require modifications to our previous algorithms to accommodate the fact that the coefficients are not one-dimensional.

math.NT↗
arXiv2024

Explicit sharbly cycles at the virtual cohomological dimension for SL_n(Z)

Denote the virtual cohomological dimension of SL_n(Z) by t=n(n-1)/2. Let St denote the Steinberg module of SL_n(Q) tensored with Q. Let Sh_* denote the sharbly resolution of the Steinberg module St. By Borel-Serre duality, the one-dimensional Q-vector space H^0(SL_n(Z), Q) is isomorphic to H_t(SL_n(Z),St). We find an explicit generator of H_t(SL_n(Z),St) in terms of sharbly cycles and cosharbly cocycles. These methods may extend to other degrees of cohomology of SL_n(Z).

math.GT↗
arXiv2024

On the cohomology of SL$_n(\mathbb{Z})$

Let St denote the Steinberg module of $SL_n(Q)$ tensored with Q. Let Sh denote the sharbly resolution of St. By Borel-Serre duality, $H^{n(n-1)/2-i}(SL_n(Z),Q)$ is isomorphic to $H_i(SL_n(Z),St)$. The latter is isomorphic to the homology of the $SL_n(Z)$-coinvariants of Sh. We produce nonzero classes in $H_i(SL_n(Z),St)$ for certain small $i$ in terms of sharbly cycles and cosharbly cocycles.

math.NT↗
arXiv2021

Cohomology of congruence subgroups of SL_3(Z), Steinberg modules, and real quadratic fields

We investigate the homology of a congruence subgroup Gamma of SL_3(Z) with coefficients in the Steinberg modules St(Q^3) and St(E^3), where E is a real quadratic field and the coefficients are Q. By Borel-Serre duality, H_0(Gamma, St(Q^3)) is isomorphic to H^3(Gamma,Q). Taking the image of the connecting homomorphism H_1(Gamma, St(E^3)/St(Q^3)) \to H_0(Gamma, St(Q^3)), followed by the Borel-Serre isomorphism, we obtain a naturally defined Hecke-stable subspace H(Gamma,E) of H^3(Gamma,Q). We conjecture that H(Gamma,E) is independent of E and consists of the cuspidal cohomology H_cusp^3(Gamma,Q) plus a certain subspace of H^3(Gamma, Q)$ that is isomorphic to the sum of the cuspidal cohomologies of the maximal faces of the Borel-Serre boundary. We report on computer calculations of H(Gamma,E) for various Gamma, E which provide evidence for the conjecture. We give a partial heuristic for the conjecture.

math.NT↗
arXiv2020

Steinberg homology, modular forms, and real quadratic fields

We compare the homology of a congruence subgroup Gamma of GL_2(Z) with coefficients in the Steinberg modules over Q and over E, where E is a real quadratic field. If R is any commutative base ring, the last connecting homomorphism psi_{Gamma,E} in the long exact sequence of homology stemming from this comparison has image in H_0(Gamma, St(Q^2;R)) generated by classes z_\beta indexed by beta in E \ Q. We investigate this image. When R=C, H_0(Gamma, St(Q^2;C)) is isomorphic to a space of classical modular forms of weight 2, and the image lies inside the cuspidal part. In this case, z_beta is closely related to periods of modular forms over the geodesic in the upper half plane from beta to its conjugate beta'. Assuming GRH we prove that the image of $\psi_{\Gamma,E}$ equals the entire cuspidal part. When R=Z, we have an integral version of the situation. We define the cuspidal part of the Steinberg homology, H_0^cusp(Gamma, St(Q^2;Z)). Assuming GRH we prove that for any congruence subgroup, psi_{Gamma,E} always has finite index in H_0^cusp(Gamma, St(Q^2;Z)), and if Gamma=Gamma_1(N)^pm or \Gamma_1(N), then the image is all of H_0^cusp(Gamma, St(Q^2;Z)). If Gamma=Gamma_0(N)^pm or Gamma_0(N), we prove (still assuming GRH) an upper bound for the size of H_0^cusp(Gamma, St(Q^2;Z))/image(psi_{Gamma,E}). We conjecture that the results in this paragraph are true unconditionally. We also report on extensive computations of the image of psi_{Gamma,E} that we made for Gamma=Gamma_0(N)^pm and Gamma=Gamma_0(N). Based on these computations, we believe that the image of psi_{Gamma,E} is not all of H_0^cusp(Gamma, St(Q^2;Z)) for these groups, for general N.

math.NT↗
arXiv2018

Cohomology with twisted one-dimensional coefficients for congruence subgroups of SL(4,Z) and Galois representations

We extend the computations in [AGM1, AGM2, AGM3] to find the cohomology in degree five of a congruence subgroup Gamma of SL(4,Z) with coefficients in a field K, twisted by a nebentype character eta, along with the action of the Hecke algebra. This is the top cuspidal degree. In practice we take K to be a finite field of large characteristic, as a proxy for the complex numbers. For each Hecke eigenclass found, we produce a Galois representation that appears to be attached to it. Our computations show that in every case this Galois representation is the only one that could be attached to it. The existence of the attached Galois representations agrees with a theorem of Scholze and sheds light on the Borel-Serre boundary for Gamma. The computations require serious modifications to our previous algorithms to accommodate the twisted coefficients. Nontrivial coefficients add a layer of complication to our data structures, and new possibilites arise that must be taken into account in the Galois Finder, the code that finds the Galois representations. We have improved the Galois Finder so that it reports when the attached Galois representation is uniquely determined by our data.

math.NT↗
arXiv2017

Homological vanishing for the Steinberg representation

For a field $k$, we prove that the $i$th homology of the groups $GL_n(k)$, $SL_n(k)$, $Sp_{2n}(k)$, $SO_{n,n}(k)$, and $SO_{n,n+1}(k)$ with coefficients in their Steinberg representations vanish for $n \geq 2i+2$.

math.AT↗
arXiv2017

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

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.

math.NT↗
arXiv2016

On the growth of torsion in the cohomology of arithmetic groups

Let G be a semisimple Lie group with associated symmetric space D, and let Gamma subset G be a cocompact arithmetic group. Let L be a lattice inside a Z Gamma-module arising from a rational finite-dimensional complex representation of G. Bergeron and Venkatesh recently gave a precise conjecture about the growth of the order of the torsion subgroup H_i (Gamma_k; L )_tors as Gamma_k ranges over a tower of congruence subgroups of Gamma. In particular they conjectured that the ratio (log |H_i (Gamma_k ; L)_tors|)/[Gamma : Gamma_k] should tend to a nonzero limit if and only if i= (dim(D)-1)/2 and G is a group of deficiency 1. Furthermore, they gave a precise expression for the limit. In this paper, we investigate computationally the cohomology of several (non-cocompact) arithmetic groups, including GL_n (Z) for n=3,4,5 and GL_2 (O) for various rings of integers, and observe its growth as a function of level. In all cases where our dataset is sufficiently large, we observe excellent agreement with the same limit as in the predictions of Bergeron--Venkatesh. Our data also prompts us to make two new conjectures on the growth of torsion not covered by the Bergeron--Venkatesh conjecture.

math.NT↗
arXiv2013

Mod 2 homology for GL(4) and Galois representations

We extend the computations in [AGM4] to find the mod 2 homology in degree 1 of a congruence subgroup Gamma of SL(4,Z) with coefficients in the sharbly complex, along with the action of the Hecke algebra. This homology group is closely related to the cohomology of Gamma with F_2 coefficients in the top cuspidal degree. These computations require a modification of the algorithm to compute the action of the Hecke operators, whose previous versions required division by 2. We verify experimentally that every mod 2 Hecke eigenclass found appears to have an attached Galois representation, giving evidence for a conjecture in [AGM4]. Our method of computation was justified in [AGM5].

math.NT↗
arXiv2012

Reducible Galois representations and the homology of GL(3,Z)

We prove the following theorem: Let $\bar\F_p$ be an algebraic closure of a finite field of characteristic $p$. Let $\rho$ be a continuous homomorphism from the absolute Galois group of $\Q$ to $\GL(3,\bar\F_p)$ which is isomorphic to a direct sum of a character and a two-dimensional odd irreducible representation. Under the condition that the conductor of $\rho$ is squarefree, we prove that $\rho$ is attached to a Hecke eigenclass in the homology of an arithmetic subgroup $\Gamma$ of $\GL(3,\Z)$. In addition, we prove that the coefficient module needed is, in fact, predicted by a conjecture of Ash, Doud, Pollack, and Sinnott.

math.NT↗
arXiv2011

Resolutions of the Steinberg module for GL(n)

We give several resolutions of the Steinberg representation St_n for the general linear group over a principal ideal domain, in particular over Z. We compare them, and use these results to prove that the computations in [AGM4] are definitive. In particular, in [AGM4] we use two complexes to compute certain cohomology groups of congruence subgroups of SL(4,Z). One complex is based on Voronoi's polyhedral decomposition of the symmetric space for SL(n,R), whereas the other is a larger complex that has an action of the Hecke operators. We prove that both complexes allow us to compute the relevant cohomology groups, and that the use of the Voronoi complex does not introduce any spurious Hecke eigenclasses.

math.NT↗
arXiv2010

Torsion in the cohomology of congruence subgroups of SL(4,Z) and Galois representations

We report on the computation of torsion in certain homology theories of congruence subgroups of SL(4,Z). Among these are the usual group cohomology, the Tate-Farrell cohomology, and the homology of the sharbly complex. All of these theories yield Hecke modules. We conjecture that the Hecke eigenclasses in these theories have attached Galois representations. The interpretation of our computations at the torsion primes 2,3,5 is explained. We provide evidence for our conjecture in the 15 cases of odd torsion that we found in levels up to 31.

math.NT↗
arXiv2009

Cohomology of Congruence Subgroups of SL_4(Z). III

In two previous papers [AGM1, AGM2] we computed cohomology groups H^5(\Gamma_0 (N); \C) for a range of levels N, where \Gamma_0 (N) is the congruence subgroup of SL_4 (\Z) consisting of all matrices with bottom row congruent to (0,0,0,*) mod N. In this note we update this earlier work by carrying it out for prime levels up to N = 211. This requires new methods in sparse matrix reduction, which are the main focus of the paper. Our computations involve matrices with up to 20 million non-zero entries. We also make two conjectures concerning the contributions to H^5(\Gamma_0 (N); \C) for N prime coming from Eisenstein series and Siegel modular forms.

math.NT↗
arXiv2007

Cohomology of Congruence Subgroups of SL(4,\Z) II

In a previous paper [3] we computed cohomology groups H^5 (Gamma_0 (N), \C), where Gamma_0 (N) is a certain congruence subgroup of SL (4, \Z), for a range of levels N. In this note we update this earlier work by extending the range of levels and describe cuspidal cohomology classes and additional boundary phenomena found since the publication of [3]. The cuspidal cohomology classes in this paper are the first cuspforms for GL(4) concretely constructed in terms of Betti cohomology.

math.NT↗
arXiv2006

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

We extend the work of Ash and Stevens [Ash-Stevens 97] on p-adic analytic families of p-ordinary arithmetic cohomology classes for GL(N,Q) by introducing and investigating the concept of p-adic rigidity of arithmetic Hecke eigenclasses. An arithmetic eigenclass is said to be "rigid" if (modulo twisting) it does not admit a nontrivial p-adic deformation containing a Zariski dense set of arithmetic specializations. This paper develops tools for explicit investigation into the structure of eigenvarieties for GL(N). We use these tools to prove that known examples of non-sefldual cohomological cuspforms for GL(3) are rigid. Moreover, we conjecture that for GL(3), rigidity is equivalent to non-selfduality.

math.NT↗
arXiv2004

A_6-extensions of Q and the mod p cohomology of GL(3,Z)

We present six examples of 3-dimensional mod p Galois representations of type A_6 for which we were able to obtain computational evidence for the generalization of Serre's Conjecture proposed by Ash, Doud, Pollack, and Sinnott. We also propose a further refinement of the conjecture corresponding to the "peu vs. tr`es ramifi'ee" distinction of Serre.

math.NT↗