Explicit reduction theory for Siegel modular threefolds

DOI10.1007/BF01231300MaRDI QIDQ1802546zbMATH OpenFDO

Authors Robert MacPherson, Mark McConnell

Publication date 17 June 1993

Published in Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/144090

zbMATH Keywords

analytic Whitney-stratificationcell decomposition of modular varietiesPoincaré dual decompositionSatake partial compactificationSiegel modular groupVoronoi cellsVoronoi's reduction theory

Mathematics Subject Classification ID

Siegel modular groups; Siegel and Hilbert-Siegel modular and automorphic forms (11F46) Quadratic forms (reduction theory, extreme forms, etc.) (11H55) (3)-folds (14J30) Hermitian symmetric spaces, bounded symmetric domains, Jordan algebras (complex-analytic aspects) (32M15)

Review text

In this long and very explicit paper the authors construct a retract \(W\) of the Siegel upper half plane \(\mathbb{H}_ 2\) of degree two and a decomposition of \(W\) into cells \(B(X) \subset \mathbb{H}_ 2\) indexed by a partially ordered set \((W,\ll)\) such that \(W\) becomes a regular, locally finite, contractible cell-complex. Moreover, if \(\Gamma\) is a torsion- free subgroup of the Siegel modular group \(Sp(4,\mathbb{Z})\) of finite index, the complex \(W\) is a \(\Gamma\)-equivalent deformation retract of \(\mathbb{H}_ 2\) with finitely many \(\Gamma\)-orbits, hence \(\mathbb{H}_ 2/ \Gamma\) has the same homotopy type as the finite cell-complex \(W/ \Gamma\) which is in fact homeomorphic to the order complex of \((W/ \Gamma,\ll)\). Thus the topology of \(W/ \Gamma\) is reflected by the poset \((W,\ll)\) which is given quite explicitly by elements of certain subsets of a symplectic lattice -- intimately connected with Voronoi's reduction theory of \(GL(4,\mathbb{R})\) -- and reverse inclusion as order relation. To be more precise, first a decomposition of \(\mathbb{H}_ 2\) into cells \(M(X)\), \(X \in W\), is achieved so to form an analytic Whitney- stratification of \(\mathbb{H}_ 2\) compatible with the action of \(\Gamma\) and with finitely many orbits. This decomposition is nothing but the Poincaré dual decomposition of \(W\) into cells \(B(X)\), i.e. the cells \(M(X)\) and \(B(X)\) meet each other transversely at one point and their dimensions add up. In order to decompose \(\mathbb{H}_ 2\) into cells, this space is embedded into the larger linear symplectic space \(SO(4,\mathbb{R})/SL(4,\mathbb{R})\) for which the Voronoi decomposition is the analogue of the classical decomposition of the upper half plane \(\mathbb{H}\) into hyperbolic triangles. The intersection of these Voronoi cells with \(\mathbb{H}_ 2\) furnishes the required decomposition. Since there is no linear structure on \(\mathbb{H}_ 2\) in contrast to the classical elliptic case \(\mathbb{H}\) the construction of the cells \(B(X)\) causes serious problems which are surpassed by extending the decomposition of \(\mathbb{H}_ 2\) to a decomposition of a Satake partial compactification \(\mathbb{H}^*_ 2\) of \(\mathbb{H}_ 2\) having the same geometric properties.

Recommendations

• Classical projective geometry and arithmetic groups
• scientific article; zbMATH DE number 4073430
• The Siegel modular variety of degree two and level three
• scientific article; zbMATH DE number 1186830
• Über die Fundamentalgruppen Siegelscher Modulvarietäten vom Grade 2. (On the fundamental groups of Siegel modular varieties of degree 2.)

Cites work

• Classical projective geometry and arithmetic groups
• Deformation retracts with lowest possible dimension of arithmetic quotients of self-adjoint homogeneous cones
• Geometry in Grassmannians and a generalization of the dilogarithm
• scientific article; zbMATH DE number 125810 (Why is no real title available?)
• scientific article; zbMATH DE number 192896 (Why is no real title available?)
• scientific article; zbMATH DE number 3477264 (Why is no real title available?)
• scientific article; zbMATH DE number 3276402 (Why is no real title available?)
• scientific article; zbMATH DE number 3303053 (Why is no real title available?)
• On compactifications of the quotient spaces for arithmetically defined discontinuous groups
• On representations and compactifications of symmetric Riemannian spaces
• On the homology and cohomology of congruence subgroups
• On the torsion in \(K_4(\mathbb{Z})\) and \(K_5(\mathbb{Z})\)
• Satake compactifications
• Shellings of spheres and polytopes
• Small-dimensional classifying spaces for arithmetic subgroups of general linear groups
• Symplectic Geometry
• The cohomology of \(SL_3(Z)\)
• The complete enumeration of extreme senary forms

Cited in

(13)

• The Steinberg module and the cohomology of arithmetic groups
• Cohomology at infinity and the well-rounded retract for general linear groups
• On the difficulty of finding spines
• The Farrell-Tate and Bredon homology for \(\operatorname{PSL}_4(\mathbb{Z})\) via cell subdivisions
• Symplectic modular symbols
• An explicit spine for the Picard modular group over the Gaussian integers
• The Siegel modular variety of degree two and level three
• scientific article; zbMATH DE number 1516554 (Why is no real title available?)
• Computing Heeke Eigenvalues Below the Cohomologieal Dimension
• Zero cells of the Siegel-Gottschling fundamental domain of degree 2
• Lectures on computing cohomology of arithmetic groups
• On the integral homology of \(\text{PSL}_4(\mathbb Z)\) and other arithmetic groups
• Classical projective geometry and arithmetic groups

This page was built for publication: Explicit reduction theory for Siegel modular threefolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1802546)