Pith. sign in

REVIEW 1 major objections 2 minor 42 references

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

T0 review · 1 major / 2 minor · reviewed 2026-07-01 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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.

desk verdict The paper gives a conditional analytic construction for nowhere-vanishing harmonic 1-forms on real loci of K3-fibred CY3s that feeds into new G2 examples, but everything rests on the prior existence of the collapsing metrics. read the letter →

arxiv 2606.31224 v1 pith:IJK3CMRB submitted 2026-06-30 math.DG math.AG

Shih-Kai Chiu , Daniel Platt , Calum Spicer This is my paper · ORCID
classification math.DGmath.AG
keywords harmonic1-formsK3-fibredCalabi-Yau3-foldsreallocicollapsingRicci-flatmetricsG2holonomyJoyce-Karigiannisconstructionmappingtori
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 0 assumptions · 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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nowhere-vanishing harmonic 1-forms on real loci of K3-fibred Calabi-Yau 3-folds." pith.science (2026). https://pith.science/paper/IJK3CMRB

@misc{pith2026260631224,
  author       = {Pith},
  title        = {Pith review of: Nowhere-vanishing harmonic 1-forms on real loci of K3-fibred Calabi-Yau 3-folds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IJK3CMRB}},
  note         = {Machine review of arXiv:2606.31224}
}
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

42 extracted references · 42 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

    work page 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

    work page 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

    work page 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

    work page 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

    work page 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

    work page 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

    work page 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

    work page 2019

Show all 42 references
  1. [9]

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

    2011

  2. [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

  3. [11]

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

    2024

  4. [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

  5. [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

  6. [14]

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

    1982

  7. [15]

    Hatcher.Algebraic Topology

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

    2002

  8. [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

  9. [17]

    Huybrechts.Lectures on K3 surfaces, volume 158

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

    2016

  10. [18]

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

    1996

  11. [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

  12. [20]

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

    2000

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [26]

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

    2003

  19. [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

  20. [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

  21. [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

  22. [30]

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

    2022

  23. [31]

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

    2022

  24. [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

  25. [33]

    Mboya.Projective fibrations in weighted scrolls

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

    2023

  26. [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

  27. [35]

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

    1998

  28. [36]

    Nordstr¨ om

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

    2024

  29. [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

  30. [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

  31. [39]

    The stacks project, 2025

    The Stacks project authors. The stacks project, 2025

    2025

  32. [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

    1987 doi

  33. [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,...

    2018

  34. [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...

    1978

Pith tools

Reviewed July 1, 2026 · model on record in the stance chip above.