Abelian étale coverings of generic curves and ordinarity (Q1209820)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Abelian étale coverings of generic curves and ordinarity |
scientific article; zbMATH DE number 168582
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abelian étale coverings of generic curves and ordinarity |
scientific article; zbMATH DE number 168582 |
Statements
Abelian étale coverings of generic curves and ordinarity (English)
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