arxiv: 2605.06252 · v1 · submitted 2026-05-07 · 🧮 math.AG

Recognition: unknown

An explicit formula for the Artin invariant of smooth K3 hypersurfaces

Shou Yoshikawa, Teppei Takamatsu

Pith reviewed 2026-05-08 06:17 UTC · model grok-4.3

classification 🧮 math.AG

keywords Artin invariantK3 hypersurfacequasi-F-splittingpositive characteristicsupersingular K3 surfaceexplicit formulaalgebraic geometryFrobenius splitting

0 comments

The pith

The Artin invariant of a smooth K3 hypersurface equals a quantity read from its quasi-F-splitting type.

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

The paper shows that the Artin invariant of a smooth K3 hypersurface can be recovered directly from the quasi-F-splitting property of the surface. This turns an invariant that usually requires cohomology computations into an explicit expression tied to the splitting behavior under the Frobenius map. A sympathetic reader would care because K3 hypersurfaces form a large and concrete family of examples in positive characteristic, and the result makes the invariant computable without extra machinery. The characterization is stated to hold for every smooth K3 hypersurface.

Core claim

We characterize the Artin invariant of a smooth K3 hypersurface in terms of quasi-F-splitting. As an application, we obtain an explicit formula for this invariant. The statement applies uniformly in positive characteristic and rests on the standard definitions of quasi-F-splitting and the Artin invariant for these surfaces.

What carries the argument

quasi-F-splitting of the hypersurface, which supplies the data that determines the Artin invariant through the new characterization.

If this is right

The Artin invariant becomes an explicit, computable quantity for every smooth K3 hypersurface once its quasi-F-splitting is known.
The formula applies without further restrictions on the degree of the hypersurface or the characteristic.
Supersingularity and the precise value of the Artin invariant can be read off from the same splitting data.
The characterization supplies a uniform method that covers all smooth K3 hypersurfaces rather than special cases.

Where Pith is reading between the lines

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

The same splitting data might be used to compute related invariants such as the height of the formal Brauer group for these surfaces.
The explicit formula could be implemented in computational algebraic geometry software to produce lists of possible Artin invariants for hypersurface families.
If quasi-F-splitting behaves well under deformation, the formula might extend to nearby non-hypersurface K3 surfaces.

Load-bearing premise

The quasi-F-splitting type of any smooth K3 hypersurface encodes exactly the information that fixes its Artin invariant.

What would settle it

A single smooth K3 hypersurface in positive characteristic whose Artin invariant, computed by any standard method, fails to match the value predicted by its quasi-F-splitting type would falsify the characterization.

read the original abstract

We characterize the Artin invariant of a smooth K3 hypersurface in terms of quasi-$F$-splitting. As an application, we obtain an explicit formula for this invariant.

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.

Desk Editor's Note private letter to a colleague

The paper characterizes the Artin invariant of smooth K3 hypersurfaces via quasi-F-splitting and derives an explicit formula from it.

read the letter

The paper's main point is a characterization of the Artin invariant for smooth K3 hypersurfaces in terms of quasi-F-splitting, followed by an explicit formula that comes out of that characterization. This gives a more direct computational handle on the invariant than was previously available, which matters for work on supersingular K3 surfaces in positive characteristic. The link to F-splitting theory is the fresh piece; it is not just a rephrasing of older definitions. The authors apply standard properties of smooth hypersurfaces and quasi-F-splitting to reach the formula, and the abstract presents the steps as non-circular. That is the part that could actually be used in calculations or moduli problems. The work sits cleanly inside existing literature on positive-characteristic K3 surfaces without forcing new machinery. The soft spots are modest. The abstract is brief on the derivation and does not spell out edge cases such as small characteristics or specific degrees, so a referee would want to see how the quasi-F-splitting behaves under those conditions and whether the formula requires extra hypotheses. No internal contradictions or hidden fitting appear in the claim itself. The result is aimed at people already working on arithmetic invariants or supersingular varieties in char p. A reader who needs to compute the Artin invariant for explicit examples or who follows F-splitting methods would find it useful. It is grounded enough to deserve a serious referee rather than a desk rejection; the central claim is plausible and the approach is honest with the literature.

Referee Report

0 major / 3 minor

Summary. The paper characterizes the Artin invariant of a smooth K3 hypersurface in terms of quasi-F-splitting and, as an application, derives an explicit formula for the invariant.

Significance. If the characterization is established rigorously, the explicit formula supplies a concrete computational tool for the Artin invariant of supersingular K3 surfaces in positive characteristic, which may facilitate explicit calculations in the moduli theory of K3 surfaces and related questions in crystalline cohomology.

minor comments (3)

The abstract states the main results but supplies no proof outline, verification steps, or discussion of edge cases. Adding a short paragraph in the introduction summarizing the logical structure of the argument would improve readability.
Clarify the precise range of characteristics and degrees for which the formula is stated to hold; the current wording leaves open whether it applies uniformly or requires additional hypotheses on the hypersurface.
Include at least one low-degree explicit example (e.g., a quartic or sextic K3 surface) where the formula is evaluated and compared with a known value of the Artin invariant computed by other means.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. The paper establishes a characterization of the Artin invariant for smooth K3 hypersurfaces via quasi-F-splitting and derives an explicit formula as an application, which we believe provides a useful computational tool in the moduli theory of K3 surfaces.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper's central claim is a characterization of the Artin invariant for smooth K3 hypersurfaces via quasi-F-splitting, with an explicit formula presented as a subsequent application. This structure is self-contained: the characterization relies on standard definitions and properties of Artin invariants and quasi-F-splitting in positive-characteristic algebraic geometry, without reducing to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. No equations or steps in the provided abstract or summary exhibit the specific reductions required for circularity flags (e.g., no X defined in terms of Y where Y is the output). The derivation stands independently against external benchmarks in the literature.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on established definitions in algebraic geometry over fields of positive characteristic; no new free parameters, ad-hoc axioms, or invented entities are indicated by the abstract.

axioms (1)

domain assumption Standard definitions and basic properties of smooth K3 hypersurfaces, the Artin invariant, and quasi-F-splitting.
These are the background notions required for the stated characterization.

pith-pipeline@v0.9.0 · 5308 in / 1154 out tokens · 36374 ms · 2026-05-08T06:17:56.262341+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

154 extracted references · 101 canonical work pages · 1 internal anchor

[1]

Yasuhiro Goto , title =. J. Math. Kyoto Univ. , volume =. 1996 , doi =

1996
[2]

arXiv preprint arXiv:2602.14792 , year =

Teppei Takamatsu and Shou Yoshikawa , title =. arXiv preprint arXiv:2602.14792 , year =

work page arXiv
[3]

Onuki , T

Hirotaka Onuki and Teppei Takamatsu and Shou Yoshikawa , title =. arXiv preprint arXiv:2510.19308 , year =

work page arXiv
[4]

Fedder type criteria for quasi-

Kawakami, Tatsuro and Takamatsu, Teppei and Yoshikawa, Shou , journal=. Fedder type criteria for quasi-
[5]

Kawakami, Tatsuro and Takamatsu, Teppei and Tanaka, Hiromu and Witaszek, Jakub and Yobuko, Fuetaro and Yoshikawa, Shou , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2025 , NUMBER =

2025
[6]

International Mathematics Research Notices , year =

Igor Dolgachev and Shigeyuki Kondō , title =. International Mathematics Research Notices , year =. doi:10.1155/S1073792803000018 , url =

work page doi:10.1155/s1073792803000018
[7]

Canadian Mathematical Bulletin , volume =

Goto, Yasuhiro , title =. Canadian Mathematical Bulletin , volume =. 2004 , pages =

2004
[8]

Bhatt , L

Perfectoid pure singularities , author=. arXiv preprint arXiv:2409.17965 , year=

work page arXiv
[9]

Yoshikawa , Computation Method for Perfectoid Purity and Perfectoid BCM-regularity , preprint, ( 2025 )

Shou Yoshikawa , journal =. Computation method for perfectoid purity and perfectoid. doi:10.48550/arXiv.2502.06108 , year =

work page doi:10.48550/arxiv.2502.06108
[10]

A Criterion for Perfectoid Purity and the Rationality of Thresholds

A Criterion for Perfectoid Purity and the Rationality of Thresholds , author =. arXiv preprint arXiv:2510.19319 , doi =

work page internal anchor Pith review Pith/arXiv arXiv
[11]

Arvidsson, Emelie and Bernasconi, Fabio and Lacini, Justin , journal=. On the
[12]

, TITLE =

Artin, M. , TITLE =. Complex analysis and algebraic geometry , PAGES =. 1977 , MRCLASS =

1977
[13]

Beauville, Arnaud , TITLE =. C. R. Acad. Sci. Paris S\'. 1982 , NUMBER =

1982
[14]

Cascini, Paolo and Tanaka, Hiromu , TITLE =. Eur. J. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s40879-016-0127-z , URL =

work page doi:10.1007/s40879-016-0127-z 2018
[15]

Cascini, Paolo and Tanaka, Hiromu and Witaszek, Jakub , TITLE =. Compos. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/S0010437X16008265 , URL =

work page doi:10.1112/s0010437x16008265 2017
[16]

Fedder, Richard , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1983 , NUMBER =. doi:10.2307/1999165 , URL =

work page doi:10.2307/1999165 1983
[17]

Tohoku Math

Fujita, Takao , TITLE =. Tohoku Math. J. (2) , FJOURNAL =. 1982 , NUMBER =. doi:10.2748/tmj/1178229197 , URL =

work page doi:10.2748/tmj/1178229197 1982
[18]

Nagoya Math

Furushima, Mikio , TITLE =. Nagoya Math. J. , FJOURNAL =. 1986 , PAGES =. doi:10.1017/S0027763000022649 , URL =

work page doi:10.1017/s0027763000022649 1986
[19]

Goto, Shiro and Watanabe, Keiichi , TITLE =. J. Algebra , FJOURNAL =. 1977 , NUMBER =. doi:10.1016/0021-8693(77)90250-2 , URL =

work page doi:10.1016/0021-8693(77)90250-2 1977
[20]

Fanelli, Andrea and Schr\". Del. Trans. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/tran/7988 , URL =

work page doi:10.1090/tran/7988 2020
[21]

Gongyo, Yoshinori and Li, Zhiyuan and Patakfalvi, Zsolt and Schwede, Karl and Tanaka, Hiromu and Zong, Runhong , TITLE =. Adv. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.aim.2015.04.012 , URL =

work page doi:10.1016/j.aim.2015.04.012 2015
[22]

Hosoh, Toshio , TITLE =. J. Algebra , FJOURNAL =. 1996 , NUMBER =. doi:10.1006/jabr.1996.0331 , URL =

work page doi:10.1006/jabr.1996.0331 1996
[23]

Hara, Nobuo and Watanabe, Kei-ichi and Yoshida, Ken-ichi , TITLE =. J. Algebra , FJOURNAL =. 2002 , NUMBER =. doi:10.1006/jabr.2001.9000 , URL =

work page doi:10.1006/jabr.2001.9000 2002
[24]

, TITLE =

Hochster, Melvin and Roberts, Joel L. , TITLE =. Advances in Math. , FJOURNAL =. 1976 , NUMBER =. doi:10.1016/0001-8708(76)90073-6 , URL =

work page doi:10.1016/0001-8708(76)90073-6 1976
[25]

Lee, Yongnam and Nakayama, Noboru , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2013 , NUMBER =. doi:10.1112/plms/pds033 , URL =

work page doi:10.1112/plms/pds033 2013
[26]

Liedtke, Christian and Satriano, Matthew , TITLE =. Adv. Math. , FJOURNAL =. 2014 , PAGES =. doi:10.1016/j.aim.2013.10.030 , URL =

work page doi:10.1016/j.aim.2013.10.030 2014
[27]

Ito, Hiroyuki , TITLE =. Math. Z. , FJOURNAL =. 1992 , NUMBER =. doi:10.1007/BF02571415 , URL =

work page doi:10.1007/bf02571415 1992
[28]

Tohoku Math

Ito, Hiroyuki , TITLE =. Tohoku Math. J. (2) , FJOURNAL =. 1994 , NUMBER =. doi:10.2748/tmj/1178225759 , URL =

work page doi:10.2748/tmj/1178225759 1994
[29]

Hiroshima Math

Ito, Hiroyuki , TITLE =. Hiroshima Math. J. , FJOURNAL =. 2002 , NUMBER =

2002
[30]

Rational curves on quasi-projective surfaces , JOURNAL =

Keel, Se\'. Rational curves on quasi-projective surfaces , JOURNAL =. 1999 , NUMBER =. doi:10.1090/memo/0669 , URL =

work page doi:10.1090/memo/0669 1999
[31]

Nonrational hypersurfaces , JOURNAL =

Koll\'. Nonrational hypersurfaces , JOURNAL =. 1995 , NUMBER =. doi:10.2307/2152888 , URL =

work page doi:10.2307/2152888 1995
[32]

and Mehta, V

Lakshmibai, V. and Mehta, V. B. and Parameswaran, A. J. , TITLE =. J. Algebra , FJOURNAL =. 1998 , NUMBER =. doi:10.1006/jabr.1998.7521 , URL =

work page doi:10.1006/jabr.1998.7521 1998
[33]

, TITLE =

Lang, William E. , TITLE =. Math. Z. , FJOURNAL =. 1991 , NUMBER =. doi:10.1007/BF02571400 , URL =

work page doi:10.1007/bf02571400 1991
[34]

, TITLE =

Lang, William E. , TITLE =. Ark. Mat. , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF02559579 , URL =

work page doi:10.1007/bf02559579 1994
[35]

Duke Math

Langer, Adrian , TITLE =. Duke Math. J. , FJOURNAL =. 2016 , NUMBER =. doi:10.1215/00127094-3627203 , URL =

work page doi:10.1215/00127094-3627203 2016
[36]

Lee, Wanseok and Park, Euisung and Schenzel, Peter , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.jpaa.2010.12.007 , URL =

work page doi:10.1016/j.jpaa.2010.12.007 2011
[37]

Mehta, V. B. and Ramanathan, A. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/1971368 , URL =

work page doi:10.2307/1971368 1985
[38]

Kawakami, Tatsuro , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/tran/8369 , URL =

work page doi:10.1090/tran/8369 2021
[39]

, TITLE =

Raynaud, M. , TITLE =. C. 1978 , MRCLASS =

1978
[40]

Ye, Qiang , TITLE =. Japan. J. Math. (N.S.) , FJOURNAL =. 2002 , NUMBER =. doi:10.4099/math1924.28.87 , URL =

work page doi:10.4099/math1924.28.87 2002
[41]

Bhatt, Bhargav and Singh, Anurag K , journal=. The. 2015 , publisher=

2015
[42]

and Liebeck, M

James, Gordon and Liebeck, Martin , TITLE =. 2001 , PAGES =. doi:10.1017/CBO9780511814532 , URL =

work page doi:10.1017/cbo9780511814532 2001
[43]

Fundamental algebraic geometry , SERIES =

Fantechi, Barbara and G\". Fundamental algebraic geometry , SERIES =. 2005 , PAGES =

2005
[44]

, TITLE =

Griess, Jr., Robert L. , TITLE =. 1998 , PAGES =. doi:10.1007/978-3-662-03516-0 , URL =

work page doi:10.1007/978-3-662-03516-0 1998
[45]

, TITLE =

Grothendieck, A. , TITLE =. Inst. Hautes \'. 1961 , PAGES =

1961
[46]

, TITLE =

Grothendieck, A. , TITLE =. Inst. Hautes \'. 1966 , PAGES =

1966
[47]

Lectures on vanishing theorems , SERIES =

Esnault, H\'. Lectures on vanishing theorems , SERIES =. 1992 , PAGES =. doi:10.1007/978-3-0348-8600-0 , URL =

work page doi:10.1007/978-3-0348-8600-0 1992
[48]

arXiv preprint arXiv:1905.01968 , year=

Differential forms on log canonical spaces in positive characteristic , author=. arXiv preprint arXiv:1905.01968 , year=

work page arXiv 1905
[49]

On rank one log del

Lacini, Justin , journal=. On rank one log del
[50]

1989 , PAGES =

Matsumura, Hideyuki , TITLE =. 1989 , PAGES =

1989
[51]

Weak del

Martin, Gebhard and Stadlmayr, Claudia , journal=. Weak del
[52]

Kawakami, Tatsuro , journal=
[53]

Kawakami, Tatsuro , journal=. On
[54]

Bernasconi, Fabio and Tanaka, Hiromu , journal=. On del
[55]

, TITLE =

Dolgachev, Igor V. , TITLE =. 2012 , PAGES =. doi:10.1017/CBO9781139084437 , URL =

work page doi:10.1017/cbo9781139084437 2012
[56]

Miyaoka, Yoichi , TITLE =. S\=. 1989 , NUMBER =

1989
[57]

, TITLE =

Hirzebruch, F. , TITLE =. Arithmetic and geometry,. 1983 , MRCLASS =

1983
[58]

1977 , PAGES =

Hartshorne, Robin , TITLE =. 1977 , PAGES =

1977
[59]

Deligne, Pierre and Illusie, Luc , TITLE =. Invent. Math. , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF01389078 , URL =

work page doi:10.1007/bf01389078 1987
[60]

2010 , PAGES =

Hartshorne, Robin , TITLE =. 2010 , PAGES =. doi:10.1007/978-1-4419-1596-2 , URL =

work page doi:10.1007/978-1-4419-1596-2 2010
[61]

Hara, Nobuo , TITLE =. Amer. J. Math. , FJOURNAL =. 1998 , NUMBER =

1998
[62]

2005 , PAGES =

Brion, Michel and Kumar, Shrawan , TITLE =. 2005 , PAGES =

2005
[63]

Cascini, Paolo and Tanaka, Hiromu , TITLE =. Amer. J. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1353/ajm.2019.0025 , URL =

work page doi:10.1353/ajm.2019.0025 2019
[64]

Liedtke, Christian , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1515/crelle-2013-0068 , URL =

work page doi:10.1515/crelle-2013-0068 2015
[65]

Pathologies and liftability on

Tatsuro Kawakami and Masaru Nagaoka , journal=. Pathologies and liftability on
[66]

arXiv preprint arXiv:2006.04692 , year=

Ordinary varieties with trivial canonical bundle are not uniruled , author=. arXiv preprint arXiv:2006.04692 , year=

work page arXiv 2006
[67]

lecture notes, University of Utah , year=

F-singularities and Frobenius splitting notes , author=. lecture notes, University of Utah , year=
[68]

Bernasconi, Fabio and Brivio, Iacopo and Kawakami, Tatsuro and Witaszek, Jakub , journal=
[69]

Gongyo, Yoshinori and Takagi, Shunsuke , TITLE =. Math. Ann. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s00208-015-1238-4 , URL =

work page doi:10.1007/s00208-015-1238-4 2016
[70]

Mehta, V. B. and Srinivas, V. , TITLE =. J. Algebra , FJOURNAL =. 1991 , NUMBER =. doi:10.1016/0021-8693(91)90255-7 , URL =

work page doi:10.1016/0021-8693(91)90255-7 1991
[71]

, TITLE =

Smith, Karen E. , TITLE =. Algebraic geometry---. 1997 , MRCLASS =

1997
[72]

Belousov, Grigory , TITLE =. J. Math. Sci. Univ. Tokyo , FJOURNAL =. 2009 , NUMBER =

2009
[73]

Koll´ ar and S

Koll\'. Birational geometry of algebraic varieties , SERIES =. 1998 , PAGES =. doi:10.1017/CBO9780511662560 , URL =

work page doi:10.1017/cbo9780511662560 1998
[74]

Langer, Adrian , TITLE =. Invent. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00222-014-0534-z , URL =

work page doi:10.1007/s00222-014-0534-z 2015
[75]

Nagoya Math

Tanaka, Hiromu , TITLE =. Nagoya Math. J. , FJOURNAL =. 2014 , PAGES =. doi:10.1215/00277630-2801646 , URL =

work page doi:10.1215/00277630-2801646 2014
[76]

Graf, Patrick , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1515/crelle-2013-0031 , URL =

work page doi:10.1515/crelle-2013-0031 2015
[77]

Tanaka, Hiromu , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/S1056-3911-2014-00627-5 , URL =

work page doi:10.1090/s1056-3911-2014-00627-5 2015
[78]

Hacking, Paul and Prokhorov, Yuri , TITLE =. Compos. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.1112/S0010437X09004370 , URL =

work page doi:10.1112/s0010437x09004370 2010
[79]

Kawamata-

Bernasconi, Fabio , journal=. Kawamata-
[80]

Extension theorems for differential forms and

Greb, Daniel and Kebekus, Stefan and Kov\'. Extension theorems for differential forms and. Compos. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.1112/S0010437X09004321 , URL =

work page doi:10.1112/s0010437x09004321 2010

Showing first 80 references.