$\mathfrak S_5$-equivariant syzygies for the Del Pezzo Surface of Degree 5

TL;DR

This paper constructs explicit symmetric equations for a special algebraic surface, the degree 5 Del Pezzo surface, revealing its geometric and algebraic structure through group-invariant Pfaffian equations.

Contribution

It provides canonical $rak S_5$-invariant Pfaffian equations and geometric descriptions for the Del Pezzo surface of degree 5, connecting its algebraic and symmetric properties.

Findings

Explicit $rak S_5$-invariant Pfaffian equations derived.

Geometric descriptions of $rak S_5$ irreducible representations.

Equations for embedding into $(bP^1)^5$ with similar Hilbert resolution as degree 4 case.

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 arithmetically-Gorenstein 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$.

Tables

Table 1. Table 1. Character table of 𝔖 5 subscript 𝔖 5 \mathfrak{S}_{5}

Conj. Class	$1$	$(1,2)$	$(1,2)(3,4)$	$(1,2,3)$	$(1,2,3,4)$	$(1,2,3,4,5)$	$(1,2,3)(4,5)$
${\chi }_1={\chi }_{W_1}$	1	1	1	1	1	1	1
${\chi }_2={\chi }_{W_2}=:ϵ$	1	-1	1	1	-1	1	-1
${\chi }_3={\chi }_{W_3}$	4	-2	0	1	0	-1	1
${\chi }_4={\chi }_{W_4}$	4	2	0	1	0	-1	-1
${\chi }_5={\chi }_{W_5}$	5	1	1	-1	-1	0	1
${\chi }_6={\chi }_{W_6}$	5	-1	1	-1	1	0	-1
${\chi }_7={\chi }_{W_7}$	6	0	-2	0	0	1	0

Equations

$$A\in (({\Lambda }^{2}W)\otimes V{)}^{{\mathfrak{S}}_5}.$$

$$\left(\begin{array}{cccccc}0& s_{21}+s_{23}-& s_{12}+s_{31}-& -s_{13}-s_{21}& s_{13}+s_{32}& s_{21}+s_{32}-\\ & -s_{31}-s_{32}& -s_{32}-s_{21}& & & -s_{12}-s_{23}\\ & & & & & \\ -s_{21}-s_{23}+& 0& s_{12}+s_{23}& s_{31}+s_{23}-& s_{13}+s_{21}-& -s_{12}-s_{31}\\ +s_{31}+s_{32}& & & -s_{13}-s_{32}& -s_{23}-s_{31}& \\ & & & & & \\ -s_{12}-s_{31}+& -s_{12}-s_{23}& 0& s_{12}+s_{13}-& s_{12}-s_{21}+& s_{23}+s_{31}\\ s_{32}+s_{21}& & & -s_{32}-s_{31}& s_{31}-s_{13}& \\ & & & & & \\ s_{13}+s_{21}& -s_{31}-s_{23}+& -s_{12}-s_{13}+& 0& -s_{21}-s_{32}& s_{23}+s_{12}-\\ & s_{13}+s_{32}& s_{32}+s_{31}& & & -s_{13}-s_{32}\\ & & & & & \\ -s_{13}-s_{32}& -s_{13}-s_{21}+& -s_{12}+s_{21}-& s_{21}+s_{32}& 0& s_{12}+s_{13}-\\ & s_{23}+s_{31}& -s_{31}+s_{13}& & & -s_{21}-s_{23}\\ & & & & & \\ -s_{21}-s_{32}+& s_{12}+s_{31}& -s_{23}-s_{31}& -s_{23}-s_{12}+& -s_{12}-s_{13}+& 0\\ s_{12}+s_{23}& & & s_{13}+s_{23}& s_{21}+s_{23}& \end{array}\right)$$

$$s_{12}\mapsto s_{31},s_{13}\mapsto {\sigma }_{12}=s_{13}-s_{31}-s_{23},s_{21}\mapsto s_{21},$$

$$s_{23}\mapsto -{\sigma }_{13}=s_{12}-s_{21}-s_{32},s_{31}\mapsto -{\sigma }_{32}=s_{13}-s_{31}+s_{21},s_{32}\mapsto -{\sigma }_{23}=s_{12}-s_{21}+s_{31},$$

$$Q_{12}\mapsto Q_{31},Q_{13}\mapsto Q_{12},Q_{21}\mapsto Q_{21},$$

$$Q_{23}\mapsto Q_{13},Q_{31}\mapsto Q_{32},Q_{32}\mapsto Q_{23}.$$

$$V=H^0({\omega }_{Y_5^2}^{-1})=H^0({\mathcal{O}}_{Y_5^2}(-K_{Y_5^2}))=H^0({\mathcal{O}}_{Y_5^2}(1)),$$

$$p_1=(1:0:0),p_2=(0:1:0),p_3=(0:0:1),p_4=(1:1:1)=(-1:-1:-1).$$

$$E_{i,j}\cdot E_{h,k}=1\iff \{i,j\}\cap \{h,k\}=\varnothing ,E_{i,j}\cdot E_{h,k}=0\iff \{i,j\}\cap \{h,k\}\ne \varnothing ,\{i,j\}.$$

$$E_{3,4}+E_{2,5},E_{2,4}+E_{3,5},E_{2,3}+E_{4,5}.$$

$$\sigma (x_1:x_2:x_3)=(x_{\sigma (1)}:x_{\sigma (2)}:x_{\sigma (3)}),$$

$$\sigma (x_1:x_2:x_3)=(x_1-x_3:x_2-x_3:-x_3),$$

$$(x_1:x_2:x_3)\mapsto (\frac{1}{x_1}:\frac{1}{x_2}:\frac{1}{x_3})=(x_2{x}_3:x_1{x}_3:x_1{x}_2).$$

$$\Sigma :=x_1{x}_2{x}_3(x_1-x_2)(x_2-x_3)(x_3-x_1)$$

$$V:=H^0(Y,{\mathcal{O}}_Y(-K_Y)).$$

$$V^{\prime }:=\{F\in \mathbb{C}[x_1,x_2,x_3{]}_3|F(p_1)=F(p_2)=F(p_3)=F(p_4)=0\}\cong {\mathbb{C}}^6.$$

$$s_{ij}:=x_i{x}_j(x_j-x_k),\{1,2,3\}=\{i,j,k\}.$$

$$\{s_{ij}|1\le i\ne j\le 3\}\subset V^{\prime }$$

$${\sigma }_{ij}:=\frac{\Sigma }{s_{ij}}=\frac{\Sigma }{x_i{x}_j(x_j-x_k)}=ϵx_k(x_i-x_j)(x_k-x_i),$$

$${\sigma }_{ij}=ϵ(s_{ik}-s_{ki}-s_{jk}).$$

$$\alpha ({\sigma }_{12}+{\sigma }_{13})+\beta ({\sigma }_{21}+{\sigma }_{23})+\gamma ({\sigma }_{31}+{\sigma }_{32})=0,$$

$$0\to {\mathcal{O}}_{{\mathbb{P}}^2}\to U^{\prime }\otimes {\mathcal{O}}_{{\mathbb{P}}^2}(1)\to {\Theta }_{{\mathbb{P}}^2}\to 0.$$

$${\mathcal{O}}_{{\mathbb{P}}^2}(-K_{{\mathbb{P}}^2})\cong {\wedge }^3{U}^{\prime }\otimes {\mathcal{O}}_{{\mathbb{P}}^2}(3).$$

$$P\mapsto P(d{x}_1\wedge d{x}_2\wedge d{x}_3{)}^{-1}.$$

$$\tau (s_{ij})=ϵ(\tau )s_{\tau (i)\tau (j)}.$$

$$d{x}_1\wedge d{x}_2\wedge d{x}_3\mapsto d(x_1-x_3)\wedge d(x_2-x_3)\wedge d(-x_3)=-d{x}_1\wedge d{x}_2\wedge d{x}_3.$$

$$\tau ({\sigma }_{ij})={\sigma }_{\tau (i)\tau (j)}.$$

$$\tau \left(\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right)=\left(\begin{array}{c}{x}_1-x_3\\ x_2-x_3\\ -x_3\end{array}\right).$$

$$\tau ((d{x}_1\wedge d{x}_2{)}^{-1})=(d\frac{1}{x_1}\wedge d\frac{1}{x_2}{)}^{-1}=(\frac{1}{x_1^2}d{x}_1\wedge \frac{1}{x_2^2}d{x}_2{)}^{-1}=x_1^2{x}_2^2(d{x}_1\wedge d{x}_2{)}^{-1}.$$

$$\begin{gathered} s_{ij}(d{x}_1\wedge d{x}_2{)}^{-1}=x_i{x}_j(x_j-x_k)(d{x}_1\wedge d{x}_2{)}^{-1}\mapsto \frac{1}{x_i}\frac{1}{x_j}\frac{x_k-x_j}{x_j{x}_k}{x}_1^2{x}_2^2(d{x}_1\wedge d{x}_2{)}^{-1}= \\ =\frac{x_1^2{x}_2^2{x}_3^2}{x_i{x}_j^2{x}_k}(x_k-x_j)(d{x}_1\wedge d{x}_2{)}^{-1}=x_i{x}_k(x_k-x_j)(d{x}_1\wedge d{x}_2{)}^{-1}=s_{ik}(d{x}_1\wedge d{x}_2{)}^{-1}. \end{gathered}$$

Full text

1. 0 Introduction

2. 1 Symmetries and the anticanonical system of the Del Pezzo surface of Degree 5

3. 2 Quadratic equations for the Del Pezzo surface of degree 5 and geometrical descriptions of $\mathfrak{S}_{5}$-representations

4. 2.1 Geometrical and combinatorial pentagons

5. 3 $\mathfrak{S}_{5}$-equivariant resolution of the sheaf of regular functions on the Del Pezzo surface $Y\subset\mathbb{P}^{5}$ of degree $5$

6. 4 $\mathfrak{S}_{5}$-invariant equations of $Y\subset(\mathbb{P}^{1})^{5}$

0. Introduction

Del Pezzo [dp] (see also [conforto], 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 blow-up 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\geq 5$, and we are interested (see [debart]) about their defining equations, here particularly in the case $n=5$.

It is well known, at least since the work of Buchsbaum and Eisenbud, [be] that all surfaces $Y$ in $\mathbb{P}^{5}$ which are arithmetically Cohen-Macaulay and subcanonical (i.e., the canonical sheaf $\omega_{Y}\cong\mathcal{O}_{Y}(r)$ for some integer $r$) are defined by the $m$-Pfaffians 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 [schicho]. 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 $\geq 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 (6-dimensional) vector space $V:=H^{0}(\omega_{Y}^{-1})=H^{0}(Y,\mathcal{O}_{Y}(-K_{Y}))$ and the 5-dimensional vector space $W$ of quadratic forms vanishing on $Y$ ($W\subset\operatorname{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 Buchsbaum-Eisenbud theory, to be an invariant tensor

[TABLE]

It was known through character theory ([dolgachev1] with corrections done in [dolgachev2], [takagi1], [takagi]) 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 4-dimensional representation $U_{4}$ of $\mathfrak{S}_{5}$, this is given by the invariant subspace $x_{1}+x_{2}+\dots+x_{5}=0$ in the 5-dimensional vector space $U^{\prime}_{5}$ with coordinates $(x_{1},\dots,x_{5})$ which are naturally permuted by $\mathfrak{S}_{5}$. So, there is a natural permutation representation $U^{\prime}_{5}$ yielding a natural basis for $U^{\prime}_{5}\supset U_{4}$.

In our case, we first show that there is a natural basis $s_{ij}$ ($1\leq i\neq j\leq 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 5-dimensional invariant subspace in a natural 6-dimensional subspace $W^{\prime}$ of $\operatorname{Sym}^{2}(V)$, related to a natural permutation representation of $\mathfrak{S}_{5}$ 111if $\epsilon$ is the sign character, indeed $W^{\prime}\otimes\epsilon$ is the permutation representation corresponding to double combinatorial pentagons (the cosets in $\mathfrak{S}_{5}/\operatorname{Aff}(1,\mathbb{Z}/5)$)., 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 3.3 (which we reproduce here immediately below) in an elegant numerical way an explicit antisymmetric $6\times 6$ matrix $A^{\prime}$ 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 0.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 anti-symmetric $6\times 6$-matrix $A^{\prime}=$

[TABLE]

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\neq j,1\leq i,j\leq 3$, which is described in the proof of theorem 1.6, tensored with the sign character $\epsilon$ (we shall denote $V^{\prime}:=V\otimes\epsilon$ and observe here that $V$, $V^{\prime}$ are isomorphic $\mathfrak{S}_{5}$ representations). The action on the matrix is determined by the action of $\mathfrak{S}_{5}$ on $W^{\prime}\otimes W^{\prime}$, in turn determined by the action of $\mathfrak{S}_{5}$ on the vector space $W^{\prime}$ with basis the quadrics $Q_{ij}$, $i\neq j,1\leq i,j\leq 3$. The latter action (which is explicitly described in remark 2.8) is a consequence of the former, since $Q_{ij}=s_{ij}\sigma_{ij}$, where the $\sigma_{ij}$’s are defined in section 1 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

[TABLE]

[TABLE]

and

[TABLE]

[TABLE]

Our main theorem is also interesting because, even if we work sometimes using character theory and over a field of characteristic [math], 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 [takagi1] and [takagi]): the symmetries of $Y^{2}_{5}$ bear some similarity to those of the icosahedron, as it is well known ([dolgachev1], [cheltsov]), 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}/\operatorname{Aff}(1,\mathbb{Z}/5)$, we give another realization of the anticanonical vector space $V$,

[TABLE]

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 [debart] 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 4.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.

1. Symmetries and the anticanonical system of the Del Pezzo surface of Degree 5

We recall some notation introduced in [takagi], as well as some intermediate results established there.

The Del Pezzo surface $Y:=Y^{2}_{5}$ of degree $5$ is the blow-up of the plane $\mathbb{P}^{2}$ in the $4$ points $p_{1},\dots,p_{4}$ of a projective basis, that is, we choose

[TABLE]

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^{\prime}$, and $e_{1}+e_{2}+e_{3}+e_{4}=0$. In other words, $\mathbb{P}^{2}=\mathbb{P}(U^{\prime})$, where $U^{\prime}$ 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\neq j$.

Denote by $E_{i,5}$ the exceptional curve lying over the point $p_{i}$, and denote, for $i\neq 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\leq i\leq 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\neq j$)

[TABLE]

In this picture the three singular fibres of $\varphi_{1}$ are

[TABLE]

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}=EK_{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. figure 1).

Remark 1.1*.*

1. The action of $\operatorname{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^{\prime}$ (by which $\mathfrak{S}_{4}\leq\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}$

[TABLE]

and for $\sigma=(3,4)$:

[TABLE]

• •

the transposition $(4,5)$ is the standard Cremona transformation

[TABLE]

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}$)

[TABLE]

yields an eigenvector for the sign representation $\epsilon:\mathfrak{S}_{5}\rightarrow\{\pm 1\}$.

In fact, the proper transform of $\operatorname{div}(\Sigma)$ is the sum of the 10 lines $E_{i,j}$ contained in $Y$, and it is a divisor in $|-2K_{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}(-2K_{Y}))$ hence the proper transform of the equation $\Sigma$ is a section of $H^{0}(Y,\mathcal{O}_{Y}(-2K_{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

[TABLE]

We know that $V$ is, via adjunction, naturally isomorphic to the vector space of cubics passing through the 4 points,

[TABLE]

Since $\mathfrak{S}_{5}$ acts linearly on $V$ we want to determine this action and translate this action on $V^{\prime}$.

For this purpose we set, for $1\leq i\neq j\leq 3$,

[TABLE]

Proposition 1.2**.**

[TABLE]

is a basis of $V^{\prime}$.

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 $2p_{1}+p_{2}$, $p_{1}+2p_{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})$.

∎

We set

[TABLE]

where $\epsilon:=\epsilon(\begin{pmatrix}1&2&3\\ i&j&k\end{pmatrix}$) is the sign of the permutation.

Then we have:

[TABLE]

Remark 1.3*.*

(1) We observe as a parenthetical remark that the $\sigma_{ij}$’s span a $4$-dimensional sub vector space of $V$. In fact,

[TABLE]

for all $\alpha,\beta,\gamma\in\mathbb{C}$ such that $\alpha+\beta+\gamma=0$.

(2) Observe that for $\mathfrak{S}_{3}\leq\mathfrak{S}_{5}$, $\mathfrak{S}_{3}$ acts on homogeneous polynomials by permuting $x_{1},x_{2},x_{3}$, and that $V^{\prime}$ is the regular representation of $\mathfrak{S}_{3}$.

Consider now the Euler sequence on $\mathbb{P}^{2}:=\mathbb{P}(U^{\prime})$, $U^{\prime}\cong\mathbb{C}^{3}$:

[TABLE]

From this follows

[TABLE]

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:

[TABLE]

Hence we identify $V^{\prime}$ with $V$ via the map: $V^{\prime}\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^{\prime}$ the given action of $\mathfrak{S}_{5}$ on $V$. We obtain immediately:

Lemma 1.4**.**

$\mathfrak{S}_{3}\leq\mathfrak{S}_{5}$* acts on $V$ by*

[TABLE]

Hence the representation $V$ restricted to $\mathfrak{S}_{3}\leq\mathfrak{S}_{5}$ is the regular representation tensored by the sign character $\epsilon$, while $V$ restricted to $\mathfrak{S}_{4}\leq\mathfrak{S}_{5}$ is isomorphic to the subspace of $S^{3}((U^{\prime})^{\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

[TABLE]

∎

Remark 1.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}\leq\mathfrak{S}_{5}$ we have:

[TABLE]

We prove the following

Theorem 1.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 below the character table of $\mathfrak{S}_{5}$. Here, cf. [james-liebeck], 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 1.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

[TABLE]

We use formula 1.1, obtaining that $(3,4)$ acts by:

• •

$s_{12}=x_{1}x_{2}(x_{2}-x_{3})\mapsto-(x_{1}-x_{3})(x_{2}-x_{3})x_{2}=\sigma_{31}$;

• •

$s_{13}=x_{1}x_{3}(x_{3}-x_{2})\mapsto-(x_{1}-x_{3})(-x_{3})(-x_{2})=s_{23}$;

• •

$s_{21}=x_{2}x_{1}(x_{1}-x_{3})\mapsto-(x_{2}-x_{3})(x_{1}-x_{3})x_{1}=-\sigma_{32}$;

• •

$s_{23}\mapsto s_{13}$;

• •

$s_{31}=x_{1}x_{3}(x_{1}-x_{2})\mapsto-(x_{1}-x_{3})(-x_{3})(x_{1}-x_{2})=-\sigma_{12}$;

• •

$s_{32}=x_{2}x_{3}(x_{2}-x_{1})\mapsto-(x_{2}-x_{3})(-x_{3})(x_{2}-x_{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:

[TABLE]

Therefore (again here $\{i,j,k\}=\{1,2,3\}$)

[TABLE]

Now we are ready to calculate the trace of $\tau$ for

[TABLE]

$\tau=(1,2)$:

[TABLE]

hence $\chi_{V}(\tau)=\operatorname{trace}(\tau)=0$.

$\tau=(1,2)(3,4)$:

[TABLE]

[TABLE]

hence $\chi_{V}(\tau)=\operatorname{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).

$\tau=(1,2,3)$:

[TABLE]

[TABLE]

hence $\chi_{V}(\tau)=\operatorname{trace}(\tau)=0$.

$\tau=(1,2,3,4)$:

[TABLE]

[TABLE]

hence $\chi_{V}(\tau)=\operatorname{trace}(\tau)=0$.

$\tau=(1,2,3,4,5)$:

[TABLE]

[TABLE]

hence $\chi_{V}(\tau)=\operatorname{trace}(\tau)=1$.

$\tau=(1,2,3)(4,5)$:

[TABLE]

[TABLE]

hence $\chi_{V}(\tau)=\operatorname{trace}(\tau)=0$.

The above explicit calculations show that the character vector for the representation $V$ is

[TABLE]

hence $\langle\chi_{V},\chi_{V}\rangle=1$ and $V$ is an irreducible representation.

2. A basis of $\bigwedge^{6}V$ 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

[TABLE]

whence the claim follows. ∎

2. Quadratic equations for the Del Pezzo surface of degree 5 and geometrical descriptions of $\mathfrak{S}_{5}$-representations

We observe that by Riemann-Roch and Kodaira vanishing we have:

[TABLE]

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:

[TABLE]

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\leq i\neq j\leq 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\leq i\neq j\leq 3\}$ is $\mathbb{C}$-linearly independent and therefore

[TABLE]

[TABLE]

are linearly independent elements of $W$, hence form a basis.

If we denote by $W^{\prime}$ the vector subspace of $\operatorname{Sym}^{2}(V)$ spanned by the $Q_{ij},\ 1\leq i\neq j\leq 3$, then we have the following inclusions, where ${\mathcal{I}}$ is the sheaf of ideals of the functions vanishing on $Y$:

[TABLE]

2.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 2.1**.**

Let $\mathcal{S}$ be a set. Then

1. (1)

an ordered *combinatorial * n-gon on $\mathcal{S}$ is a map $p:\mathbb{Z}/n\rightarrow\mathcal{S}$; 2. (2)

the i-th side $L_{i}$ is the restriction of $p$ to $\{i,i+1\}$; 3. (3)

an ordered combinatorial n-gon on $\mathcal{S}$ is said to be nondegenerate if $p$ is injective; 4. (4)

an oriented combinatorial n-gon on $\mathcal{S}$ is an equivalence class of ordered combinatorial n-gons on $\mathcal{S}$ for the action of $\mathbb{Z}/n$ given by composition on the source $p(i)\sim p(i+a)$; 5. (5)

a(n unoriented) combinatorial n-gon on $\mathcal{S}$ is an equivalence class of oriented combinatorial n-gons on $\mathcal{S}$, where $p(i)\sim p(-i)$ (that is, an equivalence class of ordered n-gons for the action of the dihedral group $D_{n}$, $p(i)\sim p(\pm i+a)$); 6. (6)

the neighbouring n-gon of $p(i)$ is the unoriented n-gon $p(2i)$; it is nondegenerate, for $n$ odd, iff $p$ is nondegenerate, moreover in this case it has no sides in common with the n-gon $p(i)$ once $n\geq 5$; 7. (7)

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

If $\mathcal{S}$ is a linear space, then a geometrical n-gon 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 2.2*.*

If the set $\mathcal{S}$ has $n$ elements, and we consider only nondegenerate n-gons, 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}/\operatorname{Aff}(1,\mathbb{Z}/5)$.

Proposition 2.3**.**

Let $Y$ be a Del Pezzo surface of degree 5.

1. 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}$. 2. 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

[TABLE] 3. 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\}$. 4. d)

Moreover, the subset of $V$

[TABLE]

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 $\operatorname{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 222 it is the dually neighbouring pentagon, where the dual n-gon is associated to the sequence of sides $L_{1},\dots,L_{n}$ 5-gon $B_{i}$, where $B_{i}:=A_{2i}$. We denote by

[TABLE]

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

[TABLE]

Similar formulae can be computed directly for $\operatorname{div}(s_{ij})$, we may however observe that $\{\operatorname{div}(s_{ij})\}$ is the $\mathfrak{S}_{3}$-orbit of $\operatorname{div}(s_{12})$, hence $\operatorname{div}(s_{ij})$ is a geometric pentagon.

Since $\operatorname{div}(\Sigma)$ is the union of the 10 lines of $Y$, follows that $\operatorname{div}(\sigma_{ij})$ is associated to the neighbouring combinatorial pentagon of the one of $\operatorname{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 1.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}}^{\prime}:=\{\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}}^{\prime}$ 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}}^{\prime}$. 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,

[TABLE]

∎

We can summarize part of our discussion in the following corollary 333a 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..

Corollary 2.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

[TABLE]

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)$. 444Indeed $\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$!

∎

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}/\operatorname{Aff}(1,\mathbb{Z}/5)=\mathfrak{S}_{5}/\langle(1,2,3,4,5),(1,2,4,3)\rangle$ (double pentagons)

Remark 2.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 555These are easily gotten by the standard permutation representation on 5 elements! are contained in the permutation representation associated to the set ${\mathcal{M}}$, i.e., to the set of oriented pentagons.

Theorem 2.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^{\prime}=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$!)

[TABLE]

hence it clearly corresponds to the representation $D$ on the double pentagons.

The eigenspace $D^{\prime}$ for $-1$ is generated by the vectors

[TABLE]

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^{\prime}$ contains the sign representation $\epsilon$.

The eigenspace $V^{\prime}$ 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^{\prime}$ with the eigenspace $V^{\prime\prime}$ for $-\sqrt{-1}$.

Step 1: $V^{\prime}\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^{\prime}$ are reducible, hence $P$ maps trivially to $V$, and $V^{\prime}$ is isomorphic to $V$. Therefore we have

[TABLE]

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 2.7**.**

Consider a transitive permutation representation of a finite group $G$ on $G/H$. Then its character $\chi_{H}$ is given by:

[TABLE]

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 $\operatorname{Aff}(1,\mathbb{Z}/5)$.

Thus in this case the character vector equals

[TABLE]

Step 3: $\chi_{D}=\chi_{6}+\chi_{1}$, $D^{\prime}=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=\operatorname{Aff}(1,\mathbb{Z}/5)$), observe that in both cases $gHg^{-1}$ contains no elements of order $3$ and in the case of pentagons no transpositions and no 4-cycles. Hence the character is zero, in the case of pentagons, unless we have 5-cycles, double transpositions, or the identity.

A 5-cycle fixes $2$ pentagons, and exactly one double pentagon. A double transposition fixes 4 pentagons, and 2 double pentagons. A 4-cycle fixes 2 double pentagons: for instance, if $i\mapsto 2i$ 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 [math]; since it does not fix any pentagon, it must exchange these two sets, and then it must be either $a_{2}=2a_{1}$ or $a_{3}=2a_{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

[TABLE]

[TABLE]

We recover in this way that

[TABLE]

and moreover we obtain:

[TABLE]

This implies that $D^{\prime}=D\otimes\epsilon$.

Step 4: We shall show that $D\cong W^{\prime}\otimes\epsilon$ and $W^{\prime}\cong W\oplus\epsilon$.

In fact, $W^{\prime}=\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^{\prime}=W\oplus\epsilon$.

Observe now that, for each $\tau\in\mathfrak{S}_{3}$,

[TABLE]

while, defining

[TABLE]

we have $\tau(d_{ij})=d_{\tau(i)\tau(j)}$.

Hence $W^{\prime}$ and $D\otimes\epsilon$ have the same character on $\mathfrak{S}_{3}$. It follows that also $W^{\prime}$ 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^{\prime}$ contains $\epsilon$.

∎

Remark 2.8*.*

We have indeed precise formulae for the action on the space $W^{\prime}$.

By Lemma 1.4 and Remark 1.5 we know that for $\tau\in\mathfrak{S}_{3}$ we have that $\tau(Q_{ij})=\operatorname{sgn}(\tau)Q_{\tau(i)\tau(j)}$.

In particular:

$\tau=(1,2)$:

[TABLE]

From the proof of Theorem 1.6 we see that other elements of $\mathfrak{S}_{5}$ act as follows:

$\tau=(3,4)$:

[TABLE]

$\tau=(4,5)$:

[TABLE]

$\tau=(1,2,3,4,5)$:

[TABLE]

[TABLE]

For future use we also show:

Lemma 2.9**.**

The determinant of $W$ is the trivial representation, equivalently, $\bigwedge^{6}W^{\prime}=\epsilon$.

Proof.

Since $W^{\prime}\cong W\oplus\epsilon$, we have that $\bigwedge^{6}W^{\prime}=\epsilon$ if and only if $\bigwedge^{5}W=\chi_{1}$.

A basis of $\bigwedge^{6}W^{\prime}$ 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

[TABLE]

whence the claim follows.

∎

3. $\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 1.6, 2) we know that $\chi_{\bigwedge^{6}V}=\chi_{2}=\epsilon$.

Consider the Euler sequence on $\mathbb{P}^{5}:=\mathbb{P}(V)$, $V=H^{0}(Y,\mathcal{O}_{Y}(-K_{Y}))$:

[TABLE]

Then

[TABLE]

and this implies that

[TABLE]

where $\epsilon$ is the sign representation.

We take a Hilbert resolution of $\mathcal{O}_{Y}$ ($P:=\mathbb{P}^{5}$):

[TABLE]

where $W,W^{\prime\prime},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

[TABLE]

[TABLE]

This equals

[TABLE]

which after twisting by $\mathcal{O}_{P}(1)$ becomes:

[TABLE]

By the uniqueness of a minimal graded free resolution up to isomorphism, we get that (3.1) is isomorphic to (3.4), hence:

[TABLE]

Therefore we have proven the following:

Proposition 3.1**.**

The self dual Hilbert resolution of $\mathcal{O}_{Y}$ is given by:

[TABLE]

where $A\in W\otimes(W\otimes\epsilon)\otimes V$, $B\in W^{\vee}\otimes S^{2}(V)=\operatorname{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 3.2**.**

The natural inclusion

[TABLE]

induces an isomorphism

[TABLE]

Proof.

Observe that $\wedge^{2}W^{\prime}\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^{2}W\cong V\oplus W_{3}$ (as it is easily checked by the character formula

[TABLE]

By Schur’s lemma it follows that

[TABLE]

[TABLE]

∎

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

[TABLE]

identifies $\bigwedge^{4}W$ with $W^{\vee}$, therefore

[TABLE]

Since we want to find the (up to a constant) unique element $A\in(\bigwedge^{2}W^{\prime}\otimes V)^{\mathfrak{S}_{5}}$, we write for $1\leq i\neq j\leq 3$, $1\leq h\neq k\leq 3$, $1\leq m\neq n\leq 3$,:

[TABLE]

and use the lexicographical order for $(ij)$, resp. $(hk)$, resp $(mn)$.

Moreover, we use that $A_{ij,hk}$ is skew-symmetric, i.e. $A_{ij,hk}=-A_{hk,ij}$.

We are going to prove the following:

Theorem 3.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 anti-symmetric $6\times 6$-matrix $A=$

[TABLE]

We first prove the following:

Proposition 3.4**.**

For $\{i,j,k\}=\{1,2,3\}$ we have:

1. (1)

$A_{ij,ik}=s_{ji}+s_{jk}-s_{ki}-s_{kj}$; 2. (2)

$A_{ik,kj}=-s_{ij}-s_{ki}$; 3. (3)

$A_{ij,ki}=s_{ik}+s_{kj}$; 4. (4)

$A_{ik,ki}=s_{ik}+s_{ji}-s_{jk}-s_{ki}$; 5. (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

[TABLE]

then we have

[TABLE]

This implies

[TABLE]

On the other hand, if we apply $\tau=(2,3)$, we get:

[TABLE]

hence

[TABLE]

W.l.o.g. we set $\alpha_{21}=1$ and we have

[TABLE]

Assume that $\{i,j,k\}=\{1,2,3\}$ and let $\sigma:=\begin{pmatrix}1&2&3\\ i&j&k\end{pmatrix}$. Apply $\sigma$ to equation (3.8), then we see that

[TABLE]

In particular we have: $A_{21,23}=s_{12}+s_{13}-s_{31}-s_{32}$. If we apply $\tau=(3,4)$, we obtain:

[TABLE]

Applying $\sigma$ we get:

[TABLE]

For $\tau=(4,5)$ we have $A_{12,31}=\tau A_{13,32}=s_{13}+s_{32}$, and applying $\sigma$ we get:

[TABLE]

We apply $\tau=(3,4)$ to the equation $A_{12,23}=-s_{13}-s_{21}$ and obtain

[TABLE]

The general equation (4) follows again applying $\sigma:=\begin{pmatrix}1&2&3\\ i&j&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&2&3\\ i&j&k\end{pmatrix}$ yields

[TABLE]

∎

Proof of Theorem 3.3.

The matrix follows immediately from Proposition 3.4. A straightforward calculation shows that the 15 $(4\times 4)$ - Pfaffians of the matrix $A$ are:

[TABLE]

[TABLE]

[TABLE]

[TABLE]

This proves the theorem. ∎

4. $\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\leq i\leq 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 $j$-th 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 [debart] the following result

Theorem 4.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 666In the previous paper the coordinates which are here denoted $(t^{\prime}_{1},t^{\prime}_{2})$ were denoted $(t_{1},t_{2})$; whereas here we reserve the notation $(t_{1},t_{2})$ for $(t^{\prime}_{1},-t^{\prime}_{2})$ in order to show the $\mathfrak{S}_{5}$-symmetry,

Theorem 4.2**.**

Let $\Sigma\subset(\mathbb{P}^{1})^{4}=:Q$, with coordinates

[TABLE]

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 Hilbert-Burch matrix:

[TABLE]

In particular, we have a Hilbert-Burch resolution:

[TABLE]

where $H_{i}$ is the pullback to $Q$ of a point in $\mathbb{P}^{1}$ under the i-th projection.

Observe first that each pencil $\varphi_{i}\colon Y\rightarrow\mathbb{P}^{1}$ can be rewritten as

[TABLE]

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:

[TABLE]

We set

[TABLE]

and then the map

[TABLE]

is expressed by:

[TABLE]

[TABLE]

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

[TABLE]

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 section 1) gives the following table.

[TABLE]

Theorem 4.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

[TABLE]

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:

[TABLE]

Proof.

The equations $2)-10)$ are obtained from the first one using the above table described in the following diagram:

[TABLE]

∎

Remark 4.4*.*

We have seen that the equations of

[TABLE]

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

[TABLE]

where the first syzygies are the pull-backs 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 Eagon-Northcott complex for a Del Pezzo surface $S_{4}$ of degree 4, cf [debart].

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).