A geometric proof of the Berger holonomy theorem (Q2388277): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Created claim: Wikidata QID (P12): Q56386879, #quickstatements; #temporary_batch_1711055989931 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q56386879 / rank | |||
Normal rank |
Latest revision as of 01:36, 22 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A geometric proof of the Berger holonomy theorem |
scientific article |
Statements
A geometric proof of the Berger holonomy theorem (English)
0 references
12 September 2005
0 references
As the author claims, the paper is devoted to a geometric proof of the following holonomy theorem proved by M. Berger in 1955: If the holonomy group of an irreducible Riemannian manifold is not transitive on the sphere, then \(M\) is locally symmetric. The proof (well outlined in the introduction) uses the normal space to an orbit of the holonomy group at a fixed tangent space \(T_pM\) of \(M\). It defines both the totally geodesic normal ball and normal holonomy group, acting as isometries on it. From here it follows that this ball is locally symmetric and is actually part of a family of such balls whose tangent spaces generate the whole \(T_pM\). Then the Jacobi operator is diagonalizable with constant coefficients in a parallel frame, hence \(M\) is locally symmetric. The methods of normal holonomy used in the paper are developed recently by the author and are expected to provide new results in the theory of Riemannian submanifolds of Euclidean spaces.
0 references
holonomy theorem
0 references
geodesic normal ball
0 references
normal holonomy group
0 references
Jacobi operator
0 references