SECOND MAIN THEOEMS FO MEOMOPHIC MAPPINGS AND MOVING HYPEPLANES WITH TUNCATED COUNTING FUNCTIONS arxiv:1806.01647v3 [math.cv] 5 Sep 2018 SI DUC QUANG Abstract. In this article, we establish some new second main theorems for meromorphic mappings of C m into P n C and moving hyperplanes with truncated counting functions. Our results are improvements of the previous second main theorems for moving hyperplanes with truncated to level n counting functions. 1. Introduction The second main theorem for meromorphic mappings into projective spaces with moving hyperplanes was first given by W. Stoll, M. u [7] and M. Shirosaki in 1990 s [9, 10], where the counting functions are not truncated. In 2000, M. u [6] proved a second main theorem with trucated counting functions for nondegenerate mappings of C into P n C and moving hyperplanes. After that, this result was reproved for the case of several complex variables by Thai-Quang [12]. For the case of degenerate meromorphic mappings, in [8], u and Wang gave a second main theorem for moving hyperplanes with counting function truncated to level n. And then, the result of u-wang was improved by Thai-Quang [13] and Quang-An [5]. In 2016, the author have improved and extended all those results to a better second main theorem. To state their results, we recall the following. Let a 1,...,a n+1 be meromorphic mappings of C m into the dual space P n C with reduced representations a i = a i0 : : a in 1 i. We say that a 1,...,a are located in general position if deta ik l 0 for any 1 i 0 < i 1 < < i n. Let M m be the field of all meromorphic functions on C m. Denote by {ai } M m the smallest subfield which contains C and all a ik a il with a il 0. Thoughout this paper, if without any notification, the notation is always stands for {ai }. In 2004, M. u and J. Wang proved the following. Theorem A [8, Theorem 1.3] Let f : C P n C be a holomorphic map. Let {a j } j=1 be moving hyperplanes of P n C in general position such that f,a j 0 1 j. If 2n+1 then n2n+1 T fr N [n] f i,a r+ot fr+omax 1i T a i 2010 Mathematics Subject Classification: Primary 32H30, 32A22; Secondary 30D35. Key words and phrases: Nevanlinna theory, second main theorem, meromorphic mapping, moving hyperplane. Date: 1
2 SI DUC QUANG Here, by the notation P we mean the assertion P holds for all r [0, outside a Borel subset E of the interval [0, with dr <. E In 2008, D. D. Thai and S. D. Quang improved the above result by increasing the coefficent in front of the characteristic function to. In 2016, S D. Quang [3] n2n+1 2n+1 improved these result to the following. Theorem B [3, Theorem 1.1] Let f : C m P n C be a meromorphic mapping. Let {a j } j=1 2n k+2 be meromorphic mappings of Cm into P n C in general position such that f,a j 0 1 j, where rank {aj }f = k + 1. Then the following assertion holds: a b 2n k +2 T fr n+2k 1 T f r n+k +1 f i,a r+ot fr+omax T a i r, 1i f i,a r+ot fr+omax 1i T a i The main purpose of the present paper is to establish a stronger second main theorem for meromorphic mappings of C m into P n C and moving hyperplanes. Namely, we will prove the following theorem. Theorem 1.1. Let f : C m P n C be a meromorphic mapping. Let {a i } 2n k +2 be meromorphic mappings of C m into P n C in general position such that f,a i 0 1 i, where k +1 = rank {ai }f. Then the following assertions hold: a n k T f r n+2 b 2n k T f r kk +2 1i T a i r, N [1] 1i T a i Here by rank {ai }f we denote the rank of the set {f 0,f 1,...,f n } over the field {a i }, where f 0 : f 1 : : f n is a representation of the mapping f. emark: 1 The assertion a is an improvement of Theorem B. 2 It is easy to see that 2n k implies the following corollary. kk+2. Therefore, the assertion b immediately nn+2 Corollary 1.2. With the assumptions of Theorem A, we have nn+2 T fr N [1] T a i 1i In order to prove the above result, beside developing the method used in [3, 8, 12], we also propose some new techniues. Firstly, we will rearrange the family hyperplanes in the increasing order of the values of the counting functions of their inverse images. After that, we find the smallest number of the first hyperplanes in this order such that the sum of their counting functions exceed the characteristic functions. And then, we have to
SECOND MAIN THEOEMS FO MEOMOPHIC MAPPINGS 3 compare the characteristic functions with this sum of counting functions with explicitly estimating the truncation level. From that, we deduce the second main theorem. For the case where the number of moving hyperplanes is large enough, we will prove a better second main theorem as follows. Theorem 1.3. With the assumptions of Theorem 1.1, we assume further more that n kk +1+n+2. Then we have k +2 T fr T a i 1i In this case, we may see that the coefficient in front of the characteristic functions are exactly the same as the case where the mappings are assumed to be non-degenerate. Acknowledgements. This work was done during a stay of the author at the Vietnam Institute for Advanced Study in Mathematics. He would like to thank the institute for their support. This research is funded by Vietnam National Foundation for Science and Technology Development NAFOSTED under grant number 101.04-2018.01. 2. Basic notions and auxiliary results from Nevanlinna theory Throughout this paper, we use the standart notation on Nevanlina theory from[3, 4] and [13]. For a meromorphic mapping f : C m P n C, we denote by T f r its characteristic funtion. Let ϕ be a meromorphic funtion on C m. We denote by ν ϕ its divisor, N ϕ [k] r the counting function with the trucation level k of its zeros divisor and mr, ϕ its proximity function. The lemma on logarithmic derivative in Nevanlinna theory is stated as follows. Lemma 2.1 [11, Lemma 3.11]. Let f be a nonzero meromorphic function on C m. Then m r, Dα f = Olog + T f r α Z m + f. The first main theorem states that T ϕ r = mr,ϕ+n 1r. ϕ We assume that thoughout this paper, the homogeneous coordinates of P n C is chosen so that for each given meromorphic mapping a = a 0 : : a n of C m into P n C then a 0 0. We set ã i = a i and ã = ã 0 : ã 1 : : ã n. a 0 Supposing that f has a reduced representation f = f 0 : : f n, we put f,a := n i=0 f ia i and f,ã := n i=0 f iã i. Let{a i } be meromorphicmappingsofcm intop n C withreducedrepresentations a i = a i0 : : a in 1 i. Definition 2.2. The family {a i } for any 1 i 0 i n. is said to be in general position if deta ij l;0 j n,0 l n 0
4 SI DUC QUANG Definition 2.3. A subset L of M or M n+1 is said to be minimal over the field if it is linearly dependent over and each proper subset of L is linearly independent over. epeating the argument in [1, Proposition 4.5], we have the following proposition. Proposition 2.4 see [1, Proposition 4.5]. Let Φ 0,...,Φ k be meromorphic functions on C m such that {Φ 0,...,Φ k } are linearly independent over C. Then there exists an admissible set {α i = α i1,...,α im } k i=0 Zm + with α i = m j=1 α ij k 0 i k satisfying the following two properties: i {D α i Φ 0,...,D α i Φ k } k i=0 is linearly independent over M, i.e., detdα i Φ j 0, ii det D α i hφ j = h k+1 det D α i Φ j for any nonzero meromorphic function h on C m. 3. Proof of Theorem 1.1 and Theorem 1.3 In order to prove Theorem 1.1 we need the following lemma, which is an improvement of Lemma 3.1 in [3]. Lemma 3.1. Let f : C m P n C be a meromorphic mapping. Let {a i } p be p meromorphic mappings of C m into P n C in general position with rank{f,ã i ;1 i } = rank f, where = {a i } p. Assume that there exists a partition {1,...,} = I 1 I 2 I l satisfying: i {f,ã i } i I1 is minimal over, {f,ã i } i It is linearly independentover 2 t l, ii For any 2 t l,i I t, there exist meromorphic functions c i \{0} such that t 1 c i f,ã i f,ã i. i I t j=1 i I j Then we have T f r t where n 1 = I 1 2 and n t = I t 1 for t = 2,...,l. j I i N [ni] f,a j r+ot fr+omax 1ip T a i r, Proof. Let f = f 0 : : f n be a reduced representation of f. By changing the homogeneous coordinate system of P n C if necessary, we may assume that f 0 0. Without loss of generality, we may assume that I 1 = {1,...,k 1 } and I t = {k t 1 +1,...,k t } 2 t l, where 1 = k 0 < < k l =. Since {f,ã i } i I1 is minimal over, there exist c 1i \{0} such that Define c 1i = 0 for all i > k 1. Then k 1 k l c 1i f,ã i = 0. c 1i f,ã i = 0.
SECOND MAIN THEOEMS FO MEOMOPHIC MAPPINGS 5 Because {c 1i f,ã i } k 1 i=k 0 +1 is linearly independent over, Proposition 2.4 yields that there exists an admissible set {α 1k0 +1,...,α 1k1 } Z m + α 1i k 1 k 0 1 = n 1 such that the matrix A 1 = D α 1i c 1j f,ã j ;k 0 +1 i,j k 1 has nonzero determinant. Nowconsider t 2.Bytheconstruction oftheset I t, thereexist meromorphicmappings c ti 0 k t 1 +1 i k t such that k t t 1 i=k t 1 +1 c ti f,ã i j=1 i I t f,ã i Therefore, there exist meromorphic mappings c ti 1 i k t 1 such that Define c ti = 0 for all i > k t. Then k t k l c ti f,ã i = 0. c ti f,ã i = 0. Since {c ti f,ã i } kt i=k t 1 +1 is -linearly independent, by again Proposition 2.4 there exists an admissible set {α tkt 1 +1,...,α tkt } Z m + α ti k t k t 1 1 = n t such that the matrix A t = D α ti c 1j f,ã j ;k t 1 +1 i,j k t has nonzero determinant. Consider the following k l 1 k l matrix ] T = [D α ti c tj f,ã j ;1 t l,k t 1 +1 i k t ;1 j k l Denote by D i the subsuare matrix obtained by deleting the i-th column of the minor matrix T. Since the sum of each row of T is zero, we have. l detd i = 1 i 1 detd 1 = 1 i 1 deta j. Since {a i } is in general position, we have detã ij, 1 i n+1,0 j n 0. By solving the linear euation system f,ã i = ã i0 f 0 +...+ã in f n 1 i n+1, we obtain n+1 3.2 f v = A vi f,ã i A vi for each 0 v n. Put Ψz = n+1 n v=0 A viz z C m. Then fz Ψz max f,ãi z Ψz max f,ãi z z C m, 1in+1 j=1 1i
6 SI DUC QUANG and Sr log + Ψzη n+1 n v=0 Tr,A vi +O1 = Omax 1i T a i r+o1. Fix z 0 C m \ j=1 Suppν 0f,ãj Suppν f,ãj. Take i 1 i such that Then log detd 1z 0. fz 0 j=1 f,ã jz 0 f,ã i z 0 = max 1j f,ã jz 0. log Ψz + detd i z 0 0 j=1,j i f,ã jz 0 log + detd i z 0 j=1,j i f,ã +log + Ψz 0. jz 0 Thus, for each z C m \ j=1 Suppν 0f,ãj Suppν f,ãj, we have Hence 3.3 log detd 1z. fz f,ã iz log + detd i z j=1,j i f,ã +log + Ψz. jz log fz log f,ã iz + detd 1 z log + detd i z j=1,j i f,ã +log + Ψz. jz Integrating both sides of the above ineuality and using Jensen s formula and the lemma on logarithmic derivative, we have detd T f r N i f,ã ir Nr,ν detd1 + m r, j=1,j i f,ã +O max j T a i r 1i 3.4 =N f,ã ir Nr,ν detd1 +Olog + T f r+o max 0i 1 T a i Claim 3.5. N f,ã ir Nr,ν detd1 l s=1 i I s N [ns] f,a i r+omax 1iT ai Indeed, fix z C m \ If, where If = {f 0 = f n = 0}. We call i 0 the index satisfying For each i i 0,i I s, we easily have νf,ã 0 i0 z = min 1in+1 ν0 f,ã i z. ν D α sks 1 +j c si f,ã i z max{0,ν0 fã i z n s } C 2ν c si z+ν 0 a i0 z, where C is a fixed constant.
SECOND MAIN THEOEMS FO MEOMOPHIC MAPPINGS 7 Since each element of the matrix D i0 is of the form D α sk s 1 +j c si f,ã i i i 0, one estimates l ν D1 z = ν Di0 z max{0,ν 0 3.6 fãi z n s} k +1 2νc z+ν0 si a z i0. s=1 i Is i i 0 We see that there exists v 0 {0,...,n} with f v0 z 0. Then by 3.2, there exists i 1 {1,...,n+1} such that A v0 i 1 z f,ã i1 z 0. Thus 3.7 νf,ã 0 i0 z ν0 f,ã i1 z ν A v0 z ν i 1 A vi z. Combining the ineualities 3.6 and 3.7, we have ν 0 f,ã i z ν detd 1 z s=1 i Is i i 0 A vi 0 l min{ν 0 f,ãi z,n s}+k +1 2νc z+ν0 si a z i0 + νa vi z l s=1 i I s min{ν 0 f,ãi z,n s }+k +1 2ν c si z+ν 0 a i0 z + A vi 0 A vi 0 Integrating both sides of this ineuality, we easily obtain l 3.8 N f,ã ir Nr,ν detd1 N [ns] f,a i r+omax T a i 1i s=1 i I s The claim is proved. From the ineualities 3.4 and the claim, we get l T f r N [ns] f,a i r+olog+ T f r+omax T a i 1i s=1 i I s The lemma is proved. ν A vi z. Proof of Theorem 1.1. We denote by I the set of all permutations of -tuple 1,...,. For each element I = i 1,...,i I, we set N I = {r + ; f,a i1 r N[k] f,a i r}, M I = {r + ;N [1] f,a i1 r N[1] f,a i r}. We now consider an element I = i 1,...,i of I. We will construct subsets I t of the set A 1 = {1,...,2n k +2} as follows. We choose a subset I 1 of Awhich is the minimal subset of Asatisfying that {f,ã ij } j I1 is minimal over. If rank {f,ã ij } j I1 = k +1 then we stop the process. Otherwise, set I 1 = {i;f,ã i {f,ã ij } j I1 }, A2 = A 1 \ I 1 I 1 and see that I 1 I 1 n+1. We consider the following two cases:
8 SI DUC QUANG Case 1. Suppose that A 2 n+1. Since {ã ij } j A2 is in general position, we have f,ãij ;j A 2 = f 0,...,f n f,ã ij ;j I 1 0. Case 2. Suppose that A 2 < n+1. Then we have the following: dim f,ãij ;j I 1 k +1 n+1 I 1 I 1 = k n+ I 1 I 1, dim f,ãij ;j A 2 k +1 n+1 A 2 = k n+ A 2. We note that I 1 I 1 + A 2 = 2n k+2. Hence the above ineualities imply that f,ãij dim ;j I 1 f,ã ij ;j A 2 dim f,ãij ;j I 1 I 1 +dim f,ãij ;j A 2 k +1 = k n+ I 1 I 1 +k n+ A 2 k +1 = 1. Therefore, from the above two cases, we see that f,ãij ;j I 1 f,ã ij ;j A 2 {0}. Therefore, we may chose a subset I 2 A 2 which is the minimal subset of A 2 satisfying that there exist nonzero meromorphic functions c i i I 2, c i f,ã i i I 2 f,ã i i I 1 We see that I 2 2. By the minimality of the set I 2, the family {f,ã ij } j I2 is linearly independent over, and hence I 2 k +1 and. I 2 I 2 min{2n k +2,n+k +1}. Moreover, we will show that f,ãij dim;j I 1 f,ã ij ;j A 2 = 1. Indeed, suppose contrarily there exist two linearly independent vectors x,y f,ã ij ;j I 1 f,ã ij ;j I 2, with x = i I 2 x i f,ã i f,ã ij ;j I 1, y = i I 2 y i f,ã i f,ã ij ;j I 1, wherex i,y i. BytheminimalityoftheseI 2,allfunctionsx i,y i arenotzero. Therefore, fixing i 0 I 2, we have y 0 x i x 0 y i f,ã i f,ãij ;j I 1. i I 2 i i 0 Since x,y are linearly independent, the left hand side is not zero. This contradics the minimality of the set I 2. Hence f,ãij dim;j I 1 f,ã ij ;j I 2 = 1.
SECOND MAIN THEOEMS FO MEOMOPHIC MAPPINGS 9 On the other hand, we will see that I 1 I 2 n+2. If rank {f,ã ij } j I1 I 2 = k +1 then we stop the process. Otherwise, by repeating the above argument, we have a subset I 2 = {i;f,ã i {f,ãij } j I1 I 2 }, a subset I3 of A 3 = A 1 \I 1 I 2 I 2, which satisfy the following: there exist nonzero meromorphic functions c i i I 3 so that c i f,ã i f,ã i, i I 3 i I 1 I 2 {f,ã ij } j I3 is linearly independent over, 2 I 3 k +1 and I 1 I 3 min{2n k +2,n+k +1}, f,ãij dim ;j I 1 I 2 f,ã ij ;j I 3 = 1. Continuing this process, we get a seuence of subsets I 1,...,I l, which satisfy: 1 {f,ã ij } j I1 is minimal over, I t 2 and {f,ã ij } j It is linearly independent over 2 t l, 2 for any 2 t l,j I t, there exist meromorphic functions c j \ {0} such that j I t c j f,ã ij t 1 s=1 f,ã ij j I s f,ãij and dim;j I 1 I t 1 f,ã ij ;j I t = 1, 3 rank {f,ã ij } j I1 I l = k +1. If I 1 = 2 we will remove one element from I 1 and combine the remaining element with I 2 to become a new set I 1. Therefore, we will get a seuence I 1,...,I l which satisfy the above three properties and I 1 3, I t 2 2 t l. We set n 1 = I 1 2,n s = I s 1 2 s l,n 0 = max 1sl n s,j = I 1 I l and d+2 = J. One estimates, n 1 +2+n 2 +1+ +n l +1 = d+2, n 1 +1+n 2 + +n l = k +1. Since the rank of the set of any n+1 functions f,ã i s is eual to k +1, we have n+1 I 1 I l 1 k +1 rank{f,ã i ; i I 1 I l 1 }, i.e.,n+1 n 1 +2 n 2 +1 n l 1 +1 k+1 n 1 +1 n 2 n l 1. This implies that d+2 n+2. On the other hand, we see that k +1+l = d+2, and hence Thus n 0 kk+2 d+2. n s = k l n i k l 1 i s kk +2 kk +2 = k +l +1 d+2.
10 SI DUC QUANG Now the family of subsets I 1,...,I l satisfies the assumptions of the Lemma 3.1. Therefore, we have 3.9 T f r l s=1 j I s N [ns] f,a j +ot fr+omax 1i T a i a For all r N I may be outside a finite Borel measure subset of +, from 3.9 we have T f r j J f,a j +ot fr+omax 1i T a i r J f,a 2n k +2+ J ij r+ j J +ot f r+omax T a i 1i j=2n k+3 f,a ij r Since J = d+2 n+2, the above ineuality implies that 3.10 T f r n+2 n k 1i T a i r, r N I. We see that I I N I = + and the ineuality 3.10 holds for every r N I,I I. This yields that T f r n+2 n k 1i T a i r for all r outside a finite Borel measure subset of +. Thus n k T f r n+2 1i T a i The assertion a is proved.
SECOND MAIN THEOEMS FO MEOMOPHIC MAPPINGS 11 b We repeat the same argument as in the proof of the assertion a. For all r M I may be outside a finite Borel measure subset of + we have T f r l s=1 j J j I s N [ns] f,a j +ot fr+omax 1i T a i r n 0 N [1] f,a j +ot fr+omax 1i T a i r d+2 n 0 N [1] f,a 2n k +2+d+2 ij r+ j J +ot f r+omax T a i r 1i kk +2 2n k +2+d+2 kk +2 2n k j=2n k+3 N [1] f,a ij r N [1] 1i T a i r N [1] 1i T a i epeating again the argument in the proof of assertion a, we see that the above ineuality holds for all r + outside a finite Borel measure set. Then the assertion b is proved. Proof of Theorem 1.3. We denote by I the set of all permutations of -tuple 1,...,. For each element I = i 1,...,i I, we set N I = {r + ; f,a i1 r N[k] f,a i r}. We now consider an element I of I, for instance it is I = 1,...,. Then there is a maximal linearly independent subfamily of the set {f,ã i ;1 i n + 1} which is of exactly k +1 elements and contains f,ã 1. We assume that they are {f,ã ij ;1 = i 1 < < i k+1 n+1}. For each 1 j k +1, we set J = {i 1,...,i k+1 } V j = Since the space n elements. Hence k+1 j=1 k+1 V j = { } i {1,...,} ; f,ã j fã is ;1 s k +1,s j. fã is ;1 s k+1,s j is of dimension k, the set V j has at most j=1 V j \J+k +1 n kk +1+k +1 = n k +1k +1. Therefore, there exists an index i 0 n k +1k+1+1 such that i 0 k+1 j=1 V j. This yields that the set {f,ã ij ;0 j k +1} is minimal over. Then by Lemma 3.1, for
12 SI DUC QUANG all r N I we have k+1 Tr,f T a i r 1i j=0 n+1 f,a 1 r+ 1 n k +1 i=n k+2 +ot f r+omax 1i T a i r = f,a i r+n[k] f,a n k+1k+1+1 r+ot fr+omax 1i T a i r n k+1 n k+1k+1 f,a i r+ i=n k+2 n k+1k+2 f,a i r+ n k+1k+2 1 f,a n k +1 i r+ot fr+omax T a i r 1i 1 n k +1 = k +2 n k +1k +2 1i T a i i=n k+1k+1+1 f,a i r 1i T a i r epeating again the argument in the proof of Theorem 1.1, we see that the above ineuality holds for all r + outside a finite Borel measure set. Hence, the theorem is proved. eferences [1] H. Fujimoto, Non-integrated defect relation for meromorphic maps of complete Kähler manifolds into P N1 C... P N k C, Japanese J. Math. 11 1985, 233-264. [2] J. Noguchi and T. Ochiai, Introduction to Geometric Function Theory in Several Complex Variables, Trans. Math. Monogr. 80, Amer. Math. Soc., Providence, hode Island, 1990. [3] S. D. Quang, Second main theorems for meromorphic mappings intersecting moving hyperplanes with truncated counting functions and unicity problem, Abh. Math. Semin. Univ. Hambg. 86 2016 1 18. [4] S. D. Quang, Second main theorems with weighted counting functions and algebraic dependence of meromorphic mappings, Proc. Amer. Soc. Math. 144 2016, 4329 4340. [5] S. D. Quang and D. P. An, Unicity of meromorphic mappings sharing few moving hyperplanes, Vietnam Math. J. 41 2013, 383-398. [6] M. u, A uniueness theorem with moving targets without counting multiplicity, Proc. Amer. Math. Soc. 129 2001, 2701-2707. [7] M. u and W. Stoll, The second main theorem for moving targets, Journal of Geom. Anal. 1, No. 2 1991 99 138. [8] M. u and J. T-Y. Wang, Truncated second main theorem with moving targets, Trans. Amer. Math. Soc. 356 2004, 557-571. [9] M. Shirosaki, Another proof of the defect relation for moving target, Tohoku Math. J., 43 1991, 355 360. [10] M. Shirosaki, On defect relations of moving hyperplanes, Nogoya Math. J. 120 1990, 103 112. [11] B. Shiffman, Introduction to the Carlson - Griffiths euidistribution theory, Lecture Notes in Math. 981 1983, 44-89.
SECOND MAIN THEOEMS FO MEOMOPHIC MAPPINGS 13 [12] D. D. Thai and S. D. Quang, Uniueness problem with truncated multiplicities of meromorphic mappings in several complex variables for moving targets, Internat. J. Math., 16 2005, 903-939. [13] D. D. Thai and S. D. Quang, Second main theorem with truncated counting function in several complex variables for moving targets, Forum Mathematicum 20 2008, 145-179. [14] K. Yamanoi, The second main theorem for small functions and related problems, Acta Math. 192 2004, 225-294. Si Duc Quang Department of Mathematics, Hanoi National University of Education, 136-Xuan Thuy, Cau Giay, Hanoi, Vietnam. E-mail: uangsd@hnue.edu.vn