M. Goresky, G. Harder, and R. MacPherson defined weighted cohomologies of arithmetic groups Γin a real group G, with coefficients in certain local systems, associated to arbitrary upper and lower weight profiles. The author shows, using essentially local arguments on the reductive Borel-Serre compactification, that these cohomologies agree with certain weighted L^2 cohomologies defined by J. Franke. When the rank of G is equal to that of a maximal compact subgroup, this implies that the cohomologies associated to both upper and lower middle profiles are both isomorphic to L^2 cohomology.
In this paper we consider certain families of arithmetic subgroups of SO^0(p,q) and SL_3(R), respectively. We study the cohomology of such arithmetic groups with coefficients in arithmetically defined modules. We show that for natural sequences of such modules the torsion in the cohomology grows exponentially.
Higher order cohomology of arithmetic groups is expressed in terms of (g,K)-cohomology. Generalizing results of Borel, it is shown that the latter can be computed using functions of (uniform) moderate growth. A higher order versions of Borel's conjecture is stated, asserting that the cohomology can be computed using automorphic forms.
The cuspidal cohomology groups of arithmetic groups in certain infinite dimensional Modules are computed. As a result we get a simultaneous generalization of the Patterson-Conjecture and the Lewis-Correspondence.
The Eichler-Shimura isomorphism realizes the automorphic representation generated by an automorphic newform in certain cohomology of an arithmetic group. In this short note, we give a cohomological interpretation of the Eichler-Shimura isomorphism as a connection morphism of certain exact sequence of G-modules, for the multiplicative group G of any quaternion algebra over a totally real field.
We study the $Λ$-module structure of the ordinary parts of the arithmetic cohomology groups of modular Jacobians made out of various towers of modular curves. We prove that the ordinary parts of $Λ$-adic Selmer groups coming from two different towers have "almost same" $Λ$-module structures. We also prove the cotorsionness of $Λ$-adic Tate-Shafarevich group under mild assumptions.
We describe a graded extension of the usual Hecke algebra: it acts in a graded fashion on the cohomology of an arithmetic group $Γ$. Under favorable conditions, the cohomology is freely generated in a single degree over this graded Hecke algebra. From this construction we extract an action of certain $p$-adic Galois cohomology groups on $H^*(Γ, \mathbb{Q}_p)$, and formulate the central conjecture: the motivic $\mathbb{Q}$-lattice inside these Galois cohomology groups preserves $H^*(Γ,\mathbb{Q})$.
We study the derived Hecke action at $p$ on the ordinary $p$-adic cohomology of arithmetic subgroups of semisimple groups $\mathrm G(\mathbb Q)$, i.e., we study the derived version of Hida's theory for ordinary Hecke algebras. This is the analog at $\ell=p$ of derived Hecke actions studied by Venkatesh in the tame case. We show that properties of the derived Hecke action at $p$ are related to deep conjectures in Galois cohomology which are higher analogs of the classical Leopoldt conjecture.
Let $K$ be a global field of characteristic $p>0$. We study the cohomology of arithmetic subgroups $Γ$ of $SL_{n+1}(K)$ (with respect to a fixed place of $K$), under the hypothesis that these groups have no $p'$-torsion (any arithmetic group possesses a normal subgroup of finite index without $p'$-torsion). We define the cohomology of $Γ$ with compact supports and values in ${\Bbb Z}[1/p]$, and we relate it to spaces of harmonic cocycles, also with compact supports (§3). We give a description of the locus of these supports, in particular by introducing a notion of cusp in dimension $n\geq 1$ (…
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 l…
This is the second paper in a series devoted to developing an arithmetic PDE analogue of Riemannian geometry. In Part 1 arithmetic PDE analogues of Levi-Civita and Chern connections were introduced and studied. In this paper arithmetic analogues of curvature and characteristic classes are developed.
Under hypotheses required for the Taylor-Wiles method, we prove for forms of $U(3)$ which are compact at infinity that the lattice structure on upper alcove algebraic vectors or on principal series types given by the $λ$-isotypic part of completed cohomology is a local invariant of the Galois representation attached to $λ$ when this Galois representation is residually irreducible locally at places dividing $p$. As a crucial input, we establish corresponding mod $p$ multiplicity one results. Our main innovation is the combination of integral Hecke theory and the Taylor--Wiles method.
In this paper, we give an approach to the zeta values of a (proper regular) arithmetic scheme X at the integers r>=d:=dim(X), using étale cohomology of X with Q_p(r) and Z_p(r)-coefficients.
We correct a mistake in the paper "On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields " by A. Borel, J.-P. Labesse, J. Schwermer that appeared in Compositio Mathematica, 102 (1996), 1-40.
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 cusp…
We present a strategy to use the stable trace formula to compute growth in the cohomology of cocompact arithmetic lattices in a reductive group $G$. We then implement it in the case where $G = U(2,1)$, using results of Rogwaski. This recovers a result of Marshall.
In this paper we consider the cohomology of a closed arithmetic hyperbolic 3-manifold with coefficients in the local system defined by the even symmetric powers of the standard representation of SL(2,C). The cohomology is defined over the integers and is a finite abelian group. We show that the order of the 2nd cohomology grows exponentially as the local system grows. We also consider the twisted Ruelle zeta function of a closed arithmetic hyperbolic 3-manifold and we express the leading coefficient of its Laurent expansion at the origin in terms of the orders of the torsion subgroups of the c…
In this article, several cohomology spaces associated to the arithmetic groups $\mathrm{SL}_3(\mathbb{Z})$ and $\mathrm{GL}_3(\mathbb{Z})$ with coefficients in any highest weight representation $\mathcal{M}_λ$ have been computed, where $λ$ denotes their highest weight. Consequently, we obtain detailed information of their Eisenstein cohomology with coefficients in $\mathcal{M}_λ$. When $\mathcal{M}_λ$ is not self dual, the Eisenstein cohomology coincides with the cohomology of the underlying arithmetic group with coefficients in $\mathcal{M}_λ$. In particular, for such a large class of represe…
In 1985 Kazuya Kato formulated a fascinating framework of conjectures which generalizes the Hasse principle for the Brauer group of a global field to the so-called cohomological Hasse principle for an arithmetic scheme. In this paper we prove the prime-to-characteristic part of the cohomological Hasse principle. We also explain its implications on finiteness of motivic cohomology and special values of zeta functions.
In this note, we remark on the range in Borel's theorem on the stable cohomology of the arithmetic groups Sp(2n,Z) and SO(n,n;Z). This improves the range stated in Borel's original papers, an improvement that was known to Borel. Our main task is a technical computation involving the Weyl group action on roots and weights. This note originally appeared as the appendix to arXiv:1711.03139.
We prove the finiteness and compatibility with base change of the (phi,Gamma)-cohomology and the Iwasawa cohomology of arithmetic families of (phi,Gamma)-modules. Using this finiteness theorem, we show that a family of Galois representations that is densely pointwise refined in the sense of Mazur is actually trianguline as a family over a large subspace. In the case of the Coleman-Mazur eigencurve, we determine the behavior at all points.
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…
For d=2n+1 a positive odd integer, we consider sequences of arithmetic subgroups of SO_0(d,1) and Spin(d,1) yielding corresponding hyperbolic manifolds of finite volume and show that, under appropriate and natural assumptions, the torsion of the associated cohomology groups grows exponentially.
We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective schemes. In particular, if Tate's conjecture holds and rational and numerical equivalence agree up to torsion, then the groups H^i_c(X_ar,Z(n)) are finitely generated, form an integral version of l-adic cohomology with compact support, and admit a formula for the special values of the zeta-function of X.
We present an algorithm to compute the Hecke operators on the equivariant cohomology of an arithmetic subgroup $Γ$ of the general linear group $\mathrm{GL}_n$. This includes $\mathrm{GL}_n$ over a number field or a finite-dimensional division algebra. As coefficients, we may use any finite-dimensional local coefficient system. Unlike earlier methods, the algorithm works for the cohomology $H^i$ in all degrees $i$. It starts from the well-rounded retract $\tilde{W}$, a $Γ$-invariant cell complex which computes the cohomology. It extends $\tilde{W}$ to a new well-tempered complex $\tilde{W}^+$ o…
In this paper we investigate the arithmetic aspects of the theory of $\mathcal{E}_K^\dagger$-valued rigid cohomology introduced and studied in [11,12]. In particular we show that these cohomology groups have compatible connections and Frobenius structures, and therefore are naturally $(φ,\nabla)$-modules over $\mathcal{E}_K^\dagger$ whenever they are finite dimensional. We also introduce a category of `absolute' coefficients for the theory; the same results are true for cohomology groups with coefficients. We moreover prove a $p$-adic version of the weight monodromy conjecture for smooth (not …
We propose a relationship between the cohomology of arithmetic groups, and the motivic cohomology of certain (Langlands-)attached motives. The motivic cohomology group in question is that related, by Beilinson's conjecture, to the adjoint $L$-function at $s=1$. We present evidence for the conjecture using the theory of periods of automorphic forms, and using analytic torsion.
A. Sikora has shown results which confirm the analogy between number fields and 3-manifolds. However, he has given proofs of his results which are very different in the arithmetic and in the topological case. In this paper, we show how to provide a unified approach to the results in the two cases. For this we introduce an equivariant cohomology which satisfies a localization theorem. In particular, we obtain a satisfactory explanation for the coincidences between Sikora's formulas which leads us to clarify and to extend the dictionary of arithmetic topology.
We study toric varieties over a field k that split in a Galois extension K/k using Galois cohomology with coefficients in the toric automorphism group. Part of this Galois cohomology fits into an exact sequence induced by the presentation of the class group of the toric variety. This perspective helps to compute the Galois cohomology, particularly for cyclic Galois groups. We use Galois cohomology to classify k-forms of projective spaces when K/k is cyclic, and we also study k-forms of surfaces.
We give a conjectural description of the vanishing order and leading Taylor coefficient of the Zeta function of a proper, regular arithmetic scheme $\mathcal{X}$ at any integer $n$ in terms of Weil-étale cohomology complexes. This extends work of Lichtenbaum \cite{Lichtenbaum05} and Geisser \cite{Geisser04b} for $\mathcal{X}$ of characteristic $p$, of Lichtenbaum \cite{li04} for $\mathcal{X}=\mathrm{Spec}(\mathcal{O}_F)$ and $n=0$ where $F$ is a number field, and of the second author for arbitrary $\mathcal{X}$ and $n=0$ \cite{Morin14}. We show that our conjecture is compatible with the Tamaga…
In recent work with Bhatt and Morrow, we defined a new integral p-adic cohomology theory interpolating between etale and de Rham cohomology. An unexpected feature of this cohomology is that in coordinates, it can be computed by a q-deformation of the de Rham complex, which is thus canonical, at least in the derived category. In this short survey, we try to explain what we know about this phenomenon, and what can be conjectured to hold.
What is the true order of growth of torsion in the cohomology of an arithmetic group? Let $D$ be a quaternion over an imaginary quadratic field $F.$ Let $E/F$ be a cyclic Galois extension with $\mathrm{Gal}(E/F) = \langle σ\rangle.$ We prove lower bounds for "the Lefschetz number of $σ$ acting on torsion cohomology" of certain Galois-stable arithmetic subgroups of $D_E^\times.$ For these same subgroups, we unconditionally prove a would-be-numerical consequence of the existence of a hypothetical base change map for torsion cohomology.
The cohomology $H^*(Γ, E) $ of a torsion-free arithmetic subgroup $Γ$ of the special linear $\mathbb{Q}$-group $\mathsf{G} = SL_n$ may be interpreted in terms of the automorphic spectrum of $Γ$. Within this framework, there is a decomposition of the cohomology into the cuspidal cohomology and the Eisenstein cohomology. The latter space is decomposed according to the classes $\{\mathsf{P}\}$ of associate proper parabolic $\mathbb{Q}$-subgroups of $\mathsf{G}$. Each summand $H^*_{\mathrm{\{P\}}}(Γ, E)$ is built up by Eisenstein series (or residues of such) attached to cuspidal automorphic forms …
The concept of weights on the cohomology of algebraic varieties was initiated by fundamental ideas and work of A. Grothendieck and P. Deligne. It is deeply connected with the concept of motives and appeared first on the singular cohomology as the weights of (possibly mixed) Hodge structures and on the etale cohomology as the weights of eigenvalues of Frobenius. But weights also appear on algebraic fundamental groups and in p-adic Hodge theory, where they become only visible after applying the comparison functors of Fontaine. After rehearsing various versions of weights, we explain some more re…
On the Mean Value of a Weighted Composite Arithmetic Function
FIMA Laboratory, Department of Mathematics, Faculty of Matter Sciences and Computer Sciences, University of Khemis Miliana (UDBKM), Algeria（费马实验室，数学系，物质科学与计算机科学学院，赫米斯米利亚纳大学）
In this article, we first briefly introduce the history of the Weil-étale cohomology theory of arithmetic schemes and review some important results established by Lichtenbaum, Flach and Morin. Next we generalize the Weil-etale cohomology to $S$-integers and compute the cohomology for constant sheaves $\mathbb{Z}$ or $\mathbb{R}$. We also define a Weil-étale cohomology with compact support $H_c(Y_W, -)$ for $Y=Spec \mathcal{O}_{F,S}$ where $F$ is a number field, and computed them. We verify that these cohomology groups satisfy the axioms state by Lichtenbaum. As an application, we derive a cano…
We derive certain identities involving various known arithmetical functions and a generalized version of Ramanujan sum. L. Toth constructed certain weighted averages of Ramanujan sums with various arithmetic functions as weights. We choose a generalization of Ramanujan sum given by E. Cohen and derive the weighted averages corresponding to the versions of the weighted averages established by Toth.
We examine oscillations in a number of sums of arithmetic functions involving $Ω(n)$, the total number of prime factors of $n$, and $ω(n)$, the number of distinct prime factors of $n$. In particular, we examine oscillations in $S_α(x) = \sum_{n\leq x} (-1)^{n - Ω(n)}/n^α$ and in $H_α(x) = \sum_{n\leq x} (-1)^{ω(n)}/n^α$ for $α\in[0,1]$, and in $W(x)=\sum_{n\leq x} (-2)^{Ω(n)}$. We show for example that each of the inequalities $S_0(x)<0$, $S_0(x)>3.3\sqrt{x}$, $S_1(x)>0$, and $S_1(x)\sqrt{x}<-3.3$ is true infinitely often, disproving some hypotheses of Sun.
For abelian varieties $A$, in the most interesting cohomology theories $H^* (A)$ is the exterior algebra of $H^1(A)$. In this paper we study a weak generalization of this in the case of arithmetic manifolds associated to orthogonal or unitary groups. In this latter case recall that arithmetic manifolds associated to standard unitary groups $U(p,q)$ ($p\geq q$) over a totally real numberfield have vanishing cohomology in degree $i=1, ..., q-1$ and that, following earlier works of Kazhdan and Shimura, Borel and Wallach constructed in \cite{BorelWallach} non zero degree $q$ cohomology classes. Th…
We define and study a Weil-étale topos for any regular, proper scheme $X$ over $\Spec(Z)$ which has some of the properties suggested by Lichtenbaum for such a topos. In particular, the cohomology with $R$-coefficients has the expected relation to $ζ(X,s)$ at $s=0$ if the Hasse-Weil L-functions $L(h^i(X_Q),s)$ have the expected meromorphic continuation and functional equation. If $\X$ has characteristic $p$ the cohomology with $Z$-coefficients also has the expected relation to $ζ(X,s)$ and our cohomology groups recover those previously studied by Lichtenbaum and Geisser.
By adapting the work of Kudla and Millson we obtain a lifting of cuspidal cohomology classes for the symmetric space associated to GO(V) for an indefinite rational quadratic space V of even dimension to holomorphic Siegel modular forms on GSp_n(A). For n=2 we prove Thom's Lemma for hyperbolic 3-space, which together with results of Kudla and Millson imply an interpretation of the Fourier coefficients of the theta lift as period integrals of the cohomology class over certain cycles. This allows us to prove the p-integrality of the lift for a particular choice of Schwartz function for almost all…
We show that the constructions done in part I generalize their classical counterparts: firstly, the classical Beilinson regulator is induced by the abstract Chern class map from $BGL$ to the Deligne cohomology spectrum. Secondly, Arakelov motivic cohomology is a generalization of arithmetic $K$-theory and arithmetic Chow groups. Finally, we give a conceptual explanation of the height pairing: it is given by the natural pairing of motivic homology and Arakelov motivic cohomology.
Lichtenbaum conjectured the existence of a Weil-étale cohomology in order to describe the vanishing order and the special value of the Zeta function of an arithmetic scheme $\mathcal{X}$ at $s=0$ in terms of Euler-Poincaré characteristics. Assuming the (conjectured) finite generation of some étale motivic cohomology groups we construct such a cohomology theory for regular schemes proper over $\mathrm{Spec}(\mathbb{Z})$. In particular, we obtain (unconditionally) the right Weil-étale cohomology for geometrically cellular schemes over number rings. We state a conjecture expressing the vanishing …
The moduli stack $\mathcal A_2$ of principally polarized abelian surfaces comes equipped with the universal abelian surface $π: \mathcal X_2 \to \mathcal A_2$. The fiber of $π$ over a point corresponding to an abelian surface $A$ in $\mathcal A_2$ is $A$ itself. We determine the $\ell$-adic cohomology of $\mathcal X_2$ as a Galois representation. Similarly, we consider the bundles $\mathcal X_2^n \to \mathcal A_2$ and $\mathcal X_2^{\operatorname{Sym}(n)} \to \mathcal A_2$ for all $n \geq 1$, where the fiber over a point corresponding to an abelian surface $A$ is $A^n$ and $\operatorname{Sym}^…
We give an interpretation of the cohomology of an arithmetically defined group as a set of equivalence classes of lattices. We use this interpretation to give a simpler proof of the connection established by J. Rohlfs between genus and cohomology.
In this paper, we study arithmetic properties of weighted Catalan numbers. Previously, Postnikov and Sagan found conditions under which the $2$-adic valuations of the weighted Catalan numbers are equal to the $2$-adic valutations of the Catalan numbers. We obtain the same result under weaker conditions by considering a map from a class of functions to $2$-adic integers. These methods are also extended to $q$-weighted Catalan numbers, strengthening a previous result by Konvalinka. Finally, we prove some results on the periodicity of weighted Catalan numbers modulo an integer and apply them to t…
