Abstract
The Del Pezzo surface Y of degree 5 is the blow up of the plane in 4 general points, embedded in \({\mathbb {P}}^5\) by the system of cubics passing through these points. It is the simplest example of the Buchsbaum–Eisenbud theorem on arithmeticallyGorenstein subvarieties of codimension 3 being Pfaffian. Its automorphism group is the symmetric group \({\mathfrak {S}}_5\). We give canonical explicit \({\mathfrak {S}}_5\)invariant Pfaffian equations through a 6\(\times \)6 antisymmetric matrix. We give concrete geometric descriptions of the irreducible representations of \({\mathfrak {S}}_5\). Finally, we give \({\mathfrak {S}}_5\)invariant equations for the embedding of Y inside \(({\mathbb {P}}^1)^5\), and show that they have the same Hilbert resolution as for the Del Pezzo of degree 4.
1 Introduction
Del Pezzo [12] (see also [9], page 313) showed that the smooth nondegenerate surfaces \(Y^2_n\) of degree n in \({\mathbb {P}}^n\), except for the anticanonical embedding of \({\mathbb {P}}^1 \times {\mathbb {P}}^1 \rightarrow {\mathbb {P}}^8\), are obtained as the blowup of the projective plane in \( (9  n)\) points of which no three are collinear, no six lie on a conic (here \( n = 3,4,5,6,7,8,9\)). After his classification these surfaces bear his name.
Del Pezzo surfaces are projectively unique as soon as \(n \ge 5\), and we are interested (see [3], and the related papers [2] and [1]), about their defining equations, here particularly in the case \(n=5\).
It is well known, at least since the work of Buchsbaum and Eisenbud [5] (see also [4]), that all surfaces Y in \({\mathbb {P}}^5\) which are arithmetically CohenMacaulay and subcanonical (i.e., the canonical sheaf \(\omega _Y \cong {\mathcal {O}}_Y (r)\) for some integer r) are defined by the mPfaffians of an antisymmetric \((2m+1)\times (2m+1)\)matrix \(A =  ^t A\) of homogeneous forms (more precisely, the Pfaffians generate the ideal of polynomials vanishing on Y). The simplest nondegenerate case is the case \(m=2\) of a generic \(5\times 5\) antisymmetric matrix A of linear forms: here \(r=1\) and we get the Del Pezzo surface \(Y^2_5\) of degree 5 as Pfafffian locus of A, hence defined by the 5 quadratic equations which are the five \(4 \times 4\)Pfaffians of A.
It suffices to choose a generic matrix, but an explicit matrix is better, as was for instance done in [13]. At any rate we are in this way far away from a normal form for the equations of \(Y^2_5\), which might be desirable for many purposes. What do we mean by a normal form? To explain this, recall that \(Y^2_5\) is indeed isomorphic to the moduli space of ordered quintuples of points in \({\mathbb {P}}^1\), and this isomorphism follows after showing that its group of automorphisms is \({{\mathfrak {S}}}_5\) (\(Y^2_5\) is indeed in bijection with the set of projective equivalence classes of quintuples where no point of \({\mathbb {P}}^1\) occurs with multiplicity \(\ge 3\)). Hence, we would like to have equations where this symmetry shows up, and which are ‘invariant’ for the symmetry group.
This requirement can be precisely specified as follows: we have the anticanonical (6dimensional) vector space \( V : = H^0 (\omega _Y^{1}) = H^0(Y, {\mathcal {O}}_Y(K_Y))\) and the 5dimensional vector space W of quadratic forms vanishing on Y (\(W \subset {{\,{\mathrm{Sym}}\,}}^2(V)\)). Both vector spaces are representations of the symmetric group \({{\mathfrak {S}}}_5\) and the \(5\times 5\) antisymmetric matrix A of linear forms is seen, by the BuchsbaumEisenbud theory, to be an invariant tensor
It was known through character theory (see [10] with corrections done in [11], see [6, 7]) that this invariant tensor is unique up to constants.
The main result of the present paper is to explicitly and canonically determine it. Now, it looks like there is no unique such representation of the tensor A, because in the end we have still to choose a basis for both vector spaces V and W. However, if we take the natural irreducible 4dimensional representation \(U_4\) of \({{\mathfrak {S}}}_5\), this is given by the invariant subspace \(x_1 + x_2 + \dots + x_5=0\) in the 5dimensional vector space \(U'_5\) with coordinates \((x_1, \dots , x_5)\) which are naturally permuted by \({\mathfrak {S}}_5\). So, there is a natural permutation representation \( U'_5\) yielding a natural basis for \( U'_5 \supset U_4\).
In our case, we first show that there is a natural basis \(s_{ij}\) (\(1 \le i \ne j \le 3\)) of V, showing that V is the regular representation of \({\mathfrak {S}}_3\) tensored with the sign character, and then we show that the space W is a 5dimensional invariant subspace in a natural 6dimensional subspace \(W'\) of \({{\,\mathrm{Sym}\,}}^2(V)\), related to a natural permutation representation of \({\mathfrak {S}}_5\)^{Footnote 1}, and with basis \(Q_{ij}\) again related to the regular representation of \({\mathfrak {S}}_3\) (the space W is then generated by the differences between two such quadratic forms \(Q_{ij}\)).
This leads to a normal form: we produce in Theorem 4.3 (which we reproduce here immediately below) in an elegant numerical way an explicit antisymmetric \(6\times 6\) matrix \(A'\) with entries in V (i.e., with entries linear forms) whose 15 \(4 \times 4\)Pfaffians are exactly twice the differences between the quadratic forms \(Q_{ij}\).
Theorem 1.1
Let Y be the del Pezzo surface of degree 5, embedded anticanonically in \({\mathbb {P}}^5\). Then the ideal of Y is generated by the \(4 \times 4\)  Pfaffians of the \({\mathfrak {S}}_5\)  equivariant antisymmetric \(6 \times 6\)matrix \(A'=\)
The action of the symmetric group \({\mathfrak {S}}_5\) on the entries of the matrix is given by the action on the vector space V, with basis \(s_{ij}\), \(i \ne j, 1 \le i,j\le 3\), which is described in the proof of Theorem 2.6, tensored with the sign character \(\epsilon \) (we shall denote \(V' : = V \otimes \epsilon \) and observe here that V, \(V'\) are isomorphic \({\mathfrak {S}}_5\) representations). The action on the matrix is determined by the action of \({\mathfrak {S}}_5\) on \( W' \otimes W'\), in turn determined by the action of \({\mathfrak {S}}_5\) on the vector space \(W'\) with basis the quadrics \(Q_{ij}\), \(i \ne j, 1 \le i,j\le 3\). The latter action (which is explicitly described in Remark 3.8) is a consequence of the former, since \(Q_{ij} = s_{ij} \sigma _{ij}\), where the \(\sigma _{ij}\)’s are defined in Sect. 2 and are as follows: \( \sigma _{ij} = \epsilon (s_{ik}s_{ki}s_{jk})\).
In practice, the action of two generators of \({\mathfrak {S}}_5\) is explicitly given as follows.
The transposition \(\tau :=(1,2)\) acts as

\(s_{ij} \mapsto s_{\tau (i)\tau (j)}\);

\(Q_{ij} \mapsto Q_{\tau (i)\tau (j)}\).
The cycle \(\varphi :=(1,2,3,4,5)\) acts as
and
Our main theorem is also interesting because, even if we work sometimes using character theory and over a field of characteristic 0, in the end we produce equations which define the Del Pezzo surface of degree 5 over any field of characteristic different from 2 (in this case symmetric and antisymmetric tensors coincide, and the situation should be treated separately).
We believe that our approach is also interesting from another point of view (as already announced in [6, 7]): the symmetries of \(Y^2_5\) bear some similarity to those of the icosahedron, as it is well known ([10, 8]), and the irreducible representations of \({\mathfrak {S}}_5\) can be explicitly described via the geometry of \(Y^2_5\). For instance, the representations V, W are irreducible, and together with the natural representation \(U_4\) described above, they and their tensor product with the sign representation \(\epsilon \) yield all irreducible representations of \({\mathfrak {S}}_5\) (V is the only one such that \( V \cong V \otimes \epsilon \)).
We also give explicit descriptions of the irreducible representations of \({\mathfrak {S}}_5\) via the geometry of \(Y^2_5\). While it is easy to describe \(U_4\) and \(W \otimes \epsilon \) through natural permutation representations on \({\mathfrak {S}}_5 / {\mathfrak {S}}_4\), respectively on \({\mathfrak {S}}_5 /{{\,\mathrm{Aff}\,}}(1, {\mathbb {Z}}/5)\), we give another realization of the anticanonical vector space V,
through an explicit permutation representation of dimension 24, the one on the set of oriented combinatorial pentagons (the cosets in \({\mathfrak {S}}_5 /( {\mathbb {Z}}/5)\)). This is interesting, because we have then a bijection between the set of the 12 (unoriented, nondegenerate) combinatorial pentagons and the set of the 12 geometric nondegenerate pentagons contained in Y, and formed with quintuples out of the 10 lines contained in Y (these geometric pentagons are hyperplane sections of Y).
Finally, in a previous paper [3] we have written explicit equations of Del Pezzo surfaces in products \(({\mathbb {P}}^1)^{h }\), and here, for the Del Pezzo of degree 5, we give in Theorem 5.3\({\mathfrak {S}}_5\)invariant equations inside \(({\mathbb {P}}^1)^{5 }\).
An interesting phenomenon is that the minimal (multigraded) Hilbert resolution for this embedding of the Del Pezzo of degree 5 is exactly the same as for the natural embedding in \(({\mathbb {P}}^1)^{5 }\) of the Del Pezzo surfaces of degree 4, so that we have an example of a reducible Hilbert scheme.
2 Symmetries and the anticanonical system of the Del Pezzo surface of Degree 5
We recall some notation introduced in [7], as well as some intermediate results established there.
The Del Pezzo surface \(Y: = Y^2_5\) of degree 5 is the blowup of the plane \({\mathbb {P}}^2\) in the 4 points \(p_1, \dots , p_4\) of a projective basis, that is, we choose
Observe that \(p_i\) corresponds to a vector \(e_i\), for \(i=1,2,3,4\) , where \(e_1, e_2, e_3\) is a basis of a vector space \(U'\), and \(e_1 + e_2 + e_3 + e_4 = 0\). In other words, \({\mathbb {P}}^2 = {\mathbb {P}}(U')\), where \(U'\) is the natural irreducible representation of \({\mathfrak {S}}_4\).
As already mentioned in the introduction, the Del Pezzo surface Y is indeed the moduli space of ordered quintuples of points in \({\mathbb {P}}^1\), and its automorphism group is isomorphic to \({\mathfrak {S}}_5\).
The obvious action of the symmetric group \({\mathfrak {S}}_4\) permuting the 4 points extends in fact to an action of the symmetric group \({\mathfrak {S}}_5\).
This can be seen as follows. The six lines in the plane joining pairs \(p_i, p_j\) can be labelled as \(L_{i,j} \), with \( i,j \in \{1, 2,3,4\}, i \ne j \).
Denote by \(E_{i,5}\) the exceptional curve lying over the point \(p_i\), and denote, for \(i \ne j \in \{1, 2,3,4\}\), by \(E_{h,k} = E_{k,h}\) the strict transform in Y of the line \(L_{i,j}\), if \(\{1, 2,3,4\}= \{i, j, h,k\}\). For each choice of 3 of the four points, \(\{1, 2,3,4\} \setminus \{h\}\), consider the standard Cremona transformation \(\sigma _h\) based on these three points. To it we associate the transposition \((h,5) \in {\mathfrak {S}}_5\), and the upshot is that \(\sigma _h\) transforms the 10 \((1)\) curves \(E_{i,j}\) via the action of (h, 5) on pairs of elements in \(\{1, 2,3,4,5\}\).
There are five geometric objects permuted by \({\mathfrak {S}}_5\): namely, 5 fibrations \(\varphi _i : Y \rightarrow {\mathbb {P}}^1\), induced, for \(1 \le i \le 4\), by the projection with centre \(p_i\), and, for \(i=5\), by the pencil of conics through the 4 points. Each fibration is a conic bundle, with exactly three singular fibres, corresponding to the possible partitions of type (2, 2) of the set \(\{1, 2,3,4,5\} \setminus \{i\}\).
The intersection pattern of the curves \(E_{i,j}\), which generate the Picard group of Y is dictated by the simple rule (recall that \( E_{i,j}^2 = 1, \ \forall i \ne j\))
In this picture the three singular fibres of \(\varphi _1\) are
The relations among the \(E_{i,j}\)’s in the Picard group come from the linear equivalences \(E_{3,4} + E_{2,5} \equiv E_{2,4} + E_{3,5} \equiv E_{2,3} + E_{4,5}\) and their \({\mathfrak {S}}_5\)orbits.
An important observation is that Y contains exactly ten lines (i.e., ten irreducible curves E with \( E^2 = E K_Y = 1\)), namely the lines \(E_{i,j}\).
Their intersection pattern is described by the Petersen graph, whose vertices correspond to the curves \(E_{i,j}\), and whose edges correspond to intersection points (cf. Fig. 1).
Remark 2.1
(1) The action of \({{\,\mathrm{Aut}\,}}(Y) \cong {\mathfrak {S}}_5\) can be described as the action on \({\mathbb {P}}^2\) by the following (birational) transformations:

the above vectorial action of \( {\mathfrak {S}}_4\) on \(U'\) (by which \({\mathfrak {S}}_4 \le {\mathfrak {S}}_5\) acts on \({\mathbb {P}}^2\) permuting \(p_1,p_2,p_3,p_4\)), i.e., in coordinates,

for \(\sigma \in {\mathfrak {S}}_3\)
$$\begin{aligned} \sigma (x_1:x_2:x_3) = (x_{\sigma (1)}:x_{\sigma (2)}:x_{\sigma (3)}), \end{aligned}$$and for \(\sigma = (3,4)\):
$$\begin{aligned} \sigma (x_1:x_2:x_3) = (x_1x_3:x_2x_3:x_3), \end{aligned}$$ 
the transposition (4, 5) is the standard Cremona transformation
$$\begin{aligned} (x_1:x_2:x_3) \mapsto \left( \frac{1}{x_1}:\frac{1}{x_2}:\frac{1}{x_3}\right) = (x_2x_3:x_1x_3:x_1x_2). \end{aligned}$$
(2) The equation of the six lines of the complete quadrangle in \({\mathbb {P}}^2\) (the lines \(L_{i,j}\) joining \(p_i\) and \(p_j\))
yields an eigenvector for the sign representation \(\epsilon : {\mathfrak {S}}_5 \rightarrow \{ \pm 1\}\).
In fact, the proper transform of \( {{\,\mathrm{div}\,}}(\Sigma )\) is the sum of the 10 lines \(E_{i,j}\) contained in Y, and it is a divisor in \(  2 K_Y\) invariant for any automorphism. Since there is a natural action of \( {\mathfrak {S}}_5\) on \( {\mathcal {O}}_Y(K_Y)\), we get a natural action of \( {\mathfrak {S}}_5\) on \(H^0 ( Y, {\mathcal {O}}_Y(2 K_Y))\) hence the proper transform of the equation \( \Sigma \) is a section of \(H^0 ( Y, {\mathcal {O}}_Y(2 K_Y))\) which is an eigenvector for a character of \( {\mathfrak {S}}_5\). There are only two characters, the sign and the trivial one: restricting to the subgroup \( {\mathfrak {S}}_3\) we see that it must be the sign.
We consider now the anticanonical vector space
We know that V is, via adjunction, naturally isomorphic to the vector space of cubics passing through the 4 points,
Since \({\mathfrak {S}}_5\) acts linearly on V we want to determine this action and translate this action on \(V'\).
For this purpose we set, for \(1\le i\ne j \le 3\),
Proposition 2.2
is a basis of \(V'\).
Proof
All 6 cubic forms vanish on \(p_1, \dots , p_4\).
\(s_{12}, s_{21}\) are the only ones not divisible by \(x_3\), and they are independent modulo \((x_3)\), since their divisors on the line \(x_3 =0 \) are, respectively \( 2 p_1 + p_2\), \( p_1 + 2 p_2\).
It suffices to show that the other 4 are independent after division by \( x_3\). Now, \(\frac{s_{23}}{ x_3}, \frac{s_{32}}{ x_3}\) yield \(x_2 x_3\), respectively \(x_2^2\) modulo \((x_1)\), hence it suffices to show that \(\frac{s_{13} }{ x_3 x_1}, \frac{s_{31}}{ x_3 x_1}\) are independent: but these are respectively \((x_3  x_2), (x_1  x_2)\). \(\square \)
We set
where \( \epsilon := \epsilon (\begin{pmatrix} 1 & 2 & 3 \\ i&j&k \end{pmatrix}\)) is the sign of the permutation.
Then we have:
Remark 2.3
(1) We observe as a parenthetical remark that the \(\sigma _{ij}\)’s span a 4dimensional sub vector space of V. In fact,
for all \(\alpha , \beta , \gamma \in {\mathbb {C}}\) such that \(\alpha + \beta + \gamma = 0\).
(2) Observe that for \({\mathfrak {S}}_3 \le {\mathfrak {S}}_5\), \({\mathfrak {S}}_3\) acts on homogeneous polynomials by permuting \(x_1,x_2,x_3\), and that \(V'\) is the regular representation of \({\mathfrak {S}}_3\).
Consider now the Euler sequence on \({\mathbb {P}}^2 := {\mathbb {P}}(U')\), \(U' \cong {\mathbb {C}}^3\):
From this follows
Therefore the isomorphism \({\mathbb {C}}[x_1,x_2,x_3]_3 \cong H^0({\mathbb {P}}^2, {\mathcal {O}}_{{\mathbb {P}}^2}(K_{{\mathbb {P}}^2}))\) is given by the map:
Hence we identify \(V'\) with V via the map: \(V' \rightarrow V, \ s_{ij} \mapsto s_{ij} (dx_1 \wedge dx_2 \wedge dx_3)^{1}\). In this way we can read out on \(V'\) the given action of \({\mathfrak {S}}_5\) on V. We obtain immediately:
Lemma 2.4
\({\mathfrak {S}}_3 \le {\mathfrak {S}}_5\) acts on V by
Hence the representation V restricted to \({\mathfrak {S}}_3 \le {\mathfrak {S}}_5\) is the regular representation tensored by the sign character \(\epsilon \), while V restricted to \({\mathfrak {S}}_4 \le {\mathfrak {S}}_5\) is isomorphic to the subspace of \(S^3 ((U')^{\vee }) \otimes \epsilon \) corresponding to the polynomials vanishing in \(p_1, \dots , p_4\).
Proof
Direct computation for \({\mathfrak {S}}_3\), for \({\mathfrak {S}}_4\) observe that the tranposition (3, 4) acts sending
\(\square \)
Remark 2.5
Since \(s_{ij}\sigma _{ij} = \Sigma \) and \(\Sigma \) is an eigenvector for the sign representation, the previous lemma implies immediately that for \(\tau \in {\mathfrak {S}}_3 \le {\mathfrak {S}}_5\) we have:
We prove the following
Theorem 2.6
(1) The character vector \(\chi _V\) of the \({\mathfrak {S}}_5\)representation \(V=H^0(Y, {\mathcal {O}}_Y(K_Y))\) is equal to \((6,0,2,0,0,1,0)\). Therefore \(H^0(Y, {\mathcal {O}}_Y(K_Y))\) is the unique six dimensional irreducible representation of \({\mathfrak {S}}_5\).
(2) The character of \(\bigwedge ^6 V\) is the sign character \(\epsilon = \chi _2\).
For the convenience of the reader and for the purpose of fixing the notation we recall in Table 1 the character table of \({\mathfrak {S}}_5\). Here, cf. [14], pages 199–202, the natural permutation representation on \({\mathbb {Z}}/5\) yields \(\chi _1 + \chi _4\), while \(\Lambda ^2 (\chi _4) = \chi _7\), and \(S^2 (\chi _4) = \chi _1 + \chi _4 + \chi _5\). Finally, \(\chi _3 = \chi _4 \otimes \chi _2\), \(\chi _6 = \chi _5 \otimes \chi _2\), and obviously \(\chi _7 = \chi _7 \otimes \chi _2\).
Remark 2.7
Indeed, as we shall also see later, \(V = W_7\), \(W = W_5\) and \(U_4 = W_4\).
Proof
(1) We have already observed that for \(\tau \in {\mathfrak {S}}_3\) we have \(\tau (s_{ij}) = \epsilon (\tau )s_{\tau (i)\tau (j)}\).
Recall that the transposition \(\tau :=(3,4)\) acts as
We use formula 2.1, obtaining that (3, 4) acts by:

\(s_{12} = x_1x_2(x_2x_3) \mapsto  (x_1x_3)(x_2x_3)x_2 = \sigma _{31}\);

\(s_{13} =x_1x_3(x_3x_2) \mapsto  (x_1x_3)(x_3) (x_2) = s_{23}\);

\(s_{21} = x_2x_1(x_1x_3) \mapsto  (x_2x_3)(x_1x_3)x_1 = \sigma _{32}\);

\(s_{23} \mapsto s_{13}\);

\(s_{31} = x_1x_3(x_1x_2) \mapsto  (x_1x_3)(x_3)(x_1x_2) = \sigma _{12}\);

\(s_{32} = x_2x_3(x_2x_1) \mapsto  (x_2x_3)(x_3)(x_2x_1) = \sigma _{21}\).
Next we consider the action of \(\tau = (4,5)\). This time we do not have an action on the space of polynomials, hence we work on the affine chart \(\{x_3=1\}\).
Then: \(\tau \begin{pmatrix} x_1\\ x_2 \end{pmatrix} = \begin{pmatrix} \frac{1}{x_1}\\ \frac{1}{x_2} \end{pmatrix}\) and we have that (4, 5) acts by:
Therefore (again here \(\{i,j,k\} = \{1,2,3\}\))
Now we are ready to calculate the trace of \(\tau \) for
\({\underline{\tau = (1,2)}}:\)
hence \(\chi _V(\tau ) = {{\,{\mathrm{trace}}\,}}(\tau ) = 0\).
\({\underline{\tau = (1,2)(3,4)}}:\)
hence \(\chi _V(\tau ) = {{\,{\mathrm{trace}}\,}}(\tau ) = 2\).
If we use the character table of \({\mathfrak {S}}_5\) we can now immediately conclude, since V has dimension 6 and the trace of (1, 2)(3, 4) is nonnegative for all other representations, except that \(\chi _7( (1,2)(3,4)) = 2\).
For completeness we calculate explicitly the action of the other representatives of all the conjugacy classes (thereby giving a selfcontained proof that V is irreducible).
\({\underline{\tau = (1,2,3)}}:\)
hence \(\chi _V(\tau ) = {{\,{\mathrm{trace}}\,}}(\tau ) = 0\).
\({\underline{\tau = (1,2,3,4)}}:\)
hence \(\chi _V(\tau ) = {{\,\mathrm{trace}\,}}(\tau ) = 0\).
\({\underline{\tau = (1,2,3,4,5)}}:\)
hence \(\chi _V(\tau ) = {{\,\mathrm{trace}\,}}(\tau ) = 1\).
\({\underline{\tau = (1,2,3)(4,5)}}:\)
hence \(\chi _V(\tau ) = {{\,\mathrm{trace}\,}}(\tau ) = 0\).
The above explicit calculations show that the character vector for the representation V is
hence \(\langle \chi _V , \chi _V\rangle = 1\) and V is an irreducible representation.
(2) A basis of \(\bigwedge ^6V\) consists of the element \(\omega :=s_{12} \wedge s_{13} \wedge s_{21} \wedge s_{23} \wedge s_{31} \wedge s_{32}\). Then \(\tau = (1,2)\) maps \(\omega \) to
whence the claim follows. \(\square \)
3 Quadratic equations for the Del Pezzo surface of degree 5 and geometrical descriptions of \({\mathfrak {S}}_5\)representations
We observe that by RiemannRoch and Kodaira vanishing we have:
The above formula can also be checked by direct calculation of the space of homogeneous polynomials \(F(x_1, x_2, x_3)\) of degree 6 vanishing of multiplicity 2 at the points \(p_1, \dots , p_4\). This direct calculation also shows that the natural morphism of \({\mathfrak {S}}_5\)representations:
is surjective.
We set \(W:= \ker (\Phi ) (\cong {\mathbb {C}}^5) = H^0(Y, {\mathcal {I}}_Y(2))\).
Observe that, setting \(Q_{ij}:= s_{ij} \sigma _{ij}\), \(1 \le i\ne j \le 3\), we have that \(\Phi (Q_{ij}) = \Sigma \in H^0(Y, {\mathcal {O}}_Y(2))\). It is easy to verify that the set \(\{Q_{ij} \  \ 1 \le i\ne j \le 3 \}\) is \({\mathbb {C}}\)linearly independent and therefore
are linearly independent elements of W, hence form a basis.
If we denote by \(W'\) the vector subspace of \({{\,{\mathrm{Sym}}\,}}^2(V)\) spanned by the \(Q_{ij} , \ 1 \le i\ne j \le 3\), then we have the following inclusions, where \({{\mathcal {I}}}\) is the sheaf of ideals of the functions vanishing on Y:
3.1 Geometrical and combinatorial pentagons
We want to give now some geometrical background to the choice of the sections \(s_{ij}, \sigma _{ij}\), and the quadratic forms \(Q_{ij}\), which makes our calculations less mysterious.
Definition 3.1
Let \({\mathcal {S}}\) be a set. Then

(1)
an ordered combinatorial ngon on \({\mathcal {S}}\) is a map \(p: {\mathbb {Z}}/n \rightarrow {\mathcal {S}}\);

(2)
the ith side \(L_i\) is the restriction of p to \(\{i, i+1\}\);

(3)
an ordered combinatorial ngon on \({\mathcal {S}}\) is said to be nondegenerate if p is injective;

(4)
an oriented combinatorial ngon on \({\mathcal {S}}\) is an equivalence class of ordered combinatorial ngons on \({\mathcal {S}}\) for the action of \({\mathbb {Z}}/n\) given by composition on the source \( p (i) \sim p(i+a)\);

(5)
a(n unoriented) combinatorial ngon on \({\mathcal {S}}\) is an equivalence class of oriented combinatorial ngons on \({\mathcal {S}}\), where \(p(i) \sim p(i)\) (that is, an equivalence class of ordered ngons for the action of the dihedral group \(D_n\), \( p (i) \sim p(\pm i+a)\));

(6)
the neighbouring ngon of p(i) is the unoriented ngon p(2i); it is nondegenerate, for n odd, iff p is nondegenerate, moreover in this case it has no sides in common with the ngon p(i) once \( n \ge 5\);

(7)
a double combinatorial pentagon (\(n=5\)) is the (unordered) pair of two neighbouring nondegenerate (unoriented) combinatorial pentagons.

(8)
If \({\mathcal {S}}\) is a linear space, then a geometrical ngon is the union of n distinct lines \(L_i\) associated to a combinatorial pentagon p(i) in such a way that \(L_i\) is the line joining p(i) with \(p(i+1)\).
Remark 3.2
If the set \({\mathcal {S}}\) has n elements, and we consider only nondegenerate ngons, then the objects in item (1) are the elements of the set \({\mathfrak {S}}_n \), those in item (4) are the cosets \({\mathfrak {S}}_n / ({\mathbb {Z}}/n)\), for item (5) we get the cosets \({\mathfrak {S}}_n / D_n\), and finally for item (7) we have the cosets \({\mathfrak {S}}_5 / {{\,{\mathrm{Aff}}\,}}(1, {\mathbb {Z}}/5)\).
Proposition 3.3
Let Y be a Del Pezzo surface of degree 5.

(a)
The geometrical pentagons contained in Y are exactly 12. They are given by the divisors of zeros of the 12 sections \(s_{ij}, \sigma _{ij}\).

(b)
There is a bijection between the set of such geometrical pentagons and the set of combinatorial nondegenerate pentagons on \(\{1,2,3,4,5\}\). This bijection associates to the combinatorial pentagon \([i \mapsto p(i)]\) the geometrical pentagon
$$\begin{aligned} E_{p(1)p(2)} + E_{p(2)p(3)} + E_{p(3)p(4)} + E_{p(4)p(5)} + E_{p(5)p(1)} . \end{aligned}$$ 
(c)
There is a bijection between the set of the 6 quadrics \(\{Q_{ij}\}\) and the set of double combinatorial pentagons on \(\{1,2,3,4,5\}\).

(d)
Moreover, the subset of V
$$\begin{aligned} {{\mathcal {M}}}: = \{ \pm s_{ij}, \pm \sigma _{ij} \} \end{aligned}$$is an orbit for the action of \({\mathfrak {S}}_5\) on V, and the stabilizer of \(s_{21}\) is the cyclic subgroup generated by (1, 2, 3, 4, 5). In particular \({\mathfrak {S}}_4\) acts simply transitively on \({{\mathcal {M}}}\).
Figures 2 and 3 illustrate items (6), (7), (b) and (c) above.
Proof
We know that the only lines contained in Y are the 10 lines \(E_{ij}\), and it is straightforward to verify that their union is the divisor \( {{\,\mathrm{div}\,}}(\Sigma )\).
Let \(L_1 + L_2 \dots + L_5\) be a geometrical pentagon; then \(L_i\) intersects \(L_{i+1}\), hence we get 5 distinct pairs \(A_i\) of elements in \(\{1,2,3,4,5\}\) such that \(A_i\) and \(A_{i+1}\) are disjoint, \(\forall i \in {\mathbb {Z}}/5\).
Hence \(A_{i+1}\) is disjoint from the union of \(A_i\) and \(A_{i+2}\), in particular \(A_i\) and \(A_{i+2}\) have exactly one element in common.
We consider the^{Footnote 2} 5gon \(B_i\), where \(B_i : = A_{2i}\). We denote by
Hence \(B_i = \{ p(i) ,p(i+1) \}\), and we get a nondegenerate combinatorial pentagon.
Observe that we can recover the \(A_i\)’s from the \(B_j\)’s, simply letting \(A_i : = B_{2i}\).
By item (5) above the number of nondegenerate combinatorial pentagons on (1, 2, 3, 4, 5) is \(120 / 10 = 12\).
Direct inspection shows then that
Similar formulae can be computed directly for \({{\,\mathrm{div}\,}}(s_{ij})\), we may however observe that \(\{ {{\,\mathrm{div}\,}}(s_{ij}) \}\) is the \({\mathfrak {S}}_3\)orbit of \({{\,\mathrm{div}\,}}(s_{12})\), hence \({{\,\mathrm{div}\,}}(s_{ij})\) is a geometric pentagon.
Since \({{\,\mathrm{div}\,}}(\Sigma )\) is the union of the 10 lines of Y, follows that \({{\,\mathrm{div}\,}}(\sigma _{ij})\) is associated to the neighbouring combinatorial pentagon of the one of \({{\,\mathrm{div}\,}}(s_{ij})\).
Hence the quadrics \(Q_{ij}\) correspond bijectively to double pentagons (these are 6).
The calculations performed above in the proof of Theorem 2.6 show that if \(\tau : = (1,2,3)(4,5)\), then \(\langle \tau \rangle \) permutes simply transitively the set \(\{ s_{ij}\}\), hence it sends the set \(\{ \sigma _{ij}\}\) to the set \(\{  \sigma _{ij}\}\). While \({\mathfrak {S}}_3\) permutes the set \({{\mathcal {M}}}' : = \{ \pm s_{ij}\}\), hence also the set \(\{ \pm \sigma _{ij}\}\). Finally, (3, 4) permutes the set \({{\mathcal {M}}}\). Since the above elements generate \({\mathfrak {S}}_5\), \({{\mathcal {M}}}\) is \({\mathfrak {S}}_5\)invariant. The orbit of \(s_{21}\) inside \({{\mathcal {M}}}'\) for the subgroup generated by \({\mathfrak {S}}_3\) and \(\tau : = (1,2,3)(4,5)\) has at least 7 elements, hence it equals \({{\mathcal {M}}}'\). Since (3, 4) sends \(s_{21}\) to \( \sigma _{32}\), follows that \({{\mathcal {M}}}\) is a single \({\mathfrak {S}}_5\)orbit. Hence the stabilizer of \(s_{21}\) has cardinality 5: but we know that it contains (1, 2, 3, 4, 5).
Indeed,
\(\square \)
We can summarize part of our discussion in the following corollary.^{Footnote 3}
Corollary 3.4
There is a natural bijection between the set \({{\mathcal {M}}}\) and the set of oriented nondegenerate combinatorial pentagons on \(\{1,2,3,4,5\}\), in such a way that \(m\) is the oppositely oriented pentagon of m. \( {{\mathcal {M}}}/ \pm 1\) is then in bijection with the set \({{\mathcal {P}}}\) of pentagons, where \(\pm \sigma _{ij}\) corresponds to the neighbouring pentagon of \(\pm s_{ij}\).
Defining
we get an order 4 transformation \(\sigma \) on \({{\mathcal {M}}}\),such that \(\sigma ^2 (m) =  m \ \forall m \in {{\mathcal {M}}}\), and inducing an involution on \( {{\mathcal {M}}}/ \pm 1\), which exchanges \(\pm s_{ij}\) with \( \pm \sigma _{ij}\), hence such that \( ( {{\mathcal {M}}}/ \pm 1) / \sigma \) is in bijection with the set \({{\mathcal {D}}}{{\mathcal {P}}}\) of double pentagons.
Proof
The bijection follows immediately from the fact that we have two transitive actions, and the stabilizer of \(s_{21}\) is the cyclic subgroup generated by (1, 2, 3, 4, 5), which is also the stabilizer of the standard pentagon corresponding to the identity map.
We define then \(\sigma (m)\) by the property that it associates to an oriented pentagon p(i) the neighbouring oriented pentagon p(2i); from this definition follows that \(\sigma ^2 (m) =  m\). Moreover, since \(m\) is the pentagon \(p(i)\), and \(p(2(i)) = p( (2i))\) we obtain \( \sigma ( m)=  \sigma (m)\). Hence \(\sigma (m) m = \sigma ( m) (m)\) inside \(S^2(V)\).^{Footnote 4}\(\square \)
Recall now that we have bijections:

\( {{\mathcal {M}}}\cong {\mathfrak {S}}_5 / ({\mathbb {Z}}/5) = {\mathfrak {S}}_5 / \langle (1,2,3,4,5)\rangle \) (oriented pentagons)

\( {{\mathcal {P}}}\cong {{\mathcal {M}}}/ \pm 1 \cong {\mathfrak {S}}_5 / D_5 = {\mathfrak {S}}_5 / \langle (1,2,3,4,5), (1,4)(2,3) \rangle \) (pentagons)

\( {{\mathcal {D}}}{{\mathcal {P}}}\cong ( {{\mathcal {M}}}/ \pm 1) / \sigma \cong {\mathfrak {S}}_5 / {{\,{\mathrm{Aff}}\,}}(1, {\mathbb {Z}}/5) = {\mathfrak {S}}_5 / \langle (1,2,3,4,5), (1,2,4,3) \rangle \) (double pentagons)
Remark 3.5
Observe that \(\sigma \) corresponds to multiplication on the right by (1, 2, 4, 3) on the cosets gH, where H is any of the above three subgroups.
Next we show that all irreducible representations of \({\mathfrak {S}}_5\) of dimension different from 4^{Footnote 5} are contained in the permutation representation associated to the set \({{\mathcal {M}}}\), i.e., to the set of oriented pentagons.
Theorem 3.6
Let M be the permutation representation associated to \({{\mathcal {M}}}\), D the permutation representation associated to \( {{\mathcal {D}}}{{\mathcal {P}}}\), P the permutation representation associated to \( {{\mathcal {P}}}\).
Then

\( W' = W \oplus \epsilon = D \otimes \epsilon \), and

\( M = V \oplus (V \otimes \epsilon ) \oplus D \oplus (D \otimes \epsilon ) = V \oplus V \oplus [(W \otimes \epsilon ) \oplus \chi _1] \oplus [W \oplus \epsilon ]\).
Proof
First of all, \(\sigma \) induces an action of \({\mathbb {Z}}/4\) on M, hence M splits according to the 4 eigenvalues \( \pm \sqrt{1}, \pm 1\).
The eigenspace for \(+1\) is generated by the vectors (of M!)
hence it clearly corresponds to the representation D on the double pentagons.
The eigenspace \(D'\) for \(1\) is generated by the vectors
and together with the previous yields as direct sum the \(+1\)eigenspace for \(1 = \sigma ^2\), which is clearly P, the representation associated to the pentagons. Observe that \(D'\) contains the sign representation \(\epsilon \).
The eigenspace \(V'\) for \( \sqrt{1}\) is generated by the vectors \(m  \sqrt{1}( \sigma (m))  (m ) + \sqrt{1} ( \sigma (m))\). The Galois group of \(\lambda ^2 = 1\) (complex conjugation) yields an isomorphism of \(V'\) with the eigenspace \(V''\) for \( \sqrt{1}\).
Step 1 \(V' \cong V\).
This follows immediately from Schur’s Lemma: indeed M surjects onto V, hence V appears as a summand of M. But D and \(D'\) are reducible, hence P maps trivially to V, and \(V'\) is isomorphic to V. Therefore we have
and we know that \(V \cong V \otimes \epsilon \).
Step 2 We calculate the character of M.
In order to achieve this, we use the following obvious
Lemma 3.7
Consider a transitive permutation representation of a finite group G on G/H. Then its character \(\chi _H\) is given by:
In the case of the oriented pentagons, H is spanned by (1, 2, 3, 4, 5) and \( \chi _H (\gamma ) = 0\) unless \(\gamma \) has order dividing 5, in which case \( \chi _H (Id) = 24\), while \( \chi _H ((1,2,3,4,5)) = 4\), since the normalizer of H is the affine group \( {{\,\mathrm{Aff}\,}}(1, \mathbb {Z}/5)\).
Thus in this case the character vector equals
Step 3 \(\chi _D = \chi _6 + \chi _1\), \(D' = D \otimes \epsilon \).
Subtracting twice the character of V, we obtain \(\chi _{P}= (12,0,4,0,0,2,0)\). Alternatively, and also in order to calculate the character of D, we again apply the above lemma.
If we consider pentagons and double pentagons (i.e. \(H= D_5\) resp. \(H = {{\,\mathrm{Aff}\,}}(1, \mathbb {Z}/5)\)), observe that in both cases \(g H g^{1}\) contains no elements of order 3 and in the case of pentagons no transpositions and no 4cycles. Hence the character is zero, in the case of pentagons, unless we have 5cycles, double transpositions, or the identity.
A 5cycle fixes 2 pentagons, and exactly one double pentagon. A double transposition fixes 4 pentagons, and 2 double pentagons. A 4cycle fixes 2 double pentagons: for instance, if \( i \mapsto 2 i\) fixes \(\{(0,a_1,a_2,a_3,a_4), (0,a_2,a_4,a_1,a_3)\}\), then it must preserve the block decomposition \(\{1,2,3,4\} = \{a_1, a_4\} \cup \{a_2, a_3\}\) corresponding to the two sets of neighbours of 0; since it does not fix any pentagon, it must exchange these two sets, and then it must be either \(a_2= 2 a_1\) or \(a_3 = 2 a_1\). Up to choosing an appropriate representative, we may assume \(a_1 = 1\); then it must be \(a_4 = 1\), and the only two choices are \(a_2 = 2\) or \(a_2 = 2\).
We conclude from these calculations that
We recover in this way that
and moreover we obtain:
This implies that \(D' = D \otimes \epsilon \).
Step 4 We shall show that \(D \cong W' \otimes \epsilon \) and \(W' \cong W\oplus \epsilon \).
In fact, \(W' = \langle Q_{ij} \rangle \) surjects onto the one dimensional representation \(\epsilon \) corresponding to \({\mathbb {C}}\Sigma \subset H^0({\mathcal {O}}_Y(2))\). In particular, \(W' = W \oplus \epsilon \).
Observe now that, for each \(\tau \in {\mathfrak {S}}_3\),
while, defining
we have \(\tau (d_{ij}) = d_{\tau (i)\tau (j)}\).
Hence \(W'\) and \(D \otimes \epsilon \) have the same character on \({\mathfrak {S}}_3\). It follows that also \(W'\) is the direct sum of an irreducible five dimensional representation with a one dimensional one, and either \(W \cong D\) or \(W \cong D \otimes \epsilon \). The first possibility is excluded since \(W'\) contains \(\epsilon \). \(\square \)
Remark 3.8
We have indeed precise formulae for the action on the space \(W'\).
By Lemma 2.4 and Remark 2.5 we know that for \(\tau \in {\mathfrak {S}}_3\) we have that \(\tau (Q_{ij}) = {{\,\mathrm{sgn}\,}}(\tau )Q_{\tau (i) \tau (j)}\).
In particular:
\(\underline{\tau = (1,2)}:\)
From the proof of Theorem 2.6 we see that other elements of \({\mathfrak {S}}_5\) act as follows:
\({\underline{\tau = (3,4)}}:\)
\({\underline{\tau = (4,5)}}:\)
\({\underline{\tau = (1,2)(3,4)}}:\)
\({\underline{\tau = (1,2,3,4)}}:\)
\({\underline{\tau = (1,2,3,4,5)}}:\)
\({\underline{\tau = (1,2,3)(4,5)}}:\)
For future use we also show:
Lemma 3.9
The determinant of W is the trivial representation, equivalently, \(\bigwedge ^6 W' = \epsilon \).
Proof
Since \(W' \cong W \oplus \epsilon \), we have that \(\bigwedge ^6 W' = \epsilon \) if and only if \(\bigwedge ^5 W = \chi _1\).
A basis of \(\bigwedge ^6 W'\) consists of the element \(\omega :=Q_{12} \wedge Q_{13} \wedge Q_{21} \wedge Q_{23} \wedge Q_{31} \wedge Q_{32}\). Then \(\tau = (1,2)\) maps \(\omega \) to
whence the claim follows. \(\square \)
4 \(\mathfrak {S}_5\)equivariant resolution of the sheaf of regular functions on the Del Pezzo surface \(Y \subset \mathbb {P}^5\) of degree 5
By Theorem 2.6, 2) we know that \(\chi _{\bigwedge ^6V} = \chi _2 = \epsilon \).
Consider the Euler sequence on \({\mathbb {P}}^5 := {\mathbb {P}}(V)\), \(V = H^0(Y, {\mathcal {O}}_Y(K_Y))\):
Then
and this implies that
where \(\epsilon \) is the sign representation.
We take a Hilbert resolution of \({\mathcal {O}}_Y\) (\(P:={\mathbb {P}}^5\)):
where \(W,W'',U\) are \({\mathfrak {S}}_5\)representations (a posteriori they shall be irreducible of respective dimensions 5, 5, 1, at this stage we only know that \(\dim (W) = 5\)).
Applying \({\mathcal {H}}om( \cdot , \omega _P)\) to the above resolution, we obtain a resolution of
This equals
which after twisting by \({\mathcal {O}}_P(1)\) becomes:
By the uniqueness of a minimal graded free resolution up to isomorphism, we get that (4.1) is isomorphic to (4.4), hence:
Therefore we have proven the following:
Proposition 4.1
The self dual Hilbert resolution of \({\mathcal {O}}_Y\) is given by:
where \(A \in W \otimes (W \otimes \epsilon ) \otimes V\), \(B \in W^{\vee } \otimes S^2(V) = {{\,\mathrm{Hom}\,}}(W,S^2(V))\), and A is anti symmetric.
Observe that \(W \otimes (W \otimes \epsilon ) \otimes V \cong W \otimes W \otimes V\) as representations, since \(V \cong V \otimes \epsilon \). Therefore we look for \(A \in (\wedge ^2 W \otimes V )^{{\mathfrak {S}}_5}\), and we claim that A is uniquely determined up to scalars.
Lemma 4.2
The natural inclusion
induces an isomorphism
Proof
Observe that \(\wedge ^2 W' \cong \wedge ^2(W \oplus W_2) \cong \wedge ^2 W \oplus (W \otimes W_2)\cong \wedge ^2 W \oplus W_6 \), where \(W_6 \cong W \otimes \epsilon \) and \(\wedge ^2W \cong V \oplus W_3\) (as it is easily checked by the character formula
By Schur’s lemma it follows that
\(\square \)
We want to find the (up to a constant) unique \({\mathfrak {S}}_5\)equivariant map A, such that if A corresponds to a tensor \(\alpha \in (\bigwedge ^2 W \otimes V)^{{\mathfrak {S}}_5}\), then \(\alpha \wedge \alpha = B\).
We have that \(\alpha \wedge \alpha \in \bigwedge ^4 W \otimes S^2 V\) and, since \(\bigwedge ^5 W \cong {\mathbb {C}}\) is the trivial representation, hence the pairing
identifies \(\bigwedge ^4 W\) with \(W^{\vee }\), therefore
Since we want to find the (up to a constant) unique element \(A \in (\bigwedge ^2 W' \otimes V )^{{\mathfrak {S}}_5}\), we write for \(1 \le i \ne j \le 3\), \(1 \le h \ne k \le 3\), \(1 \le m \ne n \le 3\),:
and use the lexicographical order for (ij), resp. (hk), resp (mn).
Moreover, we use that \(A_{ij,hk}\) is skewsymmetric, i.e. \(A_{ij,hk} =  A_{hk,ij}\).
We are going to prove the following:
Theorem 4.3
Let Y be the del Pezzo surface of degree 5, embedded anticanonically in \({\mathbb {P}}^5\). Then the ideal of Y is generated by the \(4 \times 4\)  Pfaffians of the \({\mathfrak {S}}_5\)  equivariant antisymmetric \(6 \times 6\)matrix \(A=\)
We first prove the following:
Proposition 4.4
For \(\{i,j,k\} = \{1,2,3\}\) we have:

(1)
\(A_{ij,ik} = s_{ji} +s_{jk}s_{ki}s_{kj}\);

(2)
\(A_{ik,kj} = s_{ij}s_{ki}\);

(3)
\(A_{ij,ki} = s_{ik}+s_{kj}\);

(4)
\(A_{ik,ki} = s_{ik} +s_{ji}s_{jk}s_{ki}\);

(5)
\(A_{ij,kj} = s_{ji}s_{ij}+s_{kj}s_{jk}\).
Proof
Observe that \(\tau = (4,5)\) sends \(Q_{12} \wedge Q_{13}\) to \(Q_{12} \wedge Q_{13}\). Therefore \(A_{12,13} = \tau A_{12,13}\), since A is \({\mathfrak {S}}_5\)  invariant. Write
then we have
This implies
On the other hand, if we apply \(\tau = (2,3)\), we get:
hence
W.l.o.g. we set \(\alpha _{21} = 1\) and we have
Assume that \(\{i,j,k\} = \{1,2,3\}\) and let \(\sigma :=\begin{pmatrix} 1&\quad 2&\quad 3 \\ i&\quad j&\quad k \end{pmatrix}\). Apply \(\sigma \) to equation (4.8), then we see that
In particular we have: \(A_{21,23} = s_{12} +s_{13}s_{31}s_{32}\). If we apply \(\tau = (3,4)\), we obtain:
Applying \(\sigma \) we get:
For \(\tau = (4,5)\) we have \(A_{12,31} = \tau A_{13,32} = s_{13}+s_{32}\), and applying \(\sigma \) we get:
We apply \(\tau =(3,4)\) to the equation \(A_{12,23} = s_{13}s_{21}\) and obtain
The general equation (4) follows again applying \(\sigma :=\begin{pmatrix} 1&\quad 2&\quad 3 \\ i&\quad j&\quad k \end{pmatrix}\).
Finally we apply \(\tau = (4,5)\): \(A_{12,32} = \tau A_{13,31} = s_{21}s_{12}+s_{32}s_{23}\) and applying \(\sigma :=\begin{pmatrix} 1&\quad 2&\quad 3 \\ i&\quad j&\quad k \end{pmatrix}\) yields
\(\square \)
Proof of Theorem 4.3
The matrix follows immediately from Proposition 4.4. A straightforward calculation shows that the 15 \((4 \times 4)\)  Pfaffians of the matrix A are:
This proves the theorem. \(\square \)
5 \(\mathfrak {S}_5\)invariant equations of \(Y \subset (\mathbb {P}^1)^5\)
As already mentioned in the first section there are five geometric objects permuted by the automorphism group \({\mathfrak {S}}_5\) of the del Pezzo surface Y of degree five: namely, 5 fibrations \(\varphi _i : Y \rightarrow {\mathbb {P}}^1\), induced, for \(1 \le i \le 4\), by the projection with centre \(p_i\), and, for \(i=5\), by the pencil of conics through the 4 points (viewing the Del Pezzo surface as the moduli space of five ordered points on the projective line, these fibrations are just the maps to the moduli space of four ordered points on the projective line obtained forgetting the jth of the five points). Each fibration is a conic bundle, with exactly three singular fibres, correponding to the possible partitions of type (2, 2) of the set \(\{1, 2,3,4,5\} \setminus \{i\}\).
We have proven in [3] the following result
Theorem 5.1
Y embeds into \(({\mathbb {P}}^1)^4\) via \(\varphi _1 \times \dots \times \varphi _4\) and in \(({\mathbb {P}}^1)^5\) via \(\varphi _1 \times \dots \times \varphi _5\).
Moreover, we showed^{Footnote 6}
Theorem 5.2
Let \(\Sigma \subset ({\mathbb {P}}^1)^4=:Q\), with coordinates
be the image of the Del Pezzo surface Y via \(\varphi _3 \times \varphi _1 \times \varphi _2 \times \varphi _4\). Then the equations of \(\Sigma \) are given by the four \(3 \times 3\)minors of the following HilbertBurch matrix:
In particular, we have a HilbertBurch resolution:
where \(H_i\) is the pullback to Q of a point in \({\mathbb {P}}^1\) under the ith projection.
Observe first that each pencil \(\varphi _i :Y \rightarrow {\mathbb {P}}^1\) can be rewritten as
where \(\Lambda _1, \Lambda _2, \Lambda _3, \Lambda _4, \Lambda _5\) are the lines in \({\mathbb {P}}^2\) defined by equations which are consequences of the following equalities:
We set
and then the map
is expressed by:
The equation of the image of the Del Pezzo surface Y in \(({\mathbb {P}}^1)^3 = \Lambda _3 \times \Lambda _1 \times \Lambda _2\) under the map map \(\varphi _3 \times \varphi _1 \times \varphi _2\) is then
We give now the action of \({\mathfrak {S}}_5\) on the pencils \(\varphi _i\) in order to determine the 10 (\({\mathfrak {S}}_5\)invariant) equations of the image of Y under the map \(\varphi _3 \times \varphi _1 \times \varphi _2 \times \varphi _4 \times \varphi _5\), which correspond to the 10 possible projections of \(({\mathbb {P}}^1)^5\) to \(({\mathbb {P}}^1)^3\).
In fact, \({\mathfrak {S}}_5\) acts by permuting the indices of \(\varphi _i\), but a permutation \(\tau \in {\mathfrak {S}}_5\) maps \(\varphi _i\) to \(\lambda _{\tau } \circ \varphi _{\tau (i)}\), where \(\lambda _{\tau }\) is a projectivity of \({\mathbb {P}}^1\).
A straightforward computation (using the formulae for the action of \({\mathfrak {S}}_5\) on \({\mathbb {P}}^2\) by birational maps given in Sect. 2) gives the following table.
\(\tau \)  (1, 2)  (2, 3)  (3, 4)  (4, 5) 

\(\tau (v_1:v_2:v_3)\)  \((v_2:v_1:v_3)\)  \((z_2:z_1:z_3)\)  \((t_2:t_1:t_3)\)  \((v_2:v_1:v_3)\) 
\(\tau (w_1:w_2:w_3)\)  \((z_2:z_1:z_3)\)  \((w_2:w_1:w_3)\)  \((w_3:w_2:w_1)\)  \((w_2:w_1:w_3)\) 
\(\tau (z_1:z_2:z_3)\)  \((w_2:w_1:w_3)\)  \((v_2:v_1:v_3)\)  \((z_1:z_3:z_2)\)  \((z_2:z_1:z_3)\) 
\(\tau (t_1:t_2:t_3)\)  \((t_2:t_1:t_3)\)  \((t_1:t_3:t_2)\)  \((v_2:v_1:v_3)\)  \((s_1:s_2:s_3)\) 
\(\tau (s_1:s_2:s_3)\)  \((s_2:s_1:s_3)\)  \((s_1:s_3:s_2)\)  \((s_2:s_1:s_3)\)  \((t_1:t_2:t_3)\) 
Theorem 5.3
Let \(\Sigma \subset ({\mathbb {P}}^1)^5=\Lambda _3 \times \Lambda _1 \times \Lambda _2 \times \Lambda _4 \times \Lambda _5 \subset ({\mathbb {P}}^2)^5\), with coordinates
be the image of the Del Pezzo surface Y under the map \(\varphi _3 \times \varphi _1 \times \varphi _2 \times \varphi _4 \times \varphi _5\). Then the equations of \(\Sigma \) are the following:
Proof
The equations (2)–(10) are obtained from the first one using the above table described in the following diagram:
\(\square \)
Remark 5.4
We have seen that the equations of
are the ten equations obtained by the ten coordinate projections \(P:=({\mathbb {P}}^1)^5 \rightarrow ({\mathbb {P}}^1)^3\) and therefore we have an exact sequence
where the first syzygies are the pullbacks of the syzygies obtained for each projection \(({\mathbb {P}}^1)^5 \rightarrow ({\mathbb {P}}^1)^4\).
Observe that the shape of this resolution is the same as the EagonNorthcott complex for a Del Pezzo surface \(S_4\) of degree 4, cf [3].
But if this resolution were associated to a \(5 \times 3\) matrix of the same type, then we would get a Del Pezzo surface of degree 4 and not of degree 5.
Hence (since \(K^2\) is invariant for smooth deformations) we have a Hilbert scheme which is reducible (since the open set corresponding to smooth surfaces is disconnected).
Notes
if \(\epsilon \) is the sign character, indeed \(W' \otimes \epsilon \) is the permutation representation corresponding to double combinatorial pentagons (the cosets in \({\mathfrak {S}}_5/ {{\,\mathrm{Aff}\,}}(1 , {\mathbb {Z}}/5)\)).
it is the dually neighbouring pentagon, where the dual ngon is associated to the sequence of sides \(L_1, \dots , L_n\).
a referee suggested a lengthy alternative proof of this corollary using the isomorphism with the ring of invariants of five points on the line; here to an oriented pentagon corresponds a product of Plücker coordinates of a \(2 \times 5 \) matrix, as done in the paper by Howard, Millson, Snowden, Vakil : ‘The ideal of relations for the ring of invariants of n points on the line’, JEMS 14 (2012), 1, 1–60.
Indeed \(\sigma (s_{ij} )= \sigma _{ij}, \sigma (\sigma _{ij}) =  s_{ij}\). Observe moreover that, by what we observed in remark 1.3, \(\sigma \) is not induced by a linear map of V!
These are easily gotten by the standard permutation representation on 5 elements!
In the previous paper the coordinates which are here denoted \((t'_1,t'_2)\) were denoted \((t_1,t_2)\); whereas here we reserve the notation \((t_1,t_2)\) for \((t'_1,  t'_2)\) in order to show the \({\mathfrak {S}}_5\)symmetry,
References
Barthel, G., Hirzebruch, F., Höfer, T.: Geradenkonfigurationen und Algebraische Flächen, Aspects of Mathematics, D4, Friedr. Vieweg Sohn Braunschweig (1987) (German)
Bauer, I., Catanese, F.: On rigid compact complex surfaces and manifolds. Adv. Math. 333, 620–669 (2018)
Bauer, I., Catanese, F.: Del Pezzo surfaces, rigid line configurations and HirzebruchKummer coverings. Boll. Unione Mat. Ital. 12, 1–20 (2018). https://doi.org/10.1007/s405740180169x
Buchsbaum, D.A., Eisenbud, D.: What makes a complex exact? J. Algebra 25, 259–268 (1973)
Buchsbaum, D.A., Eisenbud, D.: Algebra structures for finite free resolutions, and some structure theorems for ideals of codimension 3. Am. J. Math. 99, 447–485 (1977)
Catanese, F.: Kodaira fibrations and beyond: methods for moduli theory. In: The Sixteenth Takagi Lectures, first version, vol. 16, pp. 37–102. The Mathematical Society of Japan and GSMS University, Tokyo (2015)
Catanese, F.: Kodaira fibrations and beyond: methods for moduli theory. Jpn. J. Math. 12(2), 91–174 (2017)
Cheltsov, I., Shramov, C.: Cremona Groups and the Icosahedron, Monographs and Research Notes in Mathematics. CRC Press, Boca Raton (2016)
Conforto, F.: Le superficie razionali. Zanichelli, Bologna (1939)
Dolgachev, I.V.: Classical Algebraic Geometry. Cambridge University Press, Cambridge (2012). A modern view
Dolgachev, I., Farb, B., Looijenga, E.: Geometry of the Wiman–Edge pencil, I: algebrogeometric aspects. Eur. J. Math. 4(3), 879–930.3851123 (2018)
Del Pezzo, P.: Sulle superficie di ordine n immerse nello spazio di n+1 dimensioni. Rend. Nap. XXIV, 212–216 (1885)
GonzálezSánchez, J., Harrison, M., PoloBlanco, I., Schicho, J.: Algorithms for Del Pezzo surfaces of degree 5 (construction, parametrization). J. Symb. Comput. 47(3), 342–353 (2012). https://doi.org/10.1016/j.jsc.2011.12.002
James, G., Liebeck, M.: Representations and Characters of Groups, 2nd edn. Cambridge University Press, New York (2001)
Acknowledgements
Open Access funding provided by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The present work took place in the framework of the ERC2013Advanced Grant—340258TADMICAMT. Part of the work was done while the authors were guests at KIAS, the second author as KIAS Research scholar.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bauer, I., Catanese, F. \({\mathfrak {S}}_5\)equivariant syzygies for the Del Pezzo surface of degree 5. Rend. Circ. Mat. Palermo, II. Ser 70, 97–120 (2021). https://doi.org/10.1007/s12215020004839
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12215020004839
Keywords
 Del Pezzo surfaces
 Pfaffian equations
 Icosahedral symmetry
 Representations of the symmetric group in 5 letters
Mathematics Subject Classification
 13C14
 13D02
 14J25
 14J26
 14J45
 14Q10
 16E05
 20B30