arXiv subjects
Publications and source records attributed to Paul E. Gunnells.
We survey techniques to compute the action of the Hecke operators on the cohomology of arithmetic groups. These techniques can be seen as generalizations in different directions of the classical modular symbol algorithm, due to Manin and Ash-Rudolph. Most of the work is contained in papers of the author and the author with Mark McConnell. Some results are unpublished work of Mark McConnell and Robert MacPherson.
We discuss computation of the special values of partial zeta functions associated to totally real number fields. The main tool is the \emph{Eisenstein cocycle} $Ψ$, a group cocycle for $GL_{n} (\Z )$; the special values are computed as periods of $Ψ$, and are expressed in terms of generalized Dedekind sums. We conclude with some numerical examples for cubic and quartic fields of small discriminant.
Let G be a torsion-free finite-index subgroup of SL(n,Z) or GL(n,Z), and let d be the cohomological dimension of G. We present an algorithm to compute the eigenvalues of the Hecke operators on the integral cohomology of degree d-1 for n = 2, 3, and 4. In addition, we describe a modification of the modular symbol algorithm of Ash-Rudolph for computing Hecke eigenvalues for the integral cohomology of degree d.
We define certain higher-dimensional Dedekind sums that generalize the classical Dedekind-Rademacher sums, and show how to compute them effectively using a generalization of the continued-fraction algorithm. We present two applications. First, we show how to express special values of partial zeta functions associated to totally real number fields in terms of these sums via the Eisenstein cocycle introduced by the second author. Hence we obtain a polynomial-time algorithm for computing these special values. Second, we show how to use our techniques to compute certain special values of the Witten zeta-function, and compute some explicit examples.
Let $N\subset \RR^{r}$ be a lattice, and let $°\colon N \to \CC$ be a piecewise-linear function that is linear on the cones of a complete rational polyhedral fan. Under certain conditions on $°$, the data $(N,°)$ determines a function $f\colon {\HHH}\to \CC$ that is a holomorphic modular form of weight $r$ for the congruence subgroup $Γ_{1} (l) $. Moreover, by considering all possible pairs $(N ,°)$, we obtain a natural subring ${\TTT} (l)$ of modular forms with respect to $Γ_{1} (l) $. We construct an explicit set of generators for $\TTT (l)$, and show that ${\TTT} (l)$ is stable under the action of the Hecke operators. Finally, we relate ${\TTT} (l)$ to the Hirzebruch elliptic genera that are modular with respect to $Γ_{1} (l) $.
Let K be a number field with euclidean ring of integers O. Let G be a finite-index torsion-free subgroup of Sp(2n, O). We exhibit a finite, geometrically defined spanning set of the top dimensional integral cohomology of G by generalizing the modular symbol algorithm of Ash and Rudolph.
Let K be a number field with ring of integers O, and let G be a finite-index subgroup of SL(n,O). Using a classical construction from the geometry of numbers and the theory of modular symbols, we exhibit a finite spanning set for the highest nonvanishing rational cohomology group of G.
Let G be a reductive algebraic group associated to a self-adjoint homogeneous cone defined over Q, and let G' be an appropriate neat arithmetic subgroup of G. We present two algorithms to compute the action of the Hecke operators on the integral cohomology of G'. This simultaneously generalizes the modular algorithm of Ash-Rudolph to a larger class of groups, and provides techniques to compute the Hecke-module structure of previously inaccessible cohomology groups.
We present an algorithm to compute the action of the Hecke operators on the top dimensional integral cohomology of certain torsion-free arithmetic subgroups of algebraic groups of Q-rank one. This generalizes the modular symbol algorithm to a setting including Bianchi groups and Hilbert modular groups. In addition, we generalize some results of Voronoi for real positive-definite quadratic forms to self-adjoint homogeneous cones of arbitrary Q-rank.