Anton Deitmar, Joachim Hilgert
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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 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$ (…
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 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…
Locally algebraic representations and integral structures on the cohomology of arithmetic groups
本文研究局部代数表示与算术群上同调的整数结构，提出并分析了相关概念，建立了自动 cuspidal形式空间上的 canonical global $1/N$-整数结构，并定义了与regular algebraic自动表示相关的canonical periods。
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.
Duality for Arithmetic $p$-adic Pro-étale Cohomology of Analytic Spaces
本研究验证了Colmez等人关于$p$-进数有限扩张上光滑部分紧合空间的算术$p$-进前平展上同调满足对偶性的猜想，借助Fontaine伽罗瓦下降技术由Fargues-Fontaine曲线的几何对偶性推导得出。
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.
Numerical cohomology for arithmetic surfaces and applications
本文提出算术曲面的数值上同调理论，推导出相对对偶sheaf自交数的上界，并探讨其几何意义与应用。
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.
Computations of Cohomology of Arithmetic Groups, Part 1
本文提出一种更简单、快速且结构化的方法，计算算术群$GL_4({\mathbb Z})$等在不同最高权表示系数下的边界与Eisenstein上同调，并提出了类似Serre对偶的猜想，经30个表示族验证。
Arithmetic duality for $p$-adic pro-étale cohomology of analytic curves
该研究证明了$\textbf{Q}_p$有限扩张上光滑dagger曲线的算术$p$-进pro-étale上同调的庞加莱对偶性，推导结合了谱序列、几何比较定理与经典对偶，还验证了乘积相容性并得到相关上同调的泛函分析性质。
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…
We study derivations and differential forms on the arithmetic jet spaces of smooth schemes, relative to several primes. As applications we give a new interpretation of arithmetic Laplacians and we discuss the de Rham cohomology of some specific arithmetic jet spaces.
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 …
Introductory computations in the cohomology of arithmetic groups
本文提出基于同伦与扰动技术的计算方法，用于计算算术群特别是 $SL_2$ 同余子群的整系数上同调及 Hecke 算子，并推广到二次整数环上的特殊线性群。
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…
Arithmetic quantum local systems over the moduli of curves
本研究构建了曲线模空间上量子局部系统的算术类似物并探究其基本结构，该结构可统一赋值数域上光滑真曲线第一几何平展上同调的伽罗瓦上同调类。
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.
High-degree cohomology of congruence subgroups of $\text{SL}_n(\mathcal{O})$ via cohomology of $S$-arithmetic groups
研究\(\text{SL}_n(\mathcal{O})\)同余子群上同调中Steinberg表示的重数，通过对\(S -\)算术群上同调计算，证得最高阶重数为1，特定条件下下一高阶重数为0。
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…
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…
Weil-étale cohomology and duality for arithmetic schemes in negative weights
本文研究了算术方案在负权下的 Weil-étale 上同调和对偶性，推广了 Flach 和 Morin 的构造并去除了适当的和正则的假设。
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…
Weil-étale cohomology and zeta-values of arithmetic schemes at negative integers
本文基于韦尔-étale上同调提出关于算术方案在负整数处ζ函数特例值的猜想，并证明其在特定方案上成立。
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.
Arithmetic sums and products of infinite multiple zeta-star values
本文研究了受限索引的无穷多重ζ星值的算术和与积，并受连分数理论和康托集启发，提出关于特定索引的ζ星值代数点及算术运算的猜想。
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}^…
On the growth of torsion in the cohomology of some arithmetic groups of $\mathbb{Q}$-rank one
本文研究了某些有理数秩为一的算术群的同调中 torsion 的增长，通过解析 torsion 与 Reidemeister torsion 的关系，证明了同余子群序列中 torsion 的指数增长。
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.
Arithmetic Properties Of $\ell$-adic Étale Cohomology and Nearby Cycles of Rigid-Analytic Spaces
本文研究p进非阿基米德局部域上刚性解析簇的ℓ进平展上同调，建立Frobenius特征值界、强局部单值化定理、邻近环混合性，并用perfectoid分析证明Deligne权-单值化猜想的局部版本，同时发展Deligne拓扑斯上的可构造ℓ进复形理论。
Arithmetic monodromy of hyper-Kähler varieties over $p$-adic fields
本文研究p-进域上超凯勒簇的p-进与ℓ-进单值算子，提出并验证了Nagai猜想在算术情形的类比，并引入基于Sen理论的新方法分析p-进上同调。
In this paper we study sheaves of logarithmic arithmetic differential operators on a particular semistable model of the projective line. The main result here is that the first cohomology group of these sheaves is non-torsion. We also consider a refinement of the order filtration on the sheaf of level zero (before taking the p-adic completion). The associated graded sheaf, which we explicitly determine, explains to some extent the occurrence of the cohomology classes in degree one.
An arithmetic étale-crystalline comparison with coefficients in crystalline local systems
本文利用栈化方法将 Colmez--Niziol 的算术平展-晶体比较定理推广到任意晶体局部系系数，并建立带系数的 Beilinson 纤维方块及 syntomic 上同调与 p 进平展上同调的比较，同时描述 Z_p 上完美 F-规范的等ogeny范畴。
The goal of this article is to prove a comparison theorem between rigid cohomology and cohomology computed using the theory of arithmetic $\mathscr{D}$-modules. To do this, we construct a specialisation functor from Le Stum's category of constructible isocrystals to the derived category of arithmetic $\mathscr{D}$-modules. For objects `of Frobenius type', we show that the essential image of this functor consists of overholonomic $\mathscr{D}^\dagger$-modules, and lies inside the heart of the dual constructible t-structure. We use this to give a more global construction of Caro's specialisation…
We contribute to the arithmetic/topology dictionary by relating asymptotic point counts and arithmetic statistics over finite fields to homological stability and representation stability over $\Cb$ in the example of configuration spaces of $n$ points in smooth varieties. To do this, we import the method of homological stability from the realm of topology into the theory of étale cohomology; in particular we give the first examples of stability of étale cohomology groups as Galois representations where the Galois actions are not already explicitly known. We then establish subexponential bounds …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。