Cubillages of cyclic zonotopes
V.I. Danilov, A.V. Karzanov, G.A. Koshevoy

TL;DR
This paper surveys recent and past results on cubillages of cyclic zonotopes, highlighting their combinatorial properties and connections to higher Bruhat orders, triangulations, and algebraic structures.
Contribution
It provides a comprehensive overview of the combinatorial theory of cubillages of cyclic zonotopes, including new insights and connections to other mathematical objects.
Findings
Connections to higher Bruhat orders and triangulations
Insights into the combinatorial structure of cubillages
Relevance to algebraic and geometric applications
Abstract
This paper (written in Russian) presents a survey of new and earlier results on fine zonotopal tilings (briefly, cubillages) of cyclic zonotopes. The combinatorial theory of these objects is of interest in its own right and also has a connection to higher Bruhat orders, triangulations of cyclic polytopes, and Tamari-Stasheff posets applied in the study of Kadomtsev--Petviashvily equations, and etc.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Cubillages of cyclic zonotopes
Vladimir I. Danilov Central Institute of Economics and Mathematics of the RAS, 47, Nakhimovskii Prospect, 117418 Moscow, Russia; email: [email protected].
Alexander V. Karzanov Central Institute of Economics and Mathematics of the RAS, 47, Nakhimovskii Prospect, 117418 Moscow, Russia; email: [email protected]. Corresponding author.
Gleb A. Koshevoy The Institute for Information Transmission Problems of the RAS, 19, Bol’shoi Karetnyi per., 127051 Moscow, Russia, and HSE University, Moscow, Russia; email: [email protected]. Supported in part by grant RSF 16-11-10075, and by Laboratory of Mirror Symmetry NRU HSE, RF Government grant, ag. № 14.641.31.0001.
Аннотация
This paper (written in Russian) presents a survey of new and earlier results on fine zonotopal tilings (briefly, cubillages) of cyclic zonotopes. The combinatorial theory of these objects is of interest in its own right and also has a connection to higher Bruhat orders, triangulations of cyclic polytopes, and Tamari–Stasheff posets applied in the study of Kadomtsev–Petviashvily equations, and etc.
Keywords: higher Bruhat order, Tamari–Stasheff poset, polycategory, rhombus tiling, separated sets, purity
Светлой памяти Владимира
Воеводского посвящается
Содержание
- 1 Зонотопы
- 2 Кубильяжи
- 3 Перегородки
- 4 Редукции и экспансии
- 5 Циклические (вполне положительные) векторные конфигурации
- 6 Мембраны
- 7 Кубы и флопы
- 8 Капсиды и флипы
- 9 Порядок кубов в кубильяже
- 10 Порядок на кубильяжах капсида
- 11 Стэки и мембраны
- 12 Существование флипов
- 13 Мембраны в зонотопе
- 14 Допустимые порядки
- 15 Инверсии
- 16 Отношение разделенности
- 17 Разделенность и кубильяжи
- 18 Чистота и расширяемость
- 19 Случай
- 20 Слабая разделенность
- Дополнение 1. Поликатегорный взгляд на кубильяжи
- Дополнение 2. Связь с триангуляциями и посетом Тамари-Сташева
- Дополнение 3. Слабые мембраны
Введение
Замощение фигур другими фигурами – излюбленная тема геометров. Вспомним кристаллические решетки и параллелоэдры, упаковки шаров, мозаики Пенроуза и связанные с этим ромбические тайлинги. Одно из направлений, интенсивно развивающееся в последние 30 лет, касается триангуляций т.н. циклических многогранников (см. [1] и обзор Рэмбо и Райнера [2] в сборнике [3]). Здесь мы хотим обсудить во многом параллельную теорию кубильяжей циклических зонотопов, то есть разбиений зонотопов на (комбинаторные) кубы.
Как это ни покажется странным, импульсы к рождению этой теории были не только геометрическими. Хотя зонотопальные (и кубические) разбиения издавна привлекали внимание геометров (см., например, работу [4], или исторический очерк в [5]), переворот вызвали две работы, скорее алгебраические или комбинаторные. Одна – работа Леклерка и Зелевинского [6] 1998 года – была связана с вопросом квазикоммутирования квантовых миноров и привела к изучению ромбических тайлингов зоногонов; обзор некоторых достижений на этом пути см. в статье [7]. Другая – статья Манина и Шехтмана [8] 1986 года (тоже мотивированная квантовой тематикой) – была посвящена обобщению слабого порядка Брюа на симметрической группе ; полученные упорядоченные множества были названы высшими порядками Брюа. Несколько позже Воеводский и Капранов [9] дали интерпретацию этих порядков в терминах кубильяжей циклических зонотопов, частным (двумерным) случаем которых являются упомянутые выше ромбические тайлинги. Значительные продвижения в этом направлении были получены Циглером [10], Галашиным [11], и Галашинм и Постниковым [12] (см. также [13]).
Обо всем этом (включая наши собственные результаты) и предполагается рассказать в настоящей работе. Мы условно делим изложение на две тесно связанные части: геометрическую и комбинаторную (или теоретико-множественную). В первой рассказывается про зонотопы, кубические тайлинги (кубильяжи) зонотопов, вводятся разные полезные объекты в кубильяже: перегородки, тоннели, и т.п. Здесь же вводится основной рабочий инструмент – редукции и экспансии, незаменимые для проведения индуктивных рассуждений.
После введения этих общих понятий мы ограничиваем свое внимание исключительно случаем циклических (или – более правильно – вполне положительных) зонотопов . Именнно кубильяжи таких зонотопов связаны с высшими порядками Брюа Манина-Шехтмана. При работе внутри фиксированного кубильяжа важную роль играет структура естественного порядка на множестве его кубов. Когда же мы переходим к сравнению различных кубильяжей, тут на первый план выходит понятие флипа, некоторой локальной перестройки кубильяжа. Последнее проще всего объяснить на примере простейшего (после куба) зонотопа , т. н. капсида. У него есть всего два кубильяжа, и замена одного кубильяжа на другой и называется флипом. В общем случае флип – это замена ‘капсидного’ фрагмента кубильяжа другим (‘флипованным’) фрагментом. Главный факт о кубильяжах состоит в том, что с помощью флипов можно перейти от любого кубильяжа зонотопа к любому другому.
Другое важное понятие – понятие мембран, гиперповерхностей специального вида внутри зоногона; мы показываем, что любую мембрану можно вписать в кубильяж.
Комбинаторная часть статьи связывает кубильяжи с системами подмножеств множества , индексирующего вектора, порождающие циклический зонотоп . Имеется два способа сделать это. Первый рассматривает кубильяжи с точки зрения их спектров. Каждый кубильяж зонотопа ( – это размерность зонотопа, тогда как – число ‘направляющих’ векторов) задает систему подмножеств в , то есть подмножество в . Сет-система однозначно определяет кубильяж . Этот результат поднимает вопрос: какие сет-системы соответствуют кубильяжам, потому что ответ на него позволяет заменить геометрию комбинаторикой. Найденный Галашиным и Постниковым [12] ответ состоит в том, что такие сет-системы обладают т.н. свойством ()-разделенности и при этом они максимальны по размеру (равному ). Если максимальность по размеру можно заменить максимальностью по включению, то говорят о чистоте соответствующего отношения. Фундаментальное исследование вопросов чистоты было проведено в [12]. Однако чтение этой статьи затруднено тем, что авторы работали с произвольными (не обязательно циклическими) зонотопами, и даже с ориентированными матроидами, и потому использовали усложненную матроидную терминологию и технику. Мы же сознательно ограничиваемся циклическим случаем, что делает (на наш взгляд) изложение более простым и доступным. В случаях и 3 свойство чистоты было доказано в [6] и [11], соответственно. В случае ответ отрицателен; для этого мы подробно обсуждаем ситуацию в случае , а также переносим отсутствия чистоты на большие и .
Другой переход от геометрии к комбинаторике подсказывает отображение типов. С каждым кубом кубильяжа можно связать его тип, некоторое подмножество размера в множестве . И это задает отображение (биективное, как несложно показать) кубильяжа в множество подмножеств размера в . Пользуясь этой биекцией, можно перенести естественный порядок с на . Оказывается, что перенесенный порядок тоже однозначно определяет кубильяж . Тем самым можно вместо кубильяжей работать с классом т.н. допустимых порядков на ‘дискретном’ грассманиане . Так мы возвращаемся к истоку теории – определению высших порядков Брюа как допустимых порядков на грассманиане . На геометрическом языке высший порядок Брюа – это порядок на множестве кубильяжей зонотопа , или, эквивалентно, на множестве мембран в зонотопе .
Кубильяжи имеют многочисленные связи с другими объектами математического мира. Например, известна их связь с уравнениями Кадомцева-Петвиашвили, идущая пока в основном через триангуляции циклических политопов. Уже отмечалось, что происхождение теории было мотивировано уравнениями Замолодчикова. Кубильяжи дают также естественный пример поликатегорий. Кубильяжи и триангуляции связаны с представлениями колчанов и конечномерных алгебр, см., например, работу [24]. О некоторых таких ‘внешних’ связях кубильяжей мы рассказывыаем кратко в Дополнениях. Здесь мы уже, как правило, не приводим точные определения и результаты, указывая лишь общие контуры связи. Таких Дополнений четыре. Это связь с поликатегориями, связь с триангуляциями (и через них с уравнениями К-П), рассказ о слабых мембранах, обобщающих понятие мембран. Туда же мы отнесли и доказательство теоремы об ацикличности из основного текста.
Часть первая, геометрическая
Здесь излагаются основные геометрические понятия и факты про кубильяжи зонотопов. Комбинаторый (теоретико-множественный) взгляд будет дан во второй части. Мы стараемся иллюстрировать все на 2-мерных кубильяжах (ромбических тайлингах), иногда рисовать 3-мерные картины.
1 Зонотопы
Естественно начать с напоминаний про зонотопы111Имеется большая литература про зонотопы, включая книги [16, 5]. и введения терминов. Кубильяж – это, грубо говоря, правильное заполнение (разбиение) выпуклой фигуры ‘кубами’, а точнее говоря – параллелоэдрами.
Что же такое зонотоп? Фиксируем вещественное векторное пространство (размерности ) и некоторый конечный набор из векторов в нем. Зонотопом (порожденным набором ) называется сумма по Минковскому отрезков . Иначе говоря, состоит из точек вида , где для любого . Можно также сказать, что зонотоп – это проекция ‘единичного’ -мерного куба, когда базисные вектора пространства отправляются в . Это выпуклое тело, симметричное относительно точки (центра) .
Зонотопом мы называем и любой сдвиг зонотопа. Заменяя, если нужно, вектора на , можно считать, что все они ‘смотрят в одну сторону’, если угодно – ‘вверх’ по отношению к некоторой ‘горизонтальной’ гиперплоскости. Такая замена меняет зонотоп на сдвинутый. Но зато теперь наш зонотоп имеет ‘нижнюю’ (корневую) вершину 0 и ‘верхнюю’ вершину .
Простейший пример зонотопа – это куб (точнее – параллелоэдр, но мы для краткости именуем его кубом). Это когда система образует базис пространства (в этом случае ). Далее мы будем заниматься заполнениями зонотопов кубами.
Довольно легко описать грани зонотопа (которые тоже зонотопы меньшей размерности; см. [5, гл. 7] о кодировке граней знаковыми векторами). Мы еще более облегчим эту задачу. Во первых, мы будем считать, что система V находится в общем положении, то есть что и что любые векторов из системы V образуют базис пространства . Далее это предположение всюду подразумевается, в основном по той причине, что мы будем заниматься кубильяжами . Во вторых, мы ограничимся описанием только фасет (граней коразмерности 1) зонотопа . Понятно, что фасеты такого ‘общего’ зонотопа будут кубами размерности .
Чтобы задать фасету, мы фиксируем произвольные вектор (подсистему W) в нашей системе V. Пусть – гиперплоскость в , натянутая на W. Она делит оставшиеся точки-вектора V-W на две части, скажем, и . Это дает две (противоположные друг другу) фасеты зонотопа . Одна образована зонотопом-кубом , укорененным в точке , а другая – тем же зонотопом, но укорененным в точке . И так получаются все фасеты. Отсюда видно, что
(1.1) ‘общий’ зонотоп имеет фасет.
Тут неявно предполагалось, что ; случай одномерного зонотопа несколько выпадает из общей картины по причине его тривиальности; это просто отрезок .
Стоит еще сказать о вершинах зонотопа и об их числе. Наверняка это хорошо известно, но нам не удалось найти хорошую ссылку. Поэтому приведем формулу, а позже скажем о доказательстве.
(1.2) Число вершин зонотопа равно .
Другая полезная вещь – это взгляд на зонотоп вдоль некоторого направления. Пусть направление задается некоторым ненулевым вектором в и проектирует (отображением ) пространство (и находящийся в нем зонотоп ) на (фактор)пространство . Снова тут удобно считать, что этот вектор находтся в общем положении относительно системы V. В этом случае каждая фасета зонотопа инъективно проектируется в пространство . А весь зонотоп проектируется на зонотоп . При этом граница (имеющая размерность ) является биективным образом некоторого (тоже ()-мерного) подкомплекса границы , который можно назвать ободом (относительно этой проекции ). Обод делит (нестрого) границу на две ‘полусферы’ - ‘верхнюю’ (мы представляем проекцию как вертикальную, снизу вверх) и ‘нижнюю’.
Здесь удобно ввести терминологию видимых и невидимых фасет. Снова берем ‘общий’ вектор (вдоль которого мы смотрим на зонотоп ). Пусть - фасета . Скажем, что эта фасета видимая (в направлении ), если для (относительно внутренней) точки этой фасеты точка не принадлежит (для малого или любого ); тогда для малого точка принадлежит . Иначе говоря, точка первая в зонотопе при движении (из в ) по прямой .
В этой теминологии видимые фасеты покрывают нижнюю полусферу зонотопа, а невидимые - верхнюю. Проекция верхней полусферы дает один кубильяж зонотопа , а нижнего – другой, симметричный верхнему. Мы еще вернемся к этой теме в следующем разделе.
Можно проектировать не только вдоль ‘общих’ направлений, но и, скажем, вдоль направления вектора , обозначая эту проекцию как . Проекция при зонотопа снова будет зонотопом , порожденным (в ) образами всех векторов , кроме . Однако теперь обод будет не ()-мерный, но ()-мерный (и называется он зоной или поясом зонотопа). Отметим также, что сам получается как сумма зонотопа и отрезка .
После введения этих понятий можно обратиться к доказательству формулы (1.2). Зонотоп представляется как сумма зонотопа и отрезка . При этом его вершины делятся на видимые и невидимые. Но видимые вершины (относительно направления ) зонотопа те же, что видимые вершины зонотопа ; аналогично для невидимых (точнее, видимых с противоположного направления). Единственная разница состоит в том, что в пером случае эти два множества не пересекаются, тогда как во втором – пересекаются, причем в точности по множеству вершин обода (зонотопа в направлении .). Отсюда мы получаем соотношение
[TABLE]
Учитывая правило Паскаля, остается только убедиться в справедливости формулы (1.2) в случаях и . В первом случае правая часть равна , что согласуется с тем, что отрезок имеет две вершины. Во втором случае правая часть равна , что согласуется с тем, что -мерный куб имеет вершин.
2 Кубильяжи
Кубильяж (или кубический, гиперромбический, параллелоэдральный тайлинг) – это правильное замощение (разбиение, paving, tiling) зонотопа (или другого многогранника) кубами. Точнее:
Кубильяж зонотопа – это множество -мерных кубов (см. выше) (называемых плитками, тайлами или просто кубами), покрывающих , причем выполнены два условия:
-
два куба могут пересекаться только по общей грани;
-
фасеты зонотопа являются фасетами некоторых кубов из .
Точнее, так определяется кубильяж для зонотопов размерности . Кубильяж одномерного зонотопа по определению состоит из отрезков, конгруэнтных отрезкам , .
Гранью кубильяжа считается грань некоторого куба из .
Пример. Пусть – зонотоп , и мы проектируем его вдоль, скажем, направления (обозначая проекцию как , см. рис. 1). Тогда, как объяснялось в предыдущем разделе, проекция фасет видимой части границы дает кубильяж зонотопа .
Часто на эту конструкцию смотрят в противоположном направлении, говоря, что система векторов – это ‘одноэлементный лифтинг’ системы (с помощью вектора ). В такой терминологии одноэлементный лифтинг системы дает кубильяж зонотопа . Знаменитая теорема Бонэ-Дресса (см. [16] или [5]) в каком-то смысле утверждает обратное. Мы не приводим точную формулировку, поскольку это лежит в стороне от наших целей.
Полезным для понимания является следующий простой факт, который часто просто включают в определение кубильяжа.
Лемма 1
Пусть – куб некоторого кубильяжа зототопа . Тогда любое ребро этого куба конгруэнтно некотоому отрезку .
Доказательство. Можно считать, что . Пусть - некоторое ребро куба . Если оно не лежит на границе зонотопа, вокруг него есть много кубов, ребра которых конгруэтны . Переходя от одного такого куба к другому, мы рано или поздно выйдем на границу зонотопа. А тогда все следует из свойства 2) определения кубильяжа.
В частности, любой куб кубильяжа конгруэнтен кубу-зонотопу , где – -элементное подмножество в . Множество индексов (или цветов; так мы понимаем элементы индексирующего множества ) этого подмножества называется типом этого куба. Иными словами, тип куба – это подмножество в , такое что куб есть сдвиг куба-зонотопа .
Аналогично понимается тип грани кубильяжа. В частности, тип ребра кубильяжа – одноэлементное подмножество в . Мы ориентируем каждое ребро кубильяжа в направлении вектора . Направленный путь из нижней вершины 0 в верхнюю вершину , идущий по ребрам кубильяжа, мы называем змейкой. Как мы увидим далее, в змейке ребро цвета встречается ровно один раз. Если – цвет -го ребра-стрелки некоторой змейки, то мы получаем биекцию в , то есть перестановку множества . Эту перестановку можно понимать также как линейный порядок на , в котором минимальным элементом яаляется цвет первого ребра змейки.
Сопоставление кубу кубильяжа его типа задает отображение в множество -элементных подмножеств V.
Предложение 1
Отображение является биекцией. В частности, число кубов в любом кубильяже равно .
Мы докажем это утверждение в следующем разделе. А пока приведем простое
Следствие. Число вершин любого кубильяжа равно .
В самом деле, выберем некоторое общее направление проектирования (‘смотрения’) . Из формулы (1.2) видно, что для каждого куба кубильяжа все его вершины, кроме двух, лежат на ободе этого куба. И есть одна ‘внутренняя’ вершина на видимой половине границы и, аналогично, одна ‘внутренняя’ вершина на невидимой половине. Обозначим эту последнюю, самую далекую он нас вершину куба как . Легко понять, что отображение (из в множество вершин кубильяжа ) инъективно. А образ заметает все вершины, кроме вершин на видимой части границы . При проекции фасеты дают кубильяж зонотопа , у которого, по предположению индукции, вершин.
3 Перегородки
Пусть – некоторый кубильяж зонотопа , где . В дальнейшем мы рассмотрим несколько интересных подмножеств в – перегородки, тоннели, гирлянды, стэки, капсиды … Начнем с перегородок.
**Определение. ** Перегородкой цвета в кубильяже называется множество кубов кубильяжа , которые содержат цвет в своем типе. То есть
[TABLE]
(В некоторых работах перегородки называются также сечениями де Брюйна). Телом перегородки называется объединение кубов из ; это замкнутое подмножество в зонотопе , которое мы обозначаем как (не путать с числом элементов множества , которое равно ). Тело перегородки выходит на границу зонотопа по зоне цвета , см. раздел 1.
Основная теорема о перегородках. Тело перегородки устроено как произведение отрезка на некоторый диск, трансверсальный направлению и биективно проектирующийся на зонотоп (где – проекция вдоль вектора , см. выше).
Здесь для наглядности удобно считать вектор направленным вертикально вверх. В каждом кубе перегородки проведем ‘среднее сечение’ (среднее по вертикальному направлению). Все такие локальные сечения склеиваются в ()-мерный кубический комплекс . Так как каждый куб представляется как сумма по Минковскому сечения и трансверсального к нему вертикального отрезка , то и вся перегородка есть сумма (по Минковскому) и отрезка . Более точно, естественное отображение
[TABLE]
является биекцией (и гомеоморфизмом). Отсюда легко понять, что при (вертикальной) проекции сечение локально гомеоморфно проектируется на . Так как зонотоп стягиваем и, следовательно, односвязен, среднее сечение представляетися как сумма нескольких копий . На самом деле копия всего одна, что видно из того, что край этого комплекса образует ‘среднее сечение’ соответствующего обода (зоны цвета ) зонотопа .
Замечание. Перегородки (а еще лучше – их средние сечения) напоминают по своим свойствам гиперплоскости. Как и последние, они делят зонотоп на две области (до и после); кроме того, любые перегородок пересекаются по единственному кубу (а средние сечения – по единственной точке). Так что система всех перегородок выступает как некая замена арранжмента гиперплоскостей. Недаром вся эта теория у Манина и Шехтмана начиналась с аранжментов гиперплоскостей.
Проекция комплекса (или всей перегородки ) дает кубильяж зонотопа . Этот кубильяж (размерности ) зонотопа можно обозначить как . Вслед за Атанасиадисом [17] мы называем кубильяж сжатием (контрактацией) кубильяжа в направлении , или сжатием по цвету . Отметим, что при сжатии размерность кубильяжа уменьшается на единицу, как и число цветов.
Первое следствие основной теоремы про перегородки – это уже упоминавшееся утверждение про змейки. Напомним, что змейка – это направленный путь по ребрам-стрелкам кубильяжа из нижней (корневой) вершины зонотопа в верхнюю. Так вот, цвета ребер змейки биективны множеству . То есть каждый цвет встречается и при том один раз как цвет ребра змейки. В самом деле, перегородка цвета делит зонотоп на три части – ниже , само , и выше . Наша змейка (при движении от корня к верхушке) обязательно пересекает перегородку, так что обязательно содержит стрелку цвета . Причем пересекает ровно один раз, потому что после пересечения перегородки змейка попадает в верхнюю часть зонотопа и уже не может ее покинуть (в перегородке все стрелки цвета смотрят вверх).
Это следствие позволяет ввести важное понятие спектра (набора цветов) вершины кубильяжа, которое будет играть центральную роль в комбинаторной части. А именно, рассмотрим для вершины кубильяжа путь из 0 в , идущий вверх по стрелкам-ребрам кубильяжа. Очевидно, что такой путь существует, быть может, не один. Этот путь – начальный кусок некоторой змейки, поэтому цвета его ребер образуют подмножество в . Это подмножество не зависит от выбора пути; мы обозначаем его и называем спектром вершины . Независимость от выбора пути видна из другого описания : цвет входит в тогда и только тогда, когда перегородка проходит ниже вершины (то есть отделяет от корневой вершины 0). Заметим также, что не зависит и от кубильяжа ; в самом деле,
[TABLE]
Наряду с перегородками можно рассмотреть в каком-то смысле дуальные объекты, называемые тоннелями в кубильяже . Зафиксируем подмножество в размера и соберем вместе множество кубов, типы которых содержат (‘тоннель типа ’). У каждого куба из есть две фасеты типа . Пусть – такая фасета; тогда она либо фасета самого зонотопа , либо по этой фасете наш куб смежен другому кубу , тоже из . Повторяя это с кубом , мы получаем соседний куб и так далее, пока не дойдем до фасеты зонотопа . (Эта конструкция уже встречалась при доказательстве Леммы 1.) Таким образом, тоннель представляет набор нескольких ‘толстых путей’ (или циклов) внутри кубильяжа. На самом деле легко понять, что тоннель – это связная цепочка кубов, идущих от одной (видимой) части границы к другой, невидимой. Потому что каждый тоннель типа пересекает каждую перегородку (где ) ровно по одному кубу (типа ). И состоит ровно из куба.
Теперь обратимся к доказательству Предложения 1. Оно проводится индукцией по ; при утверждение тривиально. Пусть теперь . Возьмем некоторую -шку и покажем, что существует, и при том ровно один, куб типа в нашем кубильяже . Для этого выберем один из цветов (скажем, ) в и рассмотрим перегородку цвета . Пусть – проекция вдоль вектора . Как было сказано выше, проекция перегородки дает кубильяж зонотопа . По индукции у него есть единственный куб (размерности ) типа . Куб из перегородки , проектирующийся на , имеет тип . Это доказываент существование и единственность куба типа .
Примерно так Шеппард [4] получал формулу для числа кубов кубильяжа зонотопа (см. Предложение 1).
4 Редукции и экспансии
Продолжим получать следствия структуры перегородок. Снова временно (и для наглядности) мы считаем, что вектор (произвольного цвета) идет вертикально вверх, так что мы смотрим на зонотоп снизу вверх. Перегородка делит на три части: собственно перегородку , то, что нестрого ниже (включая нижнюю границу ), что мы обозначим , и верхнюю половину .
Редукцией кубильяжа называется кубильяж зонотопа ), полученный следующим образом: нижнюю часть мы оставляем на месте (вместе со всеми ее кубами), а верхнюю часть сдвигаем вниз на вектор (тоже вместе со всеми кубами). При этом перегородка исчезает, а лучше сказать – сжимается на свою нижнюю границу, превращаясь в то, что позже мы назовем мембраной. Эту мембрану мы называем швом (или рубцом), оставшимся после операции редукции. См. рис. 2.
Эта операция редукции обратима: если мы ‘раздвинем’ шов-мембрану с помощью отрезка (отодвинув часть редуцированного кубильяжа, расположенную выше шва, на вектор ), мы вернемся к исходному кубильяжу . Эту обратную операцию мы называем экспансией.
Вообще, если у нас есть кубильяж зонотопа и в нем мембрана (то есть ()-мерный подкомплекс кубильяжа , который биективно проектируется при ‘вертикальной проекции’ на ), то мы можем ‘раздвинуть’ мембрану на вектор и получить некоторый кубильяж зонотопа . Эту операцию мы называем экспансией мембраны в кубильяже в направлении .
Следствие. Кубильяж зонотопа определяется множеством его вершин.
Доказательство. Пусть и – два кубильяжа зонотопа с одним и тем же множеством вершин. Выберем какой-то цвет, скажем, , и произведем редукцию этого цвета в и . В результате мы получим два новых кубильяжа и (зонотопа ) и в каждом шов и . Шов составлен из ‘слившихся’ вершин и , таких что ; аналогично для шва . Отсюда видно, что совпадают как эти два шва, так и множества вершин кубильяжей и . По индукции мы получаем совпадение самих кубильяжей . А исходные кубильяжи и получаются -экспансией общего шва , так что они тоже совпадают.
Раз уж речь зашла о вершинах кубильяжа, то возникает вопрос – какие точки (или наборы точек) внутри зонотопа могут быть вершинами некоторого кубильяжа этого зонотопа (‘вписываются в кубильяж’)? Одно требование очевидно (см. выше определение спектра): такая точки должна иметь вид для некоторого подмножества . Точки такого вида мы называем целыми, и это требование всюду далее предполагается выполненным. Мы еще вернемся к этому вопросу во второй части работы, а пока приведем один простой результат в этом направлении. А именно, мы утверждаем, что любая отдельно взятая целая точка вписывается в некоторый кубильяж. На самом деле верно даже большее: любой подзонотоп вписывается в некоторый кубильяж. Более точно, множество вершин любого подзонотопа вписывается в некоторый кубильяж зонотопа ; здесь предполагается, что есть сдвиг на целую точку зонотопа , где , и не пересекается с множеством индексов W.
Предложение 2
Любой подзонотоп (и любой его кубильяж) зонотопа вписывается в некоторый кубильяж .
Доказательство. Будем рассуждать индукцией по (или по размеру V-W). Пусть – ‘верхняя’ вершина подзонотопа . Предположим сначала, что эта вершина отлична от верхней вершины всего зонотопа . В этом случаем множество отлично от ; пусть – произвольный цвет, не принадлежащий . Тогда подзонотоп лежит в зонотопе , и по индуктивному предполоржению вписывается в некоторый кубильяж зонотопа . Остается сделать экспансию по цвету . См. рис. 3.
Таким образом, мы можем считать, что ‘верхние’ вершины у и совпадают. Рассуждая симметрично, можно считать, что совпадают и ‘нижние’ (корневые) вершины. Но тогда и совпадают, и утверждение тривиально верно.
Экспансию мембраны можно производить не только в направлении вектора , но и в любом ‘близком’ направлении . Точнее, тут важна не близость, а только то, чтобы по отношению ко всем пластинкам (граням размерности ) мембраны вектора и глядели в одну и ту же сторону. Раздвигая мембрану в направлении , мы получаем другой кубильяж другого зонотопа, но в каком-то смысле похожий, ‘подобный’ старому. Скажем об этом чуть подробнее.
Говоря о зонотопе и его кубильяжах, мы фиксировали векторную конфигурацию V. Однако интуитивно ясно, что малые шевеления V не играют роли в строении кубильяжей. Скажем точнее. Пусть у нас есть две векторые конфигурации и (в одном и том же -мерном пространстве и с одним и тем же числом векторов ). Скажем, что конфигурации V и W подобны, если для любого подмножества размера определители и имеют один и тот же знак (или что соответствующие базисы и имеют одну и ту же ориентацию).
Если конфигурации V и W подобны, то для любого кубильяжа зонотопа естественно строится ‘подобный’ кубильяж зонотопа , который комбинаторно устроен так же, как . А именно, пусть - куб кубильяжа ; у него есть корневая вершина и тип . Из начальной вершины 0 зонотопа в вершину ведет путь по стрелкам кубильяжа . Проведем соответствующий путь в и конец его объявим образом вершины . Ясно, что это построение не зависит от выбора пути . Образ куба – это куб того же типа, что и , растущий из вершины . Так мы получаем новое множество кубов в , и нужно лишь убедиться, что эти кубы не налезают друг на друга. А это достаточно проверить для соседних кубов. То есть если кубы и кубильяжа соседние (по общей фасете ), то их образы и (которые, очевидно, имеют общую фасету ) лежат по разные стороны от .
Пусть фасета (то есть куб размерности ) имеет тип . Кубы и получаются добавлением к векторам каких-то векторов и . Так как они лежат по разные стороны от , то ориентации базисов и противоположны. Но тогда и ориентации базисов и противоположны, что и означает, что кубы и лежат по разные стороны от .
Это показывает, что строение (и разнообразие) кубильяжей зонотопа зависит только от ориентированного матроида, порожденного векторной конфигурацией V. Мы будем активно пользоваться этим простым замечанием при рассмотрении вполне положительных конфигураций.
5 Циклические (вполне положительные) векторные конфигурации
До сих пор конфигурации V векторов в пространстве были, фактически, произвольными (если не считать требования общего положения). Начиная с этого места мы ограничиваемся более специальными конфигурациями, которые обычно называются циклическими или вполне положительными. Здесь и далее мы будем считать, что (с базисом ); кроме того, теперь важную роль будет играть порядок индексации векторов (то есть, мы снабжаем множество индексов-цветов естественным порядком ).
Определение. Конфигурация векторов называется вполне положительной (или, не очень удачно, но более коротко, циклической), если для любой (возрастающей) -шки из определитель матрицы , составленной из столбцов-векторов , положителен.
Циклические конфигурации подобны между собой и определяются двумя числами и . По этой причине циклический зонотоп обозначается далее просто как , а множество его кубильяжей – как .
Удобный представитель такой конфигурации получается следующим образом. Отобразим прямую в с помощью отображения , . (Когда ясно из контекста, мы опускаем инлекс и говорим просто про v. Образ прямой при таком отображении называют кривой Веронезе или кривой моментов.) Если мы теперь возьмем конечное подмножество в , мы получаем (индексированную множеством ) векторную конфигурацию V, состоящую из векторов , . Такая конфигурация вполне положительна, что видно из формулы для определителей Вандермонда.
Отметим два важных для дальнейшего свойства циклических конфигураций. Если мы выбрасываем какой-то элемент из , конфигурация остается циклической. Так что мы можем говорить о проекциях и соответствующих редукциях кубильяжей (см. выше). И второе (применимое к конфигурациям Веронезе): если мы рассмотрим каноническую проекцию пространства на (проекция вдоль последнего базисного вектора , или забывание -ой координаты), то циклическая конфигурация переходит в циклическую. В частности, мы получаем проекцию , полезную для проведения индукции по . Заметим еще, что эту проекцию (вдоль -ой координатной оси) можно понимать как проекцию вдоль направления , потому что направление вектора при большом стремится к направлению вектора . Неформальная же причина интереса циклических конфигураций объясняется тем, что кубильяжи циклических зонотопов тесно связаны с высшими порядками Манина-Шехтмана, о чем мы будем говорить в комбинаторной части работы.
Мы уже говорили про редукцию цветов для общих зонотопов. В случае циклических зонотопов особо важную роль играет редукция старшего цвета . Дело в том, что шов, остающийся после такой редукции, является мембраной относительно проекции вдоль -й координатной оси. Расскажем более обстоятельно об этом в следующем разделе.
6 Мембраны
Определение. Пусть - кубильяж (циклического) зонотопа . Мембраной этого кубильяжа, или мембраной, вписанной в кубильяж , называется ()-мерный подкомплекс в , который биективно проектируется на зонотоп (при проекции вдоль последней -ой координаты).
Множество мембран кубильяжа обозначается как .
Так что мембрана – это некоторая -мерная пленка в (идущая по граням кубильяжа ), гомеоморфная -мерному диску, край которого – в точности обод зонотопа относительно проекции . Мембрана делит зонотоп на две части: нестрого до мембраны () и нестрого после нее (). Проекция клеток мембраны (ее -мерных кубов, называемых пластинами) дает при этом кубильяж зонотопа , который мы обозначаем .
Априори не ясно, существуют ли мембраны вообще и много ли их. Позже мы увидим, что их достаточно много. А пока приведем пример двух универсальных мембран.
Пример 1. Мы уже говорили про это в разделе 2; давайте вернемся применительно к циклической ситуации. Рассмотрим видимую (в направлении -ой координаты) часть границы , . Очевидно, это мембрана (любого кубильяжа зонотопа ); ее проекция дает кубильяж зонотопа , который мы называем стандартным (так именовались соответствующие ромбические тайлинги двумерного зоногона в [7]). Невидимая часть границы дает анти-стандартный кубильяж зонотопа .
Универсальный способ получения мембран дает редукция старшего цвета. Пусть – кубильяж зонотопа . И пусть – кубильяж зонотопа , полученный редукцией цвета . Тогда шов от этой редукции является мембраной. В самом деле, замена вектора на -й базисный вектор в приводит к подобной векторной конфигурации. Поэтому (см. раздел 4) можно произвести экспансию шва в направлении и получить кубильяж , подобный . А это значит (см. основную теорему из раздела 3), что шов биективно проектируется на зонотоп .
Напротив, имея мембрану в кубильяже зонотопа , мы можем экспансировать эту мембрану в направлении нового вектора , где . Дело в том, что направление, задаваемое вектором , также трансверсально мембране (как и направление ). Мы говорили об этом в разделе 4 про подобные конфигурации. В результате получаем новый кубильяж зонотопа . ‘Раздвинутая’ мембрана становится перегородкой старшего цвета в . Редуцируя по этому цвету, мы возвращаемся к исходному кубильяжу .
Таким образом, пара , где – кубильяж зонотопа , а – мембрана в , определяет кубильяж зонотопа . И на этом пути получаются все кубильяжи зонотопа . В самом деле, пусть – произвольный кубильяж . Возьмем в нем перегородку цвета и редуцируем ее. Шов от этой редукции, как уже говорилось, является мембраной для редуцированного кубильяжа редуцированного зонотопа . Экспансия этой мембраны возвращает нас к исходному кубильяжу .
Итог этого обсуждения можно подвести следующим утверждением.
Предложение 3
Задать кубильяж зонотопа – то же самое, что задать пару , где – кубильяж зонотопа , а – мембрана для .
Или чуть иначе: существует естественное сюръективное отображение ; слой его над любой точкой совпадает с множеством мембран для .
Пример 2. Стандартный кубильяж зонотопа получается из стандартного же кубильяжа зонотопа с помощью ‘задней’ мембраны (невидимой части границы ). См. рис. 7, где .
В самом деле, мы определяли стандартный кубильяж зонотопа как образ ‘передней’ (видимой) мембраны зонотопа . Но как выглядит последняя? Зонотоп получается из зонотопа прибавлением отрезка . Соответственно, его видимая граница состоит из видимой границы зонотопа плюс фасеты вида , где пробегает множество невидимых (в направлении координаты ) фасет этой видимой границы . При проекции вдоль координаты первая половина превращается в стандартный кубильяж зонотопа , а фасеты – в невидимые фасеты этого зонотопа , образуя в совокупности невидимую часть границы зонотопа . Поэтому вторая половина проектируется в точности на экспансию (по цвету ) задней (невидимой) мембраны зонотопа .
Аналогично, антистандартный кубильяж получается экспансией по цвету передней (видимой) мембраны антистандартного кубильяжа зонотопа .
7 Кубы и флопы
Рассмотрим более обстоятельно случай куба, зонотопа . У него есть всего две мембраны – видимая (передняя) и невидимая (задняя) , которые при проекции дают стандартный и антистандартный кубильяжи зонотопа . Из подсчета числа вершин обода (см. (1.2)) видно, что на передней мембране имеется ровно одна ‘внутренняя’ вершина (назовем ее хвостом), как и на задней одна ‘внутренняя’ вершина (назовем ее головой).
Скажем более конкретно о спектрах этих вершин. Для этого вернемся к разделу 1, где описывались фасеты зонотопа. Аналогично можно поступить и здесь, для описания вершин и . Напомним, что вектора задавались числами и мы полагали . Возьмем некоторые перемежающие их числа , так что . И в качестве линейного функционала на пространстве возьмем . Заметим, что этот функционал положителен на векторах и . Он положителен также на векторах , когда имеет ту же четность, что и , и отрицателен на векторах , когда имеет противоположную с четность. Отсюда видно, что головная вершина есть сумма векторов , таких что четно, тогда как хвостовая вершина есть сумма векторов , таких что нечетно. Так что , тогда как . Например, в случае (см. рис. 4) , (как и далее, 13 обозначает множество ). Очевидно, что в объединении эти множества-спектры дают все .
Стрелку, идущую из хвоста в голову , будем назвать хордой куба . В случае четного хорда идет горизонтально, тогда как в при нечетном она поднимается на 1 при каждом шаге, как видно из рис. 4. Здесь впервые начинает проявляться небольшое различие между четными и нечетными .
После расмотрения изолированного куба обратимся к общей ситуации. Пусть – кубильяж зонотопа , и – некоторый куб этого кубильяжа с хвостом , головой и хордой . Если мы проделаем это с каждым кубом кубильяжа, то эти хорды дадут структуру направленного графа на множестве вершин кубильяжа . Этот граф состоит из путей-нитей, соединяющих (внутренние) вершины передней мембраны с (внутренними же) вершинами задней мембраны . Каждый куб оказывается ‘нанизанным’ на свою хорду, а кубы, нанизанные на пути, выглядят как ‘гирлянды’. Считая, что вершины обода соединены сами с собой путем длины 0, мы получаем интересную (и слабо изученную) ‘гирляндную’ биекцию множества вершин передней мембраны в множество вершин задней мембраны зонотопа .
Разумеется, можно не ограничиваться только граничными мембранами. Если и – две произвольные мембраны (одного и того же кубильяжа), то каждая гирлянда ‘протыкает’ каждую из мембран ровно одит раз. Тем самым мы получаем ‘гирляндную’ биекцию между множеством вершин и множеством вершин . Это лишний раз показывает, что число вершин у каждой мембраны такое же, как у стандартной. На самом деле мы получаем даже больше: при четном у всех мембран зонотопа на каждой высоте одно и то же число вершин. Или: при нечетном у любого кубильяжа зонотопа число вершин на каждом этаже одно и то же.
Пример. Проиллюстрируем гирляндную биекцию на примере стандартного кубильяжа занотопа . Как уже говорилось в предыдущем разделе, такой кубильяж получается из куба экспансией по цвету 4 задней стороны этого куба. Задняя сторона состоит из трех пластинок-ромбов, так что стандартный кубильяж состоит из четырех кубов: исходного и трех ‘экспансированных’ из этих пластинок. Мы изобразили все это на рис. 5, где для наглядности вынули и слегка отодвинули первый куб .
Передняя сторона (или мембрана) зонотопа содержит, кроме периферийных (лежащих на ободе), три вершины со спектрами 2,3 и 23. Так как гирляндное отображение тривиально действует на ободе, нам нужно понять – куда при отображении переходят эти три вершины 2, 3 и 23. Глядя на рисунок, мы видим, что 2 переходит сначала в точку 13, которая затем переходит в точку 124. Точка 3 переходит в 14, а точка 23 – в 134. Окончательно,
[TABLE]
Действуя аналогично, можно убедиться, что гирляндное отображение (для антистандартного кубильяжа ) устроено так:
[TABLE]
Последнее, впрочем, можно увидеть и из следующего общего соображения. Произвольный зоногон симметричен относительно своего центра. Если обозначить эту симметрию как , мы для любого кубильяжа можем рассмотреть симметричный ему кубильяж того же зонотопа . При этом стандартный кубильяж переходит в антистандартный, и наоборот. Пусть обозначает вершины зоногона на передней стороне , а – вершины на задней стороне. Инволюция осуществляет биекцию на ; подмножество переходит в свое дополнение .
Предложение 4
Если – гирляндная биекция, связанная с кубильяжем , то .
Доказательство. При инволюции каждая хорда куба переходит в противоположно направленную хорду куба .
Пусть – мембрана в некотором кубильяже . Представим, что некоторый куб кубильяжа касается мембраны всей своей видимой границей . (Ниже мы увидим, что такая ситуация не исключительна и встречается постоянно.) В этом случае можно образовать новую мембрану , которая всюду совпадает с , за исключением того, что этот фрагмент заменяется новым фрагментом . Иначе говоря, если мембрана обходила куб спереди, то теперь она обходит его сзади. Мы говорим, что мембрана получена из с помощью повышающего флопа (а получена из понижающим флопом).
Это можно выразить чуть иначе. Пусть обозначает набор кубов кубильяжа , которые расположены до мембраны . Тогда получается добавлением к ровно одного куба . Так что при повышающих флопах мембрана движется ‘от нас’, захватывая по очереди по одному кубу кубильяжа, пока не дойдет до ‘задней’ границы зонотопа.
8 Капсиды и флипы
После обстоятельного рассмотрения куба естественно перейти к следующему по сложности случаю зонотопа . Такой зонотоп (или подзонотоп в большем зонотопе ) будем для краткости называть капсидом222Термин взят из вирусологии. Так называется белковая оболочка вируса, обычно полиэдральная (типа ромбододекаэдра, то есть )..
Капсид представляется как проекция -мерного куба . Проекция передней мембраны этого куба дает стандартный кубильяж капсида . А проекция ‘хвоста’ дает единственную ‘центральную’ (не лежащую на ободе) вершину стандартного кубильяжа, которую мы обозначим как . Ее спектр . Эта вершина со всех сторон окружена кубами стандартного кубильяжа капсида и является вершиной каждого куба этого кубильяжа. Симметрично невидимая мембрана содержит ‘центральную’ вершину антистандартного кубильяжа капсида со спектром . Например, при , ; при , .
В силу Следствия из Раздела 4 мы получаем, что капсид имеет только два кубильяжа, описанных выше. Подведем итог:
Предложение 5
Капсид допускает всего два кубильяжа - стандартный и антистандартный. Стандартный кубильяж характеризуется тем, что кроме вершин обода содержит вершину со спектром . Симметрично, антистандартный кубильяж характеризуется тем, что кроме вершин обода содержит вершину со спектром .
Утверждение про два кубильяжа капсида можно получить также из Предложения 3. Последнее говорит, что задать кубильяж капсида – это то же самое, что задать мембрану в кубе . Но у куба есть всего две мембраны: видимая часть границы и невидимая часть границы . Соответственно, у капсида есть два кубильяжа. Один получается -экспансией задней мембраны ; это стандартный кубильяж. Другой (антистандартный) получается путем экспансии передней мембраны . См. рис. 7.
Предположим теперь, что у нас имеется некоторый кубильяж произвольного зонотопа , а в нем фрагмент вида (то есть граница этого капсида является подкомплексом комплекса ). Ограничение кубильяжа на этот капсид является стандартным или антистандартным кубильяжем. Замена кубильяжа этого фрагмента противоположным кубильяжем называется флипом (повышающим, когда стандатрный фрагмент заменяется антистандартным, и понижающим в противном случае). Флип меняет кубильяж на некоторый новый кубильяж , отличающийся от лишь локально, внутри капсида.
Связь флипов с флопами, рассмотренными в предыдущем разделе, очевидна. Предположим: что кубильяж зонотопа получен как проекция мембраны в кубильяже "большего"зонотопа . И мы делаем (скажем, повышающий) флоп с этой мембраной, заменяя ее мембраной . Тогда проекция новой мембраны получается применением (повышающего) флипа к кубильяжу .
Как мы увидим ниже, флипов много, хотя бы в том смысле, что от любого кубильяжа можно добраться до стандартного кубильяжа с помощью понижающих флипов. Однако независимо от этого факта можно ввести понятие порядка на множестве . А именно, , если от кубильяжа до кубильяжа можно добраться серией повышающих флипов. Чтобы показать, что флипов ‘много’, полезно ввести важное понятие естественного порядка на множестве кубов произвольного кубильяжа.
9 Порядок кубов в кубильяже
Пусть – кубильяж (циклического) зонотопа . Оказывается, можно частично упорядочить некоторым естественным образом кубы этого кубильяжа. Говоря грубо – по росту -й координаты. Но более правильно – по тому, располагается ли один куб за другим при смотрении в направлении -й координаты.
Пусть – некоторый куб кубильяжа , и – его фасета. Скажем, что фасета куба видимая (или освещенная), если существует прямая (в ), параллельная координатному вектору , которая сначала пересекает и лишь после этого входит в куб . Противоположная (к в ) фасета называется невидимой или затененной. Очевидно, что из фасет куба половина видимые, а половина затенненные.
Пусть теперь и – два куба кубильяжа . Скажем, что куб непосредственно предшествует кубу (и пишем ), если и соседние по фасете , которая невидима для и видима для . Так на возникает бинарное отношение (или , если быть точнее).
Рисунок 8 подсказывает следующее обобщение:
Предложение 6
Отношение ациклично.
Это утверждение, как и следующая Лемма о реверсе доказываются в Дополнении 4. Лемма относится к следующей ситуации. Пусть - перегородка старшего цвета в кубильяже зонотопа . Редукция этой перегородки дает кубильяж зонотопа и шов-мембрану в . Проектируя вдоль -ой координатной оси , мы получаем кубильяж зонотопа .
Пусть теперь и – два куба из перегородки , связанные отношением непосредственного предшествования, . При редукции кубы и превращаются в пластинки-фасеты и мембраны ; их образы при проекции дают кубы и кубильяжа . Очевидно, что и тоже соседние в кубильяже , и мы можем сравнить их отношением непосредственного предшествования в кубильяже .
Лемма 2
(о реверсе). Если кубы и лежат в перегородке и , то .
Непосредственным следствием Леммы о реверсе является то, что ограничение отношения на перегородку (цвета ) противоположно отношению для кубильяжа (здесь мы отождествляем множество с через ).
Определение. Естественным порядком на кубильяже называется рефлексивно-транзитивное замыкание отношения ; мы обозначаем его или .
По определению это отношение является предпорядком; нетривиальность в том, что оно является порядком, то есть антисимметрично ( и влекут ). Именно это и дает Предложение 6.
Пример 1. Пусть и – два куба из одного туннеля, и идет после при движении от видимой границы зонотопа к невидимой. Тогда .
Пример 2. Пусть куб ‘частично затеняет’ , то есть имеется прямая, параллельная координатному вектору , которая протыкает (пересекает по внутренней точке) куб раньше, чем . Тогда . В самом деле, надо рассмотреть цепочку кубов , которые эта прямая пересекает по пути от к . Тогда .
Отметим, что мы могли бы начать с этого более сильного отношения затенения и (после транзитивного замыкания) получить то же отношение .
Пример 3. Пусть куб располагается непосредственно после куба в некоторой гирлянде (то есть голова совпадает с хвостом , см. раздел 7). Тогда затеняет и по предыдущему примеру .
Пусть – кубильяж, а – редукция по цвету . Как множество кубов отождствляется с , так что можно рассматривать как подмножество в .
Предложение 7
Ограничение порядка на сильнее, чем порядок на .
Иначе говоря, если для кубов и из редуцированного кубильяжа выполнено соотношение , то .
Для доказательства мы должны проверить, что если непосредственно предшествует в , то . Соотношение означает, что кубы и соседние в по фасете , причем располагается раньше. Возможны два случая. Первый – фасета не является пластиной шва редукции. Тогда и соседние уже в и все очевидно. Второй – фасета принадлежит шву. Но тогда она получилась редукцией цвета в кубе . И очевидно, что (в кубильяже ) мы имеем соотношения . См. рисунок 10.
10 Порядок на кубильяжах капсида
Наиболее просто Предложение 7 работает для стандартного кубильяжа. Дело в том, что редукция стандартного кубильяжа зонотопа по цвету является стандартным кубильяжем (зонотопа ). Более того, сжатие перегородки цвета в дает антистандартный кубильяж зонотопа . Этими соображениями можно воспользоваться, чтобы полностью описать естественный порядок на стандартном кубильяже. Мы проделаем это упражнение для случая , то есть для капсида.
Пусть – стандартный кубильяж капсида . Редуцированный кубильяж – это тривиальный кубильяж куба . Перегородка (цвета ) примыкает к невидимой (задней) части границы куба ; более точно, она получается суммированием этой задней части границы с отрезком . Поэтому кубы из перегородки имеют вид , где пробегает невидивые фасеты куба . (Посмотрите на рис. 6 и 7.) Видно, что все они куба . И остается разобраться с порядком на кубах перегородки . Но, как мы знаем из Леммы о реверсе, этот порядок противоположен порядку кубильяжа, полученного проекцией (сжатием) задней мембраны , то есть антистандартного кубильяжа ‘меньшего’ капсида . Так что порядок на кубах из – это в точности порядок на стандартном кубильяже капсида . Индукцией по мы получаем
Предложение 8
Естественный порядок на стандартном кубильяже капсида – полный (или линейный).
Иначе говоря, это цепь из элемента. Более того, мы видим, что уже отношение в этом случае транзитивно. Куб – минимальный элемент этого порядка. Заметим, что его тип равен . Та же индукция, что и выше, показывает, что в терминах типов кубов порядок на стандарном кубильяже капсида совпадает с лексикографическим порядком на множестве подмножеств размера в . Например, при этот порядок выглядит так:
[TABLE]
Для антистандартного кубильяжа капсида порядок тоже линейный, но в терминах типов меняется на противоположный, антилексикографический, .
Мы оставляем как упражнение разбор следующего по сложности случая: стандартного кубильяжа зонотопа . Ответ для стандартного кубильяжа зонотопа изображен на рис. 12.333Отметим аналогию с рисунками колчанов в [24, Table 1].
При рассмотрении естественного порядка на общем кубильяже важную роль играет следующее соображение. Каждый капсид (то есть подзоногон в кубильяже ) задает свой тип , подмножество размера в . В свою очередь, пусть – произвольное подмножество размера . Рассмотрим в множество , состоящее из кубов , типы которых содержатся в . Число таких кубов равно , и они параметризуются своими типами , где пробегает . В совокупности эти кубы представляют как бы ‘разбежавшийся’ капсид (настоящий капсид состоит из кубов, тесно прижатых друг к другу). Редуцируя цвета, не входящие в , мы ‘прижмем’ эти кубы друг к другу. Более точно, пусть обозначает кубильяж, полученный из редукцией всех цветов, не принадлежащих . Как множество, отождествляется с . Кубильяж является кубильяжем капсида и поэтому либо стандартный, либо антистандартный. И так как (см. Пример 3 выше) естественный порядок на совпадает с порядком на , то он во-первых, линейный (то есть - это цепь для ), и во-вторых, в терминах типов он либо лексикографический, либо антилексикографический. Причем какой – легко понять. В множестве как подмножестве есть максимальный элемент, пусть это . Тогда все определяется тем – будет ли куб с типом расположен раньше перегородки цвета в (и тогда – минимальный элемент в , а порядок лексикографический), либо позже перегородки (и тогда куб максимален, а порядок на подмножестве антилексикографический).
Итак, ограничения на такие ‘капсидо-подобные’ системы в являются линейными порядками (цепями). В свою очередь, эти цепи однозначно определяют . Более точно,
Предложение 9
Естественный порядок на кубильяже – это транзитивное замыкание цепей по всем размера .
Для доказательства достаточно проверить, что если для кубов и кубильяжа , то и встечаются в некотором ‘разбросанном’ капсиде . В самом деле, надо взять в качестве объединение типов и ; так как эти кубы соседние, размер равен .
Таким образом, естественный порядок на кубильяже можно было бы определять не через отношение ‘непосредственного следования’, но через цепи размера . Мы вернемся к этому обстоятельству в комбинаторной части.
11 Стэки и мембраны
Определение. Подмножество кубов в называется стэком, если с каждым кубом подмножество содержит и меньшие (относительно или ) кубы. Иными словами, это порядковый идеал в посете . Телом стэка называется подмножество в , являющееся объединением кубов, входящих в , плюс множество точек видимой границы зонотопа .
Интерес стэков вызван тем, что они задают мембраны кубильяжа . В самом деле, любая прямая, параллельная -ой оси координат, проходя внутри зонотопа , сначала идет по телу стэка , потом в какой-то момент пересекает границу стэка и уже не возвращается в стэк. Множество этих ‘последних’ точек стэка образует мембрану в кубильяже . В самом деле, оно состоит из фасет кубильяжа и биективно проектируется на . Обратно, если – мембрана кубильяжа , и мы соберем все кубы, расположенные до мембраны, мы получим стэк . Очевидно, что эти операции взаимно обратны, и мы получаем
Предложение 10
Множество стэков в кубильяже и множество мембран естественно биективны.
Следствие. Зонотоп имеет различных кубильяжей.
Доказательство. Согласно Предложению 2 из раздела 6, задать кубильяж зонотопа – это то же самое, что задать мембрану в некотором кубильяже капсида . У последнего имеется всего два кубильяжа – стандартный и антистандартный. И на каждом из них естественный порядок является цепью (длины ). Соответственно, имеется стэка, а в силу предыдущего предложения – мембраны.
Легко понять, что посет состоит из двух ветвей кольца размера , как на рисунке 13.
Мембраны в кубильяже естественно упорядочены: мы говорим, что мембрана кубильяжа встречается раньше, чем мембрана , если любая прямая, параллельная , пересекает не позже, чем . В терминах стэков это в точности отношение включения соответствующих подмножеств в ). Мы получаем отсюда следующие утверждения.
Предложение 11
a)* Множество мембран кубильяжа образует дистрибутивную решетку.*
b)* Эта решетка градуирована (как и любая дистрибутивная, см. [18], 3.4); ранг мембраны равен числу элементов в стэке .*
c)* Для любой мембраны , если она не максимальна, существует куб , который всеми своими видимыми фасетами входит в мембрану . Добавление этого куба приводит к мембране , которая отличается от повышающим флопом. *
Таким образом, мы видим, что любую мембрану в можно соединить с минимальной мембраной (видимой частью границы зонотопа) понижающими флопами (а с максимальной мембраной – повышающими флопами). А это означает также, что кубильяж зонотопа можно превратить в стандартный кубильяж зонотопа серией понижающих флипов.
12 Существование флипов
Понятие флипа уже вводилось в разделе 8 как замена одного кубильяжа капсида в другим кубильяжем. Здесь мы покажем существование флипов.
Теорема 1
Пусть – кубильяж зонотопа . Если кубильяж отличен от стандартного, то в нем можно сделать понижающий флип.
Иными словами, если в кубильяже нельзя сделать понижающий флип, то он стандартный. Верно, конечно, и обратное: стандартный кубильяж не допускает понижающих флипов. Это видно, например, из того, что стандартный кубильяж реализуется видимой, или передней, мембраной в (любом) кубильяже зонотопа , и ‘отступать назад’ от такой мембраны уже некуда.
Доказательство. Рассмотрим перегородку цвета в . Если она проходит вплотную к невидимой стороне , мы просто ‘выбросим’ ее как из , так и из , и получим кубильяж зонотопа . Если этот кубильяж стандартный, тогда и - стандартный, вопреки предположению. Поэтому кубильяж зонотопа не стандарный, и по индукции мы можем сделать в нем (а поэтому и в ) понижающий флип.
Таким образом мы можем считать, что перегородка не примыкает к невидимой части границы зонотопа , и за этой перегородкой реально есть кубы. Возьмем среди таких кубов (строго за перегородкой ) минимальный куб относительно естественного порядка на . Этот куб всей видимой стороной примыкает к перегородке . И если мы добавим к этому кубу все кубы из перегородки , которые примыкают к , мы получим желаемый подзонотоп (капсид). В самом деле, эти кубы устроены как суммы отрезка на видимые фасеты . И мы получаем подзонотоп типа , где - тип куба . Это как раз такой набор кубов, с которым можно делать понижающий флип, см. раздел 8.
В результате такого понижающего флипа с участием цвета мы передвигаем (отодвигаем) перегородку цвета ‘на один куб’ по направлению к невидимой границе зонотопа . Двигаясь так шаг за шагом, мы передвинем эту перегородку вплотную к невидимой границе . Однако мы могли бы сделать это сразу, за один ‘большой’ шаг. Для этого обозначим через множество кубов нашего кубильяжа , расположенных ЗА перегородкой . После этого ‘сдинем’ весь этот набор кубов на вектор . В результате это множество передвинется вплотную к передней (видимой) границе перегородки и образует кубильяж зонотопа . Если мы добавим к этому зонотопу произведение (сумму) его невидимой границы на отрезок (иными словами, сделаем эспансию этого кубильяжа вдоль ‘задней’ мембраны зонотопа по цвету ), мы получим исходной зонотоп и новый его кубильяж, в котором новая перегородка цвета примыкает к невидимой стороне . Такую ‘крупную’ перестройку кубильяжа можно было бы назвать ‘большим флипом’, или обвалом, см. рис. 14.
В результате такого обвала мы получаем кубильяж зонотопа . С ним можно проделать такую же операцию подъема перегородки цвета , и так далее. Эту последовательность из обвалов можно назвать стандартизацией кубильяжа , потому что после каждого шага (обвала) кубильяж становится ‘все более стандартным’, а в конце процесса – полностью стандартным. Главное преимущество стандартизации – ее каноничность; если понижающие флипы мы могли делать в разных местах и в разной последовательности, то обвалы определены однозначно.
Симметрично можно делать ‘антистандартизацию’ кубильяжа, прижимая (на первом шаге) перегородку к видимой границе зонотопа и продолжая в таком же духе; в результате через шагов мы получим антистандартный кубильяж.
Уже говорилось, как с помощью флипов вводится порядок на множестве кубильяжей зонотопа . А именно, мы полагаем , если от до можно добраться с помощью последовательности повышающих флипов. Циклов при этом быть не может, так что это отношение действительно является отношением частичного порядка на множестве . Фактически, именно этот посет Манин и Шехтман называли высшим порядком Брюа и обозначали . Теорема 1 говорит, что этот посет обладает минимальным (стандартный кубильяж) и максимальным (антистандартный кубильяж) элементами. Подобные посеты часто оказываются решетками. И действительно, первый посет Брюа (т. н. слабый порядок Брюа) является решеткой. При малых посет тоже решетка (см. рисунок посета в [19]), но уже не является решеткой, [10]. Более того, этот посет в общем случае не есть посет вершин многогранника, [19]. И все же это градуированный (ранговый) посет.
13 Мембраны в зонотопе
До сих пор мы занимались мембранами в кубильяже. Теперь мы введем более общее понятие мембраны в зонотопе . Это снова -мерный кубический комплекс , расположенный в , причем выполнены два свойства (заимствованные у мембран в кубильяжах):
-
(точнее, тело ) проектируется биективно на ,
-
ребра конгруэнтны векторам (впрочем, при это выводится из свойства 1) примерно как в Лемме 1).
Проекции кубов из дают -мерный кубильяж зонотопа , который мы снова обозначаем как . Обратно, если – кубильяж зонотопа , мы можем (единственным способом) построить мембрану , для которой . Делается это так. Для любой вершины кубильяжа мы задаем вершину как . После этого организуем эти вершины в кубильяж, повторяя организацию в кубы вершин кубильяжа . Или чуть иначе: мы строим мембрану (точнее – тело этой мембраны) как некоторое естественное (кусочно линейное) сечение зонотопа (сечение относительно проекции ). Как уже говорилось, каждая точки кубильяжа однозначно записывается через вектора ; остается переписать это через . Тем самым,
Множество мембран в зонотопе отождествляется с множеством кубильяжей зонотопа .
Поясним на примере . Кубильяж зоногона - это ромбической тайлинг, чисто двумерная фигура. Переход к мембране в делает ее более рельефной: это как переход от плоского чертежа к трехмерному макету. Флипы, выглядящие как искусственные перетасовки ромбов, превращаются в более наглядные изгибания пленок-мембран. Однако пока наши мембраны ‘висят в воздухе’. Следующее утверждение исправляет этот дефект.
Теорема 2
Для любой мембраны зонотопа существует кубильяж этого зонотопа , для которого она является мембраной.
Иными словами, мембрана вписывается в некоторый кубильяж .
Доказательство. Обозначим через область в перед мембраной . Воспользуемся Теоремой 1. Делая с мембраной понижающие флопы (точнее, мы делаем флипы с кубильяжем ), а потом поднимаем их на мембраны), мы получаем серию мембран, идущую от до ‘передней’ мембраны, то есть до видимой части границы . Тем самым мы получаем кубильяж области .
Аналогично можно поступить с областью за мембраной; вместе они дадут кубильяж: в который вписана мембрана .
Более того, если делать каноническую стандартизацию кубильяжа , мы получим канонический (или ‘стандартный’) кубильяж области в зоногоне Z. ‘Стандартность’ этого кубильяжа проявляется в том, что в нем нельзя сделать понижающий флип.
Симметрично можно поступить с областью , расположенной в после мембраны . Мы получим каноническое (‘антистандартное’) заполнение этой области. Объединяя эти два кубильяжа, мы получаем кубильяж уже всего зонотопа , в котором является мембраной. Мы называем этот стандартно-антистандартный кубильяж зонотопа каноническим расширением мембраны (или каноническим подъемом кубильяжа ).
Замечание. Рассуждая как при доказательстве Теоремы 1, можно показать, что если кубильяж области отличен от стандартного (см. выше), то в нем можно сделать понижающий флип. Это показывает, что кубильяжи области (как и кубильяжи всего зонотопа) связаны флипами. Аналогичное замечание верно и для кубильяж области .
Мембраны служат как бы средством, связывающим кубильяжи соседних размерностей. Кубильяж представляется ‘сетью’ мембран, а тем самым ‘сетью’ кубильяжей на 1 меньшей размерности. Напомним, что – это множество кубильяжей зонотопа . Скажем, что кубильяжи из и из согласованы, если поднимается до мембраны в (так что ). Отношение согласованности можно рассматривать как соответствие из в . Описанный выше канонический подъем кубильяжей задает сечение этого соответствия .
Обилие связей между кубильяжами побуждает взглянуть на них с категорной точки зрения. Мы поговорим об этом в Дополнении 1 про поликатегории.
Часть вторая, комбинаторная
Под комбинаторным подходом к кубильяжам мы понимаем изучение систем подмножеств базисного множества , генерируемых кубильяжами. Мы уже встречались с этим, когда рассматривали типы кубов кубильяжа. Однако если брать только типы кубов, то любой кубильяж дает все множество-грассманиан . Чтобы отразить специфику конкретного кубильяжа , нужно перенести на естественный порядок . Это перебрасывает мост между геометрическим подходом и подходом, который использовали Манин с Шехтманом [8, 14] и Циглер [10]. Напомним, что Манин и Шехтман, создатели высших порядков Брюа, работали именно в терминах порядков на .
Другой выход в комбинаторику открывает понятие спектра. Если мы соберем в одну систему спектры всех вершин кубильяжа , то получим интересную систему подмножеств в . Главное свойство таких систем – свойство разделенности, впервые обнаруженное Леклерком и Зелевинским [6] в случае и обобщенное и исследованное затем Галашиним и Постниковым [11, 12].
В процессе работы нам постоянно придется иметь дело с подмножествами и системами подмножеств в . Само базисное множество можно понимать как аналог -мерного векторного пространства (над произвольным полем, или над ‘полем’ из одного элемента). С этой точки зрения подмножество в размера надо понимать как аналог векторного подпространства размерности . Из-за этого множество всех подмножеств размера мы называем ‘дискретным грассманианом’ и обозначаем (вместо обычного обозначения ). Аналогом полного флага подпространств служит неуплотняемая цепь подмножеств в , то есть фактически линейный порядок на . Напомним, что мы рассматриваем как множество (цепь) с естественным порядком , что означает, что мы как бы фиксируем некоторый полный флаг.
Для удобства идентификации элементы базисного множества мы называем цветами и используем обычно буквы и т.д.; подмножества в обозначаются буквами и т.д. и называются часто просто множествами. Для краткости множество вида обозначается обычно как . Подмножества в называются системами множеств и обозначаются рукописными буквами (типа или ).
14 Допустимые порядки
Если – куб некоторого кубильяжа зонотопа , то он определяет (и определяется) двумя множествами: спектром нижней (корневой) вершины , , и типом . Эти два подмножества не пересекаются, и второе имеет размер . Фактически это уже упоминавшаяся кодировка знаковыми векторами; . Согласно Предложению 1, отображение типа задает биекцию множества всех кубов кубильяжа с грассманианом . Если перенести с помощью этой биекции естественный порядок на (см. раздел 9), мы получим некоторый порядок на грассманиане .
Предложение 12
Порядок определяет кубильяж .
Иначе говоря, он позволяет однозначно восстановить кубильяж.
Доказательство. Пусть есть два кубильяжа и зонотопа с одним и тем же порядком на . И пусть – (порядковый) идеал в ; покажем индукцией по размеру , что кубы (в и , соответствующие (то есть ), расположены в одинаково. Пусть – максимальный элемент в , и . По индуктивному предположению кубы, соотвествующие , расположены в одинаково. И лежат в ‘передней’ части относительно некоторой мембраны . Тогда куб (в с типом ) примыкает всей своей видимой границей к определенному участку (капсиду) этой мембраны , точно так же, как и куб (из с типом ). То есть они примыкают к одному и тому же участку и потому совпадают.
Можно пояснить это и чуть иначе. Пусть (соотв., ) – кубы в кубильяжах (соотв., ) с одним и тем же типом (скажем, ). И пусть и – их корневые вершины. Достаточно показать, что . Возьмем какую-нибудь видимую фасету куба (с типом для некоторого ), и рассмотрим часть тоннеля типа , идущую от и передней границе зонотопа . Мы не знаем, как проходит этот тоннель, но мы знаем, что он составлен из кубов , которые a) лежат в идеале , и b) содержат в своем типе . Этот тоннель выходит к передней части границы по единственной фасете типа . Обозначим его корневую вершину как . Тогда мы получаем, что , где сумма берется по тем , что принадлежит . Знаки же определяются как знаки определителя , где пробегает . Так как это выражение зависит от и от , но не от , то .
Полученное утверждение поднимает вопрос о том, какими условиями выделяются порядки вида . Одно такое условие подсказывает Предложение 9 раздела 10. Назовем родителем подмножество в размера , а его семьей – систему подмножеств размера в . (Иначе говоря, это образ в при естественном вложении. Манин и Шехтман называли это пакетом.) У семьи есть два выделенных линейных порядка, а именно, лексикографический и противоположный к нему антилексикографический . Если , то лексикографический порядок на имеет вид
[TABLE]
а антилексикографический – противоположный.
Определение. Частичный порядок на называется допустимым, если его ограничение на любую семью (где – произвольное множество размера ) есть лексикографический или антилексикографический порядок.
Разумеется, любое усиление допустимого порядка также допустимое. В частности, любое линейное расширение. Манин и Шехтман работали именно с линейными допустимыми порядками.
В этих терминах Предложение 9 утверждает, что порядок на , индуцированный некоторым кубильяжем, допустим. Оказывается, это условие не только необходимое, но и в каком-то смысле достаточное.
Теорема 3
Пусть – допустимый порядок на . Тогда существует (и притом единственный, см. Предложение 12) кубильяж , такой что – усиление .
Чтобы сделать идею доказательства более понятной, представим, что порядок уже происходит из кубильяжа . Пусть - перегородка цвета ; произведем редукцию цвета . В результате перегородка сожмется на мембрану , а кубильяж редуцируется в кубильяж зонотопа . как множество кубов естественно вкладывается в . И ограничение естественного порядка кубильяжа на сильнее естественного порядка на (Предложение 7 из раздела 9). Так что ограничение на – допустимый порядок, и по индукции мы можем восстановить . Остается восстановить еще и мембрану . Но она задается множеством (типов) кубов, расположенных в до мембраны. Или, что то же самое, множеством кубов, расположенных в до перегородки. Пусть – такой куб, и – его тип. Рассмотрим родителя и его семью как набор кубов в . Эта семья ‘начинается’ с и затем идут кубы из перегородки , так как их типы содержат цвет . Из этого следует, что – минимальный член этой семьи. Напротив, если куб взят за перегородкой, то – максимальный член семьи. Таким образом, кубы (в ) до мембраны – это те кубы, тип которых минимален в семье с родителем . (Все это пояснение можно рассматривать как третье доказательство Предложения 12.)
Теперь перейдем к доказательству, которое представляет собой обращение предыдущих аргументов. Мы начинаем с допустимого порядка на . Ограничиваем его на ; очевидно, что это снова допустимый порядок на . По индукции он происходит из некоторого кубильяжа зонотопа . Теперь образуем подмножество в , состоящее из таких , что ограничение на семью родителя – лексикографический порядок.
Мы утверждаем, что – идеал относительно естественного порядка на . В самом деле, пусть и , то есть непосредственно предшестует кубу в кубильяже (см. раздел 9). Нужно показать, что тоже принадлежит . Предположим противное, что ограничение на семью родителя – антилексикографический порядок. В частности, – максимальный элемент в семье . В свою очередь, – минимальный элемент в семье . Кубы и имеют общую фасету , так что тип , , содержится как в , так и в . Поэтому множество лежит как в семье , так и в семье . Отсюда следует, что и по транзитивности . Но это противоречит тому, что и, следовательно, .
Итак, – идеал в . Этот идеал определяет мембрану в ; делая экспансию цвета в этой мембране, мы получаем кубильяж (см. Предложение 4 раздела 6). Остается убедиться, что исходное отношение сильнее, чем отношение . То есть если куб непосредственно предшествовал кубу в кубильяже , , то .
Это очевидно, если и лежат в . Это почти очевидно, если один из кубов лежит в перегородке (полученной экспансией мембраны ), а другой – нет. Пусть, к примеру, лежит в перегородке, а – нет. Тогда куб расположен до перегородки. По построению идеала семья ‘лексикографическая’, и – минимальный член этой семьи, откуда .
Осталось рассмотреть случай, когда и лежат в перегородке. Делая редукцию всех цветов, не вошедших в , мы можем считать, что наш кубильяж – один из двух кубильяжей капсида, где утверждение очевидно в силу результатов раздела 10. Это завершает доказательство теоремы 3.
Теорема 3 перебрасывает мостик между геометрическим подходом (кубильяжами) и подходом Манина-Шехтмана, основанным на рассмотрении допустимых порядков на грассманианах . Существование такой связи было анонсировано в работе Воеводского и Капранова [9] и более обстоятельно изложено в [20, Theorem 2.1].
Некоторое неудобство описания кубильяжей через допустимые порядки состоит в том, что разные порядки могут приводить к одному кубильяжу. Мы уже отмечали, что если – допустимый порядок, то любое его усиление тоже допустимый порядок и задает тот же кубильяж, что и . Чтобы восстановить однозначность, можно работать с минимальными допустимыми порядками. Конечно, это в точности порядки, порожденные (в смысле транзитивного замыкания) ограничениями на всевозможные семьи в . Такие минимальные допустимые порядки задаются указанием для каждого родителя (множества размера ), лексикографически или антилексикографически упорядочена семья этого родителя. Иначе говоря, отображением , где + соответствует лексикографии. Конечно, это назначение не может быть произвольным; надо, чтобы в результате получалось ацикличное отношение (ср. с Предложением 6). Вопрос о том, какие назначения дают ацикличность (и, следовательно, приводят к кубильяжам) мы обсудим в следующем разделе.
15 Инверсии
Раздел 13 позволяет рассматривать кубильяжи зонотопа как мембраны в зонотопе на единицу большей размерности. Это открывает еще один способ задания кубильяжей.
Пусть – кубильяж зонотопа . Реализуем его как мембрану в зонотопе . Согласно Теореме 2, существует (и как правило, не один) кубильяж зонотопа , в который вписана мембрана . Эта мембрана делит кубы кубильяжа на расположенные до и после . Кубы, расположенные до мембраны , соберем в множество . Это множество зависит, конечно, от кубильяжа , содержащего мембрану . Однако множество типов кубов из уже зависит только от мембраны , но не от . Это видно из следующей леммы.
Лемма 3
Пусть – куб кубильяжа , расположенный до (соотв., после) мембраны , и – тип куба . Тогда существует вершина мембраны , такая что (соотв., ).
Доказательство. Произведем редукцию всех цветов, отличных от цветов . В результвте мы получим зонотоп (состоящий из единственного куба ) и мембрану в . Пусть располагался до мембраны ; тогда куб тоже располагается до мембраны , то есть мембрана – это невидимая часть границы . Пусть теперь – это ‘голова’ куба (см. раздел 7) ; как мы знаем, ее спектр равен . Пусть – ‘прообраз’ в мембране , то есть та вершина мембраны , которая редуцировалась в . Ясно, что отличается от только цветами, не входящими в , откуда .
Аналогично рассуждаем в случае, когда располагается после мембраны.
Замечание. Менее техническое рассуждение такое. Кубильяжи области в зонотопе , расположенной перед мембраной , могут быть получены друг из друга с помощью флипов (см. замечание из раздела 13). А флипы не меняют типы кубов, но лишь переставляют их.
Пусть – кубильяж зонотопа , – соответствующая мембрана в зонотопе (так что ), а – некоторый кубильяж , содержащий мембрану (такой существует по Теореме 2).
Определение. Системой инверсий кубильяжа называется система в (независящая от выбора в силу Леммы 3). Система обозначается также как .
То же рассуждение, как при доказательстве Леммы 3 (с редукцией всех цветов, не входящих в тип куба ), дает еще одно описание системы инверсий:
Предложение 13
Родитель принадлежит тогда и только тогда, когда семья этого фатера в упорядочена отношением антилексикографически.
Или
.
Например, система для стандартного кубильяжа пустая. Напротив, для антистандартного кубильяжа – все . Когда мы делаем повышающий флип в кубильяже , мы добавляем к домембранным кубам еще один куб. Так что при этом система увеличивается на один элемент.
Важное свойство системы инверсий в том, что она позволяет однозначно восстановить кубильяж .
Предложение 14
Отображение инъективно.
Доказательство. Из Предложения 13 следует, что порядок определяет . Но порядок порождается порядками на семьях, а система как раз и показывает, какая семья упорядочена антилексикографически.
Как в предыдущем разделе, это поднимает вопрос о том, какие системы в являются ‘инверсными’, то есть происходят (с помощью ) из кубильяжей . Вопрос был решен Циглером в статье [10] (хотя фундамент для решения был заложен в более ранней работе Лас Вернаса [21]). Введем следующее
Определение. Множество в называется консистентным, если для любого размера семья этого родителя пересекается с по начальному или конечному отрезку (семья располагается в лексикографическом порядке).
Лемма 4
Для любой мембраны в система образует консистентное подмножество в .
Доказательство. Включим мембрану в кубильяж зонотопа , и пусть – естественный порядок на , а – соответствующий (допустимый) порядок на грассманиане . Мы знаем из раздела 11, что – это идеал относительно . С другой стороны, для любой семьи порядок индуцирует лексикографию или антилексикографию. В первом случае пересечение с будет идеалом относительно лексикографического порядка, то есть начальным отрезком. Во втором – идеалом относительно противоположного порядка, то есть конечным отрезком.
Теорема 4
Обратно, пусть – консистентная система в . Тогда существует мембрана в зонотопе , для которой .
Мембрана единственна, согласно Предложению 14.
Доказательство. Рассмотрим подсистему в , состоящую из множеств , не содержащих цвет . Система лежит в и тоже консистентна. Поэтому по индукции реализуется некоторой мембраной в , так что . Дополним эту мембрану до кубильяжа зонотопа (Теорема 2). И затем сделаем экспансию по цвету мембраны в . Мы получаем кубильяж зонотопа , редукция которого равна ; в частности, мембрана ‘утолщается’ до перегородки в цвета . Кубы кубильяжа , типы которых принадлежат , лежат в .
Мы утверждаем, что является стэком (идеалом) в кубильяже ; в этом случае – это мембрана, соответствующая стэку . Для этого нужно проверить, что если – два куба из перегородки , и принадлежит , то и принадлежит . Но кубы и соседние, поэтому объединение их типов, то есть имеет размер . Рассмотрим семью этого родителя , расположенную лексикографически. Минимальным элеменом (‘начальным членом’) этой семьи служит множество ; пусть – куб в с типом . Этот куб не принадлежит перегородке , поэтому он лежит либо до перегородки, либо после нее.
Рассмотрим случай, когда лежит до перегородки. Тогда в естественном порядке на это минимальный элемент, и семья упорядочена лексикографически. В силу консистентности весь интервал между и принадлежит , и, в частности, множество . Так что принадлежит .
Аналогично рассматривается случай, когда лежит после перегородки. В этом случае – максимальный элемент (относительно ограничения на семью ), и не принадлежит . Значит естественный порядок на антилексикографический, в нем идет после , и снова из консистентности принадлежит .
Таким образом, мы имеем два эквивалентных (лучше сказать – криптоморфных) описания кубильяжей : как (минимальных) допустимых порядков на (Манин-Щехтман) и как консистентных подмножеств в (Циглер). Имея такие описания, можно переписывать на соответствующий язык разные понятия и конструкции с кубильяжами. Например, повышающий флип соответствует увеличению консистентного множества на один элемент. Так что отношение для кубильяжей (см. раздел 8) согласовано с отношением включения для консистентных множеств: если , то . Обратное свойство верно, если (классической свойство слабого порядка Брюа) или ([22, 23]), но нарушается для больших (Циглер в [10] привел контрпример при ). В следующем разделе мы приведем еще одно описание (инициированное Леклерком и Зелевинским [6] и развитое Галашиным и Постниковым [12]), в терминах систем спектров вершин кубильяжа.
16 Отношение разделенности
Напомним, что с каждой вершиной кубильяжа зонотопа мы связывали подмножество в – спектр вершины. Когда пробегает все вершины , мы получаем систему , подмножество в . В разделе 4 было показано, что система однозначно определяет кубильяж . Поэтому естественно встает вопрос – какими свойствами обладают такие системы?
Первое свойство – это ее размер. В разделе 2 было показано, что размер системы равен . Этого, конечно, мало, чтобы характеризовать такие системы. Второе важное структурное свойство состоит в том, что любые два множества из являются ()-разделенными.
Определение. Два подмножества и в называются -разделенными ( – натуральное число), если не существует возрастающей цепочки (размера ) , такой что элементы с четными номерами лежат в одном из множеств или , а элементы с нечетными – в другом. Это симметричное и рефлексивное отношение обозначим как . Система подмножеств называется -разделенной, если любые два ее члена -разделены.
Иными словами, и -разделены, если множество можно разбить на интервал (некоторые могут быть пустыми), так что лежит в одной части этих интервалов, а – в другой части.
Такие интервалы удобно задавать ‘разделителями’ (сепараторами), то есть точками на вещественной прямой, так что интервал состоит из целых точке , удовлетворяющих неравенствам (считая , ).
Отношения слабеют с ростом , . Рассмотрим несколько первых членов этой серии отношений.
Пример 0. Отношение означает, что множества и сравнимы по включению: или . Можно также сказать, что отношение это отношение равенства =.
Пример 1. – это отношение сильной разделенности, введенное Леклерком и Зелевинским в [6]. Оно означает, что после удаления общей части либо располагается левее (), либо располагается левее .
Пример 2. – это отношение хорд-разделенности, исследованное в [11].
Отношения разделенности имеют непосредственное отношение к кубильяжам. Это показывает
Предложение 15
Пусть – кубильяж зонотопа . Тогда для любых двух вершин и кубильяжа множества и -разделены.
Иными словами, система -разделенная. Например, для любого ромбического тайлинга система 1-разделена – факт, замеченный в [6]. Или другой, крайний случай. Рассмотрим, как в разделе 7, куб . У него есть две ‘выступаюшие’ точки – хвост и голова . Спектр головы – , спектр хвоста – , В совокупности эти элементы, чередуясь, покрывают все . Поэтому множества и являются -разделенными (но не -разделенными). Если же мы ‘сплющим’ (спроектируем) этот куб в капсид , точка превратится во внутреннюю (центральную) точку стандартного кубильяжа зонотопа и, как легко проверить, будет -разделена со всеми другими вершинами этого кубильяжа. Но она не -разделена с проекцией точки , центральной точкой другого, антистандартного кубильяжа.
Доказательство предложения 15. Предположим, что и не ()-разделены. Тогда существуют элементы-цвета , такие, что принадлежат, скажем, , а принадлежат . Делая редукцию по всем цветам, отличным от , мы получаем кубильяж капсида . И в нем две точки и (образы и при редукции) со спектрами и . Но, как мы видели выше, эти точки лежат в разных кубильяжах, одна – в стандартном ( при нечетном и при четном), а другая – в антистандартном.
В следующем Предложении мы опишем спектр стандартного (и антистандартного) кубильяжей зонотопа .
Предложение 16
Пусть – вершина стандартного кубильяжа зонотопа . Тогда существует разложение на последовательный интервал, так что . Обратно, любое множество такого вида есть спектр некоторой вершины стандартного тайлинга.
Для антистандартного кубильяжа спектры вершин имеют вид .
Доказательство. Стандартный кубильяж зонотопа получается из стандартного же кубильяжа путем экспансии (добавления) цвета вдоль задней (невидимой) мембраны (см. Пример из раздела 6). Поэтому спектр стандартного кубильяжа состоит из двух частей – первая состоит из множеств вида , где интервалы берутся из , а вторая получается из спектров вершин ‘задней’ мембраны (невидимой части границы зонотопа ) добавлением цвета . Но ‘задняя’ мембрана – это фактически антистандартный кубильяж зонотопа , и спектры ее вершин имеют вид , где интервалы снова берутся из . В первом случае нужно ‘подправить’ интервал , заменив его на интервал (заметим, что либо содержит цвет , либо пуст). Во втором случае мы добавляем новый интервал .
К примеру, для спектр стандартного кубильяжа состоят из -го интервала , . Соотвественно, спектры антистандартного тайлинга состоят из дополнительных интервалов: .
Для спектр стандартного ромбического тайлига состоит из произвольных интервалов в , тогда как спектр антистандарного тайлинга – из коинтервалов (дополнений к интервалам).
Для спектр стандартного кубильяжа состоят из т.н. ‘полуторных’ интервалов, то есть множеств вида , где .
Как следствие Предложения 16 мы получаем описание спектров периферийных вершин, то есть вершин зонотопа. Это в точности вершины, которые принадлежат одновременно стандартному и антистандартному кубильяжам. Тут удобно ввести понятие интервального ранга подмножества как минимального числа , такого что представляется как объединение интервалов .
Следствие 1. Множество является спектром периферийной вершины зонотопа тогда и только тогда, когда сумма интервальных рангов и дополнительного множества не больше .
В частности, если размер некоторого множества не больше, чем (то есть ), то соответствующая точка является периферийной, то есть вершиной зонотопа . Иными словами, внутренние (не лежащие на границе зонотопа) целые точки появляются только на высоте и выше. Этот факт тесно связан с явлением, обычно упоминаемым при обсуждении циклических политопов (см., например, [5, Пример 0.6]). А именно, что любое множество вершин циклического политопа размера не больше принадлежит некоторой грани этого политопа.
Следствие 2. Спектр периферийной вершины -разделен с любым подмножеством в .
Это утверждение коррелирует с Предложением 3, которое утверждает, в частности, что любая ‘целая’ точка вписывается в некотрый кубильяж.
17 Разделенность и кубильяжи
Мы уже получили, что система для кубильяжа зонотопа является -разделенной и имеет размер . Теперь пойдем в обратном направлении и покажем, что система с такими свойствами получается как спектр некоторого кубильяжа. Для начала покажем, что число – это верхняя граница для размера -разделенной системы в .
Предложение 17
Пусть – -разделенная система подмножеств в . Тогда ее размер не превышает .
Доказательство. Разобьем на две части: , члены которой не содержат цвет , и , члены которой содержат . Обозначим через систему множеств вида , где пробегает . Очевидно, что размер равен размеру . Легко понять, что – ()-разделенная система в , поэтому (по индукции) ее размер не превосходит .
Рассмотрим теперь пересечение . Оно состоит из множеств , которые принадлежат , причем тоже принадлежит . Мы утверждаем, что система ()-разделенная. В самом деле, предположим, что в есть множества и , которые не -разделенные. Значит есть последовательность , такая, что члены с четными индексами принадлежат (скажем) , а с нечетными – . Но тогда последовательность обладает тем же свойством либо для и , либо для и . Это противоречит предположению о ()-разделенности .
Снова по индуктивному предположению размер не превосходит . Отсюда размер , равный сумме размеров и , то есть сумме размеров и , не превосходит .
Ввиду Предложения 17 ()-разделенные системы в размера называают максимальными по размеру, противопоставляя это максимальности по включению. Следующий результат установлен Галашиным и Постниковым [12] в несколько большей общности (они не ограничивались кубильяжами циклических зонотопов).
Теорема 5
Пусть – -разделенная система в размера . Тогда она имеет вид для некоторого (единственного) кубильяжа зонотопа .
Доказательство. Оно близко к доказательству Предложения 17. Снова разделим на и и обозначим как выше. Тогда из доказательства Предложения 17 следует, что размер равен , а размер пересечения равен . По индукции мы можем считать, что система реализуется некоторым кубильяжем в , а пересечение – кубильяжем зонотопа . Очевидно, что реализуется мембраной в кубильяже . Остается взять в качестве экспансию по цвету кубильяжа вдоль этой мембраны. На уровне спектров это сведется к замене всех множеств из на множества . Так что .
Таким образом, мы получаем еще одно криптоморфное воплощение кубильяжей. И снова можно в этих новых терминах пересказывать разные конструкции.
Приведем еще один интересный пример разделенных систем.
Предложение 18
Пусть и – две мембраны в зонотопе , причем . Тогда система -разделена.
Доказательство. Пусть это не так, и некоторые множества и не -разделены. Тогда сушествует последовательность элементов из , которые поочередно лежат то в , то в . Рассмотрим случай, когда в лежат элементы (а элементы лежат в ), и образуем -элементное множество . По Лемме 3, примененной к , мы получаем, что является инверсным для мембраны , а значит и для мембраны . Но по той же Лемме 3 мы получаем, что множество неинверсное для мембраны .
Аналогично разбирается случай, когда элементы лежат в . Однако теперь мы образуем -элементное множество . По Лемме 3 неинверсное для мембраны , а значит и для . Но по той же лемме инверсное для .
18 Чистота и расширяемость
Предложение 17 поднимает следующий вопрос – когда данная ()-разделенная система подмножеств в расширяется до системы максимального размера, то есть до ()-разделенной системы размера ? Или, в терминах раздела 4, когда соответствующее множество целых точек зонотопа вписывается в некоторый кубильяж этого зонотопа. Если это так, система называется расширяемой (или, точнее, -расширяемой). Если любая ()-разделенная система расширяема, то говорят, что для пары выполнено свойство чистоты.
Например, мы видели в разделе 4, что любая одноэлементная система (то есть любое подмножество в ) расширяема. Согласно Теореме 2 из раздела 13 любая мембрана вписывается в кубильяж. Покажем, что любая двухэлементная система расширяема.
Предложение 19
Пусть и – два ()-разделенных подмножества в . Тогда двухэлементная система расширяема.
Доказательство. Будем доказывать индукцией по . Предположим, что цвет не входит в и . Тогда их можно рассматривать как подмножества в . По индукции множества и вписываются в кубильяж зонотопа . Остается сделать экспансию по цвету (см. раздел 4) относительно невидимой (в направлении ) части границы этого зонотопа.
Аналогично рассуждаем в том случае, когда цвет входит как в , так и в . Только теперь надо делать экспансию по цвету относительно видимой по этому цвету части границы зонотопа.
Таким образом, все сводится к случаю, когда множества и дополнительны друг к другу в . Пользуясь интервальным представлением, мы видим, что и образованы из чередующихся интервалов в некотором разложении цепи на последовательно идущие непустые интервалы. В силу ()-разделенности и мы имеем . Но это означает, что и (точнее, реализующие их точки и ) принадлежат ‘периферии’ зонотопа и потому вписываются в любой кубильяж.
Как мы увидим в следующем разделе, это утверждение уже неверно для трех множеств. Это означает, что свойство чистоты выполнено не для любых . А для каких же?
Тривиально чистота имеет место для . Чистота для была установлена Леклерком и Зелевинским в семинальной работе [6] (см. также наш обзор [7]). Чистота для установлена в работе Галашина [11]. Кроме того, по тривиальным причинам чистота имеет место для (капсиды). Этими случаями и исчерпывается чистота, как показано в [12]. В следующем разделе мы более подробно рассмотрим случай при и приведем простые и явные примеры нерасширяемых систем. Для распространения таких результатов на случай полезны будут следующие два факта.
Предложение 20
Пусть . Система -расширяема тогда и только тогда, когда она (рассмотренная как система подмножеств в ) -расширяема.
Доказательство. Пусть -расширяема. Тогда она ()-разделенная и реализуется как подмножество вершин некоторого кубильяжа зонотопа . Пусть кубильяж зонотопа получен из экспансией по цвету относительно невидимой (задней) мембраны . Так как , то вписывается в .
Обратно, пусть вписывается в некоторый кубильяж зонотопа . И пусть – перегородка цвета в . Так как множества из не содержат цвет , эта система вершин лежит (нестрого) до перегородки . Поэтому при редукции мы получим кубильяж зонотопа , в который вписывается.
Предложение 21
Пусть – -разделенная система подмножеств в , и . Образуем систему , . Система -расширяема тогда и только тогда, когда система -расширяема.
Доказательство. Пусть -расширяемая, то есть вписывается в некоторый кубильяж зонотопа . Реализуем как мембрану в некотором кубильяже зонотопа , так что образует часть вершин . Пусть, наконец, – экспансия по цвету относительно этой мембраны ; это некоторый кубильяж зонотопа . При этом мембрана расширяется до перегородки цвета в . Система лежит на одной (видимой) стороне этой перегородки, тогда как лежит на другой (невидимой) стороне перегородки . Откуда видно, что вписывается в .
Обратно, пусть система (как множество целых точек в зонотопе ) вписывается в некоторый кубильяж зонотопа . Рассмотрим перегородку цвета в . Ясно, что располагается на одной стороне этой перегородки, тогда как – на другой (и получается из сдвигом на вектор ). Редукция этой перегородки приводит к кубильяжу зонотопа ; при этом перегородка сжимается до мембраны , а системы и сливаются в одну систему точек на этой мембране. Остается спроектировать эту мембрану и получить кубильяж зонотопа , содержаций систему как подмножество вершин.
Следствие. Пусть – нерасширяемая система в зонотопе , и . Тогда существует нерасширяемая система в зонотопе .
Мы говорили выше, что любая мембрана вписывается в кубильяж. Покажем, что не любая пара мембран (даже -разделенных) вписываются в кубильяж. Воспользуемся примером, построенным Циглером [10]. А именно, он построил две мембраны и в зонотопе (он задавал их в форме консистентных систем), которые обладали двумя свойствами: 1) , и 2) эти две мембраны не вписываются в один кубильяж зонотопа (справедливости ради надо сказать, что Циглер формулировал свойство 2) немного в других терминах). Так вот, в силу Предложения 19 объединение спектров и является 3-разделенной системой в , но не продолжающейся до максимальной по размеру. Это также дает пример отсутствия чистоты.
19 Случай
Здесь мы более подробно исследуем вопрос о расширяемых/нерасширяемых системах точек в . Мы уже касались в разделе 11 вопроса о кубильяжах таких зонотопов и выяснили, что их бывает штук, где . Мы подробно рассмотрим (в случае все 2-разделенные подсистемы расширяемы). На этом простом примере видны почти все эффекты общего случая .
При малом почти все целые точки лежат на границе зонотопа . Например, при только две точки не на границе. В случае непериферийных точек . В самом деле, по формуле (1.2) число периферийных точек равно . И так как все периферийные точки ()-разделены со всеми точками, то нам надо разобраться с разделенностью этих непериферийных точек-множеств. Здесь мы и начнем считать, что , а .
В этом случае имеется периферийных точек-множеств. Выпишем явно 12 непериферийных точек-множеств. Как было показано в Следствии 1 Предложения 16, периферийные точки задаются разбиением отрезка на последовательно идущих интервала; после этого надо взять объединение либо ‘четных’ интервалов, либо ‘нечетных’. В случае, когда , а , непериферийные точки-множества – это те, которые не укладываются (альтернированно) в четыре интервала, а должны задействовать 5 или 6 (непустых) интервалов. Понятно, что такие интервалы либо одноэлементные (и тогда их шесть), либо почти все одноэлементные, и только один интервал двухэлементный (и тогда интервалов пять). Выпишем эти 12 множеств как строки сдедующей таблицы.
[TABLE]
Эти 12 множеств удобно расположить по кругу, как на цифербате часов, помещая 135 на месте шести часов, а дополнительное множество 246 на месте двенадцати часов. См. рис. 16.
Какие же множества среди этих 12-ти 3-разделенные? Легко понять, что неразделенными является множество и его дополнение, а также два соседа этого дополнения. Так что неразделенными являются множество и три ‘противоположных’ к нему. Это можно увидеть также из того, что подряд идущие 5 множеств на циферблате вписываются в один кубильяж (и дают все 12 кубильяжей зонотопа ). Например, ‘цифры’ от часа до пяти (а именно, множества 24, 245, 25, 235 и 35) вписываются в стандартный кубильяж. Из этого описания 3-неразделенности видно, что три множества (размещенные как XII часов, IV часа и VIII часов, то есть множества 246, 235 и 136) образуют (вместе с периферией) максимальную по включению 3-разделенную систему из 52+3=55 множеств, тогда как максимум по размеру равен 52+5=57. Это показывает, что в имеется система размера 55, которая не (6,4)-расширяемая (и максимальна по включению).
Аналогичные рассуждения показывают, что в (при ) имеется -нерасширяемая система.444Отсутствие чистоты при фактически утверждается в [24, Proposition 8.1]. Любопытно отметить, что в случае на цифеблате из 20 ‘часов’ можно указать 5 ‘цифр’ (0, 4, 8, 12 и 16), которые дают максимальную по включению 7-разделенную подсистему в этой 20-элементной непериферийной системе. Вместе с периферией это дает 1009-элементную максимальную по включению 7-разделенную систему подмножеств множества [10]. В то время как максимум по размеру равен 1004+9=1013. Разница равна 1013-1009=4=, что дает основания предположить, что размер максимальной по включению ()-разделенной системы отличается от максимума по размеру не более чем на .
Вместе со Следствием из предыдущего раздела мы получаем теорему Галашина-Постникова [12], что *если и , то существует -нерасширяемая система множеств в . *В частности, для таких нет чистоты.
20 Слабая разделенность
В разделе 16 и последующих вводилось и изучалось отношение -разделенности в множестве . Обобщая понятие слабой разделенности Леклерка и Зелевинского [6], можно предложить понятие слабой -разделенности в случае нечетного . (Для четного мы не видим хорошего определения.) Удобнее, однако, задавать это отношение как усиление отношения -разделенности.
Итак, пусть – нечетное натуральное число. Напомним, что подмножества и в назывались -разделенными: если существует такое разбиение на последовательных интервала , что множество располагается в объединении ‘четных’ интервалов , а – в объединении ‘нечетных’ интервалов (или наоборот).
Определение. Множества и как выше называются сильно -разделенными (или слабо -разделенными), если размер не больше, чем размер . Образно говоря, ‘окружающее’ множество по размеру не превосходит ‘окружаемое’.
Например, множество 15 слабо 1-разделено с множествами 234 и 24, но не с множеством 3. Отношение слабой 1-разделенности – это в точности отношение слабой разделенности Леклерка-Зелевинского. Если множества и -разделены, то они слабо -разделены, что оправдывает употребление эпитета ‘слабо’. Если и имеют одинаковый размер, слабая -разделенность превращается в -разделенность.
В некоторых отношениях слабая -разделенность ‘похожа’ на -разделенность. Например: в Предложении 17 утверждается, что размер любой -разделенной системы подмножеств не превышает . Покажем, что это же верно для слабой -разделенности.
Предложение 22. Пусть – нечетное число. Размер слабо -разделенной системы подмножеств в не превышает .
Доказательство. Оно проводится индукцией по ; при утверждение очевидно, так как сильная 0-разделенность – это просто равенство. Поэтому размер такой системы равен 1, как и . При рассуждение начинается как в предложении 17. Пусть – слабо -разделенная система в ; разделим ее на две части: , члены которой не содержат цвет , и , члены которых содержат цвет . Пусть состоит из множеств вида , где пробегает . Ясно, что снова слабо -разделенная система (уже в ), и по индукции ее размер не превосходит .
Обозначим через систему множеств , которые сами лежат в , а их ‘двойник’ лежит в . Мы утверждаем, что размер не превосходит . Как и в предложении 17, Предложение 22 следует из этой оценки. Следующие три леммы доказывают эту оценку.
Лемма 5. Пусть множества и из имеют один и тот же размер. Тогда они -разделены.
Доказательство. -неразделенность означает, что ( и ) нельзя альтернированно разместить в разбиении на интервалов. То есть что для их размещения нужно задействовать интервал. Предположим, что такое размещение имеет схему (слово из буквы). В этом случае сравним и . И хотя эти множества помещаются в интервала, размер окружающего множества превышает размер окружаемого , что противоречит тому, что и слабо -разделены. Аналогично в случае схемы , где мы будем сравнивать множества и .
Обозначим через подсистему тех множеств из , которые имеют размер . И дополним ее двумя другими системами подмножеств в . Для их определения рассмотрим две вспомогательные системы и . Чтобы их задать, мы рассмотрим разбиение на интервалов, . Тогда объединение ‘нечетных’ интервалов этого разбиения дает элемент системы , а объединение ‘четных’ интервалов дает элемент системы . Через мы обозначаем подсистему в , образованную множествами размера , и аналогично понимаются .
Лемма 6. *Объединение систем образует слабо -разделенную систему подмножеств множества . *
Доказательство получается их следующих трех простых замечаний. Первое: множество из слабо -разделено с любым множеством меньшего или равного размера. В самом деле, оно имеет вид для некоторого разбиения на интервалов. Условие на размер дает сильную -разделенность, то есть слабую -разделенность. Второе: по тем же причинам множество из слабо -разделено с любым множеством большего или равного размера. Третье – множества из слабо -разделены по Лемме 5 (они -разделены и имеют одинаковый размер).
По предположению индукции размер системы не превосходит . С другой стороны размер системы (как спектра стандартного кубильяжа зонотопа ) равен . Откуда мы заключаем, что размер не превосходит разности размеров и . И осталось разобраться с размером этой разности.
Лемма 7. Эта разность равна числу вершин стандартного (а на самом деле – любого) кубильяжа зонотопа на высоте .
Имея это равенство, мы быстро завершаем доказательство Предложения 22. В самом деле, размер не превосходит числа вершин стандартного кубильяжа на уровне . Поэтому размер всей системы не превосходит числа вершин стандартного кубильяжа , то есть . Но именно нужно было доказать.
Доказательство леммы 7. Рассмотрим зонотоп . Элементы системы реализуются как спектры вершины видимой части границы , элементы – как спектры вершин невидимой части границы. Обрежем на высоте . Тогда элементы реалзуются как вершины видимой части этого обрубка (‘чаши’), тогда как элементы – как вершины невидимой части (исключая те, которые находятся на высоте ).
А теперь возьмем любой кубильяж , напрмер, стандартный. И рассмотрим гирлянды (см. раздел 7) в этом кубильяже, точнее, те, которые начинаются в точках видимой части границы ‘обрубка’. Каждая гирлянда где-то пересекает другую границу ‘обрубка’, а это либо невидимоя часть обрубка, либо его верхнее ‘горизонтальное’ основание (потолок). И при этом получается любая вершина кубильяжа этой невидимой части границы обрубка. Отсюда мы получаем, что интересующая нас разность в точности равна числу вершин нашего кубильяжа, находящихся на высоте . Лемма 7 доказана, а вместе с ней доказано и Предложение 22.
Наконец, можно поставить вопрос о чистоте отношения слабой разделенности. Для утвердительный ответ был получен в [7]. Однако уже при ответ отрицателен. Для получаеия контрпримера обратимся снова к разделу 19, то есть к системе подмножеств в . В этом случае есть 52 периферийных точек-множеств, которые 3-разделимы с любыми подмножествами в . Мы утверждаем, что
а) Три множества 25, 1356 и 1246 слабо 3-разделены. Они даже 3-разделены, см. раздел 19.
б) Вместе с периферийными точками-множествами эти три множества образуют нерасширяемую дальше (максимальную по включению) слабо 3-разделенную систему размера 52+3=55. Тогда как . Утверждение про нерасширяемость проверяется непосредственно. Например, множество 25 4-разделено с множествами 136, 1346 и 146, но разделено не сильно из соображений размера.
Отметим, с другой стороны, что нерасширяемая 3-разделенная система , рассмотренная как слабо 3-разделенная, допускает расширение за счет добавления двух множеств 146 и 245.
Дополнение 1. Поликатегорный взгляд на кубильяжи
Попробуем дать некоторое представление об этой достаточно изощренной конструкции, придуманной Маниным, Шехтманом, Капрановым и Воеводским ([14, 9, 15]).
В основе лежит идея, что кубильяжи можно трактовать как морфизмы, но между чем? Между кубильяжами меньшей размерности. Но те, в свою очередь, можно рассматривать как морфизмы, и так мы приходим не просто к категории, но к поликатегории. Грубо говоря, поликатегория – это система категорий, в которой для любых объектов и одной категории множество в свою очередь является множеством объектов другой категории, более высокого уровня.
Чтобы настроиться на этот поликатегорный взгляд, вернемся к ромбическим тайлингам. Пусть есть две мембраны в тайлинге, то есть две змейки, идущие в зоногоне из нижней вершины в верхнюю вершину . Предполагая, что вторая мембрана проходит правее первой , мы можем сказать, что , если между этими мембранами-змейками можно вписать (частичный) ромбический тайлинг (или, что эквивалентно, обе мембраны вписаны в некоторый ромбический тайлинг). Интерпретируя мембраны-змейки как линейные порядки (или перестановки) на множестве , мы получаем (слабый) порядок Брюа.
Однако можно поступить более тонко и сказать, что нас интересует не просто существование тайлингов, ‘соединяющих’ и , но и сами ‘соединяющие’ их тайлинги. Иначе говоря, морфизмом из в объявляется произвольный (частичный) тайлинг между и . Так мы получаем вместо посета Брюа категорию Брюа, в которой объектами служат перестановки (или линейные порядки на ), морфизмами – соединяющие их тайлинги, а композиция морфизмов производится просто путем объединения тайлингов. На самом деле, мы получаем большее: ведь два тайлинга и между и тоже можно сравнивать с помощью повышающих флипов. Так что не просто (довольно богатое) множество, но тоже посет! И композиция морфизмов-тайлингов уважает эти структуры посетов.
Но если уж мы встали на этот путь, то грех останавливаться. Можно не просто говорить, что тайлинги и соединяются повышающими флипами, но само такое соединение назвать морфизмом (уже следующего, второго уровня). А соединение – это некоторый (частичный) кубильяж уже в зонотопе . И эту конструкцию можно продолжать и далее, поднимаясь все выше и выше по размерности, пока мы не дойдем до зонотопа-куба , в котором имеется уже только один тривиальный кубильяж.
Так выглядит эта поликатегорная картина в общих чертах.
В следующем примере мы приведем лишь наиболее интересный фрагмент поликатегорного полотна, да и то в предельно простом случае. А именно, возьмем , и изобразим лишь первый, второй и третий этажи получающейся ‘пагоды’.
Объектами первого этажа служат вершины куба , то есть подмножества базисного множества . Но что считать морфизмами? Казалось бы, естественно полагать, что из множества идет стрелка в , если . На этом пути мы приходим просто к посету . Кубильяжная точка зрения говорит, что морфизмом надо считать ‘путь’ от в , частичную змейку из в . Композиция змеек очевидна: если есть змейка из в и из в , надо просто приставить их друг к другу и получить змейку из в .
Объектами второго этажа являются частичные змейки. Если есть две змейки и с одним и тем же началом и одним и тем же концом, возникает вопрос – можно ли замостить промежуток между ними ромбами? И морфизмами второго этажа (между и ) являются именно такие ромбические замощения области между и (здесь надо считать, что змейка проходит правее змейки ). В нашем случае с такое замощение бывает либо одно (как слева на рис. 17), или ни одного (как на среднем рисунке), где змейки идут из в ).
Однако (в нашем простом случае) есть единственное исключение, когда между змейкой и (здесь мы понимаем сокращение как линейный порядок на множестве ) возможны два замощения или тайлинга: стандартный и антистандартный. Так что если нарисовать часть второго этажа, содержащую только ‘полные’ змейки (из в , то есть шесть линейных порядков на множестве ), мы получим следущую картину (рис. 18).
Мы хотели бы обратить внимание, что из змейки 123 в змейку 321 идут два морфизма-тайлинга: стандартный и антистандартный. И эти два морфизма, как объекты третьего этажа, тоже связаны морфизмом (третьего уровня), который изображен двойной стрелкой . (Конечно, на третьем этаже имеется еще много ‘банальных’ (изолированных) объектов.)
Этим примером мы хотели бы завершить рассказ о поликатегорном взгляде на кубильяжи. Подробности фомализма можно посмотреть в статье Манина-Шехтмана [14] или Капранова-Воеводского [9, 15]. Само понятие поликатегории кратко обсуждается в книге [25] и более подробно – в книге [26]. Отметим еще статью [27], где на на поликатегорном языке обсуждается уравнение Замолодчикова.
Дополнение 2. Связь с триангуляциями и посетом Тамари-Сташева
Практически одновременно с введением кубильяжей в форме высшего посета Брюа появились (в работе Воеводского и Капранова [15]) посеты Тамари-Сташева, которые во многом параллельны посетам Брюа и тесно с ними связаны. На эту тему написано много работ, с которыми можно познакомиться по обзору [2].
Чтобы определить эти посеты, снова рассмотрим циклическую конфигурацию векторов . Концы этих векторов являются точками на гиперплоскости в , заданной уравнением , то есть гиперплоскостью на ‘высоте’ 1. Выпуклая оболочка этих точек называется циклическим политопом и обозначается ; это пересечение зонотопа с гиперплоскостью, и его размерность равна . При точки являются вершинами этого политопа.
Вместо кубильяжей зонотопа теперь интересуются триангуляциями политопа , то есть разбиениями на -мерные симплексы, вершины которых лежат в множестве . При это разбиение отрезка на подотрезки, при – разбиение выпуклого -угольника на треугольника, и так далее. Множество триангуляций обозначим .
Триангуляции во многом похожи на кубильяжи. Например, среди них есть ‘стандартная’ и ‘антистандартная’ триангуляции (или нижняя и верхняя триангуляции в терминологии [2]), которые получаются как ограничения соответствующих кубильяжей. В частности, этими триангуляциями исчерпываются множества . Замена стандартной триангуляции на антистандартную в называется повышающим флипом. Аналогичную вещь (повышающий флип) можно делать при любом , если удается найти фрагмент вида стандартной триангуляции . Мы говорим, что , если от можно добраться до серией повышающих флипов. Это дает структуру посета в множестве , называемую посетом Тамари-Сташева.
Пример 1. . Задать тут триангуляцию – значит задать разбиение на отрезки отрезка , причем так, чтобы концы отрезков были какие-то . Любое подмножество в задает такое разбиение на отрезки. Типичный повышающий флип состоит в замене двух последовательных отрезков и () на отрезок , то есть фактически удаление из подмножества. Мы видим, что посет Тамари-Сташева в этом случае (анти)изоморфен булевой решетке подмножеств множества .
Пример 2. Случай более интересен. Надо взять точек на параболе , упорядоченных по возрастанию ; выпуклая оболочка этих точек дает циклический многоугольник . Возьмем некоторую его триангуляцию и войдем (сверху) в треугольник со стороной . После чего выйдем через любую из оставшихся сторон. Если при этом мы покидаем , на этом путь заканчивается. Если попали в другой треугольник триангуляции, процесс продолжается – мы снова выходим через одну из двух других сторон этого треугольника. И так далее. В результате получается то, что называется плоским бинарным деревом (с -мя некорневыми вершинами, соответствующими треугольникам триангуляции), см. рис. 20 и 21. В книге [28] (упр. 6.19) приведены еще 65 способов задания множества таких деревьев, среди которых стоит выдеить способ ‘правильной’ расстановки скобок в строке из -й буквы. Этот способ использовал Тамари при определении его посета .
Чтобы говорить не просто о множестве , но и о частичном порядке на нем, надо конкретизировавать повышающие флипы. Они устроены так: надо взять фрагмент триангуляции, изображенный слева на рис. 19, и заменить диагональ () четырехугольника на другую диагональ ().
Ниже нарисованы пять трангуляций пятиугольника и соответствующие бинарные деревья.
Помимо очевидной аналогии с кубильяжами имеется более точная связь между ними. Пусть – кубильяж зонотопа . Если мы пересечем этот зонотоп гиперплоскостью , мы получим в точности политоп ; сечения кубов той же гиперплоскостью дают триангуляцию политопа . Это дает естественное отображение
[TABLE]
Триангуляция дает полное представление о кубах, лежащих в ‘основании’ кубильяжа (то есть укорененных в 0), но мало что говорит о том, как лежат кубы выше. Поэтому нет оснований надеяться на инъективность отображения , и уже простейшие примеры показывают неинъективность. В то же время есть веские основания надеяться, что верна следующпя
Гипотеза 1. Отображение сюръективно.
Во всяком случае это так для . В случае это простое упражнение. Случай можно получить из работы [31, sec. 7] или из результатов [11].
Отметим, что в обзоре [2] (в пункте 8.3) также говорится про связь посетов Тамари и Брюа, но там обсуждается другое отображение. Что же касается отображения , то оно обсуждается в работе [33]. Там заявляется о сюръективности этого отображения, правда посет Тамари понимается несколько иначе, более ‘комбинаторно’. А вся их работа посвящена применению Тамари-посетов к солетонным решениям уравнения Кадомцева-Петвиашвили. Имеется еще несколько работ о связи уравнения КП и кубильяжей-триангуляций, из которых отметим самую последнюю [34]
Ометим еще, что отображение согласовано с флипами. Если мы делаем флип в кубильяже , то он может индуцировать флип в триангуляции . Точнее, если мы делаем флип внутри некоторого капсида, укорененного в 0, мы получаем флип соответствующей триангуляции. Если же капсид расположен ‘высоко’, то флип кубильяжа не оказывает никакого воздействия на триангуляцию. В любом случае это дает, что отображение согласовано со структурами посетов.
Дополнение 3. Слабые мембраны
Это дополнение непосредственно продолжает материал разделов 9-11. С другой стороны оно примыкает к тематике Дополнения 2 про триангуляции циклических политопов.
В разделе 6 вводилось понятие мембраны в кубильяже. Это -мерный подкомплекс кубильяжа, который при проекции вдоль -го координатного вектора биективно проектируется туда же, куда весь зонотоп . Аналогично понимается и слабая мембрана. Это тоже некоторая ()-мерная пленка в зонотопе , биективно проектирующаяся туда же, куда и весь зонотоп. Но есть два отличия. Первое – эта пленка уже не является подкомплексом кубильяжа , но подкомплексом некоторого измельчения этого кубильяжа. Второе – проектируем мы не вдоль вектора (направления) , но вдоль вектора , где – небольшое положительное число. То есть мы глядим на зонотоп почти в направлении , но чуть-чуть ‘снизу’. Иначе говоря, проекция вдоль вектора переводит точку в .
Скажем более точно. Циклический зонотоп как бы растет из точки 0 ‘вверх’, до высоты , и все его вершины, как и вершины кубильяжа , находятся на целочисленной высоте. Рассечем и зонотоп , и все кубы кубильяжа ‘горизонтальными’ гиперплоскостями , заданными уравнениями , где пробегает целые число от 1 до . В результате каждый куб будет разрезан на частей , называемых кусками. Каждый кусок – это некоторый гиперсимплекс (в терминологии [29]). На рис. 22 показано рассечение трехмерного куба на три куска: нижний тетраэдр, октаэдр и верхний тетраэдр.
Получается разбиение зонотопа , но уже не на кубы, но на более мелкие куски-гиперсимплексы, которое мы обозначаем и называем измельчением кубильяжа .
Измельченный кубильяж имеет те же вершины, что и . Но нас больше будут интересовать ‘фасеты’ , или фасеты кусков. Они бывают ‘вертикальные’ (это куски фасет кубов кубильяжа ) и ‘горизонтальные’, лежащие в некоторой гиперплоскости . (И те, и другие – гиперсимплексы, только теперь размерности .) Большинство фасет куска вертикальные, и только две (или одна, если кусок – симплекс) горизонтальные.
Слабая мембрана (или -мембрана) в кубильяже – это подкомплекс измельчения , который при проекции вдоль вектора , биективно (гомеоморфно) проектируется на зонотоп (меньшей размерности) . Обычные мембраны (из раздела 6, их можно называть сильными) могут пониматься как слабые. Как и сильные мембраны, слабые мембраны гомеоморфны ()-мерному диску, край которого – это обод зонотопа (относительно или ), и они делят зонотоп на две части – перед мембраной () и после мембраны (); каждая из этих частей тоже разбита на куски. Проекции (при ) клеток мембраны дают некоторое разбиение зонотопа на плитки-гиперсимплексы, которое можно было бы назвать гиперкомби, по аналогии с понятием комби в размерности 2, [30, 31]. Это интересный объект, но мы (пока) не будем им заниматься.
Главное отличие слабых мембран от сильных в том, что первые могут иметь горизонтальные участки (‘выступы’ или ‘балконы’), см. рис. 23 и 24.
Простейшие примеры -мембран (назовем их главными) получаются следующим образом. Пусть – кубильяж зонотопа . Мы идем (сверху вниз) сначала по передней (видимой) части границы до уровня , . Затем идем горизонтально по этому уровню вплоть до невидимой (задней) части границы и наконец спускаемся до 0 по задней границе. На рис. 24 слева изображена главная -мембрана (при ) для зоногона , а справа – для зонотопа (вид спереди и немного снизу).
Тут уступы имеются лишь на высоте 2; в общем случае уступы могут встречаться на любой высоте. Для тривиального кубильяжа куба все мембраны главные.
Отметим, что триангуляции циклического политопа из Дополнения 2 можно понимать как главные слабые мембраны (для ).
Основная вещь, о которой мы хотим рассказать – это аналог естественного порядка на множестве кусков измельченного кубильяжа . Поступим в точности как в разделе 9. А именно, введем понятие непосредственного следования для кусков. Только проектируем (и, соотвественно, говорим о видимых и невидимых фасетах кусков) не отображением , а чуть измененным отображением . При этом заметим следующее. Пусть кусок (лежащий в кубе ) непосредственно предшествует куску (лежащему в кубе ), . Тогда возможны два случая:
-
куски и лежат на одном этаже (между гиперплоскостями и ), и тогда ;
-
куски и разделены гиперплоскостью ; тогда , и лежит под .
Это замечание помогает доказать следующий аналог Предложения 6:
Утверждение. Отношение на ациклично.
В самом деле, пусть – некоторый направленный путь в . И пусть – куб кубильяжа , содержащий кусок . Тогда мы получаем направленный путь в , в котором соседние кубы либо связаны отношением , либо совпадают. В силу Предложения 6 раздела 9, если на этом пути встречается хоть раз отношение , то отлично от и тем более отлично от . Поэтому можно считать, что все одни и те же и равны некоторому кубу . Тогда все куски – это куски этого куба . Теперь утверждение очевидно, потому что каждый следующий кусок лежит на этаж выше предыдущего.
Основываясь на этом утверждении, мы транзитивно замыкаем отношение и получаем отношение порядка на , которое снова называем естественным. И точно так же, как это делалось в разделе 11, можно ввести понятие стэка (или идеала) для этого порядка и отождествить слабые мембраны (для кубильяжа ) со стэками. Польза этого простого наблюдения в том, что стэк ‘разбирается’ путем удаления некоторого максимального (относитеольно порядка ) элемента (куска). В терминах слабых мембран мы получаем понятие слабого (понижающего) флопа. Важное следствие состоит в том, что от любой слабой мембраны до ‘минимальной’ (и уже сильной) мембраны можно добраться серией таких слабых понижающих флопов. Кроме того, множество слабых мембран (в кубильяже ) является (как в Предложении 11) дистрибутивной решеткой.
Однако на этом аналогии частично обрываются, и ситуация начинает зависеть от четности/нечетности . Вернемся к простейшему кубильяжу куба . У измельчения такого куба имеется кусков. И почти у всех кусков (кроме средних) все вершины лежат на ободе этого куба. Как мы знаем из раздела 7, не на ободе находятся только две вершины, обозначенные там как и (хвост и голова). Обе эти вершины принадлежат либо одному ‘среднему’ куску (если нечетно), либо одному ‘среднему’ сечению (если четно, см. Рис. 4). И это сказывается на числе вершин слабой мембраны. Когда мы удаляем нецентральный кусок из груды домембранных кусков (делая соотвествующий понижающий флоп), то число вершин слабой мембраны не меняется. Однако когда мы удаляем центральные куски, положение усложняется. Удаление более верхнего куска (при четном ) приводит к увеличению числа вершин мембраны на 1, удаление более низкого – к уменьшению на 1, а удаление единственного центрального куска (при нечетном ) не меняет числа вершин мембраны.
Вывод. При нечетном слабые мембраны имеют одно и то же число вершин, равное . При четном число вершин у слабых мембран может меняться (в каких пределах?).
Например, рис. 23 изображает тайлинг cо слабой мембраной, у которой 12 вершин (вместо ‘нормальных’ шести).
А теперь вспомним Предложение 22, которое говорит, что (при нечетном ) размер слабо -разделенной системы в не превосходит . В [32] доказывается, что при нечетном спектр любой слабой мембраны в является слабо -разделенной системой (ср. с Предложением 15) . Также есть основания предполагать следующее.
Гипотеза 2 (ср. с Теоремой 5). Если – слабо -разделенная система размера , то она реализуется как спектр некоторой слабой мембраной в зонотопе .
Во всяком случае, для эта гипотеза верна.
Дополнение 4. Доказательство ацикличности
В этом дополнении мы собираемся доказать Предложение 6 об ацикличности отношения на множестве кубов кубильяжа . На самом деле мы покажем большее – что отношение ациклично не только на множестве кубов фиксированного кубильяжа , но на множестве всех кубов всех кубильяжей. (Абстрактным) кубом называется произвольный -мерный куб в зонотопе , порожденный некоторым набором векторов в и растущий из целой точки. Такой куб задается указанием своего корня () и своего типа ; имеет размер и не пересекается с . Как показано в Предложении 3, такой куб вписывается в некоторый кубильяж. Множество всех кубов в обозначается ; очевидно, оно равно объединению множества всех кубов всех кубильяжей .
На множестве введем бинарное отношение ровно так, как это было сделано в разделе 9. Напомним, что , если эти кубы и соседние по некоторой общей фасете , причем эта фасета невидимая в и видимая в . Предложение 6 следует из более сильного утверждения.
Теорема. Отношение на множестве ациклично.
Для доказательства теоремы мы выразим комбинаторно отношение . Пусть куб равен , куб – , и . Обозначим через фасету, по которой эти кубы соседствуют. Комбинаторно эта фасета равна , где - корень фасеты, а – ее тип. Очевидно, , размер ее равен . Пусть , для некоторых цветов и . Вектор может либо входить в корень , либо выходить из него. В первом случае , во втором . Аналогично с . Так что возможен один из четырех случаев, изображенных на рисунке 25.
Мы должны теперь выразить то, что фасета невидимая в кубе . Для этого будем временно считать, что корень фасеты расположен в нуле. Пусть ; тогда линейное уравнение задает гиперплоскость, содержащую фасету . То, что эта фасета невидимая в , означает, что вектор лежит в положительном полупространстве (если он входит в корень ) и в отрицательном полупространстве (если он выходит из корня ). То есть в случаях I и II , а в случаях III и IV этот определитель больше 0.
Симметрично фасета видимая в кубе , если вектор лежит в положительном полупространстве в случаях II и IV, и в отрицательном полупространстве в случаях I и III. То есть определитель должен иметь знак + или - соответственно.
Это возвращает нас к вопросу о знаках определителей, о котором мы рассказали в разделе 5. А именно, точки на отрезке , делят этот отрезок на интервалов, которые удобно нумеровать справа налево. Нулевой интервал состоит из точек-чисел строго больших , первый интервал – между и и так далее; последний интервал состоит из чисел, строго меньших . Если число попадает в интервал с четным номером, то определитель положителен; если с нечетным номером – отрицателен. Можно говорить, что число четно относительно , если попадает в интервал с четным номером, и нечетно в противном случае.
Подведем итог. Пусть задана фасета , представленная как пара , и куб , имеющий своей фасетой, так что для некоторого , не принадлежащего . Фасета невидима в кубе тогда и только тогда, когда выполнено одно из двух:
a) и нечетно относительно ;
b) и четно относительно .
Симметрично, пусть куб имеет своей фасетой, так что . Фасета видима в кубе тогда и только тогда, когда выполнено одно из двух:
a’) и четно относительно ;
b’) * и нечетно относительно* .
Таким образом, тогда и только тогда, когда выполнены комбинации: a) и a’) (случай II рисунка), или a) и b’) (случай I рисунка), или b) и a’) (случай IV) или b) и b’) (случай III).
Итак, мы выразили комбинаторно отношение . Теперь приступим к доказательству теоремы. Для этого разделим все множество кубов на три группы, или уровня, , и . К нулевому уровню мы относим те кубы , для которых цвет не входит ни в , ни в ; к первому уровню (‘перегородка цвета ’) мы относим те кубы, для которых принадлежит типу ; наконец, второй уровень состоит из кубов, для которых . Следующее утверждение является ключевым.
Лемма. Уровень монотонно не убывает относительно .
Доказательство. Пусть . Обозначим через и уровни и , соотвественно. Мы должны проверить две вещи. Первая: если , то и . Вторая: если , то и .
Начнем со второго утверждения. Допустим, что (то есть принадлежит ), но не принадлежит . Так как в случае a’) содержит , этот случай не реализуем и имеет место случай b’). Но тогда , а всегда четно, так что мы получаем противоречие.
Проверим теперь первое утверждение. Допустим, что , тогда как . Это значит, что не принадлежит ни , ни , и в то же время принадлежит либо , либо . Принадлежать цвет не может, как было только что показано. Таким образом, . Так как не принадлежало , то . Но цвет всегда четен, так что мы попадаем в случай a), когда . Значит принадлежит и тем более . Противоречие.
Приступим к доказательству теоремы. Оно ведется индукцией по . При утверждение теоремы верно, поскольку имеется всего один куб. Будем считать, что .
Предположим, что имеется циклический монотонный путь . В силу предыдущей Леммы этот путь целиком располагается на одном из уровней, нулевом, первом или втором.
Если цикл проходит на уровне 0, то он лежит в зонотопе , что противоречит индуктивному предположению.
Если цикл лежит на втором уровне, то заменим каждый корень на . Мы снова получаем циклический путь в зонотопе , что невозможно по индуктивному предположению.
Остается рассмотреть случай, когда циклический путь располагается на уровне 1. То есть, если для , то для всех . В этом случае, заменяя каждое множество на ‘редуцированное’ множество , мы получим ‘путь’ в , где . Главное замечание состоит в том, что мы снова получаем цикл, хотя и противоположно ориентированный, что противоречит индуктивному предположению. Это замечание следует из приводимой ниже Леммы о реверсе.
Лемма о реверсе. Пусть для кубов и из выполнено соотношение . Предположим, что , и положим , . Тогда для кубов и в зонотопе выполнено противоположное соотношение , где – соответствующее отношение на множестве .
Доказательство. Пусть ; очевидно, что также содержит . Положим . Причина реверса состоит в том, что в силу четность какого-либо цвета относительно множества противоположна четности этого цвета относительно .
Список литературы
- [1]
Rambau J. Triangulations of cyclic polytopes and higher Bruhat orders. Mathematika 44, 1997, 162-194.
- [2]
Rambau J., Reiner V. A survey of the higher Stasheff-Tamari orders. In Associahedra, Tamari Lattices and Related Structures (eds. F. Muller-Hoissen, J.M.Pallo, J. Stasheff), Birkhauser/Springer, 2012, pp. 351-390.
- [3]
Assosihedra, Tamati Lattices and Related Structures (eds. F. Muller-Hoissen, J.M. Pallo, and J. Stasheff), Springer, 2012.
- [4]
Shephard G.C. Combinatorial properties of associated zonotopes. Can. J. Math., v. 26, No. 2, 1974, 302-321.
- [5]
Циглер Г.М. Теория многогранников. М,: МЦНМО, 2014. (Перевод Ziegler G. Lectures on polytopes, Springer-Verlag, N.Y., 1995.)
- [6]
Leclerc B., Zelevinsky A. Quasicommuting families of quantum Plücker coordinates. Amer. Math. Soc. Trans., Ser. 2, v. 181 (1998) 85-108.
- [7]
Данилов В.И., Карзанов А.В., Кошевой Г.А. Системы разделенных множеств и их геометрические модели. Успехи матем. наук, т. 65, вып. 4 (394) 2010, 132-217.
- [8]
Манин Ю.И., Шехтман В.В. О высших порядках Брюа, связанных с симметрической группой. Функц. анализ и его приложения, 1986, т. 20, вып. 2, 74-75.
- [9]
Воеводский В.А., Капранов М.М. Свободная -категория, порожденная кубом, ориентированные матриоды и высшие порядки Брюа. Функц. анализ и его приложения, 1991, т. 25, вып. 1, 62-65.
- [10]
Ziegler G.M., Higher Bruhat orders and cyclic hyperplane arrangements. Topology, v. 32, No. 2, 1991, pp. 259-279.
- [11]
Galashin P. Plabic graphs and zonotopal tilings. Proc. London Math. Soc. 117 (4), 2018, 661-681.
- [12]
Galashin P., Postnikov A. Purity and separation for oriented matroids. ArXiv:1708.01329[math.CO], 2017.
- [13]
Bailey G.D. Tilings of zonotopes: Discriminantal arrangements, oriented matroids, and enumeration, Minnesota Univ., 1997.
- [14] Manin Yu., Schechtman V. Arrangemennts of hyperplanes, higher braid groups and higher Bruhat orders. In: Algebraic Number Theory – in Honour of K. Iwasawa, Advances Studies in Pure Math. 17, Academic Press, NY, 1989, pp. 289-308.
- [15]
Kapranov M.M., Voevodsky V.A. Combinatorial-geometric aspects of polycategory theory: pasting schemes and higher Bruhat orders. Cahiers de topologie et geometrie differentielle categoriques, t. 32, n. 1, 1991, 11-28.
- [16]
Bjorner A., Las Vergnas M, Sturmfels B., White N., Ziegler G.M. Oriented matroids. Cambridge Univ. Press, 1999.
- [17]
Athanasiadis C.A. Zonotopal subdivisioms of cyclic zonotopes, Geometriae Dedicata 86, 2001, 37-57
- [18]
Стенли Р. Перечислительная комбинаторика, т. 1. Москва, Мир, 1990
- [19]
Felsner S., Ziegler G.M. Zonotopes associated with higher Bruhat orders. Discrete Mathematics 241, 2001, pp. 301-312.
- [20]
Thomas H. Maps between higher Brughat orders and higher Stasheff-Tamari posets. In Formal Power Series and Algebraic Combinatorics Conference – Linköping, Sweden, 2003.
- [21]
Las Vergnas M. Extensions ponctuelles compatibles d’une geometrie combinatoire. C.R. Acad. Sci. Paris, Ser. A-B, 286(21), A981-A984, 1978.
- [22]
Felsner S., Weil H. A theorem on higher Bruhat orders. Discrete Comput. Geom. 23, 2000, pp. 121-127.
- [23]
Edelman P.H., Reiner V. Free arrangements and rhombic tilings. Discrete Comput. Geom., 16 (1996) 307-340.
- [24]
Oppermann A., Thomas H. Higher dimensional cluster combinatorics and representation theory. ArXiv:1001.5437[math.RT], 2011.
- [25]
Маклейн С. Категории для работающего математика. Москва, Физматлит, 2004.
- [26] Lurie J. Higher topos theory. Princeton Univ. Press, 2009.
- [27]
Kapranov M.M., Voevodsky V.A. 2-categories and Zamolodchikov tetrahedra equations. Proc. of Symposia in Pure Math. v. 56, part. 2, 1994.
- [28]
Стенли Р. Перечислительная комбинаторика, т.2. Москва, Мир, 2005.
- [29]
Гельфанд И.М., Серганова В.В. Комбинаторные геометрии и страты тора на однородных компактных многообразиях. УМН, 1987, т. 42, вып. 2(254), 107-143.
- [30]
Danilov V.I., Karzanov A.V., Koshevoy G.A. Combined tilings and separated set-systems. Selecta Mathematica, v. 23, 2017, 1175-1203.
- [31]
Danilov V.I., Karzanov A.V., Koshevoy G.A. On interrelations between strongly, weakly and chord separated set-systems (a geometric approach). ArXiv:1805.09595[math.CO], 2018.
- [32]
Danilov V.I., Karzanov A.V., Koshevoy G.A. The weak separation in higher dimensions. Manuscript, 2019.
- [33]
Dimakis A., Müller-Hoissen F. KP line solitons and Tamari lattices. In Associahedra, Tamari Lattices and Related Structures (eds. F. Muller-Hoissen, J.M.Pallo, J. Stasheff), Birkhauser/Springer, 2012, pp. 391-424.
- [34]
Karpman R., Kodama Y. Triangulations and soliton graphs for totally positive Grassmanian. arXiv:1808.01587[nlin.SI] 2018.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Rambau J. Triangulations of cyclic polytopes and higher Bruhat orders. Mathematika 44, 1997, 162-194.
- 2[2] Rambau J., Reiner V. A survey of the higher Stasheff-Tamari orders. In Associahedra, Tamari Lattices and Related Structures (eds. F. Muller-Hoissen, J.M.Pallo, J. Stasheff), Birkhauser/Springer, 2012, pp. 351-390.
- 3[3] Assosihedra, Tamati Lattices and Related Structures (eds. F. Muller-Hoissen, J.M. Pallo, and J. Stasheff), Springer, 2012.
- 4[4] Shephard G.C. Combinatorial properties of associated zonotopes. Can. J. Math., v. 26, No. 2, 1974, 302-321.
- 5[5] Циглер Г.М. Теория многогранников. М,: МЦНМО, 2014. (Перевод Ziegler G. Lectures on polytopes , Springer-Verlag, N.Y., 1995.)
- 6[6] Leclerc B., Zelevinsky A. Quasicommuting families of quantum Plücker coordinates. Amer. Math. Soc. Trans. , Ser. 2, v. 181 (1998) 85-108.
- 7[7] Данилов В.И., Карзанов А.В., Кошевой Г.А. Системы разделенных множеств и их геометрические модели. Успехи матем. наук , т. 65, вып. 4 (394) 2010, 132-217.
- 8[8] Манин Ю.И., Шехтман В.В. О высших порядках Брюа, связанных с симметрической группой. Функц. анализ и его приложения , 1986, т. 20, вып. 2, 74-75.
