Pith. sign in

REVIEW 3 major objections 5 minor 54 references

Zeta functions of K3 categories over finite fields

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read Point counts can't tell a non-geometric K3 category from a real K3 surface.

desk verdict Genuine new definitions and heavy computation, but the advertised counterexample to detection is only a heuristic — the reduction's category is not shown nongeometric. read the letter →

arxiv 2505.18104 v1 pith:AWF7S65H submitted 2025-05-23 math.AG

Asher Auel , Jack Petok This is my paper · ORCID
classification math.AG MSC 14J2814F0514F2011G2514J70
keywords K3categoriescubicfourfoldszetafunctionspointcountsFourier-MukaiequivalencegeometricityHonda-Tatefinitefields
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

This paper gives finite fields a way to count points on a noncommutative K3 surface: the K3 category attached to a cubic fourfold gets a zeta function and integer point counts that are invariant under Fourier-Mukai equivalence and reduce to classical point counts when the category comes from an actual K3 surface. The paper shows these point counts can be negative, and uses the full census of cubic fourfolds over F2 to find thousands of cubic fourfolds whose K3 categories are therefore not derived equivalent to any K3 surface over that field. The central result runs the other way: there is a cubic fourfold over Q that has no associated K3 surface over C, yet reduces well at 2 to a category whose point counts satisfy every known necessary condition for being a K3 surface over F2. So the zeta function, with all of its point counts, is too coarse an invariant to detect whether a K3 category is geometric.

What carries the argument

The load-bearing object is the $\ell$-adic Mukai Galois module $\widetilde{H}(\mathcal{C})$, defined as the image of the cohomological Fourier-Mukai transform of the embedding $\mathcal{C}\subset D^b(X)$; from it the paper forms the zeta function $$Z_{\mathcal{C}}(T)=\frac{(1-qT)^2}{(1-T)L_{\widetilde{H}(\mathcal{C})}(qT)(1-$q^{2}$T)}$$ and point counts $|\mathcal{C}(K)|=n a_n$ out of the logarithm of $Z_{\mathcal{C}}$. Invariance under Fourier-Mukai equivalence makes these counts categorical, not geometric. For a cubic fourfold, the zeta function reduces to data on primitive middle cohomology, the point counts relate to ordinary point counts by $|A_X(\mathbb{F}_{q^n})|=|X(\mathbb{F}_{q^n})|-(1+q^{2n}+q^{4n})/q^n$, and the categorical Hilbert square has the same zeta function as the Fano variety of lines. The non-geometric example is produced by combining the lattice-theoretic criterion for geometricity---a rank-2 sublattice of admissible discriminant in $\mathrm{CH}^2(X)$---with an explicit cubic containing a cubic scroll and a Veronese surface whose intersection number is 2, ruling out every twisted admissible sublattice.

What would settle it

Check the explicit cubic fourfold displayed in the proof: if the two determinantal surfaces do not lie on it, or if their intersection number is not 2, the geometric input collapses; if the reduction modulo 2 is singular, or if its primitive Weil polynomial has any cyclotomic factor other than $(T-1)^2$, the arithmetic conclusion fails.

Watch

Extended reading notes

Core claim

On its own terms, the paper's discovery is Theorem 4.1: a cubic fourfold $X/\mathbb{Z}$ exists whose complex fiber has no associated K3 surface and no associated twisted K3 surface, whose reduction at $p=2$ is smooth and induces an isomorphism $\mathrm{CH}^2(X_{\mathbb{Q}})\to \mathrm{CH}^2(X_{\mathbb{F}_2})$, and whose K3 category $A_X$ over $\mathbb{F}_2$ has point counts $|A_X(\mathbb{F}_{2^k})|=7,13,85,273,1137,\ldots$ satisfying all six conditions that characterize Weil polynomials of K3-type over $\mathbb{F}_2$. Consequently the zeta function of a K3 category, together with its entire sequence of point counts, cannot tell a genuinely nongeometric K3 category from a geometric one; point counting obstructs geometricity when counts are negative, but positive K3-shaped counts prove nothing.

Load-bearing premise

The argument assumes that point counts are invariant under every k-linear equivalence of K3 categories over a finite field, meaning that all such equivalences are Fourier-Mukai, and the paper explicitly notes in Remark 2.2 that this is not known over finite fields.

Editorial extensions

If this is right

  • Negative point counts for $A_X$ over a finite field obstruct the existence of a K3 surface over that field, so the constructions here give concrete finite-field evidence of nongeometricity that can be checked computationally.
  • The census over $\mathbb{F}_2$ shows that only a small fraction, about 0.47%, of smooth cubic fourfolds fail the point-count or field-extension growth tests, so the new obstructions are rare but not empty.
  • The categorical Hilbert square of $A_X$ has the same zeta function as the Fano variety of lines $F_1(X)$, so the usual point counts of $F_1(X)$ impose additional necessary conditions on any Weil polynomial claimed to come from a cubic fourfold's K3 category.
  • Among the 2,971,182 potentially valid Weil polynomials, a further 31,256 are ruled out by the Hilbert-square growth condition, refining the Honda-Tate picture for noncommutative K3 surfaces.
  • If the missing finite-field Fourier-Mukai statement is supplied, the point-count obstructions upgrade from ruling out Fourier-Mukai geometricity to ruling out geometricity outright.

Reading between the lines

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

  • A natural next step the paper does not take is to run the same zeta-function test on other noncommutative K3 candidates, such as components from higher-dimensional cubics, to see whether the blindness found here is common.
  • If the missing finite-field Fourier-Mukai statement from Remark 2.2 were proved, the negative-point-count obstructions would become unconditional geometric obstructions; until then they only rule out Fourier-Mukai geometricity.
  • The equality between the categorical Hilbert square and the Fano variety of lines suggests a motivic identity in a conjectural Grothendieck ring of noncommutative varieties; checking it on other categories with known moduli spaces would test how far the analogy extends.
  • The example makes a concrete prediction for a complete Honda-Tate theory: either the list of candidate Weil polynomials needs extra necessary conditions that rule out this polynomial, or nongeometric categories can genuinely share zeta functions with K3 surfaces.
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.

Referee Report

3 major / 5 minor

Summary. The paper studies arithmetic invariants of admissible Calabi-Yau categories of dimension two over finite fields. It defines the zeta function and point counts of a noncommutative K3 surface from the ℓ-adic Mukai realization of an admissible embedding, proves invariance under Fourier-Mukai equivalences, and observes that negative or badly growing point counts obstruct FM-geometricity. For cubic fourfolds, it gives formulas relating |A_X| to |X|, uses the census of smooth cubic fourfolds over F2 to find many K3 categories with negative point counts or failing growth, and proves an equality between the zeta function of the categorical Hilbert square and the Fano variety of lines. It then proposes a Honda-Tate-style list of necessary conditions for Weil polynomials of K3 categories and reports distribution data over F2. The last section constructs a special cubic fourfold over Q with good reduction at 2, no associated twisted K3 over C, and a reduction whose point counts satisfy the K3-type conditions.

Significance. The paper is useful and largely computational in a good sense: it gives a concrete derived invariant, supplies reproducible Magma code and explicit point counts, and produces a census of over a million isomorphism classes in which thousands of categories have point counts that obstruct FM-geometricity. Proposition 2.9 and the Hilbert-square relation are clean and independently valuable, as is the explicit lower-bound census. The Honda-Tate discussion provides a helpful organizing framework. These strengths are real even though the headline 'failure to detect nongeometricity' is conditional; the value of the paper does not depend on that headline.

major comments (3)
  1. [Section 4, Theorem 4.1 and Remark 4.5(1)] The advertised conclusion that point counts 'can also fail to detect nongeometricity' (abstract, Theorem 2) is not proved. Theorem 4.1 proves two disjoint facts: X_Q has no associated (twisted) K3 over C, and A_{X_{F2}} has point counts satisfying the necessary conditions of Theorem 3.2. It does not prove that A_{X_{F2}} is nongeometric over F2, and geometricity can change under specialization from Q to F2. Remark 4.5(1) concedes that nongeometricity over F2 is only 'conceivable.' Moreover, satisfying Theorem 3.2 is a necessary condition, not a proof that the zeta function is realized by an actual K3 surface over F2. The abstract and Theorem 2 should be weakened, or the missing nongeometricity of the reduction must be established.
  2. [Corollary 1.9] The proof that eH(S,α) is isomorphic to eH(S) as Galois modules is invalid. The sentence 'since these are Qℓ-vector spaces we further have an isomorphism of Galois modules' is contrary to the definition: a Qℓ-linear isomorphism need not commute with Frobenius, and the Brauer class α can twist the Galois action. Consequently the equality Z_C = Z_S for twisted K3 categories is not established. The corollary should either restrict to untwisted K3 surfaces or provide a real Galois-module comparison.
  3. [Sections 1.2–1.3 and Remark 2.2] The invariant is proved invariant only under Fourier-Mukai equivalences that factor through the ambient derived categories, whereas geometricity is defined as an arbitrary k-linear equivalence to D^b(S). The paper itself says in Remark 2.2 that the missing ingredient over finite fields is the nonemptiness of a certain moduli space of objects, so the negative point-count obstructions in Computations 2.3–2.7 formally exclude FM-geometricity, not geometricity as defined. Since this missing property is exactly what would identify eH(C) with eH(S), it is load-bearing for the main obstruction statement.
minor comments (5)
  1. [Theorem 4.1(2)] The proof shows rank equality via the specialization inequality but does not prove the asserted isomorphism of specialization maps CH^2(X_Q) → CH^2(X_{F2}); either prove the isomorphism or state the rank equality that is actually used.
  2. [Proposition 3.3(3)] The displayed condition uses |X_C(F_{p^m})| ≥ |X_C(F_{q^n})|; the q should presumably be p.
  3. [Computation 3.4] The two distribution tables are both headed ρ, making it unclear which table is the geometric Picard rank and which is the arithmetic Picard rank; add distinguishing labels.
  4. [Theorem 3.2(3)(b)] 'Transcedental' should be 'Transcendental'.
  5. [Page 5 and Reference [24]] There is a typo 'Froebnius' for 'Frobenius', and the reference title has 'exterion powers' for 'exterior powers'.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the K3-type point counts in Theorem 4.1 are computed from an explicit cubic, not fitted, and the two admitted gaps in the nongeometricity argument are logical limitations rather than circular reductions.

full rationale

The derivation chain is not circular. The zeta function and point counts are defined in Definition 1.5 from the Frobenius action on the ℓ-adic Mukai realization, and for the cubic-fourfold examples they are computed from the actual Weil polynomial f(t) obtained by the point-counting algorithm of [7, Section 4.2], rather than tuned to match Theorem 3.2. Proposition 2.9, used to justify the Hilbert-square obstructions in Proposition 3.3, is proved by substituting the Weil-polynomial expressions in Equations 2, 3, and 4, so the equality of zeta functions is a theorem rather than an imposed definition. The self-citations to [7] and [8] supply an independently published census and Magma code, which is reproducible computational evidence, and the rank-3 inference via the Tate conjecture for cubic fourfolds over F2 is an appeal to a published external result, not to the paper's own conclusion. The passages that might look like gaps are not circularity: Remark 2.2 explicitly concedes that over finite fields not every k-linear equivalence is known to be Fourier-Mukai, so negative point counts are only proved to obstruct FM-geometricity; and Remark 4.5(1) concedes that Theorem 4.1 does not prove nongeometricity of A_X_F2 over F2, only that it is 'conceivable.' These are honest logical limitations, not reductions of the results to their inputs. Accordingly, no circular step can be quoted; the paper is essentially self-contained against external computational benchmarks.

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

No free parameters are fitted; the zeta function is a definition and the Weil polynomials are computed from actual cubic fourfolds. The paper introduces the Galois module eH(C) and point counts as constructions, not as entities with independent falsifiable handles. The main load-bearing assumptions are listed above.

assumptions (5)
  • domain assumption Tate conjecture for cubic fourfolds over F2 (used to deduce rk CH^2(X_F2)=3 from the Weil polynomial)
    Invoked in the proof of Theorem 4.1, cited to [7, Section 4.6]; if false, the rank bound and specialization argument collapse.
  • standard math Specialization and rigidity theorems for Chow groups (Fulton [22], Addington-Auel [1])
    Used to pass from rk CH^2(X_F2)=3 to rk CH^2(X_Q)=3 and an isometry over C in Theorem 4.1.
  • domain assumption Yang-Yu classification of rank-3 lattices without (twisted) admissible primitive sublattices [53]
    Basis of Proposition 4.2's lattice computation; not proved in this paper.
  • domain assumption Every k-linear equivalence between K3 categories over finite fields is Fourier-Mukai
    Needed for point counts to be canonical and for negative point counts to obstruct geometricity; explicitly left open in Remark 2.2.
  • standard math Weil conjectures, Grothendieck-Lefschetz trace formula, and derived-equivalence invariance of point counts (Honigs [28], Lieblich-Olsson [42])
    Background for defining zeta functions and recovering point counts in the geometric case.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Zeta functions of K3 categories over finite fields." pith.science (2026). https://pith.science/paper/AWF7S65H

@misc{pith2026250518104,
  author       = {Pith},
  title        = {Pith review of: Zeta functions of K3 categories over finite fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AWF7S65H}},
  note         = {Machine review of arXiv:2505.18104}
}
read the original abstract

We define the zeta function of a noncommutative K3 surface over a finite field, an invariant under Fourier-Mukai equivalence that can be used to define point counts in this noncommutative setting. These point counts can be negative, and can be used as an obstruction to geometricity. In particular, we study the K3 category associated to a cubic fourfold over a finite field, and show that point counts can also fail to detect nongeometricity. We also study an analogue of Honda-Tate for K3 surfaces and for K3 categories, and provide a nontrivial restriction on the possible Weil polynomials of the K3 category of a cubic fourfold.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

54 extracted references · 54 canonical work pages

  1. [1]

    Nicolas Addington and Asher Auel, Some non-special cubic fourfolds , Doc. Math. 23 (2018) 637–651

    work page 2018

  2. [2]

    Nicolas Addington and Daniel Bragg, Hodge numbers are not derived invariants in positive characteristic, With an appendix by Alexander Petrov, Math. Ann. 387 (2023), no.1-2, 847– 878

    work page 2023

  3. [3]

    Nicolas Addington, Brendan Hassett, Yuri Tschinkel, and Anthony V´ arilly-Alvarado, Cubic fourfolds fibered in sextic del Pezzo surfaces , Am. J. Math. 141 (2019), 1479–1500

    work page 2019

  4. [4]

    Nicolas Addington and Richard Thomas, Hodge theory and derived categories of cubic fourfolds, Duke Math. J. 163 (2014), no. 10, 1885–1927

    work page 2014

  5. [5]

    Benjamin Antieau, Daniel Krashen, and Matthew Ward, Derived categories of torsors for abelian schemes, Adv. Math. 306 (2017), 1–23

    work page 2017

  6. [6]

    1 (2014), no

    Asher Auel, Marcello Bernardara, Michele Bolognesi, and Anthony V´ arilly-Alvarado, Cubic fourfolds containing a plane and a quintic del Pezzo surface Algebraic Geom. 1 (2014), no. 2, 181–193

    work page 2014

  7. [7]

    Comp (published electronically, 2024)

    Asher Auel, Avinash Kulkarni, Jack Petok, and Jonah Weinbaum, A census of cubic fourfolds over F2’, Math. Comp (published electronically, 2024)

    work page 2024

  8. [8]

    A census of cubic fourfolds over F2

    Asher Auel, Avinash Kulkarni, Jack Petok, and Jonah Weinbaum, Accompanying code to “A census of cubic fourfolds over F2”

    work page

Show all 54 references
  1. [9]

    James Ax, Zeroes of polynomials over finite fields , Amer. J. Math. 86 (1964), 255–261

    1964

  2. [10]

    Arend Bayer, Mart ´ ı Lahoz, Emanuele Macr ` ı, Howard Nuer, Alexander Perry, and Paolo Stel- lari, Stability conditions in families , Publ. math. IH ´ES 133 (2021), 157–325

    2021

  3. [11]

    Pieter Belmans, Lie Fu, and Theo Raedschelders, Derived categories of flips and cubic hyper- surfaces, Proc. Lond. Math. Soc. (3) 125 (2022), no.6, 1452–1482

    2022

  4. [12]

    Anthony Blanc, Marco Robalo, Bertrand To¨ en, and Gabriele Vezzosi, Motivic realizations of singularity categories and vanishing cycles , J. Ec. Polytech. - Math. 5 (2018), 651–747

    2018

  5. [13]

    125 (2001), no.3, 327–344

    Alexei Bondal and Dmitri Orlov, Reconstruction of a variety from the derived category and groups of autoequivalences, Compositio Math. 125 (2001), no.3, 327–344

    2001

  6. [14]

    Wieb Bosma, John Cannon, and Catherine Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput., 24 (1997), 235–265

    1997

  7. [15]

    5, 1069–1126

    Daniel Bragg and Ziquan Yang, Twisted derived equivalences and isogenies between K3 surfaces in positive characteristic , Algebra and Number Theory 17 (2023), no. 5, 1069–1126

    2023

  8. [16]

    Fran¸ cois Charles,The Tate conjecture for K3 surfaces over finite fields, Invent. Math. 194 (2013), no. 1, 119–145

    2013

  9. [17]

    Fran¸ cois Charles,Birational boundedness for holomorphic symplectic varieties, Zarhin ’s trick for K3 surfaces, and the Tate conjecture , Ann. of Math. (2) 184 (2016), no. 2, 487–526

    2016

  10. [18]

    Bogomolov, B

    Olivier Debarre, Antonio Laface, and Xavier Roulleau, Lines on cubic hypersurfaces over finite fields, in Geometry over nonclosed fields, 2015, F. Bogomolov, B. Hassett, and Yu. Tschinkel eds., Simons Symposia, Springer, Cham, 2017

    2015

  11. [19]

    Andreas-Stephan Elsenhans and J¨ org Jahnel,On the characteristic polynomial of the Frobenius on ´ etale cohomology, Duke Math. J. 164 (2015), no. 11, 2161–2184

    2015

  12. [20]

    (N.S.) 26 (2020), no.1, Paper No

    Sarah Frei, Moduli spaces of sheaves on K3 surfaces and Galois representations , Selecta Math. (N.S.) 26 (2020), no.1, Paper No. 6, 16 pp

    2020

  13. [21]

    Lie Fu and Charles Vial, Cubic fourfolds, Kuznetzov components, and Chow motives , Doc. Math. 28 (2023) 827–856

    2023

  14. [22]

    William Fulton, Intersection theory, Second edition, Ergeb. Math. Grenzgeb. (3), 2. Springer- Verlag, Berlin, 1998

    1998

  15. [23]

    Galkin and E

    S. Galkin and E. Shinder, The Fano variety of lines and rationality problem for a cubic hyper- surface, Preprint, arXiv:1405.5154

    arXiv

  16. [24]

    Groups 19 (2014), 57–103

    Nora Ganter and Mikhail Kapranov, Symmetric and exterion powers of categories , Transform. Groups 19 (2014), 57–103

    2014

  17. [25]

    Lothar G¨ ottsche,The Betti numbers of the Hilbert scheme of points on a smooth projective surface, Math. Ann. 286 (1990), 193–207

    1990

  18. [26]

    , revision of Special cubic hyper- surfaces of dimension four , Harvard University Thesis (1996)

    Brendan Hassett, Special cubic fourfolds (longwinded version). , revision of Special cubic hyper- surfaces of dimension four , Harvard University Thesis (1996)

    1996

  19. [27]

    Taira Honda, Isogeny classes of abelian varieties over finite fields , J. Math. Soc. Japan, 20 (1968), 83–95

    1968

  20. [28]

    Katrina Honigs, Derived equivalent surfaces and abelian varieties, and their zeta functions , Proc. Amer. Math. Soc. 143 (2015), no.10, 4161–4166. 16 ASHER AUEL AND JACK PETOK

    2015

  21. [29]

    Achter, Sebastian Casalaina-Martin, Katrina Honigs, and Charles Vial, Proc

    Katrina Honigs, Derived equivalence, Albanese varieties, and the zeta functions of 3- dimensional varieties , With an appendix by Jeffrey D. Achter, Sebastian Casalaina-Martin, Katrina Honigs, and Charles Vial, Proc. Amer. Math. Soc 146 (2018), no. 3, 1005–1013

    2018

  22. [30]

    Daniel Huybrechts, The geometry of cubic hypersurfaces , Cambridge Stud. Adv. Math., 206, Cambridge University Press, Cambridge, 2023. xvii+441 pp

    2023

  23. [31]

    3, 586–620

    Daniel Huybrechts, The K3 category of a cubic fourfold , Compositio Mathematica 153 (2017), no. 3, 586–620

    2017

  24. [32]

    Daniel Huybrechts, The K3 category of a cubic fourfold – an update , Beitr. Algebra. Geom (2025)

    2025

  25. [33]

    Kiran Kedlaya and Andrew Sutherland, A census of zeta functions of quartic K3 surfaces over F2, LMS J. Comput. Math. 19 (2016) 1–11

    2016

  26. [34]

    159 (2019), no

    Kazuhiro Ito, Unconditional construction of K3 surfaces over finite fields with given L-function in large characteristic , Manuscripta Math. 159 (2019), no. 3-4, 281–300

    2019

  27. [35]

    Sigma 9 (2021), Paper No

    Kazuhiro Ito, Tetsushi Ito, and Teruhisa Koshikawa, CM liftings of K3 surfaces over finite fields and their applications to the Tate conjecture , Forum Math. Sigma 9 (2021), Paper No. e29, 70 pp

    2021

  28. [36]

    Sigma 4 (2016), Paper No

    Wansu Kim and Keerthi Madapusi Pera, 2 -adic integral canonical models, Forum Math. Sigma 4 (2016), Paper No. e28, 34 pp

    2016

  29. [37]

    Notes taken by J

    Maxim Kontsevich, Triangulated categories and geometry , course at the ´Ecole Normale Sup´ erieure, Paris, 1998. Notes taken by J. Bella ¨ ıche, J.-F. Dat, I. Marin, G. Racinet, and H. Randriambololona

    1998

  30. [38]

    Kuznetsov, Derived categories of cubic fourfolds , Cohomological and geometric approaches to rationality problems , 219–243, Progr

    A. Kuznetsov, Derived categories of cubic fourfolds , Cohomological and geometric approaches to rationality problems , 219–243, Progr. Math., 282, Birkh¨auser Boston, Boston, MA, 2010

    2010

  31. [39]

    Chunyi Li, Laura Pertusi, and Xiaolei Zhao, Twisted cubics on cubic fourfolds and stability conditions, Algebr. Geom. 10 (2023), no.5, 620–642

    2023

  32. [40]

    London Math

    Chunyi Li, Laura Pertusi, and Xiaolei Zhao, Derived categories of hearts on Kuznetsov com- ponents , J. London Math. Soc. (2023)

    2023

  33. [41]

    Stephen Licthenbaum, Values of zeta-functions at nonnegative integers , in Number theory, No- ordwijkerhout 1983 (Noordwijkerhout, 1983), 127–138, Lecture Notes in Math., 1068, Springer- Verlag, Berlin, 1984

    1983

  34. [42]

    Max Lieblich and Martin Olsson, Fourier–Mukai partners of K3 surfaces in positive charac- teristic, Ann. Sci. ´Ec. Norm. Sup´ er. (4)48 (2015), no.5, 1001–1033

    2015

  35. [43]

    Notes Unione Mat

    Emanuele Macr ` ı and Paolo Stellari, Lectures on non-commutative K3 surfaces, Bridgeland stability, and moduli spaces , Birational geometry of hypersurfaces, Lect. Notes Unione Mat. Ital., vol. 26, Springer, Cham, 2019, pp. 199–265

    2019

  36. [44]

    Keerthi Madapusi Pera, The Tate conjecture for K3 surfaces in odd characteristic , Invent. Math. 201 (2015), no. 2, 625–668

    2015

  37. [45]

    Sigma 4 (2016), Paper No

    Keerhti Madapusi Pera, Erratum to 2-adic integral canonical models , Forum Math. Sigma 4 (2016), Paper No. e28, 34 pp

    2016

  38. [46]

    Pablo Magni, Finiteness results and the Tate conjecture for K3 surfaces via cubic fourfolds , Master’s Thesis, University of Bonn, 2018, available at https://www.math.uni-bonn.de/ people/huybrech/MagniThesis.pdf

    2018

  39. [47]

    Davesh Maulik, Supersingular K3 surfaces for large primes , Duke Math. J. 163 (2014), no. 13, 2357–2425

    2014

  40. [48]

    James Milne, Values of zeta functions of varieties over finite fields , Amer. J. Math. 108 (1986), no. 2, 297–360

    1986

  41. [49]

    Orlov, Dmitri, Derived categories of coherent sheaves and motives , Preprint, arXiv:0512620

  42. [50]

    Yulieth Prieto-Monta˜ nez,On Hyperk¨ ahler manifolds ofK3[n]-type with large Picard number , preprint arXiv:2408.16610, 2024

    2024 arXiv

  43. [51]

    5, 1133–1146

    Lenny Taelman, K3 surfaces over finite fields with given L-function, Algebra and Number Theory 10 (2016), No. 5, 1133–1146

    2016

  44. [52]

    John Tate, Endomorphisms of abelian varieties over finite fields , Invent. Math. 2 (1966), 134– 144

    1966

  45. [53]

    Song Yang and Xun Yu, On lattice polarizable cubic fourfolds , Res. Math. Sci. 10, 2 (2023)

    2023

  46. [54]

    Ziquan Yang, Isogenies between K3 surfaces over Fp, Int. Math. Res. Not. IMRN (2022), no.6, 4407–4450. Department of Mathematics, Dartmouth College, Hanover, New Hampshire E-mail address: asher.auel@dartmouth.edu ZETA FUNCTIONS OF K3 CATEGORIES OVER FINITE FIELDS 17 Department...

    2022

Pith tools

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