Spin(7)-instantons on Joyce's first examples of compact Spin(7)-manifolds

Basic Information

• Paper ID: 2310.03451
• Title: Spin(7)-instantons on Joyce's first examples of compact Spin(7)-manifolds
• Authors: Mateo Galdeano, Daniel Platt, Yuuji Tanaka, Luya Wang
• Classification: math.DG (Differential Geometry), hep-th (High Energy Physics Theory)
• Publication Date: October 2023 (arXiv v2: October 15, 2025)
• Paper Link: https://arxiv.org/abs/2310.03451

Abstract

This paper constructs Spin(7)-instantons on one of the compact Spin(7)-manifolds constructed by Joyce. Although the underlying compact Spin(7)-manifold is the same as that used by Lewis in constructing Spin(7)-instantons, both the construction method and the resulting instantons are entirely novel. The compact Spin(7)-manifold is obtained by gluing a Spin(7)-orbifold space with certain local model spaces around the orbifold singularities. We construct instantons by gluing non-flat connections on the local model spaces with flat connections on the Spin(7)-orbifold space. We provide over 20,000 new four-parameter families of Spin(7)-instantons with structure groups SO(3), SO(4), SO(5), SO(7), and SO(8).

Research Background and Motivation

Problem Background

1. Importance of Spin(7)-instantons: Spin(7)-instantons are Yang-Mills connections on Spin(7)-manifolds that minimize the Yang-Mills functional and are solutions to first-order elliptic systems. They are primary objects of study in higher-dimensional gauge theory as proposed by Donaldson-Thomas and Donaldson-Segal.
2. Construction Difficulties: Constructing examples of these Spin(7)-instantons is an extremely difficult problem, particularly when the underlying manifold is compact. This is because it requires substantial analytical work and limited flexibility in achieving surjectivity of the linearized operator.
3. Historical Development:
   • Berger predicted the existence of such manifolds
   • Joyce first constructed examples of compact Spin(7)-manifolds
   • Lewis first constructed Spin(7)-instantons on one of Joyce's compact Spin(7)-manifold examples

Research Motivation

1. Methodological Innovation: Although Lewis has constructed Spin(7)-instantons on the same underlying manifold, this paper proposes an entirely new construction method
2. Abundance of New Examples: Provides over 20,000 new four-parameter families of examples
3. Physical Applications: Important applications in string theory and super Yang-Mills theory

Core Contributions

1. Novel Construction Method: Proposes a new method for constructing Spin(7)-instantons by gluing techniques that combine non-flat connections on local model spaces with flat connections on the orbifold space
2. Abundant New Examples: Constructs over 20,000 new four-parameter families of Spin(7)-instantons, covering structure groups SO(3), SO(4), SO(5), SO(7), SO(8)
3. Theoretical Framework: Establishes a complete analytical framework, including weighted Hölder norm estimates and elliptic theory
4. Compatible Gluing Data: Defines and analyzes the concept of compatible gluing data, providing a systematic approach to construction

Methodology Details

Problem Formulation

Construct Spin(7)-instantons on the compact Spin(7)-manifold $M_t$ constructed by Joyce, i.e., find a connection $A$ whose curvature $F_A$ satisfies the Spin(7)-instanton equation: $\pi_7^2(F_A) = 0$

Model Architecture

1. Underlying Geometric Structure

• Base Manifold: Begins with the resolution of the orbifold space $T^8/\Gamma$, where $T^8$ is the 8-dimensional torus and $\Gamma$ is a finite automorphism group
• Resolution Process: Resolves orbifold singularities by gluing Eguchi-Hanson spaces
• Spin(7)-Structure: Uses Joyce's torsion-free Spin(7)-structure $\tilde{\Omega}_t$

2. Gluing Construction Method

Compatible gluing data consists of:

• A flat connection $\theta$ on the orbifold space $T^8/\Gamma$ (infinitesimally rigid)
• Equivariant maps for each connected component
• Infinitesimally rigid ASD instantons $A_j$ with finite energy on Eguchi-Hanson spaces $X$

Gluing process: $A_t(x) = \begin{cases} p_2^*A_j(x) & \text{if } d_{T^8/\Gamma}(\pi(x), \text{fix}\Gamma) \leq \zeta/4 \\ \theta(x) + \chi(x)a_j(x) & \text{if } x \in O \\ \theta(x) & \text{otherwise} \end{cases}$

where $O$ is the gluing region and $\chi$ is a cutoff function.

3. Analytical Framework

Uses weighted Hölder norms: $\|f\|_{C^{k,\alpha}_{\beta,t}} = \sum_{j=0}^k \|\nabla^j f\|_{L^{\infty}_{\beta-j,t}} + [\nabla^k f]_{C^{0,\alpha}_{\beta-k,t}}$

where the weight function is $w_t(x) = t + r_t(x)$, with $r_t(x)$ being the distance to the singular set.

Technical Innovations

1. Improved Torsion-Free Structure Estimates: Proves that $\|\tilde{\Omega}_t - \Omega_t\|_{C^{0,\alpha}_{0,t}} \leq ct^{3/10}$
2. Local Model Analysis:
   • Studies the linearized operator on $\mathbb{R}^4 \times X$
   • Proves triviality of the kernel on $X \times X$
3. Gluing Estimates: Establishes error estimates for approximate solutions $\|\pi_7^2(F_{A_t})\|_{C^{0,\alpha}_{-2,t}} \leq ct^{3/10}$

Experimental Setup

Theoretical Verification Framework

This paper is primarily a theoretical construction, with verification performed through:

1. Elliptic Estimates: Proves well-posedness of the linearized operator
2. Fixed Point Theorem: Uses the implicit function theorem to complete the construction
3. Concrete Examples: Provides numerous concrete examples of flat connections

Classification and Counting

• SO(3) case: 105 inequivalent flat connections
• SO(4) case: 882 inequivalent representations
• SO(5) case: 1785 inequivalent representations
• SO(7) case: 4095 inequivalent representations
• SO(8) case: 16383 inequivalent representations

Experimental Results

Main Results

Main Theorem (Theorem 6.5): Let $\theta$ be an unobstructed flat connection on $T^8/\Gamma$, and let $A_j$ be an infinitesimally rigid ASD instanton on the Eguchi-Hanson space $X$. Then there exists a constant $c > 0$ such that for sufficiently small $t$, there exists $a_t \in \Omega^1(M_t, \text{Ad}E_t)$ such that $A_t + a_t$ is a Spin(7)-instanton on $E_t$, with:

• $\|a_t\|_{C^{1,\alpha}_{-1,t}} \leq ct^{3/10}$
• $A_t + a_t$ is smooth

Concrete Example Statistics

Key Estimates

1. Pre-gluing Error: $\|\pi_7^2(F_{A_t})\|_{C^{0,\alpha}_{-2,t}} \leq ct^{3/10}$
2. Linear Operator Estimate: $\|a\|_{C^{1,\alpha}_{\beta,t}} \leq c\|L_{A_t}a\|_{C^{0,\alpha}_{\beta-1,t}}$
3. Torsion Structure Improvement: $\|\tilde{\Omega}_t - \Omega_t\|_{C^{0,\alpha}_{0,t}} \leq ct^{3/10}$

Related Work

Historical Development

1. Berger (1955): Predicted the existence of Spin(7)-manifolds
2. Joyce (1996): First constructed compact Spin(7)-manifolds
3. Lewis (1998): First constructed Spin(7)-instantons on Joyce manifolds
4. Walpuski (2017): Developed Taubes-type construction theory

Relationship to Related Work

• Distinction from Lewis's Work: Lewis uses Hermitian-Yang-Mills connections on Cayley submanifolds, while this paper directly glues ASD instantons at resolved singularities
• Connection to Walpuski's Work: Borrows estimation techniques from the G₂ case, but must address additional difficulties in the Spin(7) case

Conclusions and Discussion

Main Conclusions

1. Successfully constructs over 20,000 new four-parameter families of Spin(7)-instantons
2. Establishes a complete gluing theoretical framework
3. Demonstrates feasibility of construction for multiple structure groups

Limitations

1. Structure Group Restrictions: The method does not apply to SO(6) and SO(n) (n≥9) cases
2. SU(2) Case: Cannot produce irreducible SU(2) Spin(7)-instantons
3. Commutativity Assumption: Requires commutativity conditions on orbifold group representations

Future Directions

1. Investigation of possibilities for other structure groups
2. Development of theory for non-commutative cases
3. Further exploration of physical applications

In-Depth Evaluation

Strengths

1. Methodological Innovation: Proposes a novel gluing construction method fundamentally distinct from existing approaches
2. Technical Depth: Establishes a complete analytical framework, including improved torsion structure estimates
3. Rich Results: Provides numerous concrete examples, far exceeding existing literature
4. Theoretical Completeness: Forms a complete theoretical chain from orbifold group representations to final construction

Weaknesses

1. Limited Scope: Imposes strong restrictions on structure groups
2. Technical Complexity: Requires substantial preliminary knowledge with high barriers to understanding
3. Physical Applications: While physical background is mentioned, lacks concrete physical application analysis

Impact

1. Academic Value: Provides important new methods and abundant examples for Spin(7)-instanton theory
2. Technical Contribution: Improved analytical techniques may apply to other geometric construction problems
3. Foundation for Future Research: Establishes foundation for further research in related fields

Applicable Scenarios

1. Theoretical Mathematics: Differential geometry and gauge theory research
2. Mathematical Physics: Geometric aspects of string theory and supersymmetric theory
3. Computational Geometry: Provides concrete construction examples for numerical computation

References

The paper contains 53 references, covering work from Berger's foundational contributions to the latest related research, primarily including:

• Joyce's theory of compact special holonomy manifolds
• Donaldson-Thomas higher-dimensional gauge theory
• Walpuski's G₂ instanton theory
• Kronheimer-Nakajima ALE space theory

Overall Assessment: This is a high-quality theoretical mathematics paper making significant contributions to Spin(7)-instanton theory. While highly technical, the methods are novel and results abundant, providing important impetus for the development of this field.