Сольвмногообразие - Википедия - Solvmanifold

В математика, а солвмногообразие это однородное пространство из связаны разрешимая группа Ли. Его также можно охарактеризовать как фактор связной разрешимой группы Ли по закрыто подгруппа. (Некоторые авторы также требуют, чтобы группа Ли была односвязной или чтобы фактор был компактным.) Специальный класс солвмногообразий, нильмногообразия, был представлен Анатолий Мальцев, доказавший первые структурные теоремы. Свойства общих солвмногообразий аналогичны, но несколько сложнее.

Примеры

• Разрешимая группа Ли тривиально является солвмногообразием.
• Каждый нильпотентная группа разрешима, поэтому каждое нильмногообразие является солвмногообразием. Этот класс примеров включает п-размерный тори и частное трехмерного действительного Группа Гейзенберга своей интегральной подгруппой Гейзенберга.
• В Лента Мебиуса и Бутылка Клейна солвмногообразия, не являющиеся нильмногообразиями.
• В отображение тор из Диффеоморфизм Аносова из п-тор - солвмногообразие. За ${ displaystyle n = 2}$эти многообразия принадлежат Sol, один из восьми Геометрии Терстона.

Характеристики

• Сольвмногообразие диффеоморфно тотальному пространству векторный набор над некоторым компактным солвмногообразием. Это утверждение было высказано Джордж Мостоу и доказано Луи Ауслендер и Ричард Толимьери.
• В фундаментальная группа произвольного солвмногообразия есть полициклический.
• Компактное солвмногообразие определяется с точностью до диффеоморфизма своей фундаментальной группой.
• Фундаментальные группы компактных солвмногообразий можно охарактеризовать как групповые расширения из свободные абелевы группы конечного ранга конечно порожденными нильпотентными группами без кручения.
• Каждое солвмногообразие асферический. Среди всех компактных однородных пространств солвмногообразия могут характеризоваться свойствами асферичности и наличия разрешимой фундаментальной группы.

Полнота

Позволять ${ displaystyle { mathfrak {g}}}$ быть настоящим Алгебра Ли. Это называется полная алгебра Ли если каждая карта

${ displaystyle operatorname {ad} (X) двоеточие { mathfrak {g}} to { mathfrak {g}}, X in { mathfrak {g}}}$

в его присоединенное представительство гиперболичен, т. е. имеет только действительные собственные значения. Позволять грамм - разрешимая группа Ли, алгебра Ли которой ${ displaystyle { mathfrak {g}}}$ завершено. Тогда для любой замкнутой подгруппы ${ displaystyle Gamma}$ из граммсолвмногообразие ${ Displaystyle G / Gamma}$ это полное солвмногообразие.

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