English

Antiampleness and ampleness of the Frobenius cokernel

Algebraic Geometry 2025-10-06 v1 Commutative Algebra

Abstract

We show that if XX is a smooth Fano variety containing a line or a conic with respect to KX-K_X, then the Frobenius cokernel BX:=coker(OXFOX)\mathcal B_X:=\mathrm{coker}(\mathcal O_X\to F_* \mathcal O_X) is not antiample; using this criteria, we show that the only smooth Fano threefolds with antiample Frobenius cokernel are P3\mathbb P^3 and the quadric threefold (in characteristic p2p\neq 2), thus answering a question raised by Carvajal-Rojas and Patakfalvi. We also show that for any smooth complete intersection XPnX\subset \mathbb P^n of degree d1,,dcd_1,\dots,d_c such that di=n\sum d_i = n or n1n-1, the Frobenius cokernel is not antiample. We also study the kernels of the higher Cartier operators, and show that for Pn\mathbb P^n and quadric hypersurfaces, all the kernels of the higher Cartier operators are antiample, and thus that the full set of kernels of the Cartier operators cannot characterize projective space. Finally, we show that the Frobenius cokernel is ample if and only if the cotangent bundle is ample.

Keywords

Cite

@article{arxiv.2510.03193,
  title  = {Antiampleness and ampleness of the Frobenius cokernel},
  author = {Devlin Mallory},
  journal= {arXiv preprint arXiv:2510.03193},
  year   = {2025}
}

Comments

15 pages; comments welcome!