pith. sign in

arxiv: 2110.15035 · v3 · submitted 2021-10-28 · 🧮 math.AG · math.AC

Varieties with ample Frobenius-trace kernel

Javier Carvajal-Rojas , Zsolt Patakfalvi This is my paper

Pith reviewed 2026-05-24 12:56 UTC · model grok-4.3

classification 🧮 math.AG math.AC
keywords Frobenius trace kernelample line bundleFano varietyPicard rankpositive characteristicprojective spaceMori-Hartshorne theorem
0
0 comments X

The pith

The kernel of the Frobenius trace is ample on projective spaces and, for curves surfaces and threefolds, only on Fano varieties of Picard rank 1.

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

The paper studies the positivity of the kernel of the Frobenius trace map on smooth projective varieties over algebraically closed fields of positive characteristic. It shows that this kernel is ample when the variety is projective space. For varieties of dimension at most three the converse holds: the kernel is ample exactly when the variety is Fano of Picard rank one. The work is motivated by the search for a projective analog of Kunz's theorem and a Frobenius analog of the Mori-Hartshorne theorem.

Core claim

We show that the kernel of the Frobenius trace is ample for projective spaces. Conversely, for curves, surfaces, and threefolds the Frobenius trace kernel is ample only for Fano varieties of Picard rank 1.

What carries the argument

The kernel of the Frobenius trace map (equivalently the cokernel of the Frobenius endomorphism on the structure sheaf).

If this is right

  • Projective spaces have ample Frobenius trace kernel.
  • In dimensions one through three ampleness of the kernel holds precisely for Fano varieties of Picard rank one.
  • The result supplies a Frobenius-theoretic version of the Mori-Hartshorne characterization of projective space.

Where Pith is reading between the lines

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

  • The characterization may extend to higher dimensions when additional conditions such as terminal singularities are imposed.
  • The kernel could be studied for weaker positivity properties such as nefness in place of ampleness.
  • Classification results for Fano varieties in positive characteristic might be refined using this positivity criterion.

Load-bearing premise

The varieties under consideration are smooth projective over an algebraically closed field of positive characteristic.

What would settle it

A smooth projective threefold that is not Fano of Picard rank 1 yet has ample Frobenius trace kernel would disprove the converse claim.

read the original abstract

In the search of a projective analog of Kunz's theorem and a Frobenius-theoretic analog of Mori--Hartshorne's theorem, we investigate the positivity of the kernel of the Frobenius trace (equivalently, the negativity of the cokernel of the Frobenius endomorphism) on a smooth projective variety over an algebraically closed field of positive characteristic. For instance, such kernel is ample for projective spaces. Conversely, we show that for curves, surfaces, and threefolds the Frobenius trace kernel is ample only for Fano varieties of Picard rank $1$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 0 minor

Summary. The manuscript investigates the positivity properties of the kernel of the Frobenius trace map (equivalently, negativity of the cokernel of the Frobenius endomorphism) on smooth projective varieties over an algebraically closed field of positive characteristic. It establishes that this kernel is ample on projective spaces. Conversely, it proves that for curves, surfaces, and threefolds the kernel is ample precisely when the variety is a Fano variety of Picard rank 1. The work is motivated as a projective analog of Kunz's theorem and a Frobenius-theoretic analog of the Mori-Hartshorne theorem.

Significance. If the stated results hold, the paper supplies a Frobenius-based characterization of low-dimensional Fano varieties of Picard rank 1, linking positivity of a coherent sheaf arising from the absolute Frobenius to classical geometric invariants. This strengthens the toolkit for studying varieties in positive characteristic and may guide extensions to higher dimensions or other positivity notions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, careful summary of our results, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper establishes positivity properties of the Frobenius trace kernel using standard definitions of the absolute Frobenius morphism, its trace map, and ampleness of coherent sheaves on smooth projective varieties. The central claims (ampleness on projective space; converse classification for low-dimensional Fano varieties of Picard rank 1) are derived from classical results in positive-characteristic algebraic geometry (e.g., properties of the trace map and Mori theory analogs) without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. No equations or steps in the provided structure equate a prediction to its own input by construction. The work is therefore self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard facts about the Frobenius endomorphism and ampleness on smooth projective varieties in positive characteristic; no free parameters or invented entities are visible in the abstract.

axioms (2)
  • standard math The Frobenius trace map is well-defined on the structure sheaf of a smooth projective variety over an algebraically closed field of positive characteristic.
    Invoked implicitly to define the kernel whose positivity is studied.
  • standard math Ampleness is a well-defined positivity notion for vector bundles on projective varieties.
    Central to both the projective space statement and the converse classification.

pith-pipeline@v0.9.0 · 5623 in / 1244 out tokens · 33781 ms · 2026-05-24T12:56:45.094247+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 2 internal anchors

  1. [1]

    Achinger: Frobenius push-forwards on quadrics, Comm

    [Ach12] P. Achinger: Frobenius push-forwards on quadrics, Comm. Algebra 40 (2012), no. 8, 2732–2748. 2968908 [Ach15] P. Achinger: A characterization of toric varieties in characteristic p, Int. Math. Res. Not. IMRN (2015), no. 16, 6879–6892. 3428948 [Add09] N. Addington: Spinor sheaves and complete intersections of quadrics , ProQuest LLC, Ann Arbor, MI, ...

    work page 2012

  2. [2]

    Cartier: Une nouvelle op´ eration sur les formes diff´ erentielles, Comptes rendus de l’Acad´ emie des sciences, Paris 244 (1957), 426–428

    MR1251956 (95h:13020) [Car57] P. Cartier: Une nouvelle op´ eration sur les formes diff´ erentielles, Comptes rendus de l’Acad´ emie des sciences, Paris 244 (1957), 426–428. 0084497 (18,870b) [EH16] D. Eisenbud and J. Harris : 3264 and all that—a second course in algebraic geometry , Cambridge University Press, Cambridge,

    work page 1957

  3. [3]

    The limit as p -> infinity of the Hilbert-Kunz multiplicity of sum(x_i^(d_i))

    3617981 [ES19] S. Ejiri and A. Sannai : A characterization of ordinary abelian varieties by the Frobenius push-forward of the structure sheaf II , Int. Math. Res. Not. IMRN (2019), no. 19, 5975–5988. 4016889 [EV92] H. Esnault and E. Viehweg : Lectures on vanishing theorems , DMV Seminar, vol. 20, Birkh¨ auser Verlag, Basel, 1992.MR1193913 (94a:14017) [FS2...

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  4. [4]

    Hochster: Math 615 lecture notes, winter, 2010 , Lecture Notes,

    MR0463157 (57 #3116) [Hoc10] M. Hochster: Math 615 lecture notes, winter, 2010 , Lecture Notes,

    work page 2010

  5. [5]

    [Kap86] M. M. Kapranov : Derived category of coherent bundles on a quadric , Funktsional. Anal. i Prilozhen. 20 (1986), no. 2,

    work page 1986

  6. [6]

    Kawakami: On Kawamata–Viehweg type vanishing for three dimensional Mori fiber spaces in positive characteristic, Trans

    847146 [Kaw21] T. Kawakami: On Kawamata–Viehweg type vanishing for three dimensional Mori fiber spaces in positive characteristic, Trans. Amer. Math. Soc. 374 (2021), no. 8, 5697–5717. 4293785 [Kol91] J. Koll´ar: Extremal rays on smooth threefolds, Ann. Sci. ´Ecole Norm. Sup. (4) 24 (1991), no. 3, 339–361. 1100994 [Kol96] J. Koll ´ar: Rational curves on al...

    work page 2021

  7. [7]

    Koll´ar and S

    1440180 [KM98] J. Koll´ar and S. Mori : Birational geometry of algebraic varieties , Cambridge Tracts in Mathematics, vol. 134, Cambridge University Press, Cambridge, 1998, With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. MR1658959 (2000b:14018) [Kun69] E. Kunz : Characterizations of regular local rings for...

    work page 1998

  8. [8]

    A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas

    Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 48, Springer-Verlag, Berlin, 2004, Classical setting: line bundles and linear series. MR2095471 (2005k:14001a) [Laz04b] R. Lazarsfeld: Positivity in algebraic geometry. II , Ergebnisse der Mathematik und ...

    work page 2004

  9. [9]

    A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas

    Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 49, Springer-Verlag, Berlin, 2004, Positivity for vector bundles, and multiplier ideals. MR2095472 (2005k:14001b) [Mab78] T. Mabuchi: C 3-actions and algebraic threefolds with ample tangent bundle , Nagoy...

    work page 2004

  10. [10]

    Mori: Projective manifolds with ample tangent bundles , Ann

    559531 [Mor79] S. Mori: Projective manifolds with ample tangent bundles , Ann. of Math. (2) 110 (1979), no. 3, 593–606. 554387 [Mor82] S. Mori: Threefolds whose canonical bundles are not numerically effective , Ann. of Math. (2) 116 (1982), no. 1, 133–176. 662120 [MM82] S. Mori and S. Mukai : Classification of Fano 3-folds with B2 ≥ 2, Manuscripta Math. 36 ...

    work page 1979

  11. [11]

    I, Algebraic and topological theories (Kinosaki, 1984), Kinokuniya, Tokyo, 1986, pp. 496–545. 1102273 [MS03] S. Mori and N. Saito : Fano threefolds with wild conic bundle structures , Proc. Japan Acad. Ser. A Math. Sci. 79 (2003), no. 6, 111–114. 1992032 [MS78] S. Mori and H. Sumihiro : On Hartshorne’s conjecture, J. Math. Kyoto Univ. 18 (1978), no. 3, 52...

    work page internal anchor Pith review Pith/arXiv arXiv 1984

  12. [12]

    [Tho00] J. F. Thomsen: Frobenius direct images of line bundles on toric varieties , J. Algebra 226 (2000), no. 2, 865–874. 1752764 [Tuc12] K. Tucker: F -signature exists, Inventiones Mathematicae 190 (2012), no. 3, 743–765. 2995185 [Tyc88] A. Tyc: Differential basis, p-basis, and smoothness in characteristic p> 0, Proc. Amer. Math. Soc. 103 (1988), no. 2, ...

    work page 2000