Courbes algébriques en caractéristique p>0 munies d'un gros p-groupe d'automorphismes

De
Publié par

Sous la direction de Michel Matignon
Thèse soutenue le 14 novembre 2008: Bordeaux 1
Soit k un corps algébriquement clos de caractéristique p>0. Soit C/k une courbe algébrique, propre, lisse et de genre g>1, munie d'un p-groupe G d'automorphismes tel que |G|/g> 2p/(p-1). Un tel couple (C,G) est appelé une grosse action. Sous ces hypothèses, C--> C/G est un revêtement étale de la droite affine Spec k[X], complètement ramifié à l'infini. Après avoir précisé certaines propriétés du deuxième groupe de ramification G_2 de G à l'infini, on donne des exemples de telles actions avec G_2 abélien d'exposant quelconque. Ces exemples trouvent leur source dans la construction , via les corps de classes de rayon, de courbes algébriques sur un corps fini possédant beaucoup de points rationnels. On se concentre ensuite sur le cas où G_2 est un p-groupe abélien élémentaire. En considérant une filtration d'anneau de k[X] liée aux polynômes additifs, on obtient un théorème de structure pour les fonctions paramétrant le revêtement d'Artin-Schreier: C --> C/G_2. On exhibe alors des familles universelles et on discute l'espace de déformation correspondant lorsque p=5. On déduit de ces résultats une classification et une paramétrisation de telles actions lorsque |G|/g^2 est supérieur ou égal à 4/(p^2-1)^2.
-automorphisme de courbes
-p-groupe
-famille de courbes
-corps de classes de rayon
-revêtements d'Artin-Schreier-Witt
-polynômes additifs
Let k be an algebraically closed field of characteristic p>0 and C a connected nonsingular projective curve over k with genus g>1. We define a big action as a pair (C,G) where G is a p-subgroup of the k-automorphism group of C such that |G| /g > 2p / p-1. Then, C ---> C/G is an étale cover of the affine line Spec k[X] totally ramified at infinity. We first give necessary conditions on the second ramification G_2 of G at infinity for (C,G) to be a big action. We also display realizations of such actions with G_2 abelian of exponent as large as we want. Our main source of examples comes from the construction of curves with many rational points using ray class field theory for global function fields. Then we focus on the case where G_2 is p-elementary abelian. In particular, considering additive polynomials of k[X], we obtain a structure theorem for the functions parametrizing the Artin-Schreier cover C --> C/G_2. Then we display universal families and discuss the corresponding deformation space for p=5. All these results lead to the classification and the parametrization of big actions for |G|/g^2 greater or equal to 4/(p^2-1)^2.
Source: http://www.theses.fr/2008BOR13656/document
Publié le : mardi 25 octobre 2011
Lecture(s) : 55
Tags :
Nombre de pages : 105
Voir plus Voir moins


z
+

q

}

*

{



n

g



z

`





?



a



w

~

_



,

q

{

d

r

)

q

y







{

z

q

y



Ž



{

g

b

a





ž

b
!
w

r
"
}


#
j
$
g
%

&
w
'

(

)

*

'

&
}
+
}
'
'
,
?
-
e
(
w
)
x
*
_
)

.

-
1
+

/

0
`
)
}
.
}
-
œ
+
'
1
n
2

3
Ž
)
|
4

)

+
)
*
r
5

1

6
e
7
~
'
Ÿ
,
}
.
 
-
s
+
/
1
e
2
g
3

)


r




8


§
9
z
9


a
8
Ž

e
:



9

;

<

'
s
&
)
/

)
n
,
w
=

'

3
q
,
a
'
{
>

+
}
)
{
6

1
+
,
'
(
4
)
q
?

,

-
q
*

)
b
*
`
)
y
!
}


@
ˆ







n
A
w
=

0

)
a
&
_
1
{
-

(
}
1
š
+

0
C
)
?
B
s
C

-

+
q
/

0

)

.
z
-
~
+

1

2
}
3

)
t
4
-
=

3

,

)
q
4
n
D
g
E
`
F

G
|
H
{
I

J
~
K

L
 
M
z
N

I
{
H
1
G
6
O
(
P

F
`
I

J
¤
I

Q

R

K
Ž
G
˜
K
e
R

S
y
N
}
I

G
}
O

J

S
Š
O
}
P
}
F
Œ
I

T
r
U
`
V
r
W

F
g
Q
q
O
e
I
a
J

X

Y
g
F
a
Q

M
g
G

E

J
s
T

Z
>
M
4
G
e
E

F

[
b
I

X

Y
q
K
_
F
n
S

E

W
e
E

G
`
[
z
\
|
O
~
J
{
W

I

J

]

^
}


_
6
`
'

)
a
,
_
1

o
b
e
_
`
c

d
q
e
b
f

_


q
g
_

n
a
r
`
b
d



h

i
z
a
|

~
j
{


g

c


Š

}
k
}
l

l
3
m
e
n

o
b
b



p
q

_
q
˜
r
r
j
e
e
r
q




z
s
|
s
~
t
{
u

/

1

6
~
>
}
3

,

?
-
v
1

6

6
n
e
b


d

b
w



q
q
q
_

n
_
e


n
`
x
_
r
y
b
{
b
}




`
}

}
_
š


y

z
œ
{
s
|

}
C
~
ž

,
{
o

e

a
}
n


}
w
ƒ
q
}

z

z
˜

r

e

r
|


Ž
z
y
{
{
}
}


'

6
}
+
}
'
}
?

)
{
'

,

?
¡
1
{
4

o
¢

}
e

q
z
`
<
e
+

)

+
q
-
n
)
b
£



q
w



q
n
q
r

¥
_



n
Ž
x
a
r

b

b
a



n
`


g
_
a

`
y
_
z
t
{
z
|
|
}
~
~
{


{


¦

~
}
}


ˆ
}


















"





6

.











8

&

I









Q



















<









6



2

.



!

Q



.
!
















.



.

!



!



W

E

,
"
B
#

$

%
¡

§

³

A

#
&
o
'


!





q



!



-







(





B

B










(
!



r

M

r




(












.

,
!













)

#
&
*

(


.








!

+


U

o
"

,


!





%




-

!
˜
+








­



:

9

?
.










!

.










/

-

/
.
#
*
0

1
@
1

2
.
3
"
)

%
,
4




.

#

t

'










5

&
K
6
K
-

7
B





















v

Q


8
-
9

:

;

;

<

=

>

?

@

:

A

%








!



Q

K
.

B




0


.

C






!


(

&
(
D

&

'

-
Q











-


E

F














S





.

K




!




Q

X
!
W

z



(

"

(


G






(





}


H

I

J

(










ž
C
¤



œ

¦





«

°



@

8

l
K
h

>

@
C
>

n

`
+




p
K





%

L
B




C
Q






E
#

!

















E







)

a

K

s

>

A



5

7






















!


.
!
-

1

)
M


D
C






E

Q










!










a
K


E










-
.
0

!


K
-

C
0



K
+
B

5

7
K





(
a




!
B








!







M


Q









r
!
%



























r


E





-

0








.

B






!

+


t
M
r







r









B



%










%

N




B


M


I













Q

.


E






v





,







&

%




!
































"

L
(
.
E





















!
v











V

Z

3
!
x

]




B





(

!










(







a





!









|

}



|

ƒ

ƒ

|



ˆ

Š

}

|




K










œ



 

£
!
 









ž

¤









œ
!
¦

¢

±

§

ž

h

g

m

9

i

@

>

=

=

?

9

;

@
%
"
O
$

b

c


d



































K












C



-

0
"

$



&




"

,


!



















E







E



r









#

%








%
@
P
=

?

:








!
&

-

r









,




K




Q

.










!
.
+








Q




!




/
H
/
I
0
J
1

3

%

.



&

&

-
M







B



F








G


!

!






H
Q
J


(








K

!









%




.









C







!
















!











-



u


Q






Q



&

-















%




















E

F















!

+
.
L
0








,





.











&

D

&

'
O
-

0

%

O





M
Q
.
M











Q




!





Q








Q



E





.


E
B





















B


!


K









Q
!





+












!
!
%

.
!





Q












.



-



"














!




w











(




"
!
R

S

%

O
!


!
E




!







!
Q

H

J

r
































!




















.

L




K


.







E



D

'

0

t



r

!





B



E





Q









!


!
















!



!

Q













Q



R

%
T

U

T

V

W

X

Y

Z

1

W

2

3

[

W

%

\

]

^



_
!

.
`









L






Q








.




T

T

W

Y
(
1

2

[

%



y




(
L
"

,




.










(
(

,








!
B





K





L


!




.


B


,




(
.


.
B



!



E




!

+

L




{

}

|
,
~

|

|
.


}

|



|


,

a
|



|


(







B



F
Œ

Ž








!

!
Ž





š
Q



%

b



c

`



Ÿ
d
Ž
^
¢

¢
^
Ÿ
`


¥
e

f

g

:

:

?

h

>

i
¤
9
¢
j
Ÿ
<
œ
;

h

=
¨
j
©
@
ª
A

8

=

k

=
¬
9
¦
8
®
<
¯
=
©
i
²
?
±
:

g

:
*
9
l













@










Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.

Diffusez cette publication

Vous aimerez aussi