Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Roan pairs compute stringy Hodge numbers for all Fermat CY orbifolds

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-02 03:13 UTC pith:LNNSU6BX

load-bearing objection The new content is a computational survey plus a ten-case BV-BHK matching; the central theorem is an unverified numerical claim resting on an unpublished database. the 3 major comments →

arxiv 2607.13946 v2 pith:LNNSU6BX submitted 2026-07-15 hep-th

Hodge numbers for orbifolds of Calabi-Yau threefolds Ferma type and the Roan pairs

S. Aleshin , A. Belavin , G. Koshevoy This is my paper
classification hep-th MSC 14J3214J33 PACS 11.25.Mj
keywords Calabi-Yau threefoldsFermat type orbifoldsRoan pairsVafa formulastringy Hodge numbersmirror symmetryBerglund-Hübsch-Krawitz dualityBorcea-Voisin construction
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper sets out to show that for every orbifold of a Fermat-type Calabi-Yau threefold, the stringy Hodge numbers can be computed by a simple combinatorial recipe: ordinary invariant deformations plus 'Roan pairs,' pairs of lattice elements from the group and its mirror dual. Theorem 5.2 claims that this count, called Roan's Hodge numbers, satisfies the relation half of the Vafa Euler number equals h^{2,1} of the mirror minus h^{2,1} of the original. The proof is computational: the authors say they verified the identity for all 147 Fermat threefolds and their admissible orbifolds, with details in a companion database. If correct, the result gives an explicit algorithmic handle on Hodge numbers and mirror symmetry for a large class of Calabi-Yau orbifolds.

Core claim

The central discovery is that the twisted-sector contribution to the Hodge numbers of a resolved Fermat orbifold W/G is accounted for by Roan pairs. A (G^T, G)-Roan pair is a pair of level-one elements, one from the mirror group G^T with two zero coordinates and one from G with three zero coordinates, whose coordinatewise weighted product has zero sum; swapping G and G^T gives the other orientation. The paper's Theorem 5.2 states that for any admissible G, h^{2,1}(\widehat{W/G}) = h^{2,1}(W/G) + number of (G^T,G)-Roan pairs and h^{1,1} is the mirror counterpart (5.1)-(5.2), and that these numbers satisfy χ(Vafa)/2 = h^{2,1}(mirror) - h^{2,1}(original). Roan proved this identity earlier for e

What carries the argument

Roan pairs: pairs (z', z) of group elements of level one, with z' in (G^T)_{2Z} having two zero coordinates and z in G_{3Z} having three zero coordinates (or vice versa), satisfying Σ z'_i a_i z_i = 0. The cardinality of these pairs supplies the twisted-sector correction in equations (5.1)-(5.2), so that the stringy Euler number computed by the Vafa formula is reproduced as twice the difference of the corrected Hodge numbers.

Load-bearing premise

The paper's central claim is supported by numerical verification over a database that is not included; if that database is incomplete or the computation has a gap, the universality of Theorem 5.2 would not be established, and the equality is otherwise proven only for the a_i ≥ 3 cases covered by Roan.

What would settle it

Run an exhaustive independent computation: for each of the 147 exponent tuples (a1≤...≤a5) with Σ1/a_i=1 and every admissible subgroup G0⊂G⊂Gmax⊂SL5, compute χ from the Vafa formula (4.2) and the Roan-pair counts from (5.1)-(5.2); if any pair fails (1/2)χ = h^{2,1}(mirror) - h^{2,1}(original), the theorem is false. A more targeted check: search for any group with a_i=2 in the exponent list, since Roan's proof only covers a_i ≥ 3.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • For all 147 Fermat Calabi-Yau threefolds and their admissible orbifolds, one can read off h^{1,1} and h^{2,1} of the resolved space directly from invariant monomials and Roan pairs, without computing resolutions or cohomology.
  • BHK mirror symmetry becomes a swap of the two orientations of Roan pairs, making the relation χ(W/G) = -χ(W/G^T) manifest at the level of Hodge numbers.
  • The case-by-case match in Section 8 shows that each of the ten Fermat-type K3 surfaces in the Borcea-Voisin construction has a corresponding Fermat orbifold with the same Hodge numbers, yielding new identifications between BV mirrors and BHK orbifolds.
  • The explicit lattice vectors counted by Roan pairs give a direct combinatorial input for heterotic string model building, as the paper notes in Remark 5.4, without checking OPE axioms.
  • The accompanying database enables systematic tests of structural conjectures, such as the monotonicity of Euler numbers under inclusion of groups stated at the end of the paper.

Where Pith is reading between the lines

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

  • Because the theorem rests on enumeration, an independent re-implementation of the Vafa and Roan formulas would either confirm the exhaustive claim or expose a missing case; the paper itself flags the database as the repository of the verification.
  • If the identity holds for non-Fermat invertible potentials, the same pair-counting recipe might give Hodge numbers for a much wider class of Berglund-Hübsch orbifolds, though Roan's original proof does not obviously generalize to exponents below 3.
  • The paper's closing conjecture on monotonicity of Euler characteristics could be tested directly on the same database, and the observed failures of log-concavity suggest the pattern is subtle.

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

3 major / 5 minor

Summary. The paper proposes a combinatorial definition of "Roan's Hodge numbers" for orbifolds of Fermat-type Calabi-Yau threefolds, based on invariant deformations and the counting of "Roan pairs." The main theorem (Theorem 5.2) asserts that for all admissible subgroups G of the maximal diagonal symmetry group, the difference of these Hodge numbers reproduces half the stringy Euler number computed by the Vafa formula. The authors also claim a relation between the Borcea-Voisin construction and Berglund-Hübsch-Krawitz mirror duality for ten K3-fermion-type cases, proved case by case in Section 8. The paper relies heavily on an unpublished database [DB] for the central verification and provides extensive lists of deformations and Roan pairs for several examples.

Significance. If the main result were established rigorously, it would provide an effective combinatorial algorithm for computing stringy Hodge numbers and mirror pairs for a large class of Calabi-Yau orbifolds, with potential applications to heterotic string compactifications. The paper also contains useful worked examples for the quintic and for Borcea-Voisin-related Fermat threefolds. However, the central theorem is not proved in the manuscript: its proof is a citation to a numerical verification in an unavailable database. Moreover, the case-by-case evidence in Section 8 contains concrete labeling and data errors. The significance of the contribution is therefore conditional on supplying a complete, checkable derivation or an accessible and validated database.

major comments (3)
  1. [§5.1, Theorem 5.2] The universal claim — for all admissible G in all 147 Fermat threefolds — is supported only by the sentence "We verified this formula by numeric computations. We put details of computations in [DB]", with [DB] unpublished. Roan's theorem covers only a_i ≥ 3; the cases with some a_i = 2 (e.g. (2,4,10,12,15)) are exactly where the new combinatorial rule is needed, and no proof or accessible computation is supplied. As it stands, Theorem 5.2 is an unverifiable numerical assertion, not a theorem.
  2. [§5.1, Definition 5.1 and Eqs. (5.1)-(5.2)] The quantities h21 and h11 are defined as counts of deformations plus Roan pairs, and (5.1) sets h21(^W/G) = h11(^W/GT) by construction. The identity in Theorem 5.2 then follows formally from χ = 2(h11 - h21) together with the Vafa formula, provided the counts have been shown to equal the geometric stringy Hodge numbers of a resolution. That geometric identification is not proved for general G; it is the substantive content of "correctly count the stringy Euler numbers." Without it, Theorem 5.2 is a consistency check between a combinatorial definition and the Vafa formula, not a derivation of Hodge numbers.
  3. [§8.2, §8.4, §8.9] The case-by-case data used to prove Theorem 7.3 contains clear inconsistencies. In §8.2, the list of (G′T,G′)-Roan pairs for (4,4,4,8,8) ends with [(0,0,1/2,0,1/2),(1/3,1/4,1/4,1/7,1/42)], whose second entry has denominators (3,4,4,7,42) and cannot lie in G′ for (4,4,4,8,8). In §8.4 the header says (4,4,3,10,15) but the polynomial written is z1^3+z2^4+z3^4+z4^10+z5^15, i.e. (3,4,4,10,15). In §8.9 the closing line cites ^W3,4,4,12,12 for an example that is (4,4,5,5,10). These slips are not merely typographical: they indicate that the underlying database cannot be checked from the paper, and they undermine confidence in the exhaustiveness and correctness assumptions on which Theorem 5.2 depends.
minor comments (5)
  1. [Throughout] The text repeatedly uses "Ferma" for "Fermat", and contains typos such as "orfibols", "Betglund-Hübsch-Krawits", "sef dual", and "and and 10" (§8.2). A careful proofreading is needed.
  2. [References] Reference [Roan] is titled "The Minor of Calabi-Yau Orbifold"; presumably "Mirror" is intended. [DB] is listed without any arXiv number or repository; the paper's central verification depends on this item.
  3. [§8.4] The line "1,1 = 27 and h 2,1 = 27" is missing an 'h' and is formatted inconsistently. Also the displayed polynomial does not match the stated exponents (4,4,3,10,15); see major comment.
  4. [§5.2 Lemma] The lemma states that for a (GT,G)-Roan pair one has ΣZ′_i = 2 and ΣZ_i = 3. This is immediate from the definitions and is not a substantive mathematical step; it could be stated as a remark.
  5. [§9 Conjecture] The monotonicity conjecture is stated without any supporting evidence beyond the two examples. If it is meant as a conjecture, it should be clearly separated from the verified results.

Circularity Check

1 steps flagged

Central Theorem 5.2 rests on a numerical check in an unpublished same-author database; the mirror-swap part of the Roan Hodge numbers is definitional, but the Vafa-equality check is not exhibited.

specific steps
  1. self citation load bearing [§5.1, Proof of Theorem 5.2 (also abstract and §1)]
    "Proof. We verified this formula by numeric computations. We put details of computations in [DB]. □"

    Theorem 5.2 is the paper's central claim: for all orbifolds of Fermat-type Calabi-Yau threefolds, the combinatorially defined Roan Hodge numbers reproduce the Vafa Euler number. The proof given in the manuscript is not a derivation; it is a pointer to [DB], an unpublished database by the same three authors. For the cases not covered by Roan's theorem (a_i >= 3), the universal claim is therefore supported only by the authors' own inaccessible computation. The paper contains no code, no exhaustive listing of the 147 cases, and no independent check of [DB], so the load-bearing verification reduces to a self-citation whose content cannot be inspected.

full rationale

The main identity is not definitionally circular in its Vafa-check part: the Roan-pair counts in Definition 5.1 are combinatorially defined and the Vafa formula (4.1) is an independent input, so the equality 1/2 chi_Vafa = h^{2,1}(G^T) - h^{2,1}(G) has nontrivial content that could in principle fail. However, the mirror-swap portion is built into the definition: (5.1) and (5.2) set h^{2,1}(^W/G)=h^{1,1}(^W/G^T) and h^{2,1}(^W/G^T)=h^{1,1}(^W/G), so the Hodge-theoretic Euler characteristic 2(h^{1,1}-h^{2,1}) equals the theorem's right-hand side by construction. The independent content is only the claimed agreement with the Vafa formula, and that content is verified only by 'numeric computations' in the authors' own unpublished [DB]. The explicit quintic examples in Section 6 and the case-by-case Borcea-Voisin checks in Section 8 provide some checkable evidence, so the paper is not wholly circular. The Section 8 labeling slips (e.g., §8.4) are correctness risks rather than circularity. Overall: one load-bearing self-citation, with the central claim still having independent but unexhibited numerical content.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

No free parameters are fitted; the analysis is combinatorial. The main burden is the unproven completeness and correctness of the [DB] database and the assumption that Roan pairs exhaust twisted-sector contributions for all admissible G.

axioms (6)
  • domain assumption The Vafa formula (3.1) gives the stringy Euler number of a resolution ^W/G for every admissible G.
    Used as benchmark in Theorem 5.2; standard in string theory but not proved in the paper.
  • domain assumption For Fermat CY threefolds, Gmax and mirror dual subgroups by Krawitz satisfy BHK mirror symmetry, χ(^W/G) = -χ(^W/G^T).
    Section 4 uses this to interpret Roan Hodge pair counts as mirror data.
  • ad hoc to paper Roan's pair count captures all twisted-sector contributions to Hodge numbers for groups beyond those Roan proved (a_i≥3).
    Central definition; only a numerical check is supplied.
  • standard math Standard resolution of orbifold singularities yields a smooth CY with Hodge numbers h1,1 and h2,1.
    Used throughout to pass from singular orbifold to the resolved threefold.
  • domain assumption Nikulin classification of K3 involutions and the Borcea-Voisin formulas in Proposition 7.2 are correct.
    Section 7 relies on these to define the BV mirror Hodge numbers.
  • ad hoc to paper The database [DB] enumerates all 147 Fermat CY orbifolds and all admissible subgroups completely and correctly.
    Theorem 5.2 is 'verified' from [DB], but the database is not included.

pith-pipeline@v1.3.0-alltime-deepseek · 33359 in / 10390 out tokens · 89720 ms · 2026-08-02T03:13:27.606916+00:00 · methodology

0 comments
read the original abstract

First, for orbifolds of Calabi-Yau threefolds of Ferma type, we define Roan's Hodge numbers. We prove, Theorem 5.2, that for all orbifols of Calabi-Yau threefolds Ferma type, Roan's Hodge numbers correctly count the stringy Euler numbers due to Vafa formula. Second, for Calabi-Yau threefolds Ferma type, we apply Roan's Hodge numbers to get a relation between the Borcea-Voisin construction [Borcea, Voisin] and Betglund-H\"ubsch-Krawits mirror duality.

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The complete massless singlet spectrum in the free-field construction of heterotic strings on Calabi--Yau orbifolds

    hep-th 2026-07 conditional novelty 6.0

    The massless E6 singlet spectra of Fermat-type Calabi–Yau orbifolds are determined by Shapovalov ranks, yielding 330 singlets for the quintic and new counts 210 and 258 for two orbifolds.

Reference graph

Works this paper leans on

17 extracted references · 5 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Construction of Mirror Pairs of Calabi–Yau Orbifolds of the Berglund–Hubsch Type,

    S. Aleshin and A. Belavin, “Construction of Mirror Pairs of Calabi–Yau Orbifolds of the Berglund–Hubsch Type,” JETP Lett. 123 (2026) no.1, 60-65 [arXiv:2601.15027 [hep-th]]

    arXiv 2026

  2. [2]

    Aleshin, A

    S. Aleshin, A. Belavin, and G.Koshevoy, Database of all Ferma orbifolds and their Roan's Hodge numbers

  3. [3]

    Boissi\'ere, and A.Sarti, Borcea-Voisin Calabi-Yau threefolds and invertible potentials, with an appendix with S.A.Filippini, arXiv:1501.07895[math.AG]

    M.Artebani, S. Boissi\'ere, and A.Sarti, Borcea-Voisin Calabi-Yau threefolds and invertible potentials, with an appendix with S.A.Filippini, arXiv:1501.07895[math.AG]

    Pith/arXiv arXiv

  4. [4]

    Belavin, Free field construction of Heterotic string compactified on Calabi-Yau manifolds of Berglund-Hubsch type in the Batyrev-Borisov combinatorial approach, Nucl

    A. Belavin, Free field construction of Heterotic string compactified on Calabi-Yau manifolds of Berglund-Hubsch type in the Batyrev-Borisov combinatorial approach, Nucl. Phys. B 1018 (2025) 117055, arXiv https://arxiv.org/abs/2506.01068v8

    arXiv 2025

  5. [5]

    Per Berglund, Ben Campbell, Vishnu Jejjala, Machine Learning Kreuzer–Skarke Calabi–Yau Threefolds, arXiv:2112.09117

    Pith/arXiv arXiv

  6. [6]

    H\"ubsch, A Generalized construction of mirror manifolds, AMS/IP Stud

    Per Berglund and T. H\"ubsch, A Generalized construction of mirror manifolds, AMS/IP Stud. Adv. Math. 9, 327-346 (1998)

    1998

  7. [7]

    in Mirror Symmetry II (Green B., Yau S.T

    Borcea C., K3 surfaces with involution and mirror pairs of Calabi-Yau manifolds. in Mirror Symmetry II (Green B., Yau S.T. eds), AMS Stud. Adv. Math 1, AMS, Providence, RI, 1997, 717-743

    1997

  8. [8]

    Vacuum configurations for superstrings

    Philip Candelas, Gary Horowitz, Andrew Strominger, and Edward Witten. Vacuum configurations for superstrings. Nuclear Phys. B, 258(1):46–74, 1985

    1985

  9. [9]

    GREENE and M

    B.R . GREENE and M. R. PLESSER, DUALITY IN CALABI-YAU MODULI SPACE, Nuclear Physics B338 (1990) 15--37

    1990

  10. [10]

    Y. Goto, R. Livn\'e, and N.Yui, Automorphy of Calabi-Yau Threefolds of Borcea-Voisin type over Q , arXiv:1212.3399v5[math.NT]

    Pith/arXiv arXiv

  11. [11]

    Krawitz, FJRW rings and Landau-Ginzburg Mirror Symmetry, arXiv:0906.0796 [math.AG]

    M. Krawitz, FJRW rings and Landau-Ginzburg Mirror Symmetry, arXiv:0906.0796 [math.AG]

    Pith/arXiv arXiv

  12. [12]

    Complete classification of reflexive polyhedra in four dimensions

    Maximilian Kreuzer and Harald Skarke. Complete classification of reflexive polyhedra in four dimensions. Adv. Theor. Math. Phys., 4(6):1209–1230, 2000. Maximilian Kreuzer and Harald Skarke. Reflexive polyopes: Databases and applications. Database available at http: // hep. itp. tuwien. ac. at/ kreuzer/ CY/ , 2002

    2000

  13. [13]

    Makarov, D

    G. Makarov, D. Gepner, A. Belavin. Free-field construction of heterotic string compactified on Calabi-Yau orbifolds via correspondence with N=2 SCFT minimal models. arXiv:2606.27490

    Pith/arXiv arXiv

  14. [14]

    Nikulin V., Integral symmetric bilinear forms and some of their geometric applications, Izv. Acad. Nauk SSSR Ser. Math 43 (1979) = Math.USSR-Izv 14 (1980), 103-167

    1979

  15. [15]

    Shi-shyr Roan, The Minor of Calabi-Yau Orbifold, Preprint MPI/91-1, MPIM in Bonn

  16. [16]

    Vafa: String vacua and orbifoldized LG model, Mod

    C. Vafa: String vacua and orbifoldized LG model, Mod. Phys. Lett. A 4 (1989) 1169

    1989

  17. [17]

    Voisin C., Mirrors et involutions sur les surfaces K3, in Journ\'ees de Ge\'om\'etrie Alg\'ebraic d'Orsay (Orsay, 1992 , Asterique 218, Soc. Math. France, Paris, 1993, 273-323

    1992