Abstract
Let π1(C) be the algebraic fundamental group of a smooth connected affine curve, defined over an algebraically closed field of characteristic p > 0 of countable cardinality. Let N be a normal (respectively, characteristic) subgroup of π 1(C). Under the hypothesis that the quotient π 1(C)/N admits an infinitely generated Sylow p-subgroup, we prove that N is indeed isomorphic to a normal (respectively, characteristic) subgroup of a free profinite group of countable cardinality. As a consequence, every proper open subgroup of N is a free profinite group of countable cardinality.
Similar content being viewed by others
References
Borne N. (2004). A relative Shafarevich theorem. Math. Z. 248: 351–367
Crew R. (1984). Étale p-covers in characteristic p. Compos. Math. 52: 31–45
Eisenbund D. (1995). Commutative Algebra with a View Towards Algebraic Geometry. Springer, Heidelberg
Fried M.D. and Jarden M. (2005). Field Arithmetic, 2nd revised edn. Springer, Heidelberg
Grothendieck, A.: Séminaires de géométrie algébrique 1. Documents Mathématiques, vol. 3. Soc. Math., France (2003)
Harbater D. (1994). Abhyankar’s conjecture on Galois groups over curves. Invent. Math. 117: 1–25
Harbater D. (2000). Embedding problems with local conditions. Israel J. Math. 118: 317–355
Harbater D. (2003). Abhyankar’s conjecture and embedding problems. J. Reine Angew. Math. (Crelle) 559: 1–24
Harbater D. and Stevenson K.F. (2005). Local Galois theory in dimension two. Adv. Math. 198: 623–653
Kumar, M.: Fundamental Groups in Positive Characteristic. Preprint arxiv (2006)
Kumar, M.: Fundamental Groups in Positive Characteristic. Ph.D thesis, University of Purdue (2007). http://www.math.msu.edu/~kumar/Publication/thesis.pdf
Melnikov O.V. (1978). Normal subgroups of free profinite groups. Math. USSR Izv. 12: 3–25
Pacheco A. and Stevenson K.F. (2004). Finite quotients of the algebraic fundamental group of projective curves in positive characteristic. Pac. J. Math. 192(1): 143–158
Pop F. (1995). Étale Galois covers of affine smooth curves. Invent. Math. 120: 555–578
Pries R. (2006). Wildly ramified covers with large genus. J. Number Th. 119: 194–209
Raynaud M. (1994). Revêtements de la droite affine en caractéristique p > 0 et conjecture d’Abhyankar. Invent. Math. 116: 425–462
Ribes L. and Zalesskii P. (2000). Profinite Groups. Springer, Heidelberg
Shafarevich I. (1947). On p-extensions. Math. USSR Mat. Sb. 20: 351–363
Stevenson K.F. (1996). Galois groups of projective curves in characteristic p. J. Algebra 182: 777–804
Zalesskii P. (2005). Profinite surface groups and the congruence kernel of arithmetic lattices in SL2. Israel J. Math. 146: 111–123
Author information
Authors and Affiliations
Corresponding author
Additional information
Amílcar Pacheco and Pavel Zalesskii were partially supported by CNPq research grants 305731/2006-8 and 307823/2006-7, respectively. They were also supported by Edital Universal CNPq 471431/2006-0.
An erratum to this article is available at http://dx.doi.org/10.1007/s00208-014-1051-5.
Rights and permissions
About this article
Cite this article
Pacheco, A., Stevenson, K.F. & Zalesskii, P. Normal subgroups of the algebraic fundamental group of affine curves in positive characteristic. Math. Ann. 343, 463–486 (2009). https://doi.org/10.1007/s00208-008-0279-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-008-0279-3