Étale endomorphisms of algebraic varieties (Q1820215)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Étale endomorphisms of algebraic varieties
scientific article

    Statements

    Étale endomorphisms of algebraic varieties (English)
    0 references
    1985
    0 references
    Let X be an algebraic variety defined over an algebraically closed field of characteristic zero. The paper is concerned with the following problem: Let \(f: X\to X\) be an étale endomorphism. Is f finite ? For \(X={\mathbb{A}}^ n_ k\), this problem is equivalent to the Jacobian conjecture. If X is complete, an étale endomorphism \(f: X\to X\) is always finite, and henceforth, discussions are focused on nonsingular, non-complete algebraic varieties. Results are obtained mainly for affine surfaces X. Using the logarithmic ramification formula of \textit{S. Iitaka} [in Complex Analysis Algebraic Geometry, Collect. Pap. dedic. K. Kodaira, 175-189 (1977; Zbl 0351.14016)], it is first shown that a quasi-finite endomorphism \(f: X\to X\) of a non-singular algebraic variety X with the logarithmic Kodaira dimension \({\bar\kappa}(X) = \dim(X)\), is an automorphism (and hence finite). Thereafter, the discussions are concentrated on affine surfaces X with \({\bar \kappa}(X)\leq 1\). Results are formulated as follows. 1. Suppose that \({\bar\kappa}(X) = -\infty\) and that one of the following conditions is satisfied: (i) X is irrational but not elliptic ruled; (ii) \(\Gamma(X,{\mathcal O}_ X)^*\neq k^*\) and rank\((\Gamma(X,{\mathcal O}_ X)^*/k^*)\geq 2\) if X is rational. Then an étale endomorphism \(f: X\to X\) is an automorphism (and hence finite). 2. Let \(\phi: X\to C\) be an \({\mathbb{A}}^ 1_*\)-fibration on an affine non-singular surface X over a non-singular curve C and let \(f: X\to X\) be an étale endomorphism such that \(\phi \circ f=\phi\) and codim\(_ X(X- f(X))\geq 2\). Then f is an automorphism (and hence finite) in each of the following cases: (i) There exists a singular fiber \(S=\Gamma + \Delta\) of \(\phi\) such that \(\Gamma =\alpha_ 1\Gamma_ 1+\alpha_ 2\Gamma_ 2\), where \(\alpha_ 1,\alpha_ 2\geq 1\), \(\Gamma_ 1\cong \Gamma_ 2\cong {\mathbb{A}}^ 1_ k\) and \(\Gamma_ 1\) and \(\Gamma_ 2\) intersect transversally in a single point. (ii) \(\Gamma (X,{\mathcal O}_ X)^*=\Gamma (C,{\mathcal O}_ C)^*.\) (iii) \(\Gamma (C,{\mathcal O}_ C)=k,\) that is, C is complete, and there exists a singular fiber \(S=\Gamma +\Delta\) of \(\phi\) such that \(\Gamma =\alpha G_ 1\) with \(\alpha\geq 1\) and \(\Gamma_ 1\cong {\mathbb{A}}^ 1_*.\) 3. Let \(\phi:X\to C\) be a surjective morphism from a non-singular affine surface X onto a non-singular curve C. Suppose that \(\phi\) defines a twisted \({\mathbb{A}}^ 1_*\)-fibration on X. Let \(f: X\to X\) be an étale endomorphism such that \(\phi \circ f=\phi\) and codim\(_ X(X-f(X))\geq 2\). Furthermore suppose that C is complete and that \(\phi\) has a singular fiber \(S=\Gamma +\Delta\) with \(\Gamma\neq 0\). Then f is an automorphism (and hence finite). 4. Let X be a non-singular affine surface which is irrational and such that either \({\bar\kappa}(X)=1\) or \({\bar \kappa}(X)=0\). Then X has a surjective morphism \(\phi:X\to C\) onto a non-singular curve C which defines a \({\mathbb{A}}^ 1_*\)-fibration or a twisted \({\mathbb{A}}^ 1_*\)- fibration on X. Let \(f: X\to X\) be an étale endomorphism such that \(co\dim_ X(X-f(X))\geq 2\). Then \(\phi \circ f=\phi\), and f is an automorphism (and hence finite) if \(\phi\) has a singular fiber S satisfying the conditions of 3 or 4. 5. Several examples of étale endomorphisms which are non-finite are discussed. We mention one such example. Let C be a non-singular cubic curve on \({\mathbb{P}}^ 2_ k\) and let \(X:={\mathbb{P}}^ 2_ k-C\). Then \({\bar\kappa}(X)=0\), and Pic\((X)\cong {\mathbb{Z}}/3{\mathbb{Z}}\). X has no \({\mathbb{A}}^ 1_*\)-fibrations nor twisted \({\mathbb{A}}^ 1_*\)-fibrations. X has a surjective, non-finite, étale endomorphism \(f:X\to X\) of degree 3.- The proofs of these results rest on an analysis of singular fibers of an \({\mathbb{A}}^ 1_*\)-fibration or a twisted \({\mathbb{A}}^ 1_*\)- fibration. Finally, a structure theorem is obtained for a non-singular affine surface X defined over the complex number field \({\mathbb{C}}\), which has a finite étale endomorphism \(f:X\to X\) of degree \(n>1\). That is, such an affine surface X is one of the following: (i) Case \({\bar\kappa}(X)=- \infty\). X is either \({\mathbb{A}}^ 1_{{\mathbb{C}}}\times {\mathbb{A}}^ 1_*\) or a relatively minimal elliptic ruled surface with one cross-section deleted. (ii) Case \({\bar\kappa}(X)=0\) or 1. We have either: (a) \(X\) is a rational surface with \({\bar\kappa}(X)=0\) such that, if \((V,D)\) is any non-singular completion of X with the boundary divisor D of simple normal crossings and if \(D=D_ 1+...+D_ r\) is the decomposition into irreducible components, any component \(D_ i\) is rational and \((K^ 2_ V)\leq 12-r\); or (b) there exists a surjective morphism \(\phi: X\to C\) onto a non-singular curve C which defines an \({\mathbb{A}}^ 1_*\)- fibration or a twisted \({\mathbb{A}}^ 1_*\)-fibration and which has no singular fibers except those of the type \(S=\alpha \Gamma_ 1\) with \(\Gamma_ 1\cong {\mathbb{A}}^ 1_*\). - The proof rests on the fact that the Euler characteristic of X is zero, and on the following theorem: Let X be a non-singular affine surface with an étale endomorphism \(f: X\to X.\) Suppose that \(n=:\deg (f)>1\) and \(co\dim_ X(X-f(X))\geq 2\). Let \(\tilde X\) be the normalization of the lower X in the function field of the upper X over \({\mathbb{C}}\). Assume that \(\tilde X\) is non-singular. When one regards the upper X as an open subset of X, then \(\tilde X-X\) is a disjoint union of irreducible curves which are isomorphic to \({\mathbb{A}}^ 1_{{\mathbb{C}}}.\) It is also remarked that if V is a non-singular projective surface over \({\mathbb{C}}\) with an étale endomorphism \(f:V\to V\) of degree \(>1\), then V is one of the following: (i) Case \(\kappa(V)=-\infty\). V is a ruled surface over an elliptic curve. - (ii) Case \(\kappa(V)=0.\) V is either an abelian surface or a hyperelliptic surface. - (iii) Case \(\kappa(V)=1.\) V is an elliptic surface \(\phi:V\to C\) whose singular fiber, if any, is a multiple of a non-singular elliptic curve.
    0 references
    0 references
    0 references
    finiteness of étale morphism
    0 references
    Jacobian conjecture
    0 references
    non-complete algebraic varieties
    0 references
    affine surfaces
    0 references