The fundamental group of affine curves in positive characteristic

Abstract

It is shown that the commutator subgroup of the fundamental group of a smooth affine curve over an uncountable algebraically closed field $k$ of positive characteristic is a profinite free group of rank equal to the cardinality of $k$.

22 pages. Some errors corrected and gaps fixed. Some more consequences added. Comments are very much welcome