В геометрии двойная шестерка Шлефли — это конфигурация из 30 точек и 12 прямых в трехмерном евклидовом пространстве , введенная Людвигом Шлефли в 1858 году. [1] Прямые конфигурации можно разбить на два подмножества по шесть прямых: каждая прямая не пересекается ( косится ) с прямыми в своем собственном подмножестве из шести прямых и пересекает все, кроме одной, прямые в другом подмножестве из шести прямых. Каждая из 12 прямых конфигурации содержит пять точек пересечения, и каждая из этих 30 точек пересечения принадлежит ровно двум прямым, по одной из каждого подмножества, поэтому в обозначениях конфигураций двойная шестерка Шлефли записывается как 30 2 12 5 . [2]
Как показал Шлефли, двойная шестерка может быть построена из любых пяти прямых a 1 , a 2 , a 3 , a 4 , a 5 , которые все пересекаются общей прямой b 6 , но в остальном находятся в общем положении (в частности, каждые две прямые a i и a j должны быть скрещивающимися , и никакие четыре прямые a i не должны лежать на общей линейчатой поверхности ). Для каждой из пяти прямых a i дополнительный набор из четырех из пяти прямых имеет два квадрисектиса : b 6 и вторую прямую b i . Пять прямых b 1 , b 2 , b 3 , b 4 и b 5 , образованные таким образом, в свою очередь пересекаются другой прямой a 6 . Двенадцать прямых a i и b i образуют двойную шестерку: каждая линия a i имеет точку пересечения с пятью другими прямыми, прямыми b j , для которых i ≠ j , и наоборот. [3]
Альтернативное построение, показанное на рисунке, заключается в размещении двенадцати линий через шесть центров граней куба , каждая из которых находится в плоскости своей грани и все образуют одинаковые углы по отношению к ребрам куба. [4] После построения любым из этих способов двойную шестерку можно спроецировать на плоскость, образовав двумерную систему точек и линий с той же схемой падения.
Общая кубическая поверхность содержит 27 линий, среди которых можно найти 36 конфигураций двойной шестерки Шлефли. Может потребоваться использовать комплексные числовые координаты для представления всех этих линий; кубические поверхности могут иметь менее 27 линий над действительными числами . В любом таком наборе из 27 линий 15 линий, дополнительных к двойной шестерке, вместе с 15 касательными плоскостями, проходящими через тройки этих линий, имеют схему инцидентности другой конфигурации, конфигурации Кремоны–Ричмонда . [5]
Граф пересечения двенадцати линий конфигурации двойной шестерки является графом короны с двенадцатью вершинами , двудольным графом , в котором каждая вершина смежна с пятью из шести вершин противоположного цвета. [6] Граф Леви двойной шестерки может быть получен путем замены каждого ребра графа короны на путь из двух ребер. Граф пересечения всего набора из 27 линий на кубической поверхности является дополнением графа Шлефли . [7]