Электронная библиотека диссертаций и авторефератов России
dslib.net
Библиотека диссертаций
Навигация
Каталог диссертаций России
Англоязычные диссертации
Диссертации бесплатно
Предстоящие защиты
Рецензии на автореферат
Отчисления авторам
Мой кабинет
Заказы: забрать, оплатить
Мой личный счет
Мой профиль
Мой авторский профиль
Подписки на рассылки



расширенный поиск

Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Слуцкий Дмитрий Анатольевич

Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского
<
Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского
>

Диссертация - 480 руб., доставка 10 минут, круглосуточно, без выходных и праздников

Автореферат - бесплатно, доставка 10 минут, круглосуточно, без выходных и праздников

Слуцкий Дмитрий Анатольевич. Многогранные метрики на границах выпуклых гиперболических многообразий и изгибаемость многогранников в пространстве Лобачевского: диссертация ... кандидата Физико-математических наук: 01.01.04 / Слуцкий Дмитрий Анатольевич;[Место защиты: Институт математики им. С.Л.Соболева Сибирского отделения Российской академии наук], 2016

Содержание к диссертации

Введение

1 Нежёсткий многогранник с ненулевой вариацией объёма в пространстве Лобачевского 15

1.1 Построение многогранника S 17

1.2 Условие нежёсткости 19

1.3 Вычисление метрических элементов тетраэдра T(t) 24

1.4 Доказательство Теоремы 1.1 29

1.5 Заключительные замечания 31

2 Необходимое условие изгибаемости невырожденной подвески в пространстве Лобачевского 33

2.1 Формулировка основного результата 34

2.2 Уравнение Коннелли изгибаемости подвески 37

2.3 Уравнение изгибаемости подвески в терминах длин её рёбер 41

2.4 Доказательство Теоремы 2.1

2.5 Проверка необходимого условия изгибаемости на октаэдрах Брикара - Штахеля в трёхмерном пространстве Лобачевского 49

2.5.1 Октаэдры Брикара - Штахеля первого и второго типов 50

2.5.2Октаэдры Брикара - Штахеля третьего типа 52

3 Построение квазифуксова многообразия, содержащего выпуклое компактное множество с заданной многогранной гиперболической метрикой на границе 65

3.1 Доказательство Теоремы 3.5 71

3.1.1 Построение последовательностей метрик, сходящих ся к заданным метрикам 72

3.1.2 Сходимость выпуклых поверхностей в компактной области пространства Лобачевского Н3 79

3.1.3Сходимость представлений голономии {р }пещ и раз вёртывающих отображений {fg+ : S+ — ІН3}пЄ и {f- S- -+ И3}пєМ " 90

3.1.4Адаптация доказательства классической теоремы А. Д. Александрова на случай пространства Лобачевского 101

3.1.5 Индуцированные метрики поверхностей S+ и S 108

4 Расстояние между компонентами границы выпуклой ком пактной области в квазифуксовом многообразии 112

4.1 Построение цилиндров Су1\ и Су12 117

4.2 Свойства цилиндров типа Cyl 120

4.3 /г-окрестность геодезической на плоскости Лобачевского И2 124

4.4 Фундаментальные области цилиндров Cyl1 и Cyl2 на плоскости Лобачевского H2 126

4.5 Рассмотрение Ситуации 1 в случае, когда условие ортогональности выполнено 129

4.6 Рассмотрение Ситуации 2 в случае, когда условие ортогональности выполнено 134

4.7 Доказательство Теоремы 4.2 в общем случае

4.7.1 Рассмотрение Ситуации 1 в общем случае 139

4.7.2 Рассмотрение Ситуации 2 в общем случае 145

4.7.3 Завершение доказательства Теоремы 4.2 148

Заключение 149

Литература

Введение к работе

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

1. Многогранник (точнее, многогранная поверхность) называется изгибаемым, если его пространственную форму можно изменить такой непрерывной во времени деформацией, при которой каждая грань не изменяет своих размеров (то есть движется как твёрдое тело), а деформация осуществляется только за счёт непрерывного изменения двугранных углов. Такая деформация называется изгибанием многогранника (см., например, []).

Первые изгибаемые многогранники в евклидовом пространстве (коими являются октаэдры) сконструировал Р. Брикар ещё в 1897 году. Современный способ построения октаэдров Брикара был предложен А. Лебегом []. Октаэдры Брикара имеют самопересечения. В 1976 году Р. Коннелли сконструировал первый изгибаемый многогранник, вложенный в R3 ([]; см. также русский перевод []).

В теории жёсткости многогранников одной из самых знаменитых проблем являлась гипотеза кузнечных мехов, утверждающая, что ориентируемый объём изгибаемого многогранника не меняется в процессе изгибания. И. Х. Сабитов [] в 1996 году доказал гипотезу кузнечных мехов в трёхмерном евклидовом пространстве. Доказательство И. Х. Сабитова базируется на построении и изучении многочлена, выражающего объём изгибаемого многогранника. Более короткое, однако не дающее способа построения многочлена объёма, доказательство этой теоремы приведено в совместной статье [] Р. Коннелли, И. Х. Сабитова и А. Вольц.

Представляет большой интерес изучение классических вопросов теории многогранников, в том числе и гипотезы кузнечных мехов, не только в евклидовом пространстве, но и в пространствах, локально являющихся пространствами постоянной кривизны, например, в сферическом пространстве, в пространстве Лобачевского, а также в пространствах размерности, больше либо равной трём (см. вопрос 15 в работе И. Х. Сабитова [, стр. 59]).

Несколько лет назад А. А. Гайфуллин доказал гипотезу кузнечных мехов в евклидовом пространстве размерности 4 [], а затем и в евклидовом пространстве произвольной размерности []. Обе работы вышли в печать в 2014 году.

В. А. Александров [] в 1997 году построил в трёхмерном сферическом пространстве изгибаемый многогранник, объём которого меняется при изгибании этого многогранника. В продолжение этого результата А. А. Гайфуллин []

в 2015 году построил примеры изгибаемых кросс-политопов в сферических пространствах всех размерностей, гипотеза кузнечных мехов для которых не верна.

А. А. Гайфуллин [] в 2015 году доказал гипотезу кузнечных мехов в нечетномерных пространствах Лобачевского.

Другим вопросам теории жёсткости и изгибаемости многогранников посвящены недавние работы В. А. Александрова [13, ], В. А. Александрова и Р. Коннелли [], А. А. Гайфуллина [], Д. И. Сабитова и И. Х. Сабитова [], И. Х. Сабитова [].

Широкий обзор теории многогранников, а также формулировки многих нерешённых задач в области «решения многогранников» приведены в статье И. Х. Сабитова [].

Виртуальным многогранником называется разность Минковского двух выпуклых многогранников (см. [], []). Понятия жёсткости и изгибаемости распространяются и на виртуальные многогранники. Так, в 2003 году Г. Ю. Панина [] доказала, что виртуальные многогранники с выпуклыми веерами являются жёсткими.

Деформацией многогранной поверхности S называется семейство поверхностей S(t), t Є (—1,1), аналитически зависящее от параметра t, сохраняющее комбинаторную структуру многогранника S и такое, что «S. Деформация многогранной поверхности S с треугольными гранями называется её бесконечно малым изгибанием, если при t = 0 длины всех рёбер поверхности S(t) стационарны. Бесконечно малое изгибание называется нетривиальным, если найдутся две вершины, не соединённые ребром, пространственное расстояние между которыми нестационарно. Многогранник называется нежёстким, если для него найдётся нетривиальное бесконечно малое изгибание.

Пытаясь доказать гипотезу кузнечных мехов, И. Х. Сабитов ещё в 1980 году предложил рассматривать её в том числе и на уровне бесконечно малых изгибаний (см. примечание редактора перевода в []). Несколько огрубляя ситуацию, мы можем высказать вопрос Сабитова так: верно ли, что при любом бесконечно малом изгибании замкнутой поверхности объём, ограниченный ею, стационарен? В. А. Александров в своих статьях [] и [] даёт отрицательный ответ на вопрос Сабитова для нежёстких многогранников в трёхмерных евклидовом и сферическом пространствах. Вопрос И. Х. Сабитова актуален и для других пространств: например, для пространства Лобачевского.

2. Подвеской называется многогранник с двумя выделенными вершинами, именуемыми северным и южным полюсом, не соединёнными ребром, каждая из которых при этом имеет общие рёбра со всеми оставшимися вершинами (именуемыми вершинами экватора), а рёбра, соединяющие вершины экватора, образуют цикл.

Октаэдры Брикара [] служат примером изгибаемых подвесок. Г. Шта-хель [] в 2002 году доказал изгибаемость аналогов октаэдров Брикара в трёхмерном пространстве Лобачевского.

В 1974 году Р. Коннелли [] доказал, что некоторая комбинация длин рёбер экватора изгибаемой подвески в трёхмерном евклидовом пространстве, взятых со знаком «плюс» или «минус» каждая, равна нулю. С. Н. Михалёв [25] в 2001 году алгебраическими методами передоказал упомянутый выше результат Коннелли и, кроме того, установил, что сумма длин рёбер любого пространственного четырёхугольника, образованного рёбрами подвески и содержащего её северный и южный полюсы, будет равна нулю, если только этим длинам приписать подходящим образом выбранные знаки «плюс» или «минус».

Возникает естественный вопрос: верен ли результат Коннелли - Михалёва в сферическом пространстве и в пространстве Лобачевского?

3. Проблема существования и единственности изометрической реализации поверхности с заданной метрикой в некотором окружающем пространстве является классической в метрической геометрии. Будучи изначально поставленной в евклидовом случае, эта задача может быть сформулирована и для поверхностей в других пространствах, в частности, в трёхмерном пространстве Лобачевского Є3.

Один из первых фундаментальных результатов в этой области геометрических исследований принадлежит А. Д. Александрову []. Речь в нём идёт о реализации многогранных поверхностей в пространствах постоянной кривизны. А именно, если на сфере S2 задана метрика h постоянной секционной кривизны К Є R повсюду кроме конечного набора конических точек таких, что полный угол вокруг них не превосходит 27Г, то в трёхмерном пространстве Rk постоянной кривизны К существует выпуклый многогранник, единственный с точностью до изометрических преобразований Rk, индуцированная метрика которого совпадает с h. При этом мы полагаем, что дважды покрытые плоские в Rk выпуклые многоугольники также являются выпуклыми многогранниками.

Также А. Д. Александрову и А. В. Погорелову [] принадлежит следующее утверждение про реализацию гладких метрик в пространстве Лобачевского. Пусть h - С00-гладкая метрика на сфере S2, кривизна которой всюду строго больше —1. Тогда существует изометрическое вложение сферы (S2,h) в Н3, единственное с точностью до изометрических преобразований Н3. Такое вложение ограничивает выпуклое тело в Н3.

Напомним, что дискретная подгруппа V группы PSL/2(M), без кручения, конечного типа и такая, что фактор-пространство M2/F имеет конечный объём, называется фуксовой группой []. Действие фуксовой группы > С PSL2(M)

на плоскости Рві3 естественным образом продолжается на всё пространство Лобачевского Є3.

Ещё один результат при изучении обозначенной нами проблемы для гиперболических многообразий специального вида, а именно, фуксовых многообразий, получил М. Л. Громов []: если компактная поверхность S рода > 2 снабжена С00-гладкой метрикой h кривизны, всюду строго большей -1 то существует фуксова группа Г>, действующая изометриями в пространстве Лобачевского Н3, такая что поверхность (S, К) изометрически вложена в фактор-пространство 1Н13/Гр.

Будем говорить, что компактное гиперболическое трёхмерное многообразие М с границей дМ строго выпукло [], если любые две точки М могут быть соединены минимальной геодезической, лежащей во внутренности многообразия М. Из этого условия следует, что кривизна границы дМ всюду строго больше -1 (для нас термин "гиперболичность" означает постоянную кривизну, равную -1).

Ф. Лабури [] доказал следующий результат, который может считаться обобщением вышеупомянутых теорем Александрова - Погорелова и Громова: если М — компактное многообразие с краем, отличное от полного тора, допускающее структуру строго выпуклого гиперболического многообразия и если h — С00-гладкая метрика на дМ кривизны, всюду строго большей чем -1, то на многообразии М существует гиперболическая метрика д, которая индуцирует метрику h на границе дМ, и такая что многообразие М является выпуклым относительно метрики д. Единственность метрики д была показана Ж.-М. Шлен-кером [].

Напомним, что предельное множество Л(Гр) С с^оН3 фуксовой группы TF, действующей на Є3, есть пересечение некоторой плоскости Лобачевского с границей на бесконечности пространства Н3, то есть окружность (в моделях Пуанкаре и Клейна трёхмерного пространства Лобачевского).

Частным примером многообразий, рассматриваемых в теореме Лабури -Шленкера, являются квазифуксовы многообразия. Квазифуксово многообразие -это фактор-пространство Є3/Г^ трёхмерного пространства Лобачевского Є3 по конечнопорождённой дискретной группе TqF С PSL2(M) гиперболических изо-метрий пространства Н3 такое, что найдётся фуксова группа Гґ изометрий Є3 такая, что предельное множество Л(Г^) С с^оН3 группы Г^ есть жорданова кривая, которая может быть получена из окружности Л(Гр) С с^оН3 с помощью некоторой квазиконформной деформации границы на бесконечности ^Н3 трёхмерного пространства Лобачевского. Группа TqF из приведённого выше определения называется квазифуксовой. С геометрической точки зрения квазифуксово многообразие можно интерпретировать как полное гиперболическое многообра-

зие, содержащее выпуклое компактное подмножество и гомеоморфное 5x1, где S есть замкнутая связная поверхность рода > 2.

Интересно изучить вопрос о существовании и единственности метрики д из теоремы Лабури - Шленкера в предположении, что метрика h на границе многообразия М негладкая, например, многогранная. Актуален этот вопрос и для случая, когда М - квазифуксово многообразие.

Цель работы. Целью работы является поиск изгибаемых и нежёстких многогранников в пространстве Лобачевского Н3 и изучение их свойств, а также изучение проблемы реализации выпуклых компактных областей с заданной метрикой на границе в квазифуксовых многообразиях.

Основные результаты.

  1. Построен пример нежёсткого многогранника в Є3, объём которого нестационарен при некотором бесконечно малом изгибании.

  2. Найдено необходимое условие изгибаемости подвесок в Є3.

  3. В квазифуксовых многообразиях доказано существование выпуклых компактных областей с заданной многогранной метрикой на границе.

Методы исследований. Для доказательства основных результатов диссертационной работы были использованы методы гиперболической геометрии, геометрической теории групп, а также геометрии и топологии малых размерностей.

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

Теоретическая и практическая ценность. Результаты работы имеют теоретический характер. Разработанные методы и полученные результаты могут быть применены в теории жёсткости многообразий и в «геометрии в целом».

Апробация работы. Результаты диссертации были представлены на Международных конференциях «Неравенства на объёмы» в Математическом центре г. Банфф (провинция Альберта, Канада) в марте 2010 г.; «Дни геометрии в Новосибирске» в Институте математики имени С. Л. Соболева СО РАН в сентябре 2011 г.; «The Fourth Geometry Meeting» в честь столетия со Дня рождения А. Д. Александрова в Санкт-Петербургском отделении Математического института им. В. А. Стеклова РАН в августе 2012 г.; «GEAR Junior Retreat» в Университете Мичигана в г. Энн Арбор (США) в мае 2014 г.; «Теория пространств Тайхмюллера и поверхности в трёхмерных многобразиях» в Высшей Нормальной Школе в г. Пиза (Италия) в июне 2014 г.; «Геометрические структуры и многообразиия представлений» в Корейском Институте передовых научных исследований (KIAS) в г. Сеул в ноябре 2014 г.; на тематическом дне «Ограниченная кривизна в смысле А. Д. Александрова» в университете Сержи-Понтуаз в г. Париж (Франция).

Результаты диссертации докладывались на семинаре Отдела анализа и геометрии в Институте математики имени С. Л. Соболева СО РАН в г. Новосибирск в феврале 2010 г. и декабре 2015 г.; семинаре профессора И. Х. Сабитова в МГУ в марте 2010 г.; семинаре аспирантов Института математики г. Тулуза (Франция) в мае 2010 г. и в апреле 2012 г.; на семинаре «Геометрия и топология трёхмерных многообразий» в Институте передовых математических исследований в г. Страсбург (Франция) в ноябре 2013 г.; на семинаре «Геометрия, топология и их приложения» под руководством академика РАН И. А. Тайманова в Институте математики имени С. Л. Соболева СО РАН в г. Новосибирске в декабре 2013 г.; на семинаре «Дискретизация в геометрии и динамике» в Техническом университете г. Берлин (Германия) в марте 2015 г.

За результаты, вошедшие в диссертационную работу, автору были присуждены стипендия на стажировку (Bourse de Stage) Посольства Франции в России (2010 г.) и стипендия имени А. Г. Эйфеля (Bourse d’excellence Eiffel) правительства Франции на 2011–2012 учебный год.

В рамках соглашения о двойном научном руководстве, заключённого между Институтом математики имени С. Л. Соболева СО РАН (г. Новосибирск, Россия) и Университетом Поля Сабатье (г. Тулуза, Франция) в 2008 году, эта диссертация была успешно защищена автором в Университете Поля Сабатье 1го октября 2013 г. с присвоением степени доктора Университета Поля Сабатье — Тулуза III по направлению «фундаментальная математика» (французского аналога российской учёной степени кандидата физико-математичеких наук).

Исследования автора выполнены при частичной поддержке Совета по грантам Президента Российской Федерации (грант НШ-6613.2010.1), ФЦП «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг. (гос. контракт № 02.740.11.0457) и Российского фонда фундаментальных исследований (код проекта 10-01-91000-анф).

Публикации. Основные результаты диссертации опубликованы в четырёх печатных изданиях, рекомендованных ВАК [] – [].

Структура диссертации. Диссертация изложена на 159 страницах и состоит из введения, четырёх глав и списка литературы. Работа содержит 23 рисунка. Список литературы насчитывает 60 наименования.

Вычисление метрических элементов тетраэдра T(t)

Поскольку величины углов в гиперболическом треугольнике больше О и меньше 7г, то синусы углов треугольника неотрицательны и, следовательно, sin9(t) = \J\ — cos29(t), sin (t) = \J\ — cos2/y(t), sin\(t) = \J\ — cos2X(t).

Рассмотрим сферу E единичного радиуса с центром в вершине A(t) тетраэдра T(t). Обозначим через СА{І), АГД() И ВА(І) ТОЧКИ пересечения сферы Е с лучами A(t)C, A(t)N(t) и A(t)B(t) соответственно. Они определяют треугольник ACA{t)NA{t)BA{t), состоящий из точек пересечения сферы Е и лучей, выпущенных из точки A(t) и проходящих через точки грани ACB(t)N(t) тетраэдра T(t). ПО ПОСТрОеНИЮ УГОЛ СферИЧеСКОГО ТреуГОЛЬНИКа ACA(t)NA(t)BA(t) при вершине СА{Ь) равен 7г/2, угол при А () равен ZN(t)A(t), угол при ВА{Ь) равен ZA(t)B(t), длина стороны CU()A () равна /3(t), длина ЫА{Ь)ВА{Ь) равна (t), длина СА{Ь)ВА{Ь) равна S(t). Аналогично строится сферический треугольник ACB{t)NB{t)AB{t), угол которого при вершине CB{t) равен 7г/2, угол при NB{t) равен ZN(t)B(t), угол при AB{t) равен ZA(t)B(t), длина стороны CB{t)NB{t) равна p(t), длина NB{t)AB{t) равна 0(t), длина CB{t)AB{t) равна i(j(t). cos ZA(t)B(t) cos ZN(t)A(t) Дважды применяя теорему косинусов для сферического пространства [36] к треугольнику ACA{t)NA{t)BA{t), получаем формулы: cos (3{t) — cos 7(0 cos S(t) sin7( ) sin() cosS(t) — cos f(t) cos/3(t) sin7( ) sin/3(t) Применяя теперь теорему косинусов для сферического простран 28 ства к треугольнику ACB( )7VB( )AB( ), получаем: cos ZN(t)B(t) = m-coMt)cose(t)_ KJ KJ sin cp(t) sin Є{t)

Напомним, что согласно формуле Шлефли для многогранников в трёхмерном пространстве Лобачевского [36], кривизна которого равна —1, имеет место равенство dV l leMe, (1-25) где dV — вариация объёма многогранника с длинами рёбер le, d9e — вариация двугранного угла многогранника при соответствующем ребре и суммирование ведётся по всем рёбрам.

Покажем, что в качестве многогранника, существование которого утверждается в Теореме 1.1, можно взять многогранник S(0) из семейства подвесок S(t), t Є (—1,1), построенного в разделе 1.1, с образующими элементами тетраэдра Т

Подвеска S(0) нежёсткая, поскольку р, q и а из (1.26) удовлетворяют условию (1.9). Убедимся, что в качестве бесконечно малого изгибания, существование которого утверждается в теореме, можно взять нетривиальное бесконечно малое изгибание из раздела 1.2 с коэффициентами (1.27).

По формуле Шлефли (1.25) с учётом обозначений и замечаний раздела 1.1 вариация объёма многогранника S(t) при t = 0 записы зо вается так: d%1) = _12(в(0) Ш(0) + 6(0) Ш(0)+ + с(0) ШШ(0))Л. (1.28) LLL J Подставляя величины из (1.26) и (1.27) в формулы разделов 1.2 и 1.3, последовательно находим значения гиперболических косинусов длин сторон и вариаций двугранных углов тетраэдра T(t) при

Вполне возможно, что в качестве примера многогранника, удовлетворяющего условиям Теоремы 1.1, можно взять и другие полиэдры (например, построив в пространстве Лобачевского аналог нежёсткого октаэдра Г. Глюка [33]; см. также русский перевод [34]), но здесь мы не будем проверять этого.

Пользуясь обозначениями раздела 1.4, определим интегральную среднюю кривизну многогранника S(t) в трёхмерном пространстве следующим образом:

M(s(t)) = \Y.l -oe(t)) Р. Александер в [38] доказал, что интегральная средняя кривизна любого многогранника в трёхмерном евклидовом пространстве стационарна при любом бесконечно малом изгибании. Длины рёбер многогранника S(t) стационарны при бесконечно малом изгибании подвески S(t) из раздела 1.2. Значит, вариация интегральной средней кривизны многогранника S(t) при t = 0 совпадает с вариацией объёма dVs ). Стало быть, из доказательства Теоремы 1.1 автоматически следует, что вариация интегральной средней кривизны для построенного изгибания подвески S не равна нулю. Таким образом мы видим, что интегральная средняя кривизна нежёсткого многогранника не обязательно стационарна в пространстве Лобачевского и сферическом, но обязательно стационарна в евклидовом пространстве.

Проверка необходимого условия изгибаемости на октаэдрах Брикара - Штахеля в трёхмерном пространстве Лобачевского

В 2002 году Г. Штахель [23] доказал изгибаемость аналогов октаэдров Брикара в трёхмерном пространстве Лобачевского. Убедимся в справедливости полученного нами необходимого условия изгибаемости на примере октаэдров Брикара - Штахеля.

Октаэдром О мы будем называть подвеску NABCDS с полюсами N и S и вершинами экватора А, В, С и D. Обратим внимание на то, что в качестве полюсов октаэдра О можно также взять вершины А и С (в этом случае экватором подвески служит четырёхвершин-ник NDSB) и вершины В и D (которым соответствует экватор NCSA). L

Октаэдры Брикара - Штахеля первого и второго типов в пространстве Лобачевского строятся точно так же, как и октаэдры Брикара первого и второго типов в евклидовом пространстве [23], [44].

Любой октаэдр Брикара - Штахеля первого типа в Н3 может быть построен следующим образом. Рассмотрим кусочно-линейную гомеоморфную диску поверхность S в Н3, составленную из четырёх треугольников ABN, BCN, CDN и DAN, причём dms(A,B) = сіиз(С, D) и сіиз(Б,С) = сіиз(І),Л). Известно, что пространственный четырёхвершинник ABCD, у которого длины несмежных сторон равны, симметричен относительно прямой С, проходящей через середины его диагоналей АС и BD (см. Рис. 2.8; для более чёткой аналогии с евклидовым случаем многогранники на этом и последующих рисунках изображены в проективной модели пространства Лобачевского, прямые и плоскости в которой, как известно, являются пересечениями евклидовых прямых и плоскостей Рис. 2.10: Построение октаэдра Брикара Рис. с шаром единичного радиуса). Отразим S относительно L и полученный образ склеим с S по четырёхвершиннику ABCD. Точку, симметричную N относительно L, обозначим символом S (см. Рис. 2.9). Полученная многогранная поверхность NABCDS является изгибаемой (поскольку S изгибаема) и представляет собой октаэдр (согласно данному выше определению). Мы будем называть её октаэдром Брикара - Штахеля первого типа. Из построения следует, что (ЫДАО = dw{C,S), dw(B,N) = dus(D}S), dw(C,N) = d№(A,S)nd№(D,N) = d№(B,S).

Любой октаэдр Брикара - Штахеля второго типа в Н3 может быть построен следующим образом. Рассмотрим кусочно-линейную гомеоморфную диску поверхность S в Н3, составленную из четырёх треугольников ABN, BCN, CDN и DAN, причём dms(A,B) = сіиз(Б,С) и сіиз(С, D) = dffii(D,A). Известно, что пространственный четырёхвершинник ABCD, у которого длины смежных сторон при вершинах В и D равны, симметричен относительно плоскости Н, делящей пополам угол между полуплоскостями ABD и CBD (см. Рис. 2.10). Отразим S относительно Н и полученный образ склеим с 5 по четырёхвершиннику ABCD. Точку, симметричную N относительно Н, обозначим символом S (см. Рис. 2.11). Полученная многогранная поверхность NABCDS является изгибаемой (поскольку S изгибаема) и представляет собой октаэдр. Мы будем называть её октаэдром Брикара - Штахеля второго типа. Из построения следует, что с1из(Л,7У) = dip (С, S), dip (С, TV) = d a(A,S), dus(B}N) = dw(B,S) и сМД АО = dB?(D,S).

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

Известны три подтипа октаэдров Брикара - Штахеля третьего типа в пространстве Лобачевского [23], при конструировании которых используются окружности, орициклы и гиперокружности соответственно. Принцип построения октаэдров Брикара - Штахеля третьего типа общий для всех его подтипов и не отличается от алгоритма построения октаэдров Брикара третьего типа в евклидовом пространстве. Ai

Штахеля третьего типа на основе Шаг 2. Любой октаэдр Брикара - Штахеля третьего типа в Н3 может быть построен следующим образом. Пусть КАС И КАВ — две различных окружности (орицикла, гиперокружности) в Н2 с общим центром М и пусть А\ и А — две различные конечные точки вне КАС И КАВ- Предположим дополнительно, что КАС-, КАВ, А\ И А ВЗЯТЫ таким образом, что касательные прямые к КАВ-, проходящие через А\ и А2, попарно пересекаясь в конечных точках Н2, образуют четырёх-вершинник А1В1А2В2, касательный к КАВ, а касательные прямые к КАС, проходящие через А\ и А2, попарно пересекаясь в конечных точках Н2, образуют четырёхвершинник А1С1А2С2, касательный к КАС (СМ. РИС. 2.12; для наглядности мы разместили окружности КАВ И КАС таким образом, что их центр совпадает с центром проективной модели пространства Лобачевского — в этом случае КАВ И КАС ЯВЛЯЮТСЯ И евклидовыми окружностями тоже). Многогранник О с вершинами Ai, BJ И Ck, рёбрами A{Bj, AiCk и BjCk и гранями AAiBjCk, i,j,k Є {1,2}, является октаэдром в смысле данного выше определения (см. Рис. 2.13). В качестве его полюсов можно взять пары вершин (Аі, ) (ей соответствует экватор В1С1В2С2), (Bi,B2) (с экватором А1С1А2С2) и (Ci,C2) (с экватором AiBiA2B2). Дополнительно исключим все возможные симметрии фигуры О. Такой октаэдр О мы будем называть октаэдром Брикара - Штахеля третьего типа.

Сходимость выпуклых поверхностей в компактной области пространства Лобачевского Н3

Компактное связное трёхмерное многообразие Л4 вида S х [—1,1], где S — замкнутая связная поверхность рода 2, такое, как описано в формулировке Теоремы 3.5, можно интерпретировать как выпуклую компактную область внутри квазифуксова многообразия М = Н3/Гд , где символ TQF обозначает квазифуксову группу изо-метрий трёхмерного пространства Лобачевского Н3. Отметим, что граница дЛ4 такой области Л4 состоит из двух отдельных локально выпуклых компактных поверхностей в многообразии Л4. Так, метрика h из формулировки Теоремы 3.5 представляет собой пару почти всюду гиперболических метрик за исключением конечного набора конических точек, таких что полный угол вокруг них не превосходит 27г (или другими словами, пару многогранных гиперболических метрик) на связных компактных поверхностях того же рода, что и многообразие Л4. Наша цель — отыскать такие квазифуксову подгруппу TQF изометрий пространства Лобачевского Н3 и выпуклую компактную область Л4 с Л4, что индуцированная метрика её границы дЛ4 совпадает с h.

Основная идея доказательства Теоремы 3.5 состоит в том, чтобы (1) аппроксимировать метрику h с коническими сингулярностями последовательностью {Ьт}пещ С-гладких метрик, для которых применима Теорема Лабури - Шленкера 3.6, и значит, найдутся такие квазифуксовы группы Гп изометрий пространства Н3 и такие выпуклые компактные области Л4п в квазифуксовых многообразиях Мп = Н3/Гп, что индуцированные метрики на границах дМп множеств Мп совпадают с hn, п є N; (2) отыскать последовательность натуральных чисел rik ос к—т оо такую, что подпоследовательности групп {ГПй}/;Є и областей {Л4Пк}кеп сходятся к некоторым пределам (типы сходимости будут уточнены позднее); (3) а также показать, что индуцированная метрика на границе пре дельной области М совпадает с h. Для удобства давайте введём новые обозначения для некоторых объектов, о которых мы уже упоминали ранее: для области Л4 и ква-зифуксова многообразия Л4 мы будем использовать символы Л оо и М соответственно. Мы также обозначим связные компоненты границы дМоо предельной области Л оо за S+ и S , а индуцированные метрики поверхностей S+ и S — за /г+ и h соответственно. Таким образом, определить метрику h из формулировки Теоремы 3.5 означает предоставить пару многогранных гиперболических метрик

К и К 3.1.1 Построение последовательностей метрик, сходящихся к заданным метрикам В этом параграфе мы докажем два вспомогательных результата. Лемма 3.1. Предположим, что поверхность S снабжена многогранной гиперболической метрикой h (то есть, секционная кривизна которой равна —1 всюду, за исключением конечного множества конических точек, таких что полный угол вокруг них не превосходит 1ж). Тогда существует сходящаяся к h последовательность {hn}nn С-гладких метрик на S, кривизны которых всюду — 1. Рис. 3.1: Круговой конус р в модели Клейна К пространства Лобачевского Ш .

Доказательство. Рассмотрим сингулярную точку Р є S многогранной гиперболической метрики h вместе с её окрестностью Up с S, не содержащей других сингулярных точек h. Область Up, снабжённая метрикой h\uP, являющейся ограничением метрики h, изомет-рична куску кругового конуса (р в трёхмерном пространстве Лобачевского Н3, сингулярная точка Р при этом соответствует вершине конуса р.

Модель Клейна К3 пространства Лобачевского Н3 можно представлять себе как шар единичного радиуса с центром в начале О декартовой системы координат Oxyz трёхмерного евклидова пространства М3. Напомним, что геодезические пространства Лобачевского в модели К3 суть ограничения евклидовых прямых на единичный шар в М3. Это означает, что конус пространства Лобачевского в проективной модели К3 выглядит как обыкновенный евклидов конус в Ш3. Поместим конус р в модель Клейна К3 так, чтобы его вершина совпадала с началом О декартовой координатной системы Oxyz, а ось Oz была бы осью симметрии (р (см. Рис. 3.1). Тогда конус р является поверхностью вращения вокруг оси Oz графика функции вида где параметр /І есть отрицательное целое число. Напомним следующий классический результат:

Теорема 3.7 (Теорема из 2.4 Главы I [49], стр. 13). Для всякой функции ф є Lp найдётся последовательность {фк}к&п С-гладких функций, сильно сходящихся к ф. При доказательстве Теоремы 3.7 в [49] регулярные аппроксимации фь, к є N, функции ф строятся как свёртки отображения ф с шапочками Соболева — функциями вида , ч — е 2-г 2, х Е \—г,г], Г ? j, шг\х) = r in где константа cr = etA-rAdt. { 0, xGl\[-r,r], J-г (3.1) а параметр г есть некоторое положительное вещественное число.

Поскольку нам достаточно рассматривать лишь маленький кусочек конуса (р, помещённого внутрь евклидова шара единичного радиуса с центром в начале координат О (интересующая нас часть конуса соответствует окрестности Up точки Р є S), мы можем считать, что отображение /Дж) определено на отрезке [—1,1]. Следовательно, будучи непрерывной функцией с компактным носителем, Д принадлежит пространству Лебега Ьр для всех р. Стало быть, выбрав монотонно убывающую последовательность вещественных по ложительных чисел rk 0 и осуществив свёртку функции /м с к— оо отображениями соГк, к є N, мы можем построить последовательность ВЫПУКЛЫХ ЧёТНЫХ фуНКЦИЙ {z = ffi{x) = fjj UJr x)} , сходящихся к /м. Из доказательства Теоремы 3.7 книги [49] следует, что функции fk, к є N, являются С-гладкими.

Рассмотрение Ситуации 1 в случае, когда условие ортогональности выполнено

Отметим, что индуцированная из трёхмерного пространства Лобачевского метрика цилиндра Cylo является плоской в смысле Н2, то есть её секционная кривизна всюду равна —1. Разогнём теперь пару гиперболических треугольников, образующих FD(Cylo) так, чтобы получился четырёхугольник R+R Q+Q с Н2 на плоскости Лобачевского, изометричный фундаментальной области FD(Cylo) посредством отображения, которое ставит в соответствие вершины с "тильдами" множества FD(Cylo) С Н3 точкам с теми же наименованиями, но без символа "тильда в плоскости Лобачевского Н2 (см.

Мы будем рассматривать четырёхвершинник R+R Q+Q в качестве фундаментальной области цилиндра Суіо в его универсальном накрытии внутри плоскости Лобачевского Н2. Обозначим символами XR И XQ геодезические линии в Н2, содержащие отрезки (в смысле пространства Лобачевского) R+R и Q+Q соответственно. Отметим, что связная область между прямыми XR И XQ В И2 (обозначим её FD CIJIQ)) является фундаментальной областью неограниченного гиперболического цилиндра Су1$, содержащего Cyk). В самом деле, фундаментальная группа тті(СуІ ) = Z . Таким образом, бесконечный цилиндр СуЩ содержит замкнутую геодезическую х, а в Н2 существует геодезическая %, служащая поднятием для х и связанная с изометрией х плоскости Лобачевского Н2 так, что Cyl = Ш2/(х). Продемонстрируем существование такой геодезической х Лемма 4.1. Пусть XRUXQ две непересекающиеся геодезические в Ш2, не являющиеся асимптотическими, с отмеченными точками R є XR U Q Є XQ- Существует единственная геодезическая х в Ш2 такая, что углы пересечения х с XRU XQ равны. Более того, если мы обозначим дополнительно В! = хд П X и Q = XQ П Х то сіИ2(Л, В!) = d (Q,Q ), причём точки R и Q лежат в одной полуплоскости относительно \ Доказательство. Рассмотрим модель Бельтрами - Клейна К2 плоскости Лобачевского Н2. Напомним, что К2 — это диск единичного радиуса на евклидовой плоскости Ш2, а все геодезические в К2 — это ограничения прямых евклидовой плоскости на этот диск. Не умаляя общности, мы будем считать геодезические Хд С К2 И Хд с К2 симметричными относительно оси Ох декартовой системы координат в Ш2, расположенными на некотором расстоянии ( от Ох. Пусть прямая XR лежит в верхней, а прямая %д — в нижней полуплоскости Ш2 относительно Ох. Наконец, зафиксируем произвольные точки

R є XR И Q Є XQ По построению, любая геодезическая в К2, проходящая через начало О нашей декартовой системы координат в Ш2, либо пересекает прямые XR И XQ ПД ОДНИМ И тем же углом, либо не пересекает ни одну из них. Рассмотрим семейство Фт таких геодезических RTQT, лежащих между прямыми OR и OQ, где RT є хд, QT Є XQ r обозначает расстояние в смысле пространства Лобачевского между точками R и RT, а прямая OQ є Фт этого семейства соответствует значению т параметра т.

Отметим, что точки R и Q лежат в одной полуплоскости по отношению к каждой прямой RTQT Є Фт. При монотонном возрастании параметра г от 0 до f расстояние C1]HI2(Q,QT) МОНОТОННО убывает от значения d$p {Q,Qt) ДО 0, а значит, существует единственное значение переменной то Є [0, т] такое, что dM2(R,RTo) = dM2(Q,QTo). В качестве х возьмём прямую RToQTo Є Фт. Прямая \ единственная, поскольку существует лишь одно подходящее значение параметра Замечание 4.1. Пусть Set(R ) = {x$-R \x$ є (х)} (по построению, Q є Set(R )). Тогда для каждой точки R7 є Set(R ) выполнено неравенство с1И2(Д+, R ) сіИ2(Л+, Rr).

Доказательство. По построению, сіиз(Л+,Л") = d (R+,R ), а поверхности (x).R+R Q+Q с Н2 (которая есть объединение Ux є(х) XpR+R Q+Q четырёхвершинников xpR+R Q+Q , изомет-ричных R+R Q+Q ) и (x).FD(Cylo) С Н3 изометричны в своих внутренних метриках. С очевидностью, для любых точек Ті и Т2 в {x).FD(Cylo) справедливо, что dM3(fbf2) {f)FDiCylo){fhf2), где Ш FD(cvi0)( i ) обозначает расстояние во внутренней метрике множества (x)-FD(Cylo). Наконец, часть 2) определения цилиндра Cylo типа Cyl позволяет установить справедливость Замечания 4.1.

Замечание 4.2. Пусть R Q — сегмент геодезической х с Н2 между прямыми пространства Лобачевского XR и XQ являющийся фундаментальной областью для х с СуЦ на х (здесь R є XR а Q є XQ)- Тогда либо R Q с R+R-Q+Q-, либо R!Q ПR+R Q+Q =

Доказательство. Напомним, что точки R+ и Q+ являются прообразами в Н2 одной и той же точки цилиндра Cylo, и каждая из них может быть получена из другой при помощи некоторой изомет-рии плоскости Лобачевского Н2, которая является элементом группы (х), оставляющей геодезическую х неподвижной. Следовательно, точки R+ и Q+ расположены в одной полуплоскости Н2 относительно прямой х и значит, сегмент R+Q+ не пересекается с геодезической х- Точно так же, R Q П х = 0. Мы можем заключить, что если сегменты R+Q+ и R Q лежат в одной и той же полуплоскости Н2 относительно х, то R Q П R+R Q+Q = 0. В противном случае, если отрезки R+Q+ и R Q расположены в разных полуплоскостях по отношению к прямой \ плоскости Лобачевского, то R Q с R+R Q+Q . В этом параграфе мы будем изучать четырёхвершинники специального типа на плоскости Лобачевского, а также полуокрестности геодезических, содержащих одну из сторон таких четырёхвершин-ников, которые либо описаны около, либо вписаны в наши четырёхвершинники. Некоторые свойства этих объектов нам понадобятся для получения оценок возможных размеров цилиндров типа Cyl.

Рассмотрим четырёхвершинник ОО РР с Н2 со сторонами dM2(0,0/) = /, dM2(P,P/) = V и dff(0,P) = dM2(0/,P/) = h , в котором рёбра OP и О Р перпендикулярны стороне ОО . Нарисуем кривую 7/i точки которой равноудалены от геодезической, содержащей отрезок ОО на расстояние h h , и такую, что jh пересекает геодезические, содержащие ОР и О Р в точках Т и Т соответственно. Обозначим сегмент кривой 7/1 между ОР и О Р за ТТ , а его длину (в смысле пространства Лобачевского) — за // .