Let $X$ be a smooth projective geometrically connected variety over a field $k$.

Let the cyclic group $G=\{e,a\}$ with two elements act on $X \times X$ via $a\cdot (x_1,x_2) = (x_2,x_1)$.

When is the quotient $X\times X/ G$ nonsingular?

I wrote down the case of $X=\mathbf{A}^1$. The answer is that $X\times X/G$ is given by nonsingular scheme $\mathrm{Spec} (k[xy,x+y]) \cong \mathbf{A}^2$, where $\mathbf{A}^1_x\times \mathbf{A}^1_y = X\times X = \mathrm{Spec} (k[x]\otimes k[y])$. (The subscript $x$ and $y$ indicate the coordinate used.)

I'm very interested in the case $\dim X = 1$.

  • $\begingroup$ Notice that your example is not of a projective variety! :-) $\endgroup$ – Mariano Suárez-Álvarez Jul 19 '12 at 7:08
  • $\begingroup$ Ha! You're right. But can't this calculation be used to show that the 2-symmetric product of $\mathbf{P}^1$ is nonsingular? $\endgroup$ – Harry Jul 19 '12 at 7:19

Over an algebraically closed field:

The quotient $X^{(2)}=X\times X/C_2$ is called the symmetric square of $X$.

If $X$ is an irreducible (quasi)projective nonsingular curve, then $X^{(2)}$ is always smooth and, in fact, this generalizes to $X^{(n)}=X\times\cdots\times X/S_n$, the obvious quotient by the symmetric group on $n$ letters.

If $X$ is an irreducible (quasi)projective nonsingular surface, then $X^{(n)}$ is singular for all $n\geq2$.

Lothar Göttsche wrote notes for a short course he gave in ICTP a few years ago on the subject of Hilbert schemes of points, with title Hilbert schemes: local properties and Hilbert scheme of points. There you should find proofs of all the above statements. (The Hilbert scheme in all this is a «less singular» replacement for what I wrote $X^{(n)}$ which, in the case of smooth surfaces, turns out to be itself a desingularization of the symmetric power; in general, it is also singular, though)

  • $\begingroup$ That's great! Could you tell me how one proves this? Is this easy? Or should I look it up in some book somewhere? $\endgroup$ – Harry Jul 19 '12 at 7:20
  • $\begingroup$ Thanks for the edit! I found the answer in Proposition 4.2 (page 22) and Theorem 3.2 (page 20) of Gottsche's notes. $\endgroup$ – Harry Jul 19 '12 at 7:33
  • 1
    $\begingroup$ Do add a link to the notes if they are online. $\endgroup$ – Mariano Suárez-Álvarez Jul 19 '12 at 7:35
  • 1
    $\begingroup$ I found the notes on his website : users.ictp.it/~gottsche $\endgroup$ – Harry Jul 19 '12 at 7:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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