Projective Quartic Delsarte K3 Surfaces

• Projective quartic Delsarte K3 surfaces are defined by sparse four-monomial invertible polynomials with a unique critical point at the origin.
• They facilitate explicit calculations in periods, L-functions, and finite-field point counts through hypergeometric and lattice methods.
• Their structure bridges concrete quartic geometry with automorphism theory, mirror symmetry, and broader K3 surface classifications.

Projective quartic Delsarte K3 surfaces are smooth quartic hypersurfaces in $\mathbf P^3$ defined by Delsarte, or equivalently invertible, polynomials: the exponent matrix is square and invertible, with a unique critical point at the origin. Since a quartic in $\mathbf P^3$ is a K3 surface when smooth, these objects occupy a particularly explicit locus in the theory of algebraic K3 surfaces, where projective geometry, lattice polarization, automorphism theory, period computations, point counting over finite fields, and mirror-symmetric constructions can all be written in concrete form. Recent work treats them both as individual hypersurfaces and as one-parameter pencils, and also clarifies that many closely related quartic K3 models are not Delsarte in the strict sense even when they share comparable symmetry or arithmetic features (Davis et al., 20 Aug 2025).

1. Definition and basic framework

A Delsarte quartic K3 surface is given by a quartic hypersurface in $\mathbf P^3$ whose defining polynomial has exactly four monomials and is invertible in the sense used in mirror symmetry. In the later arithmetic treatment of Delsarte pencils, the general form is written as

$$X_{A,\psi}=V(F_A-d^T\psi x_0x_1x_2x_3)\subset \mathbf P^3,$$

where $d^T$ is the sum of the dual weights of the transposed polynomial. The same source states that, up to isomorphism, there are ten quartic Delsarte pencils, and then isolates five whose $L$-functions were not already treated in earlier work (Davis et al., 20 Aug 2025).

A complementary earlier study considers five one-parameter deformations of Delsarte K3 quartic hypersurfaces in projective space, chosen so that each carries a finite diagonal symmetry group $H$ preserving the holomorphic $2$-form. Those five pencils are

$$\mathcal F=\{F_4,\;F_{1L3},\;F_{2L2},\;L_{2L2},\;L_4\},$$

with parameter $v$ and the reparametrization $\mathbf P^3$0. This symmetry is not incidental: it organizes the period decomposition, the finite-field point counts, and the factorization of the zeta and $\mathbf P^3$1-functions (Doran et al., 2018).

Two structural points recur throughout the literature. First, the quartic condition is rigid enough to make explicit calculations possible, yet flexible enough to support nontrivial birational and lattice-theoretic phenomena. Second, the Delsarte condition is stronger than mere explicitness: several important quartic K3 models arising from lattice polarization, determinantal constructions, or involution quotients are closely related but are not presented as Delsarte surfaces in the strict sense.

2. Canonical pencils and symmetry types

The five symmetric quartic Delsarte pencils studied in the hypergeometric decomposition work are the following (Doran et al., 2018):

• $\mathbf P^3$2 (Dwork pencil):

$\mathbf P^3$3

with symmetry group $\mathbf P^3$4.

• $\mathbf P^3$5 (Klein–Mukai pencil):

$\mathbf P^3$6

with symmetry group $\mathbf P^3$7.

• $\mathbf P^3$8:

$\mathbf P^3$9

with symmetry group $\mathbf P^3$0.

• $\mathbf P^3$1:

$\mathbf P^3$2

with symmetry group $\mathbf P^3$3.

• $\mathbf P^3$4:

$\mathbf P^3$5

with symmetry group $\mathbf P^3$6.

A later paper studies the five remaining quartic Delsarte pencils not already treated there. Their defining equations are again quartic hypersurfaces in $\mathbf P^3$7, but with different dual weights $\mathbf P^3$8, bad-prime sets, and symmetry groups. They include the loop-type pencil

$\mathbf P^3$9

and the chain-type pencils

$$X_{A,\psi}=V(F_A-d^T\psi x_0x_1x_2x_3)\subset \mathbf P^3,$$0

$$X_{A,\psi}=V(F_A-d^T\psi x_0x_1x_2x_3)\subset \mathbf P^3,$$1

$$X_{A,\psi}=V(F_A-d^T\psi x_0x_1x_2x_3)\subset \mathbf P^3,$$2

and

$$X_{A,\psi}=V(F_A-d^T\psi x_0x_1x_2x_3)\subset \mathbf P^3,$$3

Among these, the symmetry group is trivial in the first two cases, then $$X_{A,\psi}=V(F_A-d^T\psi x_0x_1x_2x_3)\subset \mathbf P^3,$$4, $$X_{A,\psi}=V(F_A-d^T\psi x_0x_1x_2x_3)\subset \mathbf P^3,$$5, and $$X_{A,\psi}=V(F_A-d^T\psi x_0x_1x_2x_3)\subset \mathbf P^3,$$6 in the remaining three (Davis et al., 20 Aug 2025).

Taken together, these two five-pencil studies provide an explicit ten-pencil landscape for quartic Delsarte K3 hypersurfaces. The organizing parameters differ—$$X_{A,\psi}=V(F_A-d^T\psi x_0x_1x_2x_3)\subset \mathbf P^3,$$7 in the earlier symmetric treatment and $$X_{A,\psi}=V(F_A-d^T\psi x_0x_1x_2x_3)\subset \mathbf P^3,$$8 in the later Delsarte-pencil formalism—but both frameworks exploit the same feature: the defining polynomial is sparse enough that its symmetry and arithmetic can be controlled explicitly.

3. Periods, Picard–Fuchs equations, and hypergeometric motives

The primitive cohomology of a quartic K3 surface has dimension $$X_{A,\psi}=V(F_A-d^T\psi x_0x_1x_2x_3)\subset \mathbf P^3,$$9, with $d^T$0 and $d^T$1. In the symmetric-pencil setting, the Jacobian-ring piece

$d^T$2

decomposes into eigenspaces under the symmetry group $d^T$3, and each eigenspace corresponds to a monomial period. The resulting Picard–Fuchs operators are hypergeometric. For the Dwork pencil $d^T$4, for example, the $d^T$5 periods split into $d^T$6 periods satisfying

$d^T$7

$d^T$8 periods satisfying

$d^T$9

and $L$0 periods satisfying

$L$1

The same paper computes all Picard–Fuchs differential equations for the five symmetric quartic Delsarte pencils and matches each differential equation to a factor of the zeta function, yielding a complete explicit description of the corresponding motives in terms of hypergeometric motives (Doran et al., 2018).

For the five additional Delsarte pencils, the holomorphic Picard–Fuchs equation is obtained from the dual weights by Gähres’ theorem, while the remaining periods are extracted through Adolphson–Sperber’s monomial-basis method. The cohomology is decomposed into a toric holomorphic part, an additional hypergeometric piece $L$2, and an algebraic part $L$3 (Davis et al., 20 Aug 2025).

Pencil type	PF order	Extra pieces
$L$4, $L$5	18	$L$6, $L$7
$L$8, $L$9	18	$H$0, $H$1
$H$2, $H$3	6	$H$4, $H$5
$H$6, $H$7	6	$H$8, $H$9
$2$0, $2$1	4	$2$2, $2$3

The arithmetic side is equally explicit. The point counts are computed by Gauss sums and rewritten as finite-field hypergeometric sums. In the symmetric study, this leads to factorizations of the primitive $2$4-series into hypergeometric $2$5-series, with different quadratic or cyclotomic fields appearing according to the symmetry: $2$6, $2$7, $2$8, and $2$9 all occur in specific families. In the later Delsarte-pencil treatment, the incomplete $$\mathcal F=\{F_4,\;F_{1L3},\;F_{2L2},\;L_{2L2},\;L_4\},$$0-functions factor into Dedekind zeta factors, hypergeometric $$\mathcal F=\{F_4,\;F_{1L3},\;F_{2L2},\;L_{2L2},\;L_4\},$$1-functions, and in some cases gamma-triple $$\mathcal F=\{F_4,\;F_{1L3},\;F_{2L2},\;L_{2L2},\;L_4\},$$2-functions over cyclotomic extensions such as $$\mathcal F=\{F_4,\;F_{1L3},\;F_{2L2},\;L_{2L2},\;L_4\},$$3, $$\mathcal F=\{F_4,\;F_{1L3},\;F_{2L2},\;L_{2L2},\;L_4\},$$4, and $$\mathcal F=\{F_4,\;F_{1L3},\;F_{2L2},\;L_{2L2},\;L_4\},$$5 (Davis et al., 20 Aug 2025).

The conceptual conclusion is that, for these explicit quartic Delsarte families, the same hypergeometric data governs complex periods, finite-field Frobenius traces, and $$\mathcal F=\{F_4,\;F_{1L3},\;F_{2L2},\;L_{2L2},\;L_4\},$$6-function factorizations. This is one of the sharpest instances in K3 theory where geometry and arithmetic are simultaneously computable.

4. Projective models, lattice polarization, and the boundary of the Delsarte condition

The broader theory of projective quartic K3 surfaces contains many explicit families that are highly relevant to Delsarte geometry without always being Delsarte themselves. One major source is the study of K3 surfaces with automorphism group $$\mathcal F=\{F_4,\;F_{1L3},\;F_{2L2},\;L_{2L2},\;L_4\},$$7. There every such surface admits an explicit birational model as a double sextic, and for Picard number $$\mathcal F=\{F_4,\;F_{1L3},\;F_{2L2},\;L_{2L2},\;L_4\},$$8 there is also a quartic hypersurface model in $$\mathcal F=\{F_4,\;F_{1L3},\;F_{2L2},\;L_{2L2},\;L_4\},$$9. The quartic is written

$v$0

and for the higher-rank regime one obtains

$v$1

These quartics have only rational double points, with ADE type depending on the Picard number; when $v$2, the quartic coincides with the Inose quartic, while for $v$3 it gives a multi-parameter generalization. The same paper explicitly notes that these quartics are not identified as Delsarte surfaces in the strict sense; the connection to Delsarte quartics is therefore indirect (Clingher et al., 2023).

A second source comes from rank-$v$4 $v$5-elementary lattice polarizations. Exactly three such primitive lattices occur with finite automorphism group: $v$6 Each is realized by an explicit quartic hypersurface in $v$7. For a general $v$8-polarized surface, the quartic has exactly two rational double points, an $v$9-singularity at $\mathbf P^3$00 and an $\mathbf P^3$01-singularity at $\mathbf P^3$02; the coarse moduli space is a $\mathbf P^3$03-dimensional open subset

$\mathbf P^3$04

The $\mathbf P^3$05-family is self-dual under van Geemen–Sarti–Nikulin duality, while the $\mathbf P^3$06-family is a Vinberg-type quartic family with moduli in

$\mathbf P^3$07

The paper presents this quartic-lattice-moduli package as especially important for the classification of projective quartic Delsarte K3 surfaces (Clingher et al., 2020).

The resulting picture is sharply stratified. Some quartic K3 surfaces are Delsarte in the strict invertible sense; others arise from elliptic fibrations, double-sextic quotients, or lattice-theoretic constructions and merely border the Delsarte world. The distinction matters because Delsarte-specific tools—such as transposed polynomials, dual weights, and explicit hypergeometric parameter sets—do not automatically extend to every explicit quartic model.

5. Automorphisms, determinantal quartics, and Cremona geometry

Quartic K3 surfaces are exceptional among smooth hypersurfaces in projective space. A theorem of Matsumura–Monsky and Chang, as presented in the quartic-K3 study of ambient birational automorphisms, says that if $\mathbf P^3$08 is a smooth hypersurface of degree $\mathbf P^3$09 and $\mathbf P^3$10, then every automorphism of $\mathbf P^3$11 is induced by an automorphism of $\mathbf P^3$12. The quartic surface case is therefore the principal higher-dimensional exception. That paper begins from the Fermat quartic

$\mathbf P^3$13

which it treats as the archetypal quartic used in the construction, together with the two skew lines

$\mathbf P^3$14

A small generic deformation preserving $\mathbf P^3$15 and $\mathbf P^3$16 yields a smooth quartic K3 surface $\mathbf P^3$17 with

$\mathbf P^3$18

intersection matrix

$\mathbf P^3$19

and automorphism group

$\mathbf P^3$20

For this surface, every automorphism is derived from $\mathbf P^3$21, although no nontrivial automorphism comes from $\mathbf P^3$22. The same paper also constructs a rank-$\mathbf P^3$23 quartic-model K3 surface with automorphism group $\mathbf P^3$24 for which no nontrivial automorphism is derived from any Cremona transformation of $\mathbf P^3$25 in any quartic embedding (Oguiso, 2012).

A distinct but related phenomenon appears in the determinantal quartic geometry surrounding Oguiso’s example. Two smooth quartic K3 surfaces $\mathbf P^3$26 are constructed so that they are Cremona isomorphic but not projectively equivalent. The associated Cremona transformation is identified with the classical cubo-cubic transformation of $\mathbf P^3$27, defined by the linear system of cubics through a general smooth irreducible curve $\mathbf P^3$28 of genus $\mathbf P^3$29 and degree $\mathbf P^3$30. The quartics themselves are determinantal: $\mathbf P^3$31 This shows concretely that abstract isomorphism, Cremona equivalence, and projective equivalence diverge in the quartic K3 setting, even though they coincide much more often for other smooth hypersurfaces (Reede, 2019).

For projective quartic Delsarte K3 surfaces, these results supply the ambient birational background rather than a Delsarte-specific theorem. The Fermat quartic is a classical Delsarte surface, but many of the strongest automorphism and Cremona results concern deformations or determinantal quartics that lie adjacent to, rather than inside, the strict Delsarte class.

6. Mirror symmetry and categorical placement

Homological mirror symmetry provides the broadest categorical framework currently available for projective quartic Delsarte K3 surfaces, but it does so at the level of projective K3 surfaces in general rather than through a Delsarte-specific construction. The general theorem for projective K3 surfaces proves that if $\mathbf P^3$32 is a projective K3 surface with integral Kähler class, then its Fukaya category is equivalent to the derived category of coherent sheaves on a mirror K3 surface over $\mathbf P^3$33. More precisely, the mirror is a projective K3 surface of Picard rank $\mathbf P^3$34, obtained from a type III degeneration with split mixed Hodge structure and semistable smoothing, and the theorem takes the form

$\mathbf P^3$35

together with the compact version

$\mathbf P^3$36

An intermediate large-volume/large-complex-structure statement identifies

$\mathbf P^3$37

for the corresponding Weinstein mirror $\mathbf P^3$38 and type III mirror surface $\mathbf P^3$39 (Hacking et al., 7 Mar 2025).

This theorem explicitly generalizes Seidel’s proof of homological mirror symmetry for the quartic surface, and the quartic case is described as a genuine predecessor and motivating special case. At the same time, the paper states that it does not specifically mention quartic Delsarte K3 surfaces by name. Its relevance is therefore structural: a projective quartic Delsarte K3 surface is still a projective K3 surface, so the theorem applies when such a surface is regarded as an A-side projective K3 with integral Kähler form. What it does not provide is a Delsarte-specific mirror construction, a Delsarte-specific categorical computation, or a Delsarte-specific use of the invertible-polynomial formalism (Hacking et al., 7 Mar 2025).

A precise way to summarize the current position is that projective quartic Delsarte K3 surfaces admit two complementary descriptions. In their own right, they support exceptionally explicit computations of periods, point counts, and $\mathbf P^3$40-functions through hypergeometric and finite-field methods. In the larger K3 landscape, they are absorbed into general theorems on quartic geometry, automorphisms, birational models, and homological mirror symmetry. The strongest present results lie exactly at the interface of these two descriptions.