Abelian étale coverings of generic curves and ordinarity (Q1209820)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Abelian étale coverings of generic curves and ordinarity
scientific article

    Statements

    Abelian étale coverings of generic curves and ordinarity (English)
    0 references
    0 references
    16 May 1993
    0 references
    Let \(k\) be a separably closed field of characteristic \(p>0\) and \(g \geq 2\) be an integer. By \textit{P. Deligne} and \textit{D. Mumford} [Publ. Math., Inst. Hautes Étud. Sci. 36(1969), 75-110 (1970; Zbl 0181.488)] there exists a universal stable curve \(Z_ g \to H_ g\), where \(H_ g\) is a \(k\)-subscheme of a convenient Hilbert scheme such that every stable curve over \(k\) of genus \(g\) is isomorphic to a fiber of \(Z_ g \to H_ g\) and \(H_ g\) is geometrically irreducible and smooth over \(k\), moreover the set of \(x \in H_ g\) whose fiber in \(Z_ g\) is smooth is an open dense subset of \(H_ g\). Let \(\eta\) be the generic point of \(H_ g\) and \(L\) the algebraic closure of \(k(\eta)\). The generic curve of genus \(g\) is denoted by \(X=Z_ g \times_{H_ g} \text{Spec} L\). It is a proper, smooth and connected curve over \(L\). Given a scheme \(S\) of characteristic \(p\) and \(f:Z \to S\) any morphism of schemes, we denote by \(Z^{(p)}=Z \times_ SS\) with respect to the absolute Frobenius morphism \(S \to S\). Given a semi-stable curve \(Z\) over a field \(K\) of characteristic \(p>0\) the relative Frobenius \(F:Z \to Z^{(p)}\) induces a map \(F^*:H^ 1(Z^{(p)}, {\mathcal O}_{Z^{(p)}}) \to H^ 1(Z, {\mathcal O}_ Z)\). We say that \(Z\) is ordinary if \(F^*\) is bijective. The author's main result states that given any étale connected Galois covering \(Y\) of \(X\) with Galois group of order prime to \(p\) then \(Y\) is ordinary. In particular, \(X\) is ordinary. Furthermore, this result together with a result of \textit{R. M. Crew} [cf. Compos. Math. 52, 31-45 (1984; Zbl 0558.14009); corollary 1.8.3] which says that if \(Y\) is a complete nonsingular connected curve defined over an algebraically closed field \(k\) of characteristic \(p>0\) and \(X \to Y\) is a finite étale Galois covering of degree a power of \(p\), then \(X\) is ordinary if and only if \(Y\) is ordinary, implies that every étale abelian covering of a generic curve is ordinary.
    0 references
    characteristic \(p\)
    0 references
    absolute Frobenius
    0 references
    ordinary curve
    0 references
    étale abelian covering of a generic curve
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers