Generic vanishing theory in positive characteristic

Jefferson Baudin

REVIEW 4 major objections 5 minor 1 cited by

Generic vanishing theory in positive characteristic

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

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

Pith's one-line read This paper establishes an equivalence between Cartier crystals and V-crystals on dual abelian varieties in positive characteristic, and uses it to prove that normal varieties of maximal Albanese dimension always carry nonzero canonical…

desk verdict A useful consolidation with one genuinely new categorical equivalence, and a broken reduction in the effectivity theorem. read the letter →

arxiv 2507.00771 v2 pith:MTADQKIO submitted 2025-07-01 math.AG

Jefferson Baudin This is my paper · ORCID

classification math.AG MSC 14K0514G1714F17

keywords genericvanishingCartiercrystalsV-crystalspositivecharacteristicabelianvarietiesAlbanesedimensionFourier-Mukaitransformcohomologicalsupportloci

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 develops a unified treatment of generic vanishing in characteristic p, where the usual vanishing theorems fail. Its central new result is an equivalence of categories between Cartier crystals on an abelian variety and V-crystals on its dual, induced by taking degree-zero cohomology of the Fourier-Mukai transform. From this it derives that a normal proper variety of maximal Albanese dimension satisfies $H^0(X, \omega_X) \neq 0$, and that if it admits a generically finite morphism to an ordinary abelian variety then the Cartier-stable subspace $S^0(X, \omega_X)$ is nonzero. These results give a positive-characteristic replacement for characteristic-zero generic vanishing and new effectivity statements for canonical forms.

What carries the argument

The central object is the symmetric Fourier-Mukai transform $FM_A: D^b_{\mathrm{coh}}(A)^{\mathrm{op}} \to D^b_{\mathrm{coh}}(\hat{A})$, together with the truncation $H^0$. The paper shows that Cartier modules, coherent sheaves with an $F_*$-linear structural morphism, are sent by $H^0 FM_A$ to V-modules, coherent sheaves with a Verschiebung-linear morphism, and that nilpotence of Cartier modules corresponds to nilpotence of V-modules. The key technical step is the theorem that for any Cartier module $M$, the higher cohomology sheaves $H^i FM_A(M)$ are nilpotent V-modules for $i\neq 0$; this is what allows the categories to be taken modulo nilpotence and yields the equivalence.

What would settle it

Exhibit a non-nilpotent Cartier module $M$ on an abelian variety whose degree-zero Fourier-Mukai transform $H^0 FM_A(M)$ is nilpotent as a V-module; by Theorem 3.2.1 this cannot happen, so such an example would refute the equivalence. Concretely, this can be tested by computing the Tor groups defining $W^i_V$ for the injective hull of a candidate module such as the one appearing in Example 3.4.2.

Watch

Extended reading notes

Core claim

The central claim is that the symmetric Fourier-Mukai transform, taken at the level of $H^0$, induces an anti-equivalence between Cartier crystals on an abelian variety $A$ and V-crystals on its dual $\hat{A}$. Cartier crystals are coherent sheaves with a Frobenius-linear structural map, considered up to nilpotence; V-crystals are the dual notion, with a Verschiebung-linear map. The theorem says that working up to nilpotence is exactly the right amount of coarsening for the transform to become an equivalence. As a geometric consequence, the paper proves that any normal proper variety $X$ with a generically finite map to an abelian variety has $H^0(X, \omega_X) \neq 0$, and when the abelian variety is ordinary the same holds for the subspace $S^0(X, \omega_X)$ of forms fixed by the Cartier operator.

Load-bearing premise

The proof that the finite-map case implies the general case of Theorem 4.3 assumes that pushing the dualizing sheaf forward along the birational part of the Stein factorization lands inside the target's dualizing sheaf, an inclusion that is standard but neither proved nor cited.

Editorial extensions

If this is right

If the equivalence holds, generic vanishing for Cartier modules is governed entirely by the V-crystal $H^0 FM_A(M)$, so cohomological support loci can be computed as Tor groups of an associated injective V-module.
Theorem 4.3 gives a new effectivity statement: every normal proper variety of maximal Albanese dimension in positive characteristic has a nonzero global canonical form.
When the variety admits a generically finite morphism to an ordinary abelian variety, the Cartier operator has a nonzero fixed global form, so $S^0(X, \omega_X) \neq 0$.
The refined support loci $W^i$ and $Z^i$ of Theorem 3.3.5 satisfy the expected codimension bounds and are stable under the Frobenius pullback map $p^s$, giving a tighter approximation of the nonclosed loci $W^i_F(M)$.
The equivalence in Theorem 3.2.1 formally contains the statements of Hacon-Patakfalvi's Theorem 5.2 and Corollary 5.3, so those earlier results follow as corollaries.

Reading between the lines

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

The equivalence suggests that a full derived anti-equivalence may hold between the corresponding derived categories of crystals, with $H^0$ appearing as a truncation; the paper does not pursue that extension.
If the same $H^0$ Fourier-Mukai construction works relatively for families of abelian varieties, it could yield relative generic vanishing statements for fibrations in positive characteristic, beyond the absolute setting treated here.
The $S^0(X, \omega_X) \neq 0$ statement for ordinary Albanese targets gives a concrete numerical test for how closely 'ordinary' approximates the characteristic-zero behavior of maximal Albanese dimension in birational geometry.
One could probe sharpness of the approximation theorem by checking on the Example 3.4.2 configuration whether the $W^i$ loci are indeed as fine as the Tor computations predict; a mismatch there would reveal a gap in the crystal-level claims.

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,

The paper does two things well. First, it gives a clean, self-contained account of the Hacon–Patakfalvi generic vanishing machinery, simplifying the proofs of [HP16] and [HP22] without changing the main lines. Second, it states and proves a genuinely new categorical equivalence: Theorem 3.2.1, the contravariant equivalence between Cartier crystals on an abelian variety and V-crystals on its dual. That result is formal once you have the nilpotence theorems, but it is a useful and satisfying statement, and it gives the field a single reference for this circle of ideas. The support-locus material in Section 3.3 is also a genuine improvement over [HP22], with cleaner constructions and a decidable example.

The soft spot is Theorem 4.3, and it is not a minor gap. After the Stein factorization X→Y→A, the proof asserts the inclusion f_*ω_X ⊆ ω_Y. That is backwards. The trace map f_*ω_X → ω_Y is surjective, and for normal varieties with non-rational singularities f_*ω_X is strictly larger than ω_Y, not smaller. For example, the blowup of the affine cone over an elliptic curve has H^0(X,ω_X) strictly larger than H^0(Y,ω_Y). The author gives no argument that Y, the normalization of a subvariety of an abelian variety, has rational singularities in positive characteristic. So the bridge from the finite case to the generically finite case is not justified. The theorem may be true, but the proof as written does not establish it. The H^0 part can likely be recovered from existing results, and the S^0 statement in the ordinary case needs a different argument.

There are smaller issues: the Fujita vanishing step in Lemma 3.1.11 needs uniformity over Pic^0(A), which is asserted without proof, and the inverse-system notation in that lemma is sloppy. These are fixable. The categorical equivalence stands on its own and is the real content of the paper.

I would send this to a serious referee. It deserves refereeing because the equivalence is important and the exposition is valuable, but the referee should catch the Stein factorization error and require a corrected proof of Theorem 4.3 or an explicit acknowledgment that the reduction is incomplete. I would also bring it to a reading group: the categorical part is worth knowing, and the error is a useful cautionary tale about dualizing sheaves and birational maps in positive characteristic.

Best,

Referee Report

4 major / 5 minor

Summary. The paper develops a unified treatment of positive characteristic generic vanishing theory. It reproves Hacon–Patakfalvi's theorem that Cartier modules are GV-sheaves up to nilpotence, proves an equivalence between Cartier crystals on an abelian variety and V-crystals on its dual (Theorem 3.2.1), improves the support-locus approximation theorem of Hacon–Patakfalvi, and derives an application: a normal proper variety of maximal Albanese dimension has nonzero H^0 of its canonical sheaf, with a stronger statement S^0(X,\omega_X)\neq 0 when there is a generically finite morphism to an ordinary abelian variety. The paper is partly expository but contains new statements, worked examples, and a discussion of pathologies in the positive-characteristic theory.

Significance. If the proofs can be completed, the categorical equivalence between Cartier crystals and V-crystals is a strong structural result, and the geometric application is a natural positive-characteristic analogue of a characteristic-zero theorem that is likely to be useful for further birational work. The paper is clearly written and gives helpful examples and explicit statements of pathologies. It relies on standard prior theorems rather than circular reasoning. The main concerns are a false or unjustified birational inclusion in the final application and a too-terse spectral sequence argument in the proof of the new equivalence.

major comments (4)

[Section 4, proof of Theorem 4.3] The final reduction step uses the inclusion f_*\omega_X \subseteq \omega_Y after Stein factorization f:X\to Y. For a proper birational morphism f between normal varieties with f_*O_X=O_Y, the natural inclusion goes in the other direction, \omega_Y \subseteq f_*\omega_X, and can be strict: for a resolution of a non-rational surface singularity, f_*\omega_X is strictly larger than \omega_Y. The trace morphism supplied by duality is f_*\omega_X \to \omega_Y, not an inclusion. Since Y is only known to be finite over an abelian variety, no argument is given that Y has rational singularities, which would force equality. Therefore the reduction of the generically finite case to the finite case is not justified, and the proof of Theorem 4.3 is incomplete as written.
[Section 3.2, Proposition 3.2.5] The proof uses a “hypercohomology spectral sequence of V-modules” with E_2-term H^a FMA(H^b(\tau_{\leq -1}M^\bullet)) supposedly converging to H^{a-b} FMA(\tau_{\leq -1}M^\bullet). The indexing is nonstandard (the usual target is H^{a+b}), and the assertion that this spectral sequence “degenerates at the level of V-crystals” by Theorem 3.1.4 is not a formal consequence of that theorem, which concerns cohomology sheaves of a single Fourier–Mukai transform rather than differentials in a spectral sequence. This step is used to conclude that every H^b(\tau_{\leq -1}M^\bullet) is nilpotent. The argument needs to be rewritten with a precise filtration and a verifiable degeneration statement.
[Section 3.1, Lemma 3.1.11] The proof concludes by “Fujita vanishing” after reducing to H^i(A, \varphi_L^*M \otimes L^{p^{es}} \otimes \alpha)=0 for all i>0 and all \alpha\in Pic^0(A). The standard Fujita theorem gives, for a fixed coherent sheaf and a fixed ample line bundle, a bound for H^i(F\otimes M^n), but here the ample line bundle varies continuously with \alpha, namely M=L^{p^{es}}\otimes\alpha. A simultaneous bound over the whole family needs an additional uniform-vanishing statement, which is neither proved nor cited. Please state the exact uniform Fujita theorem used, or prove the uniformity.
[Section 4, finite case in Theorem 4.3] The proof uses the isomorphism H^d(X,\omega_X)\cong H^0(X,O_X)^\vee, citing [PZ21, Proposition 2.4]. For a normal but not necessarily Cohen–Macaulay proper variety X, the reflexive hull \omega_X does not automatically give this Serre duality statement by the standard form of Serre duality. Please state the precise hypotheses of [PZ21, Proposition 2.4] and check that they apply to the varieties considered here; if the proposition is valid for all normal proper varieties, a one-line explanation of why would remove the concern.

minor comments (5)

[Section 3.1, Lemma 3.1.11] The phrase “Fix L ample on A” appears to be a typo; in light of Definition 3.1.9 it should probably be “on \hat A”, or the notation should be harmonized with the rest of the section.
[Theorem 3.2.1] In the displayed statement of the two functors, the second functor sends a V-module N to H^0(FMA(N)); to make sense as a Cartier module on A, this should be H^0(FM_{\hat A}(N)), and the proof uses FM_{\hat A}.
[Section 3.2, equation (3.2.5.c)] The arrows in the displayed diagram should be checked; as printed, the top and bottom rows do not form the commutative diagram of exact triangles described in the text.
[Example 3.4.1] The description of W^i_F(\omega_A) could use a sentence explaining how Serre duality and the p-rank r determine the Frobenius action on H^i(A,\omega_A), since the displayed formula is not immediate.
[Throughout] There are several typos, e.g., “an other commutative diagram” in the proof of Proposition 3.2.5 and “philoshophy” in Section 1.1; these should be corrected in revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central theorems are derived from prior, independently proved results and from internal formal arguments, not from their own conclusions.

full rationale

The paper's central results are Theorem 3.1.4 (nilpotence of the non-zero Fourier–Mukai cohomologies of a Cartier module), Theorem 3.2.1 (equivalence between Cartier crystals and V-crystals), Theorem 3.3.5 (approximation of the non-closed loci W_F^i by closed p^s-invariant subsets), and Theorem 4.3 (non-vanishing of H^0(X, ω_X) and S^0(X, ω_X) for varieties of maximal Albanese dimension). Each is proved from stated hypotheses and prior theorems with independent content, not from the target statement. Theorem 3.1.4 is proved from Lemma 3.1.11 and Lemma 3.1.10, which use Fujita vanishing and the Cartier-module inverse system; the proof does not assume nilpotence of the cohomologies. Theorem 3.2.1 is obtained formally from Theorem 3.1.4 and Proposition 3.2.5, and Proposition 3.2.5 is itself derived from Theorem 3.1.4 via the Fourier–Mukai formalism and truncation triangles. Theorem 3.3.5 explicitly constructs W^i and Z^i from Tor loci of the injective V-module and proves the containments directly rather than renaming the loci W_F^i. Theorem 4.3 applies Theorem 3.3.5, Lemma 4.1, and Lemma 4.2; no parameter is fitted and no conclusion is assumed as an input. The author's self-citations [Bau23], [Bau25a], and [Bau25b] appear only as context or as announced applications, and the load-bearing external inputs are the cited theorems [HP16], [HP22], [Muk81], [Fuj83], [PR04b], and [HH89], which are not themselves verified by assuming the paper's conclusions. The only notable weakness is the Stein factorization step in the proof of Theorem 4.3, where the paper asserts f_*ω_X ⊆ ω_Y without proof; this inclusion is not a standard consequence of proper birationality for normal varieties and may be false in general. That is a potential correctness gap in the reduction, not a circular reduction: the desired non-vanishing statement is not encoded in the construction of Y or in any prior assumption of the paper. Accordingly, the circularity score is 0.

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

The central claims depend on the established HP16 vanishing theorem, standard Fourier-Mukai and commutative algebra facts, and one unstated birational geometry inclusion. No numerical parameters are fitted to data, no arbitrary constants are chosen, and no new objects are postulated.

assumptions (6)

domain assumption Theorem 3.1.4: every Cartier module on an abelian variety has nilpotent higher Fourier-Mukai cohomology, i.e. is a GV-sheaf up to nilpotence.
The paper's own proof is stated to be essentially that of [HP16]; this vanishing is the foundation for Theorem 3.2.1 and Theorem 3.3.5.
standard math Properties of the symmetric Fourier-Mukai transform (Theorem 2.2.8), including the derived equivalence and support formula.
Quoted from [Muk81] and [Sch22] and used pervasively in Section 3; not reproved here.
standard math Fujita vanishing for ample line bundles on projective schemes, in a form uniform over all degree-zero twists.
Cited from [Fuj83] in Lemma 3.1.11 to obtain the inverse-system condition (*); the text does not justify uniformity across Pic^0.
domain assumption Pink-Roessler theorem: irreducible p^{es}-invariant subvarieties of abelian varieties without supersingular factors are torsion translates of abelian subvarieties.
Used in Theorem 3.3.7 to describe the structure of the W^i support loci.
standard math Regular varieties are strongly F-regular, so their canonical sheaf is simple as a Cartier module.
Invoked in Lemma 4.2 via [HH89] to show quotients of Cartier submodules of ω_X have codimension at least two.
domain assumption In the Stein factorization of a proper generically finite morphism from a normal variety, the intermediate variety Y is normal and f_*ω_X embeds into ω_Y.
Used in the proof of Theorem 4.3 to reduce to the finite morphism case; no proof or reference is given in the paper.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Generic vanishing theory in positive characteristic." pith.science (2026). https://pith.science/paper/MTADQKIO

@misc{pith2026250700771,
  author       = {Pith},
  title        = {Pith review of: Generic vanishing theory in positive characteristic},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MTADQKIO}},
  note         = {Machine review of arXiv:2507.00771}
}

abstract

We simplify and improve the main fundamental theorems of positive characteristic generic vanishing theory. As a quick corollary of the theory, we prove that a normal variety $X$ of maximal Albanese dimension satisfies $H^0(X, \omega_X) \neq 0$ and that if $\mathrm{Alb}(X)$ is ordinary, then $S^0(X, \omega_X) \neq 0$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

On the Euler characteristic of weakly ordinary varieties of maximal Albanese dimension
math.AG 2025-07 conditional novelty 7.0 of 10

Smooth proper weakly ordinary varieties of maximal Albanese dimension satisfy chi(X, omega_X) >= 0, with chi = 0 for non-general-type examples and the Albanese image then fibered by ordinary abelian varieties.

Reference graph

Works this paper leans on

12 extracted references · 8 canonical work pages · cited by 1 Pith paper

[3]

On the Euler characteristic of weakly ordinary varieties of maximal Albanese dimension

Available at arXiv:2507.01797v1. [BB11] M. Blickle and G. B¨ ockle. Cartier modules: finiteness results.J. Reine Angew. Math., 661:85– 123,

work page Pith review arXiv
[4]

[Bha12] B

Available at arXiv:2312.13456v5. [Bha12] B. Bhatt. Derived splinters in positive characteristic.Compos. Math., 148(6):1757–1786,

arXiv
[5]

[BS13] Manuel Blickle and Karl Schwede.p −1-linear maps in algebra and geometry

Available at arXiv:2506.15491v2. [BS13] Manuel Blickle and Karl Schwede.p −1-linear maps in algebra and geometry. InCommutative algebra, pages 123–205. Springer, New York,

arXiv
[7]

[Fil18] S

Available at arXiv:2305.02157v1. [Fil18] S. Filipazzi. Generic vanishing fails for surfaces in positive characteristic.Boll. Unione Mat. Ital., 11(2):179–189,

arXiv
[10]

[HPS18] C. D. Hacon, M. Popa, and C. Schnell. Algebraic fiber spaces over abelian varieties: around a recent theorem by Cao and P˘ aun. InLocal and global methods in algebraic geometry, volume 712 ofContemp. Math., pages 143–195. Amer. Math. Soc., [Providence], RI, [2018]©2018. [HPZ19] C. D. Hacon, Zs. Patakfalvi, and L. Zhang. Birational characterization...

work page 2018
[1989]

[HP02] C

Colloque en l’honneur de Pierre Samuel (Orsay, 1987). [HP02] C. D. Hacon and R. Pardini. On the birational geometry of varieties of maximal Albanese dimension.J. Reine Angew. Math., 546:177–199,

work page 1987
[2008]

With appendices by C. P. Ramanujam and Y. Manin, Corrected reprint of the second (1974) edition. [Par12] G. Pareschi. Basic results on irregular varieties via Fourier-Mukai methods. InCurrent de- velopments in algebraic geometry, volume 59 ofMath. Sci. Res. Inst. Publ., pages 379–403. Cambridge Univ. Press, Cambridge,

work page 1974
[2018]

[Fuj83] T. Fujita. Vanishing theorems for semipositive line bundles. InAlgebraic geometry (Tokyo/Kyoto, 1982), volume 1016 ofLecture Notes in Math., pages 519–528. Springer, Berlin,

work page 1982

Show all 12 references

[2022]

[EL97] L

Available at arXiv:2212.09245v3. [EL97] L. Ein and R. Lazarsfeld. Singularities of theta divisors and the birational geometry of irregular varieties.J. Amer. Math. Soc., 10(1):243–258,

arXiv
[2023]

[Bau25a] J

Available at arXiv:2306.05378v2. [Bau25a] J. Baudin. Effective characterization of ordinary abelian varieties, and beyond

arXiv
[2024]

[Vie83] E

Available at arXiv:2407.02608v2. [Vie83] E. Viehweg. Weak positivity and the additivity of the Kodaira dimension for certain fibre spaces. InAlgebraic varieties and analytic varieties (Tokyo, 1981), volume 1 ofAdv. Stud. Pure Math., pages 329–353. North-Holland, Amsterdam,

1981 arXiv
[2025]

[Bau25b] J

Available at arXiv:2510.19706v1. [Bau25b] J. Baudin. On the Euler characteristic of weakly ordinary varieties of maximal Albanese di- mension

Pith tools

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

[1] [3]

On the Euler characteristic of weakly ordinary varieties of maximal Albanese dimension

Available at arXiv:2507.01797v1. [BB11] M. Blickle and G. B¨ ockle. Cartier modules: finiteness results.J. Reine Angew. Math., 661:85– 123,

work page Pith review arXiv

[2] [4]

[Bha12] B

Available at arXiv:2312.13456v5. [Bha12] B. Bhatt. Derived splinters in positive characteristic.Compos. Math., 148(6):1757–1786,

arXiv

[3] [5]

[BS13] Manuel Blickle and Karl Schwede.p −1-linear maps in algebra and geometry

Available at arXiv:2506.15491v2. [BS13] Manuel Blickle and Karl Schwede.p −1-linear maps in algebra and geometry. InCommutative algebra, pages 123–205. Springer, New York,

arXiv

[4] [7]

[Fil18] S

Available at arXiv:2305.02157v1. [Fil18] S. Filipazzi. Generic vanishing fails for surfaces in positive characteristic.Boll. Unione Mat. Ital., 11(2):179–189,

arXiv

[5] [10]

[HPS18] C. D. Hacon, M. Popa, and C. Schnell. Algebraic fiber spaces over abelian varieties: around a recent theorem by Cao and P˘ aun. InLocal and global methods in algebraic geometry, volume 712 ofContemp. Math., pages 143–195. Amer. Math. Soc., [Providence], RI, [2018]©2018. [HPZ19] C. D. Hacon, Zs. Patakfalvi, and L. Zhang. Birational characterization...

work page 2018

[6] [1989]

[HP02] C

Colloque en l’honneur de Pierre Samuel (Orsay, 1987). [HP02] C. D. Hacon and R. Pardini. On the birational geometry of varieties of maximal Albanese dimension.J. Reine Angew. Math., 546:177–199,

work page 1987

[7] [2008]

With appendices by C. P. Ramanujam and Y. Manin, Corrected reprint of the second (1974) edition. [Par12] G. Pareschi. Basic results on irregular varieties via Fourier-Mukai methods. InCurrent de- velopments in algebraic geometry, volume 59 ofMath. Sci. Res. Inst. Publ., pages 379–403. Cambridge Univ. Press, Cambridge,

work page 1974

[8] [2018]

[Fuj83] T. Fujita. Vanishing theorems for semipositive line bundles. InAlgebraic geometry (Tokyo/Kyoto, 1982), volume 1016 ofLecture Notes in Math., pages 519–528. Springer, Berlin,

work page 1982