A single induction proof of Simons' Riemannian holonomy theorem
Abstract
We give a detailed and complete algebraic proof of Simons' Riemannian holonomy theorem by a single strong induction on the dimension of the linear span of the curvature orbit. The proof uses the construction of flats and root centralizers, but replaces the detailed analysis of the common zero-weight space, the most technical core of previous algebraic proofs, by a trace-vanishing lemma. The lemma applies to curvature operators contained in an ideal that annihilates the curvature module. Restriction to a common geodesic subspace produces a proper invariant kernel. Induction makes this kernel fixed by the holonomy action, after which the trace lemma shows that the root centralizers span the ambient space. Their intersection recovers the maximal flat, and irreducibility completes the proof. For the completeness we also include the detailed derivation of the local symmetry of the underlying Riemannian manifold from the algebraic theorem.
Related
- Sub-Laplacian Comparison Theorem and Gradient Estimates on Complete Noncompact Contact Riemannian Manifolds
- Stability of the Riemannian positive mass theorem in all dimensions
- Hopf type theorem for surfaces of constant weighted mean curvature in Riemannian manifolds
- Levi-Civita's type theorem for projectively equivalent sub-Riemannian metrics on step 2 distributions
- A single generation theorem for simple unital C*-algebras with CPoU and comparison
BibTeX
@misc{ni2026single,
title = {{A single induction proof of Simons' Riemannian holonomy theorem}},
author = {Lei Ni},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.03409},
eprint = {2610.03409},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.03409},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - A single induction proof of Simons' Riemannian holonomy theorem
AU - Lei Ni
PY - 2026
DA - 2026/10/02
PB - arXiv
DO - 10.48550/arxiv.2610.03409
UR - https://arxiv.org/abs/2610.03409
AB - We give a detailed and complete algebraic proof of Simons' Riemannian holonomy theorem by a single strong induction on the dimension of the linear span of the curvature orbit. The proof uses the construction of flats and root centralizers, but replaces the detailed analysis of the common zero-weight space, the most technical core of previous algebraic proofs, by a trace-vanishing lemma. The lemma applies to curvature operators contained in an ideal that annihilates the curvature module. Restriction to a common geodesic subspace produces a proper invariant kernel. Induction makes this kernel fixed by the holonomy action, after which the trace lemma shows that the root centralizers span the ambient space. Their intersection recovers the maximal flat, and irreducibility completes the proof. For the completeness we also include the detailed derivation of the local symmetry of the underlying Riemannian manifold from the algebraic theorem.
ER -