Quaternary quartic forms and Gorenstein rings

TL;DR

This paper classifies quaternary quartic forms via their rank and decomposition, linking these to Gorenstein rings and geometric structures, and explores their stratification, properties, and explicit constructions of related algebraic varieties.

Contribution

It provides a new classification of quaternary quartic forms based on rank and powersum decompositions, connecting algebraic and geometric perspectives.

Findings

Stratification of quartic forms by rank and Betti tables.

Identification of powersum varieties as quartic surfaces.

Explicit constructions of Gorenstein rings and associated varieties.

Abstract

A quaternary quartic form, a quartic form in four variables, is the dual socle generator of an Artinian Gorenstein ring of codimension and regularity 4. We present a classification of quartic forms in terms of rank and powersum decompositions which corresponds to the classification by the Betti tables of the corresponding Artinian Gorenstein rings. This gives a stratification of the space of quaternary quartic forms which we compare with the Noether-Lefschetz stratification. We discuss various phenomena related to this stratification. We study the geometry of powersum varieties for a general form in each stratum. In particular, we show that the powersum variety $VSP(F,9)$ of a general quartic with singular middle catalecticant is again a quartic surface, thus giving a rational map between two divisors in the space of quartics. Finally, we provide various explicit constructions of general Artinian Gorenstein rings corresponding to each stratum and discuss their lifting to higher dimension. These provide constructions of codimension four varieties, which include canonical surfaces, Calabi-Yau threefolds and Fano fourfolds. In the particular case of quaternary quartics, our results yield answers to questions posed by Geramita, Iarrobino-Kanev, and Reid.