In this paper we compute the cohomology groups of GL(4,Z) with coefficients in symmetric powers of the standard representation twisted by the determinant. This problem arises in Goncharov's approach to the study of motivic multiple zeta values of depth 4. The techniques that we use include Kostant's formula for cohomology groups of nilpotent Lie subalgebras of a reductive Lie algebra, Borel-Serre compactification, a result of Harder on Eisenstein cohomology. Finally, we need to show that the ghost class, which is present in the cohomology of the boundary of the Borel-Serre compactification, disappears in the Eisenstein cohomology of GL(4,Z). For this we use a computationally effective version for the homological Euler characteristic of GL(4,Z) with non-trivial coefficients.
For a smooth scheme over a perfect field of characteristic p>0, we generalise a definition of Bloch and introduce overconvergent de Rham-Witt connections. This provides a tool to extend the comparison morphisms of Davis, Langer and Zink between overconvergent de Rham-Witt cohomology and Monsky-Washnitzer respectively rigid cohomology to coefficients.
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.
In this article, the cohomology of the arithmetic group $\mathrm{Sp}_4(\mathbb{Z})$ with coefficients in any finite dimensional highest weight representation $\mathcal{M}_λ$ have been studied. Euler characteristic with coefficients in $\mathcal{M}_λ$ have been carried out in detail. Combining the results obtained on Euler characteristic and the work of Harder on Eisenstein cohomology, the description of the cuspidal cohomology has been achieved. At the end, we employ our study to compute the dimensions for the cohomology spaces $H^{\bullet}(\mathrm{Sp}_4(\mathbb{Z}), \mathcal{M}_λ)$.
We show that the mod p cohomology of a smooth projective variety with semistable reduction over K, a finite extension of Qp, embeds into the reduction modulo p of a semistable Galois representation with Hodge-Tate weights in the expected range (at least after semisimplifying, in the case of the cohomological degree > 1). We prove refinements with descent data, and we apply these results to the cohomology of unitary Shimura varieties, deducing vanishing results and applications to the weight part of Serre's conjecture.
We prove a universal coefficients theorem for the overconvergent cohomology modules introduced by Ash and Stevens, and give several applications. In particular, we sketch a very simple construction of eigenvarieties using overconvergent cohomology and prove many instances of a conjecture of Urban on the dimensions of these spaces. For example, when the underlying reductive group is an inner form of GL(2) over a quadratic imaginary extension of the rationals, the cuspidal component of the eigenvariety is a rigid analytic curve.
We give an explicit description of the inner cohomology of an adelic locally symmetric space of a given level structure attached to the general linear group of prime rank $n$, with coefficients in a locally constant sheaf of complex vector spaces. We show that for all prime $n$ the inner cohomology vanishes in all degrees for nonconstant sheaves, otherwise the quotient module of the inner cohomology classes that are not cuspidal is trivial in all degrees for primes $n = 2,3$, and for all primes $n \geq 5$ it is trivial in all but finitely many degrees where it has a `simple' description in ter…
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…
The classification of the local Galois representations using $(φ,Γ)$-modules by Fontaine has been generalized by Kisin and Ren over the Lubin-Tate extensions of local fields using the theory of $(φ_q,Γ_{LT})$-modules. In this paper, we extend the work of (Fontaine) Herr by introducing a complex which allows us to compute cohomology over the Lubin-Tate extensions and compare it with the Galois cohomology groups. We further extend that complex to include certain non-abelian extensions. We then deduce some relations of this cohomology with those arising from $(ψ_q,Γ_{LT})$-modules. We also comput…
Let p be a prime and F a field containing a primitive pth root of unity. Let E/F be a cyclic extension of degree p and G_E < G_F the associated absolute Galois groups. We determine precise conditions for the cohomology group H^n(E)=H^n(G_E,Fp) to be free or trivial as an Fp[Gal(E/F)]-module. We examine when these properties for H^n(E) are inherited by H^k(E), k>n, and, by analogy with cohomological dimension, we introduce notions of cohomological freeness and cohomological triviality. We give examples of H^n(E) free or trivial for each n in N with prescribed cohomological dimension.
We enumerate the low dimensional cells in the Voronoi cell complexes attached to the modular groups $SL_N(Z)$ and $GL_N(Z)$ for $N=8,9,10,11$, using quotient sublattices techniques for $N=8,9$ and linear programming methods for higher dimensions. These enumerations allow us to compute some cohomology of these groups and prove that $K_8(Z) = 0$. We deduce from it new knowledge on the Kummer-Vandiver conjecture.
Let $(\mathsf{G},\mathsf{X})$ be a Shimura datum of Hodge type. Let $p$ be an odd prime such that $\mathsf{G}_{\mathbb{Q}_p}$ splits after a tamely ramified extension and $p\nmid |π_1(\mathsf{G}^{\rm der})|$. Under some mild additional assumptions that are satisfied if the associated Shimura variety is proper and $\mathsf{G}_{\mathbb{Q}_p}$ is either unramified or residually split, we prove the generalisation of Mantovan's formula for the $l$-adic cohomology of the associated Shimura variety. On the way we derive some new results about the geometry of the Newton stratification of the reduction…
We show that the continuous cohomology groups of a $ p $-adic reductive group with coefficients in the locally analytic vectors of an admissible $ \mathbb{Q}_p $-Banach space representation are homeomorphic to those with coefficients in the Banach space representation itself. Moreover, we deduce that the canonical topologies on those continuous cohomology groups are Hausdorff and are the uniquely determined finest locally convex topologies.
We prove that the triviality of the Galois action on the suitably twisted odd-dimensional étale cohomogy group of a smooth projective varietiy with finite coefficients implies the existence of certain primitive roots of unity in the field of definition of the variety. This text was inspired by an exercise in Serre's Lectures on the Mordell--Weil theorem.
We prove that the completed cohomology groups of SL_N(Z) in fixed degree stabilize as N goes to infinity. We also prove that the action of Hecke operators on stable cohomology is trivial, in a precisely defined sense.
We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite dimensional vector spaces. We also establish Poincare duality and the Kunneth formula with coefficients. The arguments use a pushforward construction in relative dimension 1, based on a relative version of Crew's conjecture on the quasi-unipotence of certain p-adic differential equations.
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 …
In this paper, we formulate and prove a duality for cohomology of curves over perfect fields of positive characteristic with coefficients in Neron models of abelian varieties. This is a global function field version of the author's previous work on local duality and Grothendieck's duality conjecture. It generalizes the perfectness of the Cassels-Tate pairing in the finite base field case. The proof uses the local duality mentioned above, Artin-Milne's global finite flat duality, the non-degeneracy of the height pairing and finiteness of crystalline cohomology. All these ingredients are organiz…
Under the assumption that Galois representations associated to Siegel modular forms exist (it is known only for genus at most 2), we show that the cohomology with p-adic integral coefficients of Siegel Varieties, when localized at a non-Eisenstein maximal ideal of the Hecke algebra, is torsion-free, provided the prime p is large with the respect to the weight of the coefficient system. The proof uses p-adic Hodge theory, the dual BGG complex modulo p in order to compute the Hodge-Tate weights for the mod p cohomology. We apply this result to the construction of Hida p-adic families for symplec…
For a curve $C$ over a perfect field $k$ of characteristic $p > 0$ we study the tame cohomology of $X = \textit{Spa}(C,k)$ introduced in arXiv:1801.04776. We prove that the tame cohomology groups of $X$ with $p$-torsion coefficients satisfy cohomological purity (which is not true in full generality for the étale cohomology). Using purity we show Poincaré duality for the tame cohomology of $X$ with $p$-torsion coefficients.
