Вороного типы решеток

- типы точечных решеток n -мерного евклидова пространства Е n, введенные Г. Ф. Вороным в 1908 (см. [1]) в связи с задачей о параллелоэдрах. Множество точек [img: http://localhost:8080/file/010319-76.jpg] в [img: http://localhost:8080/file/010319-77.jpg] наз. (r, R)-системой, если в нем нет точек ближе чем на фиксированном расстоянии [img: http://localhost:8080/file/010319-78.jpg] друг от друга, и всякий шар радиуса, большего чем фиксированное R, содержит хотя бы одну точку из е. Пусть D- выпуклый многогранник области Дирихле точки из системы [img: http://localhost:8080/file/010319-79.jpg], т. е. области точек пространства, к-рые отстоят от какой-либо точки системы не дальше, чем от всех других ее точек. Области Дирихле точек (r, R)-системы c попарно не имеют общих внутренних точек, покрывают все пространство (т. е. образуют разбиение) и смежны целыми гранями (т. е. составляют нормальное разбиение). С той же системой [img: http://localhost:8080/file/010319-80.jpg] можно связать дуальное к [img: http://localhost:8080/file/010319-81.jpg] тоже нормальное разбиение [img: http://localhost:8080/file/010319-82.jpg] на многогранники L(вписанные в сферы), каждый из к-рых есть выпуклая оболочка точек системы [img: http://localhost:8080/file/010319-83.jpg], соответствующих всем D, сходящимся в вершине разбиения [img: http://localhost:8080/file/010319-84.jpg]. Две к-мерные точечные решетки относятся к одному типу Вороного, когда их разбиения {L}аффин-ны друг другу. Если репер таков, что при любых достаточно малых изменениях его метрич. параметров (скалярных квадратов [img: http://localhost:8080/file/010319-85.jpg] и скалярных произведений [img: http://localhost:8080/file/010319-86.jpg] ([img: http://localhost:8080/file/010319-87.jpg]) его векторов) разбиение решетки, построенной на измененном репере, получается из разбиения [img: http://localhost:8080/file/010319-88.jpg] решетки, построенной на исходном репере тем же аффинным преобразованием, к-рое переводит исходный репер в измененный репер, то репер наз. примитивным или общим. Для этого необходимо и достаточно, чтобы разбиение [img: http://localhost:8080/file/010319-89.jpg] для исходного репера было симплициальным. Точка Мпространства [img: http://localhost:8080/file/010319-90.jpg] параметров [img: http://localhost:8080/file/010319-91.jpg] (где [img: http://localhost:8080/file/010319-92.jpg]), соответствующая такому реперу тоже наз. общей. Полная линейно связная область Д, содержащая общую точку, в к-рой разбиения {L}для всех ее точек получаются из разбиения {L}для решетки, построенной на репере, соответствующем точке М, теми же аффинными преобразованиями, при помощи к-рых реперы, соответствующие этим точкам, получаются из репера, соответствующего точке М, наз. областью типа точки М. Г. Ф. Вороной доказал, что в [img: http://localhost:8080/file/010319-93.jpg] область [img: http://localhost:8080/file/010319-94.jpg] имеет вид выпуклого многогранного угла (гоноэдра) с вершиной в начале координат и с конечным числом граней и что для любого заданного псуществует лишь конечное число y неэквивалентных областей [img: http://localhost:8080/file/010319-95.jpg]. Он дал также алгорифм для их нахождения (см. [1]). Для n=1, 2, 3, 4 число y равно соответственно 1, 1, 1, 3. Г. Ф. Вороной доказал также, что самое общее (т. е. не обязательно разбиение Дирихле) нормальное разбиение [img: http://localhost:8080/file/010319-96.jpg] на одинаковые выпуклые и параллельно расположенные многогранники, сходящиеся по n+1 в вершинах (примитивные параллелоэдры), есть аффинный образ разбиения {D}для решетки, и свел, таким образом, изучение этих параллелоэдров к теории квадратичных.форм. Для непримитивных параллелоэдров (т. е. в случае, когда в нек-рых вершинах сходится больше чем n+l параллелоэдр) вопрос о воз-можности их аффинно преобразовать в область Dрешетки для произвольного ппока (1977) открыт. Известно только его положительное решение для n=2, 3, 4 (см. [2]). Примитивная область Dдля двумерной решетки есть выпуклый шестиугольник с центром симметрии, вписанный в круг, и обратно. В случае трехмерной решетки это нек-рый 14-гранник, комбинаторно такой же, как кубооктаэдр с восмью шестиугольными и шестью четырехугольными гранями, грани к-рого имеют центры симметрии, и такой, что отрезки, идущие из его центра в центры граней, перпендикулярны к граням, и обратно. Непримитивная область Dпри n=2 -прямоугольник, а при n=3- или додекаэдр с четырьмя шестиугольными и восмью параллелограмматич. гранями, или параллело-грамматич. додекаэдр, или прямая шестиугольная призма с основанием-примитивным двумерным D, или прямоугольный параллелепипед. Для n=4 имеется 3 примитивных Dразных В. т. р. и 49 непримитивных. При переходе к n=5 происходит скачок - для n=5 уже 221 различных примитивных D(см. [4]). Этот результат был получен введением нового понятия C- типа решетки: в один С-тип относят те решетки, у к-рых аффинны друг другу не сами разбиения {L}, а лишь их одномерные остовы.