ON GERMS OF FINITE MORPHISMS OF SMOOTH SURFACES VIK.S. KULIKOV Abstract. Questions related to deformations of germs of finite morphisms of smooth surfaces are discussed. A classification of the four-sheeted germs of finite covers F : (U, o′) (V, o) is given up to smooth deformations, where (U, o′) and (V, o) are two connected→ germs of smooth complex-analytic surfaces. The singular- ity types of their branch curves and the local monodromy groups are investigated also. 0. Introduction 2 ′ Let (V,o)=(Bε,o) be a ball in C of small radius ε > 0, (U, o ) a connected germ of smooth complex-analytic surface, and F : (U, o′) (V,o) a germ of finite → holomorphic mapping (below, a germ of finite cover) of local degree dego′ F = d, given in local coordinates z,w in (U, o′) and u, v in (V,o) by functions u = f1(z,w), v = f2(z,w), ′ where fi(z,w) C[[z,w]] are convergent power series. Denote by R (U, o ) the ramification divisor∈ of F given by equation ⊂ ∂u ∂u ∂z ∂w J(f) := det ∂v ∂v =0 ∂z ∂w and by B = F (R ) (V,o) the germ of branch curve of F . red ⊂ The germ F defines a homomorphism F∗ : π1(V B,p) Sd (the monodromy of arXiv:1812.03287v2 [math.AG] 15 Jan 2019 \ → −1 the germ F ), where Sd is the symmetric group acting on the fibre F (p). The group GF = imF∗ is called the (local) monodromy group of F . Note that GF is a transitive subgroup of Sd. ′ ′ We say that two germs F1 :(U, o ) (V,o) and F2 :(U, o ) (V,o) are equivalent if they differ from each other by changes→ of coordinates in (U,→ o′) and (V,o). The aim of this article is to investigate the germs of finite covers with up to defor- mation equivalence. In short (see Definition 3 in Subsection 1.5), two germs F1 and F2 are deformation equivalent if they can be included in a smooth family of the germs of finite covers preserving the singularity type of germs of branch curves. The germs of finite covers of local degree dego′ F = 3 were investigated in [8]. In this article, we investigate the singularity types of the germs of branch curves of 1 2 VIK.S. KULIKOV finite covers of local degree dego′ F = 4, describe their monodromy groups, and give a complete classification of them with up to deformation equivalence. Note that, a priori, the monodromy group GF of the four-sheeted germ of a finite cover F is one of the following subgroups of S4: a cyclic group Z4 generated by a cycle of length 4, the Klein four group Kl4, a dihedral group D4, the alternating group A4, and S4. Before to formulate the main result of the article, we introduce several notations. T [f(u, v) = 0] = T (B), the singularity type of a curve germ B given by • equation f(u, v) = 0; 2 n+1 An := T [v u = 0], n > 0; • −2 n−2 Dn := T [u(v u ) = 0], n > 4; • 2 − 3 E6 := T [v(v u ) = 0]; • 3 −4 E7 := T [v u = 0]; • 3 − 5 E8 := T [v u = 0]; • − 3 3n+β T3(n, β) := T [v u = 0], n > 0, β =1, 2; • − k 2 2k+n+1 T3,2k+n,2k := T [v((v u ) u ) = 0], k > 1, n > 0; • 2 − n − T3,n−1,n := T [v(v u ) = 0], n > 2; • T := [(v2 −u2n1+1)(u2 v2n2+1) = 0], n , n N. • 4,2n1,2n2 − − 1 2 ∈ Note that in these notations there are several intersections, for example, E6 = T3,2,3 and E7 = T3(1, 1), E8 = T3(1, 2). The main result of the article is the following theorem in which we give a complete classification of four-sheeted germs of finite covers with up to deformation equivalence and compute their main invariants: the singularity types of branch curves and their monodromy groups. ′ Theorem 1. A germ of finite cover F : (U, o ) (V,o), deg ′ F = 4, given by → o functions u = f1(z,w) and v = f2(z,w), either is equivalent to one of the following germs of finite covers: 4 (1 ) F1 = u = z, v = w , G 1 = Z , T (B1 )= A ; 1 1 F 1 4 1 0 { 2 }2 (2 ) F2 = u = z , v = w , G 2 = Kl , T (B2 )= A ; 1 1 F 1 4 1 1 { 4} n 2 (3 ) F3 = u = z, v = w 2z w , G 3 = D , T (B3 )= A , n > 1; 1 1,n F 1,n 4 1,n 4n−1 { 2 2− 2n+1} (3 ) F3 = u = z , v = w z , G 3 = D , T (B3 )= D , n > 1; 2 2,n F 2,n 4 2,n 2n+3 { 4 − 3 n } S (41) F4 ,n = u = z, v = w + w z , GF4 = 4, T (B4 ,n)= A8n−1, n > 1, 1 { } 1,n 1 or is deformation equivalent to one of the following germs of finite covers: 4 3n+β S (42) F4 ,n,β = u = z, v = w +4wz , GF4 = 4, T (B4 ,n,β)= 2 { } 2,n,β 2 T3(4n + β, β), n > 0, β =1, 2; 4 8 m 3 2m 2(m+n)+1 2 S (43) F4 ,n,m = u = z, v = w z w + 2(z z )w , GF4 = 4, 3 { − 3 − } 3,n,m T (B 4 )= T , m > 1, n > 0; F 3,n,m 3,8m+6n+2,8m 4 m+n+1 3 2m+1 2 S (44) F4 ,n,m = u = z, v = w + 12z w 2z w , GF4 = 4, 4 { − } 4,n,m T (B 4 )= T , m > 1, n > 0; F 4,n,m 3,8m+2n+4,8m+4 ON GERMS OF FINITE MORPHISMS OF SMOOTH SURFACES 3 4 8 m k 3 2m k 2k 2 4 (45) F 5,k,m = u = z, v = w 3 z (1 + 2z )w + 2z (1 + 4z + 3z )w , S{ − } G 4 = , T (B 4 )= T , m > 1, k > 1; F 5,k,m 4 F 5,k,m 3,8m+6k−1,8m 4 4 m n 3 2m n 2 S (46) F4 ,n,m = u = z, v = w z (1+3z )w +4z (1+ z )w , GF4 = 4, 6 { − 3 } 6,n,m T (B 4 )= T , m > 1, n > 1; F 6,n,m 3,8m+2n−1,8m 4 16 m 3 2m 2 S (47) F4 ,m = u = z, v = w z w +6z w , GF4 = 4, T (BF4 ) = 7 { − 3 } 7,m 7,m T3,8m−1,8m, m > 1; 2 2n1+1 2 2n2+1 S (48) F4 ,n ,n = u = z +w , v = w +z , GF4 = 4, T (BF4 )= 8 1 2 { } 8n1,n2 8,n1,n2 T4,2n1,2n2 , n1, n2 > 1; In case (42), any two germs of finite covers deformation equivalent to the germ F42,0,1 are equivalent. Corollary 1. The set of monodromy groups GF of the four-sheeted germs of finite covers is Z ,Kl , D , S . { 4 4 4 4} The alternating group A4 is not the monodromy group of any four-sheeted germ of finite cover. Moreover, in Proposition 14 it is proved that the alternating group A4 is not the monodromy group of any germ of finite cover, nevertheless (see Proposition 15), the groups A2n−1 for n > 2 are the monodromy groups of germs of finite covers. Note that all possible deformation types of four-sheeted germs of finite covers, described in Theorem 1, with the exception of two (germs F45,k,m and F46,3k,m), have different pair of main invariants. The monodromy groups of the germs F45,k,m and F46,3k,m are the same and the singularity types of their branch curves are the same also, but deformation types of these covers differ in the singularity types of their ramification divisors. Therefore, the following problem is interesting. Problem 1. To find a finite set of invariants defining completely the deformation types of the germs of finite covers. In particular, would be interesting to know if there are deformation non-equivalent germs of finite covers of local degree d > 5, the singularity types of branch curves and ramification divisors of which are the same, the covers have conjugated monodromy groups, and the sets of conjugacy classes of the images of geometric generators of the local fundamental groups of the branch curves are the same also. In Section 1, the main definitions are given and several auxiliary lemmas are proved. In this section, we consider different aspects of the relationship between the deforma- tion equivalence of germs of finite covers, the singularity types of their branch curves, and the monodromy groups of these germs. The proof of Theorem 1 is given in Sec- tion 2. In Section 3, we give examples of finite groups that are not the monodromy groups of any germs of finite covers. 4 VIK.S. KULIKOV 1. Definitions and preliminary facts 1.1. Equisingular deformations of curve germs. Let B = (u, v) C2 u 2 + v 2 <r2 r { ∈ || | | | } be a ball of radius r with center at the point o and C Br a reduced curve given by 0 ⊂ equation h(u, v) = 0, where h(u, v) H (B , B ). Below, the words ”B is a curve ∈ r O r germ in (V,o)” means that V = Bε, were ε r, and B = C V .