On the automorphism group of a symplectic half-flat 6-manifold

Basic Information

• Paper ID: 1802.09412
• Title: On the automorphism group of a symplectic half-flat 6-manifold
• Authors: Fabio Podestà, Alberto Raffero
• Classification: math.DG (Differential Geometry), hep-th (High Energy Physics Theory)
• Publication Date: February 26, 2018
• Paper Link: https://arxiv.org/abs/1802.09412

Abstract

This paper proves that the automorphism group of a compact 6-dimensional manifold $M$ equipped with a symplectic half-flat SU(3)-structure has an abelian Lie algebra with dimension bounded by $\min\{5, b_1(M)\}$. Furthermore, the paper investigates the properties of the automorphism group action and discusses relevant examples. In particular, new complete examples invariant under a cohomogeneity one action of SO(4) on $T\mathbb{S}^3$ are provided.

Research Background and Motivation

Problem Background

1. Importance of SU(3)-structures: SU(3)-structures on 6-dimensional manifolds are important geometric structures consisting of an almost Hermitian structure $(g,J)$ and a complex volume form $\Psi$, with significant applications in supersymmetric string theory.
2. Symplectic half-flat structures: An SU(3)-structure is called symplectic half-flat when both $\omega$ and $\psi$ are closed forms. This structure plays a crucial role in supersymmetric string theory vacua, particularly in relation to solutions of IIA-type SUSY equations.
3. Necessity of automorphism group study: Understanding transformation groups that preserve geometric structures is essential for constructing non-trivial examples with high symmetry.

Research Motivation

1. Classification problems: Understanding structural constraints on automorphism groups in the compact case
2. Construction of new examples: Finding complete examples with non-trivial symmetries
3. Theory refinement: Providing deeper understanding of group actions in symplectic half-flat structure theory

Core Contributions

1. Main Theorem: Proves that the Lie algebra of the automorphism group of a strictly symplectic half-flat structure on a compact 6-dimensional manifold is abelian with dimension at most $\min\{5, b_1(M)\}$
2. Group action properties: Detailed analysis of geometric properties of automorphism group actions, including dimension restrictions on isotropy subalgebras and free action conditions
3. Non-existence results: Provides direct proof of non-existence of compact homogeneous symplectic half-flat 6-dimensional manifolds
4. New complete examples: Constructs a family of SO(4)-invariant complete symplectic half-flat structures on $T\mathbb{S}^3$, including the famous Stenzel Calabi-Yau metric

Methodology in Detail

Problem Setup

Study the automorphism group of a strictly symplectic half-flat SU(3)-structure $(ω,ψ)$ on a compact 6-dimensional manifold $M$: $\text{Aut}(M,ω,ψ) := \{f ∈ \text{Diff}(M) | f^*ω = ω, f^*ψ = ψ\}$

Core Technical Methods

1. Harmonic Forms Mapping

Construct an injective map $F: \mathfrak{g} → H^1(M)$ defined by $X \mapsto ι_X ω$, where $\mathfrak{g}$ is the Lie algebra of the automorphism group.

2. Key Lemma

Lemma 2.2: For any vector field $X$, the identity holds: $ι_X ψ ∧ ψ = -2 * (ι_X ω)$

3. Proof of Abelianity

Utilizing the property that Killing vector fields preserve harmonic forms, for $X,Y ∈ \mathfrak{g}$: $0 = L_Y(ι_X ω) = ι_{[Y,X]} ω$ Combined with the injectivity of map $F$, this yields $[Y,X] = 0$.

4. Dimension Estimates

Through isotropy representation theory, prove that the dimension of isotropy subalgebras is at most 2, and use orbit dimension relations to obtain upper bounds on total dimension.

Technical Innovations

1. Harmonic forms method: Innovatively exploits the correspondence between symplectic forms and harmonic 1-forms to study automorphism group structure
2. Geometric constraint analysis: Deeply analyzes how geometric constraints of SU(3)-structures limit the dimension and structure of automorphism groups
3. Cohomogeneity one construction: In the non-compact case, cleverly utilizes the transitive action of SO(4) on $\mathbb{S}^3$ to construct examples on $T\mathbb{S}^3$

Experimental Setup

Theoretical Verification

This paper is primarily theoretical research, verified through:

1. Concrete example construction:
   • Example 2.4: Explicit construction on the 6-dimensional torus $T^6$
   • Example 2.5: Examples on nilpotent Lie groups
2. Boundary case analysis: Demonstrates cases where dimension bounds are achieved

Non-compact Example Construction

On $T\mathbb{S}^3 ≅ \mathbb{S}^3 × \mathbb{R}^3$:

• Utilize the cohomogeneity one action of SO(4)
• Parametrize via normal geodesics $γ(t)$
• Construct SO(4)-invariant symplectic and 3-forms

Experimental Results

Main Theoretical Results

Complete statement of Theorem 2.1: Let $M$ be a compact 6-dimensional manifold with a strictly symplectic half-flat structure $(ω,ψ)$. Then:

1. $\dim(\mathfrak{g}) ≤ b_1(M)$
2. $\mathfrak{g}$ is abelian and $\dim(\mathfrak{g}) ≤ 5$
3. The dimension of isotropy subalgebra $\dim(\mathfrak{g}_p) ≤ 2$
4. When $\dim(\mathfrak{g}) ≥ 4$, the group action is free

Verification of Concrete Examples

Example 2.4 (6-dimensional torus)

Symplectic half-flat structure constructed on $T^6 = \mathbb{R}^6/\mathbb{Z}^6$:

• Automorphism group can be $T^3$, $T^4$, or $T^5$
• Verifies the achievability of dimension bounds

Non-compact complete examples

SO(4)-invariant examples constructed on $T\mathbb{S}^3$:

• Include Stenzel's Ricci-flat metric as a special case
• Provide explicit expressions for scalar curvature
• Prove completeness of the structure

Important Corollaries

Corollary 2.3: There exist no compact homogeneous 6-dimensional manifolds with invariant strictly symplectic half-flat structures.

Related Work

Historical Development

1. Early research: de Bartolomeis et al. first introduced and studied symplectic half-flat structures in 6,8
2. Physical applications: Andriot 2 and Fino-Ugarte 10 established connections with supersymmetric string theory
3. Classification work: Conti-Tomassini 5 classified symplectic half-flat structures on 6-dimensional nilpotent Lie algebras

Uniqueness of This Paper's Contribution

1. Group-theoretic approach: First systematic study of automorphism groups of symplectic half-flat structures
2. Dimension bounds: Provides precise upper bounds on automorphism group dimensions
3. Construction methods: Offers new construction techniques for non-compact cases

Conclusions and Discussion

Main Conclusions

1. The structure of automorphism groups in the compact case is strictly constrained: abelian with dimension at most 5
2. The non-compact case provides richer construction possibilities
3. Cohomogeneity one actions are effective methods for constructing examples with high symmetry

Limitations

1. Compactness assumption: Main results require compactness condition
2. Construction restrictions: Non-compact example constructions depend on specific group actions
3. Completeness: Classification for general non-compact cases remains incomplete

Future Directions

1. Generalization to other special geometric structures
2. Study of more general group actions
3. Further exploration of connections with physical applications

In-Depth Evaluation

Strengths

1. Theoretical depth: Combines profound results from differential geometry, Lie group theory, and harmonic analysis
2. Methodological innovation: The harmonic forms method provides new perspectives for studying symmetries of geometric structures
3. Completeness: Combines theoretical proofs with concrete constructions, achieving complementarity between theory and examples
4. Applied value: Results are significant for supersymmetric geometry and string theory

Weaknesses

1. Technical complexity: Some proofs are highly technical, potentially affecting readability
2. Limited examples: Non-compact examples are primarily concentrated on the $T\mathbb{S}^3$ case
3. Generalizability: The applicability of methods to other dimensions or structures remains to be verified

Impact

1. Theoretical contribution: Establishes new theoretical framework for studying symmetries of special geometric structures
2. Practical value: Provides guidance for constructing geometric examples with specific symmetries
3. Interdisciplinary impact: Connects pure mathematics and theoretical physics research

Applicable Scenarios

1. Study of symmetries of manifolds with special geometric structures
2. Construction of concrete examples in supersymmetric geometry
3. Analysis of geometric backgrounds in string theory

References

The paper cites 20 important references, covering:

• Foundational theory of SU(3)-structures 4,11
• Early research on symplectic half-flat structures 6,8
• Physical applications of supersymmetric geometry 2,10
• Geometric theory of cohomogeneity one actions 1,14,17,18
• Classical results in Calabi-Yau geometry 19

This paper achieves important breakthroughs in the study of automorphism groups of symplectic half-flat 6-manifolds. It not only provides profound theoretical results but also offers valuable construction methods, laying a solid foundation for further development in this field.