pith. machine review for the scientific record. sign in

arxiv: 2604.14704 · v1 · submitted 2026-04-16 · 🧮 math.DG · hep-th

Recognition: unknown

Complete noncompact G2-manifolds with ALC asymptotics

Johannes Nordstr\"om, Lorenzo Foscolo, Mark Haskins

Authors on Pith no claims yet

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

classification 🧮 math.DG hep-th
keywords G2 holonomyALC asymptoticsnoncompact manifoldsFredholm theorymoduli spacesAtiyah-Hitchin analoguespecial holonomy
0
0 comments X

The pith

Complete noncompact G2-holonomy 7-manifolds with ALC asymptotics exist and form well-behaved moduli spaces.

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

The paper proves existence, uniqueness and structure theorems for complete noncompact seven-dimensional manifolds equipped with G2-holonomy metrics that are asymptotically locally conical at infinity. These are treated as seven-dimensional counterparts to ALF gravitational instantons in four-dimensional hyperkähler geometry. All results rest on a self-contained Fredholm theory for the natural elliptic operators on any ALC Riemannian manifold, derived without imposing holonomy reduction or curvature bounds. This theory directly produces a G2 analogue of the Atiyah-Hitchin metric, a good moduli space for ALC G2-metrics, and rigidity statements controlled by the symmetries of the asymptotic model. The same analytic setup also yields Hodge-theoretic conclusions for general ALC spaces.

Core claim

The central claim is that the deformation and existence theory for G2-holonomy metrics on ALC spaces is governed by a robust Fredholm theory that holds for arbitrary ALC Riemannian manifolds. This theory supplies the analytic control needed to construct new complete examples, including a G2 analogue of the Atiyah-Hitchin metric, and to establish uniqueness and rigidity results determined by the isometries of the asymptotic model.

What carries the argument

The self-contained Fredholm theory for natural geometric linear elliptic operators on ALC spaces, which requires no special holonomy or curvature assumptions.

If this is right

  • A G2-analogue of the Atiyah-Hitchin metric exists.
  • ALC G2-holonomy metrics admit a good moduli theory.
  • Rigidity results for ALC G2-metrics follow from the symmetries of their asymptotic model.
  • Hodge-theoretic results hold on general ALC spaces.

Where Pith is reading between the lines

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

  • The general ALC Fredholm theory may apply directly to deformation problems for other special-holonomy metrics that admit ALC asymptotics.
  • It opens the possibility of constructing further explicit examples or studying the global geometry of the moduli space without curvature restrictions.
  • The same analytic framework could be used to investigate topological or analytic questions on noncompact manifolds with ALC ends in contexts outside special holonomy.

Load-bearing premise

The ALC asymptotic model admits a robust Fredholm theory for the relevant elliptic operators without any additional holonomy or curvature assumptions.

What would settle it

An explicit ALC manifold on which one of the natural elliptic operators (such as the Dirac or Hodge Laplacian) fails to be Fredholm in the weighted spaces used in the paper would disprove the general theory and collapse the existence and moduli results.

read the original abstract

We prove existence, uniqueness and structure results for complete noncompact 7-dimensional G2-holonomy metrics with ALC (asymptotically locally conical) asymptotics. We regard such spaces as G2-analogues of ALF gravitational instantons in 4-dimensional hyperk\"ahler geometry. Our main results include the existence of a G2-analogue of the Atiyah-Hitchin metric in 4-dimensional hyperk\"ahler geometry, the existence of a good moduli theory for ALC G2-holonomy metrics and rigidity results for ALC G2-metrics in terms of the symmetries of their asymptotic model. The analytic toolkit needed to prove all these results is a robust Fredholm theory for the natural geometric linear elliptic operators on ALC spaces. We provide a self-contained derivation of this Fredholm theory for arbitrary Riemannian manifolds with ALC asymptotics. Since our ALC Fredholm theory does not rely on imposing any holonomy reduction or curvature conditions it may also be of utility beyond the setting of ALC special holonomy metrics. As one such application of our general Fredholm theory we prove some Hodge-theoretic results on general ALC spaces.

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

0 major / 2 minor

Summary. The manuscript proves existence, uniqueness, and structure results for complete noncompact 7-dimensional G2-holonomy metrics with ALC asymptotics. It constructs a G2-analogue of the Atiyah-Hitchin metric, establishes a moduli theory for ALC G2-metrics, and proves rigidity results determined by symmetries of the asymptotic model. The proofs rest on a self-contained derivation of a Fredholm theory for natural geometric linear elliptic operators on general ALC Riemannian manifolds (without holonomy or curvature hypotheses), which is then applied to the linearization of the G2-holonomy condition in suitably weighted spaces and also yields Hodge-theoretic results on ALC spaces.

Significance. If the claims hold, this constitutes a substantial advance in the analytic study of noncompact special-holonomy metrics, supplying the first systematic Fredholm theory and existence results for ALC G2-manifolds analogous to the ALF theory in 4D hyperkähler geometry. The generality of the Fredholm theory (independent of holonomy reduction) is a notable strength that may extend to other geometric analysis problems on ALC spaces. The explicit G2 Atiyah-Hitchin analogue and the moduli/rigidity statements would be concrete contributions to the literature.

minor comments (2)
  1. The notation for the weighted Sobolev spaces and the precise decay rates in the ALC definition (e.g., the orders of the metric perturbation and the 3-form) should be stated uniformly and with explicit constants in the preliminaries section to avoid ambiguity when applying the Fredholm theory.
  2. A short table or diagram summarizing the index computations for the deformation operator in the G2 case versus the general ALC case would improve readability of the main results.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the Fredholm theory on ALC manifolds, and recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; self-contained general theory applied to G2 case

full rationale

The manuscript derives a Fredholm theory for natural elliptic operators on arbitrary ALC Riemannian manifolds, explicitly without holonomy reduction or curvature hypotheses. This general theory is then applied to the linearization of the G2-holonomy condition in weighted spaces. The existence, moduli, and rigidity results follow from the resulting Fredholm property and index calculations. No load-bearing step reduces by construction to fitted inputs, self-definitional loops, or unverified self-citations; the analytic toolkit is presented as independently derived and of potential utility beyond special holonomy.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The results rest on standard elliptic theory plus the development of a new Fredholm setup for ALC asymptotics; no free parameters or invented entities are indicated in the abstract.

axioms (1)
  • standard math Standard Fredholm theory for elliptic operators on noncompact manifolds extends to ALC asymptotics when appropriate weighted spaces are chosen.
    Invoked to justify the self-contained derivation of the ALC Fredholm theory.

pith-pipeline@v0.9.0 · 5502 in / 1335 out tokens · 21422 ms · 2026-05-10T10:21:22.336725+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

68 extracted references · 3 canonical work pages

  1. [1]

    Agricola, S

    I. Agricola, S. G. Chiossi, T. Friedrich, and J. Höll,Spinorial description ofSU(3)- andG2-manifolds, J. Geom. Phys.98(2015), 535–555

    2015

  2. [2]

    Ammann and C

    B. Ammann and C. Bär,The Dirac operator on nilmanifolds and collapsing circle bundles, Ann. Global Anal. Geom.16(1998), no. 3, 221–253

    1998

  3. [3]

    Apostolov and S

    V. Apostolov and S. Salamon,Kähler reduction of metrics with holonomyG2, Comm. Math. Phys.246(2004), no. 1, 43–61

    2004

  4. [4]

    M. F. Atiyah, V. K. Patodi, and I. M. Singer,Spectral asymmetry and Riemannian geometry. I, Math. Proc. Cambridge Philos. Soc.77(1975), 43–69

    1975

  5. [5]

    Bartnik,The mass of an asymptotically flat manifold, Comm

    R. Bartnik,The mass of an asymptotically flat manifold, Comm. Pure Appl. Math.39(1986), no. 5, 661–693

    1986

  6. [6]

    R. A. Bartnik and P. T. Chruściel,Boundary value problems for Dirac-type equations, J. Reine Angew. Math. 579(2005), 13–73

    2005

  7. [7]

    A. L. Besse,Einstein manifolds, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 10, Springer-Verlag, Berlin, 1987

    1987

  8. [8]

    Biquard and H.-J

    O. Biquard and H.-J. Hein,The renormalized volume of a 4-dimensional Ricci-flat ALE space, J. Differential Geom.123(2023), no. 3, 411–429

    2023

  9. [9]

    Biquard and V

    O. Biquard and V. Minerbe,A Kummer construction for gravitational instantons, Comm. Math. Phys.308 (2011), no. 3, 773–794

    2011

  10. [10]

    Bismut,The Atiyah-Singer index theorem for families of Dirac operators: two heat equation proofs, Invent

    J.-M. Bismut,The Atiyah-Singer index theorem for families of Dirac operators: two heat equation proofs, Invent. Math.83(1986), no. 1, 91–151

    1986

  11. [11]

    O. A. Bogoyavlenskaya,On a new family of complete Riemannian metrics onS3 ×R 4 with holonomy groupG2, Sibirsk. Mat. Zh.54(2013), no. 3, 551–562

    2013

  12. [12]

    C. P. Boyer and K. Galicki,Sasakian geometry, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2008

    2008

  13. [13]

    Brandhuber, G2 holonomy spaces from invariant three-forms, Nuclear Phys

    A. Brandhuber, G2 holonomy spaces from invariant three-forms, Nuclear Phys. B629(2002), no. 1-3, 393–416

    2002

  14. [14]

    Brandhuber, J

    A. Brandhuber, J. Gomis, S. S. Gubser, and S. Gukov,Gauge theory at largeNand newG2 holonomy metrics, Nuclear Phys. B611(2001), no. 1-3, 179–204

    2001

  15. [15]

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

    2005

  16. [16]

    R. L. Bryant and S. M. Salamon,On the construction of some complete metrics with exceptional holonomy, Duke Math. J.58(1989), no. 3, 829–850

    1989

  17. [17]

    Butruille,Classification des variétés approximativement kähleriennes homogénes, Ann

    J.-B. Butruille,Classification des variétés approximativement kähleriennes homogénes, Ann. Global Anal. Geom. 27(2005), 201–225

    2005

  18. [18]

    Cavalleri,Complete non-compactSpin(7)-manifolds fromT 2-bundles over AC Calabi Yau manifolds, arXiv:2407.19486, 2025

    N. Cavalleri,Complete non-compactSpin(7)-manifolds fromT 2-bundles over AC Calabi Yau manifolds, arXiv:2407.19486, 2025

    work page arXiv 2025

  19. [19]

    Chen and X

    G. Chen and X. Chen,Gravitational instantons with faster than quadratic curvature decay II, J. Reine Angew. Math.756(2019), 259–284

    2019

  20. [20]

    2, 263–307

    ,Gravitational instantons with faster than quadratic curvature decay I, Acta Math.227(2021), no. 2, 263–307

    2021

  21. [21]

    Ann.380(2021), no

    ,Gravitational instantons with faster than quadratic curvature decay III, Math. Ann.380(2021), no. 1-2, 687–717

    2021

  22. [22]

    S. A. Cherkis and A. Kapustin,Hyper-Kähler metrics from periodic monopoles, Phys. Rev. D (3)65(2002), no. 8, 084015, 10

    2002

  23. [23]

    A. W. Chou,The Dirac operator on spaces with conical singularities and positive scalar curvatures, Trans. Amer. Math. Soc.289(1985), no. 1, 1–40

    1985

  24. [24]

    R. J. Conlon and H.-J. Hein,Asymptotically conical Calabi-Yau manifolds, I, Duke Math. J.162(2013), no. 15, 2855–2902

    2013

  25. [25]

    J.173(2024), no

    ,Classification of asymptotically conical Calabi-Yau manifolds, Duke Math. J.173(2024), no. 5, 947– 1015

    2024

  26. [26]

    Cortés and J

    V. Cortés and J. J. Vásquez,Locally homogeneous nearly Kähler manifolds, Ann. Global Anal. Geom.48(2015), no. 3, 269–294

    2015

  27. [27]

    Cvetič, G

    M. Cvetič, G. W. Gibbons, H. Lü, and C. N. Pope,Cohomogeneity one manifolds of Spin(7) andG2 holonomy, Phys. Rev. D (3)65(2002), no. 10, 106004, 29

    2002

  28. [28]

    ,AG 2 unification of the deformed and resolved conifolds, Phys. Lett. B534(2002), no. 1-4, 172–180

    2002

  29. [29]

    ,M-theory conifolds, Phys. Rev. Lett.88(2002), no. 12, 121602

    2002

  30. [30]

    1-2, 29–54

    ,New complete noncompact Spin(7) manifolds, Nuclear Physics B620(2002), no. 1-2, 29–54

    2002

  31. [31]

    ,New cohomogeneity one metrics with Spin(7) holonomy, J. Geom. Phys.49(2004), no. 3-4, 350–365

    2004

  32. [32]

    Physics310(2004), no

    ,Orientifolds and slumps inG 2 andSpin 7 metrics, Ann. Physics310(2004), no. 2, 265–301. COMPLETE NONCOMPACT G2–MANIFOLDS WITH ALC ASYMPTOTICS 81

    2004

  33. [33]

    Donaldson,Remarks onG 2-manifolds with boundary, Celebrating the 50th anniversary of the Journal of Differential Geometry, Surv

    S. Donaldson,Remarks onG 2-manifolds with boundary, Celebrating the 50th anniversary of the Journal of Differential Geometry, Surv. Differ. Geom., vol. 22, Int. Press, Somerville, MA, 2018, pp. 103–124

    2018

  34. [34]

    Foscolo,ALF gravitational instantons and collapsing Ricci-flat metrics on theK3surface, J

    L. Foscolo,ALF gravitational instantons and collapsing Ricci-flat metrics on theK3surface, J. Differential Geom.112(2019), no. 1, 79–120

    2019

  35. [35]

    Topol.25(2021), no

    ,Complete noncompactSpin(7)manifolds from self-dual Einstein 4-orbifolds, Geom. Topol.25(2021), no. 1, 339–408

    2021

  36. [36]

    Foscolo and M

    L. Foscolo and M. Haskins,NewG 2-holonomy cones and exotic nearly Kähler structures onS6 andS 3 ×S 3, Ann. of Math. (2)185(2017), no. 1, 59–130

    2017

  37. [37]

    Foscolo, M

    L. Foscolo, M. Haskins, and J. Nordström,Complete noncompactG 2-manifolds from asymptotically conical Calabi-Yau 3-folds, Duke Math. J.170(2021), no. 15, 3323–3416

    2021

  38. [38]

    ,Infinitely many new families of complete cohomogeneity oneG2-manifolds:G 2 analogues of the Taub- NUT and Eguchi-Hanson spaces, J. Eur. Math. Soc.23(2021), no. 7, 2153–2220

    2021

  39. [39]

    Friedman,Simultaneous resolution of threefold double points, Math

    R. Friedman,Simultaneous resolution of threefold double points, Math. Ann.274(1986), no. 4, 671–689

    1986

  40. [40]

    Fukaya,Hausdorff convergence of riemannian manifolds and its applications, Recent topics in differential and analytic geometry, Adv

    K. Fukaya,Hausdorff convergence of riemannian manifolds and its applications, Recent topics in differential and analytic geometry, Adv. Stud. Pure Math., vol. 18, Academic Press, Boston, MA, 1990, pp. 143–238

    1990

  41. [41]

    Goette,Adiabatic limits of Seifert fibrations, Dedekind sums, and the diffeomorphism type of certain 7- manifolds, J

    S. Goette,Adiabatic limits of Seifert fibrations, Dedekind sums, and the diffeomorphism type of certain 7- manifolds, J. Eur. Math. Soc.16(2014), no. 12, 2499–2555

    2014

  42. [42]

    Goto,Moduli spaces of topological calibrations, Calabi–Yau, hyperkähler,G2 and Spin(7) structures, Interna- tional Journal of Mathematics15(2004), no

    R. Goto,Moduli spaces of topological calibrations, Calabi–Yau, hyperkähler,G2 and Spin(7) structures, Interna- tional Journal of Mathematics15(2004), no. 03, 211–257

    2004

  43. [43]

    ,Calabi-Yau structures and Einstein-Sasakian structures on crepant resolutions of isolated singularities, J. Math. Soc. Japan64(2012), no. 3, 1005–1052

    2012

  44. [44]

    Gukov and J

    S. Gukov and J. Sparks,M-theory on Spin(7) manifolds, Nuclear Phys. B625(2002), no. 1-2, 3–69

    2002

  45. [45]

    Gukov, J

    S. Gukov, J. Sparks, and D. Tong,Conifold transitions and five-brane condensation inM-theory onSpin(7) manifolds, Classical Quantum Gravity20(2003), no. 4, 665–705

    2003

  46. [46]

    Hausel, E

    T. Hausel, E. Hunsicker, and R. Mazzeo,Hodge cohomology of gravitational instantons, Duke Math. J.122 (2004), no. 3, 485–548

    2004

  47. [47]

    H.-J.Hein,Gravitational instantons from rational elliptic surfaces,J.Amer.Math.Soc.25(2012),no.2,355–393

    2012

  48. [48]

    Hitchin,The geometry of three-forms in six dimensions, J

    N. Hitchin,The geometry of three-forms in six dimensions, J. Differential Geom.55(2000), no. 3, 547–576

    2000

  49. [49]

    K. Hori, K. Hosomichi, D. C. Page, R. Rabadán, and J. Walcher,Non-perturbative orientifold transitions at the conifold, J. High Energy Phys.10(2005), 026 61

    2005

  50. [50]

    D. D. Joyce,Compact manifolds with special holonomy, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2000

    2000

  51. [51]

    Kanno and Y

    H. Kanno and Y. Yasui,On Spin(7) holonomy metric based on SU(3)/U(1). I, J. Geom. Phys.43(2002), no. 4, 293–309

    2002

  52. [52]

    ,On Spin(7) holonomy metric based on SU(3)/U(1). II, J. Geom. Phys.43(2002), no. 4, 310–326

    2002

  53. [53]

    Karigiannis,Desingularization ofG 2 manifolds with isolated conical singularities, Geom

    S. Karigiannis,Desingularization ofG 2 manifolds with isolated conical singularities, Geom. Topol.13(2009), no. 3, 1583–1655

    2009

  54. [54]

    Karigiannis and J

    S. Karigiannis and J. D. Lotay,Deformation theory ofG 2 conifolds, Comm. Anal. Geom.28(2020), no. 5, 1057–1210

    2020

  55. [55]

    Kim and T

    D. Kim and T. Ozuch,Ricci flow on ALF manifolds,arXiv:2510.21997, 2025

    work page arXiv 2025

  56. [56]

    Kottke and F

    C. Kottke and F. Rochon,Low energy limit for the resolvent of some fibered boundary operators, Comm. Math. Phys.390(2022), no. 1, 231–307

    2022

  57. [57]

    H. B. Lawson, Jr. and M.-L. Michelsohn,Spin geometry, Princeton Mathematical Series, vol. 38, Princeton University Press, Princeton, NJ, 1989

    1989

  58. [58]

    R. B. Lockhart,Fredholm, Hodge and Liouville theorems on noncompact manifolds, Trans. Amer. Math. Soc. 301(1987), no. 1, 1–35

    1987

  59. [59]

    R. B. Lockhart and R. C. McOwen,Elliptic differential operators on noncompact manifolds, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)12(1985), no. 3, 409–447

    1985

  60. [60]

    Mazzeo and R

    R. Mazzeo and R. B. Melrose,Pseudodifferential operators on manifolds with fibred boundaries, Asian J. Math. 2(1998), no. 4, 833–866, Mikio Sato: a great Japanese mathematician of the twentieth century

    1998

  61. [61]

    Minerbe,A mass for ALF manifolds, Comm

    V. Minerbe,A mass for ALF manifolds, Comm. Math. Phys.289(2009), no. 3, 925–955

    2009

  62. [62]

    ,On the asymptotic geometry of gravitational instantons, Ann. Sci. Éc. Norm. Supér. (4)43(2010), no. 6, 883–924

    2010

  63. [63]

    Reine Angew

    ,Rigidity for multi-Taub-NUT metrics, J. Reine Angew. Math.656(2011), 47–58

    2011

  64. [64]

    Nordström,Deformations and gluing of asymptotically cylindrical manifolds with exceptional holonomy, Ph.D

    J. Nordström,Deformations and gluing of asymptotically cylindrical manifolds with exceptional holonomy, Ph.D. thesis, Cambridge University, 2008

    2008

  65. [65]

    ,Deformations of asymptotically cylindricalG 2-manifolds, Math. Proc. Cambridge Philos. Soc.145 (2008), no. 2, 311–348. 82 L. FOSCOLO, M. HASKINS AND J. NORDSTRÖM

    2008

  66. [66]

    Pacard,Connected sum constructions in geometry and nonlinear analysis, Lecture notes available at perso.pages.math.cnrs.fr/users/frank.pacard/Publications/Lecture-Part-I.pdf, 2008

    F. Pacard,Connected sum constructions in geometry and nonlinear analysis, Lecture notes available at perso.pages.math.cnrs.fr/users/frank.pacard/Publications/Lecture-Part-I.pdf, 2008

    2008

  67. [67]

    Schwarz,Hodge decomposition—a method for solving boundary value problems, Lecture Notes in Mathematics, vol

    G. Schwarz,Hodge decomposition—a method for solving boundary value problems, Lecture Notes in Mathematics, vol. 1607, Springer-Verlag, Berlin, 1995

    1995

  68. [68]

    Vaillant,Index- and spectral theory for manifolds with generalized fibred cusps, Ph.D

    B. Vaillant,Index- and spectral theory for manifolds with generalized fibred cusps, Ph.D. thesis, Rheinische Friedrich-Wilhelms-Universität Bonn, 2001,arXiv:math/0102072, pp. ii+124

    work page arXiv 2001