Triple covers on smooth algebraic varieties
Sheng-Li TAN
2003-01-01
Abstract:It is well known that any triple cover can be constructed by a minimal cubic equation. Based on this fact, we compute the normalization, the rank two trace-free sheaf, the branch locus and the singular locus of a triple cover. We give also a canonical resolution of the singularities of a triple cover surface, which provides us the formulas to compute the global invariants. The classical criterion for cubic extensions to be Galois is presented for triple covers. Finally, we establish a relationship between Miranda’s triple cover data and the minimal cubic equations. Introduction Double covers are well understood and play an important role in the classification problem of algebraic surfaces (see [3] and [7]). Recently, many authors started to establish a similar theory for triple covers ([8], [4], [1], [2], [10], [18], [19]). However, such an investigation becomes much harder, for here one has to deal with the very difficult non-Galois situation. Recall that a triple cover π : Y → X is a surjective finite morphism of degree 3 between two varieties X and Y over an algebraically closed field k. Generally, one can always assume that X is smooth and H(X,OX) = k. In fact, the study of finite covers of degree n in algebraic geometry is essentially equivalent to solving algebraic equations of degree n over commutative rings. Therefore, the classical method of solving algebraic equations should provide us an effective way to deal with finite covers. The purpose of the present paper is to introduce the classical method of solving cubic equations to the study of triple covers. Then we can easily resolve the singularities of a triple cover, and compute its branch locus as well as its numerical invariants. Our method is based on the computation of the normalization of a cubic extension over a Noetherian unique factorization ring ([13]). Our first step is to give good construction data. Namely, we prove that every triple cover can be constructed by a (minimal) cubic equation from which we can see clearly the branch locus. On a smooth algebraic variety, we know that, up