How to find the action of an automorphism on the 27 lines on a cubic surface? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T00:58:56Z http://mathoverflow.net/feeds/question/106940 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/106940/how-to-find-the-action-of-an-automorphism-on-the-27-lines-on-a-cubic-surface How to find the action of an automorphism on the 27 lines on a cubic surface? TonyS 2012-09-11T18:34:50Z 2012-09-13T21:32:08Z <p>Assume $C\subset \mathbb{P}^2$ is a smooth cubic curve. Then there is a cyclic triple cover $\pi: S\rightarrow \mathbb{P}^2$ ramified in $C$. Let $\sigma$ be the covering automorphism (sheet interchange automorphism) associated to $\pi$, i.e. $S/&lt;\sigma>\cong\mathbb{P}^2$, here $\sigma^3=id$. If $H:=\pi^{*}l$ denotes the pullback of a line, then the canonical divisor of $S$ is $K_S=-H$ and $K_S^2=3$. So $S$ can also be seen as the blow up of $\mathbb{P}^2$ in 6 points and is therefore a cubic surface with the famous 27 lines on it.</p> <p>Looking at the triple cover contruction the lines can be found the following way: $C$ has 9 points of inflection. The preimage of tangent line at such a point decomposes as $\pi^{-1}(l)=E\cup\sigma(E)\cup\sigma^2(E)$, where these are 3 (-1)-curves on $S$, so we get 9$\times$3=27 lines on $S$.</p> <p>If $\pi: S\rightarrow \mathbb{P}^2$ is the triple cover and we pick 6 mutually skew lines $E_1,\cdots,E_6$ in the preimages of inflection lines, then there is a map $\phi: S \rightarrow \mathbb{P}^2$ such that $S$ is the blow up of $\mathbb{P}^2$ in 6 points $P_1,\cdots,P_6$ and the $E_i$ are the exceptional curves. The strict transforms of the lines in $\mathbb{P}^2$ containing two different points $P_i$ and $P_j$, $1\leq i &lt; j \leq 6$ give 15 (-1)-curves $F_{i,j}$ on $S$. Finally there are six strict transforms of the conics $G_i$ in $\mathbb{P}^2$ containing the $P_j$ for $j\neq i$, $1\leq i \leq 6$.</p> <p>What can we say about the images of the 27 lines under the automorphism $\sigma$? For example if we pick $E_1$ can we say which lines $\sigma(E_1)$ and $\sigma^2(E_1)$ are in terms of the $F_{i,j}$ and $G_j$, e.g something like $\sigma(E_1)=G_1$? Or is there any other description which tells us exactly which 3 lines are in a preimage of an inflection line?</p> <p>Background: I recently learned about the "Geiser involution": if one has a double cover $Y$ of $\mathbb{P}^2$ ramified in a smooth quartic $Q$, then $Y$ is the blow up of $\mathbb{P}^2$ in 7 points. $Y$ has 56 (-1)-curves, which arise in the preimages of the 28 bitangents to $Q$. The covering automorphism associated to $Y$ is called the "Geiser involution" and one can describe the images of the 56 (-1)-curves under this involution, see for example arxiv.org/pdf/math/0403245.pdf, Remark 3.3. So i was wondering if there is such a description for a cubic surface and its 27 lines.</p> http://mathoverflow.net/questions/106940/how-to-find-the-action-of-an-automorphism-on-the-27-lines-on-a-cubic-surface/107025#107025 Answer by Jérémy Blanc for How to find the action of an automorphism on the 27 lines on a cubic surface? Jérémy Blanc 2012-09-12T16:19:22Z 2012-09-13T21:32:08Z <p>It is true that the surface obtained is a special one (for example, a general cubic surface admits no automorphism). In fact, taking coordinates $X,Y,Z$ on $\mathbb{P}^2$, the cubic curve is given by $F(X,Y,Z)$ for some polynomial of degree $3$ and the equation of the surface is $W^3=F(X,Y,Z)$. The automorphism corresponds to send $(W:X:Y:Z)$ onto $(aW:X:Y:Z)$ where $a$ is a $3$-rd root of unity.</p> <p>As you said, the orbit of a line $E\subset S$ of the surface consists of three lines $E, \sigma(E), \sigma^2(E)$ with $E+\sigma(E)+\sigma^2(E)=\pi^{-1}(l)$ where $l$ is an inflexion line of $\mathbb{P}^2$. Note that $E+\sigma(E)+\sigma^2(E)$ is equal to the trace of an hyperplane of $\mathbb{P}^3$, in particular each intersects transversally the two others: $E\cdot \sigma(E)=E\cdot \sigma^2(E)=\sigma(E)\cdot \sigma^2(E)=1$.</p> <p>I will use the same notation as you and write $\phi\colon S\to \mathbb{P}^2$ a birational morphism which is the blow-up of $6$ points. I denote by $E_1,\dots,E_6$ the six curves contracted and by $L\in \mathrm{Pic}(S)$ the pull-back of a general line of $\mathbb{P}^2$. Then $\mathrm{Pic}(S)$ is isomorphic to $\mathbb{Z}^7$ with basis $L,E_1,\dots,E_6$. The $27$ lines correspond to: $E_i$, $i=1,...,6$, $F_{ij}=L-E_i-E_j$ (line through two points) for $i\not=j$ and $G_j=2L-\sum_{i\not= j} E_i$ (conics through $5$ points).</p> <p>Because $\sigma(E_1)\cdot E_1=\sigma^2(E_1)\cdot E_1=1$, $\sigma(E_1),\sigma^2(E_1)$ are equal to $F_{1i}$ or $G_j$ for $i,j\not=1$. Because $\sigma^2(E_1)\cdot \sigma(E_1)=1$, we have moreover $i=j$. The orbit of $E_1$ is thus $(E_1,F_{1i},G_i)$ for some $i\not=1$.</p> <p>Doing the same for $E_2,...,E_6$ we find a permutation $\tau$ of $(1,...,6)$ without fix points such that the orbit of $E_i$ is {$E_i, F_{i,\tau(i)},G_{\tau(i)}$} for $i=1,...,6$.</p> <p>Because the image by $\sigma$ and $\sigma^2$ of the set {$E_1,...,E_6$} is $6$ skew lines, we can find that these two sets contain three of the $G_i$ and three $F_{i,j}$. Up to permutation of the curves $E_i$, we have then $E_1\to F_{12}\to G_2$</p> <p>$E_2\to F_{23}\to G_3$</p> <p>$E_3\to F_{13}\to G_1$</p> <p>$E_4\to G_5\to F_{45}$</p> <p>$E_5\to G_6\to F_{56}$</p> <p>$E_6\to G_4\to F_{46}$</p> <p>The image of the other lines is induced by these maps. We can for example easily write the matrix of $\sigma$ relatively to the basis $L,E_1,...,E_6$. (in particular, it corresponds to a birational map of $\mathbb{P}^2$ of degree $4$).</p> <p>The matrix is </p> <p>$[4,1,1,1,2,2,2]$</p> <p>$[-2,-1,0,-1,-1,-1,-1]$</p> <p>$[-2,-1,-1,0,-1,-1,-1]$</p> <p>$[-2,0,-1,-1,-1,-1,-1]$</p> <p>$[-1,0,0,0,-1,-1,0]$</p> <p>$[-1,0,0,0,0,-1,-1]$</p> <p>$[-1,0,0,0,-1,0,-1]$</p>