Bismut Ricci Flat Manifolds with Symmetries

Basic Information

• Paper ID: 2202.00417
• Title: Bismut Ricci flat manifolds with symmetries
• Authors: Fabio Podestà, Alberto Raffero
• Classification: math.DG (Differential Geometry)
• Publication Date: February 1, 2022 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2202.00417

Abstract

This paper constructs examples of compact homogeneous Riemannian manifolds that admit invariant Bismut connections which are Ricci flat but not flat, thereby disproving a generalized Alekseevsky-Kimelfeld theorem. The article provides a complete classification of five-dimensional compact homogeneous Bismut Ricci flat spaces. Additionally, it investigates compact homogeneous spaces with nontrivial third Betti numbers and indicates alternative methods for constructing Bismut Ricci flat manifolds. Finally, since Bismut Ricci flat connections correspond to fixed points of the generalized Ricci flow, the paper discusses the stability of certain examples under this flow.

Research Background and Motivation

Core Problem

The central question addressed in this paper is: Do there exist homogeneous Riemannian manifolds admitting invariant Bismut connections that are Ricci flat but not flat?

This question originates from a problem posed by García-Fernández and Streets: Given a homogeneous Riemannian manifold $(M,g,H)$ where $H$ is invariant and the Bismut Ricci curvature vanishes, must the associated Bismut connection necessarily be flat?

Significance of the Problem

1. Generalized Geometry Theory: The Bismut connection plays a central role in generalized Riemannian geometry, naturally associated with generalized metrics on exact Courant algebroids
2. Theoretical Physics Applications: These connections are significant in theoretical and mathematical physics, particularly in the renormalization group flow of two-dimensional nonlinear σ-models
3. Geometric Flow Theory: Bismut Ricci flatness corresponds to fixed points of the generalized Ricci flow, which is crucial for understanding the behavior of geometric flows

Limitations of Existing Approaches

• Known standard examples (such as bi-invariant metrics on compact simple Lie groups) have flat Bismut connections
• The classical Alekseevsky-Kimelfeld theorem states that every homogeneous Ricci flat manifold is flat, but its generalization to Bismut connections remained unverified

Core Contributions

1. Construction of Counterexamples: Constructs a family of compact homogeneous Riemannian manifolds $M_{p,q}$ admitting invariant BRF pairs $(g,H)$ whose corresponding Bismut connections are non-flat
2. Negation of Generalized Theorem: Proves that the generalized Alekseevsky-Kimelfeld theorem does not hold
3. Complete Classification: Provides a complete classification of five-dimensional compact homogeneous Bismut Ricci flat spaces
4. Stability Analysis: Studies the stability of constructed examples under the generalized Ricci flow
5. Generalized Construction: Demonstrates the application of Kobayashi's construction in generalized Einstein manifolds

Detailed Methodology

Task Definition

Find compact homogeneous Riemannian manifolds $(M,g)$ and 3-forms $H$ such that:

1. $H$ is $g$-harmonic: $dH = 0$ and $\delta_g H = 0$
2. The Ricci tensor satisfies: $\text{Ric}^g = \frac{1}{4}H^2$
3. The corresponding Bismut connection $\nabla = \nabla^g + \frac{1}{2}g^{-1}H$ is Ricci flat but not flat

Core Construction Methods

1. Selection of Homogeneous Spaces

Based on the analysis of Theorem 2.1, for compact homogeneous spaces $M = G/K$ with $b_3(M) \geq 1$:

• If $G$ is simple, then $K$ must be finite
• If $G$ is a local product of two simple factors, then the Lie algebra $\mathfrak{k}$ either is contained in one factor or has isomorphic images in both factors

Classification in the Five-Dimensional Case

Through systematic analysis, it is proven that five-dimensional compact homogeneous manifolds admit invariant BRF pairs if and only if:

• $M$ is finitely covered by a compact Lie group, or
• $M$ is finitely covered by $SU(2)^2/T^1$, where $T^1$ is diagonally embedded in $SU(2)^2$

2. Concrete Construction of $M_{p,q}$

Define the homogeneous space: $M_{p,q} := (SU(2) \times SU(2))/K_{p,q}$ where $K_{p,q} := \{(\text{diag}(z^p, z^{-p}), \text{diag}(z^q, z^{-q})) \in SU(2)^2 \mid z \in T^1\}$

for $p \geq q \geq 1$ and $\gcd(p,q) = 1$.

3. Construction of BRF Pairs

In the Lie algebra $\mathfrak{g} = \mathfrak{su}(2) \oplus \mathfrak{su}(2)$, choose a basis: $e_1 = (qH, -pH), \quad e_2 = (E,0), \quad e_3 = (V,0), \quad e_4 = (0,E), \quad e_5 = (0,V)$

Case 1: $p \neq q$

• Invariant 3-form: $H = q e^{123} + p e^{145}$
• Invariant metric: diagonal form with parameters $(\mu, a, b)$
• BRF condition yields a unique solution: $\mu = \sqrt{2}(p^2 + q^2), \quad a = \sqrt{\frac{q^2}{p^2 + q^2}}, \quad b = \sqrt{\frac{p^2}{p^2 + q^2}}$

Case 2: $p = q = 1$

• The space of invariant forms is larger, including non-diagonal terms
• Through detailed calculations, the existence and local uniqueness of BRF pairs are determined

Technical Innovations

1. Systematic Dimensional Analysis: By analyzing the dimension of isometry groups and the structure of isotropy subgroups, systematically eliminates impossible cases
2. Application of Koszul Formula: Uses the Koszul formula to compute differentials of invariant forms and determine closure conditions
3. Precise Computation of Ricci Tensor: Employs homogeneous space formulas to compute the Ricci tensor on homogeneous spaces
4. Solution of Algebraic Systems: Transforms BRF conditions into algebraic systems and solves them

Experimental Setup

Theoretical Verification Methods

Since this is pure mathematical theoretical research, "experiments" primarily refer to theoretical calculations and verification:

1. Computation of Geometric Quantities:
   • Component calculations of the Ricci tensor
   • Hodge dual calculations of 3-forms
   • Component calculations of the $H^2$ tensor
2. System of Equations:
   • Harmonic conditions: $dH = 0$, $\delta_g H = 0$
   • BRF condition: $\text{Ric}^g = \frac{1}{4}H^2$
3. Flatness Verification:
   • Verifies that the constructed Bismut connection is indeed non-flat
   • Uses known results to exclude flat cases

Experimental Results

Main Results

Theorem 3.2 (Five-Dimensional Classification)

A five-dimensional compact homogeneous Riemannian manifold $(M,g)$ admits a harmonic 3-form $H$ such that $(g,H)$ is a BRF pair if and only if:

1. $M$ is finitely covered by a compact Lie group, or
2. $M$ is finitely covered by $SU(2)^2/T^1$

Theorem 3.3 (Concrete Construction)

For $M_{p,q}$:

• When $p \neq q$: The space of $G$-invariant BRF pairs $\mathcal{B}(M_{p,q})^G = \mathbb{R}^+(g_o, H_o)$
• When $p = q = 1$: Within an appropriate neighborhood, BRF pairs are locally unique (up to scaling)

Key Property Verification

1. Non-Flatness: All $M_{p,q}$ do not admit Bismut flat connections
2. Non-Einstein Property: The metric $g_o$ is not an Einstein metric
3. Non-Parallelism: The 3-form $H_o$ is not parallel with respect to the Bismut connection

Stability Analysis (Section 4)

For the case $p \neq q$, the generalized Ricci flow is studied: $\frac{\partial}{\partial t}g_t = -2\text{Ric}^{g_t} + \frac{1}{2}H_t^2, \quad \frac{\partial}{\partial t}b_t = -\delta_{g_t}H_t$

Main Findings:

• The BRF pair $(g_o, H_o)$ is a fixed point of the flow
• Through linearization analysis, the fixed point is proven to be asymptotically stable
• The eigenvalues of the Jacobian matrix are all negative real numbers, ensuring local stability

Related Work

Main Research Directions

1. Bismut Connection Theory: Originates from index theory problems in complex geometry
2. Generalized Riemannian Geometry: Related to generalized metrics on Courant algebroids
3. Geometric Flow Theory: Generalized Ricci flow as a generalization of Hamilton's Ricci flow
4. Homogeneous Space Geometry: Classical Alekseevsky-Kimelfeld theorem and its generalizations

Innovation of This Paper

• First Construction: First examples of homogeneous Bismut Ricci flat but non-flat manifolds
• Complete Classification: Provides complete classification for the five-dimensional case
• Stability Study: First analysis of the behavior of such structures under the generalized Ricci flow

Conclusions and Discussion

Main Conclusions

1. Negative Result: The generalized Alekseevsky-Kimelfeld theorem does not hold
2. Constructive Result: Provides concrete counterexample families $M_{p,q}$
3. Classification Result: Completes the classification for the five-dimensional case
4. Stability Result: Proves asymptotic stability of constructed examples

Limitations

1. Dimensional Restrictions: Main results concentrate on low-dimensional cases (particularly five dimensions)
2. Special Structures: Constructed examples possess special symmetries
3. Computational Complexity: Complete analysis of the $p = q = 1$ case remains challenging

Future Directions

1. Higher-Dimensional Generalizations: Study cases in higher dimensions
2. Generalized Constructions: Use Kobayashi's construction to find more examples
3. Geometric Flow Research: Investigate long-time behavior of the generalized Ricci flow
4. Physical Applications: Explore applications in string theory and generalized geometry

In-Depth Evaluation

Strengths

1. Theoretical Breakthrough: Resolves an important problem posed by García-Fernández and Streets
2. Methodological Innovation: Combines techniques from Lie group theory, differential geometry, and algebraic computation
3. Complete Results: Not only provides counterexamples but also offers complete classification
4. Rigorous Computation: All calculations are verified in detail

Weaknesses

1. Special Examples: Constructed examples all possess high symmetry, potentially lacking generality
2. Technical Complexity: Some calculations (particularly the $p = q = 1$ case) are overly complex
3. Geometric Intuition: Lacks geometric intuition for why these examples exist

Impact

1. Theoretical Contribution: Provides important counterexamples for generalized geometry theory
2. Methodological Value: Methods employed may be applicable to similar problems
3. Application Prospects: Potential applications in theoretical physics and geometric flow theory

Applicable Scenarios

• Research in generalized Riemannian geometry
• Geometric flow theory
• Study of geometric structures on homogeneous spaces
• Research on σ-models in theoretical physics

References

The paper cites 28 important references, primarily including:

• 15 García-Fernández, Streets: Generalized Ricci Flow (core reference)
• 4 Alekseevsky, Kimelfeld: Classical theorem on homogeneous Ricci flat manifolds
• 17 Kobayashi: Topology of Kähler manifolds with positive curvature
• 8,19 Callan et al., Oliynyk et al.: Physical origins of the generalized Ricci flow

This paper makes significant contributions to the field of differential geometry, not only resolving a specific open problem but also providing new tools and perspectives for related research. Its rigorous mathematical analysis and innovative construction methods make it an important reference in the field.