Related papers: Homological vanishing for the Steinberg representa…
We prove that the homology groups of any connected reductive group over a field with coefficients in the Steinberg representation vanish in a range. The generalizes work of Ash-Putman-Sam on the classical split groups. We state a…
We show a homological result for the class of planar or symmetric operad groups: We show that under certain conditions, group (co)homology of such groups with certain coefficients vanishes in all dimensions, provided it vanishes in…
We explore a relationship between the classical representation theory of a complex, semisimple Lie algebra \g and the resonance varieties R(V,K)\subset V^* attached to irreducible \g-modules V and submodules K\subset V\wedge V. In the…
We give several resolutions of the Steinberg representation St_n for the general linear group over a principal ideal domain, in particular over Z. We compare them, and use these results to prove that the computations in [AGM4] are…
The "zero in the spectrum conjecture" asserted (in its strongest form) that for any manifold M zero should be in the l2-spectrum of the Laplacian (on forms) of the universal covering of M, i.e. that at least one (unreduced) L2-cohomology…
Let $\Gamma_{2n}^\omega(p)$ be the level-$p$ principal congruence subgroup of $\text{Sp}_{2n}(\mathbb{Z})$ for all prime $p$. Borel--Serre demonstrated that the cohomology of $\Gamma_{2n}^\omega(p)$ vanishes above degree $n^2$. We prove…
We show that the compactly supported cohomology of certain $\mathrm{U}(n,n)$ or $\mathrm{Sp}(2n)$-Shimura varieties with $\Gamma_1(p^\infty)$-level vanishes above the middle degree. The only assumption is that we work over a CM field $F$ in…
For every $n\geq 1$, we calculate the Hochschild homology of the quantum monoids $M_q(n)$, and the quantum groups $GL_q(n)$ and $SL_q(n)$ with coefficients in a 1-dimensional module coming from a modular pair in involution.
We prove a representation stability result for the codimension-one cohomology of the level three congruence subgroup of $\mathbf{SL}_n(\mathbb{Z})$. This is a special case of a question of Church-Farb-Putman which we make more precise. Our…
This is an expository paper on Garland's vanishing theorem specialized to the case when the linear algebraic group is $\mathrm{SL}_n$. Garland's theorem can be stated as a vanishing of the cohomology groups of certain finite simplicial…
We prove that H^{d-1}(SL_n Z; Q) = 0, where d = n-choose-2 is the cohomological dimension of SL_n Z, and similarly for GL_n Z. We also prove analogous vanishing theorems for cohomology with coefficients in a rational representation of the…
It is proved that the continuous bounded cohomology of SL_2(k) vanishes in all positive degrees whenever k is a non-Archimedean local field. This holds more generally for boundary-transitive groups of tree automorphisms and implies low…
It is well-known that the second homology group $H_2(\st)$ of the Steinberg Lie algebra $\st$ is trivial when $n\geq 5$. In this paper, we will work out $H_2(\st)$ explicitly for $n=3, 4$ which are not necessarily trivial. Consequently, we…
Given an odd prime number $p$ and a Coxeter group $W$ such that the order of the product $st$ is prime to $p$ for every Coxeter generators $s,t$ of $W$, we prove that the $p$-local homology groups $H_k(W,\mathbb{Z}_{(p)})$ vanish for $1\leq…
We show that the poset of non-trivial partitions of 1,2,...,n has a fundamental homology class with coefficients in a Lie superalgebra. Homological duality then rapidly yields a range of known results concerning the integral representations…
We reprove and generalize the result that the intersection cohomology groups of a toric variety with coefficient in a nontrivial rank one local system vanish. We prove a similar vanishing result for a certain class of varieties on which a…
We establish Grauert--Riemenschneider vanishing for $F$-pure threefolds over a perfect field $k$ of characteristic $p>5$. We apply this to prove Steenbrink vanishing for three-dimensional sharply $F$-pure pairs in characteristic $p>5$. As a…
Borel-Serre proved that the integral symplectic group $\operatorname{Sp}_{2n}(\mathbb{Z})$ is a virtual duality group of dimension $n^2$ and that the symplectic Steinberg module $\operatorname{St}^\omega_n(\mathbb{Q})$ is its dualising…
Let $G$ be a reductive affine algebraic group defined over a field $k$ of characteristic zero. In this paper, we study the cotangent complex of the derived $G$-representation scheme $ {\rm DRep}_G(X)$ of a pointed connected topological…
For a number ring $\mathcal{O}$, Borel and Serre proved that $\text{SL}_n(\mathcal{O})$ is a virtual duality group whose dualizing module is the Steinberg module. They also proved that $\text{GL}_n(\mathcal{O})$ is a virtual duality group.…