• Aucun résultat trouvé

Erratum to Smooth curves having a large automorphism p-group in characteristic p > 0.

N/A
N/A
Protected

Academic year: 2022

Partager "Erratum to Smooth curves having a large automorphism p-group in characteristic p > 0."

Copied!
1
0
0

Texte intégral

(1)

Erratum to Smooth curves having a large automorphism p-group in characteristic p > 0.

Michel Matignon and Magali Rocher.

April 26, 2010

The proof of the last statement in Lemma 2.4. part 2 is wrong. Namely the error concerns the proof of the equalityG2/H= (G/H)2. For this we use the equality G2=G2 as a general fact for p-groups which is wrong. Indeed for ap-groupG, the Herbrand function ϕG satisfiesG2=GϕG(2) andϕG(2) = 1 + |G|G|2|. Moreover ϕG(2) = 2 iff G=G2 which is not the case in particular for big actions!

The equality G2/H = (G/H)2 as stated in part 2 is still true but its proof is postponed after Theorem 2.7.

So replace Lemma 2.4 by the following:

Lemma 2.4. LetGbe a finitep-subgroup ofAutk(C). We assume that the quotient curveC/Gis isomorphic toP1k and that there is a point ofC (say∞) such that Gis the wild inertia subgroup G1 ofGat ∞. We also assume that the ramification locus of the coverπ: C →C/Gis the point

∞, and the branch locus isπ(∞). Let G2 be the second ramification group of G at ∞ and H a subgroup ofG. Then

1. C/H is isomorphic toP1k if and only ifH ⊃G2.

2. In particular, if(C, G)is a big action withg≥2and ifH is a normal subgroup ofGsuch that H (G2, thengC/H >0and(C/H, G/H)is also a big action.

Proof:

1. Applied to the coverC→C/G'P1k, the Hurwitz genus formula (see for instance [Stichtenoth 93]) yields 2(g−1) = 2|G|(gC/G−1) +P

i≥0(|Gi| −1). When applied to the coverC→C/H, it yields 2(g−1) = 2|H|(gC/H−1) +P

i≥0(|H∩Gi| −1). SinceH ⊂G=G0=G1, it follows that

2|H|gC/H =−2(|G| − |H|) +X

i≥0

(|Gi| − |H∩Gi|) =X

i≥2

(|Gi| − |H∩Gi|).

Therefore,gC/H = 0 if and only if for alli≥2,Gi =H∩Gi, i.e. Gi⊂H, which is equivalent toG2⊂H, proving 1.

2. Together with part 1, Proposition 2.2.4 shows that (C/H, G/H) is a big action.

Now in the proof of Theorem 2.7 replace the sentence

”The first assertion now follows from Lemma 2.4.2.” by the following:

”As (C/H, G/H) is a big action and (C/H)/(G2/H) ' P1k it follows from Lemma 2.4.1 that (G/H)2 ⊂ G2/H. Here |G2/H| = p and the equality |(G/H)2| = 1 is in contradiction with proposition 2.2.1. The equalityG2/H= (G/H)2 then follows.”

The end of the proof of Theorem 2.7 works the same.

Now one can complete Lemma 2.4. by the following:

Remark 2.8. Under the same hypothesis as in Lemma 2.4.2 we have the equalityG2/H = (G/H)2. Namely by Theorem 2.7.4 we haveG2=D(G)and(G/H)2=D(G/H). It is a general fact that for H a normal subgroup ofGone has the equalityD(G/H)'D(G)/(H∩D(G)). The equality then follows asH ⊂G2=D(G).

1

Références

Documents relatifs

• Because of (ii), Condition (1a) of [A, Remark 6.4.5], which involves the orthogonal of the subspace generated by roots, reduces to say that H 1 (u) does not contain the

Nakajima, p-ranks and automorphism groups of algebraic curves, TransB. Raynaud, p-groupes et réduction semi-stable des courbes, The Grothendieck Festschrift, Vol.3,

General results on Hurwitz spaces and other moduli spaces parametrizing deformations have been obtained in the case of characteristic zero and extended to positive characteristic p

If G is a group such that Aut G is abelian then every automorphism of G is central; so in order to prove that the auto-.. mor~phism group of a given group G is

Gauss maps of ordinary elliptic curves and curves of higher genus with a small number of cusps in projective spaces defined over an algebraically closed field

Oda: Vector bundles on the elliptic curve, Nagoya Math. Pardini: Some remarks on plane curves over fields of finite characteristic,

In another case, only unicity for C a -types is lacking to apply Theorem 1.1: when G splits over a tamely ramified extension of F and p does not divide the order of the absolute

Determining the order and the structure of the automorphism group of a finite p-group is an important problem in group theory.. There have been a number of studies of the