Решетка Нимейера - Niemeier lattice

В математика, а Решетка Нимейера один из 24 положительно определенный даже унимодулярные решетки из ранг 24, которые были классифицированы Ханс-Фолькер Нимайер  (1973 ). Венков (1978) дал упрощенное доказательство классификации. Витт (1941) есть предложение, в котором упоминается, что он нашел более 10 таких решеток, но не приводятся подробности. Одним из примеров решетки Нимейера является Решетка пиявки.

Классификация

Решетки Нимейера обычно обозначаются Диаграмма Дынкина от ихкорневые системы. Эти диаграммы Дынкина имеют ранг 0 или 24, и все их компоненты имеют одинаковые Число Кокстера. (Число Кокстера, по крайней мере в этих случаях, представляет собой число корней, деленное на размерность.) Существует ровно 24 диаграммы Дынкина с этими свойствами, и оказывается, что для каждой из этих диаграмм Дынкина существует своя решетка Нимейера.

Полный список решеток Нимейера приведен в следующей таблице.

г0 - порядок группы, порожденной отражениями
г1 - порядок группы автоморфизмов, фиксирующих все компоненты диаграммы Дынкина
г2 - порядок группы автоморфизмов перестановок компонент диаграммы Дынкина
г - индекс решетки корней в решетке Нимейера, другими словами, порядок «связующего кода». Это квадратный корень из дискриминанта решетки корней.
г0×г1×г2 - порядок группы автоморфизмов решетки
г×г1×г2 - порядок группы автоморфизмов соответствующей глубокой ямы.
Решетчатая корневая системаЧисло Кокстераг0г1г2г
Решетка пиявки (без корней)012Co11Z24
А12422241M24212
А21233!122M1236
А3844!82134444
А4655!6212053
А54D466!4(234!)22472
D466(234!)6372043
А6477!421272
А72D5288!2 (245!)22432
А8399!32627
А92D61010!2 (256!)2220
D6410(256!)412416
E6412(27345)42249
А11D7E61212!(267!)(27345)2112
А12213(13!)22213
D8314(278!)3168
А15D91616!(289!)218
А17E71818!(210345.7)216
D10E7218(2910!)(210345.7)2124
D12222(21112!)2124
А242525!215
D16E830(21516!)(21435527)112
E8330(21435527)3161
D244622324!112

Граф окрестностей решеток Нимейера

Если L является нечетной унимодулярной решеткой размерности 8п и M его подрешетка из четных векторов, то M содержится ровно в трех унимодулярных решетках, одна из которых L а два других - четные. (Если L имеет вектор нормы 1, то две четные решетки равны изоморфный.) Граф окрестностей Кнезера в 8п размеры имеют точку для каждой четной решетки и линию, соединяющую две точки для каждой нечетной 8п размерная решетка без векторов нормы 1, где вершинами каждой линии являются две четные решетки, связанные с нечетной решеткой. Между одной и той же парой вершин может быть несколько линий, и могут быть линии от вершины к самой себе. Кнезер доказал, что этот граф всегда связен. В 8 измерениях у него одна точка и нет линий, в 16 измерениях две точки, соединенные одной линией, а в 24 измерениях это следующий график:

Граф окрестностей решеток Нимейера.svg

Каждая точка представляет одну из 24 решеток Нимейера, а линии, соединяющие их, представляют 24-мерные нечетные унимодулярные решетки без векторов нормы 1. (Толстые линии представляют несколько линий.) Число справа - это число Кокстера решетки Нимейера.

В 32-х измерениях граф окрестностей имеет более миллиарда вершин.

Свойства

Некоторые из решеток Нимейера связаны с спорадические простые группы. На решетку пиявки действует двойная крышка из Конвей группа, а решетки A124 и А212действуют Матье группы M24 И м12.

Решетки Нимейера, кроме решетки Пиявки, соответствуют глубокие дыры решетки пиявки. Это означает, что аффинные диаграммы Дынкина решеток Нимейера можно увидеть внутри решетки пиявки, когда две точки решетки пиявки не соединены никакими линиями, когда они имеют расстояние, на 1 строку, если расстояние , и двойной линией, если расстояние между ними .

Решетки Нимейера также соответствуют 24 орбитам векторов с нулевой примитивной нормой ш четной унимодулярной лоренцевой решетки II25,1, где решетка Нимейера, соответствующая ш является ш/ш.

использованная литература

  • Шеневье, Гаэтан; Ланн, Жан (2014), Formes automorphes et voisins de Kneser des réseaux de Niemeier, arXiv:1409.7616, Bibcode:2014arXiv1409.7616C
  • Конвей, Дж. Х.; Слоан, Н. Дж. А. (1998). Сферические упаковки, решетки и группы (3-е изд.). Springer-Verlag. ISBN  0-387-98585-9.
  • Эбелинг, Вольфганг (2002) [1994], Решетки и коды, Advanced Lectures in Mathematics (revised ed.), Braunschweig: Friedr. Vieweg & Sohn, Дои:10.1007/978-3-322-90014-2, ISBN  978-3-528-16497-3, Г-Н  1938666
  • Нимайер, Ханс-Фолькер (1973). «Определенные квадратичные формы 24 и Дискриминации 1». Журнал теории чисел (На немецком) | формат = требует | url = (Помогите). 5 (2): 142–178. Bibcode:1973JNT ..... 5..142N. Дои:10.1016 / 0022-314X (73) 90068-1. Г-Н  0316384.CS1 maint: ref = harv (ссылка на сайт)
  • Венков Б. Б. (1978), "О классификации целочисленных четных унимодулярных 24-мерных квадратичных форм", Академия Наук Союза Советских Социалистических Республик. Труды Математического института имени В. А. Стеклова, 148: 65–76, ISSN  0371-9685, Г-Н  0558941 Английский перевод в Конвей и Слоан (1998)
  • Витт, Эрнст (1941), "Eine Identität zwischen Modulformen zweiten Grades", Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 14: 323–337, Дои:10.1007 / BF02940750, Г-Н  0005508
  • Витт, Эрнст (1998), Сборник статей. Gesammelte Abhandlungen, Сборник сочинений по математике Springer, Берлин, Нью-Йорк: Springer-Verlag, Дои:10.1007/978-3-642-41970-6, ISBN  978-3-540-57061-5, Г-Н  1643949

внешние ссылки