pith. sign in

arxiv: 2604.08817 · v1 · submitted 2026-04-09 · 🧮 math.AG

Prime Fano threefolds of genus 8 in positive characteristic

Akihiro Kanemitsu , Hiromu Tanaka This is my paper

Pith reviewed 2026-05-10 16:38 UTC · model grok-4.3

classification 🧮 math.AG
keywords prime Fano threefoldsgenus 8positive characteristicGrassmannian Gr(2,6)linear sectionsirrationalityglobal F-regularity
0
0 comments X

The pith

A prime Fano threefold of genus 8 over an algebraically closed field of positive characteristic is isomorphic to a linear section of the Grassmannian Gr(2,6).

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

The paper proves that any prime Fano threefold of genus 8 defined over an algebraically closed field of positive characteristic must coincide with a linear section of the Grassmannian variety Gr(2,6). This supplies an explicit geometric model for these varieties in the positive-characteristic setting. A reader would care because the identification immediately implies that the threefolds are irrational. The same model further yields global F-regularity whenever the characteristic exceeds two. The result therefore completes a description of these Fano threefolds that parallels known facts from characteristic zero.

Core claim

A prime Fano threefold of genus 8 over an algebraically closed field of positive characteristic is isomorphic to a linear section of the Grassmannian variety Gr(2, 6). This identification allows the deduction of further properties, including irrationality and global F-regularity under mild conditions on the characteristic.

What carries the argument

The linear section of the Grassmannian Gr(2,6) that serves as the explicit model for every prime Fano threefold of genus 8.

Load-bearing premise

The threefold satisfies the definitions of being prime and of genus 8 over an algebraically closed field of positive characteristic.

What would settle it

The existence of a prime Fano threefold of genus 8 in positive characteristic that is not isomorphic to any linear section of Gr(2,6).

read the original abstract

We prove that a prime Fano threefold of genus 8 over an algebraically closed field of positive characteristic is isomorphic to a linear section of the Grassmannian variety Gr(2, 6). As applications, it is shown that a prime Fano threefold of genus 8 is irrational and, if the characteristic is larger than two, then it is globally F-regular.

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 / 3 minor

Summary. The paper proves that any prime Fano threefold of genus 8 over an algebraically closed field of positive characteristic is isomorphic to a linear section of the Grassmannian Gr(2,6). It further establishes that such threefolds are irrational and, when the characteristic exceeds 2, globally F-regular.

Significance. If the result holds, it establishes that the classification and key geometric properties of these Fano threefolds are characteristic-independent, extending the characteristic-zero case without introducing exotic examples in positive characteristic. The irrationality and F-regularity statements provide concrete applications that strengthen the geometric and arithmetic understanding of these varieties.

minor comments (3)
  1. The introduction would benefit from a brief comparison table or explicit reference to the characteristic-zero results (e.g., Mukai's classification) to highlight precisely which steps require new arguments in positive characteristic.
  2. Notation for the linear section and the embedding into the Grassmannian could be standardized earlier; the current usage of X ⊂ Gr(2,6) is clear but appears only after several pages.
  3. A short remark on the failure or success of Kodaira vanishing or other cohomology tools in positive characteristic would clarify the proof strategy for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, for highlighting its significance in extending the classification of prime Fano threefolds of genus 8 to positive characteristic, and for recommending acceptance. We are grateful for the confirmation that the results align with and strengthen the characteristic-zero case without introducing exotic examples.

Circularity Check

0 steps flagged

No significant circularity; proof is self-contained via external geometric properties

full rationale

The paper establishes an isomorphism between prime Fano threefolds of genus 8 over algebraically closed fields of positive characteristic and linear sections of Gr(2,6). This follows from the definitions of primeness, genus 8, and Fano conditions together with standard properties of Grassmannians and Fano varieties, without any reduction of the central claim to a fitted parameter, self-referential definition, or load-bearing self-citation chain. The abstract and claimed result contain no equations or steps that equate the output to the input by construction, and the derivation relies on independent external benchmarks in algebraic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard axioms of algebraic geometry over algebraically closed fields together with the definitions of Fano threefolds, genus, and global F-regularity; no new free parameters or invented entities are introduced.

axioms (1)
  • standard math Standard properties of Fano varieties, Grassmannians, and linear sections in algebraic geometry
    The proof invokes known theorems about these objects rather than deriving them from scratch.

pith-pipeline@v0.9.0 · 5348 in / 1388 out tokens · 45610 ms · 2026-05-10T16:38:48.574812+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

9 extracted references · 9 canonical work pages

  1. [1]

    Asai and H

    MR1621185 [AT23] M. Asai and H. Tanaka,Fano threefolds in positive characteristic III, arXiv:2308.08124 (2023). [BKM24] A. Bayer, A. Kuznetsov, and E. Macr` ı,Mukai bundles on Fano threefolds, arXiv:2402.07154 (2024). [BKM25] ,Mukai models of Fano varieties, arXiv:2501.16157 (2025). [BTLM97] A. Buch, J. F. Thomsen, N. Lauritzen, and V. Mehta,The Frobenius...

    work page arXiv 2023

  2. [2]

    MR3617981 [EH87] ,On varieties of minimal degree (a centennial account), Algebraic geometry, Bow- doin, 1985 (Brunswick, Maine, 1985), 1987, pp. 3–13. MR927946 [EKM08] R. Elman, N. Karpenko, and A. Merkurjev,The algebraic and geometric theory of qua- dratic forms, American Mathematical Society Colloquium Publications, vol. 56, Ameri- can Mathematical Soci...

    work page 1985

  3. [3]

    Fano,Sulle sezioni spaziali della variet` a grassmanniana delle rette dello spazio a cinque dimensioni., Atti Accad

    MR2427530 [Fan30] G. Fano,Sulle sezioni spaziali della variet` a grassmanniana delle rette dello spazio a cinque dimensioni., Atti Accad. Naz. Lincei, Rend., VI. Ser.11(1930), 329–335 (Italian). [Fed83] R. Fedder,F-purity and rational singularity, Trans. Amer. Math. Soc.278(1983), no. 2, 461–480. MR701505 [Fri98] R. Friedman,Algebraic surfaces and holomor...

    work page 1930

  4. [4]

    Gross and S

    MR1644323 [GP01] M. Gross and S. Popescu,The moduli space of(1,11)-polarized abelian surfaces is uni- rational, Compositio Math.126(2001), no. 1, 1–23. MR1827859 [GS] D. R. Grayson and M. E. Stillman,Macaulay2, a software system for research in algebraic geometry. [Gus83] N. P. Gushel,Fano varieties of genus 8, Russian Math. Surveys38(1983), 192–193. [Gus...

    work page 2001

  5. [5]

    Hara,A characterization of rational singularities in terms of injectivity of Frobenius maps, Amer

    MR0463157 [Har98] N. Hara,A characterization of rational singularities in terms of injectivity of Frobenius maps, Amer. J. Math.120(1998), no. 5, 981–996. MR1646049 [IP99] V. A. Iskovskikh and Yu. G. Prokhorov,Fano varieties, Algebraic geometry, V, 1999, pp. 1–247. MR1668579 [Isk77] V. A. Iskovskih,Fano threefolds. I, Izv. Akad. Nauk SSSR Ser. Mat.41(1977...

    work page 1998

  6. [6]

    MR463151 48 AKIHIRO KANEMITSU AND HIROMU TANAKA [Isk78] ,Fano threefolds. II, Izv. Akad. Nauk SSSR Ser. Mat.42(1978), no. 3, 506–549. MR503430 [Isk80] V. A. Iskovskikh,Birational automorphisms of three-dimensional algebraic varieties, J. Sov. Math.13(1980), 815–868 (English). [KM98] J. Koll´ ar and S. Mori,Birational geometry of algebraic varieties, Cambr...

    work page 1978

  7. [7]

    Classification of Fano 3-folds withB 2 ≥ 2

    With the collab- oration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. MR1658959 [Kol91] J. Koll´ ar,Extremal rays on smooth threefolds, Ann. Sci. ´Ecole Norm. Sup. (4)24(1991), no. 3, 339–361. MR1100994 [KT25a] T. Kawakami and H. Tanaka,Liftability and vanishing theorems for Fano threefolds in positive characteristic I, prepr...

    work page arXiv 1998

  8. [8]

    2, 147–162

    MR1969009 [MM81] ,Classification of Fano3-folds withB 2 ≥2, Manuscripta Math.36(1981/82), no. 2, 147–162. MR641971 [MM83] ,On Fano3-folds withB 2 ≥2, Algebraic varieties and analytic varieties (Tokyo, 1981), 1983, pp. 101–129. MR715648 [MR85] V. B. Mehta and A. Ramanathan,Frobenius splitting and cohomology vanishing for Schubert varieties, Ann. of Math. (...

    work page 1981

  9. [9]

    MR548510 [ˇSok79b] ,Smoothness of a general anticanonical divisor on a Fano variety, Izv. Akad. Nauk SSSR Ser. Mat.43(1979), no. 2, 430–441. MR534602 [Smi00] K. E. Smith,Globally F-regular varieties: applications to vanishing theorems for quotients of Fano varieties, 2000, pp. 553–572. Dedicated to William Fulton on the occasion of his 60th birthday. MR17...

    work page arXiv 1979