In geometry, the Schläfli double six is a configuration of 30 points and 12 lines in three-dimensional Euclidean space, introduced by Ludwig Schläfli in 1858.[1] The lines of the configuration can be partitioned into two subsets of six lines: each line is disjoint from (skew with) the lines in its own subset of six lines, and intersects all but one of the lines in the other subset of six lines. Each of the 12 lines of the configuration contains five intersection points, and each of these 30 intersection points belongs to exactly two lines, one from each subset, so in the notation of configurations the Schläfli double six is written 302125.[2]
Construction
As Schläfli showed, the double six may be constructed from any five lines a1, a2, a3, a4, a5, that are all intersected by a common line b6, but are otherwise in general position (in particular, each two lines ai and aj should be skew, and no four of the lines ai should lie on a common ruled surface). For each of the five lines ai, the complementary set of four out of the five lines has two quadrisecants: b6 and a second line bi. The five lines b1, b2, b3, b4, and b5 formed in this way are all in turn intersected by another line, a6. The twelve lines ai and bi form a double six: each line ai has an intersection point with five of the other lines, the lines bj for which i ≠ j, and vice versa.[3]
An alternative construction, shown in the illustration, is to place twelve lines through the six face centers of a cube, each in the plane of its face and all making the same angles with respect to the cube's edges.[4] Once constructed in either of these ways, the double six can be projected into the plane, forming a two-dimensional system of points and lines with the same incidence pattern.
Related objects
A generic cubic surface contains 27 lines, among which can be found 36 Schläfli double six configurations. It may be necessary to use complex number coordinates to represent all of these lines; cubic surfaces can have fewer than 27 lines over the real numbers. In any such set of 27 lines, the 15 lines complementary to a double six, together with the 15 tangent planes through triples of these lines, has the incidence pattern of another configuration, the Cremona–Richmond configuration.[5]
The intersection graph of the twelve lines of the double six configuration is a twelve-vertex crown graph, a bipartite graph in which each vertex is adjacent to five out of the six vertices of the opposite color.[6] The Levi graph of the double six may be obtained by replacing each edge of the crown graph by a two-edge path. The intersection graph of the entire set of 27 lines on a cubic surface is the complement of the Schläfli graph.[7]
Notes
- ↑ Schläfli (1858), p. 115.
- ↑ Hilbert & Cohn-Vossen (1952), p. 166.
- ↑ Hilbert & Cohn-Vossen (1952), pp. 164–166.
- ↑ Hilbert & Cohn-Vossen (1952), Fig. 181, p. 165; see p. 166 for explanation.
- ↑ Stokes & Bras-Amorós (2014).
- ↑ Benedetti, Di Marca & Varbaro (2018), Example D.
- ↑ Brouwer, Cohen & Neumaier (1989), Example (iii), p. 30.
References
- Benedetti, Bruno; Di Marca, Michela; Varbaro, Matteo (2018), "Regularity of line configurations", Journal of Pure and Applied Algebra, 222 (9): 2596–2608, arXiv:1608.02134, doi:10.1016/j.jpaa.2017.10.009, MR 3783008
- Brouwer, A. E.; Cohen, A. M.; Neumaier, A. (1989), "Chapter 1: Special Regular Graphs", Distance-regular graphs, Results in Mathematics and Related Areas, vol. 18, Berlin: Springer-Verlag, pp. 1–42, doi:10.1007/978-3-642-74341-2_1, ISBN 3-540-50619-5, MR 1002568
- Hilbert, David; Cohn-Vossen, Stephan (1952), "III.25: Schläfli's Double-Six", Geometry and the Imagination (2nd ed.), New York: Chelsea, pp. 164–170, ISBN 978-0-8284-1087-8
- Schläfli, Ludwig (1858), Cayley, Arthur (ed.), "An attempt to determine the twenty-seven lines upon a surface of the third order, and to derive such surfaces in species, in reference to the reality of the lines upon the surface", Quarterly Journal of Pure and Applied Mathematics, 2: 55–65, 110–120
- Stokes, Klara; Bras-Amorós, Maria (2014), "Patterns in semigroups associated with combinatorial configurations", in Izquierdo, Milagros; Broughton, S. Allen; Costa, Antonio F.; Rodríguez, Rubí E. (eds.), Riemann and Klein Surfaces, Automorphisms, Symmetries and Moduli Spaces: Proceedings of the Conference in Honor of Emilio Bujalance on Riemann and Klein Surfaces, Symmetries and Moduli Spaces held at Linköping University, Linköping, June 24–28, 2013, Contemporary Mathematics, vol. 629, Providence, Rhode Island: American Mathematical Society, pp. 323–333, doi:10.1090/conm/629/12583, MR 3289650