Pith. sign in

REVIEW 4 major objections 5 minor 14 references

Updates on Calabi-Yau manifolds from pairs of non-compact Calabi-Yau manifolds

T0 review · 4 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read Smoothing two non-compact Calabi-Yau pieces yields Calabi-Yau manifolds with unbounded second Betti numbers and the first non-Kähler examples in every dimension above three.

desk verdict A clear, self-citing survey of the author's smoothing constructions; no new results, and the non-Kähler fourfold proof is asserted rather than demonstrated. read the letter →

arxiv 2608.07694 v1 pith:BF5APF53 submitted 2026-08-07 hep-th

Nam-Hoon Lee This is my paper · ORCID
classification hep-th MSC 14J3214J2832Q25
keywords Calabi-Yaumanifoldsnormalcrossingvarietysmoothingnon-KählersecondBettinumberquasi-FanomirrorsymmetryTyurindegeneration
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

This review develops one idea: a compact Calabi-Yau manifold can be built from two non-compact Calabi-Yau pieces by gluing them along a common anticanonical divisor and smoothing the resulting normal crossing union. The paper claims this smoothing method produces Calabi-Yau threefolds with second Betti number growing without bound, a simply connected Calabi-Yau threefold with $h^{1,1}=h^{1,2}=1$, and the first non-Kähler Calabi-Yau manifolds in dimensions four and higher, with unbounded second Betti numbers in every fixed dimension $N\ge 4$. It also organizes 6,518 mirror pairs of Calabi-Yau threefolds, including 79 self-mirror examples, through Landau-Ginzburg mirror symmetry for pairs of quasi-Fano threefolds. If these constructions are correct, the topology of Calabi-Yau manifolds is much less constrained than complete-intersection examples suggest, and smoothing degenerations becomes a systematic source of new Calabi-Yau geometries for string compactification.

What carries the argument

The central object is the normal crossing variety $X_0=Y_1\cup Y_2$ with common smooth divisor $D$, where $D$ belongs to the anticanonical system of each component, together with the d-semistability condition $N_{D/Y_1}\otimes N_{D/Y_2}\simeq\mathcal{O}_D$; the Kawamata-Namikawa smoothing theorem then turns $X_0$ into a smooth Calabi-Yau manifold. The unbounded Betti numbers are produced by infinite-order automorphisms of the common divisor: involutions on a K3 surface in $\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$ in the threefold case, and Cremona transformations on rational elliptic surfaces in the higher-dimensional case, which twist the gluing before smoothing. Non-Kählerness is established by showing that a hypothetical Kähler metric would force a big line bundle on the normal crossing variety, whose restriction to the common divisor would pull back to an ample class on an abelian threefold invariant under two involutions; the chosen involutions generate an infinite group whose invariant Néron-Severi intersection contains no ample class, producing the contradiction. For the mirror construction, the operative mechanism is a quasi-Fano threefold with an anticanonical K3 fibration, whose complement carries a Landau-Ginzburg superpotential; mirror pairs are defined by inducing mirror lattice-polarized K3 structures on the common fibers.

What would settle it

Compute the subgroup generated by the two involutions $\sigma_1$ and $\sigma_2$ acting on $E_\zeta^3$ and the intersection of their invariant Néron-Severi groups; an ample class in that intersection would give the big divisor whose absence is needed, and would overturn the non-Kähler fourfold example. Conversely, exhibiting a Kähler metric on the smoothed fourfold would also falsify the claim.

Watch

Extended reading notes

Core claim

The paper's central claim is that the smoothing of a d-semistable normal crossing union $X_0=Y_1\cup Y_2$, where each $Y_i$ is a smooth projective variety and $D=Y_1\cap Y_2$ is an anticanonical divisor in both, produces a smooth compact Calabi-Yau manifold, and this mechanism realizes previously unknown families. In three dimensions it yields simply connected non-Kähler Calabi-Yau threefolds with $b_2=a+3$ for every positive integer $a$, and a simply connected Calabi-Yau threefold with $h^{1,1}=h^{1,2}=1$, self-intersection $\xi^3=2$, and $\xi\cdot c_2=44$. In dimension four, the smoothing of two fourfolds glued along a rigid Calabi-Yau threefold gives a simply connected non-Kähler Calabi-Yau fourfold with Euler number 108. Extending the construction with rational elliptic surfaces and Cremona transformations gives, for every dimension $N\ge 4$, simply connected non-Kähler Calabi-Yau manifolds with $b_2=m+10$ when $N=4$ and $b_2=m+2$ when $N\ge 5$, so the second Betti number is unbounded in each fixed dimension. The paper further claims that mirror pairs of quasi-Fano threefolds, combined with lattice-polarized K3 mirror symmetry, yield 6,518 mirror pairs of Calabi-Yau threefolds.

Load-bearing premise

The fourfold's non-Kähler conclusion rests on the group-theoretic assertion that two involutions of the elliptic-threefold quotient generate an infinite automorphism group whose common invariant divisor classes contain no ample class; if that assertion fails, the contradiction excluding a Kähler metric disappears.

Editorial extensions

If this is right

  • For every fixed dimension $N\ge 4$, the construction gives infinitely many simply connected non-Kähler Calabi-Yau manifolds, with second Betti numbers $m+10$ (when $N=4$) and $m+2$ (when $N\ge 5$) as $m$ ranges over positive integers.
  • There exist simply connected Calabi-Yau threefolds with $h^{1,1}=h^{1,2}=1$, intersection form $\xi^3=2$, and $\xi\cdot c_2=44$, providing extremal small-Hodge-number examples for classification and mirror symmetry.
  • The smoothing method produces 6,518 mirror pairs of Calabi-Yau threefolds from three-dimensional reflexive polytopes, including 79 self-mirror examples, so mirror pairs are plentiful outside the toric complete-intersection setting.
  • The higher-dimensional non-Kähler examples have algebraic dimension $N-2$, exactly two below the maximal possible value, which shows how close non-Kähler Calabi-Yau manifolds can come to being algebraic.
  • The paper's open question is whether the same flexibility can create infinitely many topological types of Kähler Calabi-Yau threefolds, which would settle a long-standing finiteness problem.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A direct extension the paper leaves implicit is to use the same two-component smoothing to produce Calabi-Yau manifolds with prescribed Hodge numbers beyond the threefold case; the threefold formulas express $h^{1,1}$ and $h^{1,2}$ in terms of curve classes blown up on a K3 surface, and analogous formulas in higher dimensions would make the construction a general machine for building exotic Calabi
  • If the smoothing method can be made to preserve projectivity as well as d-semistability, it would likely generate infinitely many topological types of Kähler Calabi-Yau threefolds, directly attacking the open question the paper poses about finiteness of topological types.
  • The mirror construction suggests a physical test: the Landau-Ginzburg superpotentials defined by the two quasi-Fano components should determine the quantum cohomology of the smoothed Calabi-Yau threefold, so computing Gromov-Witten invariants for a smoothing of a known normal crossing union would test the mirror correspondence beyond Hodge numbers.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 5 minor

Summary. The paper is a survey-style update of the author's construction of Calabi-Yau manifolds by smoothing normal crossing unions of two varieties with a common anticanonical divisor, a method introduced to the physics community in [7]. Section 1 sets out the smoothing setup and the d-semistability condition. Section 2 reviews Hashimoto-Sano's simply connected non-Kähler Calabi-Yau threefolds with unbounded second Betti number and Lee's threefolds with h^{1,1}=h^{1,2}=1. Section 3 describes Lee's construction of a non-Kähler Calabi-Yau fourfold from Beauville's rigid Calabi-Yau threefold and Sano's higher-dimensional non-Kähler Calabi-Yau manifolds with arbitrarily large second Betti number. Section 4 explains a scheme for mirror pairs of Calabi-Yau threefolds from quasi-Fano threefold pairs, reporting 6518 mirror pairs from three-dimensional reflexive polytopes, and Section 5 discusses the open problem of whether Kähler Calabi-Yau threefolds have finitely many topological types. The paper gives no new proofs; its results are drawn from [2], [13], and the author's own publications and preprints [6]-[10].

Significance. If the underlying constructions are valid, the paper is a useful concise compilation of results showing that the smoothing method produces Calabi-Yau manifolds outside the standard complete-intersection and toric families, including non-Kähler examples in arbitrarily high dimension and threefolds with extremely small Hodge numbers. The clear statements of the d-semistability condition, the explicit formulas for b2 and Euler characteristics, and the careful caveat that the mirror pairs are established only at the level of Hodge numbers are strengths. However, the paper is not self-contained at exactly the points where its advertised novelty is largest: the non-Kählerity proof for the fourfold in Section 3 relies on an unverified group-theoretic assertion, and two of the main quantitative claims rest on an unpublished preprint [6] and an author-hosted appendix [10].

major comments (4)
  1. [Section 3] The proof that the fourfold M is non-Kähler hinges on the assertion that 'the subgroup generated by these two involutions is infinite, and the intersection of their invariant Néron–Severi subgroups contains no ample class.' No matrices defining σ1 and σ2 are displayed, no computation of NS(E_ζ^3)^{σ1} ∩ NS(E_ζ^3)^{σ2} is given, and no precise statement from [8] is reproduced. Since this assertion is the only step that excludes a Kähler metric, it is load-bearing for the paper's central claim of a first non-Kähler Calabi-Yau fourfold. Please either include the explicit involutions and the invariant-lattice computation, or restate the argument as a theorem whose full proof is in [8] and state exactly which facts from [8] are being used. In addition, the sentence 'Pulling this class back to the abelian threefold E_ζ^3 would give a big, and therefore ample, divisor class invariant under both σ1 and σ2' appeals to a nontrivial fact about big line bundles on abelian varieties; this fact should be stated explicitly rather than passed over.
  2. [Section 2] The construction of Calabi-Yau threefolds with h^{1,1}=h^{1,2}=1 is one of the paper's advertised highlights, but it rests entirely on reference [6], an unpublished preprint. The Hodge-number formulas h^{1,1}=r-rk⟨γ_i⟩+1 and h^{1,2}=21+Σ g(γ_i)-rk⟨γ_i⟩ are stated without derivation, and the existence of twenty rational curves on the Fermat quartic with the required independence and linear-equivalence properties is asserted without a concrete configuration. If the paper is intended as a self-contained announcement, the missing configuration and the derivation of the formulas are essential; if it is intended as a survey, the dependence on [6] should be made prominent and the preprint should be published or uploaded to a stable repository before the claim is repeated as established.
  3. [Section 4] The statement that applying the quasi-Fano mirror construction to all three-dimensional reflexive polytopes produces 6518 mirror pairs of Calabi-Yau threefolds, including 79 self-mirror examples, is supported only by the author-hosted appendix [10]. The reader cannot verify the enumeration or the claimed Hodge-number exchange from the material in this paper. Please provide a machine-readable table, a reproducible algorithm, or an independently published source; otherwise, the sentence should be rephrased as a report of unpublished enumerations in [10] and distinguished from the peer-reviewed results of [9].
  4. [Section 3] The non-Kählerity of Sano's higher-dimensional examples is argued through the algebraic dimension: 'For a very general smoothing, every meromorphic function on X(m) essentially comes from the base T. Consequently, its algebraic dimension is a(X(m))=dim T=N−2.' The paper does not explain why the projection to T extends through the smoothing, nor why very general smoothings have no additional meromorphic functions. Since this is the step that proves non-Kählerity for these manifolds, it should be stated as a theorem with a precise reference to [13], or a proof sketch should be supplied.
minor comments (5)
  1. [References] The bibliographic data for reference [13] appear inconsistent: 'Geom. Topol. 14 (2021), no. 4, 1448–1460' pairs a 2010 volume number with a 2021 year. Please check the volume, year, and page numbers against the published version.
  2. [Section 2] The displayed Hodge diamond for the h^{1,1}=h^{1,2}=1 threefold would be easier to read if the entries were labeled with h^{p,q} or if the unlabeled rows were accompanied by a one-sentence explanation of the convention for orienting the diamond.
  3. [Section 4] The quantity α_X is used to state the numerical mirror relation α_X+α_Y=20, but the reason 20 is the relevant bound for K3 lattices (the rank of the transcendental lattice of a K3 surface or the Picard rank bound) is not explained; adding a sentence would make the relation understandable to the intended hep-th readership.
  4. [Section 1] The phrase 'Landau–Ginzburg models' is invoked in the abstract and in Section 4 without a definition or a reference to the specific LG framework being used; a brief definition or a pointer to the relevant physics literature would improve accessibility.
  5. [Section 4] The final paragraph of Section 4 correctly notes that the constructed pairs are only conjectural as full mirror pairs because only Hodge numbers are exchanged; this caveat is valuable and should perhaps be printed more prominently, for example at the first occurrence of the word 'mirror pair' in the section.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular derivation: the reviewed constructions are cited to prior independent work, and the mirror-pair claims are explicitly limited to Hodge-number exchange.

full rationale

The paper is an expository update reporting constructions from the author's own earlier papers and from Hashimoto-Sano, Sano, Kawamata-Namikawa, and Rohsiepe. The unbounded b2 threefolds and higher-dimensional non-Kähler examples are attributed to Hashimoto-Sano [2] and Sano [13], not derived from any fitted input. The h^{1,1}=h^{1,2}=1 example is obtained by an explicit configuration of eight lines and twelve conics on the Fermat quartic whose existence is independent of the Hodge-number conclusion. Section 4 is the only place where the paper goes beyond summarizing: it constructs quasi-Fano mirror pairs from reflexive polytopes. But the paper explicitly states that 'These pairs remain conjectural as mirror pairs in the full sense of mirror symmetry, since the established result is the exchange of Hodge numbers,' so the term 'mirror pair' is not used to smuggle in the target. The only caveat is the fourfold non-Kählerity proof in Section 3, which relies on the unproved-in-this-paper assertion that the intersection of the invariant Néron-Severi subgroups contains no ample class; this is a gap in exposition and depends on the author's separate publication [8], but it is a citation to a peer-reviewed external work, not a reduction of the conclusion to its own assumptions. No fitted parameter is renamed as a prediction, and no equation is equivalent to an input by construction.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new physical or mathematical entities and fits no parameters. It relies on standard theorems and on specific unproved assertions about automorphism groups of K3 and abelian varieties, which are load-bearing for the constructions.

assumptions (5)
  • domain assumption Kawamata-Namikawa smoothing theorem: a d-semistable normal crossing variety with trivial dualizing sheaf smooths to a Calabi-Yau manifold.
    Invoked in Sections 2 and 3 to conclude the existence of smoothings; a central tool not proved here.
  • standard math A Kähler Calabi-Yau manifold of dimension greater than two is projective.
    Used in Section 3 in the contradiction argument that establishes non-Kählerity. Follows from Yau's theorem and Chow's lemma, but not stated or proved.
  • standard math Seifert-van Kampen theorem implies simple connectivity of the smoothing when both complements are simply connected.
    Used in Section 3 to show the fourfold is simply connected.
  • domain assumption The very general K3 surface S in |O(2,2,2)| on P1xP1xP1 has three involutions generating an infinite subgroup of Aut(S).
    Key to the Hashimoto-Sano construction in Section 2; stated without proof and relies on a result about automorphisms of K3 surfaces.
  • domain assumption The two involutions σ1, σ2 on E_ζ^3 generate an infinite group whose invariant Néron-Severi groups intersect trivially for ample classes.
    Load-bearing in the non-Kählerity proof of the fourfold in Section 3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Updates on Calabi-Yau manifolds from pairs of non-compact Calabi-Yau manifolds." pith.science (2026). https://pith.science/paper/BF5APF53

@misc{pith2026260807694,
  author       = {Pith},
  title        = {Pith review of: Updates on Calabi-Yau manifolds from pairs of non-compact Calabi-Yau manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BF5APF53}},
  note         = {Machine review of arXiv:2608.07694}
}
read the original abstract

We discuss developments in the construction of Calabi--Yau manifolds by smoothing normal crossing unions of quasi-Fano manifolds, following the introduction of this method to the physics community in 2010. We describe constructions of Calabi--Yau threefolds with unbounded second Betti numbers and with very small Hodge numbers, as well as the first non-K\"ahler examples in dimensions greater than three. The role of Landau--Ginzburg models in mirror constructions is also explained.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [6]

    Lee, Nam-Hoon,Some examples of Calabi–Yau threefolds withh 1,1 =h 1,2 = 1, preprint, available athttps://tinyurl.com/cy-h11-h12-equal-to-1

    work page

  2. [10]

    Mirror pairs of Calabi–Yau threefolds from mirror pairs of quasi-Fano threefolds

    Lee, Nam-Hoon,6,518 mirror pairs of Calabi–Yau threefolds: appendix to “Mirror pairs of Calabi–Yau threefolds from mirror pairs of quasi-Fano threefolds”, available athttp://newton.kias.re.kr/ ~nhlee/files/appendix.pdf

    work page

  3. [8]

    Lee, Nam-Hoon,An example of non-K¨ ahler Calabi–Yau fourfold, Math. Res. Lett. 30 (2023), no. 3, 807–820

    work page 2023

  4. [7]

    High Energy Phys

    Lee, Nam-Hoon,Calabi–Yau manifolds from pairs of non-compact Calabi–Yau manifolds, J. High Energy Phys. 2010, no. 4, 088, 10 pp

    work page 2010

  5. [2]

    Hashimoto, Kenji; Sano, Taro,Examples of non-K¨ ahler Calabi–Yau 3-folds with arbitrarily largeb 2, Geom. Topol. 27 (2023), no. 1, 131–152

    work page 2023

  6. [13]

    Sano, Taro,Examples of non-K¨ ahler Calabi–Yau manifolds with arbitrarily largeb 2, Geom. Topol. 14 (2021), no. 4, 1448–1460

    work page 2021

  7. [9]

    Lee, Nam-Hoon,Mirror pairs of Calabi–Yau threefolds from mirror pairs of quasi-Fano threefolds, J. Math. Pures Appl. (9) 141 (2020), 195–219

    work page 2020

  8. [1]

    Doran, Charles; Harder, Andrew; Thompson, Alan,Mirror symmetry, Tyurin degenerations and fibrations on Calabi–Yau manifolds, String-Math 2015, 93–131, Proc. Sympos. Pure Math., 96, Amer. Math. Soc., Providence, RI, 2017

    work page 2015

Show all 14 references
  1. [3]

    Friedman, Robert,On threefolds with trivial canonical bundle, Complex geometry and Lie theory (Sundance, UT, 1989), 103–134, Proc. Sympos. Pure Math., 53, Amer. Math. Soc., Providence, RI, 1991

    1989

  2. [4]

    Filipazzi, Stefano; Hacon, Christopher D.; Svaldi, Roberto,Boundedness of elliptic Calabi–Yau threefolds, J. Eur. Math. Soc. (JEMS) 27 (2025), no. 9, 3583–3650

    2025

  3. [5]

    Kreuzer, Maximilian; Skarke, Harald,Complete classification of reflexive polyhedra in four dimensions, Adv. Theor. Math. Phys. 4 (2000), no. 6, 1209–1230

    2000

  4. [11]

    Rohsiepe, Falk,Lattice polarized toric K3 surfaces, arXiv:hep-th/0409290

    arXiv

  5. [12]

    Kawamata, Yujiro; Namikawa, Yoshinori,Logarithmic deformations of normal crossing varieties and smoothing of degenerate Calabi–Yau varieties, Invent. Math. 118 (1994), no. 3, 395–409

    1994

  6. [14]

    Torino, Torino (2004), 701–734

    Tyurin, Andrey,Fano versus Calabi–Yau, The Fano Conference, Univ. Torino, Torino (2004), 701–734. – 11 –

    2004

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.