[Paper Review] Bundle Constructions of Calibrated Submanifolds in R^7 and R^8

Marianty Ionel, Spiro Karigiannis+1 more|ArXiv.org|Jul 31, 2004

Geometric Analysis and Curvature Flows7 references4 citations

TL;DR

This paper introduces a bundle construction method to generate calibrated submanifolds in ℝ⁷ and ℝ⁸ by lifting minimal surfaces in ℝ⁴ to subbundles of the anti-self-dual 2-forms (ℝ⁷) and negative spinor bundles (ℝ⁸). The key result is that associative submanifolds in ℝ⁷ arise from any minimal surface in ℝ⁴, while coassociative and Cayley submanifolds require additional geometric conditions, yielding new explicit examples of calibrated submanifolds with applications to special holonomy geometry.

ABSTRACT

We construct calibrated submanifolds of R^7 and R^8 by viewing them as total spaces of vector bundles and taking appropriate sub-bundles which are naturally defined using certain surfaces in R^4. We construct examples of associative and coassociative submanifolds of R^7 and of Cayley submanifolds of R^8. This construction is a generalization of the Harvey-Lawson bundle construction of special Lagrangian submanifolds of R^{2n}.

Motivation & Objective

• To generalize the Harvey-Lawson bundle construction of special Lagrangian submanifolds to the exceptional holonomy groups G₂ and Spin(7).
• To construct explicit examples of calibrated submanifolds—associative, coassociative, and Cayley—in ℝ⁷ and ℝ⁸ using minimal surfaces in ℝ⁴ as base manifolds.
• To identify the precise geometric conditions on the base surface in ℝ⁴ that yield calibrated submanifolds in the total space of associated bundles.
• To provide new, non-trivial examples of calibrated submanifolds that are not contained in lower-dimensional complex or symplectic subspaces.

Proposed method

• View ℝ⁷ as the bundle of anti-self-dual 2-forms over ℝ⁴, and ℝ⁸ as the negative spinor bundle over ℝ⁴, both carrying natural G₂ and Spin(7) structures.
• Restrict these bundles to a 2-dimensional minimal surface M² embedded in ℝ⁴.
• Construct rank-1 and rank-2 subbundles of the restricted bundles using the induced complex structure and normal bundle data.
• Use the induced metric and calibration forms to determine when these subbundles are calibrated (i.e., associative, coassociative, or Cayley).
• Apply the Cauchy-Riemann equations and geometric identities to simplify the calibration conditions and derive explicit parametrizations.
• Verify that the resulting submanifolds are calibrated by checking that the pullback of the calibration form equals the volume form.

Experimental results

Research questions

• RQ1 Under what conditions on a surface M² in ℝ⁴ does the associated rank-1 subbundle of ∧²₋(ℝ⁴)|M² yield an associative submanifold in ℝ⁷?
• RQ2 When is the rank-2 subbundle of ∧²₋(ℝ⁴)|M² coassociative in ℝ⁷, and how does this relate to the minimality and superminimality of M²?
• RQ3 What conditions ensure that the rank-2 subbundles of the negative spinor bundle over M² in ℝ⁴ yield Cayley submanifolds in ℝ⁸?
• RQ4 Can this construction produce non-trivial coassociative submanifolds in ℝ⁷ that are not contained in a complex subspace of ℂ³ ⊂ ℝ⁷?
• RQ5 How does the complexity of the deformation theory of associative and Cayley submanifolds compare to that of special Lagrangian and coassociative submanifolds in this construction framework?

Key findings

• The rank-1 subbundle of ∧²₋(ℝ⁴)|M² is associative in ℝ⁷ if and only if M² is minimal in ℝ⁴, with no additional conditions required.
• The rank-2 subbundle of ∧²₋(ℝ⁴)|M² is coassociative in ℝ⁷ if and only if M² is superminimal (satisfies half the real isotropic minimal surface equation).
• Two rank-2 subbundles of the negative spinor bundle over M² in ℝ⁴ are Cayley in ℝ⁸ if and only if M² is minimal in ℝ⁴.
• Explicit examples of associative submanifolds in ℝ⁷ are constructed using u = eˣcos(y), v = eˣsin(y), yielding a non-trivial 4-dimensional submanifold parametrized by (t, x, y, u, v).
• The coassociative construction yields examples in ℝ⁷ that are not contained in any ℂ³ subspace, including one parametrized by (2eˣ(t₁sin(y)−t₂cos(y)), t₁(1−e²ˣ), t₂(1−e²ˣ), x, y, eˣcos(y), eˣsin(y)).
• The Cayley construction produces submanifolds that are either ℝ×L for an associative 3-fold L or non-trivial coassociative submanifolds of ℝ⁷, demonstrating a new method to generate such objects.