---
title: Desmic Pencil of Quartic Surfaces
url: https://www.emergentmind.com/topics/desmic-pencil-of-quartic-surfaces
type: topic
---

# Desmic Pencil of Quartic 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 [2508.16156] [2505.16497].

## 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 [2508.16156].

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 \(12\) ordinary double points, and any irreducible member is called a desmic quartic surface [2505.16497].

## 2. Explicit equations and reducible members

A convenient normal form fixes homogeneous coordinates \([x:y:z:w]\in\PP^3\) and considers the quartics
\[
S_1=x\,y\,z\,w,
\qquad
S_2=x^4+y^4+z^4+w^4-2\sum_{i<j}x_i^2x_j^2,
\]
where \((x_1,x_2,x_3,x_4)=(x,y,z,w)\). The pencil is
\[
S_{\lambda,\mu}=\lambda\,S_1+\mu\,S_2\subset H^0\bigl(\PP^3,\cO(4)\bigr),
\qquad
[\lambda:\mu]\in\PP^1.
\]
An equivalent parameterization is
\[
S_{A,B}(x,y,z,w)=8A\,x\,y\,z\,w-B\Bigl(2\sum_{i<j}x_i^2x_j^2-\sum_kx_k^4\Bigr),
\qquad
(A:B)\in\PP^1.
\]
In this form,
\[
S_{1,0}=8\,x\,y\,z\,w,\qquad
S_{0,1}= -\Bigl(2\sum_{i<j}x_i^2x_j^2-\sum_kx_k^4\Bigr).
\]

The three completely reducible members are tetrahedra. The coordinate tetrahedron is
\[
S_1=xyzw=0,
\]
the union of the four coordinate planes \(x=0,\;y=0,\;z=0,\;w=0\). The quartic \(S_2\) factors as
\[
x^4+y^4+z^4+w^4 -2\sum_{i<j}x_i^2x_j^2
=
(x+y+z+w)(x+y-z-w)(x-y+z-w)(x-y-z+w),
\]
so \(S_2=0\) is the union of those four planes. A third reducible member is obtained from
\[
S_1+S_2=0,
\]
and one checks that
\[
S_1+S_2\propto (x+y+z-w)(x+y-z+w)(x-y+z+w)(-x+y+z+w).
\]
These three tetrahedra share no face pairwise, so they form a desmic configuration [2508.16156].

The Humbert presentation by \(T_1,T_2,T_3\) gives the same classical phenomenon in a different normalization: the desmic pencil is generated by three tetrahedral quartics subject to the linear relation \(a+b+c=0\) [2505.16497].

## 3. Base locus, nodes, and the Reye configuration

The common zero locus of all \(S_{A,B}\) is a configuration of \(16\) lines in \(\PP^3\), namely
\[
\{\,x=0,\;\varepsilon_2\,y+\varepsilon_3\,z+\varepsilon_4\,w=0\},
\qquad
(\varepsilon_i=\pm1).
\]
Each of these lines meets four others in a total of \(12\) special points, the \(12\) desmic points. Each of the \(16\) lines contains exactly \(3\) of these \(12\) points, and each point lies on exactly \(4\) lines. This is the classical \((16_3,12_4)\) Reye configuration, and every surface \(S_{A,B}\) is singular precisely at these \(12\) desmic points [2508.16156].

In Humbert’s coordinate model, for a general choice of \([a:b:c]\) the surface has exactly \(12\) ordinary double points, located at the twelve points listed in equation (2.2), beginning with
\[
P_1=[0:0:0:1],\quad P_2=[0:0:1:0],\quad P_3=[0:1:0:0],\quad P_4=[1:0:0:0],
\]
and including
\[
P_5=[1:1:1:1],\quad P_6=[1:-1:1:-1],\ \ldots,\ P_{12}=[-1:1:1:1].
\]
These \(12\) nodes lie in pairs on the edges of each of the three tetrahedra. The pencil has base-locus \(16\) 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 \((12_4,16_3)\). Every point \(P_i\) lies on exactly six of the \(12\) faces \(\Pi_j\), and every face contains six points [2505.16497].

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 \(W(F_4)\). From the Lie-theoretic construction, \(W(F_4)\) acts linearly on the \(4\)-dimensional Cartan subspace spanned by \((x_1,x_2,x_3,x_4)\), and in particular preserves the pencil generated by \(S_1\) and \(S_2\). One may choose simple reflections \(s_1,s_2,s_3,s_4\in GL_4\) with reflecting hyperplanes given by the simple roots
\[
\alpha_1=\epsilon_2-\epsilon_3,\qquad
\alpha_2=\epsilon_3-\epsilon_4,\qquad
\alpha_3=\epsilon_4,\qquad
\alpha_4=\tfrac12(\epsilon_1-\epsilon_2-\epsilon_3-\epsilon_4),
\]
whose matrices in the basis \((x_1,x_2,x_3,x_4)\) are
\[
s_1=\begin{pmatrix}
1&0&0&0\\
0&0&1&0\\
0&1&0&0\\
0&0&0&1
\end{pmatrix},\quad
s_2=\begin{pmatrix}
1&0&0&0\\
0&1&0&0\\
0&0&0&1\\
0&0&1&0
\end{pmatrix},
\]
\[
s_3=\begin{pmatrix}
1&0&0&0\\
0&1&0&0\\
0&0&1&0\\
0&0&0&-1
\end{pmatrix},\quad
s_4=\tfrac12\begin{pmatrix}
1&1&1&1\\
1&1&-1&-1\\
1&-1&1&-1\\
1&-1&-1&1
\end{pmatrix}.
\]
These reflections permute the three tetrahedra of the pencil; more precisely, the three sets of four planes arise from the unique splitting of the \(12\) short roots of \(F_4\) into three orthogonal quadruples [2508.16156].

The same Weyl group appears through Vinberg’s theory in a sequence of \(\mathbb Z_2\)-gradings:
\[
\ff_4 = \so_9\oplus\Delta_9,\quad
\fe_6 = \sl_2\oplus\sl_6\oplus(\C^2\otimes\wedge^3\C^6),\quad
\fe_7 = \sl_2\oplus\so_{12}\oplus(\C^2\otimes\Delta_{12}),\quad
\fe_8 = \sl_2\oplus\fe_7\oplus(\C^2\otimes V_{56}).
\]
Each odd piece \(W\) carries a unique invariant quartic \(Q\subset\PP(W)\). Restricting \(Q\) to the Cartan subspace \(\fa\cong\C^4\) yields exactly the desmic pencil in \(\PP(\fa)\cong\PP^3\). Equivalently,
\[
K\bigl(P(w),h\bigr)=\Omega\bigl(h\,w,w\bigr),
\qquad
Q(w)=K\bigl(P(w),P(w)\bigr)=\Omega\bigl(P(w)\,w,w\bigr),
\]
and evaluating \(Q\) on Cartan coordinates \((s,t;x_1,x_2,x_3,x_4)\) gives
\[
24(s^4+t^4)x_1x_2x_3x_4
-
6\,s^2t^2\Bigl(2\sum_{i<j}x_i^2x_j^2-\sum_kx_k^4\Bigr),
\]
from which the normal form
\[
8A\,x_1x_2x_3x_4-B\Bigl(2\sum x_i^2x_j^2-\sum x_k^4\Bigr)
\]
follows immediately [2508.16156].

## 5. Intrinsic invariants and the Kummer interpretation

The parameter space of the pencil is \(\PP^1_{[A:B]}\). The paper describes the key special loci by
\[
B=0,\qquad A=0,\qquad A\pm B=0,
\]
and states that the discriminant in \(\PP^1_{[A:B]}\) is, up to scale,
\[
B\,(A^2-B^2)\,(A^2+B^2).
\]
It also singles out the function
\[
\frac{A^2-B^2}{A\,B}\in\C
\]
as a cross-ratio, or modulus, parameter for the pencil [2508.16156].

On each desmic surface one has \(12\) nodes and exactly \(16\) lines, namely the base-locus lines, together with \(16\) conics. The symmetry group of an individual desmic surface is the Weyl group of type \(D_4\), while the full pencil admits the larger group \(W(F_4)\). This distinction separates the automorphisms of a fixed member from the projective symmetries of the entire \(1\)-parameter family [2508.16156].

The desmic pencil also admits a Kummer interpretation. For a general point \(x\in\fa\), the construction defines a unique line in the ambient invariant quartic of the \(\mathbb Z_2\)-graded picture, and the four branch-points of that double cover define an elliptic curve \(E_x\). The resulting quartic satisfies
\[
\Delta_x\cong\Kum(E_x\times E_x).
\]
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 \(\Kum(E\times E)\) [2508.16156].

## 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 \(\mathcal F\) in \(G_1(\PP^3)\). Under the Plücker embedding \(G_1(\PP^3)\subset\PP^5\), with Klein coordinates \((x_1,x_2,x_3,y_1,y_2,y_3)\), the Plücker quadric is
\[
Q:\ x_1^2+x_2^2+x_3^2+y_1^2+y_2^2+y_3^2=0,
\]
and the complex is cut out on \(Q\) by
\[
F:\ x_1x_2x_3-y_1y_2y_3=0.
\]
Thus
\[
G:=V(Q,F)\subset\PP^5
\]
is a threefold whose points parametrize exactly those lines in \(\PP^3\) which lie on some quadric passing through two of the desmic tetrahedra. Moreover \(G\) contains exactly \(24\) distinguished planes: twelve \(\alpha\)-planes, consisting of all lines through each node \(P_i\), and twelve \(\beta\)-planes, consisting of all lines in each face \(\Pi_j\) [2505.16497].

If
\[
R:\ a_1x_1+a_2x_2+a_3x_3+a_4y_1+a_5y_2+a_6y_3=0
\]
is a hyperplane transversal to \(G\) and containing none of the \(24\) special \(\alpha\)- or \(\beta\)-planes, then
\[
X:=G\cap R=V(Q,F,R)\subset\PP^5
\]
is a smooth complete intersection of type \((2,3,1)\). By adjunction \(K_X\equiv0\) and \(\deg X=2\cdot3\cdot1=6\), so \(X\) is a smooth K3 surface of degree \(6\) in \(\PP^4\). The hyperplane \(R\) cuts each \(\alpha\)-plane in a unique line \(L_i\) and each \(\beta\)-plane in a unique line \(M_j\), so \(X\) carries \(24\) lines forming a symmetric abstract configuration \((12_6,12_6)\); equivalently, \(X\) contains two sets of \(12\) skew lines such that each line from a set intersects exactly six lines from the other set [2505.16497].

For a very general choice of \(R\), the \(24\) lines generate a primitive sublattice \(S\subset \mathrm{Pic}\,X\) of rank \(15\), in fact \(\mathrm{Pic}\,X=S\), with
\[
\mathrm{discr}\,S\cong (\mathbb Z/2)^4\oplus\mathbb Z/16,
\]
and
\[
T(X)\cong
\begin{bmatrix}
-2&-1&0\\
-1&-2&-1\\
0&-1&-6
\end{bmatrix}
\oplus
\begin{bmatrix}
0&2\\
2&0
\end{bmatrix}
\oplus
\begin{bmatrix}
0&2\\
2&0
\end{bmatrix}.
\]
Thus these form a \(5\)-parameter family of K3 surfaces with \(\rho=15\). Projecting \(X\) from any one of its \(24\) 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 \(\PP^3\); varying \(R\) sweeps out precisely Humbert’s desmic quartic pencil. The same study computes \(\mathrm{Aut}\,G\cong (S_4\times S_4)\rtimes \mathbb Z/2\), of order \(1152\), proves that for a very general hyperplane \(R\) one has \(\mathrm{Aut}_p(X)=1\), and records additional curves on \(X\), namely exactly \(9\) conics and \(72\) rational quartic curves [2505.16497].

Source: https://www.emergentmind.com/topics/desmic-pencil-of-quartic-surfaces