CC BY
67
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 19. Выпуск 2
УДК 511.9 DOI 10.22405/2226-8383-2018-19-2-407-420
Аналог теоремы А. Ордина для параллелоэдров
Гришухин Вячеслав Петрович — доктор физико-математических наук, ведущий научный сотрудник, Центральный экономико-математический институт РАН. e-mail: vgrishukhin@mail.ru
Аннотация
Параллелоэдр - это выпуклый многогранник в аффинном пространстве, сдвиги которого на векторы некоторой дискретной решетки L заполняют все пространство без зазоров и пересечений по внутренним точкам. Частным случаем параллелоэдра является ячейка Дирихле-Вороного решетки относительно метрики, порожденной положительной квадратичной формой. Более 100 лет назад Г. Вороной предположил, что всякий параллелоэдр есть ячейка Дирихле-Вороного своей решетки относительно некоторой метрики.
А. Ордин ввел понятия неприводимой грани и ^-неприводимого параллелоэдра, у которого все грани коразмерности к неприводимы. Разбиение на параллелоэдры называется ^-неприводимым, если его параллелоэдры fc-неприводимы. Он доказал гипотезу Вороного для 4-неприводимого параллелоэдров.
С каждой фасетой F параллелодра связано два вектора: фасетныи вектор 1р решетки L разбиения Т та параллелоэдры и нормальныи вектор pf фасеты F. Фасетные векторы целочислеппо порождают решетку L. Одна из форм знаменитой гипотезы Вороного утверждает, что существуют такие параметры s(F), что нормированные (канонические) нормальные векторы s(F)рр целочнсленно порождают решетку Л. В этой статье определяются однозначно нормируемые грани G как грани, определяющие однозначно с точностью до общего множителя параметры s(F) всех фасет разби ения Т, содержащих г рань G. Разбиение, все грани которого коразмерности к однозначно нормируемы, fc-неприводимо.
Доказывается следующий аналог теоремы А. Ордина: каноническая нормировка фасет разбиения Т существует, если для некоторого целого к ^ 1 все его грани коразмерностей к и к +1 однозначно нормируемы. Случаи к = 2 и к = 3 соответствуют 2- и 3-неприводимым разбиениям, в смысле А. Ордина.
Ключевые слова: параллелоэдр, гипотеза Вороного, однозначно нормированные нормальные векторы.
Библиография: 14 названий. Для цитирования:
В. П. Гришухин. Аналог теоремы А. Ордина для параллелоэдров // Чебышевский сб. 2018. Т. 19, вып. 2. С. 407-420.
CHEBYSHEVSKII SBORNIK Vol. 19. No. 2
UDC 511.9 DOI 10.22405/2226-8383-2018-19-2-407-420
An analog of Ordin's theorem for parallelotopes
Grishukhin Vyacheslav Petrovich — Doctor of phvsico-mathematical sciences, leading researcher, Central economic and mathematical Institute of RAS. e-mail: vgrishukhin@mail.ru
Abstract
Parallelotope is a convex polytope in an affine space such that its shifts by vectors of a lattice L fill the space without gaps and intersections by inner points. A special case of a parallelotope is a Dirichlet-Voronoi cell of a lattice with respect to a metric generated by a positive quadratic form. More than 100 years ago G.Voronoi supposed that each parallelotope is a Dirichlet-Voronoi cell of its lattice with respect some metric.
A.Ordin introduced notions of an irreducible face and a fc-irreducible parallelotope whose all faces of codimension K are irreducible. A parallelotope tiling is called fc-irreducible if its parallelotopes are fc-irreducible. Ordin proved the conjecture of Voronoi for 3-irreducible parallelotopes.
There are two vectors related to a facet F of a parallelotope. Namely, facet vector lp of the lattice L of the tiling T and normal vector pp of the facet F. The facet vectors integrally generate the lattice L. One of the form of Voronoi conjecture asserts that there are such parameters s(F) that scaled (canonical) normal vectors s(F)pF integrally generate a lattice A. In this paper, uniquely scaled faces are defined. Such a face G determines uniquely up to a multiple parameters s(F) of facets of the tiling T containing the face G. A tiling whose fees of codimension k are uniquely scaled is fc-irreducible.
It is proved here the following analog of Ordin's Theorem: There exists a canonical scaling of normal vectors of facets of the tiling T if, for some integer k > 1, all its faces of codimension k mid k + 1 are uniquely scaled. The cases k = 2 and k = 3 correspond to 2- and 3-irreducible tilings of Ordin.
Keywords: parallelotope, Voronoi conjecture, uniquely scaled normal vectors.
Bibliography: 14 titles.
For citation:
V. P. Grishukhin. 2018, "An analog of Ordin's theorem for parallelotopes" , Chebyshevskii sbornik, vol. 19, no. 2. P. 407-420.
1. Введение
Параллелоэдр - это выпуклый многогранник в аффинном пространстве, сдвиги которого на векторы некоторой дискретной решетки Ь правильно заполняют все пространство. Например, таким является параллелограмм на плоскости или центрально симметричный шестиугольник. Этими двумя фигурами исчерпывается список двумерных параллелоэдров. В трехмерном случае имеется уже 5 типов параллелоэдров.
Всякий параллелоэдр есть центрально симметричный многогранник с центрально симметричными фасетами, проекция которого вдоль любой его грани коразмерности 2 есть двухмерный параллелоэдр, т.е. либо параллелограмм, либо центрально симметричный шестиугольник. Венков показал в [1], что всякий многогранник с этими тремя свойствами есть параллелоэдр.
Есть два важных типа выделенных граней разбиения на паралелоэдры: примитивные и контактные.
Грань коразмерности к примитивна, если в ней сходится минимально возможное число к + 1 параллелоэдров разбиения. Параллелоэдр и его разбиение называются примитивными, если все их грани примитивны.
Грань С называется контактной, если С есть пересечение двух параллелоэдров, т.е. р = р р| р1 Иными словами, если два параллелоэдра разбиения имеют общую точку то они контактируют по контактной грани. Фасета является частным случаем контактной грани. Впервые внимание на контактные грани обратил Н.П.Долбилин, который назвал их стандартным,и, см. [2]. Название контактная грань предложил Р.Эрдал.
Центр контактной грани С есть половина вектора 1с решетки Ь. Контактный вектор 1с € Р соединяет центры параллелоэдров, контактных по грани С. Если С есть фасета Р, то контактный вектор 1р называется фасетным.
Как всякий многогранник, ¿-мерный параллелоэдр Р с центром в начале 0 € Ь описывается линейными неравенствами следующим образом:
Р(а) = [х € М^ : (р, х) ^ 1 а(р) для всех р € V], (1)
где (р, х) есть скалярное произведение векторов р,х € М^, а правая часть а(р) есть некоторая функция на симметричном множестве V нормальных векторов всех фасет параллелоэдра Р. Симметричность множества V означает, что если р € V, то и — р € V.
Так как проекция паралелоэдра вдоль любой его грани коразмерности 2 есть параллелограмм или шестиугольник, то его фасеты образуют пояски, содержащие 4 или 6 фасет, соответственно. Три (с точностью до знака) нормальных вектора фасет 6-пояска лежат в двумерной плоскости, ортогональной примитивным граням коразмерности 2, порождающим этот 6-поясок. Так как эти три нормальных вектора линейно зависимы, то можно выбрать их знаки и длины так, чтобы их сумма была равна нулю. В случае, если такой выбор длин возможен для всех 6-поясков одновременно, то, согласно Вороному (см. [3]), нормальные векторы и их длины называются каноническими.
В своем знаменитом мемуаре [3] Вороной доказал, что примитивные параллелоэдры имеют каноническую нормировку. Там же он выдвинул гипотезу что любой параллелоэдр имеет каноническую нормировку нормальных векторов.
Если нормальные векторы фасет параллелоэдра в описании (1) имеют канонические длины, то, как показано в [4] (см.также [5]), каноническое множество V порождает ¿-мерную решетку Л. В этом случае существует изоморфизм А между решетками Л и Ь такой, что Ь = АЛ и АТ есть множество фасетных векторов параллелоэдра Р, где А есть положительно определенная симметричная матрица. Напомню, что 21р есть центр фасеты Если р есть нормальный вектор фасеты то а(р) = (р,1р)■ Если р есть канонический нормальный век-
тор, то 1р = Ар и тогда правая часть а(р) = (р, Ар) есть положительная квадратичная форма, определенная на решетке Л.
Утверждение, что всякий параллелоэдр имеет линейное описание (1), где а(р) есть положительная квадраичная форма и множество V целочисленно порождает решетку Л, является одной из форм знаменитой гипотезы Вороного. Поэтому я называю такой параллелоэдр па-раллелоэдром Вороного. Таким образом, если параллелоэдр имеет канонические нормальные векторы, то он есть параллелоэдр Вороного. Нетрудно проверить, что параллелоэдр Вороного Р есть ячейка Дирихле-Вороного решетки Ь относительно метрики, определяемой квадратичной формы а*(1) = (1,А-11).
А.Ордин в [6] ввел полезное понятие к-неприводимого разбиения на параллелоэдры. Пусть О есть грань этого разбиения коразмерности к. Множество Тк нормальных векторов фасет, содержащих грань С, порождает линейное ^-мерное пространство Нк(С), ортогональное аффинному пространству, натянутому на грань С. А.Ордин называет грань С приводи,мои, если множество Тк можно разбить на две непересекающиеся части так, что пространство Нк (С) разложимо в прямую сумму ненулевых подпространств, каждое из которых порождено соответствующей частью нормальных векторов. В противном случае, грань С называется неприводимой. Разбиение называется к-неприводимым,, если любая его грань коразмерности к неприводима.
Например, контактные грани коразмерности 2 приводимы. Поэтому 2-неприводимое разбиение не имеет контактных граней коразмерности 2. Для таких разбиений Житомирский доказал в [7] гипотезу Вороного. Сам Ордин доказал гипотезу Вороного для 3-неприводимых разбиений. Именно это утверждение обычно называется Теоремой Ордина.
Пусть параллелоэдр Р описывается неравенствами (1). Если множество нормальных векторов V приводимо к каноническому виду, то для каждой фасеты Р с нормальным вектором Рр € V существуют нормировка ,в(Р) такая, что вектор в(Р)рр является каноническим нормальным вектором этой фасеты.
Пусть С есть грань разбиения и Т(О) есть множество фасет разбиения, содержащих эту грань. Если грань С примитивна и коразмерности 2, то, по определению нормировки, справедливо равенство
Это равенство определяет нормировку ,в(Р) однозначно с точностью до общего множителя. Иными словами, для заданного множества V грань С определяет однозначно отношение з(Р)/з(Р') для любых фасет Р,Р' € Т(С).
Множество Т(О) контактной грани С коразмерности 2 состоит из двух пар параллельных фасет. Будем считать, что нормальные векторы параллельных фасет противоположны и равны по длине, а их нормировки одинаковы. Тогда равенство (2) выполняется и для контактной грани С. Но отношение ,в(Р)/в(Р') для не параллельных фасет грань С не определяет однозначно.
Оказывается, что существуют и другие грани С, например, примитивные, которые однозначно определяют отношения ,в(Р)/з(^") для любых пар фасет Р,Р' € Т(О).
Определение. Грань С называется однозначно нормируемой, или, ради краткости, он-гранью, если она однозначно определяет отношения ,в(Р)/в(Р') для любых пар фасет
Разбиение на параллелодры называется к-однозначно нормируемым, если все его грани коразмерности к однозначно нормируемы.
(2)
^ ет (с)
^' € Т(О).
В этой статье доказывается следующая теорема
Теорема 1. Пусть разбиение Т на (1-мерные параллелоэдры к- и (к + 1)-однозначно нормируемо, для некоторого к такого, что 1 ^ к ^ (I — 1. Тогда, его фасеты имеют каноническую нормировку.
Ниже, в частности, будет показано, что примитивные грани однозначно нормируемы. Отсюда следует, что примитивное разбиение й-однозначно нормируемо для всех к. Поэтому из теоремы 1 вытекает результат Вороного. Оба значения к = 1 и к = 2 определяют в этой теореме 2-неприводимое разбиение, т.е. случай Житомирского. Легко понять, что 3-неприводимое разбиение 3-однозначно нормируемо. Ниже будет показано, что 3-неприводимое разбиение также и 4-однозначно нормируемо. Доказательство этого факта основано на теореме А.Ордина, доказанной в диссертации [6].
Эта статья написана под большим впечатлением и влиянием этой диссертации.
2. Доказательство теоремы 1
Итак, чтобы доказать гипотезу Вороного, нужно найти канонические нормировки в(Р) нормальных векторов рр всех фасет Р.
В последнее время для этого используется теорема Рышкова-Рыбникова [8] о переносе свойства на ячейках некоторого связного комплекса многогранников (см. [6], [8], [9]). Рассматриваются последовательности ячеек, в которых соседние ячейки смежны по фасетам. Пусть фиксированной ячейке Т приписано свойство ,в(Т), а для каждой пары смежных по фасете ячеек Т\ и Т2 задана функция переноса д(Т\, Т2) Тогда, начиная с ячейки Т = То можно перенести свойство в(Т) на произвольную ячейку Т^ по пути смежных ячеек То,Т\, ...,Ть, используя функцию переноса, следующим образом
к
*(Тк ) = П 9(Тг-1,Тг)з(То).
г=1
Такое перенесение свойства не будет зависеть от пути, если для любого цикла С = [Т1,..., Тк,Т{] функция переноса д дает 1, т.е. выполнено условие
к
Пд(Тг,Тг+1 ) = 1, щек + 1 = 1.
г=1
Рышков и Рыбников доказывают следующую теорему.
Теорема 2. Функция переноса дает, 1 для любого цикла, тогда и только тогда, когда она дает 1 для циклов ячеек, имеющих общую грань кора,зм,ерн,ост,и, 2.
В случае разбиения Т на параллелоэдры рассматривается комплекс всех фасет всех параллелоэдров разбиения. Грани коразмерности 2 этого комплекса суть грани коразмерности 3 разбиения Т. Свойство, приписываемое фасете Р есть нормировка в(Р). Нетрудно видеть, что в этом случае справедливо равенство д(Р,Р') = в(Р ')/в(Р), если фасе ты ^ Р' смежны по грани коразмерности 2 и определены нормировки ,в(Р') и ,в(Р). Если отношение 8(Р')/з(Р) определено однозначно, то такая функция переноса автоматически обеспечивает ее равенство 1 на любом цикле фасет разбиения Т. Трудность состоит в доказательстве единственности определения функции переноса ,в(Р')/в(Р).
Согласно определению он-грани С, отношение 8(Р')/в(Р) определено однозначно для любой пары фасет Р,Р' € Т(О). Отсюда же вытекает, что функция переноса д(Р,Р') = = в(Р')/з(Р) дает 1 на любом цикле фасет из множества Т(О).
Продемонстрируем применение сказанного выше для 2-неприводимых параллелоэдров, т.е. в случае Житомирского. В этом случае параллелоэдр не имеет контактных граней коразмерности 2. Поэтому однозначно определены функции переноса. Соответствующие грани коразмерности 3 суть он-грани. Поэтому приведенный выше метод дает каноническую нормировку.
Итак, отношение ,в(Р')/,в(Р) однозначно определено, если соответствующая грань коразмерности 2 примитивна. Для контактной грани коразмерности 2 в общем случае оно не определено однозначно. Но иногда можно найти способ ее однозначного определения. Например, обойти контактную грань по пути фасет, смежных по примитивным граням. Один из таких обходов описан Ординым в доказательстве Теоремы 9 в [6]. Основной результат статьи [10] состоит в том, что каноническая нормировка параллелоэдра существует, если существуют пути обхода всех его контактных граней коразмерности 2. Но здесь возникает новая трудность. Разные пути обхода могут привести к разным результатам.
В приводимом ниже доказательстве теоремы 1 показано, что это отношение не зависит от пути обхода контактной грани, если разбиение к- и (к + 1)-однозначно нормируемо для некоторого целого к. Это доказательство аналогично доказательству А.Ординым теоремы 8 в
И-
Доказательство теоремы 1. Для к = 1 и к = 2 мы имеем доказанный случай Житомирского. Поэтому положим к ^ 3.
Сначала покажем, что отношение 8(Р')/в(Р) может быть определено однозначно для любой грани С коразмерности 2. Так как это верно для примитивной грани, то пусть С есть контактная грань.
Так как к ^ 3 т0 контактная г рань С содержит подграни коразмерности к. Пусть Н С С есть такая грань. По предположению, она однозначно нормируема. Пусть Р, Р' суть не параллельные фасеты, содержащие С. Так как Т(С) С Т(Н) и Н есть он-грань, то отношение в(Р')/в(Р) определено гранью Н однозначно. Покажем, что это отношение не зависит от грани ^содержащейся в грани С.
Любые две подграни Н и Н' коразмерности к грани С могут быть соединены такой цепочкой граней коразмерности к, что соседние грани смежны по грани коразмерности к + 1. Поэтому достаточно показать, что отношение в(Р')/в(Р) одно и то же для соседних граней Н,Н', для которых пересечение НПН' = К есть он-грань коразмерности к+1. Это так, поскольку все три грани Н,Н 'и К суть он-грани и справедливы в ключения Т (С) С Т (Н), Т (Н') С Т (К).
Итак, функция переноса определена. По теореме 2, мы должны убедиться, что она дает 1 по циклам фасет с общей гранью Q коразмерности 3. Но любой такой цикл содержится в множестве Т (Н) гран и Н С ф коразмерности к. Так как Н есть он-грань, то любой цикл в множестве Т(Н) дает 1. □
Дальнейшая часть статьи посвящена подробному изучению он-граней, а также доказательству того, что 3-неприводимое разбиение является 4-он-разбиением. Так как 3-неприводимое разбиение очевидным образом 3-однозначно нормируемо, то отсюда следовало бы, что теорема Ордина вытекает из теоремы 1 при к = 3. Но, к сожалению, это не так, поскольку наше доказательство опирается на теорему Ордина.
3. Дуальные ячейки
В этом разделе мы покажем, что он-граням соответствуют он-дуальные ячейки. Они позволяют лучше понять свойства он-граней и как они определяют однозначную нормировку.
Пусть есть множество (звезда) всех граней разбиения Т, содержащих грань С. Грани
С соответствует дуальная ячейка, О(О). Она есть выпуклая оболочка центров с параллелоэдров Р(с) € 31(0). Центр каждого такого параллелоэдра есть точка решетки Ь, которая
является вершиной ячейки Р(С). Действительно, пусть V есть вершина грани С и Р(и) есть сдвиг некоторого параллелоэра Р(с) € ^(С), совмещающий его центр с с вершиной V. Тогда центры всех Р € 31(0) суть вершины параллелоэдра Р(и), так как если V есть вершина Р(с), то с есть вершина Р(и).
Дуальная ячейка И = Р(С) есть выпуклый многогранник с множеством вершин Ув = [с : Р(с) € Б^С)] С Р и С = Пс^увР(с) (доказательство см. в [11], [6]). Если разбиение состоит из параллелоэдров Вороного, то дуальная ячейка называется Ь-многогранником или многогранником Делоне.
Говорят, что ячейка И (С) имеет комбинаторную размерность к, если грань С имеет коразмерность к. Ради удобства и краткости, назовем комбинаторную размерность к-размерностью. Таким образом параллелограмм и треугольник суть дуальные ячейки к-размерности 2. Б.Н.Делоне доказал в [12], что существует 5 типов дуальных ячеек к-размерности 3 (см. также [13]). Если 0 ^ к ^ 3, то к-размерность ячейки равна ее размерности.
Соответствие между дуальными ячейками и гранями разбиения взаимно однозначно. Оно таково, что включения С С С' и V = Р(С) С И = Р(С) эквивалентны, где последнее включение означает, что Ув> С Ус . Поэтому дуальные ячейки образуют комплекс многогранников.
Это соответствие можно увидеть и другим способом. Напомню, что Нк(С) есть гиперплоскость, ортогональная аффинному пространству, натянутому на грань С коразмерности к. Сдвинем мерную гиперплоскость Нк(С) в аффинную гиперплоскость Нк(С) так, чтобы она была трансверсальна грани С и пересекала ее по внутренней точке. Тогда в малой окрестности грани С пересечение плоскости Нк(С) с разбиением Тесть ^-мерный веер Ук(С), составленный из конусов. Если 0 ^ т ^ к, то в вере Ук(С) имеются различные конусы размерности т. Будем различать их нижним индексом ¿.Тогда конус С™ € Ук (С) размерности т соответствует грани Ск-т коразмерности к — т, содержащей грань О в разбиении Т.
Пусть Бк-1 есть (к — 1)-мерная сфера с центром в вершине веера Ук(С). Пересечение конуса С™ € \>к(С) со сферой Бк-1 есть (т — 1)-мерная область Б]"1-1 разбиения сферы Бк-1 конусами нашего веера. Обозначим шар, поверхностью которого является это разбиение сферы, через 5(С). Шар 5(С) фактически есть сферический й-мерный многогранник. Между гранями многогранника 5(С) и подъячейками ячейки Р(С) существует взаимно однозначное соответствие такое, что грань Б] размерности т многогранника 5(С) соответствует подъ-ячейке Р(С>1 (т+1)) ячейк и Р(С) к-размерно сти к — 1 — т. Поэтому многогранник Б (С) в некотором смысле дуален ячейке Р(С).
Дуальная ячейка контактной грани центрально симметрична. Пусть [с, ё] есть отрезок между двумя вершинами дуальной ячейки Р(С). Пересечение Р(с) П Р(ё) есть контактная грань содержащая грань С. Поэтому отрезок [с, ё] есть диагональ центрально симметричной дуальной подъячейки И(К) С Р(С). Симметрия с центром в середине отрезка [с, с1 ] переводит ячейку Р(С) в ячейку И*(О), совмещая подъячейку И(К) с собой. Поэтому Р(С) П Р*(С) = Р(К). Отрезок [с,ё] параллелен и равен по дайне контактному вектору 1к решетки Р разбиения. Поэтому естественно отождествлять отрезки [с, ё] с соответствующими контактными векторами.
Назовем дуальную ячейку фасеты дуальным, ребром,. Отрезок [с, ё] дуальной ячейки Р(О) есть дуальное ребро тогда и только тогда, когда Р(С) П Б*(С) = [с,ё], где Б*(С) есть образ ячейки Р(С) при симметрии с центром в середине отрезка [с,ё].
Центрально симметричные грани дуальной ячейки суть центрально симметричные подъячейки (см. [6]). В частности, ребра дуальной ячейки суть также дуальные ребра.
Дуальная ячейка И к-размерности к + 1 содержит подъячейки к-размерностей т, где 0 ^ т ^ к. Рассмотрим в ячейке И к-размерности к + 1 такую последовательность подъ-ячеек к-размерности к, что две соседние ячейки пересекаются по ячейке к-размерности к — 1. Назовем такую последовательность путем. Путь называется циклом,, если начальная и по-
следняя ячейка совпадают.
Так как существует взаимно однозначное соответствие между подъячейками О(С) и гранями сферического многогранника в (С), то такое же соответствие существует между путями и циклами подъячеек О(С) и граней многогранника 5(С). Докажем две полезные леммы.
Лемма 1. Пусть И есть дуальная ячейка к-размерности к+1. Тогда, любая ее подъячейка к-размерности к — 1 содержится ровно в двух ее подъячейках к -размерности к.
Доказательство. Пусть О(С) С О есть подъячейка к-размерности к — 1. Тогда грань С есть многогранник коразмерности к — 1. Любая его грань коразмерности к + 1 есть пересечение ровно двух граней коразмерности й, которые суть фасеты многогранника С. Так
как соответствие между гранями и их дуальными ячейками взаимно однозначно, то отсюда
□
Лемма 1 позволяет на ячейке И к-размерности к +1 определить граф К (И) на множестве ее подъячеек к-размерности к. Две вершины этого графа смежны тогда и только тогда, когда соответствующие им ячейки имеют общую подъячейку к-размерности к — 1. Существует естественное соответствие между путями в И подъячеек к-размерности к и путями в графе К(О).
Напомню, что дуальной ячейке О(С) к-размерности к + 1 дуален (к + 1)-мерный сферический многогранник 5(С). В этом многограннике дуальной ячейке Ит к-размерности т соответствует грань Б к~т размерно сти к — т. Поэтому подъячейкам к-размерностей к и к — 1 соответствуют грани размерностей 0 и 1, т.е вершины и ребра многогранника 5(С). Следовательно графу К (И) соответствует реберный граф мно гогранника 5 (О). В реберном графе многогранника 5(О) двухмерным граням соответствуют циклы ребер, обходящих эту грань.
Лемма 2. Любой цикл в реберном графе многогранника Б(С) представим в виде композиции циклов ребер двухмерных граней, многогранника Б (С).
Доказательство. Многогранник 5(О) есть связный полиэдр в смысле книги [14]. В §45 этой книги показано, что фундаментальная группа связного полиэдра совпадает с фундаментальной группой его поверхностного комплекса, построенного из двухмерных граней полиэдра. Фундаментальная группа поверхностного комплекса совпадает с группой его реберных циклов. Удалим в каждой двухмерной грани внутреннюю точку. Тогда в новом комплексе
реберные циклы двухмерных граней становятся образующими его фундаментальной группы.
□
Напомню, что реберным циклам в многограннике 5(О), где С есть грань параллелоэдра коразмерности к + 1, соответствуют циклы дуальных подъячеек к-размерности к. Двухмерной грани многогранника 5(О) соответствует дуальная ячейка к-размерности к — 2. Поэтому лемма 2 имеет следующее
Следствие 1. Любой цикл подъячеек к-размерности к в дуальной ячейке к-размерности к + 1 представим в виде композиции циклов подъячеек к-размерности к, имеющих общую подъячейку к-размерности к — 2.
4. ОН-дуальные ячейки
Существует взаимно однозначное соответствие между дуальными ребрами ячейки и соответствующими нормальными векторами параллелоэдра. Более того, если параллелоэдр есть параллелоэдр Вороного, то это соответствие есть линейное отображение. Это отображение переводит дуальную ячейку О(С) к-размерно сти к в многогранник М (О) размерности к. Многогранник М(О) комбинаторно изоморфен дуальной ячейке О(С). Например, дуальная ячейка
О(С) примитивной грани С коразмерности к и многогранник М(О) оба являются ^-мерными
симплексами. Их ребра суть фасетные векторы и нормальные векторы, соответственно.
Так как неизвестно контрпримера гипотезе Вороного, то обычно такое соответствие дуальной ячейки О(С) многограннику М(О), ребра которого параллельны соответствующим нормальным векторам, возможно для произвольной грани С. В этом случае соответствующие нормальные векторы получают некоторые длины, равные длинам ребер многогранника М(О). Если для нормального вектора рр выбрана длина, то задана нормировка ). Будем считать, что нормировка ) приписана также и фасетному вектору 1р. Итак, если существует многогранник М(О), то он определяет нормировку дуальной ячейки О(С).
Напомню, что ребра многогранника М(О) параллельны векторам фиксированного множества V нормальных векторов фасет разбиения. Пусть М(С) есть множество многогранников М(О), соответствующих дуальной ячейке О(С). Если М(С) = 0, то разнообразие многогранников М(О), соответствующих дуальной ячейке О(С), связано с изменением длин их ребер.
Определение. Дуальная ячейка О(С) и соответствующий ей многогранник М(О) называются однозначно нормируемыми, если все многогранники М(О) € М(С) гомотетичны друг другу. Ради краткости, назовем их он-ячейкой и он-многогранником, соответственно.
Существует только два типа двухмерных многогранников М(О): он-треугольник и не-он параллелограмм. Имеется 5 типов трехмерных многогранников М(О): 3 он-многогранника -тетраэдр, октаэдр и пирамида с параллелограммом в основании и 2 не-он многогранника -параллелепипед и призма с треугольным основанием.
Определение однозначной нормировки естественным образом расширяется на объединения дуальных ячеек, так как этим объединениям сопоставляются объединения многогранников вида М(О).
Так как все он-многогранники М(О) для данной грани С гомотетичны, то отношение в(Р')/в(Р) не зависит от многогранника М(О), т.е. однозначно определяется дуальной ячейкой О(С). Именно это свойство было положено в определение он-грани С. Поэтому грань С является он-гранью тогда и только тогда, когда дуальная ячейка О(С) есть он-ячейка. В этом случае ячейке О(С) к-размерно сти т, соответствует единственный, с точностью до гомотетии, т-мерный многогранник М(О).
Лемма 3. Пусть И есть дуальная ячейка к-размерности к+1. Тогда она есть он-ячейка, если все ее подъячейки к-размерностей кик — 1 суть он-ячейки.
Доказательство. Сначала покажем, что если пересечение И1 П И2 двух от-ячеек И1 и И2 есть он-ячейка, то объединение И1 и И2 однозначно нормировано. Пусть ^ и 82 суть нормировки ячеек и И2- Так как пересечение этих ячеек есть он-ячейка, то ограничения 81 ш 82 на И1 П И2 отличаются на некий множитель. Так как нормировки задаются с точностью до множителя, то можно выбрать ^ и 82 так, что они совпадают на пересечении. Объединение этих нормировок дает однозначную с точностью до множителя нормировку объединения И1 и И2- Поэтому это объединение однозначно нормируемо.
Рассмотрим в ячейке И к-размерности к + 1 путь, состоящий из он-ячеек к-размерности й, пересекающихся по он-ячейкам к-размерности к — 1. Согласно сказанному выше, этот путь однозначно нормируем. С помощью таких путей можно однозначно нормировать объемлющую ячейку И. Покажем, что такая нормировка непротиворечива. Для этого достаточно показать, что она непротиворечива на циклах. Очевидно, что нормировка непротиворечива на циклах ячеек, имеющих общую дуальную подъячейку к-размерности т, где 1 ^ т, ^ к — 2. Согласно следствию 1, каждый цикл есть суперпозиция циклов ячеек, имеющих общую подъячейку к-размерности к — 2. □
5. Пирамиды
В этом разделе показано, что дуальные пирамиды суть он-ячейки.
Пусть Со есть грань коразмерности к — 1, и С С Со есть ее подгрань коразмерности к, где к ^ 2. Пусть Р.\ € БЬ(Со) С БЬ(С), г € М, суть все параллелоэдры разбиения, содержащие грань Со- Предположим, что кроме параллелоэдров Р^,г € Ж, звезда БЬ(С) содержит еще только один параллелоэдр Ро € Б^С) и пересечения Т = Ро П Т суть фасеты для всех г € N. Фасеты звезды 5Ь(С) суть Рг для г € N и Ту = РгПР^ для некоторых пар индексов г]. Замечу, что если к = 2, то Со есть фасета. Тогда из выше приведенных условий вытекает, что грань С коразмерности 2 примитивна.
Дуальная ячейка Р(С) называется комбинаторной пирамидой с основанием Ио = Р(Со) и обозначается Руг (Ро) • Дуальные ребра пир амиды Р(С) суть фасетные век торы 1р для всех фасет Т € Бг(С).
Напомню, что V означает множество нормальных векторов рр всех фасет Т разбиения Т, а Нк(С) есть й-мерное пространство, порожденное нормальными векторами рр € V для всех Т € ^¿(С). Оно ортогонально аффинному пространству, натянутому на грань С коразмерности к.
Предложение 1. Пирамида Р(С) = Руг(Со) является он-ячейкой.
Доказательство. Грань С есть пересечение фасет Т иараллелоэдра Ро для всех г € N. Пусть Рг € V есть внешний нормальный вект ор фасеты Т. Нормальные век торы рг для всех г € N порождают пространство Нк(С). В этом пространстве рассмотрим конус
С (С) = [х € : ж = ^ ХгРг, где Х^ ^ 0],
ге N
натянутый на нормальные векторы р¿. Пусть начало координат 0 есть центр параллелоэдра Ро- Тогда 0 есть вершина С (С). Пусть 1(р1) есть полупрямая, натянутая на вектор Р1.
Для каждого г € N параллелоэдр Рг смежен паралл ел оэдру Ро по фасе те Рг. Если Рц = Рг П Т,- есть фасета, то пусть р^ есть ее нормальный вектор. Пересечение трех фасет Рг, Ру и Т^ есть примитивная грань Сц коразмерности 2. Соответствующая ей 2-плоскость Н2(С^) натянута на конусную оболочку Д,- полупрямых 1(рг) и 1(р^). Поэтому нормальный вектор р^ параллелен 2-плоскости, содержащей Д,-.
Напомню, что грань Со принадлежит параллелоэдрам Т для всех г € N и грань С есть ее подгрань. Поэтому Со С Рц и нормальный вектор рц параллелен (к — 1)-мерному пространству Нк-1 (Со). Пространство Нк-1(Со) есть гиперплоскость пространства Нк(С). Пусть Н € Нк(С) есть такой нормальный вектор этой гиперплоскости, что {И,Рг} > 0 для всех г € N. Пусть Нк-1 (Со) есть параллельный сдвиг пространства Нк-1(Со) в направлении вектора Н. Тогда пересечение Нк-1(Со) П С (С) есть (к — 1)-мерный многогранник.
Для г € N пусть щ есть точка пересечения пол упрямой 1(р1) с гиперплоско стью Нк-1(Со). Определим нормировку 8^1) нормального век тора Р1 (и фасетного век тора так, чтобы длина вектора в^^рг была равна длине отрезка [0,щ].
Пересечение Нк-1(Со)П Д,- есть отрезок [щ, и^], который параллелен нормальному вектору Рц- Определим нормировку в(Р^) этого вектора так, чтобы длин а вектора з(Рц)рц была равна длине отрезка ].
Таким образом, мы определили нормировки всех дуальных ребер дуальной ячейки Р(С). Они определены однозначно с точностью до общего множителя, пропорционального сдвигу
аффинной плоскости Нк-1(Со). Отсюда следует, что дуальная ячейка Р(С) есть он-ячейка. □
Симплекс есть пирамида над симплексом. Отрезок есть одномерный симплекс, который, очевидно, есть он-ячейка. Поэтому, используя индукцию по размерности, получаем из предложения 1, что любой симплекс есть он-ячейка.
Пусть ячейка И центрально симметрична и Руг(И) есть он-ячейка. Центральная симметрия в центре ячейки И порождает центрально симметричную бипирамиду ВРуг(И) = = Руг(И) и (Руг (И))* с основанием ^.Нормировка Руг(И) естественным образом продолжается до нормировки В Руг (И): пары симметричных ребер получают одинаковые нормировки. Очевидно, что при этом получается однозначная нормировка, если исходная была таковой.
Лемма 4. Пусть пирамида, Руг (И) над центрально симметрично и ячейкой И есть он-ячейка. Тогда, бипирамида ВРуг(И) тоже однозначно нормируема.
Отмечу, что, вообще говоря, бипирамида может не быть дуальной ячейкой, а лишь объединением дуальных пирамид.
6. 3-неприводимые разбиения
Рассмотрим теперь 3-неприводимые разбиения на параллелоэдры. В этом случае есть только три типа дуальных ячеек к-размерности 3: тетраэдр, октаэдр и пирамида Руг(П) с параллелограммом П в основании. Результаты предыдущего раздела показывают, что все они суть он-ячейки. Назовем параллелограмм, являющийся дуальной ячейкой, дуальным, параллелограммом.
Для доказательства приводимого ниже предложения 2 необходим важный и не тривиальный результат из [6]. Пусть И есть дуальная ячейка к-размерности 4 в 3-неприводимом разбиении. Пусть ячейка И содержит дуальные параллелограммы. Согласно лемме 1, где к = 3, каждый дуальный параллелограмм П в ячейке И содержится ровно в двух пирамидах Руп(П) и Р^Г2(П). Обе эти пирамиды суть он-ячейки. Пусть ^ и 82 суть их он-нормировки. В общем
П
опальны. В случае, если «1 (П) и ^(П) пропорциональны друг другу, А.Ордин говорит, что параллелограмм П когерентен, по отношению к ячейке И Э П.
Я формулирую упомянутый выше результат А.Ордина в виде следующей теоремы.
Теорема 3. (А.Ордин) В 3-неприводимом разбиении дуальные параллелограммы, содержащиеся, в каждой, ячейке к-размерности 4-, когерентны по отношению к ней.
Предложение 2. Дуальные ячейки к-размерности 4 в 3-неприводимом разбиении суть он-ячейки.
Доказательство. Согласно теореме 3, в 3-неприводимом разбиении каждый дуальный параллелограмм спрятан в объединении двух пирамид, имеющих этот параллелограмм в качестве основания. При этом объединение этих двух пирамид можно рассматривать как одну он-ячейку к-размерности 3. Поэтому можно считать, что ячейки к-размерности 4 содержат
только он-ячейки к-размерностей 2 и 3. Тогда, согласно лемме 3, где положено к = 3, ячейки
□
Теперь я приведу пример семейства таких ^-мерных параллелоэдров, что при й ^ 4 они ^-приводимы для всех к ^ 2. Но все его дуальные ячейки к-размерности ^ и d — 1 однозначно нормируемы. Иными словами вершины и ребра этого параллелоэдра однозначно нормируемы.
Пусть Е = {вг : г € N} и (ео} есть произвольный (п + 1)-мерный базис, где ^| = п и 0 € N. Тогда множество 2п векторов и = (вг, ео — е.% : г € N} есть графическая унимодулярная система. Соответствующий граф на и + 2 вершинах состоит из п двухреберных цепей Г для всех
1 G N с общими начальными и конечными вершинами. Двум ребрам цепи Г соответствуют два вектора e¿ и eQ — а.
Зонотопный параллелоэдр Zd(U) имеет размерность d = п + l. Он есть сумма Минковско-го 2(d — l) отрезков, параллельных векторам множества U. Параллелоэдр Zd(U) замечателен тем, что при d ^ 3 его грани всех размерностей, но не он сам, суть параллелепипеды. Для
2 ^ d ^ 4 имеем следующие частные случаи: Z2 = П есть параллелограмм, Z3 есть ромбический додекаэдр, Z4 имеет номер 11 в списке четырехмерных параллелоэдров, приведенным Б.Н.Делоне в [12].
Кроме того, его d-мерные дуальные ячейки имеют подъячейки к-размерностей не более d — 2, являющиеся параллелепипедами. Это значит, что разбиение на зонотопы Zd(U) имеет приводимые грани коразмерностей больше или равных 2, т.е. это разбиение fc-приводимо для всех к ^ 2.
7. Заключение
В заключение я приведу 3 проблемы, возникшие в ходе написания этой статьи.
Напомню, что пространство нормальных векторов фасет приводимой грани разложимо в прямую сумму. Поэтому приводимая грань не имеет однозначной нормировки, так как отношения нормировок нормальных векторов из разных компонент не может быть определено однозначно. Отсюда вытекает, что fc-однозначно нормируемое разбиение fc-неприводимо. Кроме того, обратно, для к ^ 3 каждое fc-неприводимое разбиение fc-однозначно нормируемо .
Пролема 1. Показать или опровергнуть, что понятия k-неприводимого разбиения и к-однозначно нормируемого разбиения совпадают.
Очевидно, что 2-однозначно нормируемое разбиение также fc-однозначно нормируемо для любого к ^ 2. В предложении 2 было показано, что 3-однозначно нормируемое разбиение 4-однозначно нормируемо. Поэтому естественно рассмотреть следующую проблему.
Проблема 2. Показать или опровергнуть, что всякое k-однозначно нормируемое разбиение также и (k + l)-однозначно нормируемо.
Наименее строгое требование на ¿-мерное разбиение является его ¿-однозначная нормируемость.
Проблема 3. Показать или опровергнуть, что разбиение размерности d, неразложимое в прямую сумму, d-однозначно нормируемо.
Проблема 3 эквивалентна проблеме доказательства гипотезы Вороного.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Венков Б.А. Об одним классе эвклидовых многогранников // Вестник ЛГУ. 1954. № 2. С.
11-31.
2. Долбилин Н.П. Свойства граней параллелоэдров // Труды МИЛИ. 2009. Т. 266. С. 112
126.
3. Voronoi G.F. Nouvelles applications des paramètres continus à la théorie de formes quadratiques
- Deuxième mémoire // J. Reine. Angew. Math. 1908. V 134. P. 198-287; 1909. V. 136. P. 67178. (Русский перевод: Вороной Г.Ф. Исследование о примитивных параллелоэдрах, собр.
соч. Киев: изд-во АН УССР. 1952. Т.2. С. 239-368.
4. Deza M., Grishukhin V. Properties of parallelotopes equivalent to Voronoi's conjecture //
Europ. J. Combinatorics. 2004. V. 25. P. 517-533.
5. Гришухин В.П. Параллелоэдры, определяемые квадратичной формой // Труды \ ! 11A11. 2015. Т. 288. С. 81-93.
6. Ordin A. A proof of Voronoi conjecture on parallelotopes in a new special case: Ph.D. thesis, Queen's University, Kingston, 2005. 141 p.
7. Zitomirskij O.K. (Zhitomirskii) Verschärfung eines Satzes von Woronoi // Zhurnal Leningrdskogo Matematicheskogo Obshchestva. 1929. V. 2. P. 131-151.
8. Rvshkov S.S. Rvbnikov Jr. К.A. The theory of quality trnslations with applications to tilings // Europ. J. of Combinatorics. 1997. V. 18, № 4. P. 431-444.
9. Гаврилюк A.A. Геометрия подъемов разбиений евклидовых пространств / / Труды \ ! 11A11. 2015. Т. 288. С. 49-66.
10. Garber A., Gavrilyuk A., Magazinov A. The Voronoi conjecture for parallelohedra with simply connected ¿-surface. // Discrete Compute. Geom. 2015. V. 53 № 2. P. 245-260.
11. Horvâth Â.G. On the boundary of an extremal body // Beiträge zur Algebra und Geometrie. 1999. V. 40, № 2. P. 331-342.
12. Delaunav B.N. Sur la partition rgulière de l'espace â 4 dimensions // Изв. АН СССР,VII сер. Отд. физ-матем. наук. 1929. Première partie N.l, 79-110, Deuxième partie, N.2. P. 147-164.
13. Magazinov A.N. On Delaunav's theorem classifying coincidences of parallelohedra at faces of codimension 3 // Modelling and Analysis of inform, systems. 2013. V. 20, № 4. P. 71-80.
14. Зейферт Г., Трелльфаль В. Топология. М.;Л.: ОНТИ, 1938. 448 с. REFERENCES
1. Venkov В. А., 1954, "Ob odnim klasse ehvklidovyh mnogogrannikov" , Vestnik LGU. № 2. pp. 11-31.
2. Dolbilin N. P., 2009, "Svojstva granej paralleloehdrov", Trudy MIAN. T. 266. pp. 112-126.
3. Voronoi G. F. 1908, 1909, "Nouvelles applications des paramètres continus à la théorie de formes quadratiques - Deuxième mémoire" , J. Reine. Angew. Math. V 134. pp. 198-287; V. 136. pp. 67-178.
4. Deza M., Grishukhin V., 2004, "Properties of parallelotopes equivalent to Voronoi's conjecture" , Europ. J. Combinatorics. V. 25. pp. 517-533.
5. Grishuhin V. P., 2015, "Paralleloehdrv, opredelyaemve kvadratichnoj formoj" , Trudy MIAN. T. 288. pp. 81-93.
6. Ordin A., 2005, A proof of Voronoi conjecture on parallelotopes in a new special case, Ph.D. thesis, Queen's University, Kingston, 141 p.
7. Zitomirskij О. K. (Zhitomirskii), 1929, "Verschärfung eines Satzes von Woronoi" , Zhurnal Leningrdskogo Matematicheskogo Obshchestva. V. 2. pp. 131-151.
8. Rvshkov S. S. Rvbnikov Jr. К. А., 1997, "The theory of quality trnslations with applications to tilings" , Europ. J. of Combinatorics. V. 18, № 4. pp. 431-444.
9. Gavrilyuk A. A., 2015, "Geometriya podemov razbienij evklidovyh prostranstv" , Trudy MIAN. T. 288. pp. 49-66.
10. Garber A., Gavrilyuk A., Magazinov A. 2015, "The Voronoi conjecture for parallelohedra with simply connected ¿-surface." , Discrete Compute. Geom. V. 53 № 2. pp. 245-260.
11. Horvâth A. G., 1999, "On the boundary of an extremal body" , Beiträge zur Algebra und Geometrie. V. 40, № 2. pp. 331-342.
12. Delaunav B. N., 1929, "Sur la partition rgulière de l'espace â 4 dimensions", Izv. AN SSSR, VII s er. Otd. fiz-matem. nauk. Première partie N.l, 79-110, Deuxième partie, N.2. pp. 147-164.
13. Magazinov A. N., 2013, "On Delaunav's theorem classifying coincidences of parallelohedra at faces of codimension 3" , Modelling and Analysis of inform, systems. V. 20, № 4. pp. 71-80.
14. Zejfert G., Trell'fal' V., 1938, Topologiya. M.:l..: ONTI, 448 P.
Получено 18.06.2018 Принято в печать 17.08.2018
