pith. sign in

arxiv: 2606.31224 · v1 · pith:IJK3CMRBnew · submitted 2026-06-30 · 🧮 math.DG · math.AG

Nowhere-vanishing harmonic 1-forms on real loci of K3-fibred Calabi-Yau 3-folds

Shih-Kai Chiu , Daniel Platt , Calum Spicer This is my paper

Pith reviewed 2026-07-01 04:30 UTC · model grok-4.3

classification 🧮 math.DG math.AG
keywords harmonic 1-formsK3-fibred Calabi-Yau 3-foldsreal locicollapsing Ricci-flat metricsG2 holonomyJoyce-Karigiannis constructionmapping tori
0
0 comments X

The pith

An analytic construction produces nowhere-vanishing harmonic 1-forms on real loci of K3-fibred Calabi-Yau 3-folds with collapsing Ricci-flat Kähler metrics.

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

The paper develops an analytic method to build nowhere-vanishing harmonic 1-forms on the real loci of K3-fibred Calabi-Yau threefolds that carry collapsing Ricci-flat Kähler metrics. The method is applied to cases where the real loci have connected components diffeomorphic to S¹×S² or to mapping tori, both trivial and nontrivial. A reader would care because these forms serve as input for the Joyce-Karigiannis construction, which then yields new examples of compact seven-manifolds with G₂ holonomy. The construction works by exploiting the collapsing behavior of the metrics on the threefold.

Core claim

We develop an analytic construction of nowhere-vanishing harmonic 1-forms on real loci of K3-fibred Calabi-Yau 3-folds with collapsing Ricci-flat Kähler metrics. We apply our construction to examples whose real loci have connected components diffeomorphic to S¹×S² and to both trivial and nontrivial mapping tori. As an application, we produce examples of compact 7-manifold with holonomy G₂ via the Joyce-Karigiannis construction.

What carries the argument

The analytic construction that produces nowhere-vanishing harmonic 1-forms by using the collapsing Ricci-flat Kähler metrics on the K3-fibred Calabi-Yau 3-folds.

If this is right

  • The construction supplies the required 1-forms for the Joyce-Karigiannis method, yielding compact 7-manifolds with G₂ holonomy.
  • The method covers real loci with components diffeomorphic to S¹×S².
  • The method also covers real loci that are trivial or nontrivial mapping tori.
  • New explicit families of G₂-holonomy manifolds arise from these K3-fibred Calabi-Yau examples.

Where Pith is reading between the lines

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

  • The same analytic approach could be tested on other classes of Calabi-Yau threefolds that admit collapsing metrics.
  • It remains open whether the resulting G₂ manifolds are diffeomorphic to any previously known examples.
  • Numerical approximation of the collapsing metrics might allow direct verification of the 1-forms in concrete cases.

Load-bearing premise

The K3-fibred Calabi-Yau 3-folds admit collapsing Ricci-flat Kähler metrics and their real loci have the stated diffeomorphism types including connected components diffeomorphic to S¹×S² and mapping tori.

What would settle it

Finding a K3-fibred Calabi-Yau 3-fold with a collapsing Ricci-flat Kähler metric whose real locus admits no nowhere-vanishing harmonic 1-form would falsify the construction.

read the original abstract

We develop an analytic construction of nowhere-vanishing harmonic $1$-forms on real loci of K3-fibred Calabi-Yau $3$-folds with collapsing Ricci-flat K\"ahler metrics. We apply our construction to examples whose real loci have connected components diffeomorphic to $S^1\times S^2$ and to both trivial and nontrivial mapping tori. As an application, we produce examples of compact $7$-manifold with holonomy $G_2$ via the Joyce-Karigiannis construction.

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

1 major / 2 minor

Summary. The manuscript develops an analytic construction of nowhere-vanishing harmonic 1-forms on the real loci of K3-fibred Calabi-Yau 3-folds equipped with collapsing Ricci-flat Kähler metrics. The construction is applied to real loci whose connected components are diffeomorphic to S¹×S² or to trivial and nontrivial mapping tori. As an application, the authors produce examples of compact 7-manifolds with holonomy G₂ via the Joyce-Karigiannis construction.

Significance. If the analytic construction is valid, the work supplies a method for producing nowhere-vanishing harmonic 1-forms under collapsing-metric hypotheses and thereby yields new G₂-holonomy examples. The explicit treatment of the stated diffeomorphism types of the real loci is a concrete contribution that can be checked against the Joyce-Karigiannis framework.

major comments (1)
  1. [Abstract and §1] Abstract and §1: the existence of the collapsing Ricci-flat Kähler metrics on the concrete K3-fibred Calabi-Yau 3-folds is taken as a standing assumption rather than established or referenced to a prior existence theorem for the specific families under consideration; the G₂ application therefore inherits this hypothesis directly and the claim is conditional.
minor comments (2)
  1. Notation for the real locus and its connected components should be introduced once and used consistently; the current alternation between “real locus” and “fixed-point set” is occasionally ambiguous.
  2. The statement of the main theorem would benefit from an explicit list of the diffeomorphism types to which the construction applies, rather than relegating the list to the application paragraph.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comment. We respond to the major comment below.

read point-by-point responses

  1. Referee: [Abstract and §1] Abstract and §1: the existence of the collapsing Ricci-flat Kähler metrics on the concrete K3-fibred Calabi-Yau 3-folds is taken as a standing assumption rather than established or referenced to a prior existence theorem for the specific families under consideration; the G₂ application therefore inherits this hypothesis directly and the claim is conditional.

    Authors: We agree that the existence of the collapsing Ricci-flat Kähler metrics is a standing assumption rather than a result established in the manuscript. The paper's primary contribution is the analytic construction of nowhere-vanishing harmonic 1-forms on the real loci, given the existence of such metrics. The G₂-holonomy examples are therefore conditional on this hypothesis, as the referee notes. We will revise the abstract and §1 to state the assumption more explicitly and to clarify that the construction applies whenever such collapsing metrics exist on the relevant families. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is conditional but independent

full rationale

The paper states an analytic construction of nowhere-vanishing harmonic 1-forms on the real loci, explicitly conditioned on the existence of collapsing Ricci-flat Kähler metrics and specific diffeomorphism types of the real loci. No step in the abstract or described chain reduces a claimed prediction or result to a fitted parameter, self-definition, or load-bearing self-citation; the Joyce-Karigiannis construction is invoked only as an external application. The central claim therefore remains a conditional analytic result whose validity hinges on the external metric existence rather than on any internal loop or renaming of inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the construction is described at the level of existence statements without visible fitting or new postulated objects.

pith-pipeline@v0.9.1-grok · 5624 in / 1271 out tokens · 41925 ms · 2026-07-01T04:30:45.663899+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

42 extracted references · 1 canonical work pages

  1. [1]

    Apostolov and S

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

    2004

  2. [2]

    Barth, K

    W. Barth, K. Hulek, C. Peters, and A. Van de Ven.Compact complex surfaces, volume 4. Springer Science & Business Media, 2003

    2003

  3. [3]

    Chiu and Y.-S

    S.-K. Chiu and Y.-S. Lin. Special Lagrangian submanifolds in K3-fibered Calabi–Yau 3-folds, 2024

    2024

  4. [4]

    Corti, M

    A. Corti, M. Haskins, J. Nordstr”om, and T. Pacini.G 2-manifolds and associative submani- folds via semi-Fano 3-folds.Duke Math. J., 164(10):1971–2092, 2015

    1971

  5. [5]

    Crowley and J

    D. Crowley and J. Nordstr¨ om. The classification of 2-connected 7-manifolds.Proceedings of the London Mathematical Society, 119(1):1–54, 2019

    2019

  6. [6]

    P. Deligne. La formule de picard-lefschetz. In P. Deligne and N. M. Katz, editors,Groupes de Monodromie en G´ eom´ etrie Alg´ ebrique. II, volume 340 ofLecture Notes in Mathematics, pages 165–197. Springer, Berlin, Heidelberg, 1973

    1973

  7. [7]

    S. K. Donaldson. Calabi–yau metrics on Kummer surfaces as a model glueing problem. In N. C. Leung and S.-T. Yau, editors,Surveys in Differential Geometry. Vol. XVI. Geometry of Special Holonomy and Related Topics, volume 16 ofSurveys in Differential Geometry, pages 45–75. International Press, Somerville, MA, 2011

    2011

  8. [8]

    S. K. Donaldson and C. Scaduto. Associative submanifolds and gradient cycles. In H.-D. Cao and S.-T. Yau, editors,Surveys in Differential Geometry 2019. Differential Geometry, Calabi–Yau Theory, and General Relativity. Part 2, volume 24 ofSurveys in Differential Geometry, pages 39–65. International Press, Boston, MA, 2022

    2019

  9. [9]

    S. K. Donaldson and E. P. Segal. Gauge theory in higher dimensions, II.Surveys in Differ- ential Geometry, 16:1–41, 2011

    2011

  10. [10]

    S. K. Donaldson and R. P. Thomas. Gauge theory in higher dimensions. In S. A. Huggett, L. J. Mason, K. P. Tod, S. T. Tsou, and N. M. J. Woodhouse, editors,The Geometric Universe: Science, Geometry, and the Work of Roger Penrose, pages 31–47. Oxford Univ. Press, Oxford, 1998

    1998

  11. [11]

    M. R. Douglas, D. Platt, Y. Qi, and R. Barbosa. Harmonic 1-forms on real loci of Calabi–Yau manifolds, 2024

    2024

  12. [12]

    P. S. Green, C. L¨ utken, and T. H¨ ubsch. All hodge numbers of all complete intersection calabi-yau manifolds.Class. Quantum Gravity, 6(CERN-TH-4933-87):105–124, 1987

    1987

  13. [13]

    Hartshorne.Algebraic Geometry, volume 52 ofGraduate Texts in Mathematics

    R. Hartshorne.Algebraic Geometry, volume 52 ofGraduate Texts in Mathematics. Springer, New York, 1977

    1977

  14. [14]

    F. R. Harvey and J. Lawson, H. Blaine. Calibrated geometries.Acta Math., 148:47–157, 1982

    1982

  15. [15]

    Hatcher.Algebraic Topology

    A. Hatcher.Algebraic Topology. Cambridge University Press, 2002

    2002

  16. [16]

    Hein and V

    H.-J. Hein and V. Tosatti. Smooth asymptotics for collapsing Calabi–Yau metrics.Comm. Pure Appl. Math., 78(2):382–499, 2025

    2025

  17. [17]

    Huybrechts.Lectures on K3 surfaces, volume 158

    D. Huybrechts.Lectures on K3 surfaces, volume 158. Cambridge University Press, 2016

    2016

  18. [18]

    D. D. Joyce. Compact Riemannian 7-manifolds with holonomyG 2. I.J. Differential Geom., 43(2):291–328, 1996

    1996

  19. [19]

    D. D. Joyce. Compact Riemannian 7-manifolds with holonomyG 2. II.J. Differential Geom., 43(2):329–375, 1996. NOWHERE VANISHING HARMONIC 1-FORMS 29

    1996

  20. [20]

    D. D. Joyce.Compact Manifolds with Special Holonomy. Oxford Mathematical Monographs. Oxford University Press, Oxford, 2000

    2000

  21. [21]

    D. D. Joyce and S. Karigiannis. A new construction of compact torsion-freeG 2-manifolds by gluing families of Eguchi–Hanson spaces.J. Differential Geom., 117(2):255–343, 2021

    2021

  22. [22]

    Kaihnsa, M

    N. Kaihnsa, M. Kummer, D. Plaumann, M. S. Namin, and B. Sturmfels. Sixty-four curves of degree six.Experimental Mathematics, 28(2):132–150, 2019

    2019

  23. [23]

    N. M. Katz. Pinceaux de lefschetz: th´ eor` eme d’existence. In P. Deligne and N. M. Katz, editors,Groupes de Monodromie en G´ eom´ etrie Alg´ ebrique. II, volume 340 ofLecture Notes in Mathematics, pages 212–253. Springer, Berlin, Heidelberg, 1973

    1973

  24. [24]

    V. M. Kharlamov. The topological type of nonsingular surfaces in rp3 of degree four.Func- tional Analysis and its Applications, 10(4):295–305, 1976

    1976

  25. [25]

    Koll´ ar and S

    J. Koll´ ar and S. Mori.Birational geometry of algebraic varieties, volume 134 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1998. With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original

    1998

  26. [26]

    A. Kovalev. Twisted connected sums and special Riemannian holonomy.J. Reine Angew. Math., 565:125–160, 2003

    2003

  27. [27]

    Kovalev and N.-H

    A. Kovalev and N.-H. Lee. K3 surfaces with non-symplectic involution and compact irre- ducibleG 2-manifolds.Math. Proc. Cambridge Philos. Soc., 151(2):193–218, 2011

    2011

  28. [28]

    Lanteri and D

    A. Lanteri and D. C. Struppa. Topological properties of cyclic coverings branched along an ample divisor.Canadian Journal of Mathematics, 41(3):462–479, June 1989

    1989

  29. [29]

    Y. Li. A gluing construction of collapsing Calabi–Yau metrics on K3 fibred 3-folds.Geom. Funct. Anal., 29(4):1002–1047, 2019

    2019

  30. [30]

    Y. Li. Iterated collapsing phenomenon onG 2-manifolds.Pure Appl. Math. Q., 18(3):971– 1036, 2022

    2022

  31. [31]

    Y. Li. SYZ conjecture for Calabi–Yau hypersurfaces in the Fermat family.Acta Math., 229(1):1–53, 2022

    2022

  32. [32]

    Mangolte.Real algebraic varieties

    F. Mangolte.Real algebraic varieties. Springer Monographs in Mathematics. Springer, Cham, [2020]©2020. Translated from the 2017 French original [3727103] by Catriona Maclean

    2020

  33. [33]

    Mboya.Projective fibrations in weighted scrolls

    G. Mboya.Projective fibrations in weighted scrolls. PhD thesis, University of Oxford, 2023

    2023

  34. [34]

    Mboya and B

    G. Mboya and B. Szendr˝ oi. On k3 fibred calabi–yau threefolds in weighted scrolls.Rendiconti del Circolo Matematico di Palermo Series 2, 73(2):621–635, 2024

    2024

  35. [35]

    R. C. McLean. Deformations of calibrated submanifolds.Comm. Anal. Geom., 6(4):705–747, 1998

    1998

  36. [36]

    Nordstr¨ om

    J. Nordstr¨ om. Extra-twisted connected sumG 2-manifolds.Ann. Global Anal. Geom., 65(1):Paper No. 4, 2024

    2024

  37. [37]

    Reidegeld

    F. Reidegeld. A construction ofG 2-manifolds from K3 surfaces with aZ 2 2-action.Differential Geometry and its Applications, 88:101998, 2023

    2023

  38. [38]

    K. Rohn. Die maximalzahl und anordnung der ovale bei der ebenen kurve 6. ordnung und bei der fl¨ ache 4. ordnung.Mathematische Annalen, 73:177–229, 1913

    1913

  39. [39]

    The stacks project, 2025

    The Stacks project authors. The stacks project, 2025

    2025

  40. [40]

    Topiwala

    P. Topiwala. A new proof of the existence of K”ahler–Einstein metrics on K3. I, II. Invent. Math., 89(2):425–448, 449–454, 1987. Part I doi:10.1007/BF01389087; Part II doi:10.1007/BF01389088

    work page doi:10.1007/bf01389087 1987

  41. [41]

    V. Tosatti. Collapsing Calabi–Yau manifolds. In H.-D. Cao and S.-T. Yau, editors,Surveys in Differential Geometry 2018. Differential Geometry, Calabi–Yau Theory, and General Rel- ativity, volume 23 ofSurveys in Differential Geometry, pages 305–337. International Press, Boston, MA, 2020

    2018

  42. [42]

    S.-T. Yau. On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge– Amp` ere equation. I.Comm. Pure Appl. Math., 31(3):339–411, 1978. Department of Mathematics, University of California, Irvine, Irvine CA 92697, USA Email address:shihkaic@uci.edu Department of Mathematics, Imperial College London, 180 Queen’s Gate, South Kensington, Lo...

    1978