Теорема жесткости Мостова - Mostow rigidity theorem

В математика, Теорема жесткости Мостова, или теорема сильной жесткости, или Теорема Мостова – Прасада о жесткости, по сути, утверждает, что геометрия полного, конечного объема гиперболическое многообразие размерности больше двух определяется фундаментальная группа и, следовательно, уникальный. Теорема доказана для закрытые коллекторы от Мостов  (1968 ) и продолжена на многообразия конечного объема Марден (1974) в 3-х измерениях и Прасад  (1973 ) во всех размерах не менее 3. Громов (1981) дал альтернативное доказательство, используя Громова норма. Бессон, Куртуа и Галло (1996) Ошибка harvtxt: цель отсутствует: CITEREFBesson, _Courtois, _and_Gallot1996 (Помогите) дал простейшее доступное доказательство.

Хотя теорема показывает, что деформационное пространство (полных) гиперболических структур на конечном объеме гиперболических ${\displaystyle n}$-многообразие (для ${\displaystyle n>2}$) - точка, для гиперболической поверхности род ${\displaystyle g>1}$ Существует пространство модулей измерения ${\displaystyle 6g-6}$ который параметризует все метрики постоянной кривизны (до диффеоморфизм ), факт, необходимый для Теория Тейхмюллера. Также существует богатая теория деформационных пространств гиперболических структур на бесконечный объемные коллекторы в трех измерениях.

Теорема

Теорема может быть дана в геометрической формулировке (относящейся к полным многообразиям конечного объема) и в алгебраической формулировке (относящейся к решеткам в группах Ли).

Геометрическая форма

Позволять ${\displaystyle \mathbb {H} ^{n}}$ быть ${\displaystyle n}$-размерный гиперболическое пространство. Полное гиперболическое многообразие можно определить как фактор ${\displaystyle \mathbb {H} ^{n}}$ группой изометрий, действующих свободно и правильно прерывисто (эквивалентно определению его как Риманово многообразие секционной кривизны -1 который полный ). Он имеет конечный объем, если его объем конечно (например, если он компактный). Теорема Мостова о жесткости может быть сформулирована как:

Предположим ${\displaystyle M}$ и ${\displaystyle N}$ являются полными гиперболическими многообразиями конечного объема размерности ${\displaystyle n\geq 3}$. Если существует изоморфизм ${\displaystyle f\colon \pi _{1}(M)\to \pi _{1}(N)}$ то он индуцирован единственной изометрией из ${\displaystyle M}$ к ${\displaystyle N}$.

Вот ${\displaystyle \pi _{1}(X)}$ это фундаментальная группа многообразия ${\displaystyle X}$. Если ${\displaystyle X}$ является гиперболическим многообразием, полученным как фактор ${\displaystyle \mathbb {H} ^{n}}$ группой ${\displaystyle \Gamma }$ тогда ${\displaystyle \pi _{1}(X)\cong \Gamma }$.

Эквивалентное утверждение состоит в том, что любое гомотопическая эквивалентность от ${\displaystyle M}$ к ${\displaystyle N}$ можно гомотопить в единственную изометрию. Доказательство действительно показывает, что если ${\displaystyle N}$ имеет большее измерение, чем ${\displaystyle M}$ тогда между ними не может быть гомотопической эквивалентности.

Алгебраическая форма

Группа изометрий гиперболического пространства ${\displaystyle \mathbb {H} ^{n}}$ можно отождествить с группой Ли ${\displaystyle \mathrm {PO} (n,1)}$ (в проективная ортогональная группа из квадратичная форма подписи ${\displaystyle (n,1)}$. Тогда следующее утверждение эквивалентно приведенному выше.

Позволять ${\displaystyle n\geq 3}$ и ${\displaystyle \Gamma }$ и ${\displaystyle \Lambda }$ быть двумя решетки в ${\displaystyle \mathrm {PO} (n,1)}$ и предположим, что существует групповой изоморфизм ${\displaystyle f\colon \Gamma \to \Lambda }$. потом ${\displaystyle \Gamma }$ и ${\displaystyle \Lambda }$ сопряжены в ${\displaystyle \mathrm {PO} (n,1)}$. То есть существует ${\displaystyle g\in \mathrm {PO} (n,1)}$ такой, что ${\displaystyle \Lambda =g\Gamma g^{-1}}$.

В более широком смысле

Жесткость Мостова верна (в ее геометрической формулировке) в более общем случае для фундаментальных групп всего полного конечного объема локально симметричные пространства размерности не менее 3, или в его алгебраической формулировке для всех решеток в простые группы Ли не локально изоморфен ${\displaystyle \mathrm {SL} _{2}(\mathbb {R} )}$.

Приложения

Из теоремы о жесткости Мостова следует, что группа изометрий конечного гиперболического п-многообразие M (для п> 2) конечно и изоморфно ${\displaystyle \operatorname {Out} (\pi _{1}(M))}$.

Жесткость Мостова также использовалась Терстоном для доказательства уникальности представления упаковки кругов из триангулированные планарные графы^{[нужна цитата ]}.

Следствие жесткости Мостова интереса к геометрическая теория групп что там существует гиперболические группы которые квазиизометрический но нет соизмеримый друг другу.

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

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

использованная литература

• Бессон, Жерар; Куртуа, Жиль; Галло, Сильвестр (1996), "Минимальная энтропия и теоремы жесткости Мостова", Эргодическая теория и динамические системы, 16 (4): 623–649, Дои:10.1017 / S0143385700009019
• Громов, Михаил (1981), «Гиперболические многообразия (по Терстону и Йоргенсену)», Семинар Бурбаки, Том. 1979/80 (PDF), Конспект лекций по математике, 842, Берлин, Нью-Йорк: Springer-Verlag, стр. 40–53, Дои:10.1007 / BFb0089927, ISBN  978-3-540-10292-2, Г-Н  0636516, заархивировано из оригинал на 2016-01-10
• Марден, Альберт (1974), "Геометрия конечно порожденных клейновых групп", Анналы математики, Вторая серия, 99 (3): 383–462, Дои:10.2307/1971059, ISSN  0003-486X, JSTOR  1971059, Г-Н  0349992, Zbl  0282.30014
• Мостов, Г. Д. (1968), «Квазиконформные отображения в п-пространство и жесткость гиперболических пространственных форм », Publ. Математика. IHES, 34: 53–104, Дои:10.1007 / bf02684590
• Мостоу, Г. Д. (1973), Сильная жесткость локально симметричных пространств, Анналы математических исследований, 78, Princeton University Press, ISBN  978-0-691-08136-6, Г-Н  0385004
• Прасад, Гопал (1973), "Сильная жесткость решеток Q-ранга 1", Inventiones Mathematicae, 21 (4): 255–286, Дои:10.1007 / BF01418789, ISSN  0020-9910, Г-Н  0385005
• Спатзер, Р. Дж. (1995), "Гармонический анализ в теории жесткости", в Petersen, Karl E .; Салама, Ибрагим А. (ред.), Эргодическая теория и ее связь с гармоническим анализом, Труды Александрийской конференции 1993 г., Cambridge University Press, стр. 153–205, ISBN  0-521-45999-0. (Дает обзор большого количества теорем о жесткости, в том числе теорем о группах Ли, алгебраических группах и динамике потоков. Включает 230 ссылок.)
• Терстон, Уильям (1978–1981), Геометрия и топология трехмерных многообразий, Конспект лекций Принстона. (Дает два доказательства: одно похоже на исходное доказательство Мостова, а другое основано на Громова норма )