Associative submanifolds in twisted connected sum G₂-manifolds
Pith reviewed 2026-05-24 10:57 UTC · model grok-4.3
The pith
A gluing theorem for asymptotically cylindrical associatives yields closed rigid submanifolds in twisted connected sum G2-manifolds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove a gluing theorem of asymptotically cylindrical (ACyl) associative submanifolds in ACyl G2-manifolds under a transverse intersection hypothesis. This is analogous to the gluing theorem for G2-instantons. We rephrase the hypothesis in the special cases where the ACyl associative submanifolds are obtained from holomorphic curves or special Lagrangians in ACyl Calabi-Yau 3-folds. This yields many rigid associative submanifolds with new topological types S^3, RP^3 or RP^3#RP^3.
What carries the argument
The gluing theorem for ACyl associative submanifolds under a transverse intersection hypothesis in ACyl G2-manifolds.
If this is right
- Closed rigid associative submanifolds exist with topologies S^3, RP^3 and RP^3#RP^3 in twisted connected sum G2-manifolds.
- The gluing applies when the input ACyl associatives satisfy the rephrased algebraic or topological conditions.
- Many such examples can be constructed by choosing appropriate holomorphic curves or special Lagrangians.
- The method parallels the gluing for G2-instantons and may suggest similar approaches for other calibrated geometries.
Where Pith is reading between the lines
- This approach could be adapted to produce associatives in other families of G2-manifolds not built by twisted sums.
- Counting these new rigid associatives might contribute to invariants of G2-manifolds.
- Links to special Lagrangian geometry suggest possible mirror symmetry correspondences for these constructions.
Load-bearing premise
The asymptotically cylindrical associative submanifolds must meet the transverse intersection hypothesis for the gluing to yield a closed rigid associative submanifold.
What would settle it
Finding a pair of ACyl associative submanifolds in ACyl G2-manifolds that intersect transversely but whose glued version fails to be associative or rigid would falsify the theorem.
Figures
read the original abstract
We introduce a method to construct closed rigid associative submanifolds in twisted connected sum $G_2$-manifolds. More precisely, we prove a gluing theorem of asymptotically cylindrical (ACyl) associative submanifolds in ACyl $G_2$-manifolds under a transverse intersection hypothesis. This is analogous to the gluing theorem for $G_2$-instantons introduced in [SW15]. We rephrase the hypothesis in the special cases where the ACyl associative submanifolds are obtained from holomorphic curves or special Lagrangians in ACyl Calabi-Yau $3$-folds, in terms of algebraic-geometric conditions and topological conditions, respectively. This yields many rigid associative submanifolds with new topological types $S^3$, $\mathbf R\mathbf P^3$ or $\mathbf R\mathbf P^3\#\mathbf R\mathbf P^3$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves a gluing theorem for asymptotically cylindrical (ACyl) associative submanifolds inside ACyl G₂-manifolds, assuming a transverse intersection hypothesis at the gluing locus. The theorem is applied to twisted connected sum G₂-manifolds; the hypothesis is rephrased as algebraic-geometric conditions when the ACyl associatives arise from holomorphic curves in ACyl Calabi-Yau 3-folds and as topological conditions when they arise from special Lagrangians. The constructions are asserted to produce many closed rigid associatives whose topologies include S³, RP³ and RP³#RP³.
Significance. If the transverse intersection hypothesis holds for the input data used in the constructions, the result supplies a new source of rigid associatives with previously unattained topologies inside the large class of twisted connected sum G₂-manifolds. The analogy with the G₂-instanton gluing theorem of [SW15] is explicit and the method is potentially reusable for other classes of calibrated submanifolds.
major comments (2)
- [§3] §3 (Gluing theorem): The statement of the main gluing result (presumably Theorem 3.1 or equivalent) asserts that transverse intersection of the ACyl associatives produces a closed rigid associative, but the manuscript supplies no derivation of the deformation-obstruction theory or error estimates that would confirm the glued object remains associative and rigid after perturbation; without these steps the central existence claim cannot be verified from the given hypotheses.
- [§4] §4 (Applications to holomorphic curves and special Lagrangians): The algebraic-geometric and topological rephrasings of the transverse intersection hypothesis are stated, yet no explicit check is performed that these rephrased conditions are satisfied by the concrete ACyl associatives arising from the chosen holomorphic curves or special Lagrangians inside the ACyl Calabi-Yau pieces of the twisted connected sum; this verification is load-bearing for the existence statements that follow.
minor comments (2)
- Notation for the asymptotic cylindrical ends and the gluing parameter should be introduced once and used consistently; several paragraphs introduce new symbols without cross-reference.
- The comparison with the G₂-instanton gluing theorem of [SW15] would benefit from a short table listing the corresponding hypotheses and conclusions side-by-side.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying these two points that require clarification and expansion. Both concerns can be addressed by adding material to the next version; we respond to each major comment below.
read point-by-point responses
-
Referee: [§3] §3 (Gluing theorem): The statement of the main gluing result (presumably Theorem 3.1 or equivalent) asserts that transverse intersection of the ACyl associatives produces a closed rigid associative, but the manuscript supplies no derivation of the deformation-obstruction theory or error estimates that would confirm the glued object remains associative and rigid after perturbation; without these steps the central existence claim cannot be verified from the given hypotheses.
Authors: We agree that the current draft states Theorem 3.1 but does not supply the full deformation-obstruction analysis or the error estimates needed to justify that the glued object is associative and rigid. This omission was unintentional. In the revised manuscript we will insert a self-contained derivation in §3, adapting the linearised deformation theory and quadratic error estimates from the G₂-instanton gluing theorem of [SW15] to the associative case, together with the necessary a-priori estimates that confirm the existence of a nearby associative submanifold under the transverse-intersection hypothesis. revision: yes
-
Referee: [§4] §4 (Applications to holomorphic curves and special Lagrangians): The algebraic-geometric and topological rephrasings of the transverse intersection hypothesis are stated, yet no explicit check is performed that these rephrased conditions are satisfied by the concrete ACyl associatives arising from the chosen holomorphic curves or special Lagrangians inside the ACyl Calabi-Yau pieces of the twisted connected sum; this verification is load-bearing for the existence statements that follow.
Authors: We accept that the manuscript presents the rephrased hypotheses but does not verify them on the specific holomorphic curves and special Lagrangians chosen for the constructions. In the revision we will add explicit verifications (both algebraic-geometric for the holomorphic-curve case and topological for the special-Lagrangian case) confirming that the chosen examples satisfy the transverse-intersection conditions, thereby justifying the claimed existence of rigid associatives with topologies S³, RP³ and RP³#RP³. revision: yes
Circularity Check
No circularity: gluing theorem is conditional on an explicit external hypothesis
full rationale
The paper states a gluing theorem that assumes the transverse intersection hypothesis on the input ACyl associative submanifolds and derives the existence of closed rigid associatives from it. The hypothesis is not derived from the output or fitted to data; it is rephrased in special cases (holomorphic curves or special Lagrangians) as algebraic or topological conditions that must be checked separately. No equations reduce the conclusion to the inputs by construction, no self-citations are load-bearing for the central claim, and the result is not a renaming of a known pattern. The derivation chain is self-contained against the stated assumptions.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Existence and basic properties of ACyl G2-manifolds and ACyl associative submanifolds
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
We prove a gluing theorem of asymptotically cylindrical (ACyl) associative submanifolds in ACyl G2-manifolds under a transverse intersection hypothesis... yields many rigid associative submanifolds with new topological types S^3, RP^3 or RP^3#RP^3.
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
- [1]
-
[2]
[BDHLMS18] A. P. Braun, M. Del Zotto, J. Halverson, M. Larfors, D. R. Morrison, and S. Schäfer-Nameki. Infinitely many M2–instanton corrections to M–theory on 𝐺2–manifolds. Journal of High Energy Physics 2018.9 (2018). doi: 10.1007/jhep09(2018)077 (cit. on p
-
[3]
[BS89] R. L. Bryant and S. M. Salamon. On the construction of some complete metrics with exceptional holonomy. Duke Mathematical Journal 58.3 (1989), pp. 829–850. doi: 10.1215/S0012-7094-89-05839-0. MR: 1016448 (cit. on p
-
[4]
[Bry87] R. L. Bryant. Metrics with exceptional holonomy . Annals of Mathematics 126.3 (1987), pp. 525–576. doi: 10.2307/1971360. MR: 916718. Zbl: 0637.53042 (cit. on p
-
[5]
[CG71] J. Cheeger and D. Gromoll. The splitting theorem for manifolds of nonnegative Ricci curvature. Journal of Differential Geometry 6 (1971), pp. 119–128. MR: 0303460. Zbl: 0223.53033. Í (cit. on p
-
[6]
[CHNP13] A. Corti, M. Haskins, J. Nordström, and T. Pacini. Asymptotically cylindrical Calabi–Yau 3–folds from weak Fano 3–folds . Geometry and Topology 17.4 (2013), pp. 1955–2059. doi: 10.2140/gt.2013.17.1955. MR: 3109862. Zbl: 1273.14081 (cit. on p
-
[7]
[CHNP15] A. Corti, M. Haskins, J. Nordström, and T. Pacini. 𝐺2–manifolds and associative submanifolds via semi-Fano 3–folds. Duke Mathematical Journal 164.10 (2015), pp. 1971–2092. doi: 10.1215/00127094-3120743. MR: 3369307. Zbl: 06486366 (cit. on pp. 1, 2, 10–12, 14, 16,
-
[8]
[DW19] A. Doan and T. Walpuski. On counting associative submanifolds and Seiberg–Witten monopoles. Pure and Applied Mathematics Quarterly 15.4 (2019), pp. 1047–1133. doi: 10.4310/PAMQ.2019.v15.n4.a4. arXiv: 1712.08383. Í (cit. on pp. 2,
-
[9]
With the assistance of M. Furuta and D. Kotschick. Cambridge: Cambridge University Press, 2002, pp. viii+236. doi: 10.1017/CBO9780511543098. MR: 1883043. Zbl: 0998.53057 (cit. on pp. 29,
- [10]
-
[11]
Gauge Theory in higher dimensions, II
Geometry of special holonomy and related topics. International Press, 2011, pp. 1–41. arXiv: 0902.3239. MR: 2893675. Zbl: 1256.53038 (cit. on p
work page internal anchor Pith review Pith/arXiv arXiv 2011
- [12]
-
[13]
Adiabatic Limits of Co-associative Kovalev–Lefschetz Fibrations
[Don17] Simon Donaldson. Adiabatic Limits of Co-associative Kovalev–Lefschetz Fibrations. Algebra, Geometry, and Physics in the 21st Century . Springer International Publishing, 2017, pp. 1–29. doi: 10.1007/978-3-319-59939-7_1. Í (cit. on p
-
[14]
©2022, pp. 39–65. Í (cit. on p
work page 2022
-
[15]
Associative Submanifolds in Joyce’s Generalised Kummer Constructions
[DPW23] Shubham Dwivedi, Daniel Platt, and Thomas Walpuski. Associative Submanifolds in Joyce’s Generalised Kummer Constructions. Communications in Mathematical Physics 401.3 (Aug. 2023), pp. 2327–2353. doi: 10.1007/s00220-023-04716-7. Í (cit. on p
-
[16]
[FG82] M. Fernández and A. Gray. Riemannian manifolds with structure group 𝐺2. Ann. Mat. Pura Appl. (4) 132 (1982), 19–45 (1983). doi: 10.1007/BF01760975. MR: 696037. Zbl: 0524.53023 (cit. on p
- [17]
-
[18]
Boston, MA: Academic Press Inc., 1990, pp
Perspectives in Mathematics. Boston, MA: Academic Press Inc., 1990, pp. xiv+323 (cit. on p
work page 1990
-
[19]
[HL82] R. Harvey and H. B. Lawson Jr. Calibrated geometries. Acta Math. 148 (1982), pp. 47–157. doi: 10.1007/BF02392726. MR: MR666108. Zbl: 0584.53021 (cit. on pp. 2,
-
[20]
[HHN15] M. Haskins, H.-J. Hein, and J. Nordström. Asymptotically cylindrical Calabi–Yau manifolds. Journal of Differential Geometry 101.2 (2015), pp. 213–265. doi: 10.4310/jdg/1442364651. MR: 3399097. Zbl: 1332.32028 (cit. on pp. 5, 14,
-
[21]
56 [Hit74] N. Hitchin. Harmonic spinors. Advances in Math. 14 (1974), pp. 1–55. MR: 0358873 (cit. on p
work page 1974
-
[22]
Encyclopaedia Math. Sci. Springer, 1999, pp. 1–247. MR: 1668579 (cit. on pp. 14,
work page 1999
-
[23]
[Joy96a] D. D. Joyce. Compact 8–manifolds with holonomy Spin(7). Invent. Math. 123.3 (1996), pp. 507–552. doi: 10.1007/s002220050039. MR: MR1383960. Zbl: 0858.53037 (cit. on p
-
[24]
[Joy96b] D. D. Joyce. Compact Riemannian 7–manifolds with holonomy 𝐺2. I. Journal of Differential Geometry 43.2 (1996), pp. 291–328. doi: 10.4310/jdg/1214458109. MR: MR1424428. Zbl: 0861.53022 (cit. on p
-
[25]
[Joy96c] D. D. Joyce. Compact Riemannian 7–manifolds with holonomy 𝐺2. II. Journal of Differential Geometry 43.2 (1996), pp. 329–375. doi: 10.4310/jdg/1214458110. MR: MR1424428. Zbl: 0861.53023 (cit. on p
-
[26]
[Joy04] D. D. Joyce. Special Lagrangian submanifolds with isolated conical singularities. I. Regularity. Annals of Global Analysis and Geometry 25.3 (2004), pp. 201–251. doi: 10.1023/B:AGAG.0000023229.72953.57. MR: 2053761 (cit. on p
-
[27]
American Mathematical Society, 2018, pp. 97–160. doi: 10.1090/pspum/099/01739. arXiv: 1610.09836. MR: 3838881. Zbl: 1448.53061 (cit. on pp. 2,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/pspum/099/01739 2018
-
[28]
[JK17] D.D. Joyce and S. Karigiannis. A new construction of compact torsion-free 𝐺2–manifolds by gluing families of Eguchi–Hanson spaces . Journal of Differential Geometry 117.2 (2017), pp. 255–343. doi: 10.4310/jdg/1612975017. arXiv: 1707.09325. Zbl: 1464.53067. Í (cit. on p
-
[29]
Deformations of asymptotically cylindrical coassociative submanifolds with fixed boundary
[JS05] Dominic Joyce and Sema Salur. Deformations of asymptotically cylindrical coassociative submanifolds with fixed boundary . Geom. Topol. 9 (2005), pp. 1115–1146. doi: 10.2140/gt.2005.9.1115. arXiv: math/0408137. Í (cit. on p
work page internal anchor Pith review Pith/arXiv arXiv doi:10.2140/gt.2005.9.1115 2005
-
[30]
Oxford University Press, Oxford, 2007, pp
Oxford Graduate Texts in Mathematics. Oxford University Press, Oxford, 2007, pp. x+303. Í (cit. on pp. 2, 9, 20, 25,
work page 2007
-
[31]
doi: 10.1007/978-1-0716-0577-6. Í (cit. on p
-
[32]
[Kov03] A. Kovalev. Twisted connected sums and special Riemannian holonomy . Journal für die Reine und Angewandte Mathematik 565 (2003), pp. 125–160. doi: 10.1515/crll.2003.097. MR: MR2024648. Zbl: 1043.53041 (cit. on pp. 1, 10,
-
[33]
57 [KL11] A. Kovalev and N.-H. Lee. 𝐾3 surfaces with non-symplectic involution and compact irreducible 𝐺2–manifolds. Mathematical Proceedings of the Cambridge Philosophical Society 151.2 (2011), pp. 193–218. doi: 10.1017/S030500411100003X. MR: 2823130. Zbl: 1228.53064 (cit. on pp. 1, 10,
-
[34]
[KN10] A. Kovalev and J. Nordström. Asymptotically cylindrical 7–manifolds of holonomy 𝐺2 with applications to compact irreducible 𝐺2–manifolds. Annals of Global Analysis and Geometry 38.3 (2010), pp. 221–257. doi: 10.1007/s10455-010-9210-8. MR: 2721660 (cit. on p
-
[35]
Asymptotically cylindrical manifolds with holonomy Spin(7). I
[Kov13] Alexei Kovalev. Asymptotically cylindrical manifolds with holonomy Spin(7). I (Sept. 2013). arXiv: 1309.5027. Í (cit. on pp. 25, 52,
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[36]
Princeton, NJ: Princeton University Press, 1989, pp
Princeton Mathematical Series. Princeton, NJ: Princeton University Press, 1989, pp. xii+427. MR: 1031992. Zbl: 0688.57001 (cit. on p
- [37]
-
[38]
[MP78] V. G. Maz’ya and B. A. Plamenevski˘ı. Estimates in 𝐿𝑝 and in Hölder classes, and the Miranda–Agmon maximum principle for the solutions of elliptic boundary value problems in domains with singular points on the boundary . Mathematische Nachrichten 81 (1978), pp. 25–82. MR: 0492821 (cit. on p
work page 1978
-
[39]
American Mathematical Society, Providence, RI, 2012, pp
American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2012, pp. xiv+726. MR: 2954391. Zbl: 1272.53002 (cit. on p
-
[40]
[McL98] R. C. McLean. Deformations of calibrated submanifolds . Communications in Analysis and Geometry 6.4 (1998), pp. 705–747. doi: 10.4310/CAG.1998.v6.n4.a4. MR: 1664890. Zbl: 0929.53027 (cit. on pp. 11,
-
[41]
[MNE21] G. Menet, J. Nordström, and H. N. Sá Earp. Construction of 𝐺2-instantons via twisted connected sums. Mathematical Research Letters 28.2 (2021), pp. 471–509. doi: 10.4310/mrl.2021.v28.n2.a6. Í (cit. on p
-
[42]
[NS05] Viacheslav V. Nikulin and Sachiko Saito. Real 𝐾3 surfaces with non-symplectic involution and applications. Proc. London Math. Soc. (3) 90.3 (2005), pp. 591–654. doi: 10.1112/S0024611505015212. Í (cit. on pp. 26,
-
[43]
[NS07] Viacheslav V. Nikulin and Sachiko Saito. Real 𝐾3 surfaces with non-symplectic involution and applications. II . Proc. Lond. Math. Soc. (3) 95.1 (2007), pp. 20–48. doi: 10.1112/plms/pdl023. Í (cit. on pp. 26,
-
[44]
58 [Nor08a] J. Nordström. Deformations of asymptotically cylindrical 𝐺2–manifolds. Mathematical Proceedings of the Cambridge Philosophical Society 145.2 (2008), pp. 311–348. doi: 10.1017/S0305004108001333. MR: MR2442130 (cit. on p
- [45]
-
[46]
Deformations and gluing of asymptotically cylindrical manifolds with exceptional holonomy
[Nor08b] Johannes Nordström. Deformations and gluing of asymptotically cylindrical manifolds with exceptional holonomy . en (2008). doi: 10.17863/CAM.16204. Í (cit. on p
-
[47]
Deformations of Asymptotically Cylindrical Cayley Submanifolds
[Ohs15] Matthias Ohst. Deformations of Asymptotically Cylindrical Cayley Submanifolds (June 2015). arXiv: 1506.00110. Í (cit. on p
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[48]
[SW15] H. N. Sá Earp and T. Walpuski. 𝐺2–instantons over twisted connected sums . Geometry and Topology 19.3 (2015), pp. 1263–1285. doi: 10.2140/gt.2015.19.1263. arXiv: 1310.7933. MR: 3352236. Zbl: 06441803. Í (cit. on pp. 1, 2,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.2140/gt.2015.19.1263 2015
-
[49]
[SW17] D. A. Salamon and T. Walpuski. Notes on the octonions . Proceedings of the 23rd Gökova Geometry–Topology Conference. 2017, pp. 1–85. arXiv: 1005.2820. MR: 3676083. Zbl: 06810387. Í (cit. on p
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[50]
Asymptotically cylindrical Ricci-flat manifolds
[Sal06] Sema Salur. Asymptotically cylindrical Ricci-flat manifolds . Proc. Amer. Math. Soc. 134.10 (2006), pp. 3049–3056. doi: 10.1090/S0002-9939-06-08313-4. Í (cit. on p
-
[51]
Press, Somerville, MA, 2010, pp
Int. Press, Somerville, MA, 2010, pp. 99–123. Í (cit. on pp. 3,
work page 2010
-
[52]
[Šok79] V. V. Šokurov. The existence of a line on Fano varieties . Izv. Akad. Nauk SSSR Ser. Mat. 43.4 (1979), pp. 922–964,
work page 1979
-
[53]
Gluing and deformations of asymptotically cylindrical special Lagrangians
[Tal17] Tim Talbot. Gluing and deformations of asymptotically cylindrical special Lagrangians (Sept. 2017). arXiv: 1709.09564. Í (cit. on p
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[54]
[Tia00] G. Tian. Gauge theory and calibrated geometry. I . Annals of Mathematics 151.1 (2000), pp. 193–268. doi: 10.2307/121116. arXiv: math/0010015. MR: MR1745014. Zbl: 0957.58013 (cit. on p
work page internal anchor Pith review Pith/arXiv arXiv doi:10.2307/121116 2000
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.