Flag Curvature in Finsler Geometry
- Flag curvature is a key invariant in Finsler geometry that generalizes sectional curvature by incorporating a distinguished flagpole direction within a tangent 2-plane.
- It plays a central role in analyzing geodesic behavior, metric rigidity, and classification through tensorial and differential conditions, including Jacobi endomorphism properties.
- Practical computations on models like Randers and Funk metrics use explicit flag curvature formulas to validate constant curvature criteria on homogeneous spaces.
A flag in Finsler geometry generalizes the concept of a 2-plane in Riemannian geometry, introducing a distinguished direction—the flagpole—within a tangent 2-plane. Flag curvature is the principal sectional invariant in Finsler geometry, extending the Riemannian notion of sectional curvature to settings where anisotropy plays a fundamental role. The concept is central for the study of geodesic behavior, metric rigidity, and classification results within Finsler geometry.
1. Definition of Flag and Flag Curvature
Let be a smooth Finsler manifold. At each point , a flag is a pair , where (the "flagpole") and is a 2-dimensional subspace containing . Let such that . The flag curvature is defined via the Chern (or Cartan) connection's curvature tensor and the Finsler fundamental tensor 0:
1
This invariant measures the infinitesimal deviation of geodesics within the flag 2, and reduces to the Riemannian sectional curvature when 3. Unlike in Riemannian geometry, 4 depends not only on the 2-plane 5 but also on the chosen flagpole 6 within 7 (Bucataru et al., 2012, Cretu, 2019).
2. Jacobi Endomorphism and its Role
The Jacobi endomorphism 8 encodes the curvature data of a spray 9 (associated to a Finsler metric or, more generally, a homogeneous system of SODEs). For a spray
0
the nonlinear connection on 1 yields projections 2 (horizontal) and 3 (vertical), with curvature encapsulated by the Jacobi endomorphism:
4
5
In the context of a Finsler metric, 6 contracts directly with the curvature of the Chern connection: 7 (Bucataru et al., 2012, Cretu, 2019). This formalism allows the use of tensorial criteria to characterize flag curvature types, especially in metrizability problems and the classification of Finsler metrics of constant flag curvature.
3. Tensorial Characterization of Constant Flag Curvature
A spray 8 is metrizable by a Finsler function 9 of nonzero constant flag curvature if and only if the Jacobi endomorphism 0 satisfies three tensorial conditions (Bucataru et al., 2012):
- (A) Regularity: 1.
- (D₁) Isotropy:
2
with 3 the tangent structure and 4 the Liouville vector field.
- (D₂) Ricci-constancy: 5, with 6 the horizontal differential.
The isotropy condition (D₁) ensures that 7 is of the form 8, and (D₂) asserts the "Ricci scalar" 9 is horizontally constant. These collectively guarantee that the associated curvature tensor has the scalar form corresponding to constant flag curvature.
For sprays not satisfying these conditions, such as certain Funk-type projective deformations or Randers structures with non-constant curvature, constant flag curvature cannot be realized (Bucataru et al., 2012).
4. Algebraic and Differential Obstructions
A general algebraic characterization, due to Bucataru and Fodor, states that a Finsler metric 0 on 1 has constant flag curvature if and only if the curvature tensor 2 of the Chern connection satisfies, for every symmetric (0,2)-tensor 3:
4
for all indices 5. This can be formulated in terms of the vanishing of certain Frölicher–Nijenhuis derivations or insertions, providing a coordinate-free algebraic obstruction to constant flag curvature. If obeyed, it forces the curvature 6 to factorize through the vertical endomorphism and the flag curvature scalar 7 to be constant on 8 (Bucataru et al., 2019).
In the framework of projective geometry, a Weyl-type (1,2)-tensor 9 vanishes if and only if the metric has constant flag curvature; 0 gives a projectively invariant obstruction up to Hamel functions, generalizing the Beltrami theorem to the Finslerian setting (Cretu, 2019).
5. Homogeneous and Invariant Flag Curvatures
Explicit flag curvature formulas can be given for invariant metrics on homogeneous spaces 1 and Lie groups 2. For invariant Randers, general (α,β)-, or Kropina-type metrics of Berwald type, the flag curvature is expressed as:
3
where 4 is the fundamental tensor at 5 (obtained from the Finsler structure), 6 is the Levi–Civita curvature of the underlying invariant Riemannian metric, and 7 is chosen so 8 is an orthonormal basis of the flag plane (Esrafilian et al., 2013, Moghaddam, 2013, Shanker et al., 2021).
Specialized curvature formulas apply to naturally reductive spaces and bi-invariant metrics, where the curvature terms can be written in terms of Lie bracket expressions and structure constants, with all Finslerian anisotropy encoded via the inner product corrections in 9.
Example: For a bi-invariant metric on SU(2), the Randers–Berwald flag curvature reduces to expressions involving double Lie brackets, reflecting the underlying group structure (Moghaddam, 2013, Shanker et al., 2021).
6. Rigidity and Classification Results
A key rigidity phenomenon is that in dimension 0, any Finsler metric of sectional flag curvature (i.e., 1 independent of the flagpole 2 within the flag plane 3) must be Riemannian or have isotropic (and thus, by Schur's lemma in Finsler geometry, constant) flag curvature. Thus, all nontrivial Finsler metrics of sectional flag curvature have constant flag curvature, and projectively flatness is equivalent to scalar flag curvature for certain prominent families (e.g., Matsumoto metrics) (Huang et al., 2018, Zhang, 2013).
In the homogeneous setting, Wallach's classification of positively curved even-dimensional Riemannian homogeneous manifolds extends precisely to the Finsler case: the same isotropy-type and root-system conditions govern which coset spaces admit invariant Finsler metrics with positive flag curvature. Non-Riemannian invariant Finsler metrics exist exactly on those spaces allowing continuous deformations of the normal metric (e.g., certain Wallach spaces) (Xu et al., 2014, Xu et al., 2016).
7. Practical Computation and Model Examples
The six-step practical test for metrizability by a constant flag curvature Finsler metric involves explicit computation of the nonlinear connection, Jacobi endomorphism, Ricci scalar, and differential constraints on the spray. Examples examined include:
- The Poincaré half-plane, with constant flag curvature 4.
- Projectively flat Randers and Funk metrics, where curvature computations reveal the role of projective deformations and Hamel functions in constructing new constant flag curvature metrics (Bucataru et al., 2012, Cretu, 2019).
- Homogeneous Berwald–Randers and generalized m-Kropina spaces, where all computations reduce to structure data and inner products at the identity coset or group unit (Shanker et al., 2021, Moghaddam, 2013).
The above framework enables the explicit construction and verification of Finsler metrics with prescribed curvature properties, as well as the extraction of further geometric properties such as geodesic rigidity, integrability, and topological consequences.
References:
- (Bucataru et al., 2012) Sprays metrizable by Finsler functions of constant flag curvature
- (Cretu, 2019) New classes of projectively related Finsler metrics of constant flag curvature
- (Bucataru et al., 2019) An Algebraic Characterisation for Finsler Metrics of Constant Flag Curvature
- (Huang et al., 2018) A conclusive theorem on Finsler metrics of sectional flag curvature
- (Xu et al., 2014) Even dimensional homogeneous Finsler spaces with positive flag curvature
- (Xu et al., 2016) Reversible homogeneous Finsler metrics with positive flag curvature
- (Esrafilian et al., 2013) Flag Curvature of Invariant Randers Metrics on Homogeneous Manifolds
- (Moghaddam, 2013) On the flag curvature of invariant Randers metrics
- (Shanker et al., 2021) On the flag curvature of a homogeneous Finsler space with generalized 5-Kropina metric
- (Zhang, 2013) On Matsumoto metrics of scalar flag curvature