Введение в систолическую геометрию - Introduction to systolic geometry

Эта статья представляет собой нетехническое введение в предмет. Основную статью энциклопедии см. Систолическая геометрия.

Систолическая геометрия это филиал дифференциальная геометрия, область математики, изучающая такие проблемы, как взаимосвязь между площадь внутри замкнутая кривая C, а длина или периметр C. Поскольку область А может быть небольшой, а длина л большой, когда C выглядит вытянутым, отношения могут принимать только форму неравенство. Более того, такое неравенство было бы верхняя граница за А: интересной нижней оценки только по длине нет.

Михаил Громов однажды высказал мнение, что изопериметрическое неравенство был известен еще древним грекам. Мифологическая сказка о Дидона, королева Карфагена показывает, что проблемы создания максимальной площади для данного периметра ставились естественным образом в прошлые эпохи.

Соотношение между длиной и площадью тесно связано с физическим явлением, известным как поверхностное натяжение, что придает наглядный вид сопоставимому соотношению между площадь поверхности и объем. Знакомые формы капель воды выражают минимум площади поверхности.

Комната с колонной

Цель этой статьи - объяснить еще одно такое соотношение между длиной и площадью. Пространство называется односвязный если каждая петля в пространстве может быть непрерывно сжата до точки. Например, комната с колонной посередине, соединяющей пол с потолком, не просто связана. В геометрия, а систола - расстояние, характерное для компактный метрическое пространство что не просто связано. Это длина кратчайшего цикла в пространстве, который не может быть сокращен до точки в пространстве. В примере с комнатой, при отсутствии других функций, систола будет окружностью столба. Систолическая геометрия дает нижние границы для различных атрибутов пространства с точки зрения его систолы.

Известно, что Метрика Фубини – Этюд является естественной метрикой для геометризации квантовой механики. В интригующей связи с глобальными геометрическими явлениями оказывается, что метрику Фубини – Штуди можно охарактеризовать как граничный случай равенства в Неравенство Громова для комплексного проективного пространства с участием площадь величина, называемая 2-систолой, указывает на возможную связь с квантово-механическими явлениями.

В дальнейшем эти систолические неравенства будут сравниваться с классическими изопериметрическими неравенствами, которые, в свою очередь, могут быть мотивированы физическими явлениями, наблюдаемыми в поведении капли воды.

Поверхностное натяжение и форма капли воды

Водные бусинки на листе

Возможно, наиболее знакомым физическим проявлением трехмерного изопериметрического неравенства является форма капли воды. А именно, капля обычно принимает симметричную круглую форму. Поскольку количество воды в капле фиксировано, поверхностное натяжение заставляет каплю принимать форму, которая минимизирует площадь поверхности капли, а именно круглую сферу. Таким образом, круглая форма капли является следствием явления поверхностного натяжения. Математически это явление выражается изопериметрическим неравенством.

Изопериметрическое неравенство на плоскости

Решение изопериметрической задачи на плоскости обычно выражается в виде неравенства, связывающего длину ${displaystyle L}$ замкнутой кривой и площади ${displaystyle A}$ охватываемой им плоской области. Изопериметрическое неравенство утверждает, что

${displaystyle 4pi Aleq L^{2},,}$

и что равенство выполняется тогда и только тогда, когда кривая является круглой окружностью. Неравенство является верхней границей площади с точки зрения длины.

Центральная симметрия

Напомним понятие центральной симметрии: евклидов многогранник называется центрально-симметричным, если он инвариантен относительно антиподальная карта

${displaystyle xmapsto -x.,}$

Таким образом, в плоскости центральной симметрии происходит поворот на 180 градусов. Например, эллипс центрально симметричен, как и любой эллипсоид в трехмерном пространстве.

Свойство центрально-симметричного многогранника в трехмерном пространстве

Существует геометрическое неравенство, которое в некотором смысле двойственно изопериметрическому неравенству в следующем смысле. Оба включают длину и площадь. Изопериметрическое неравенство является верхней границей площади по длине. Существует геометрическое неравенство, которое дает верхнюю границу для определенной длины по площади. Более точно это можно описать следующим образом.

Любое центрально-симметричное выпуклое тело с площадью поверхности ${displaystyle A}$ можно протиснуть через длинную петлю ${displaystyle {sqrt {pi A}}}$с максимальной плотностью прилегания, достигаемой сферой. Это свойство эквивалентно частному случаю Неравенство Пу, одно из самых ранних систолических неравенств.

Например, эллипсоид является примером выпуклого центрально-симметричного тела в трехмерном пространстве. Читателю может быть полезно развить интуицию в отношении упомянутого выше свойства в контексте размышлений о эллипсоидальных примерах.

Альтернативная формулировка следующая. Каждое выпуклое центрально-симметричное тело ${displaystyle P}$ в ${displaystyle {mathbb {R} }^{3}}$ допускает пару противоположных (антиподальных) точек и путь длины${displaystyle L}$ присоединяясь к ним и лежащий на границе ${displaystyle partial P}$ из ${displaystyle P}$, удовлетворяющий

${displaystyle L^{2}leq {frac {pi }{4}}mathrm {area} (partial P).}$

Понятие систолы

Кратчайшая петля на торе

В систола компактного метрического пространства ${displaystyle X}$ является метрическим инвариантом ${displaystyle X}$, определяемая как наименьшая длина несжимаемой петли в ${displaystyle X}$. Обозначим его так:

${displaystyle mathrm {sys} (X).,}$

Обратите внимание, что минимизирующая длина цикла обязательно закрытая геодезическая. Когда ${displaystyle X}$ это график, инвариант обычно называют обхват, с тех пор как в 1947 г. Уильям Тутте. Возможно, вдохновленный статьей Тутте, Чарльз Лёвнер начал думать о систолических вопросах на поверхностях в конце 1940-х, результатом чего стала диссертация 1950 года его учеником П. М. Пу. Фактический срок систола сам по себе был придуман только четверть века спустя, Марсель Бергер.

Дальнейший импульс этому направлению исследований, по-видимому, придало замечание Рене Том в беседе с Бергером в библиотеке Страсбургского университета в 1961–62 учебном году, вскоре после публикации статей Р. Акколы и К. Блаттера. Говоря об этом систолическом неравенстве, Том, как сообщается, воскликнул: Mais c'est fondamental! [Эти результаты имеют фундаментальное значение!]

Впоследствии Бергер популяризировал эту тему в серии статей и книг, последняя из которых вышла в мартовском номере журнала за 2008 год. Уведомления Американского математического общества. Библиография в Сайт по систолической геометрии и топологии на данный момент содержит более 170 статей. Систолическая геометрия - это быстро развивающаяся область, в которой недавно появился ряд публикаций в ведущих журналах. Недавно появилась интригующая связь с Категория Люстерника – Шнирельмана. Существование такой связи можно рассматривать как теорему в систолическая топология.

Реальная проективная плоскость

Анимация Римская поверхность представляющий RP² в R³

В проективная геометрия, то реальная проективная плоскость ${displaystyle mathbb {RP} ^{2}}$ определяется как набор линий, проходящих через начало координат в ${displaystyle mathbb {R} ^{3}}$. Функция расстояния на ${displaystyle mathbb {RP} ^{2}}$ наиболее легко понять с этой точки зрения. А именно, расстояние между двумя линиями через начало координат по определению является углом между ними (измеряется в радианах), или, точнее, меньшим из двух углов. Эта функция расстояния соответствует метрике константы Гауссова кривизна +1.

В качестве альтернативы, ${displaystyle mathbb {RP} ^{2}}$ можно определить как поверхность, полученную путем идентификации каждой пары противоположных точек на 2-сфере.

Другие показатели на ${displaystyle mathbb {RP} ^{2}}$ могут быть получены путем факторного анализа метрик на ${displaystyle S^{2}}$ вложены в 3-х пространств центрально-симметричным образом.

Топологически, ${displaystyle mathbb {RP} ^{2}}$ можно получить из ленты Мёбиуса, прикрепив диск вдоль границы.

Среди закрытые поверхности, реальная проективная плоскость является простейшей неориентируемой такой поверхностью.

Неравенство Пу

Неравенство Пу для вещественной проективной плоскости относится к общим Римановы метрики на ${displaystyle mathbb {RP} ^{2}}$.

Студент Чарльз Лёвнер s, Пао Мин Пу в диссертации 1950 г. (опубликованной в 1952 г.) доказал, что каждая метрика ${displaystyle g}$ на реальной проективной плоскости ${displaystyle mathbb {RP} ^{2}}$ удовлетворяет оптимальному неравенству

${displaystyle mathrm {sys} (g)^{2}leq {frac {pi }{2}}mathrm {area} (g),}$

куда ${displaystyle mathrm {sys} }$ это систола. Граничный случай равенства достигается именно тогда, когда метрика имеет постоянную гауссову кривизну. В качестве альтернативы неравенство можно представить следующим образом:

${displaystyle mathrm {area} (g)-{frac {2}{pi }}mathrm {sys} (g)^{2}geq 0.}$

Существует обширное обобщение неравенства Pu из-за Михаил Громов, называется Систолическое неравенство Громова для существенных многообразий. Чтобы сформулировать свой результат, требуется топологическое понятие существенное многообразие.

Неравенство тора Лёвнера

Кратчайшая петля на торе

Аналогично неравенству Пу, Неравенство тора Лёвнера относится к общей площади систолы, то есть наименьшей длине несжимаемой петли на торе ${displaystyle (T^{2},g)}$:

${displaystyle mathrm {area} (g)-{ frac {sqrt {3}}{2}}mathrm {sys} (g)^{2}geq 0.}$

Граничный случай равенства достигается тогда и только тогда, когда метрика гомотетична плоской метрике, полученной как фактор${displaystyle {mathbb {R} }^{2}}$ решеткой, образованнойЦелые числа Эйзенштейна.

Неравенство Боннесена

Классический Неравенство Боннесена усиленное изопериметрическое неравенство

${displaystyle L^{2}-4pi Ageq pi ^{2}(R-r)^{2}.,}$

Здесь ${displaystyle A}$ - площадь области, ограниченной замкнутой жордановой кривой длины (периметра) ${displaystyle L}$ в плоскости, ${displaystyle R}$ - радиус описанной ограниченной области, а ${displaystyle r}$ это его внутренний радиус. Срок ошибки ${displaystyle pi ^{2}(R-r)^{2}}$ с правой стороны традиционно называется изопериметрический дефект. Аналогичное усиление неравенства Лёвнера.

Неравенство Лёвнера с дефектным членом

Объяснение усиленной версии неравенства Лёвнера носит несколько более технический характер, чем остальная часть этой статьи. Для полноты картины стоит включить его сюда. Усиленный вариант - неравенство

${displaystyle mathrm {area} (g)-{ frac {sqrt {3}}{2}}mathrm {sys} (g)^{2}geq mathrm {Var} (f),}$

где Var - вероятностная отклонение пока ж конформный фактор, выражающий метрику грамм в терминах плоской метрики единичной площади в конформном классе грамм. Доказательство является результатом комбинации вычислительной формулы для дисперсии и Теорема Фубини (см. Горовиц и другие, 2009).

Смотрите также

• Систолы поверхностей
• Субриманова геометрия

Рекомендации

• Бангерт, В.; Croke, C .; Иванов, С .; Кац, М.: Гипотеза области заполнения и реальные гиперэллиптические поверхности без овалов. Геометрический и функциональный анализ (ГАФА) 15 (2005), вып. 3, 577–597.
• Бергер, М .: Systoles et applications selon Gromov. (Французский. Французское резюме) [Систолы и их приложения по Громову] Séminaire Bourbaki, Vol. 1992/93. Astérisque No. 216 (1993), Exp. №771, 5, 279—310.
• Бергер, М .: Панорамный вид римановой геометрии. Springer-Verlag, Берлин, 2003.
• Бергер, М .: Что такое ... систола? Уведомления AMS 55 (2008), нет. 3, 374–376.
• Buser, P .; Сарнак, П .: О матрице периодов римановой поверхности большого рода. С приложением Дж. Х. Конвея и Н. Дж. А. Слоана. Изобретать. Математика. 117 (1994), нет. 1, 27–56.
• Громов М. Систолы и межсистолические неравенства. (Английский, французский резюме) Actes de la Table Ronde de Géométrie Différentielle (Luminy, 1992), 291–362, Sémin. Congr., 1, Soc. Математика. Франция, Париж, 1996 г.
• Громов, М. Метрические структуры для римановых и неримановых пространств. На основе французского оригинала 1981 года. С приложениями М. Каца, П. Пансу и С. Семмеса. Перевод с французского Шона Майкла Бейтса. Прогресс в математике, 152. Birkhäuser Boston, Inc., Бостон, Массачусетс, 1999.
• Чарльз Горовиц, Карин Усади Кац и Михаил Г. Кац (2008), Неравенство тора Лёвнера с изосистолическим дефектом, Журнал геометрического анализа 19 (2009), вып. 4, 796–808. Видеть arXiv: 0803.0690
• Кац, М. Систолическая геометрия и топология. С приложением Дж. Соломона. Математические обзоры и монографии, том 137. Американское математическое общество, 2007.
• Кац, М .; Рудяк, Ю. Систолическая категория и категория Люстерника-Шнирельмана многообразий малой размерности. Сообщения по чистой и прикладной математике 59 ('06), 1433–1456.
• Кац, М .; Сабурау, С .: Энтропия систолически экстремальных поверхностей и асимптотические границы. Ergo. Чт. Dynam. Sys. 25 (2005), 1209–1220.
• Кац, М .; Schaps, M .; Вишне, У .: Логарифмический рост систолы арифметических римановых поверхностей вдоль подгрупп конгруэнции. J. Differential Geom. 76 (2007), нет. 3, 399–422. Доступны на arXiv:math.DG / 0505007
• Пу, П. М .: Некоторые неравенства в некоторых неориентируемых римановых многообразиях. Pacific J. Math. 2 (1952), 55—71.

внешняя ссылка

• Введение в дифференциальную геометрию и общую теорию относительности