Open Research Index

A single induction proof of Simons' Riemannian holonomy theorem

Lei Ni

arXivarxiv/2610.03409Oct 2, 2026math.DGscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2610.03409
curl -X POST /api/v1/records/arxiv/2610.03409/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.03409/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'