Weil conjectures and affine hypersurfaces

Dingxin Zhang

REVIEW

Weil conjectures and affine hypersurfaces

Dingxin Zhang

Algebraic Geometry · Submitted 28 Jan 2026 · 5 references

Pith's verdict: A credible new proof of Deligne's theorems via deformation to affine hypersurfaces, with a load-bearing but fixable gap in the Frobenius compatibility of the key injection.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 15, 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 · 5 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2601.20187 (version 3)

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

CitationDingxin Zhang. "Weil conjectures and affine hypersurfaces." arXiv:2601.20187 (2026). https://pith.science/paper/CCQBGYLX

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

Here's the short version: this is a new proof of Deligne's theorems (Weil I and the Weil II cohomological bound), not a new result. The interesting part is the technique—replacing Scholl's alteration/weight-spectral-sequence approach with a deformation to an affine hypersurface, powered by Artin vanishing and a perverse degeneration lemma. The main reduction is credible and the exposition is clear. I'd send it to a serious referee, but I'd tell the author to fix two things first.

What it does well: the paper is honest about being 'yet another proof.' The perverse degeneration lemma (Lemma 2.6) is proved in full and is a genuinely useful tool. The auxiliary lemmas on trivial bounds and semicontinuity of weights are given complete proofs, so the paper does not just black-box Weil II. The reduction from arbitrary varieties to affine hypersurfaces follows standard exact-sequence arguments and is plausible.

Soft spots: the weight transfer in §5.3 depends on applying Lemma 2.6 to a sheaf on A^1 over F_q and getting an injection H^n_c(X) ↪ (R^0 j_* R^n π_! Q_l)_0. Lemma 2.6 is stated for an algebraically closed base and proves only vector-space injectivity. The theorem is about Frobenius eigenvalues, so the injection must be Frobenius-equivariant. The paper never states or checks this. I agree with the stress-test note: this compatibility is the load-bearing step, and the reader has to fill it in. It is very likely true, because the map comes from a distinguished triangle of natural transformations defined over F_q, but 'very likely' is not a proof. This is a genuine gap, though a fixable one.

Second, the paper cites [WZ25b] (unpublished) for Lemma 3.3, and [WZ25a] for details in Lemma 3.5. For a proof whose whole point is to be a less technical route to Weil II, leaning on unpublished co-authored work for a step in the main argument is a self-containedness problem. The fixes are probably short, but they need to be in the paper.

One minor thing: the choice of the open set V in §5.3, where every fiber has smooth projective closure, is asserted without discussing the degree-drop locus. That is a small omission, not a serious flaw.

Bottom line: this deserves peer review. The central idea appears sound, the gaps are compatibility checks and missing details rather than deep errors, and a serious referee can verify them. If the author patches the Frobenius compatibility and either proves or precisely cites the missing lemmas, this will be a solid contribution for anyone interested in modern proofs of the Weil conjectures.

Referee report

Major objections (2)

[§5.3, Lemma 2.6] At the end of §5.3, the weight bound for H^n_c(X;Q_l) is deduced from the perverse degeneration lemma: Lemma 2.6 produces an injection H^{-1}(F_s) ↪ (R^0j_*H^{-1}(j^*F))_s, which in the application reads H^n_c(X;Q_l) ↪ (R^0j_*R^nπ_!Q_l)_0. The target is known to have q-weight ≤ n by the semicontinuity lemma, but Lemma 2.6 is stated and proved over an algebraically closed field as an injection of Q_l-vector spaces; the paper never states that this injection is compatible with the geometric-Frobenius action. Since Theorem 1.4 is an eigenvalue statement, the implication 'target has weight ≤ n ⇒ source has weight ≤ n' requires equivariance. The map is constructed from the distinguished triangle i_*Ri^!F → F → Rj_*j^*F by applying i^* and passing to H^{-1}, and all these functors are natural over F_q, so equivariance is very likely true; nevertheless it must be stated and proved (or referenced) because the weight transfer in the central degeneration argument depends on it.
[§5.4, Lemma 3.5] In §5.4, the surjection H^{n-i}_c(X∩L^{(i)}; Q_l(-i)) → H^{n+i}_c(X; Q_l) obtained from Lemma 3.5 is used to transfer the weight bound from a lower-dimensional hypersurface section to the full cohomology group. Lemma 3.5 is formulated over an algebraically closed field, and no statement is made that the Gysin map is compatible with Frobenius for a subspace defined over a finite extension. Without that compatibility, an eigenvalue of high weight in the target need not appear among eigenvalues of the source, and the conclusion for i≥1 fails; the equivariance should be stated explicitly.

Minor objections (5)

[§5.3] The one-parameter family over A^1 is also denoted X0, the same symbol as the original affine hypersurface; this makes phrases like 'H^n_c(X;Q_l)' ambiguous. Use a different symbol, e.g., 𝔛0, for the family.
[Lemma 5.2] Only the exact sequence in degree n−1 is displayed, but Theorem 1.4 requires the argument for every i; please state the general long-exact-sequence argument explicitly.
[Lemma 3.5 and Lemma 3.3] The proof of Lemma 3.5 relies on [WZ25a, Lemma 3.2] for (3.5.2) and on [WZ25b, Lemma 2.1.1] for Lemma 3.3; for a paper whose aim is an alternative proof of Deligne's theorem, these statements should be reproduced or proved in an appendix.
[§5.4] The source of the weak Lefschetz surjection is written with Q_l(-i), but the following sentence speaks of eigenvalues of H^{n-i}_c(X∩L;Q_l) without the twist; clarify that the weight bound ⟨n−i⟩ applies before the Tate twist and yields ⟨n+i⟩ after it.
[Throughout] There are several typos: 'Throught' and 'algebriacally' in §2, 'there exits' in Definition 2.3, and 'If follows immediately' after Lemma 3.3; they should be corrected.

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

The paper

The paper claims

The paper proves the Riemann hypothesis for smooth proper varieties over finite fields by reducing to the hypersurface case through a deformation, and establishes the stronger weight bound for all separated finite-type schemes.

The reading

This paper gives a new proof of the Riemann hypothesis for smooth proper varieties over finite fields: every Frobenius eigenvalue on the $i$-th cohomology has absolute value $q^{i/2}$. Instead of attacking the general case directly, it proves a stronger statement for arbitrary separated finite-type schemes: all Frobenius eigenvalues on compactly supported cohomology $H^i_c$ have $q$-weight at most $i$. The route is a reduction by deformation to the already-established hypersurface case, using Artin's vanishing theorem, the perverse degeneration lemma, and a weak Lefschetz step. A sympathetic reader would care because the argument carries weight bounds from a smooth member of a family to a singular one without invoking the full machinery of the original proof.

What carries the argument

The main mechanism is the perverse degeneration lemma: for a perverse coconnective sheaf on a curve whose cohomology sheaves are local systems away from a finite set, the stalk cohomology $H^{-1}$ at a missing point injects into the nearby local-system cohomology, so its dimension is bounded by the rank of the local system. In the proof, this lemma transfers the Frobenius weight bound from the generic fiber of a deformation of hypersurfaces to the special fiber. It is combined with Artin's vanishing theorem (affine morphisms push perverse coconnective complexes to perverse coconnective complexes) and the perverse weak Lefschetz theorem to handle all cohomological degrees.

Extended reading notes

Core claim

The central claim is that the full weight bound for all separated finite-type schemes over $\mathbb{F}_q$ follows once the middle cohomology of a singular affine hypersurface is controlled. The paper controls it by interpolating between the given singular hypersurface and a smooth one through a one-parameter family, transferring the known weight bound from the smooth fibers to the special fiber via semicontinuity of weights and the perverse degeneration lemma. From this middle-degree bound, the remaining degrees are handled by Artin's vanishing and a perverse weak Lefschetz theorem, and the classical statement for smooth proper varieties follows by Poincaré duality.

Load-bearing premise

The load-bearing premise is that the injective map in the perverse degeneration lemma commutes with the Frobenius action, so the weight bound on the nearby fibers passes to the special fiber; the paper establishes the injection as a map of vector spaces but does not explicitly prove that compatibility.

Editorial extensions

If this is right

Every separated finite-type scheme over a finite field obeys the paper's Theorem 1.4: Frobenius eigenvalues on $H^i_c$ have $q$-weight at most $i$.
For smooth proper varieties, Poincaré duality upgrades that inequality to equality, recovering the Riemann hypothesis in every dimension and degree.
The middle cohomology of a singular affine hypersurface is controlled by deforming to a smooth member, so the hypersurface theorem is the only special case the proof needs.
The perverse degeneration lemma provides the weight-transfer step in this deformation, so the proof isolates where the weight bound comes from.

Reading between the lines

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

Inference: the paper does not explicitly prove that the injection in Lemma 2.6 is Frobenius-equivariant; checking that compatibility on a concrete example would settle whether the weight transfer is fully justified.
Inference: the same deformation-to-smooth-member strategy could be applied to weight bounds for intersection cohomology of singular varieties, not just ordinary compactly supported cohomology.
Inference: because the proof needs only a hypersurface base case, Artin vanishing, and a semicontinuity result, it invites an axiomatic framing in which any setting with these tools yields a general weight bound.

Original abstract

We give yet another proof of the Riemann hypothesis for smooth proper varieties over a finite field (Deligne's theorem), by reducing to the hypersurface case. The latter was established by N. Katz via an elementary argument. A reduction of this kind was previously carried out by A. J. Scholl. Our approach is slightly different, and relies on deformation to an affine hypersurface, together with Artin's vanishing theorem and basic properties of perverse sheaves.

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-09-23: 1 request, 4,106 input tokens.

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

The abstract, sentence by sentence

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

We give yet another proof of the Riemann hypothesis for smooth proper varieties over a finite field (Deligne's theorem), by reducing to the hypersurface case. The latter was established by N. Katz via an elementary argument. A reduction of this kind was previously carried out by A. J. Scholl. Our approach is slightly different, and relies on deformation to an affine hypersurface, together with Artin's vanishing theorem and basic properties of perverse sheaves.

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 give yet another proof of the Riemann hypothesis for smooth proper varieties over a finite field (Deligne's theorem), by reducing to the hypersurface case.	contribution 0.83	0.93	0.92	asserted 1.00
s1	The latter was established by N.	background 0.94	0.06	0.04	asserted 0.89
s2	Katz via an elementary argument.	background 0.98	0.04	0.04	asserted 0.79
s3	A reduction of this kind was previously carried out by A. J. Scholl.	background 1.00	0.03	0.03	asserted 1.00
s4	Our approach is slightly different, and relies on deformation to an affine hypersurface, together with Artin's vanishing theorem and basic properties of perverse sheaves.	method 0.85	0.87	0.12	asserted 1.00

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

What was examined, and what was not

sources read

arXiv listing abstract v3

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

References

Works cited (5)

[1]

[BBDG] Alexander A. Beilinson et al. “Faisceaux pervers”. In:Analysis and topology on singular spaces, I (Luminy, 1981). Vol

View on Pith 1981
[3]

Folge. A Series of Modern Surveys in Mathematics. Springer-Verlag, Berlin, 2001, pp. xii+375 (cit. on p. 4). [Sch11] Anthony J. Scholl. “Hypersurfaces and the Weil conjectures”. In:Int. Math. Res. Not. IMRN5 (2011), pp. 1010–1022 (cit. on p. 2). [SGA 4] Théorie des topos et cohomologie étale des schémas.Vol. 269, 270,

View on Pith 2011
[100]

Astérisque. Soc. Math. France, Paris, 1982, pp. 5–171 (cit. on pp. 4, 5). [Del77] P. Deligne. “Théorèmes de finitude en cohomologie ℓ-adique”. In:Cohomologie étale. Vol

View on Pith 1982
[305]

Lecture Notes in Mathematics. Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4), Dirigé par M. Artin, A. Grothendieck, et J. L. Verdier. Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat. Springer-Verlag, Berlin-New York, 1972–73, pp. xix+525, iv+418, vi+640 (cit. on pp. 2, 5). [WZ25a] Daqing Wan and Dingxin Zhang. “Hodge ...

View on Pith Pith review arXiv 2025
[569]

Lecture Notes in Math. Springer, Berlin, 1977, pp. 233–261 (cit. on p. 5). [Del74] Pierre Deligne. “La conjecture de Weil. I”. In:Inst. Hautes Études Sci. Publ. Math.43 (1974), pp. 273–307 (cit. on pp. 1, 2). [Del80] Pierre Deligne. “La conjecture de Weil. II”. In:Inst. Hautes Études Sci. Publ. Math.52 (1980), pp. 137–252 (cit. on pp. 2, 5, 6). [Kat93] Ni...

View on Pith 1974

How the literature uses it

Papers whose main result relates to this one's

How each label was checked · JSON

Found among the papers closest to this one by title and main claim. Pith's classifier compared each pair's main results and a second model family confirmed the relation; checked against two further families, shown conflicts agreed 118 times in 120 and shown same results 218 times in 239. The quoted sentence is the other paper's main claim.

States the same result 1 paper

We give a proof that the Riemann hypothesis for hypersurfaces over finite fields implies the result for all smooth proper varieties, by a deformation argument which does not use the theory of Lefschetz pencils or the l-adic Fourier transform.

Hypersurfaces and the Weil conjectures · 0.91

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.

[1] [1]

[BBDG] Alexander A. Beilinson et al. “Faisceaux pervers”. In:Analysis and topology on singular spaces, I (Luminy, 1981). Vol

View on Pith 1981

[2] [3]

Folge. A Series of Modern Surveys in Mathematics. Springer-Verlag, Berlin, 2001, pp. xii+375 (cit. on p. 4). [Sch11] Anthony J. Scholl. “Hypersurfaces and the Weil conjectures”. In:Int. Math. Res. Not. IMRN5 (2011), pp. 1010–1022 (cit. on p. 2). [SGA 4] Théorie des topos et cohomologie étale des schémas.Vol. 269, 270,

View on Pith 2011

[3] [100]

Astérisque. Soc. Math. France, Paris, 1982, pp. 5–171 (cit. on pp. 4, 5). [Del77] P. Deligne. “Théorèmes de finitude en cohomologie ℓ-adique”. In:Cohomologie étale. Vol

View on Pith 1982

[4] [305]

Lecture Notes in Mathematics. Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4), Dirigé par M. Artin, A. Grothendieck, et J. L. Verdier. Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat. Springer-Verlag, Berlin-New York, 1972–73, pp. xix+525, iv+418, vi+640 (cit. on pp. 2, 5). [WZ25a] Daqing Wan and Dingxin Zhang. “Hodge ...

View on Pith Pith review arXiv 2025

[5] [569]

Lecture Notes in Math. Springer, Berlin, 1977, pp. 233–261 (cit. on p. 5). [Del74] Pierre Deligne. “La conjecture de Weil. I”. In:Inst. Hautes Études Sci. Publ. Math.43 (1974), pp. 273–307 (cit. on pp. 1, 2). [Del80] Pierre Deligne. “La conjecture de Weil. II”. In:Inst. Hautes Études Sci. Publ. Math.52 (1980), pp. 137–252 (cit. on pp. 2, 5, 6). [Kat93] Ni...

View on Pith 1974