We construct a singular homology theory on the category of schemes of finite type over a Dedekind domain and verify several basic properties. For arithmetic schemes we construct a reciprocity isomorphism between the integral singular homology in degree zero and the abelianized modified tame fundamental group.
When does the amount of torsion in the homology of an arithmetic group grow exponentially with the covolume? We give many examples where this is so, and conjecture precise conditions.
Numerical data concerning the growth of torsion in the first homology of non-arithmetic hyperbolic tetrahedral groups are collected. The data provide support the speculations of Bergeron and Venkatesh on the growth of torsion homology and the regulators for lattices in SL(2,C).
We compute the non-Eisenstein systems of Hecke eigenvalues contributing to the $p$-arithmetic homology of irreducible smooth mod $p$ representations $π$ of $\mathrm{GL}_2(\mathbb{Q}_p)$ and to the cohomology of their duals. We show that in most cases they are associated to odd irreducible 2-dimensional Galois representations whose local component at $p$ corresponds under the mod $p$ local Langlands correspondence to a smooth representation that contains $π$ as a subrepresentation.
Let M be an arithmetic hyperbolic 3-manifold, such as a Bianchi manifold. We conjecture that there is a basis for the second homology of M, where each basis element is represented by a surface of `low' genus, and give evidence for this. We explain the relationship between this conjecture and the study of torsion homology growth.
We study the homology and the Borel-Moore homology with coefficients in $\mathbb{Q}$ of a quotient (called arithmetic quotient) of the Bruhat-Tits building of $\mathrm{PGL}$ of a nonarchimedean local field of positive characteristic by an arithmetic subgroup (a special case of the general definition in Harder's article (Invent.\ Math.\ 42, 135-175 (1977)). We define an analogue of modular symbols in this context and show that the image of the canonical map from homology to Borel-Moore homology is contained in the sub $\mathbb{Q}$-vector space generated by the modular symbols. By definition, th…
In this paper we study weight homology of singular schemes. Weight homology is an invariant of a singular scheme defined in terms of hypercoverings of resolution of singularities. Our main result is McKay principle for weight homology of quotient singularities, i.e. we describe weight homology of a quotient scheme in terms of weight homology of an equivariant scheme. Our method is to reduce the geometric McKay principle for weight homology to Kato's cohomological Hasse principle for arithmetic schemes. The McKay principle for weight homology implies McKay principle for the homotopy type of the…
We study upper bounds for the torsion in homology of nonuniform arithmetic lattices. Together with recent results of Calegari-Venkatesh, this can be used to obtain upper bounds on K2 of the ring of integers of totally imaginary fields.
We study the arithmetic of Enriques surfaces whose universal covers are singular K3 surfaces. If a singular K3 surface X has discriminant d, then it has a model over the ring class field d. Our main theorem is that the same holds true for any Enriques quotient of X. It is based on a study on Neron-Severi groups of singular K3 surfaces. We also comment on Galois actions on divisors of Enriques surfaces.
This paper is concerned with the arithmetic of the elliptic K3 surface with configuration [1,1,1,12,3*]. We determine the newforms and zeta-functions associated to X and its twists. We verify conjectures of Tate and Shioda for the reductions of X at 2 and 3.
In this note we relate three topics for arithmetic schemes: a general duality for étale constructible torsion sheaves, an étale homology theory, and a Gersten-Bloch-Ogus-Kato complex. The results in this paper have been used in other papers of the authors ([JS], [Sa], [SaH] in the list of references).
We study the singular Bott-Chern classes introduced by Bismut, Gillet and Soule. Singular Bott-Chern classes are the main ingredient to define direct images for closed immersions in arithmetic K-theory. In this paper we give an axiomatic definition of a theory of singular Bott-Chern classes, study their properties, and classify all possible theories of this kind. We identify the theory defined by Bismut, Gillet and Soule as the only one that satisfies the additional condition of being homogeneous. We include a proof of the arithmetic Grothendieck-Riemann-Roch theorem for closed immersions that…
We discuss several arithmetic aspects of Bianchi groups, especially from a computational point of view. In particular, we consider computing the homology of Bianchi groups together with the Hecke action, connections with automorphic forms, abelian varieties, Galois representations and the torsion in the homology of Bianchi groups. Along the way, we list several open problems and conjectures, survey the related literature, presenting concrete examples and numerical data.
Schmidt and Spieß described the abelian tame fundamental group of a smooth variety over a finite field by using Suslin homology. In this paper we show that their result generalizes to singular varieties if one uses Weil-Suslin homology instead.
We prove an arithmetic Hilbert-Samuel type theorem for semi-positive singular hermitian line bundles of finite height. In particular, the theorem applies to the log-singular metrics of Burgos-Kramer-Kühn. Our theorem is thus suitable for application to some non-compact Shimura varieties with their bundles of cusp forms. As an application, we treat the case of Hilbert modular surfaces, establishing an arithmetic analogue of the classical result expressing the dimensions of spaces of cusp forms in terms of special values of Dedekind zeta functions.
We define a period pairing for flat, irregular singular, rank one connections, satisfying a technical condition regarding its stationary set, on complex surfaces between de Rham cohomology of the connection and a modified singular homology, the rapid decay homology. We prove that this gives a perfect duality. A 2-dimensional version of confluent hypergeometrics are contructed as an example.
After Zagier proved that the traces of singular moduli $j(z)$ are Fourier coefficients of a weakly holomorphic modular form, various properties of the traces of the singular values of modular functions mostly on the full modular group $PSL_2(\mathbb{Z})$ have been investigated such as their exact formulas, limiting distribution, duality, and congruences. The purpose of this paper is to generalize these arithmetic properties of traces of singular values of a weakly holomorphic modular function on the full modular group to those on a congruence subgroup $Γ_0(N)$.
Sums of the singular series constants that appear in the Hardy--Littlewood $k$-tuples conjectures have long been studied in connection to the distribution of primes. We study constrained sums of singular series, where the sum is taken over sets whose elements are specified modulo $r$ or weighted by smooth functions. We show that the value of the sum is governed by incidences modulo $r$ of elements of the set in the case of arithmetic progressions and by pairings of the smooth functions in the case of weights. These sums shed light on sums of singular series in other formats.
An ADE Dynkin diagram gives rise to a family of algebraic curves. In this paper, we use arithmetic invariant theory to study the integral points of the curves associated to the exceptional diagrams $E_6, E_7$, $E_8$. These curves are non-hyperelliptic of genus 3 or 4. We prove that a positive proportion of each family consists of curves with integral points everywhere locally but no integral points globally.
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, P…
Let $Γ$ be a torsion-free arithmetic group acting on its associated global symmetric space $X$. Assume that $X$ is of non-compact type and let $Γ$ act on the geodesic boundary $\partial X$ of $X$. Via general constructions in KK-theory, we endow the K-groups of the arithmetic manifold $X/Γ$, of the reduced group C*-algebra of $Γ$ and of the boundary crossed product algebra associated to the action of $Γ$ on $\partial X$, with Hecke operators. The K-theory and K-homology groups of these C*-algebras are related by a Gysin six-term exact sequence. In the case when $Γ$ is a group of real hyperboli…