Geometry of smooth extremal surfaces

DOI10.1016/J.JALGEBRA.2024.02.003MaRDI QIDQ6196144zbMATH OpenFDO

Authors Anna Brosowsky, Janet Page, Tim Ryan, K. E. Smith

Publication date 14 March 2024

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2110.15908

zbMATH Keywords

automorphism groupdouble sixHermitian surfaceslines on surfacespositive characteristic

Mathematics Subject Classification ID

Arithmetic problems in algebraic geometry; Diophantine geometry (14Gxx) Surfaces and higher-dimensional varieties (14Jxx) Finite geometry and special incidence structures (51Exx)

Abstract: We study the geometry of the smooth projective surfaces that are 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 $extitextremalsurfaces$, and show that their geometry is reminiscent of the geometry of smooth cubic surfaces, especially non-Frobenius split cubic surfaces of characteristic two, which are examples of extremal surfaces. For example, we show that an extremal surface $X$ contains $d^2(d^2-3d+3)$ lines where $d$ is the degree, which is notable since the number of lines on a complex surface is bounded above by a quadratic function in $d$. Whenever two of those lines meet, they determine a $d$-tangent plane to $X$ which consists of a union of $d$ lines meeting in one point; we count the precise number of such "star points" on $X$, showing that it is quintic in the degree, which recovers the fact that there are exactly 45 Eckardt points on an extremal cubic surface. Finally, 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 $frac116d^{14}$ double $2d$'s. A key element of the proofs is using the large automorphism group of extremal surfaces which we show acts transitively on many sets, such as the set of (triples of skew) lines on the extremal surface. Extremal surfaces are closely related to finite Hermitian geometries, which we recover as the $mathbb{F}_{q^2}$-rational points of special extremal surfaces defined by Hermitian forms over $mathbb{F}_{q^2}$.

Recommendations

• Cubic surfaces of characteristic two
• Lower bounds on the \(F\)-pure threshold and extremal singularities
• On extremal elliptic surfaces in characteristic 2 and 3.
• Extremal elliptic surfaces in characteristic 2 and 3
• Surfaces in \({\mathbb P}^4\) with extremal general hyperplane section.

Cites work

• 112 LINES ON SMOOTH QUARTIC SURFACES (CHARACTERISTIC 3): Table 1
• 64 lines on smooth quartic surfaces
• A characterization of rational singularities in terms of injectivity of Frobenius maps
• A combinatorial characterization of the Fermat cubic surface in characteristic 2
• A combinatorial characterization of the Hermitian surface
• A generalization of tight closure and multiplier ideals
• A Graphic Characterization of Hermitian Curves
• Algebraic curves over a finite field
• Algebraic geometric codes. Basic notions
• Algebraic Groups Over Finite Fields
• ALGEBRAICO-GEOMETRIC CODES
• Applications of finite geometry in coding theory and cryptography
• Automorphisms of cubic surfaces in positive characteristic
• Classical groups and geometric algebra
• Classification of Frobenius forms in five variables
• Counting lines on projective surfaces
• Cubic surfaces of characteristic two
• Degeneration of Fermat hypersurfaces in positive characteristic
• Discreteness and rationality of \(F\)-thresholds
• Finite generalized quadrangles
• Galois geometries and coding theory
• General Galois Geometries
• Hermitian Varieties in a Finite Projective Space PG(N, q²)
• scientific article; zbMATH DE number 436950 (Why is no real title available?)
• scientific article; zbMATH DE number 4191878 (Why is no real title available?)
• scientific article; zbMATH DE number 3135133 (Why is no real title available?)
• scientific article; zbMATH DE number 5177565 (Why is no real title available?)
• scientific article; zbMATH DE number 3917102 (Why is no real title available?)
• scientific article; zbMATH DE number 3927109 (Why is no real title available?)
• scientific article; zbMATH DE number 1219619 (Why is no real title available?)
• scientific article; zbMATH DE number 1339029 (Why is no real title available?)
• scientific article; zbMATH DE number 3308886 (Why is no real title available?)
• scientific article; zbMATH DE number 3338305 (Why is no real title available?)
• scientific article; zbMATH DE number 2212146 (Why is no real title available?)
• Lattices of algebraic cycles on Fermat varieties in positive characteristics.
• Low dimensional models of the finite split Cayley hexagon
• Lower bounds on the \(F\)-pure threshold and extremal singularities
• Measuring singularities with Frobenius: the basics
• Modular curves, Shimura curves, and Goppa codes, better than Varshamov-Gilbert bound
• Non-existence de certains polygones généralises. I
• Non-existence de certains polygones généralises. II
• On F-pure thresholds
• On rational surfaces I. Irreducible curves of arithmetic genus 0 or 1
• On the automorphisms of hypersurfaces
• Open problems in finite projective spaces
• Star points on smooth hypersurfaces
• Szemerédi-Trotter-type theorems in dimension 3
• The characterization of Hermitian surfaces by the number of points
• THE MAXIMUM NUMBER OF LINES LYING ON A QUARTIC SURFACE

Cited in

(2)

• q-bic threefolds and their surface of lines
• Smooth surfaces with maximally many lines

This page was built for publication: Geometry of smooth extremal surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6196144)