Some Recent Contributions to Algebraic Geometry*
Total Page:16
File Type:pdf, Size:1020Kb
SOME RECENT CONTRIBUTIONS TO ALGEBRAIC GEOMETRY* BY VIRGIL SNYDER 1. Introduction. During the last decade mathematical litera ture has been enriched by over a thousand contributions to algebraic geometry, including about eight hundred to the nar rower field of rational transformations. It would be an ambitious task to report on this immense field in one short talk. Today I wish to speak of only three problems, each one somewhat well defined, or even narrow. Of these, one furnishes a striking ex ample of mathematical elegance in providing one solution to what was regarded as several distinct problems. The other two are capable of unlimited extension, each new enlarged field furnishing phases not existing in the earlier ones. 2. Series of Composition of Veneroni Transformations. The Cremona transformations determined by a system of bilinear equations between the systems of coordinates of the two associ ated spaces were among the first to be considered in 52 and 53. For the general case the configuration of fundamental and principal elements can be at once expressed in terms of the vanishing of certain determinants of a matrix. (Segre.f) This has recently been generalized to spaces of higher dimensions by various authors, in particular to Sn by Godeaux.J Numerous particular cases have been considered. If I, the ex treme case of inversion results. Transformations made up of this inversion and of collineations have no fundamental curves of the first kind ; they have a series of composition somewhat similar to that of the general case for 52. If in every bilinear equation the coefficients a»* and au are equal, the transformation is involutorial and can be expressed in terms of polarity as to a series of quadrics or as to null systems. In case all the polarities are quadric and the quadric primais are independent, there are only a finite number of invariant * Presented to the Society at the symposium held in New York, March 30, 1934, at the invitation of the program committee. t C. Segre, Rendiconti dei Lincei, (2), vol. 9 (1900), pp. 253-260. ÎL. Godeaux, Lombardo Istituto Rendiconti, (2), vol. 43 (1910), pp. 116-119. 673 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 674 VIRGIL SNYDER [October, points. These have been discussed by M. del Re.* The case of w = 4 has been investigated by Miss Alderton,f and various further properties have been given by Wong{ and Roth.§ The general Cremona transformation for Sry r>2, does not have a series of composition, that is, it cannot be expressed as the product of transformations of lower order. A Cremona transformation in 53 of order n = 4& + r having as base curve of maximal multiplicity a sextic curve C of genus p — Z and of multiplicity & + 1, is the product of a (3, 3) and of another transformation of order n. (Piazzolla-Beloch.||) Similarly, a T^n-i'- Cz{n~l\ the only other base-system con sisting of bisecants of C3, has a definite series of composition. (Montesano.lf) This case has been developed further by Tinto.** 3. Case n = 3. The most important particular case from this point of view for n = 3 is that in which the base C% is composed of four skew lines r» and their two transversals u} v. The inverse is defined by cubic surfaces through four skew lines ri and their two transversals u', v'. A point on /%• has for image a line meet ing three lines ri, so that r{ itself is transformed into the quadric through three lines ri . A point on u (or v) has the whole line u' (or v') for image, and conversely. These transversals are simple fundamental lines of the second kind. The image of an arbitrary line is a space cubic meeting each ri twice, but not meeting uf or v'. A line r meeting u and v is transformed into a line meeting uf and v'. The (1, 1) corre spondence between this line and its image is a collineation, such * Maria del Re, Naples Rendiconti, (3), vol. 28 (1922), pp. 203-211, and (3), vol. 35 (1929), pp. 208-217. f Nina Alderton, University of California Publications in Mathematics, vol. 1 (1923), pp. 345-358. t B. C. Wong, Annals of Mathematics, (2), vol. 27 (1926), pp. 330-336, and vol. 28 (1927), pp. 251-262; American Journal of Mathematics, vol. 49 (1927), pp. 383-388; this Bulletin, vol. 35 (1929), pp. 829-832. § L. Roth, Proceedings of the Cambridge Philosophical Society, vol. 29 (1933), pp. 178-183. || M. Piazzolla-Beloch, Annali di Matematica, (3), vol. 16 (1909), pp. 27-98. If D. Montesano, Naples Rendiconti, (3), vol. 27 (1921), pp. 116-127 and 164-175. ** F. J. Tinto, Proceedings of the Edinburgh Mathematical Society, vol. 34 (1916), pp. 133-145. License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use I934-] RECENT ALGEBRAIC GEOMETRY 675 that the points r, u and r, v are transformed into r', u' and r', v'. Through a point P in (x) passes a single line meeting w, A; through its image P' passes a single line meeting u', v'. The col- lineation is now uniquely fixed. Let u be taken as Xi = 0, #2 = 0 and v as x3 = 0, #4 = 0. For fi, r2 the lines #i = 0, x3 = 0 and x2 = 0, : #4 = 0 may be taken. Then for r3 take axi + bx2= 0J cxs+dxi~0 and r4' is a'xi + b'x2 = 0, c'x3+d'x4 = 0. Since the quadric surface through any three lines rt- contains the two transversals, a quadric and any plane of the pencil through the residual line will be a cubic surface of the homa- loidal system. If Hn = 0 is the equation of the quadric through all the lines except X\ — 0, x3 = 0, etc., we may write X X\ = XiHu, %2 = X2#24, i — #3#13, Xl = XAH2±. Similar pencils are of the forms (a%i + bx2jHa,c + (£#3 + dxi)Ha,c = 0, (arxi + bfX2)Ha',c' + etc. = 0. By writing the equations of Hn, H2A we can now obtain the forms of the defining bilinear equations Xi X3 — X\Xz = 0, X{ #4 — X2x{ = 0, (cd')(axi + bx2)(b'xi — a'xl) — {ab'){d'x( — c'x2)(cxz + dx±) = 0. 4. Products of (3, 3) Cremona Transformations. Now consider f the product of TiifiU, v; r'u , v' and T2\rlu', v'\ r{ , w", z/' in which the same lines #', */ appear in Trl and in TV The lines ri, r/ may all be distinct or in part the same. Similarly for the continued product Ti, T2, • • • , 7V For every value of k the transformation is determined by two lines u, v of the same multi plicity and of a number of lines, of various multiplicities, meeting both of them, and of no other base elements. Conversely, consider a transformation T defined by the two properties : (a) To a line r meeting two skew lines u, v shall correspond a line r' meeting two skew lines u', v'. (b) The projectivity established between r and r' shall never be degenerate, and the point r, u shall correspond to the point r', u'\ similarly for r9 v and r\ v'. License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 676 VIRGIL SNYDER [October, The transformations determined by these conditions have u, v to the same multiplicity v\ a number of lines meeting both are base elements of the web, and there can be no other base ele ments. The transformation is of order 2^ + 1. We may then write Ici I JL JL I • V V Pl PP | 02 I ~ I <j>2v </>2v+l \ .UVTi ' ' ' rp , Ici \n n \ . 2pi 2Pp I ài J ~ | C2^C2^+i J .r-i - • • rp . A plane through u (or v) is transformed into a ruled surface v v 1 2 2p R2v+i:u' v' + r Pi • • • rp *. Each line r» is transformed into a ruled surface; each point of Yi~a. rational curve o' of order p/, not meeting #', z>', which ,pl p generates R2pi\u ' v' >'. An arbitrary plane co meets w, z; each in a point and contains the line / joining them. Let co' be any plane (not containing u', v') through the image of this line. Given any point T in co, through it passes a unique line c meeting u, v. The image line c' meets u', v' and pierces co' in T'. Between co, co' exists a plane Cremona transformation. Let T describe a line p in co. The lines u, v, p determine a quadric surface, the image of which is a sur face of order 4^ + 2. The section by co' contains V and the image of p} hence Since in a plane Cremona transformation the number of F points in the two planes is the same, it follows that p — p'. From the two fundamental relations of a plane Cremona transformation, we have further JJD*^, ^P*2 = 2v(v + l). Let Pi^P2^ • • • 'èPp. Then 2 2 2 Pi + P2 + P3 + p4(p4 + • • • + Pp) è 2v(v + 1), Pi2 + P22 + P32 + PA(4V - PI - P2 - Pa) è 2v(v + 1), v(pi — p4) + y(p2 — p4) + ^(P3 ~ P4) + 4ï>P4 è 2p(l' + 1), Pl + P2 + P3 + P4 à 2(v + 1) . From this last equation it follows that if the web of surfaces, homaloids of the planes of space, is transformed by means of the (3, 3) transformation defined by ru r2, n$, r^ the order of the surfaces of the web will be lowered.