Desmic Pencil of Quartic Surfaces

• Desmic pencil of quartic surfaces is a unique family in P³ containing three tetrahedra with no common face, leading to irreducible quartics with exactly 12 ordinary double points.
• It exhibits a precise incidence configuration of 16 lines and 12 nodes, forming classical structures like the Reye configuration that underpin its geometric rigidity.
• The pencil connects classical projective geometry with modern Lie theory and K3 surface studies, preserved by the Weyl group W(F₄) and linked to Kummer surfaces.

The desmic pencil of quartic surfaces is the unique up-to-projectivity pencil in $\PP^3$ of quartic surfaces containing three tetrahedra with no common face. In classical projective geometry it is attached to a desmic configuration, and recent work places it simultaneously in the geometry of nodal quartic Kummer surfaces, the incidence theory of the Reye configuration, the representation theory of exceptional Lie algebras, and the study of K3 surfaces of degree $6$ arising from Humbert’s cubic line complex (Manivel, 22 Aug 2025, Degtyarev et al., 22 May 2025).

1. Classical definition and uniqueness

Three tetrahedra in $\PP^3$ are called a desmic configuration if no two of them share a face, but each edge of one meets exactly two opposite edges of each of the other two. In that situation there is a unique pencil of quartics passing through those three tetrahedra, and that pencil is the desmic pencil. The 2025 Lie-theoretic study emphasizes that this pencil is the only non-degenerate pencil of surfaces in $\PP^3$ containing at least three completely reducible members (Manivel, 22 Aug 2025).

George Humbert’s classical formulation uses three tetrahedra $T_1,T_2,T_3$ in homogeneous coordinates $[x:y:z:w]$ on $\PP^3$, given by

$$T_1:(x^2-y^2)(z^2-w^2)=0,\qquad T_2:(x^2-z^2)(y^2-w^2)=0,\qquad T_3:(x^2-w^2)(y^2-z^2)=0.$$

Any two of these tetrahedra are perspective from each vertex of the third. Equivalently, they lie in the same pencil of quartics

$$P_{[a:b:c]}:\quad a\cdot T_1+b\cdot T_2+c\cdot T_3=0,\qquad a+b+c=0.$$

For a general choice of $[a:b:c]\in\PP^1$ the surface is irreducible with exactly $6$0 ordinary double points, and any irreducible member is called a desmic quartic surface (Degtyarev et al., 22 May 2025).

2. Explicit equations and reducible members

A convenient normal form fixes homogeneous coordinates $6$1 and considers the quartics

$6$2

where $6$3. The pencil is

$6$4

An equivalent parameterization is

$6$5

In this form,

$6$6

The three completely reducible members are tetrahedra. The coordinate tetrahedron is

$6$7

the union of the four coordinate planes $6$8. The quartic $6$9 factors as

$\PP^3$0

so $\PP^3$1 is the union of those four planes. A third reducible member is obtained from

$\PP^3$2

and one checks that

$\PP^3$3

These three tetrahedra share no face pairwise, so they form a desmic configuration (Manivel, 22 Aug 2025).

The Humbert presentation by $\PP^3$4 gives the same classical phenomenon in a different normalization: the desmic pencil is generated by three tetrahedral quartics subject to the linear relation $\PP^3$5 (Degtyarev et al., 22 May 2025).

3. Base locus, nodes, and the Reye configuration

The common zero locus of all $\PP^3$6 is a configuration of $\PP^3$7 lines in $\PP^3$8, namely

$\PP^3$9

Each of these lines meets four others in a total of $\PP^3$0 special points, the $\PP^3$1 desmic points. Each of the $\PP^3$2 lines contains exactly $\PP^3$3 of these $\PP^3$4 points, and each point lies on exactly $\PP^3$5 lines. This is the classical $\PP^3$6 Reye configuration, and every surface $\PP^3$7 is singular precisely at these $\PP^3$8 desmic points (Manivel, 22 Aug 2025).

In Humbert’s coordinate model, for a general choice of $\PP^3$9 the surface has exactly $T_1,T_2,T_3$0 ordinary double points, located at the twelve points listed in equation (2.2), beginning with

$T_1,T_2,T_3$1

and including

$T_1,T_2,T_3$2

These $T_1,T_2,T_3$3 nodes lie in pairs on the edges of each of the three tetrahedra. The pencil has base-locus $T_1,T_2,T_3$4 lines: on each face of each tetrahedron lie four lines, namely the intersections of the face with the two other tetrahedra. Numerically one gets the incidence configuration $T_1,T_2,T_3$5. Every point $T_1,T_2,T_3$6 lies on exactly six of the $T_1,T_2,T_3$7 faces $T_1,T_2,T_3$8, and every face contains six points (Degtyarev et al., 22 May 2025).

This incidence structure is one of the defining geometric signatures of the desmic pencil: the quartics are not only singular in a uniform way, but carry a fixed combinatorial skeleton of lines and nodes shared by the entire pencil.

4. Weyl-group symmetry and exceptional Lie theory

A central modern result is that the desmic pencil is preserved by the Weyl group $T_1,T_2,T_3$9. From the Lie-theoretic construction, $[x:y:z:w]$0 acts linearly on the $[x:y:z:w]$1-dimensional Cartan subspace spanned by $[x:y:z:w]$2, and in particular preserves the pencil generated by $[x:y:z:w]$3 and $[x:y:z:w]$4. One may choose simple reflections $[x:y:z:w]$5 with reflecting hyperplanes given by the simple roots

$[x:y:z:w]$6

whose matrices in the basis $[x:y:z:w]$7 are

$[x:y:z:w]$8

$[x:y:z:w]$9

These reflections permute the three tetrahedra of the pencil; more precisely, the three sets of four planes arise from the unique splitting of the $\PP^3$0 short roots of $\PP^3$1 into three orthogonal quadruples (Manivel, 22 Aug 2025).

The same Weyl group appears through Vinberg’s theory in a sequence of $\PP^3$2-gradings: $\PP^3$3 Each odd piece $\PP^3$4 carries a unique invariant quartic $\PP^3$5. Restricting $\PP^3$6 to the Cartan subspace $\PP^3$7 yields exactly the desmic pencil in $\PP^3$8. Equivalently,

$\PP^3$9

and evaluating $$T_1:(x^2-y^2)(z^2-w^2)=0,\qquad T_2:(x^2-z^2)(y^2-w^2)=0,\qquad T_3:(x^2-w^2)(y^2-z^2)=0.$$0 on Cartan coordinates $$T_1:(x^2-y^2)(z^2-w^2)=0,\qquad T_2:(x^2-z^2)(y^2-w^2)=0,\qquad T_3:(x^2-w^2)(y^2-z^2)=0.$$1 gives

$$T_1:(x^2-y^2)(z^2-w^2)=0,\qquad T_2:(x^2-z^2)(y^2-w^2)=0,\qquad T_3:(x^2-w^2)(y^2-z^2)=0.$$2

from which the normal form

$$T_1:(x^2-y^2)(z^2-w^2)=0,\qquad T_2:(x^2-z^2)(y^2-w^2)=0,\qquad T_3:(x^2-w^2)(y^2-z^2)=0.$$3

follows immediately (Manivel, 22 Aug 2025).

5. Intrinsic invariants and the Kummer interpretation

The parameter space of the pencil is $$T_1:(x^2-y^2)(z^2-w^2)=0,\qquad T_2:(x^2-z^2)(y^2-w^2)=0,\qquad T_3:(x^2-w^2)(y^2-z^2)=0.$$4. The paper describes the key special loci by

$$T_1:(x^2-y^2)(z^2-w^2)=0,\qquad T_2:(x^2-z^2)(y^2-w^2)=0,\qquad T_3:(x^2-w^2)(y^2-z^2)=0.$$5

and states that the discriminant in $$T_1:(x^2-y^2)(z^2-w^2)=0,\qquad T_2:(x^2-z^2)(y^2-w^2)=0,\qquad T_3:(x^2-w^2)(y^2-z^2)=0.$$6 is, up to scale,

$$T_1:(x^2-y^2)(z^2-w^2)=0,\qquad T_2:(x^2-z^2)(y^2-w^2)=0,\qquad T_3:(x^2-w^2)(y^2-z^2)=0.$$7

It also singles out the function

$$T_1:(x^2-y^2)(z^2-w^2)=0,\qquad T_2:(x^2-z^2)(y^2-w^2)=0,\qquad T_3:(x^2-w^2)(y^2-z^2)=0.$$8

as a cross-ratio, or modulus, parameter for the pencil (Manivel, 22 Aug 2025).

On each desmic surface one has $$T_1:(x^2-y^2)(z^2-w^2)=0,\qquad T_2:(x^2-z^2)(y^2-w^2)=0,\qquad T_3:(x^2-w^2)(y^2-z^2)=0.$$9 nodes and exactly $$P_{[a:b:c]}:\quad a\cdot T_1+b\cdot T_2+c\cdot T_3=0,\qquad a+b+c=0.$$0 lines, namely the base-locus lines, together with $$P_{[a:b:c]}:\quad a\cdot T_1+b\cdot T_2+c\cdot T_3=0,\qquad a+b+c=0.$$1 conics. The symmetry group of an individual desmic surface is the Weyl group of type $$P_{[a:b:c]}:\quad a\cdot T_1+b\cdot T_2+c\cdot T_3=0,\qquad a+b+c=0.$$2, while the full pencil admits the larger group $$P_{[a:b:c]}:\quad a\cdot T_1+b\cdot T_2+c\cdot T_3=0,\qquad a+b+c=0.$$3. This distinction separates the automorphisms of a fixed member from the projective symmetries of the entire $$P_{[a:b:c]}:\quad a\cdot T_1+b\cdot T_2+c\cdot T_3=0,\qquad a+b+c=0.$$4-parameter family (Manivel, 22 Aug 2025).

The desmic pencil also admits a Kummer interpretation. For a general point $$P_{[a:b:c]}:\quad a\cdot T_1+b\cdot T_2+c\cdot T_3=0,\qquad a+b+c=0.$$5, the construction defines a unique line in the ambient invariant quartic of the $$P_{[a:b:c]}:\quad a\cdot T_1+b\cdot T_2+c\cdot T_3=0,\qquad a+b+c=0.$$6-graded picture, and the four branch-points of that double cover define an elliptic curve $$P_{[a:b:c]}:\quad a\cdot T_1+b\cdot T_2+c\cdot T_3=0,\qquad a+b+c=0.$$7. The resulting quartic satisfies

$$P_{[a:b:c]}:\quad a\cdot T_1+b\cdot T_2+c\cdot T_3=0,\qquad a+b+c=0.$$8

Accordingly, every desmic quartic in the pencil is birational to the Kummer surface of the square of an elliptic curve; the paper’s conclusion states that each general member is a nodal quartic Kummer surface, isomorphic to $$P_{[a:b:c]}:\quad a\cdot T_1+b\cdot T_2+c\cdot T_3=0,\qquad a+b+c=0.$$9 (Manivel, 22 Aug 2025).

6. Humbert’s cubic line complex and associated K3 surfaces

A further development studies the cubic line complex attached to the desmic pencil. Humbert showed that if one takes any two of the three tetrahedra in the pencil, then the union of all lines lying on quadrics through the eight vertices of those two tetrahedra is independent of the choice of two tetrahedra; it is a cubic line-complex $[a:b:c]\in\PP^1$0 in $[a:b:c]\in\PP^1$1. Under the Plücker embedding $[a:b:c]\in\PP^1$2, with Klein coordinates $[a:b:c]\in\PP^1$3, the Plücker quadric is

$[a:b:c]\in\PP^1$4

and the complex is cut out on $[a:b:c]\in\PP^1$5 by

$[a:b:c]\in\PP^1$6

Thus

$[a:b:c]\in\PP^1$7

is a threefold whose points parametrize exactly those lines in $[a:b:c]\in\PP^1$8 which lie on some quadric passing through two of the desmic tetrahedra. Moreover $[a:b:c]\in\PP^1$9 contains exactly $6$00 distinguished planes: twelve $6$01-planes, consisting of all lines through each node $6$02, and twelve $6$03-planes, consisting of all lines in each face $6$04 (Degtyarev et al., 22 May 2025).

If

$6$05

is a hyperplane transversal to $6$06 and containing none of the $6$07 special $6$08- or $6$09-planes, then

$6$10

is a smooth complete intersection of type $6$11. By adjunction $6$12 and $6$13, so $6$14 is a smooth K3 surface of degree $6$15 in $6$16. The hyperplane $6$17 cuts each $6$18-plane in a unique line $6$19 and each $6$20-plane in a unique line $6$21, so $6$22 carries $6$23 lines forming a symmetric abstract configuration $6$24; equivalently, $6$25 contains two sets of $6$26 skew lines such that each line from a set intersects exactly six lines from the other set (Degtyarev et al., 22 May 2025).

For a very general choice of $6$27, the $6$28 lines generate a primitive sublattice $6$29 of rank $6$30, in fact $6$31, with

$6$32

and

$6$33

Thus these form a $6$34-parameter family of K3 surfaces with $6$35. Projecting $6$36 from any one of its $6$37 lines gives a double plane model branched along a sextic with six nodes, and the existence of a contact conic yields a birational map to a quartic surface in $6$38; varying $6$39 sweeps out precisely Humbert’s desmic quartic pencil. The same study computes $6$40, of order $6$41, proves that for a very general hyperplane $6$42 one has $6$43, and records additional curves on $6$44, namely exactly $6$45 conics and $6$46 rational quartic curves (Degtyarev et al., 22 May 2025).