Cohomology of hypersurfaces of weighted projective space and the intersection form on $H^2$

Anna-Maria Raukh

REVIEW 2 major objections 4 minor 16 references

Cohomology of hypersurfaces of weighted projective space and the intersection form on $H^2$

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read This paper proves that low-degree integer cohomology of a smooth hypersurface in a weighted projective space is either Z or 0, and gives the exact pullback factor and intersection form in terms of the weights.

desk verdict A plausible and useful integral Lefschetz result for weighted projective hypersurfaces, but the proof of Theorem 6.1 has a real torsion gap and Corollary 7.1 has a likely subscript typo. read the letter →

arxiv 2506.04094 v1 pith:Z5XA32QK submitted 2025-06-04 math.AG math.AT

Anna-Maria Raukh This is my paper · ORCID

classification math.AGmath.AT MSC 14J4514J7014F2514M25

keywords weightedprojectivespacehypersurfacecohomologyLefschetzhyperplanetheoremAlexanderdualityintegerintersectionformFanomanifoldscupproduct

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 proves an integer-cohomology analogue of the Lefschetz hyperplane theorem for smooth hypersurfaces in weighted projective spaces, the quotients of $\mathbb{C}^{n+1}\setminus\{0\}$ by a coordinate-wise $\mathbb{C}^*$-action with weights $q_i$, where the classical theorem fails because the ambient space is singular. For pairwise coprime weights and a general hypersurface $X$ of degree $d$ divisible by every $q_i$, it shows that $H^k(X,\mathbb{Z})$ is $\mathbb{Z}$ for even $k

What carries the argument

The machinery is cohomology with supports combined with Alexander duality with integer coefficients. Because $\widetilde{P}^n$ is singular, the paper replaces the missing relative Poincaré duality with the exact sequence $0\to \operatorname{Ext}(H^{2n-k+1}(X,\mathbb{Z}),\mathbb{Z})\to H^k_X(\widetilde{P}^n,\mathbb{Z})\to H^{2n-k}(X,\mathbb{Z})^\vee\to 0$, obtained by treating $X$ as a closed subset of a smooth tubular neighbourhood. A projection-formula lemma (Lemma 5.5) lets the pullback $i^*$ be read off from the ambient cup-product pairing, and the ambient ring is controlled by generators $\xi_r$ whose multiplication is given by the ratio of $l$'s in (2.1). The integer $l_r$, defined from the weights, is the object that carries the whole correction.

What would settle it

Take the degree-12 hypersurface in $P(1,1,1,1,1,1,3,4)$ from Table 1 and compute $H^2(X,\mathbb{Z})$ directly from an algebraic model or spectral sequence: if any torsion class appears, Theorem 6.1's assertion that low-degree cohomology is $\mathbb{Z}$ or $0$ is false, while a torsion-free answer keeps the proof's torsion-free step alive.

Watch

Extended reading notes

Core claim

The central claim is Theorem 6.1: for a weighted projective space $P(q_0,\ldots,q_n)$ with pairwise coprime weights and a general hypersurface $X$ of degree $d$ divisible by all $q_i$, the integral cohomology groups below the middle are $H^k(X,\mathbb{Z})=\mathbb{Z}$ for even $k<n-1$ and $0$ for odd $k$, and the pullback $i^*:H^{2r}(P(q),\mathbb{Z})\to H^{2r}(X,\mathbb{Z})$ is multiplication by $l_r l_{n-r}/l_n$. Here $l_r$ is the least common multiple, over all $(r+1)$-element subsets $I$ of $\{0,\ldots,n\}$, of the product of the corresponding weights divided by their gcd. When all weights equal 1, every $l_r$ equals 1 and the statement reduces to the classical Lefschetz theorem for ordinary projective space; the factor $l_r l_{n-r}/l_n$ is therefore the quantitative correction for the singular ambient space. Corollary 7.1 turns this into the intersection form on $H^2$: for a general smooth hypersurface $X$ of degree $d$ in $P(q_0,\ldots,q_{n+1})$, the $n$-form sends $(\alpha_1,\ldots,\alpha_n)$ to $(l_{n+1}^{n-1} d / l_n^n)\prod\alpha_i$.

Load-bearing premise

The load-bearing premise is that the low cohomology group $H^{2n-k}(X,\mathbb{Z})$ has no torsion: the proof infers from a vanishing dual group that the group itself is zero, and a single torsion class in that group would collapse the argument at equation (6.1).

Editorial extensions

If this is right

For every smooth weighted Fano hypersurface covered by the hypotheses, $H^2(X,\mathbb{Z})\cong\mathbb{Z}$ and the whole $n$-fold intersection form is determined by the weights and the degree, so identifying a smoothing reduces to arithmetic invariants.
The factor $l_r l_{n-r}/l_n$ quantifies the deviation from the classical Lefschetz theorem; setting all $q_i=1$ recovers the usual isomorphism and the degree-multiplied intersection form.
In dimensions 3, 4, and 5, the listed intersection form together with the Fano index distinguishes each smooth weighted Fano hypersurface.
In dimension 6, the degree-12 hypersurface in $P(1,1,1,1,1,1,3,4)$ and the degree-14 hypersurface in $P(1,1,1,1,1,1,2,7)$ share the same intersection form and index but have different Hodge diamonds, so these two invariants do not uniquely identify Fano hypersurfaces in higher dimensions.

Reading between the lines

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

The paper leaves open a torsion-freeness proof for $H^{2n-k}(X,\mathbb{Z})$; establishing it from integral Hodge theory or a direct computation would complete Theorem 6.1 exactly as stated.
The same $l$-ratio pattern may extend to complete intersections in weighted projective spaces and to more general toric hypersurfaces, where pullback factors should be products of such ratios; this is a testable extension beyond the paper.
For Fano identification, the dimension-6 example suggests turning to finer invariants, such as quantum cup products or deformation invariants, when working above dimension 5.
The formula for the $n$-form can be checked independently against known classifications of Fano threefolds in the low-dimensional cases, giving a direct verification of Corollary 7.1.

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.

Desk Editor's Note

read the letter

Dear colleague,

This paper claims an integral-coefficient Lefschetz-type statement for hypersurfaces in weighted projective spaces with pairwise coprime weights, plus a formula for the intersection n-form on H^2. The application is concrete: distinguishing smooth Fano hypersurfaces by the intersection form and index. The author correctly positions the integral statement as the new part beyond Batyrev–Cox and Mavlyutov, and Table 1 is a useful data point, including a dimension-6 pair that shares both invariants but has different Hodge diamonds.

The main theorem is not established by the proof as written. The problem is in Section 6, around equation (6.1). From the exact sequence, the author writes that H^{2n-k}(X,Z)^∨ = 0 implies H^{2n-k}(X,Z)=0. That inference fails when the group has torsion: Hom(T,Z)=0 for any torsion group, so the dual vanishing only kills the free part. The even-k case has the same blind spot: the argument controls Ext and Hom, but it does not rule out H^j = Z ⊕ T. Theorem 6.1 is the load-bearing result behind the pullback formula and Corollary 7.1, so this is a serious gap, not a stylistic quibble. A fix would require an independent torsion-freeness argument, likely via Poincaré duality and the universal coefficient theorem; none is present.

There is also a likely subscript error in Corollary 7.1: the printed formula looks like l_{n-1}^{n+1}, while the diagram derivation gives l_{n+1}^{n-1}. The intended version is consistent with Table 1, but the printed formula is not.

What the paper does well: the Alexander-duality-with-non-field-coefficients setup is a sensible route, the cup-product framework is clean, and the references are appropriate. The intended result is plausible and the gap is identifiable, so this is a fixable paper rather than a fundamentally wrong one.

I would not desk-reject it. The result is worth having and a serious referee could push the revision toward the torsion step and the typo. As it stands, I wouldn't cite it or rely on its conclusions. I'd bring it to a reading group as a case study of a plausible claim with a subtle but load-bearing proof gap.

Best regards,

Referee Report

2 major / 4 minor

Summary. This paper studies the integer cohomology of smooth hypersurfaces X in a weighted projective space P(q_0,...,q_n) with pairwise coprime weights and degree d divisible by every q_i. Theorem 6.1 claims that H^k(X,Z) is Z for even k<n-1 and 0 otherwise, and that the pullback i^*: H^{2r}(P(q),Z) -> H^{2r}(X,Z) is multiplication by l_r l_{n-r}/l_n. Corollary 7.1 derives the induced intersection n-form on H^2(X) as (l_{n+1}^{n-1} d / l_n^n) * prod alpha_i, and Table 1 lists the resulting invariants for low-dimensional Fano hypersurfaces, including a dimension-6 pair with equal intersection form and index but different Hodge diamonds.

Significance. If the main theorem were established, the paper would provide a useful Lefschetz-type statement for weighted projective hypersurfaces with integer coefficients and a practical formula for a classifying invariant of Fano manifolds. The paper is self-contained in relying on standard results (Al Amrani, Iversen, Dimca) rather than on private or circular input, and the dimension-6 counterexample is a concrete contribution. However, the proof of the main theorem has a load-bearing gap: it repeatedly infers vanishing of a group from vanishing of its dual, which is invalid for torsion. The central claims are therefore not established as submitted.

major comments (2)

[Section 6, proof of Theorem 6.1, around Eq. (6.1)] The step 'H^{2n-k}(X,Z)^vee = 0 and so H^{2n-k}(X,Z) = 0' is invalid: for any torsion abelian group T, Hom(T,Z)=0, so vanishing of the dual only forces the free part to vanish. In the odd-k case the exact sequence (6.1) gives only that H^{2n-k}(X,Z) is torsion. In the even-k case the same sequence gives Hom(H^{2n-k}(X,Z),Z)=Z and Ext(H^{2n-k+1}(X,Z),Z)=0, which permits H^{2n-k}(X,Z)=Z direct sum T with T nonzero; the sentence 'Z/mZ can not be dual of anything' is true but irrelevant because Hom(Z/mZ,Z)=0. Consequently the first part of Theorem 6.1, including H^2(X,Z)=Z and the odd-degree vanishing, is not proved, and the subsequent pullback formula and Corollary 7.1 inherit this gap. A torsion-freeness or Poincare-duality argument is needed and is not present.
[Section 6, proof of Theorem 6.1, part (2)] The commutative diagram used for the pullback formula labels the left vertical map H^{2r}(P(q),Z) -> H^{2n-2r}(P(q),Z)^vee as an isomorphism. This is false for singular weighted projective spaces: for example, in P(1,1,2), the cup product pairing H^2 x H^2 -> H^4 is multiplication by 2 according to (2.1), so the vertical map is not an isomorphism. The formula for i^* may still be recoverable if only the right vertical map and the bottom horizontal map are isomorphisms in the relevant range, but the text does not give that argument and should either supply it or correct the diagram.

minor comments (4)

[Table 1] The table contains apparent dimension-label misprints (e.g., a row labelled '3 P(1,1,1,1,1,3)' has six weights and should presumably be dimension 4); please verify all rows and align the columns.
[Section 3, Proposition 3.4] The proof of Proposition 3.4 is omitted; a one-sentence justification (generic polynomials contain the monomials x_i^{d/q_i}) would improve readability.
[Section 6, pullback diagram] The arrows and labels in the pullback diagram are difficult to read and the vertical arrows are not all clearly identified; please redraw with explicit labels for every arrow.
[Throughout] There are numerous typographical errors in the text and references (e.g., 'F ano', 'manyfold', 'coholomology', 'P SPACE'); a careful proofreading pass is needed.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: Theorem 6.1 and Corollary 7.1 are computed from external cohomology results and the paper's own diagram chase; the flagged torsion-freeness step is a proof gap, not a circular reduction.

full rationale

The paper contains no fit-to-data step, no renamed empirical pattern, and no load-bearing self-citation. The cohomology of the ambient weighted projective space is imported from Al Amrani (Theorems 2.5-2.7), the support-and-duality formalism from Dimca and Iversen, and the affine homotopy-type statement from Karchauskas. Theorem 6.1 is then a genuine deduction: the exact sequence (6.1) is Alexander duality applied to a smooth tubular neighborhood, and the pullback factor is obtained by composing the known cup product (2.1) in H^*(Ptilde,Z). Corollary 7.1 is a naturality computation using the standard Lefschetz hyperplane theorem for the ordinary projective-space preimage; the prior threefold case in Mori-Mukai/Galkin is explicitly acknowledged, so this is not a renamed known result. The one legitimate concern in the manuscript is not circularity: in Section 6, after (6.1), the paper infers 'H^{2n-k}(X,Z)^vee = 0 and so H^{2n-k}(X,Z) = 0'; for finitely generated abelian groups Hom(T,Z)=0 for any torsion subgroup, so this inference needs a torsion-freeness argument (e.g. via Poincare duality plus UCT), which the paper does not supply. That is a correctness gap in the submitted proof, not a case where the conclusion is equivalent to the input or where a parameter is fitted and then called a prediction. Accordingly the circularity score is 0.

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

No free parameters or invented entities are introduced. The argument rests on standard sheaf-cohomology duality theorems and combinatorial numbers l_r derived from the weights. The main unproved premise is the torsion-freeness of low-degree cohomology of the hypersurface, which the proof silently assumes.

assumptions (5)

standard math Integer cohomology of a weighted projective space is Z in even degrees, with generators ξ_k and the map from P^n multiplying by l_k (Al Amrani).
Invoked in Section 2, Theorems 2.5 and 2.6, to describe the ambient cohomology ring used in the pullback computation.
standard math Alexander duality with non-field coefficients over a PID, as stated in Theorem 5.8, gives the exact sequence (6.1) for cohomology with supports in the hypersurface.
Central tool in the proof of Theorem 6.1, Section 5.2.
domain assumption The complement ePn \ X has the homotopy type of an n-dimensional CW complex, so H^k(ePn \ X)=0 for k>n.
Used in the proof of Theorem 6.1 to identify H^k_X(ePn) with H^k(ePn) for k>n+1, citing [K79].
domain assumption Pairwise coprime weights and a degree divisible by all weights ensure the general hypersurface is smooth and avoids the singular locus of the weighted projective space.
Stated in Propositions 3.2 and 3.4; needed so that manifold duality and the degree computation in the diagram apply.
domain assumption The degree of the map f: X' -> X obtained by restricting phi equals deg(phi) = l_{n+1}.
Used in Section 7 to compare top cohomology of X and X' in the diagram; not proved in detail beyond the ambient degree.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Cohomology of hypersurfaces of weighted projective space and the intersection form on $H^2$." pith.science (2026). https://pith.science/paper/Z5XA32QK

@misc{pith2026250604094,
  author       = {Pith},
  title        = {Pith review of: Cohomology of hypersurfaces of weighted projective space and the intersection form on $H^2$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Z5XA32QK}},
  note         = {Machine review of arXiv:2506.04094}
}

abstract

Given a hypersurface $i \colon X \hookrightarrow \widetilde{P}^n$ in a weighted projective space, we compute the intersection form on the second cohomology $H^2(X, \mathbb{Z})^{\otimes n-1} \to \mathbb{Z}$ for the purpose of identifying Fano manifolds obtained from smoothing singular Fanos. In the process, we describe the integer cohomology groups $H^k(X, \mathbb{Z})$ for $k<n$ and give an explicit formula for the pullback map $i^*$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 14 canonical work pages

[5]

Smoothing Gorenstein toric Fano 3-folds

arXiv: 2412 . 06500 [math.AG]. url: https://arxiv.org/abs/2412.06500. [CR24] Alessio Corti and Helge Ruddat. How to make log structures

work page Pith review arXiv
[6]

url: https://arxiv.org/abs/2312

arXiv: 2312.13867 [math.AG]. url: https://arxiv.org/abs/2312. 13867. [Dim04] A. Dimca. Sheaves in Topology . Universitext. Springer Berlin Heidel- berg,

work page arXiv
[7]

Smoothing toroidal crossing spaces

arXiv: 2307.15607 [math.AG]. url: https://arxiv.org/abs/2307.15607. [FFR21] Simon Felten, Matej Filip, and Helge Ruddat. “Smoothing toroidal crossing spaces”. In: Forum Math. Pi 9 (2021), Paper No. e7,

work page arXiv 2021
[10]

Smoothings from zero mutable Laurent polynomials via log resolutions and divisorial extractions

arXiv: 2503.18661 [math.AG]. url: https://arxiv.org/abs/2503.18661. [Ive86] B. Iversen. Cohomology of Sheaves . Symbolic Computation. Springer- Verlag,

work page Pith review arXiv
[16]

url: https://arxiv.org/abs/ 2408.03057

arXiv: 2408.03057 [math.AG]. url: https://arxiv.org/abs/ 2408.03057

work page arXiv
[36]

doi: 10.1017/fmp.2021.8

issn: 2050-5086. doi: 10.1017/fmp.2021.8 . url: https://doi.org/10. 1017/fmp.2021.8. [Gal18] Sergey Galkin. Small toric degenerations of Fano threefolds

work page doi:10.1017/fmp.2021.8 2021
[51]

Classification of Fano 3-Folds with B2 ... 2

Annals of Mathematics Studies. Based on lecture notes by M. Spivak and R. Wells. Princeton University Press, Princeton, NJ, 1963, pp. vi+153. [MM81] Sh. Mori and Sh. Mukai. “Classification of Fano 3-Folds with B2 ... 2.” In: Manuscripta mathematica 36 (1981), pp. 147–162. url: http: //eudml.org/doc/154812. [RT13] Michele Rossi and Lea Terracini. Weighted ...

work page 1981
[158]

Homotopy properties of algebraic sets

[K79] Karˇ cjauskas K. K. “Homotopy properties of algebraic sets”. In: Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov.(LOMI) 83 (1979), pp. 67–72. [Mav00] Anvar R. Mavlyutov. Cohomology of complete intersections in toric va- rieties

work page 1979

Show all 16 references

[1112]

url: https://arxiv.org/abs/1112.1677

1677 [math.AG]. url: https://arxiv.org/abs/1112.1677. [ST25] Taro Sano and Luca Tasin. Delta invariants of weighted hypersurfaces

arXiv
[1986]

Fano Hypersurfaces in Weighted Projective 4-Spaces

isbn: 9780387163895. url: https://books.google.no/ books?id=rwzDQgAACAAJ. [JK01] Jennifer M. Johnson and J´ anos Koll´ ar. “Fano Hypersurfaces in Weighted Projective 4-Spaces”. In: Experimental Mathematics 10.1 (2001), pp. 151–

2001
[1995]

On the Hodge Structure of Projective Hypersurfaces in Toric Varieties

193 (1997), pp. 1–52. [BC93] Victor Batyrev and David Cox. “On the Hodge Structure of Projective Hypersurfaces in Toric Varieties”. In: Duke Mathematical Journal 75 (July 1993). doi: 10.1215/S0012-7094-94-07509-1 . [BCB24] Pieter Belmans, Fr´ ed´ eric Chapoton, and Alex J Best...

1997 doi
[2000]

url: https:// arxiv.org/abs/alg-geom/9710021

arXiv: alg- geom/9710021 [alg-geom]. url: https:// arxiv.org/abs/alg-geom/9710021. [Mil63] J. Milnor. Morse theory . Vol. No
[2018]

url: https://arxiv.org/abs/1809.02705

arXiv: 1809.02705 [math.AG]. url: https://arxiv.org/abs/1809.02705. REFERENCES 13 [Gr¨ a25] Tim Gr¨ afnitz. Smoothings from zero mutable Laurent polynomials via log resolutions and divisorial extractions

arXiv
[2023]

url: https://arxiv

arXiv: 2311.11386 [math.AG]. url: https://arxiv. org/abs/2311.11386. [CGR25] Alessio Corti, Tim Graefnitz, and Helge Ruddat. Singular Log Struc- tures and Log Crepant Log Resolutions I

arXiv
[2024]

Mirror Symmetry and Smoothing Gorenstein Toric Affine 3-folds

doi: 10.5281/zenodo. 10854199. url: https://doi.org/10.5281/zenodo.10854199. [CFP22] Alessio Corti, Matej Filip, and Andrea Petracci. “Mirror Symmetry and Smoothing Gorenstein Toric Affine 3-folds”. In: Facets of Alge- braic Geometry. Cambridge University Press, Mar. 2022, pp....

doi
[2025]

11610 [math.AG]

arXiv: 2503 . 11610 [math.AG]. url: https://arxiv.org/abs/2503.11610. [CHP24] Alessio Corti, Paul Hacking, and Andrea Petracci. Smoothing Goren- stein toric Fano 3-folds

arXiv

Pith tools

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

[1] [5]

Smoothing Gorenstein toric Fano 3-folds

arXiv: 2412 . 06500 [math.AG]. url: https://arxiv.org/abs/2412.06500. [CR24] Alessio Corti and Helge Ruddat. How to make log structures

work page Pith review arXiv

[2] [6]

url: https://arxiv.org/abs/2312

arXiv: 2312.13867 [math.AG]. url: https://arxiv.org/abs/2312. 13867. [Dim04] A. Dimca. Sheaves in Topology . Universitext. Springer Berlin Heidel- berg,

work page arXiv

[3] [7]

Smoothing toroidal crossing spaces

arXiv: 2307.15607 [math.AG]. url: https://arxiv.org/abs/2307.15607. [FFR21] Simon Felten, Matej Filip, and Helge Ruddat. “Smoothing toroidal crossing spaces”. In: Forum Math. Pi 9 (2021), Paper No. e7,

work page arXiv 2021

[4] [10]

Smoothings from zero mutable Laurent polynomials via log resolutions and divisorial extractions

arXiv: 2503.18661 [math.AG]. url: https://arxiv.org/abs/2503.18661. [Ive86] B. Iversen. Cohomology of Sheaves . Symbolic Computation. Springer- Verlag,

work page Pith review arXiv

[5] [16]

url: https://arxiv.org/abs/ 2408.03057

arXiv: 2408.03057 [math.AG]. url: https://arxiv.org/abs/ 2408.03057

work page arXiv

[6] [36]

doi: 10.1017/fmp.2021.8

issn: 2050-5086. doi: 10.1017/fmp.2021.8 . url: https://doi.org/10. 1017/fmp.2021.8. [Gal18] Sergey Galkin. Small toric degenerations of Fano threefolds

work page doi:10.1017/fmp.2021.8 2021

[7] [51]

Classification of Fano 3-Folds with B2 ... 2

Annals of Mathematics Studies. Based on lecture notes by M. Spivak and R. Wells. Princeton University Press, Princeton, NJ, 1963, pp. vi+153. [MM81] Sh. Mori and Sh. Mukai. “Classification of Fano 3-Folds with B2 ... 2.” In: Manuscripta mathematica 36 (1981), pp. 147–162. url: http: //eudml.org/doc/154812. [RT13] Michele Rossi and Lea Terracini. Weighted ...

work page 1981

[8] [158]

Homotopy properties of algebraic sets

[K79] Karˇ cjauskas K. K. “Homotopy properties of algebraic sets”. In: Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov.(LOMI) 83 (1979), pp. 67–72. [Mav00] Anvar R. Mavlyutov. Cohomology of complete intersections in toric va- rieties

work page 1979