Lefschetz properties for noncompact arithmetic ball quotients. II
type: Item
instance of: scholarly article
title: Lefschetz properties for noncompact arithmetic ball quotients. II
zbMATH Open document ID: 1381.11048
author: Arvind N. Nair
published in: Manuscripta Mathematica
publication date: 2017-03-02T00:00:00Z
review text: For congruence subgroups \(\Gamma\) of SU\((h)\), where \((V,h)\) is an \((n+1)\)-dimensional Hermitian space constructed over an imaginary quadratic field, the author proves injectivity of the following induced morphism. Let \(W\) be an \((m+1)\)-dimensional subspace of \(V\) on which \(h\) is non-degenerate and indefinite, so the standard embedding of \(H := \) SU\((h|_W)\) into SU\((h)\) gives an embedding of the complex \(m\)-ball into the complex \(n\)-ball. Let \(M\) be the orbit space of the action of \(\Gamma\) on the complex \(n\)-ball, and let \(M_H\) be the orbit space of the action of \(\Gamma \cap H\) on the complex \(m\)-ball. Then the above embedding passes to a map \(M_H \to M\) with finite fibers. The author's main theorem states that for each \(m < n\), there exists a finite collection of \((m+1)\)-dimensional subspaces \(W_j\) in \(V\) such that the morphism \[ H^i(M) \to \bigoplus_j H^i(M_{H_j}) \] induced on cohomology with complex coefficients by the above described maps is injective in degrees \(i < m\). This improves a theorem from a previous paper of the author [J. Reine Angew. Math. 730, 163--198 (2017; Zbl 1422.11125)], where this injectivity was proven only for \(i < m-1\). Furthermore, the present paper proves injectivity also for \(i = m\) when restricting to so-called interior cohomology: The image of compactly supported cohomology, which includes the cuspidal cohomology. The arguments for the latter statement at \(i = m\) were present already in the author's previous paper, but not used there for this purpose. Finally, the author builds on the insights gained through this main theorem, and establishes a non-vanishing theorem for cup products involving the action of Hecke operators on the above defined cohomology modules \(H^i(M)\).
reviewed by: Alexander D. Rahm
Mathematics Subject Classification ID: 11F75
Mathematics Subject Classification ID: 14M27
zbMATH DE Number: 6690953
zbMATH Keywords: cup products
zbMATH Keywords: Lefschetz property
zbMATH Keywords: Satake compactifications
MaRDI profile type: Publication
full work available at URL: s00229-016-0868-5
OpenAlex ID: W2467565017
cites work: Q3320507
cites work: On the spectrum and the topology of congruence hyperbolic varieties: the complex and quaternionic cases
cites work: Théorie de Hodge. II. (Hodge theory. II)
cites work: Eisensteinkohomologie für Gruppen vom Typ \(GU(2,1)\). (Eisenstein cohomology for groups of type \(GU(2,1)\))
cites work: Lie algebra cohomology and the generalized Borel-Weil theorem
cites work: Lefschetz properties for noncompact arithmetic ball quotients
cites work: Q3309997
cites work: Mixed Hodge modules
cites work: Cohomology of compact locally symmetric spaces
DOI: 10.1007/S00229-016-0868-5
description: scientific article; zbMATH DE number 6690953