stringtranslate.com

Теоремы Ратнера

В математике теоремы Ратнера представляют собой группу основных теорем эргодической теории, касающихся унипотентных потоков на однородных пространствах, доказанных Мариной Ратнер около 1990 года. Теоремы выросли из более ранней работы Ратнера по орициклическим потокам . Изучение динамики унипотентных потоков сыграло решающую роль в доказательстве гипотезы Оппенгейма Григорием Маргулисом . Теоремы Ратнера стали руководством к ключевым достижениям в понимании динамики унипотентных потоков. Их более поздние обобщения предоставляют способы как уточнить результаты, так и расширить теорию на случай произвольных полупростых алгебраических групп над локальным полем .

Краткое описание

Теорема Ратнера о замыкании орбит утверждает, что замыкания орбит унипотентных потоков на факторе группы Ли по решетке являются хорошими геометрическими подмножествами. Теорема Ратнера о равнораспределении далее утверждает, что каждая такая орбита равнораспределена в своем замыкании. Теорема Ратнера о классификации мер является более слабым утверждением о том, что каждая эргодическая инвариантная вероятностная мера является однородной или алгебраической : это оказывается важным шагом на пути к доказательству более общего свойства равнораспределения. Универсального соглашения о названиях этих теорем нет: они известны по-разному как «теорема о жесткости меры», «теорема об инвариантных мерах» и ее «топологическая версия» и т. д.

Формальная формулировка такого результата такова. Пусть — группа Ли , решетка в и однопараметрическая подгруппа из , состоящая из унипотентных элементов, с ассоциированным потоком на . Тогда замыкание каждой орбиты из однородно. Это означает , что существует связная замкнутая подгруппа из , такая, что образ орбиты для действия правыми переносами на при канонической проекции на замкнут, имеет конечную -инвариантную меру и содержит замыкание -орбиты из как плотное подмножество .

Пример: С Л 2 ( Р ) {\displaystyle SL_{2}(\mathbb {R} )}

Простейшим случаем, к которому применимо приведенное выше утверждение, является . В этом случае оно принимает следующую более явную форму; пусть будет решеткой в ​​и замкнутым подмножеством, которое инвариантно относительно всех отображений, где . Тогда либо существует такое , что (где ), либо .

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

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

Ссылки

Экспозиции

Избранные оригинальные статьи