Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I'd like to know "what" (say, in the classification of complex surfaces) the following complex manifold $X$ is:

Construction: Let $\Lambda$ be the hexagonal lattice in $\mathbb{C}$; that is, the lattice generated by $(1, \omega)$ where $\omega=e^{2i\pi/3}$ is a third root of unity.

Observe that the lattice $\Lambda^2\subseteq \mathbb{C}^2$ is invariant under the $\mathbb{Z}/3\subseteq SU(2)$ action $\begin{pmatrix} \omega & 0 \cr 0 & \omega^2 \end{pmatrix}$.

I'm curious about the complex manifold $X$ obtained by quotienting $\mathbb{C}^2/\Lambda^2$ by $\mathbb{Z}/3$, and then blowing up at the $9=3^2$ singular points.

Remarks:

  1. Doing this with $\mathbb{Z}/4\subseteq SU(2)$ instead of $\mathbb{Z}/3$, and the square (i.e., generated by $(1, i)$) lattice rather than the hexagonal lattice, and the resulting $4=2^2$ singular points, is something I'm equally curious about and equally unable to answer.

  2. Doing this with $\mathbb{Z}/2$ instead of $\mathbb{Z}/3$, and any lattice in $\mathbb{C}^2$ at all (since all are invariant under this action), and the resulting $16=4^2$ singular points, gives a K3 surface; this was my motivation for the question.

  3. The exceptional divisor at each of the 9 blowups is a pair of $\mathbb{P}^1$'s intersecting at a point.

share|improve this question
    
I'm having trouble making the matrix display correctly in TeX (it should be diagonal with entries $\omega$ and $\omega^2$) -- feel free to correct it if you know how. –  macbeth Nov 15 '11 at 19:58
    
I fixed the matrix by using \cr as the line separator. –  José Figueroa-O'Farrill Nov 15 '11 at 20:14
    
Thank you, José! –  macbeth Nov 15 '11 at 20:20
add comment

1 Answer 1

up vote 12 down vote accepted

The complex manifold $X$ is a $K3$ surface with $9$ singular points of type $\frac{1}{3}(1,2)$, i.e. rational double points of type $A_2$.

In fact, let us denote by $A$ the abelian surface $\mathbb{C}^2 / \Lambda ^2$ and by $\pi \colon A \longrightarrow X$ the natural projection. Then the action of $\mathbb{Z}/3 \mathbb{Z}$ on $A$ is locally given by $$ \omega \cdot (x, y)=(\omega x, \omega^2 y).$$ Therefore the $1$-forms $dx$, $dy$, which give a basis of $H^0(\Omega^1_A)$, are not invariant, whereas the $2$-form $dx \wedge dy$, which gives a basis of $H^0(\Omega^2_A)$, is invariant. This means that $$p_g(X)=1, \quad q(X)=0.$$ Moreover, since $X$ has only rational double points, one can write $$K_A=\pi^*K_X,$$ which implies $K_X^2=0$. Moreover $K_A$ nef implies $K_X$ nef, hence $X$ is a minimal model.

By Enriques-Kodaira classification it follows that $X$ is a $K3$ surface.

The case with group $\mathbb{Z}/4 \mathbb{Z}$ is similar: the quotient is a $K3$ surface whose singularities are $4$ points of type $\frac{1}{4}(1, 3)$, i.e. rational double points of type $A_3$. The minimal resolution of each of them is a tree made of $3$ smooth rational curves, each having self-intersection $(-2)$.

Remark. I called $X$ the quotient of $A$ by the finite group, without blowing up the singularities. Since $X$ has only rational double points, this does not make any difference in the computation of invariants.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.