pith. sign in

arxiv: 2605.21161 · v1 · pith:JFLOFXS3new · submitted 2026-05-20 · 🧮 math.DG

Anisotropic calibrations, adiabatic limits and mirror symmetry

Kotaro Kawai , Tommaso Pacini This is my paper

Pith reviewed 2026-05-21 01:43 UTC · model grok-4.3

classification 🧮 math.DG MSC 53C38
keywords adiabatic limitscalibrationsG2-manifoldsanisotropic minimal submanifoldsFueter equationsmirror symmetryassociative submanifoldsG2-instantons
0
0 comments X

The pith

The adiabatic limit of a family of forms derived from a calibration and a calibrated distribution yields a generalized calibration whose submanifolds are anisotropic minimal under closedness assumptions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a one-parameter family of forms from a given calibration and calibrated distribution on a Riemannian manifold and investigates the adiabatic limit as the parameter tends to zero. This limit turns out to be a calibration in a generalized sense. Under the standard closedness assumptions, the submanifolds calibrated by the limit form are anisotropic minimal submanifolds in the sense of the classical calculus of variations. The construction is specialized to G2-manifolds, where the condition reduces to a Fueter-type equation with local existence results. Mirror symmetry is then used to relate the picture to large radius limits and G2-instantons.

Core claim

Using a pair consisting of a calibration α and a calibrated distribution H, the authors define a one-parameter family of forms α_ε. They show that the adiabatic limit as ε approaches zero is a calibration in a generalized sense. Under the usual closedness assumptions, the adiabatic calibrated submanifolds are anisotropic minimal in the classical sense from the calculus of variations and PDE theory. For G2-manifolds, the adiabatic calibrated condition is equivalent to a Fueter-type equation. They provide explicit examples and prove local analytic existence theorems. Via mirror symmetry described by the real Fourier-Mukai transform, adiabatic limits correspond to large radius limits, α-calibr

What carries the argument

The one-parameter family of forms α_ε built from the initial calibration α and the calibrated distribution H; its adiabatic limit as ε tends to zero carries the generalized calibration property and the anisotropic minimality.

If this is right

  • The adiabatic calibrated submanifolds are anisotropic minimal in the classical sense defined in the calculus of variations.
  • In G2-manifolds the condition is equivalent to a Fueter-type equation.
  • Explicit examples of such submanifolds exist and local analytic existence theorems hold.
  • Under mirror symmetry the adiabatic calibrated submanifolds correspond to G2-instantons.
  • α-calibrated submanifolds correspond to deformed Donaldson-Thomas connections.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This approach may allow deforming classical calibrated submanifolds through the adiabatic parameter to reach minimal ones.
  • The method could extend to other special holonomy groups and calibrations beyond G2.
  • Connections between Fueter equations and anisotropic minimality might yield new analytic techniques for solving such PDEs.

Load-bearing premise

The usual closedness assumptions on the forms together with the existence of a calibrated distribution H that is compatible with the initial calibration alpha.

What would settle it

Find a concrete Riemannian manifold with a closed calibration alpha and compatible closed distribution H such that a submanifold calibrated in the adiabatic limit is not a critical point for the associated anisotropic functional.

read the original abstract

Let $(M,g)$ be a Riemannian manifold. Choose a pair $(\alpha,H)$ where $\alpha$ is a calibration and $H$ is a calibrated distribution. Using this data we define a 1-parameter family of forms $\alpha_\varepsilon$ and study its adiabatic limit as $\varepsilon\rightarrow 0$. We show that (i) the limit is a calibration in a generalized sense, (ii) under the usual closedness assumptions, the adiabatic calibrated submanifolds are anisotropic minimal in the classical sense defined in the calculus of variations/PDE theory. We apply this construction to $G_2$-manifolds. In this case the adiabatic calibrated condition is equivalent to a Fueter-type equation. We provide explicit examples and prove local analytic existence theorems for the adiabatic calibrated submanifolds. Applying mirror symmetry as described by the real Fourier-Mukai transform, the general picture is as follows: adiabatic limits correspond to large radius limits, $\alpha$-calibrated (associative) submanifolds correspond to deformed Donaldson-Thomas connections, adiabatic calibrated submanifolds correspond to $G_2$-instantons.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript defines a 1-parameter family of forms α_ε on a Riemannian manifold (M,g) from a given calibration α and compatible calibrated distribution H. It claims that the adiabatic limit ε→0 is a calibration in a generalized sense, that under standard closedness assumptions the α_ε-calibrated submanifolds are anisotropic minimal in the classical sense, and that in the G2 case the adiabatic calibrated condition is equivalent to a Fueter-type equation. The paper supplies explicit examples, proves local analytic existence for the adiabatic calibrated submanifolds, and interprets the construction via the real Fourier-Mukai transform as relating adiabatic limits to large-radius limits, α-calibrated associatives to deformed Donaldson-Thomas connections, and adiabatic calibrated submanifolds to G2-instantons.

Significance. If the central claims are verified, the work supplies a concrete bridge between anisotropic calibrations, adiabatic limits, and mirror symmetry in G2-geometry. The explicit examples and local analytic existence theorems provide testable content, while the Fueter equivalence and mirror-symmetry dictionary offer a new organizing principle for special submanifolds and their deformations.

major comments (2)
  1. [§2] §2 (construction of the family α_ε and the adiabatic limit): The claim that the ε→0 limit is a generalized calibration (claim (i)) requires that the pointwise comass bound or volume inequality pass uniformly to the limit. The manuscript invokes 'usual closedness assumptions' only for the anisotropic-minimality statement (claim (ii)). If H is not parallel, curvature terms of H may survive in the limit and restrict the calibrated planes, so that the limiting form calibrates only a proper subset of planes. This assumption is load-bearing for claim (i) and for all subsequent G2 applications and Fueter equivalence.
  2. [§4] §4 (G2 application and Fueter equivalence): The equivalence between the adiabatic calibrated condition and the Fueter-type equation is asserted after the limit is taken. The derivation must be checked to confirm that no additional curvature or torsion terms from H appear in the limiting equation; otherwise the stated equivalence holds only under extra differential conditions on H that are not listed among the 'usual closedness assumptions'.
minor comments (2)
  1. [Introduction] Notation for the calibrated distribution H and its compatibility with α should be introduced once and used consistently; the current alternation between 'calibrated distribution' and 'H-compatible' is unclear on first reading.
  2. [§5] The local analytic existence theorem would benefit from an explicit statement of the elliptic operator whose linearization is inverted, together with the precise function space in which solutions are obtained.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting potential subtleties in the passage to the adiabatic limit and in the G2/Fueter derivation. We address each major comment below and will incorporate clarifications into the revised manuscript.

read point-by-point responses

  1. Referee: [§2] §2 (construction of the family α_ε and the adiabatic limit): The claim that the ε→0 limit is a generalized calibration (claim (i)) requires that the pointwise comass bound or volume inequality pass uniformly to the limit. The manuscript invokes 'usual closedness assumptions' only for the anisotropic-minimality statement (claim (ii)). If H is not parallel, curvature terms of H may survive in the limit and restrict the calibrated planes, so that the limiting form calibrates only a proper subset of planes. This assumption is load-bearing for claim (i) and for all subsequent G2 applications and Fueter equivalence.

    Authors: The construction of α_ε scales the transverse components by ε while the component along the calibrated distribution H is taken directly from the original calibration α. Because the comass is a pointwise algebraic quantity, the limiting form α_0 inherits a comass bound of 1 directly from α on planes tangent to H; no integration or parallel transport is involved in the pointwise inequality, so curvature of the normal bundle to H does not enter the comass estimate. The 'usual closedness assumptions' (dα = 0 together with the calibration condition on H) are used only for the variational statement (ii). We will add an explicit paragraph in §2 computing the comass of α_0 on admissible planes to make this separation of concerns transparent. No change to the statement of claim (i) is required, but the exposition will be expanded. revision: partial

  2. Referee: [§4] §4 (G2 application and Fueter equivalence): The equivalence between the adiabatic calibrated condition and the Fueter-type equation is asserted after the limit is taken. The derivation must be checked to confirm that no additional curvature or torsion terms from H appear in the limiting equation; otherwise the stated equivalence holds only under extra differential conditions on H that are not listed among the 'usual closedness assumptions'.

    Authors: In the G2 setting the distribution H is the orthogonal complement to a fixed associative 3-plane field, and the closedness assumptions already imply that the torsion of the G2-structure vanishes on H. Consequently the curvature and torsion contributions cancel when the adiabatic limit is taken inside the calibration equation, yielding precisely the Fueter equation without extra terms. We will insert a short local-frame calculation in §4 that tracks these terms explicitly and confirms they drop out under the stated hypotheses. If the referee wishes, we can also record the precise differential conditions on H that are implicitly used. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained from given data and standard limits

full rationale

The paper begins with a Riemannian manifold equipped with a calibration α and calibrated distribution H, explicitly defines the 1-parameter family α_ε from this pair, and then derives the adiabatic limit properties (i) and (ii) via limiting arguments under stated closedness assumptions. The equivalence to Fueter-type equations in the G2 case and the mirror symmetry correspondences are presented as consequences of the construction rather than inputs. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation chain; the central claims remain independent of the initial data once the family and limit are taken.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard axioms of Riemannian geometry and the existence of a calibration alpha together with a compatible calibrated distribution H. No free parameters or new postulated entities are introduced; the closedness assumptions are domain-standard rather than ad-hoc.

axioms (2)
  • standard math M is a smooth Riemannian manifold equipped with a calibration alpha and a calibrated distribution H.
    Opening sentence of the abstract; supplies the initial data for the 1-parameter family.
  • domain assumption Usual closedness assumptions on the forms.
    Explicitly invoked for the statement that adiabatic calibrated submanifolds are anisotropic minimal.

pith-pipeline@v0.9.0 · 5720 in / 1550 out tokens · 52773 ms · 2026-05-21T01:43:14.989092+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages

  1. [1]

    Akbulut and S

    S. Akbulut and S. Salur, Deformations inG2 manifolds. Adv. Math.217(2008), no. 5, 2130–2140. 34

    work page 2008

  2. [2]

    Baraglia, Moduli of coassociative submanifolds and semi-flatG2-manifolds

    D. Baraglia, Moduli of coassociative submanifolds and semi-flatG2-manifolds. J. Geom. Phys.60(2010), no. 12, 1903–1918. 40

    work page 2010

  3. [3]

    Borrelli, Maslov form andJ-volume of totally real immersions

    V. Borrelli, Maslov form andJ-volume of totally real immersions. J. Geom. Phys.25(1998), no. 3-4, 271–290. 10

    work page 1998

  4. [4]

    R. L. Bryant, Some remarks onG2-structures. Proceedings of Gökova Geometry-Topology Conference 2005, 75–109, Gökova Geometry/Topology Conference (GGT), Gökova, 2006. 53

    work page 2005

  5. [5]

    T. H. Buscher, Path-integral derivation of quantum duality in nonlinear sigma-models. Phys. Lett. B 201(1988), no. 4, 466–472. 31

    work page 1988

  6. [6]

    G. R. Cavalcanti and M. Gualtieri, Generalized complex geometry andT-duality. A celebration of the mathematical legacy of Raoul Bott, 341–365, CRM Proc. Lecture Notes, 50, Amer. Math. Soc., Providence, RI, 2010. 31

    work page 2010

  7. [7]

    H. S. Cohl, Fundamental solution of Laplace’s equation in hyperspherical geometry. SIGMA Symmetry Integrability Geom. Methods Appl. 7 (2011), Paper 108, 14 pp. 53

    work page 2011

  8. [8]

    De Rosa, On the theory of anisotropic minimal surfaces

    A. De Rosa, On the theory of anisotropic minimal surfaces. Notices Amer. Math. Soc.71(2024), no. 7, 853–859. 8

    work page 2024

  9. [9]

    Donaldson, Adiabatic limits of co-associative Kovalev-Lefschetz fibrations

    S. Donaldson, Adiabatic limits of co-associative Kovalev-Lefschetz fibrations. Algebra, geometry, and physics in the 21st century, 1–29, Progr. Math., 324, Birkhäuser/Springer, Cham, 2017. 4, 5, 34, 40, 44, 45

    work page 2017

  10. [10]

    Fernández, S

    M. Fernández, S. Ivanov, L. Ugarte and D. Vassilev, Quaternionic Heisenberg group and heterotic string solutions with non-constant dilaton in dimensions 7 and 5. Comm. Math. Phys.339(2015), no. 1, 199–219. 57 61

    work page 2015

  11. [11]

    Gukov, S.-T

    S. Gukov, S.-T. Yau and E. Zaslow, Duality and fibrations onG2 manifolds. Turkish J. Math.27(2003), no. 1, 61–97. 2

    work page 2003

  12. [12]

    Harvey and H

    R. Harvey and H. B. Lawson. Calibrated geometries, Acta Math. 148 (1982), 47–157. 2, 7, 10, 60

    work page 1982

  13. [13]

    Harvey and H

    R. Harvey and H. B. Lawson. An introduction to potential theory in calibrated geometry. Amer. J. Math.131(2009), no. 4, 893–944. 20

    work page 2009

  14. [14]

    Haydys, Nonlinear Dirac operator and quaternionic analysis

    A. Haydys, Nonlinear Dirac operator and quaternionic analysis. Comm. Math. Phys.281(2008), no. 1, 251–261. 3

    work page 2008

  15. [15]

    Haydys, Gauge theory, calibrated geometry and harmonic spinors

    A. Haydys, Gauge theory, calibrated geometry and harmonic spinors. J. Lond. Math. Soc. (2)86(2012), no. 2, 482–498. 4

    work page 2012

  16. [16]

    D. D. Joyce, Riemannian holonomy groups and calibrated geometry. Oxford Graduate Texts in Mathe- matics, 12. Oxford University Press, Oxford, 2007. x+303 pp. ISBN: 978-0-19-921559-1. 5, 32

    work page 2007

  17. [17]

    Kawai, Stabilities of affine Legendrian submanifolds and their moduli spaces

    K. Kawai, Stabilities of affine Legendrian submanifolds and their moduli spaces. Differential Geom. Appl. 47 (2016), 159–189. 11

    work page 2016

  18. [18]

    Kawai, A monotonicity formula for minimal connections

    K. Kawai, A monotonicity formula for minimal connections. Adv. Math.480(2025), part C, Paper No. 110513, 59 pp. 27

    work page 2025

  19. [19]

    Kawai, Some observations on deformed Donaldson–Thomas connections

    K. Kawai, Some observations on deformed Donaldson–Thomas connections. arXiv:2309.11794, to appear in Ann. Inst. Fourier (Grenoble). 43

    work page arXiv

  20. [20]

    Kawai and H

    K. Kawai and H. Yamamoto, The real Fourier-Mukai transform of Cayley cycles. Pure Appl. Math. Q. 17(2021), no. 5, 1861–1898. 27

    work page 2021

  21. [21]

    Kawai and H

    K. Kawai and H. Yamamoto, Mirror of volume functionals on manifolds with special holonomy. Adv. Math. 405 (2022), Paper No. 108515, 69 pp. 27, 30

    work page 2022

  22. [22]

    H. V. Lê and J. Vanžura, McLean’s second variation formula revisited. J. Geom. Phys. 113 (2017), 188–196. 7

    work page 2017

  23. [23]

    J.-H. Lee, N. C. Leung. Geometric structures onG2 andSpin(7)-manifolds. Adv. Theor. Math. Phys. 13(2009), no. 1, 1–31. 43

    work page 2009

  24. [24]

    N. C. Leung, S.-T. Yau and E. Zaslow, From special Lagrangian to Hermitian-Yang-Mills via Fourier- Mukai transform. Adv. Theor. Math. Phys.4(2000), no. 6, 1319–1341. 27

    work page 2000

  25. [25]

    Li, Mukai duality on adiabatic coassociative fibrations

    Y. Li, Mukai duality on adiabatic coassociative fibrations. Pure Appl. Math. Q.20(2024), no. 6, 2533–

    work page 2024

  26. [26]

    4, 5, 40, 41, 42, 43, 46

    work page

  27. [27]

    J. D. Lotay and T. Pacini, Complexified diffeomorphism groups, totally real submanifolds and Kähler- Einstein geometry. Trans. Amer. Math. Soc.371(2019), no. 4, 2665–2701. 10

    work page 2019

  28. [28]

    J. D. Lotay and T. Pacini, From Lagrangian to totally real geometry: coupled flows and calibrations. Comm. Anal. Geom.28(2020), no. 3, 607–675. 10

    work page 2020

  29. [29]

    Morgan, The cone over the Clifford torus inR4 isΦ-minimizing

    F. Morgan, The cone over the Clifford torus inR4 isΦ-minimizing. Math. Ann.289(1991), no. 2, 341–354. 7

    work page 1991

  30. [30]

    Morgan, Geometric measure theory

    F. Morgan, Geometric measure theory. A beginner’s guide. Fifth edition. Illustrated by James F. Bredt. Elsevier/Academic Press, Amsterdam, 2016. viii+263 pp. ISBN: 978-0-12-804489-6. 7

    work page 2016

  31. [31]

    Pacini and A

    T. Pacini and A. Raffero, Variation formulae for the volume of coassociative submanifolds. arXiv:2207.13956, to appear in Ann. Global Anal. Geom. 53

    work page arXiv

  32. [32]

    Ramachandran and C

    A. Ramachandran and C. M. Wood, Higher-power harmonic maps and sections. Ann. Global Anal. Geom.63(2023), no. 1, Paper No. 6, 43 pp. 20

    work page 2023

  33. [33]

    J. P. Solomon, The Calabi homomorphism, Lagrangian paths and special Lagrangians. Math. Ann.357 (2013), no. 4, 1389–1424. 47 62

    work page 2013

  34. [34]

    Spivak, A comprehensive introduction to differential geometry

    M. Spivak, A comprehensive introduction to differential geometry. Vol. V. Second edition. Publish or Perish, Inc., Wilmington, DE, 1979. viii+661 pp. ISBN: 0-914098-83-7. 58

    work page 1979

  35. [35]

    Strominger, S.-T

    A. Strominger, S.-T. Yau and E. Zaslow, Mirror symmetry isT-duality. Nuclear Phys. B479(1996), no. 1-2, 243–259. 2

    work page 1996

  36. [36]

    C.H.Taubes,Nonlineargeneralizationsofa3-manifold’sDiracoperator.Trendsinmathematicalphysics (Knoxville, TN, 1998), 475–486, AMS/IP Stud. Adv. Math., 13, Amer. Math. Soc., Providence, RI, 1999. 3

    work page 1998

  37. [37]

    Thomas, Postnikov invariants and higher order cohomology operations

    E. Thomas, Postnikov invariants and higher order cohomology operations. Ann. of Math. (2) 85 (1967), 184–217. 34

    work page 1967

  38. [38]

    Walpuski, A compactness theorem for Fueter sections

    T. Walpuski, A compactness theorem for Fueter sections. Comment. Math. Helv.92(2017), no. 4, 751–776. 3, 4, 40, 41 Beijing Institute of Mathematical Sciences and Applications, No. 544, Hef angkou Vil- lage, Huaibei Town, Huairou District, Beijing, 101408, China Department of Mathematics, Osaka Metropolitan University, 3-3-138, Sugimoto, Sumiyoshi- ku, Osa...

    work page 2017