Splitting fields of complex hyperbolic groups: matrix extraction, Hermitian descent, and spectral fields
Abstract
Let Γ<SU(n,1), n≥2, be Zariski-dense and contain a regular loxodromic element A. The splitting-field problem asks how far traces and spectra determine a field of definition for Γ. We show first that traces together with the spectrum of A always give a linear realization over K=ℚ(trΓ,E(A)). We also prove that every complex-irreducible subgroup of SU(n,1) with real trace field is conjugate into SO(n,1); in particular, no discreteness hypothesis is required for this real-trace conclusion. In higher dimension, however, linear descent does not by itself give the standard unitary form: a Hermitian similarity obstruction remains, described over imaginary quadratic fields by Landherr's local invariants. In SU(3,1) we give a Zariski-dense example for which the one-spectrum field is ℚ(i) but does not yield the standard unitary form. This leads naturally to the total spectral field. We prove that the obstruction disappears for arithmetic groups and under suitable local openness hypotheses, and we give an even-degree local criterion. In dimension four we analyze the discrete branch through explicit Schottky groups and rank-one local geometry. There the full Bruhat cocycle recovers anisotropic Levi holonomy and forces a non-split rotational word. The remaining quasi-split rank-two case is not reached by this method, so the general SU(3,1) problem remains open.
Related
- Microlocal analysis and spectral gap for complex hyperbolic manifolds
- Indiscernible Extraction in Theories with Bounded k-splitting
- Parabolic-hyperbolic splitting in support propagation for stochastic porous media equations
- Exact Scaling Laws and Non-Hermitian Topological Phase Transitions of Active Continuum on Hyperbolic Manifolds
- Compactification of parabolic Hermitian--Einstein moduli spaces on complex surfaces
BibTeX
@misc{cano2026splitting,
title = {{Splitting fields of complex hyperbolic groups: matrix extraction, Hermitian descent, and spectral fields}},
author = {Angel Cano and Hector Castro and Nikolay Gusevskii},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.10894},
eprint = {2610.10894},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.10894},
}
RIS
TY - UNPB
TI - Splitting fields of complex hyperbolic groups: matrix extraction, Hermitian descent, and spectral fields
AU - Angel Cano
AU - Hector Castro
AU - Nikolay Gusevskii
PY - 2026
DA - 2026/10/07
PB - arXiv
DO - 10.48550/arxiv.2610.10894
UR - https://arxiv.org/abs/2610.10894
AB - Let Γ<SU(n,1), n≥2, be Zariski-dense and contain a regular loxodromic element A. The splitting-field problem asks how far traces and spectra determine a field of definition for Γ. We show first that traces together with the spectrum of A always give a linear realization over K=ℚ(trΓ,E(A)). We also prove that every complex-irreducible subgroup of SU(n,1) with real trace field is conjugate into SO(n,1); in particular, no discreteness hypothesis is required for this real-trace conclusion. In higher dimension, however, linear descent does not by itself give the standard unitary form: a Hermitian similarity obstruction remains, described over imaginary quadratic fields by Landherr's local invariants. In SU(3,1) we give a Zariski-dense example for which the one-spectrum field is ℚ(i) but does not yield the standard unitary form. This leads naturally to the total spectral field. We prove that the obstruction disappears for arithmetic groups and under suitable local openness hypotheses, and we give an even-degree local criterion. In dimension four we analyze the discrete branch through explicit Schottky groups and rank-one local geometry. There the full Bruhat cocycle recovers anisotropic Levi holonomy and forces a non-split rotational word. The remaining quasi-split rank-two case is not reached by this method, so the general SU(3,1) problem remains open.
ER -