Extremal Singularities in Prime Characteristic

Abstract: What is the most singular possible singularity? What can we say about its geometric and algebraic properties? This seemingly naive question has a sensible answer in characteristic p. The "F-pure threshold," which is an analog of the log canonical threshold, can be used to "measure" how bad a singularity is. The F-pure threshold is a numerical invariant of a point on (say) a hypersurface---a positive rational number that is 1 at any smooth point (or more generally, any F-pure point) but less than one in general, with "more singular" points having smaller F-pure thresholds. We explain a recently proved lower bound on the F-pure threshold in terms of the multiplicity of the singularity. We also show that there is a nice class of hypersurfaces---which we call "Extremal hypersurfaces"---for which this bound is achieved. These have very nice (extreme!) geometric properties. For example, the affine cone over a non Frobenius split cubic surface of characteristic two is one example of an "extremal singularity". Geometrically, these are the only cubic surfaces with the property that *every* triple of coplanar lines on the surface meets in a single point (rather than a "triangle" as expected)---a very extreme property indeed.

Mathematics

Audience: advanced learners

IIT Bombay Virtual Commutative Algebra Seminar

Series comments: Note: To get meeting ID,fill the Google form on the web-site of the series sites.google.com/view/virtual-comm-algebra-seminar/home