Maximally symmetric smooth projective varieties in CP^2

2010-03-28T20:12:00Z

Let P(X,Y,Z) be a homogeneous polynomial in ℂ[X,Y,Z] whose locus M in ℂℙ² is a nonsingular curve of genus ≥ 2.

Define M to be maximally symmetric if the following is not true:

There exists a continuous family { P_t | t ∊ [0,1] } of homogeneous polynomials in ℂ[X,Y,Z] such that 1), 2), and 3) hold:

1) P₀ = P.

2) The locus M_t in ℂℙ² of each P_t is nonsingular.

3) There is a group G such that the ambient isometry groups
G_t := Isom_A(M_t) are all isomorphic to G for 0 ≤ t < 1, but G₁ contains G as a proper subgroup.

Here the "ambient isometry group" Isom_A(M_t) of a projective curve M in ℂℙ² means the subgroup of Isom(ℂℙ²) = PSU(3) that carries M to itself.

Question: I'd like pointers to the literature regarding what may be known about a classification of such "maximally symmetric" projective curves up to ambient isometry, their defining polynomials, and especially their ambient isometry groups.

Answer by Bjorn Poonen for Maximally symmetric smooth projective varieties in CP^2

2010-03-28T22:10:28Z

By the same averaging trick that shows that finite-dimensional complex representations of a finite group are unitary with respect to some inner product, your question is equivalent to the one obtained by replacing ambient isotropy groups with linear automorphism groups in the sense of algebraic geometry. Here linear means induced by a linear automorphism of $\mathbf{P}^2$. Actually, for a smooth plane curve of degree $d>3$, all automorphisms are linear, by

H. C. Chang, On plane algebraic curves, Chinese J. Math. 6 (1978), 185-189.

Fix $d>3$. Let $\mathcal{H}_d$ be the moduli space of smooth degree-$d$ curves in $\mathbf{P}^2$, so $\mathcal{H}_d$ is an open subscheme of some projective space. Then there is a stratification of $\mathcal{H}_d$ into finitely many locally closed subschemes such that the automorphism group is constant on each piece. (This could also be stated in terms of the automorphism group scheme of the universal curve over $\mathcal{H}_d$.) In these terms, you are asking for the $0$-dimensional strata, or equivalently the smooth plane curves such that in a punctured neighborhood of the corresponding point of $\mathcal{H}_d$ the automorphism group is strictly smaller.

The analogous question with $\mathcal{H}_d$ replaced by the full moduli space $\mathcal{M}_g$ of curves of genus $g>1$ has been much studied. The direct analogue of your maximally symmetric curves in this setting are the curves said to have "many automorphisms" in Section 3 of the article

Jürgen Wolfart, The obvious part of Belyi's theorem and curves with many automorphisms, pp. 97-112 in: Geometric Galois actions 1, edited by L. Schneps and P. Lochak, LMS Lecture Notes Series 342, Cambridge Univ. Press, 1997.

Wolfart's article contains many references to related work, and mentions some nice theorems. For instance: a smooth projective curve of genus greater than $1$ over $\mathbf{C}$ has many automorphisms if and only if it is a Galois cover of $\mathbf{P}^1$ ramified only above $0,1,\infty$.

Maximally symmetric smooth projective varieties in CP^2 - MathOverflow

Maximally symmetric smooth projective varieties in CP^2

Answer by Bjorn Poonen for Maximally symmetric smooth projective varieties in CP^2