СОЛВМНОГООБРАЗИЕ

разрешимое многообразие,- однородное пространство Мсвязной разрешимой группы Ли G; его можно отождествить с пространством смежных классов G/H, где Н - стационарная подгруппа нек-рой точки многообразия М.
IIримеры: СОЛВМНОГООБРАЗИЕ фото №1 тор Т n, многообразие Ивасавы N/l (где N - группа всех верхних треугольных матриц с единицами на диагонали в СОЛВМНОГООБРАЗИЕ фото №2 I - подгруппа всех целых точек в N), К 2 (бутылка Клейна), Mb (лист Мёбиуса).
Первым среди С. был изучен более узкий класс нильмногообразий, т. е. однородных пространств нильпотентных групп Ли (таковы СОЛВМНОГООБРАЗИЕ фото №3 а К 2 и Mb нильмногообразиями не являются). Для них А. И. Мальцевым были доказаны следующие утверждения (см. [5]). 1) Всякое нильмногообразие M = G/H диффеоморфно СОЛВМНОГООБРАЗИЕ фото №4 где М*- компактное нильмногообразие. 2) Если Мкомпактно и действие G на Мэффективно, то стационарная подгруппа H является дискретной подгруппой.3) Нильпотентная группа Ли . может транзитивно и локально эффективно действовать на нек-ром компактном многообразии тогда и только тогда, когда ее алгебра Ли СОЛВМНОГООБРАЗИЕ фото №5имеет СОЛВМНОГООБРАЗИЕ фото №6 -форму. При этом если Gодносвязна, то она изоморфна унипотентной алгебраич. группе, определенной над СОЛВМНОГООБРАЗИЕ фото №7 и Нявляется арифметич.подгруппой в G.4) Фундаментальная группа СОЛВМНОГООБРАЗИЕ фото №8 компактного нильмногообразия М(изоморфная Н, если Gодносвязна и ее действие на Млокально эффективно) определяет его однозначно с точностью до диффеоморфизма. Фигурирующие здесь группы СОЛВМНОГООБРАЗИЕ фото №9 - это в точности всевозможные конечно порожденные нильпотентные группы без кручения. Эти результаты отчасти обобщаются на произвольные С. Так, для произвольного С. Мсуществует С. М', конечнолистно накрывающее его и диффеоморфное СОЛВМНОГООБРАЗИЕ фото №10СОЛВМНОГООБРАЗИЕ фото №11 где М* - нек-рое компактное С. Произвольное С. не всегда разлагается в прямое произведение СОЛВМНОГООБРАЗИЕ фото №12СОЛВМНОГООБРАЗИЕ фото №13 но диффеоморфно (см. [1], [4]) пространству векторного расслоения над нек-рым компактным С. (для Mb соответствующим расслоением является нетривиальное линейное расслоение над S1). Фундаментальная группа СОЛВМНОГООБРАЗИЕ фото №14 произвольного С. Мполициклична и, если Мкомпактно, определяет многообразие однозначно с точностью до диффеоморфизма. Группа СОЛВМНОГООБРАЗИЕ фото №15 изоморфна СОЛВМНОГООБРАЗИЕ фото №16для нек-рого компактного С. Мтогда и только тогда, когда она включается в точную последовательность вида

СОЛВМНОГООБРАЗИЕ фото №17

где СОЛВМНОГООБРАЗИЕ фото №18 - нек-рая конечно порожденная нильпотентная группа без кручения. В каждой полициклич. группе существует подгруппа конечного индекса, изоморфная СОЛВМНОГООБРАЗИЕ фото №19 для нек-рого компактного С. М. Если разрешимая группа Ли Gдействует на компактном С. M=GlH транзитивно и локально эффективно, то . расслаивается над тором со слоем СОЛВМНОГООБРАЗИЕ фото №20 где N - нильрадикал в С. Компактность С. M=G/Н эквивалентна наличию на MG- инвариантной меры, относительно к-рой объем Мконечен.
Каждое С. Масферично (т. с. гомотопич. группы СОЛВМНОГООБРАЗИЕ фото №21 при СОЛВМНОГООБРАЗИЕ фото №22 Среди всех компактных однородных пространств компактные С. характеризуются асферичностью и разрешимостью группы СОЛВМНОГООБРАЗИЕ фото №23 (см. [3]).

Лит.:[1] Auslander L., лBull. Amer. Math. Soc.

Смотреть больше слов в «Математической энциклопедии»

СОЛЕНОИДАЛЬНОЕ ПОЛЕ →← СОКРАЩЕННАЯ НОРМАЛЬНАЯ ФОРМА

T: 163