An official website of the United States government
We study the geometry of smooth projective surfaces defined by Frobenius forms, a class of homogenous polynomials in prime characteristic recently shown to have minimal possible F-pure threshold among forms of the same degree. We call these surfaces extremal surfaces, and show that their geometry is reminiscent of the geometry of smooth cubic surfaces, especially non-Frobenius split cubic surfaces. For instance, extremal surfaces have many lines but no triangles, hence many “star points” analogous to Eckardt points on a cubic surface. We generalize the classical notion of a double six for cubic surfaces to a double 2d on an extremal surface of degree d. We show that, asymptotically in d, smooth extremal surfaces have at least (1/16)d^{14} double 2d's. A key element of the proofs is the large automorphism group of an extremal surface, which we show to act transitively on many associated sets, such as the set of triples of skew lines on the extremal surface.
more »
« less
Tate algebras and Frobenius non-splitting of excellent regular rings
An excellent ring of prime characteristic for which the Frobenius map is pure is also Frobenius split in many commonly occurring situations in positive characteristic commutative algebra and algebraic geometry. However, using a fundamental construction from rigid geometry, we show that excellent $$F$$-pure rings of prime characteristic are not Frobenius split in general, even for Euclidean domains. Our construction uses the existence of a complete non-Archimedean field $$k$$ of characteristic $$p$$ with no nonzero continuous $$k$$-linear maps $$k^{1/p} \to k$$. An explicit example of such a field is given based on ideas of Gabber, and may be of independent interest. Our examples settle a long-standing open question in the theory of $$F$$-singularities whose origin can be traced back to when Hochster and Roberts introduced the notion of $$F$$-purity. The excellent Euclidean domains we construct also admit no nonzero $$R$$-linear maps $$R^{1/p} \rightarrow R$$. These are the first examples that illustrate that $$F$$-purity and Frobenius splitting define different classes of singularities for excellent domains, and are also the first examples of excellent domains with no nonzero $$p^{-1}$$-linear maps. The latter is particularly interesting from the perspective of the theory of test ideals.
more »
« less
- Award ID(s):
- 1902616
- PAR ID:
- 10519575
- Publisher / Repository:
- EMS Press
- Date Published:
- Journal Name:
- Journal of the European Mathematical Society
- Volume:
- 25
- Issue:
- 11
- ISSN:
- 1435-9855
- Page Range / eLocation ID:
- 4291 to 4314
- Subject(s) / Keyword(s):
- 13A35 (Primary) 14G22 (Secondary) 46S10 (Secondary) 12J25 (Secondary) 13F40 (Secondary) Tate algebra Frobenius splitting $F$-purity $p^{-1}$-linear map excellent ring convergent power series
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)This article extends the notion of a Frobenius power of an ideal in prime characteristic to allow arbitrary nonnegative real exponents. These generalized Frobenius powers are closely related to test ideals in prime characteristic, and multiplier ideals over fields of characteristic zero. For instance, like these well-known families of ideals, Frobenius powers also give rise to jumping exponents that we call critical Frobenius exponents. In fact, the Frobenius powers of a principal ideal coincide with its test ideals, but Frobenius powers appear to be a more refined measure of singularities than test ideals in general. Herein, we develop the theory of Frobenius powers in regular domains, and apply it to study singularities, especially those of generic hypersurfaces. These applications illustrate one way in which multiplier ideals behave more like Frobenius powers than like test ideals.more » « less
-
Miller, Claudia; Striuli, Janet; Witt, Emily E. (Ed.)Cubic surfaces in characteristic two are investigated from the point of view of prime characteristic commutative algebra. In particular, we prove that the non-Frobenius split cubic surfaces form a linear subspace of codimension four in the 19-dimensional space of all cubics, and that up to projective equivalence, there are finitely many non-Frobenius split cubic surfaces. We explicitly describe defining equations for each and characterize them as extremal in terms of configurations of lines on them. In particular, a (possibly singular) cubic surface in characteristic two fails to be Frobenius split if and only if no three lines on it form a “triangle”.more » « less
-
Abstract We prove that in either the convergent or overconvergent setting, an absolutely irreducible $$F$$-isocrystal on the absolute product of two or more smooth schemes over perfect fields of characteristic $$p$$, further equipped with actions of the partial Frobenius maps, is an external product of $$F$$-isocrystals over the multiplicands. The corresponding statement for lisse $$\overline{{\mathbb{Q}}}_{\ell }$$-sheaves, for $$\ell \neq p$$ a prime, is a consequence of Drinfeld’s lemma on the fundamental groups of absolute products of schemes in characteristic $$p$$. The latter plays a key role in V. Lafforgue’s approach to the Langlands correspondence for reductive groups with $$\ell $$-adic coefficients; the $$p$$-adic analogue will be considered in subsequent work with Daxin Xu.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.4171/JEMS/1259
