What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine the injectivity radius and diameter of any simply - connected compact Riemannian symmetric space. Specifically, by studying the relationship between the cut locus of these spaces and the Cartan polyhedron of the corresponding restricted root system, the author calculates the injectivity radius and diameter of the irreducible type. ### Main problem decomposition: 1. **Definitions of injectivity radius and diameter**: - The injectivity radius \( i(M) \) refers to the maximum radius at which the exponential map remains injective on the manifold \( M \). - The diameter \( d(M) \) refers to the least upper bound of the geodesic lengths between any two points on the manifold. 2. **Research objects**: - Simply - connected compact Riemannian symmetric space \( M \), this type of space has non - negative sectional curvature, and its geometric properties are closely related to the curvature. 3. **Methodology**: - Based on the work of Richard Crittenden, the author discusses conjugate points and cut points, and uses algebraic methods to prove the consistency between cut points and the first conjugate points. - By introducing the concept of Cartan polyhedron, the author explores the relationship between the first conjugate points and the Cartan polyhedron of the restricted root system, and obtains the main theorem (Theorem 1.3) about cut points. 4. **Specific calculations**: - The author divides the calculation process into three steps: 1. Study the abstract irreducible root system \( \Phi \), define new variables \( i(\Phi) \) and \( d(\Phi) \), and explore their relationship with the length of the highest root. 2. Study the restricted root system \( \Sigma \), calculate the square length of its highest root. 3. Study any simply - connected compact irreducible Riemannian symmetric space, define the parameter \( \epsilon \) and show its relationship with the Ricci curvature, and finally list the injectivity radii and diameters of different types. ### Conclusion: - The paper successfully determines the injectivity radius and diameter of any simply - connected compact Riemannian symmetric space, and shows how these geometric quantities depend on the type of the restricted root system, the type of the corresponding orthogonal involutive Lie algebra, and the metric on the manifold. This research result is helpful for further studying the geometric properties of compact - type symmetric spaces.

Injectivity radius and Cartan polyhedron for simply connected symmetric spaces

Injectivity radius for non-simply connected symmetric spaces via Cartan polyhedron

Injectivity radii of hyperbolic polyhedra

Injectivity of the genus 1 Kudla-Millson lift on locally symmetric spaces

Restricted Root Systems and Spin Representations

On the Injectivity Radius of the Stiefel Manifold: Numerical investigations and an explicit construction of a cut point at short distance

Injectivity radius lower bound of convex sum of tame Riemannian metrics and applications to symplectic topology

Injectivity, cubical approximations and equivariant wall structures beyond CAT(0) cube complexes

Injectivity theorems and cubical descent for schemes, stacks, and analytic spaces

The sphere and the cut locus at a tangency point in two-dimensional almost-Riemannian geometry

Strengthened injectivity radius bounds for manifolds with positive scalar curvature

Spaces of embeddings of compact polyhedra into 2-manifolds

Geometry of Selberg's bisectors in the symmetric space SL(n,R)/SO(n,R)

Injectivity theorems for higher direct images under proper Kähler morphisms on snc spaces

The Injectivity Radius of Souls of Alexandrov Spaces

Hyperplane Arrangements and Compactifications of Vector Groups

The existence of inversive distance circle packing on polyhedral surface

The Injectivity Radius and Shortest Arcs of the Oblate Ellipsoid of Revolution

The injectivity radius of the compact Stiefel manifold under the Euclidean metric

Birational Transformations on Irreducible Compact Hermitian Symmetric Spaces