Обобщённый четырёхугольник

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
«Салфетка» GQ(2,2)

Обобщённый четырёхугольник — это структура инцидентности, главное свойство которой — отсутствие треугольников (однако структура содержит много четырёхугольников). Обобщённый четырёхугольник является по определению полярным пространством[англ.] ранга два. Обобщённые четырёхугольники являются обобщёнными многоугольниками с n = 4 и почти 2n-угольниками с n = 2. Они являются также в точности частичными геометриями pg(s,t,α) с α = 1.

Определение

[править | править код]

Обобщённый четырёхугольник — это структура инцидентности (P,B, I), где отношение инцидентности, удовлетворяющее определённым аксиомам. Элементы P по определению являются вершинами (точками) обобщённого четырёхугольника, элементы Bпрямыми. Аксиомы следующие:

  • Существует число s (s ≥ 1), такое, что на любой прямой имеется в точности s + 1 точек. Существует максимум одна точка на двух различных прямых.
  • Существует число t (t ≥ 1), такое, что через любую точку проходит в точности t + 1 прямых. Существует максимум одна прямая через две различные точки.
  • Для любой точки p, не лежащей на прямой L, существует единственная прямая M и единственная точка q, такие, что p лежит на M, а q лежит на M и L.

Пара чисел (s,t) является параметрами обобщённого четырёхугольника. Параметры могут быть бесконечными. Если либо число s, либо t равно единице, обобщённый четырёхугольник называется тривиальным. Например, решётка 3x3 с P = {1,2,3,4,5,6,7,8,9} и B = {123, 456, 789, 147, 258, 369} является тривиальным обобщённым четырёхугольником с s = 2 и t = 1. Обобщённый четырёхугольник с параметрами (s,t) часто обозначается как GQ(s,t) (от английского Generalized Quadrangle).

Наименьший нетривиальный обобщённый четырёхугольник — GQ(2,2), представление которого в 1973 Стэн Пейн назвал «салфеткой».

Рёберный граф обобщённого четырёхугольника GQ(2,4)

Есть два интересных графа, которые можно получить из обобщённого четырёхугольника.

  • Граф коллинеарности, содержащий все точки обобщённого четырёхугольника в качестве вершин, в котором коллинеарные точки соединены ребром. Этот граф является сильно регулярным графом с параметрами ((s+1)(st+1), s(t+1), s-1, t+1), где (s,t) — порядок четырёхугольника.
  • Граф инцидентности, вершинами которого являются все точки и прямые обобщённого четырёхугольника и две вершины смежны, если одна вершина соответствует прямой, а другая — точке на этой прямой. Граф инцидентности обобщённого четырёхугольника связен и является двудольным графом с диаметром четыре и обхватом восемь. Таким образом, обобщённый четырёхугольник является примером клетки. Графы инцидентности конфигураций в настоящее время называют графами Леви, однако исходный граф Леви был графом инцидентности обобщённого четырёхугольника GQ(2,2).

Двойственность

[править | править код]

Если (P,B,I) — обобщённый четурёхугольник с параметрами (s,t), тогда (B,P,I−1) также является обобщённым четырёхугольником (здесь I−1 означает обратное отношение инцидентности). Этот четырёхугольник называется двойственным обобщённым четырёхугольником. Его параметрами будет пара (t,s). Даже при s = t двойственная структура не обязательно изоморфна исходной структуре.

Обобщённые четырёхугольники с размером прямых 3

[править | править код]

Существует в точности пять (допускается вырождение) обобщённых четырёхугольников, в которых каждая прямая имеет три инцидентные ей точки

  1. четырёхугольник с пустым множеством прямых
  2. четырёхугольник, в котором все прямые проходят через фиксированную точку, что соответствует мельнице Wd(3,n)
  3. решётка размером 3x3
  4. четырёхугольник W(2)
  5. обобщённый четырёхугольник GQ(2,4)

Эти пять четырёхугольников соответствуют пяти системам корней в ADE классах An, Dn, E6, E7 и E8 , т.е. однониточные системы корней (это означает, что в диаграммах Дынкина элементы не имеют кратных связей)[1][2].

Классические обобщённые четырёхугольники

[править | править код]

Если рассматривать различные виды полярных пространств[англ.] ранга по меньшей мере три и экстраполировать их на ранг 2, можно обнаружить эти (конечные) обобщённые четырёхугольники:

  • Гиперболическая поверхность второго порядка (квадрика) , параболическая квадрика и эллиптическая квадрика являются единственными возможными квадриками в проективных пространствах над конечными полями с проективным индексом 1. Параметры этих квадриков:
(это просто решётка)
  • Эрмитово многообразие имеет проективный индекс 1 тогда и только тогда, когда n равно 3 или 4. Мы имеем:
  • Симплектическая полярность в имеет максимальное изотропное подпространство размерности 1 тогда и только тогда, когда . Здесь мы имеет обобщённый четырёхугольник , с параметрами .

Обобщённый четырёхугольник, производный от всегда изоморфен двойственной структуре к , обе структуры самодвойственны, а потому изоморфны друг другу тогда и только тогда, когда чётно.

Неклассические примеры

[править | править код]
  • Пусть Oгиперовал[англ.] в с q, равным чётной степенью простого числа, и вложение этой проективной (дезарговой) плоскости в . Теперь рассмотрим структуру инцидентности , в которой все точки являются точками, не лежащими на . Прямые этой структуры — это точки, не лежащие в и пересекающие в точке O, а инцидентность определяется естественным образом. Это (q-1,q+1)-обобщённый четырёхугольник.
  • Пусть qстепень простого числа (нечётная или чётная). Рассмотрим симплектическую полярность в . Выберем случайную точку p и определим . Пусть прямыми нашей структуры инцидентности будут все абсолютные прямые[3], не лежащие в , вместе со всеми прямыми, проходящими через точку p, но не лежащими на , а точками — все точки , не лежащие на . Отношением инцидентности будет естественная инцидентность. Мы получили опять (q-1,q+1)-обобщённый четырёхугольник.

Ограничения на параметры

[править | править код]

Для решёток и двойственных решёток для любого целого числа z, z ≥ 1 есть обобщённые четырёхугольники с параметрами (1,z) и (z,1). Кроме этого случая, лишь следующие параметры найдены допустимыми (здесь q — произвольная степень простого числа):

и
и
и

Примечания

[править | править код]
  1. Cameron, Goethals, Seidel, Shult, 1976, с. 305-327.
  2. Brouwer.
  3. Пусть пространство снабжено полярностью (отображением точек в прямые порядка два с сохранением инцидентности). В этом случае точка может лежать на своём образе (на прямой), но это не обязательно. Точка является абсолютной, если лежит на своём образе, а прямая является абсолютной, если проходит через свой образ (точку).

Литература

[править | править код]
  • Payne S. E., Thas J. A. Finite generalized quadrangles. — Boston, MA: Pitman (Advanced Publishing Program), 1984. — Т. 110. — С. vi+312. — (Research Notes in Mathematics). — ISBN 0-273-08655-3.
    • Payne S. E., Thas J. A. Finite generalized quadrangles. — European Mathematical Society, 2009. — (EMS Series of Lectures in Mathematics). — ISBN 978-3-03719-066-1.
  • Cameron P.J., Goethals J.M., Seidel J.J, Shult E. E. Line graphs, root systems and elliptic geometry // Journal of Algebra. — Academic Press, 1976. — Т. 43, вып. 1.
  • Brouwer A.E. Algebra and Geometry. — Course 2WF02 / 2WF05.