H F Baker: A locus with 25920 linear self-transformations Introduction
In his monumental volume on the theory of substitutions (Traité des substitutions, Paris, 1870), Jordan considers the group of the lines of a cubic surface in ordinary space, which he regards primarily as the group of the substitutions of the tritangent planes of the surface.
Later in the same volume, with acknowledgements to Kronecker, he considers the group of the trisection of the periods of a theta function of two variables, proving that the study of this group is essentially the same problem as that of the group of the lines of a cubic surface.
In a series of papers on hyperelliptic functions of two variables, in the Math. Ann., [ 1889-1890] Burkhardt obtains five theta functions which are linearly transformed among themselves by the group of the trisection, thus incidentally obtaining for the first time the expression of the group of the lines of a cubic surface by linear equations (which arises also in a different form in his fourth memoir); and he investigates the homogeneous polynomials in these five functions which are invariant under the resulting linear group.
The simplest of these invariants is of the fourth order in the five functions. When equated to zero, this represents a primal in space of four dimensions, which, considering the thoroughness of Burkhardt's work in the four memoirs quoted, may be described as Burkhardt's Primal.
The geometrical properties of this primal are very interesting; and they form a vivid and simple concrete representation of the group of the lines of a cubic surface, and its more important subgroups; and incidentally illustrate the elements of the theory of the substitutions of five and six objects.
After Burkhardt there are two interesting papers by A B Coble (American J. Math. 38 (1906), 333-366, and Trans. Amer. Math. Soc. 18 (1917), 331-372), in which the geometrical properties of the primal are considered. Coble gives explicitly a symmetrical form of the equation of the primal (to which the equations of transformation are given by Burkhardt, Math. Ann. 28 205).
On account of its symmetry this form is adopted here as fundamental.
Still later Dr J A Todd (Quart. J. Math. 7 (1936) 168-174) has added to his other papers on quartic primals in four dimensions a masterly proof that Burkhardt's primal is rational (that is, that its four independent coordinates are expressible rationally in terms of three rational functions of themselves) without, however, obtaining the explicit reverse equations. It is remarked here that this rationality is obvious when it is seen that there exist on the primal (many) sets of three planes of which every two have only a point in common; and the reverse equations are obtained in one of the possible 72 × 40 ways.
The present account is primarily a study of the geometrical properties of the primal; and, to be intelligible, must needs contain many results that are not novel. But there are two features which, so far as I know, are new. The first is a notation for the forty-five nodes of the primal (and, therefore, effectively, for the tritangent planes of a cubic surface) which enables the relations of these nodes to be simply described and verified. The second is the reference to the projections into itself of which the primal is capable, of which I have seen no mention.
All Burkhardt's fundamental transformations are expressed here in terms of these projections. Burkhardt's proof that these fundamental transformations generate the group depends upon their derivation from linear transformation of the periods of the hyperelliptic functions, and so belongs to the theory of linear transformation of the periods. It would seem that what is advanced below in regard to the geometrical projections is sufficient to enable us to dispense with reference to these periods; but a formal proof of this requires further elaboration. The elementary results which arise for the substitutions of five and six objects will not be new to those who have studied the theory of groups of substitutions, but may be welcome, from their concrete character, to those less familiar with the theory.
One remark should perhaps be added here to make the general statements of this introduction more precise: The group of the lines of a cubic surface is of order 2^{4}× 3^{4}× 40; this group has a subgroup of order 1/2 (2^{4}× 3^{4}× 40) or 2^{3}× 3^{4}× 40, which, as Jordan proved, is simple [it is PSp(4,3), the projective symplectic group of 4 × 4 matrices over the field of 3 elements]. This subgroup, regarded, as by Jordan, as a group of substitutions of the tritangent planes, contains only even substitutions of these. It is this subgroup which is considered here.
JOC/EFR August 2006
The URL of this page is:
http://www-history.mcs.st-andrews.ac.uk/Extras/Baker_locus_intro.html