-
Cohomology with Sym^g coefficients for congruence subgroups of SL_4(Z) and Galois representations
Authors:
Avner Ash,
Paul E. Gunnells,
Mark McConnell
Abstract:
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 eigenc…
▽ More
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.
△ Less
Submitted 12 May, 2024;
originally announced May 2024.
-
Hopf algebras, Steinberg modules, and the unstable cohomology of $SL_n(\mathbb Z)$ and $GL_n(\mathbb Z)$
Authors:
Avner Ash,
Jeremy Miller,
Peter Patzt
Abstract:
We prove that the direct sum of all homology groups of the integral general linear groups with Steinberg module coefficients form a commutative Hopf algebra, in particular a free graded commutative algebra. We use this to construct new infinite families of unstable cohomology classes of $SL_n(\mathbb Z)$.
We prove that the direct sum of all homology groups of the integral general linear groups with Steinberg module coefficients form a commutative Hopf algebra, in particular a free graded commutative algebra. We use this to construct new infinite families of unstable cohomology classes of $SL_n(\mathbb Z)$.
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
Scaling on-chip photonic neural processors using arbitrarily programmable wave propagation
Authors:
Tatsuhiro Onodera,
Martin M. Stein,
Benjamin A. Ash,
Mandar M. Sohoni,
Melissa Bosch,
Ryotatsu Yanagimoto,
Marc Jankowski,
Timothy P. McKenna,
Tianyu Wang,
Gennady Shvets,
Maxim R. Shcherbakov,
Logan G. Wright,
Peter L. McMahon
Abstract:
On-chip photonic processors for neural networks have potential benefits in both speed and energy efficiency but have not yet reached the scale at which they can outperform electronic processors. The dominant paradigm for designing on-chip photonics is to make networks of relatively bulky discrete components connected by one-dimensional waveguides. A far more compact alternative is to avoid explici…
▽ More
On-chip photonic processors for neural networks have potential benefits in both speed and energy efficiency but have not yet reached the scale at which they can outperform electronic processors. The dominant paradigm for designing on-chip photonics is to make networks of relatively bulky discrete components connected by one-dimensional waveguides. A far more compact alternative is to avoid explicitly defining any components and instead sculpt the continuous substrate of the photonic processor to directly perform the computation using waves freely propagating in two dimensions. We propose and demonstrate a device whose refractive index as a function of space, $n(x,z)$, can be rapidly reprogrammed, allowing arbitrary control over the wave propagation in the device. Our device, a 2D-programmable waveguide, combines photoconductive gain with the electro-optic effect to achieve massively parallel modulation of the refractive index of a slab waveguide, with an index modulation depth of $10^{-3}$ and approximately $10^4$ programmable degrees of freedom. We used a prototype device with a functional area of $12\,\text{mm}^2$ to perform neural-network inference with up to 49-dimensional input vectors in a single pass, achieving 96% accuracy on vowel classification and 86% accuracy on $7 \times 7$-pixel MNIST handwritten-digit classification. This is a scale beyond that of previous photonic chips relying on discrete components, illustrating the benefit of the continuous-waves paradigm. In principle, with large enough chip area, the reprogrammability of the device's refractive index distribution enables the reconfigurable realization of any passive, linear photonic circuit or device. This promises the development of more compact and versatile photonic systems for a wide range of applications, including optical processing, smart sensing, spectroscopy, and optical communications.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Explicit sharbly cycles at the virtual cohomological dimension for SL_n(Z)
Authors:
Avner Ash,
Paul E. Gunnells,
Mark McConnell
Abstract:
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 co…
▽ More
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).
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
On the cohomology of SL$_n(\mathbb{Z})$
Authors:
Avner Ash
Abstract:
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.
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.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Cohomology of congruence subgroups of SL_3(Z), Steinberg modules, and real quadratic fields
Authors:
Avner Ash,
Dan Yasaki
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 July, 2021;
originally announced July 2021.
-
DebrisWatch I: A survey of faint geosynchronous debris
Authors:
James A. Blake,
Paul Chote,
Don Pollacco,
William Feline,
Grant Privett,
Andrew Ash,
Stuart Eves,
Arthur Greenwood,
Nick Harwood,
Thomas R. Marsh,
Dimitri Veras,
Christopher Watson
Abstract:
Recent anomalies exhibited by satellites and rocket bodies have highlighted that a population of faint debris exists at geosynchronous (GEO) altitudes, where there are no natural removal mechanisms. Despite previous optical surveys probing to around 10-20 cm in size, regular monitoring of faint sources at GEO is challenging, thus our knowledge remains sparse. It is essential that we continue to ex…
▽ More
Recent anomalies exhibited by satellites and rocket bodies have highlighted that a population of faint debris exists at geosynchronous (GEO) altitudes, where there are no natural removal mechanisms. Despite previous optical surveys probing to around 10-20 cm in size, regular monitoring of faint sources at GEO is challenging, thus our knowledge remains sparse. It is essential that we continue to explore the faint debris population using large telescopes to better understand the risk posed to active GEO satellites. To this end, we present photometric results from a survey of the GEO region carried out with the 2.54 m Isaac Newton Telescope in La Palma, Canary Islands. We probe to 21st visual magnitude (around 10 cm, assuming Lambertian spheres with an albedo of 0.1), uncovering 129 orbital tracks with GEO-like motion across the eight nights of dark-grey time comprising the survey. The faint end of our brightness distribution continues to rise until the sensitivity limit of the sensor is reached, suggesting that the modal brightness could be even fainter. We uncover a number of faint, uncatalogued objects that show photometric signatures of rapid tumbling, many of which straddle the limiting magnitude of our survey over the course of a single exposure, posing a complex issue when estimating object size. This work presents the first instalment of DebrisWatch, an ongoing collaboration between the University of Warwick and the Defence Science and Technology Laboratory (UK) investigating the faint population of GEO debris.
△ Less
Submitted 28 August, 2020;
originally announced August 2020.
-
Steinberg homology, modular forms, and real quadratic fields
Authors:
Avner Ash,
Dan Yasaki
Abstract:
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_βindexed by beta in E \ Q. W…
▽ More
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_β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 $ψ_{Γ,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 Γ_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.
△ Less
Submitted 1 June, 2020;
originally announced June 2020.
-
Cohomology with twisted one-dimensional coefficients for congruence subgroups of SL(4,Z) and Galois representations
Authors:
Avner Ash,
Paul E. Gunnells,
Mark McConnell
Abstract:
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 eigen…
▽ More
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.
△ Less
Submitted 22 June, 2018;
originally announced June 2018.
-
Homological vanishing for the Steinberg representation
Authors:
Avner Ash,
Andrew Putman,
Steven V Sam
Abstract:
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$.
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$.
△ Less
Submitted 27 November, 2017; v1 submitted 26 April, 2017;
originally announced April 2017.
-
Even Galois representations and the cohomology of GL(2,Z)
Authors:
Avner Ash,
Darrin Doud
Abstract:
Let $ρ$ be a two-dimensional even Galois representation which is induced from a character $χ$ of odd order of the absolute Galois group of a real quadratic field. After imposing some additional conditions on $χ$, we attach $ρ$ 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…
▽ More
Let $ρ$ be a two-dimensional even Galois representation which is induced from a character $χ$ of odd order of the absolute Galois group of a real quadratic field. After imposing some additional conditions on $χ$, we attach $ρ$ 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.
△ Less
Submitted 23 February, 2017;
originally announced February 2017.
-
On the growth of torsion in the cohomology of arithmetic groups
Authors:
Avner Ash,
Paul E. Gunnells,
Mark McConnell,
Dan Yasaki
Abstract:
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 to…
▽ More
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.
△ Less
Submitted 20 August, 2016;
originally announced August 2016.
-
Mod 2 homology for GL(4) and Galois representations
Authors:
Avner Ash,
Paul E. Gunnells,
Mark McConnell
Abstract:
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…
▽ More
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].
△ Less
Submitted 13 June, 2013; v1 submitted 20 April, 2013;
originally announced April 2013.
-
Reducible Galois representations and the homology of GL(3,Z)
Authors:
Avner Ash,
Darrin Doud
Abstract:
We prove the following theorem: Let $\bar\F_p$ be an algebraic closure of a finite field of characteristic $p$. Let $ρ$ 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 $ρ$ is squarefree, we prove that $ρ$ is atta…
▽ More
We prove the following theorem: Let $\bar\F_p$ be an algebraic closure of a finite field of characteristic $p$. Let $ρ$ 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 $ρ$ is squarefree, we prove that $ρ$ is attached to a Hecke eigenclass in the homology of an arithmetic subgroup $Γ$ 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.
△ Less
Submitted 14 May, 2012;
originally announced May 2012.
-
Resolutions of the Steinberg module for GL(n)
Authors:
Avner Ash,
Paul E. Gunnells,
Mark McConnell
Abstract:
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 poly…
▽ More
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.
△ Less
Submitted 24 June, 2011;
originally announced June 2011.
-
Torsion in the cohomology of congruence subgroups of SL(4,Z) and Galois representations
Authors:
Avner Ash,
Paul E. Gunnells,
Mark McConnell
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 February, 2010;
originally announced February 2010.
-
Cohomology of Congruence Subgroups of SL_4(Z). III
Authors:
Avner Ash,
Paul E. Gunnells,
Mark McConnell
Abstract:
In two previous papers [AGM1, AGM2] we computed cohomology groups H^5(Γ_0 (N); \C) for a range of levels N, where Γ_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 mai…
▽ More
In two previous papers [AGM1, AGM2] we computed cohomology groups H^5(Γ_0 (N); \C) for a range of levels N, where Γ_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(Γ_0 (N); \C) for N prime coming from Eisenstein series and Siegel modular forms.
△ Less
Submitted 2 August, 2009; v1 submitted 18 March, 2009;
originally announced March 2009.
-
The duty cycle of local radio galaxies
Authors:
Stanislav S. Shabala,
Summer A. Ash,
Paul Alexander,
Julia M. Riley
Abstract:
We use a volume- and flux-limited sample of local ($0.03 \leq z \leq 0.1$) radio galaxies with optical counterparts to address the question of how long a typical galaxy spends in radio-active and quiescent states. The length of the active phase has a strong dependence on the stellar mass of the host galaxy. Radio sources in the most massive hosts are also retriggered more frequently. The time sp…
▽ More
We use a volume- and flux-limited sample of local ($0.03 \leq z \leq 0.1$) radio galaxies with optical counterparts to address the question of how long a typical galaxy spends in radio-active and quiescent states. The length of the active phase has a strong dependence on the stellar mass of the host galaxy. Radio sources in the most massive hosts are also retriggered more frequently. The time spent in the active phase has the same dependence on stellar mass as does the gas cooling rate, suggesting the onset of the quiescent phase is due to fuel depletion. We find radio and emission line AGN activity to be independent, consistent with these corresponding to different accretion states.
△ Less
Submitted 27 May, 2008;
originally announced May 2008.
-
Cohomology of Congruence Subgroups of SL(4,\Z) II
Authors:
Avner Ash,
Paul E. Gunnells,
Mark McConnell
Abstract:
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…
▽ More
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.
△ Less
Submitted 25 June, 2007;
originally announced June 2007.
-
Constructing a quadrilateral inside another one
Authors:
J. M. Ash,
M. A. Ash,
P. F. Ash
Abstract:
Connect each vertex of a convex quadrilateral Q to the midpoint of the next (proceeding counterclockwise) side. The four connecting lines create an interior quadrilateral I. We study the ratio area(I)/area(Q). We also determine what happens to area(I)/area(Q) when the four midpoints are replaced by points which divide the sides in the ratio of rho to (1-rho) proceeding clockwise. Here rho is any…
▽ More
Connect each vertex of a convex quadrilateral Q to the midpoint of the next (proceeding counterclockwise) side. The four connecting lines create an interior quadrilateral I. We study the ratio area(I)/area(Q). We also determine what happens to area(I)/area(Q) when the four midpoints are replaced by points which divide the sides in the ratio of rho to (1-rho) proceeding clockwise. Here rho is any fixed number satisfying 0 < rho < 1.
△ Less
Submitted 17 September, 2007; v1 submitted 20 April, 2007;
originally announced April 2007.
-
Rigidity of p-adic cohomology classes of congruence subgroups of GL(n, Z)
Authors:
Avner Ash,
David Pollack,
Glenn Stevens
Abstract:
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 arithmeti…
▽ More
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.
△ Less
Submitted 2 September, 2006;
originally announced September 2006.
-
A_6-extensions of Q and the mod p cohomology of GL(3,Z)
Authors:
Avner Ash,
David Pollack,
Warren Sinnott
Abstract:
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.
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.
△ Less
Submitted 22 October, 2004;
originally announced October 2004.
-
Moment Problems and the Causal Set Approach to Quantum Gravity
Authors:
Avner Ash,
Patrick McDonald
Abstract:
We study a collection of discrete Markov chains related to the causal set approach to modeling discrete theories of quantum gravity. The transition probabilities of these chains satisfy a general covariance principle, a causality principle, and a renormalizability condition. The corresponding dynamics are completely determined by a sequence of nonnegative real coupling constants. Using technique…
▽ More
We study a collection of discrete Markov chains related to the causal set approach to modeling discrete theories of quantum gravity. The transition probabilities of these chains satisfy a general covariance principle, a causality principle, and a renormalizability condition. The corresponding dynamics are completely determined by a sequence of nonnegative real coupling constants. Using techniques related to the classical moment problem, we give a complete description of any such sequence of coupling constants. We prove a representation theorem: every discrete theory of quantum gravity arising from causal set dynamics satisfying covariance, causality and renormalizability corresponds to a unique probability distribution function on the nonnegative real numbers, with the coupling constants defining the theory given by the moments of the distribution.
△ Less
Submitted 6 September, 2002;
originally announced September 2002.
-
Galois representations with conjectural connections to arithmetic cohomology
Authors:
Avner Ash,
Darrin Doud,
David Pollack
Abstract:
In this paper we extend a conjecture of Ash and Sinnott relating niveau one Galois representation to the mod p cohomology of congruence subgroups of SL(n,Z) to include Galois representations of higher niveau. We then present computational evidence for our conjecture in the case n=3 in the form of three-dimensional Galois representations which appear to correspond to cohomology eigenclasses as pr…
▽ More
In this paper we extend a conjecture of Ash and Sinnott relating niveau one Galois representation to the mod p cohomology of congruence subgroups of SL(n,Z) to include Galois representations of higher niveau. We then present computational evidence for our conjecture in the case n=3 in the form of three-dimensional Galois representations which appear to correspond to cohomology eigenclasses as predicted by the conjecture. Our examples include Galois representations with nontrivial weight and level, as well as irreducible three-dimensional representations which are in no obvious way related to lower dimensional representations. In addition, we prove that certain symmetric square representations are actually attached to cohomology eigenclasses predicted by the conjecture.
△ Less
Submitted 5 February, 2001;
originally announced February 2001.
-
Cohomology of congruence subgroups of SL(4,Z)
Authors:
Avner Ash,
Paul E. Gunnells,
Mark McConnell
Abstract:
Let $N>1$ be an integer, and let $Γ= Γ_0 (N) \subset \SL_4 (\Z)$ be the subgroup of matrices with bottom row congruent to $(0,0,0,*)\mod N$. We compute $H^5 (Γ; \C) $ for a range of $N$, and compute the action of some Hecke operators on many of these groups. We relate the classes we find to classes coming from the boundary of the Borel-Serre compactification, to Eisenstein series, and to classic…
▽ More
Let $N>1$ be an integer, and let $Γ= Γ_0 (N) \subset \SL_4 (\Z)$ be the subgroup of matrices with bottom row congruent to $(0,0,0,*)\mod N$. We compute $H^5 (Γ; \C) $ for a range of $N$, and compute the action of some Hecke operators on many of these groups. We relate the classes we find to classes coming from the boundary of the Borel-Serre compactification, to Eisenstein series, and to classical holomorphic modular forms of weights 2 and 4.
△ Less
Submitted 30 March, 2000;
originally announced March 2000.
-
An analogue of Serre's conjecture for Galois representations and Hecke eigenclasses in the mod-p cohomology of GL(n,Z)
Authors:
Avner Ash,
Warren Sinnott
Abstract:
The conjecture of Serre referred in the title is the one about modularity of odd Galois representations into GL(2,F) where F is a finite field of characteristic p. We present an analogous conjecture where GL(2) is replaced by GL(n). We explain the analogue of "oddness." We then present some theoretical and experimental evidence for the conjecture, primarily when n = 3. Our conjecture does not re…
▽ More
The conjecture of Serre referred in the title is the one about modularity of odd Galois representations into GL(2,F) where F is a finite field of characteristic p. We present an analogous conjecture where GL(2) is replaced by GL(n). We explain the analogue of "oddness." We then present some theoretical and experimental evidence for the conjecture, primarily when n = 3. Our conjecture does not require the Galois representation to be irreducible. Our most interesting examples involve the sum of an irreducible even 2-dimensional representation and a 1-dimensional representation.
△ Less
Submitted 6 June, 1999;
originally announced June 1999.
-
Cohomology at infinity and the well-rounded retract for general Linear Groups
Authors:
Avner Ash,
Mark W. McConnell
Abstract:
Let $\bold G$ be a reductive algebraic group defined over $\Q$, and let $Γ$ be an arithmetic subgroup of $\bold G(\Q)$. Let $X$ be the symmetric space for $\bold G(\R)$, and assume $X$ is contractible. Then the cohomology (mod torsion) of the space $X/Γ$ is the same as the cohomology of $Γ$. In turn, $X/Γ$ will have the same cohomology as $W/Γ$, if $W$ is a ``spine'' in $X$. This means that $W$…
▽ More
Let $\bold G$ be a reductive algebraic group defined over $\Q$, and let $Γ$ be an arithmetic subgroup of $\bold G(\Q)$. Let $X$ be the symmetric space for $\bold G(\R)$, and assume $X$ is contractible. Then the cohomology (mod torsion) of the space $X/Γ$ is the same as the cohomology of $Γ$. In turn, $X/Γ$ will have the same cohomology as $W/Γ$, if $W$ is a ``spine'' in $X$. This means that $W$ (if it exists) is a deformation retract of $X$ by a $Γ$-equivariant deformation retraction, that $W/Γ$ is compact, and that $\dim W$ equals the virtual cohomological dimension (vcd) of $Γ$. Then $W$ can be given the structure of a cell complex on which $Γ$ acts cellularly, and the cohomology of $W/Γ$ can be found combinatorially.
△ Less
Submitted 18 November, 1996;
originally announced November 1996.