← Back to arXiv
arXivAlgebraic GeometryarXiv:2608.11304

Frobenius--Tschirnhausen ampleness

The paper investigates a special class of geometric objects called smooth projective varieties, which are shapes defined by polynomial equations in a way that avoids sharp corners or self-intersections. The focus is on a particular bundle of data attached to each such variety, constructed using a purely algebraic operation called the Frobenius morphism, which raises functions to the power of the prime number p in a setting where arithmetic is done modulo p. The resulting object, called the Frobenius-trace kernel or Tschirnhausen bundle, encodes subtle geometric and arithmetic information about the variety, and the paper studies what happens when this bundle satisfies a strong positivity condition called ampleness.

The first main result shows that if a variety has an ample Frobenius-trace kernel, then any map from it to another variety must be finite onto its image, meaning the map cannot collapse any curves or higher-dimensional pieces. This is a powerful rigidity statement, and it strongly suggests that such varieties must belong to a well-studied and relatively rare family called Fano varieties of Picard rank 1, which are roughly the most positively curved and geometrically simplest varieties in some sense. Establishing this kind of rigidity helps narrow down what these varieties can look like.

The second main result confirms that a broad and important family of examples, the generalized Grassmannians associated with classical Lie groups and the exceptional group G2, do in fact have ample Frobenius-trace kernels. Grassmannians are spaces whose points parametrize linear subspaces of a fixed vector space, and generalized Grassmannians extend this idea using symmetry groups from Lie theory. The proof uses tools from representation theory and a technique called Frobenius splitting. There are some exceptions in small prime characteristics, and the paper explains these as arising from unusual symmetry-breaking maps between algebraic groups called exotic isogenies, which exist only in those special low-characteristic cases.

Read original →