Полные многообразия неотрицательной секционной кривизны в значительной степени сводятся к компактному случаю
В математике теорема о душе — это теорема римановой геометрии , которая в значительной степени сводит изучение полных многообразий неотрицательной секционной кривизны к изучению компактного случая. Джефф Чигер и Детлеф Громолл доказали теорему в 1972 году, обобщив результат 1969 года Громолла и Вольфганга Мейера. Связанная с ней гипотеза о душе , сформулированная Чигером и Громоллом в то время, была доказана двадцать лет спустя Григорием Перельманом .
Теорема о душе
Теорема о душе Чигера и Громолла гласит:
- Если ( M , g ) -- полное связное риманово многообразие с неотрицательной секционной кривизной , то существует замкнутое вполне выпуклое , вполне геодезическое вложенное подмногообразие , нормальное расслоение которого диффеоморфно M .
Такое подмногообразие называется душой ( M , g ) . По уравнению Гаусса и полной геодезичности, индуцированная риманова метрика на душе автоматически имеет неотрицательную секционную кривизну. Громолл и Мейер ранее изучали случай положительной секционной кривизны, где они показали, что душа задается одной точкой, и, следовательно, что M диффеоморфно евклидову пространству .
Очень простые примеры, как показано ниже, показывают, что душа не определяется однозначно ( M , g ) в общем случае. Однако Владимир Шарафутдинов построил 1-липшицеву ретракцию от M к любой из ее душ, тем самым показав, что любые две души изометричны . Это отображение известно как ретракция Шарафутдинова .
Чигер и Громолл также поставили обратный вопрос о том, существует ли полная риманова метрика неотрицательной секционной кривизны на общем пространстве любого векторного расслоения над замкнутым многообразием положительной секционной кривизны. Сейчас известно, что ответ отрицательный, хотя теория существования до конца не изучена.
Примеры.
- Как непосредственно видно из определения, каждое компактное многообразие является своей собственной душой. По этой причине теорема часто формулируется только для некомпактных многообразий.
- В качестве очень простого примера возьмем M как евклидово пространство R n . Секционная кривизна везде равна 0 , и любая точка M может служить душой M .
- Теперь возьмем параболоид M = {( x , y , z ) : z = x 2 + y 2 }, где метрика g является обычным евклидовым расстоянием, полученным в результате вложения параболоида в евклидово пространство R 3 . Здесь секционная кривизна положительна всюду, хотя и не постоянна. Начало координат (0, 0, 0) является душой M . Не каждая точка x из M является душой M , поскольку могут существовать геодезические петли, основанные на x , в этом случае не будет полностью выпуклой.
- Можно также рассмотреть бесконечный цилиндр M = {( x , y , z ) : x 2 + y 2 = 1 }, снова с индуцированной евклидовой метрикой. Секционная кривизна везде равна 0. Любая «горизонтальная» окружность {( x , y , z ) : x 2 + y 2 = 1 } с фиксированным z является душой M . Негоризонтальные поперечные сечения цилиндра не являются душами, поскольку они не являются ни полностью выпуклыми, ни полностью геодезическими.
Догадка о душе
Как упоминалось выше, Громолл и Мейер доказали, что если g имеет положительную секционную кривизну, то душа является точкой. Чигер и Громолл предположили, что это будет справедливо даже если g имеет неотрицательную секционную кривизну, причем положительность требуется только для всех секционных кривизн в одной точке. Эта гипотеза о душе была доказана Григорием Перельманом , который установил более весомый факт, что ретракция Шарафутдинова является римановой субмерсией и даже субметрией .
Ссылки
Источники.
- Чигер, Джефф ; Эбин, Дэвид Г. (2008). Теоремы сравнения в римановой геометрии (переиздание оригинального издания 1975 г.). Провиденс, Род-Айленд: AMS Chelsea Publishing . doi :10.1090/chel/365. ISBN 978-0-8218-4417-5. МР 2394158.
- Чигер, Джефф ; Громолл, Детлеф (1972). «О структуре полных многообразий неотрицательной кривизны». Annals of Mathematics . Вторая серия. 96 (3): 413–443. doi :10.2307/1970819. ISSN 0003-486X. JSTOR 1970819. MR 0309010.
- Chow, Bennett; Chu, Sun-Chin; Glickenstein, David; Guenther, Christine ; Isenberg, James ; Ivey, Tom; Knopf, Dan; Lu, Peng; Luo, Feng; Ni, Lei (2010). Поток Риччи: методы и приложения. Часть III. Геометрически-аналитические аспекты . Математические обзоры и монографии . Том 163. Провиденс, Род-Айленд: Американское математическое общество . doi :10.1090/surv/163. ISBN 978-0-8218-4661-2. МР 2604955.
- Громолл, Детлеф ; Мейер, Вольфганг (1969). «О полных открытых многообразиях положительной кривизны». Annals of Mathematics . Вторая серия. 90 (1): 75–90. doi :10.2307/1970682. ISSN 0003-486X. JSTOR 1970682. MR 0247590. S2CID 122543838.
- Перельман, Григорий (1994). «Доказательство гипотезы о душе Чигера и Громолла». Журнал дифференциальной геометрии . 40 (1): 209–212. doi : 10.4310/jdg/1214455292 . ISSN 0022-040X. MR 1285534. Zbl 0818.53056.
- Петерсен, Питер (2016). Риманова геометрия . Graduate Texts in Mathematics . Vol. 171 (Третье издание 1998 г., оригинальное издание). Springer, Cham . doi :10.1007/978-3-319-26654-1. ISBN 978-3-319-26652-7. MR 3469435. Zbl 1417.53001.
- Сакаи, Такаши (1996). Риманова геометрия . Переводы математических монографий. Том 149. Провиденс, Род-Айленд: Американское математическое общество . doi :10.1090/mmono/149. ISBN 0-8218-0284-4. MR 1390760. Zbl 0886.53002.
- Шарафутдинов, ВА (1979). «Выпуклые множества в многообразии неотрицательной кривизны». Математические заметки . 26 (1): 556–560. doi :10.1007/BF01140282. S2CID 119764156.
- Яу, Шинг Тунг (1982). "Проблемная секция". В Яу, Шинг-Тунг (ред.). Семинар по дифференциальной геометрии . Анналы математических исследований. Том 102. Принстон, Нью-Джерси: Princeton University Press . стр. 669–706. doi :10.1515/9781400881918-035. ISBN 9781400881918. MR 0645762. Zbl 0479.53001.