Varieties with ample Frobenius-trace kernel

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$.

41 pages, last version, accepted for publication in Annales Henri Lebesgue

References in corpus (8)

• F-signature exists
• The limit as p -> infinity of the Hilbert-Kunz multiplicity of sum(x_i^(d_i))
• Frobenius-Seshadri constants and characterizations of projective space
• Seshadri Constants and Fujita's Conjecture via Positive Characteristic Methods
• Spinor sheaves on singular quadrics
• On the Frobenius direct image of the structure sheaf of a homogeneous projective variety
• The Frobenius morphism on flag varieties, II
• The Frobenius morphism on flag varieties, I