skip to main content


This content will become publicly available on May 15, 2025

Title: Geometry of smooth extremal surfaces
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
Award ID(s):
1840234
PAR ID:
10531537
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
Elsevier
Date Published:
Journal Name:
Journal of Algebra
Volume:
646
Issue:
C
ISSN:
0021-8693
Page Range / eLocation ID:
376 to 411
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. 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
  2. We prove that if f f is a reduced homogeneous polynomial of degree d d , then its F F -pure threshold at the unique homogeneous maximal ideal is at least 1 d − 1 \frac {1}{d-1} . We show, furthermore, that its F F -pure threshold equals 1 d − 1 \frac {1}{d-1} if and only if f ∈ m [ q ] f\in \mathfrak m^{[q]} and d = q + 1 d=q+1 , where q q is a power of p p . Up to linear changes of coordinates (over a fixed algebraically closed field), we classify such “extremal singularities”, and show that there is at most one with isolated singularity. Finally, we indicate several ways in which the projective hypersurfaces defined by such forms are “extremal”, for example, in terms of the configurations of lines they can contain. 
    more » « less
  3. Brill-Noether Theorems play a central role in the birational geometry of moduli spaces of sheaves on surfaces. This paper surveys recent work on the Brill-Noether problem for rational surfaces. In order to highlight some of the difficulties for more general surfaces, we show that moduli spaces of rank 2 sheaves on very general hypersurfaces of degree d in P3 can have arbitrarily many irreducible components as d tends to infinity. 
    more » « less
  4. Abstract

    The surface states of 3D topological insulators in general have negligible quantum oscillations (QOs) when the chemical potential is tuned to the Dirac points. In contrast, we find that topological Kondo insulators (TKIs) can support surface states with an arbitrarily large Fermi surface (FS) when the chemical potential is pinned to the Dirac point. We illustrate that these FSs give rise to finite-frequency QOs, which can become comparable to the extremal area of the unhybridized bulk bands. We show that this occurs when the crystal symmetry is lowered from cubic to tetragonal in a minimal two-orbital model. We label such surface modes as ‘shadow surface states’. Moreover, we show that the sufficient next-nearest neighbor out-of-plane hybridization leading to shadow surface states can be self-consistently stabilized for tetragonal TKIs. Consequently, shadow surface states provide an important example of high-frequency QOs beyond the context of cubic TKIs.

     
    more » « less
  5. A Teichmüller curve V ⊂ M g V \subset \mathcal {M}_g is an isometrically immersed algebraic curve in the moduli space of Riemann surfaces. These rare, extremal objects are related to billiards in polygons, Hodge theory, algebraic geometry and surface topology. This paper presents the six known families of primitive Teichmüller curves that have been discovered over the past 30 years, and a selection of open problems. 
    more » « less