X(V, M) = Dim Lm + 1 LEMMA 1. a Specialization of The
Total Page:16
File Type:pdf, Size:1020Kb
34 MA THEMA TICS: J. IGUSA PROC. N. A. S. 4R.Bellman, Dynamic Programming and ContinuousProcesses (RAND Monograph R-271, 1954). 5R. Bellman, "Dynamic Programming and a New Formalism in the Calculus of Variations," these PROCEEDINGS, 40, 231-235, 1954. 6 R. Bellman, "Monotone Convergence in Dynamic Programming and the Calculus of Vari- ations," ibid., (these PROCEEDINGS, 40, 1073-1075, 1954). 7 E. Hille, Functional Analysis and Semi-groups ("American Mathematical Society Colloquium Publications," Vol. XXXI [1948]). 8 Cf. ibid., p. 71. 9 Ibid., p. 388. 10 V. Volterra, Leqons sur les fonctions des lignes (Paris: Gauthier-Villars, 1913). ARITHMETIC GENERA OF NORMAL VARIETIES IN AN ALGEBRAIC FAMILY* BY JUN-ICHI IGUSA DEPARTMENT OF MATHEMATICS, HARVARD UNIVERSITY, AND KYOTO UNIVERSITY, JAPAN Communicated by Oscar Zariski, October 28, 1954 It is well known that linear equivalence of divisors on a fixed ambient variety is preserved by specialization.' In this paper we shall show that the above assertion remains valid even when the ambient variety varies under specialization. This fact will be used as a lemma in our later paper. Here we shall derive the following theorem as an immediate consequence. If a normal variety V' is a specialization of a positive cycle V, then V is also a normal variety, and they have the same arith- metic genus. In the case of curves this assertion was proved by Chow and Nakai,2 and in our proof we shall use some of their ideas. We note also that a slightly less general result was proved in the classical case by Spencer and Kodaira quite recently.3 Let yr be a variety of dimension r in a projective space L'. The Hilbert characteristic function X(V, t) of V' is then a polynomial in t of degree r. We shall denote its constant term by x(V), and we call it the arithmetic genus of V. The usual arithmetic genus pa(V) of V is related to x(V) by x(V) = 1 + (- 1) pa(V). If V' has no multiple subvariety of dimension r - 1, we can consider linear systems on Vr. The complete linear system of hypersurfaces of degree m in L' induces a linear system Lm on V, and from the definition of Hilbert characteristic function we get X(V, m) = dim Lm + 1 from a certain m onward. Now let V't be a variety in L' of dimension r such that V' is a specialization of a positive r-cyele yr il Ln over a field k. Since addition of cycles is compatible with specialization,4 V is also a variety and the following lemma holds: LEMMA 1. A specialization of the singular locus of V over the specialization V V' with reference to k is contained in the singular locus of V'. Proof: Let W8 be a component of the singular locus of V, and let W' be a special- ization of W over the specialization V -* .V' with reference to k. We have only to show that W' is contained in the singular locus of V'. Take a field of definition K of V, .V' containing k over which W8 and W' are rational. Take a generic linear Downloaded by guest on September 26, 2021 VOL. 41, 1955 MATHEMATICS: J. IGUSA 35 variety L8- over K with defining coefficients (u). Then the 0-cycle W'.L is the unique specialization of the 0-cycle WEL over the specialization (V, W) -- (V', W') with reference to k(u). Now, if W' is not contained in the singular locus of V', there exists at least one simple point P' of V' in W'OL. Let P be a point in W-L which has specialization P' in the above specialization. Now take two independent generic linear varieties Lr+l and L'-f-2 with defining coefficients (v) over the field K(u), and project V, P, V', and P' from Lf-l-2 into Lr+l obtaining VF,P. V', and P respectively. We know that (V', P') is a specialization of (1, P) over k(v). Moreover, P is multiple on 1, while P' is simple on 1'. Since 1 and 1' are hyper- surfaces in LT+l, we can readily get a contradiction. In particular, if V' is nonsingular, V is also nonsingular. The following lemma is due to Chow and Nakai, but we shall give a simpler proof. LEMMA 2. If a nonsingular curve C' is a specialization of a curve C over a field k, they have the same genus. Proof: Let A and A' be the diagonals of the products C X C and C' X C'. Then (C' X C', A') is the unique specialization of (C X C, A) over the specialization C -- C' with reference to k (here we consider C X C as a subvariety of a projective space LN with N = (n + 1)2 - 1 in the usual way). Now let K be a field of definition of C, C' containing k, and let LN-3 be a generic linear variety over K in LN with defining coefficients (u). The projecting cones H and H' of A and A' with center LN-3 are hypersurfaces of the same degree, say m, in LN such that H' is the unique specialization of H over the specialization A -5 A' with reference to k(u). Now let Ho be a generic hypersurface over K(u) of degree m with defining coefficients (v). We then see that (C' X C', A', (C' X C')H', (C' X C')-Ho) is the unique specialization of (C X C, A, (C X C) H, (C X C)-Ho) over the special- ization C -- C' with reference to k(u, v). If we put X = (C X C)-(Ho -H) + A and X' = (C' X C')-(Ho- H') + 'A', the intersection products A X and A'-X' are both defined. Therefore, A'-X' is the unique specialization of A X over the specialization C -> C' with reference to k(u, v). On the other hand, X is linearly equivalent to A on C X C, and X' is linearly equivalent to A' on C' X C'. There- fore,5 we have 2X(C) = deg (A-X) = deg (A'.X') = 2X(C'). The following lemma can be proved in the usual way,6 using a weak form of Kronecker-Castelnuovo's theorem, due to N6ron-Samuel.7 LEMMA 3. Let Vr be a variety in L' without multiple subvariety of dimension r - 1 (r > 2). Let D be a V-divisor which is rational over afield of definition K of V. Also, let Cm be an intersection product of V with a generic hypersurface of degree m in Ln over K. Then, if DCm is linearly equivalent to zero on Cm for every m, D itself is linearly equivalent to zero on V. Now we can prove the following: THEOREM 1. We assume that a variety V"r without multiple subvariety of dimension r - 1 is a specialization of a variety Vr over a field k. Let D be a V-divisor which is linearly equivalent to zero on V, and let D' be a specialization of D over the above special- ization. Then D' is linearly equivalent to zero on V'. Proof: It follows from Lemma 1 that V has no multiple subvariety of dimension r - 1. We shall show that the assertion for r follows from the corresponding assertion for r - 1, when r > 2. In fact, take a common field of definition K of V and V' containing k over which both D and D' are rational. Let H be a generic Downloaded by guest on September 26, 2021 36 MATHEMATICS: J. IGUSA PROC. N'. A. S. hypersurface of degree m in L' over K with defining coefficients (u). Then (V'-H, D'*H) is a specialization of (VaH, D-H) over the field k(u). We know8 that V'H is again a variety without multiple subvariety of dimension r - 2. Since D-H is linearly equivalent to zero on VAH, by induction assumption, D'-H is linearly equivalent to zero on V'aH. Since this is true for every H, by Lemma 3, D' is linearly equivalent to zero on V'. We may therefore assume that V and V' are both nonsingular curves C and C'. Moreover, it is quite easy to see that we have only to prove the following assertion. If Z is a member of Lm and if Z' is a spe- cialization of Z over the specialization C C' with reference to k, then Z' is a member of the trace Lm' on C' of the complete linear system of hypersurfaces of degree m in L' for all m sufficiently large. Now let 4) be the everywhere regular rational mapping of L' into a projective space LN which is associated with the complete linear system of hypersurfaces of degree m in L'. Since 4) is everywhere regular, if soand p' are functions induced by 4) on C and C', then their graphs are related to the graph of 4) by rl, = rP(c x LN) and r,,f9 = F4-(C' X Lu). On the other hand, since C and C' are nonsingular, both are normal, and therefore Lm and Lm' are complete9 from a certain m onward and have the same dimension by Lemma 2. Now let L8 be the smallest linear sub- variety of LN containing the projection of r1, on LN. We can find a hyperplane L'-1 of L8 such that Z = prc LrL (C X Ls')].