On the hyperplane conjecture

Tsung-Ju Lee

REVIEW

On the hyperplane conjecture

Tsung-Ju Lee

Algebraic Geometry · Submitted 19 Oct 2026

Pith's verdict: A serious proof of the hyperplane conjecture with one load-bearing gap: the non-lattice-generating extension of [BH13]/[BM03] is asserted, not proved.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 20, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2610.26186 (version 2)

Pith IDULB56AN7, Pith's permanent record of this paper and its review

CitationTsung-Ju Lee. "On the hyperplane conjecture." arXiv:2610.26186 (2026). https://pith.science/paper/ULB56AN7

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

This paper proves the hyperplane conjecture for Batyrev mirror pairs, including an orbifold generalization, and introduces an interpolation complex as the bridge. That is a genuinely new result: the only previous proof, Lian-Zhu, was for hypersurfaces in P^n. If the proof is right, it is a major theorem in mirror symmetry. The construction is coherent, the examples (mirror P^2, the resolved toric mirror, P(1,1,1,1,2)) are explicit and consistent, and the identification of the residue of the Gauss-Manin connection with cup product in Theorem 9.3 is a nice application. I found no circularity and no fitted parameters; the citations to [LZ20], [BH13], [BM03], and [Hor13] are used for what they state.

The soft spot is exactly where the reader put it. Theorem 7.2(2) needs the rank of I_b to be constant via the face-compatible filtered isomorphisms of [BH13, Thm 5.11, Cor 5.12] and the dimension independence of [BM03, Thm 6.8]. The author knows [BH13] assumes lattice generation and asserts in Section 7.2 that the face-by-face construction still works for saturated face semigroup algebras in the ambient lattice, with freeness over the polynomial algebra as the surviving ingredient. That is the one point I would want proved line by line. It is not a cosmetic issue: Remark 2.1 shows the finite-index regime is exactly where the ordinary GKZ rank drops from 9 to 3, and in a simplicial cone whose rays generate a proper sublattice, the semigroup algebra acquires box generators and is generally not free over the ray-generated polynomial subalgebra. The stress-test note is fair: if that extension fails, the invariant-factor argument collapses, and the endpoint comparison in Proposition 7.3 goes with it.

Smaller concerns are proportionate. The endpoint isomorphisms are noncanonical; the paper says so. Completeness of the full raw indexed family (Lemma 8.8) is what is needed, and Remark 8.9 correctly disclaims the single-component ordinary GKZ. Those are handled. The one-paragraph assertion in Section 7.2 is the load-bearing item.

This paper deserves a serious referee. I would send it out, pointing the referee at Section 7.2 and asking for a proof or a restriction of the main theorem to the lattice-generating case. Even if the conjecture ultimately requires that restriction, the interpolation complex and the orbifold version are already worth publishing. I would cite this paper for the construction and the P^n-independent parts, with a caveat on Theorem 8.12 until the extension is supplied.

Referee report

Significance

If the proof is completed, the paper would resolve a long-standing structural conjecture in toric mirror symmetry and extend it to orbifolds, giving the expected A-model/B-model identification for Batyrev mirror pairs with ambient insertions. The paper has real strengths: it introduces a concrete interpolation complex, provides explicit endpoint computations, includes worked examples (mirror P2, resolved mirror of P2, and a singular MPCP example), and does not rely on fitted parameters. It is also honest about the non-canonical nature of the vector-space comparisons and about the separate completeness issue for a single ordinary GKZ component. The central risk is a single load-bearing unproved extension of cited results to the non-lattice-generating support regime; this must be resolved before the main theorem can be regarded as established.

Major objections (2)

[§7.2, proof of Theorem 7.2(2), near Eq. (7.12)] The constant-rank comparison is load-bearing and rests on an unproved extension. The text applies [BH13, Theorem 5.11 and Corollary 5.12] and [BM03, Theorem 6.8] in the finite-index regime allowed by the §2 Hypothesis, acknowledges that [BH13] assumes lattice generation, and then asserts that the face-by-face construction remains valid for saturated face semigroup algebras in the ambient lattice because freeness over the polynomial algebra and compatible face restrictions survive. That assertion is precisely the point that needs proof: for a simplicial cone whose primitive rays generate a proper sublattice, the semigroup algebra acquires box generators and is not generally free over the ray-generated polynomial algebra. The rank drop described in Remark 2.1 is the same phenomenon. Since the equality of rank I_b for b≠0 with rank I_0 = r_C drives the invariant-factor argument in Theorem 7.2, the endpoint comparison in Proposition 7.3, and ultimately Theorem 8.12, a full derivation of the extension, or a restriction of the theorem to the lattice-generating case, is required. Remark 8.9 explicitly concerns only completeness of a single ordinary GKZ component and does not address this endpoint-rank comparison.
[§8.6, Lemma 8.8] The finite-index completeness argument needs one additional justification. After coefficient extraction in the b-sector, the proof concludes that λ vanishes on the whole sector because the sector is generated as a module over the divisor algebra by 1_b. For a box element coming from a non-maximal cone, the twisted sector is a gerbe over a possibly positive-dimensional torus orbit, and it is not automatic that its Chen–Ruan cohomology is generated over the ambient divisor algebra by the sector unit alone. This generation statement is used to pass from the single extracted coefficient to vanishing of λ on every element of the sector, and hence to injectivity of R∨ into the space of horizontal functionals on Q. Since Proposition 8.11 and Theorem 8.12 invoke completeness of the full raw indexed family, the statement should be proved, or a precise citation covering the finite-index and non-maximal-cone case should be supplied.

Minor objections (4)

[§2] The word "simplicail" in the statement of the Hypothesis should be "simplicial"; there are also typographical errors elsewhere such as "establises", "futher", and "gerenral" that should be corrected in a revision.
[§7.2] The sentence "Note that such a resolution is not crepant, but it does affect our argument" appears to mean "does not affect our argument," since the following lines argue that the relevant cohomology groups are unchanged. As written, the sentence contradicts the argument that follows.
[§4, Remark 4.1] The remark would be clearer if it explicitly stated that the equality dim H^n(T,Y_a) = Vol_M(Δ) = dim H*_CR(Ž;C) is being used as a known dimension identity for toric Deligne–Mumford stacks, rather than derived in the text; the displayed comparison with dim H_even(Ž) = #Σ^(n) only explains the smooth/unimodular case.
[§9, Theorem 9.3] The claim that the morphism M is surjective and hence an isomorphism is asserted in one sentence; since this is the final conclusion about the residue connection, a few lines justifying surjectivity from the chosen graded basis would improve readability.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The paper proves the Hosono–Lian–Yau hyperplane conjecture: cupping the mirror's GKZ series with the anticanonical class yields exactly the vanishing-cycle periods, completing the genus-zero A/B-model equivalence for Batyrev pairs.

The reading

This paper proves the Hosono–Lian–Yau hyperplane conjecture, together with its generalization to orbifolds. The conjecture addresses an over-supply of solutions: the GKZ hypergeometric system that governs the period integrals of a Calabi–Yau hypersurface in a toric variety admits more formal solutions than there are geometric periods, and the conjecture says that multiplying the mirror's cohomology-valued series by the anticanonical class selects precisely the periods that come from vanishing cycles. The proof builds an interpolation complex of twisted de Rham complexes whose two endpoints are the relative cohomology of the affine hypersurface and the Chen–Ruan orbifold cohomology ring of the mirror stack, and shows that the interior inclusion realizes the anticanonical cup product. If the proof stands, it completes the genus-zero A-model/B-model equivalence for Batyrev mirror pairs with ambient insertions: Gromov–Witten invariants on the A-side match period integrals of vanishing cohomology on the B-side, in the smooth and orbifold settings alike.

What carries the argument

The load-bearing object is an interpolation complex $K^\bullet$ of twisted logarithmic de Rham complexes over $\operatorname{Spec}\mathbb{C}[s]$. On the semigroup algebra of the cone over the reflexive polytope one deforms the product to $[c]\ast_s[c'] = s^{b(c,c')}[c+c']$, where the nonnegative integer $b(c,c')$ measures the bending of a convex piecewise-linear function whose linearity cones are the homogenized star fan. At $s=1$ the top cohomology is the relative cohomology $H^n(T,Y_a;\mathbb{C})$ of the affine hypersurface cut out by the Laurent polynomial $f_a$; at $s=0$ it degenerates to the presentation of the Chen–Ruan cohomology ring $H^\ast_{\mathrm{CR}}(\check{Z};\mathbb{C})$ of the mirror stack. The interior subcomplex $K^{\circ,\bullet}$ spanned by interior monomials induces at the fan endpoint the cup product with the anticanonical class $e$, and Theorem 7.2 shows this interior map has constant rank across the family, with free kernel, image, and cokernel; that constancy is what makes the endpoint comparisons compatible. On the solution side the proof uses the better-behaved GKZ system of Borisov–Horja and Horja: the full indexed family of raw cohomology-valued series $B^{\mathrm{raw}}_c$ solves it, its constant coefficient functionals exhaust the horizontal functionals on the relative cohomology quotient (Lemma 8.8), and Euler reflection identifies the $\delta$-component with $e \cup U(e) \cup B_\delta$, matching the anticanonically cupped series against compact periods of the holomorphic form on the hypersurface.

Extended reading notes

Core claim

The central claim, Theorem 8.12, is an identity of solution spaces: with $R = H^\ast_{\mathrm{CR}}(\check{Z};\mathbb{C})$ the Chen–Ruan cohomology ring of the mirror toric Deligne–Mumford stack and $B_\delta$ the explicitly supported, sectorwise regularized series of (8.34), the functional $P_{B_\delta}(e \cup R)$ equals $J_\delta(W)$, the full set of period integrals of the hypersurface from vanishing cycles near the large complex structure limit. Equivalently, cupping the Hosono–Lian–Yau series with the anticanonical class $e = c_1(-K_{\check{Z}})$ cuts the GKZ solution space down to exactly the geometric periods. The same interpolation complex identifies the residue of the Gauss–Manin connection on the B-side with the cup product on the A-side (Theorem 9.3). As the author states the consequence, together with the mirror theorem for toric stacks and orbifold quantum Lefschetz, the theorem establishes the expected equivalence between genus-zero Gromov–Witten invariants with ambient insertions of $X$ and period integrals of vanishing cohomology of $X^\vee$ for Batyrev's mirror pairs, both for smooth varieties and for toric Deligne–Mumford stacks.

Load-bearing premise

The load-bearing premise is that the face-by-face comparison theorems of Borisov–Horja and the dimension-independence result of Borisov–Mavlyutov extend to fans whose ray generators do not generate the ambient lattice, an extension the paper asserts in Section 7.2 without a full proof; if it fails, the constant-rank endpoint comparison behind Theorem 8.12 collapses.

Editorial extensions

If this is right

Conjecture A holds as stated and in its orbifold form, and it holds for any coherent star triangulation: MPCP maximality of the subdivision is not needed, only that the monomials occurring in $f_a$ are exactly the ray monomials of the fan.
Combined with the mirror theorem for toric stacks and the orbifold quantum Lefschetz theorem, the result establishes the genus-zero A-model/B-model equivalence for Batyrev hypersurface mirror pairs with ambient insertions.
The same interpolation complex identifies the residue of the Gauss–Manin connection on the B-side with the cup product on the A-side (Theorem 9.3), so monodromy around the large complex structure limit is governed by the cohomology ring of the mirror.
The conjecture holds even when the columns of the defining matrix generate only a finite-index sublattice of the ambient lattice: the full indexed family of raw series, not a single GKZ component, supplies the missing rank, as in the index-3 example of Remark 2.1 where the GKZ rank is 3 but the relative cohomology has dimension 9.

Reading between the lines

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

The interpolation complex is a ready-made tool for the integral-structure problem the paper explicitly defers: transporting $H^n(T,Y_a;\mathbb{Z})/\mathrm{tor}$ through the $s$-family toward $s=0$ should produce the $K$-theoretic, $\hat\Gamma$-corrected lattice Hosono predicted on the A-side, and the logarithmic frame constructed in Section 9 is explicit enough to compute that monodromy.
The anticanonical-selection mechanism is expected to transfer to toric Calabi–Yau complete intersections; a concrete first check would be a nef-partition pair with more than one Kähler parameter, verifying that $e \cup B_\delta$ again cuts the GKZ solution space down to exactly the vanishing-cohomology periods.
The finite-index completeness result suggests a general lesson for GKZ systems: whenever the columns of the matrix span a proper sublattice, the full indexed family of solutions is the correct object and the single degree-zero component is not; this may explain and fix rank inconsistencies in hypergeometric systems beyond the toric hypersurface case.

Original abstract

We prove the hyperplane conjecture, proposed by Hosono, Lian, and Yau in arXiv:alg-geom/9511001, for Batyrev's mirror pairs of Calabi--Yau hypersurfaces and its orbifold generalization, without assuming that the lattice points in the defining reflexive polytope generate the ambient lattice. We then identify the pushforward of the extended hypersurface $I$-function with a generating series of normalized compact periods of the mirror, providing a period interpretation of the hypergeometric series governing ambient genus-zero orbifold Gromov--Witten theory. As an application of our method, we also identify the residue of the Gauss--Manin connection and the cup product morphism on the $A$-side.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-20: 1 request, 3,167 input tokens.

What the abstract itself states, as probabilities: claims first 0.07 · states limitation 0.05 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.05 · compares with prior results 0.28 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

We prove the hyperplane conjecture, proposed by Hosono, Lian, and Yau in arXiv:alg-geom/9511001 and its generalization to orbifolds. Consequently, this establishes the expected equivalence between the $A$ model (genus-zero Gromov--Witten invariants with ambient insertions) of $X$ and the $B$ model (period integrals corresponding to vanishing cohomology) of $X^{\vee}$ for Batyrev's mirror pair of Calabi--Yau hypersurfaces. As an application of our method, we also identify the residue of the Gauss--Manin connection and the cup product morphism on the $A$-side.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	We prove the hyperplane conjecture, proposed by Hosono, Lian, and Yau in arXiv:alg-geom/9511001 and its generalization to orbifolds.	result 0.55	0.95	0.94	asserted 1.00
s1	Consequently, this establishes the expected equivalence between the $A$ model (genus-zero Gromov--Witten invariants with ambient insertions) of $X$ and the $B$ model (period integrals corresponding to vanishing cohomology) of $X^{\vee}$ for Batyrev's mirror pair of Calabi--Yau hypersurfaces.	interpretation 0.88	0.73	0.27	asserted 1.00
s2	As an application of our method, we also identify the residue of the Gauss--Manin connection and the cup product morphism on the $A$-side.	result 0.73	0.95	0.04	asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.