Решетка (дискретная подгруппа) - Lattice (discrete subgroup)

Часть дискретной группы Гейзенберга , дискретная подгруппа непрерывной группы Ли Гейзенберга. (Цвет и края предназначены только для наглядности.)

В теории Ли и смежных областях математики решетка в локально компактной группе - это дискретная подгруппа, обладающая тем свойством, что фактор-пространство имеет конечную инвариантную меру . В частном случае подгрупп в R n это сводится к обычному геометрическому понятию решетки как периодического подмножества точек, и как алгебраическая структура решеток, так и геометрия пространства всех решеток относительно хорошо изучены.

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

Решетки также хорошо изучены в некоторых других классах групп, в частности в группах, связанных с алгебрами Каца – Муди, и группами автоморфизмов регулярных деревьев (последние известны как решетки деревьев ).

Решетки представляют интерес во многих областях математики: в геометрической теории групп (как особенно хорошие примеры дискретных групп ), в дифференциальной геометрии (посредством построения локально однородных многообразий), в теории чисел (через арифметические группы ), в эргодической теории (через изучение однородных потоков на факторпространствах) и комбинаторики (через построение расширяющихся графов Кэли и других комбинаторных объектов).

Общие сведения о решетках

Неформальное обсуждение

Решетки лучше всего рассматривать как дискретные приближения непрерывных групп (таких как группы Ли). Например, интуитивно понятно, что подгруппа целочисленных векторов в некотором смысле «похожа» на реальное векторное пространство, в то время как обе группы существенно различны: одна конечно порождена и счетна , а другая нет и имеет мощность континуум .

Строгое определение значения «приближения непрерывной группы дискретной подгруппой» в предыдущем абзаце, чтобы получить понятие, обобщающее этот пример, является вопросом того, для чего он предназначен. Возможно, наиболее очевидная идея - сказать, что подгруппа «аппроксимирует» большую группу, состоит в том, что большая группа может быть покрыта трансляциями «малого» подмножества всех элементов в подгруппах. В локально компактной топологической группе есть два непосредственно доступных понятия «малого»: топологическое ( компактное или относительно компактное подмножество ) или теоретико-мерное (подмножество конечной меры Хаара). Обратите внимание, что поскольку мера Хаара является мерой Бореля , в частности, дает конечную массу компактным подмножествам, второе определение является более общим. Определение решетки, используемое в математике, основывается на втором значении (в частности, для включения таких примеров, как ), но первое также имеет свой собственный интерес (такие решетки называются однородными).

Определение

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

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

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

Решетка называется равномерной, если фактор-пространство компактно (и неоднородной в противном случае). Эквивалентно дискретная подгруппа является равномерной решеткой тогда и только тогда, когда существует компактное подмножество с . Обратите внимание, что если любая дискретная подгруппа в такая, что компактна, то автоматически является решеткой в .

Первые примеры

Основным и простейшим примером является подгруппа, которая является решеткой в ​​группе Ли . Чуть более сложный пример - дискретная группа Гейзенберга внутри непрерывной группы Гейзенберга.

Если - дискретная группа, то решетка в является в точности подгруппой конечного индекса (т. Е. Фактормножество конечно).

Все эти примеры единообразны. Неоднородный пример дается модулярной группой внутри , а также многомерными аналогами .

Любая подгруппа конечного индекса решетки также является решеткой в ​​той же группе. В более общем смысле подгруппа, соизмеримая с решеткой, является решеткой.

В каких группах есть решетки?

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

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

Более сильным условием, чем унимодулярность, является простота . Этого достаточно, чтобы подразумевать существование решетки в группе Ли, но в более общем случае локально компактных групп существуют простые группы без решеток, например «группы Неретина».

Решетки в разрешимых группах Ли

Нильпотентные группы Ли

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

Нильпотентная группа Ли G содержит решетку тогда и только тогда, когда алгебра Ли 𝓰 группы G может быть определена над рациональными числами. То есть тогда и только тогда, когда структурные константы являются рациональными числами. Точнее: в нильпотентной группе, алгебра Ли которой имеет только рациональные структурные константы, решетки являются образами через экспоненциальное отображение решеток (в более элементарном смысле решетки (группы) ) в алгебре Ли.

Решетка в нильпотентной группе Ли всегда конечно порождена (и, следовательно, конечно представима, поскольку сама она нильпотентна); на самом деле он создается не более чем элементами.

Наконец, нильпотентная группа изоморфна решетке в нильпотентной группе Ли тогда и только тогда, когда она содержит подгруппу конечного индекса, которая без кручения и конечно порождена.

Общий случай

Приведенный выше критерий наличия решетки нильпотентных групп Ли не применим к более общим разрешимым группам Ли. Остается верным, что любая решетка в разрешимой группе Ли является равномерной и что решетки в разрешимых группах конечно представимы.

Не все конечно порожденные разрешимые группы являются решетками в группе Ли. Алгебраический критерий - полицикличность группы .

Решетки в полупростых группах Ли

Арифметические группы и существование решеток

Если -полупростая линейная алгебраическая группа , в которой определена над полем из рациональных чисел (т.е. полиномиальные уравнения , определяющие имеют свои коэффициенты ) , то есть подгруппа . Фундаментальная теорема Арманда Бореля и Хариш-Чандры утверждает, что всегда есть решетка в ; Простейший пример этого - подгруппа .

Обобщая приведенную выше конструкцию, мы получаем понятие арифметической решетки в полупростой группе Ли. Поскольку все полупростые группы Ли могут быть определены над, следствием арифметической конструкции является то, что любая полупростая группа Ли содержит решетку.

Несводимость

Когда группа Ли расщепляется как продукт, возникает очевидное построение решеток из меньших групп: если решетки, то также решетка. Грубо говоря, решетка называется неприводимой, если она не является результатом этой конструкции.

Более формально, если - разложение на простые множители, решетка называется неприводимой, если выполняется одно из следующих эквивалентных условий:

  • Проецирование на любой фактор плотное;
  • Пересечение с любым фактором не является решеткой.

Пример неприводимой решетки задается подгруппой , который мы рассматриваем в качестве подгруппы посредством отображения , где представляет собой карту Галуа отправки Matric с коэффициентами в .

Ранг 1 против более высокого ранга

Реальный ранг группы Ли является максимальной размерностью абелевой подгруппы , содержащей только полупростых элементы. Полупростые группы Ли вещественного ранга 1 без компактных факторов (с точностью до изогении ) находятся в следующем списке (см. Список простых групп Ли ):

Реальный ранг группы Ли оказывает существенное влияние на поведение содержащихся в ней решеток. В частности, поведение решеток первых двух семейств групп (и в меньшей степени решеток последних двух) сильно отличается от поведения неприводимых решеток в группах более высокого ранга. Например:

  • Неарифметические решетки существуют во всех группах , в и, возможно, в (последнее - открытый вопрос ), но все неприводимые решетки в остальных являются арифметическими;
  • Решетки в группах Ли ранга 1 имеют бесконечные нормальные подгруппы с бесконечным индексом, в то время как все нормальные подгруппы неприводимых решеток более высокого ранга либо имеют конечный индекс, либо содержатся в их центре;
  • Предположительно, арифметические решетки в группах более высокого ранга обладают свойством конгруэнтной подгруппы, но есть много решеток, в которых есть неконгруэнтные подгруппы конечного индекса.

Имущество Каждан (Т)

Свойство, известное как (T), было введено Кажданом для изучения решеток алгебраических структур в некоторых группах Ли, когда классические, более геометрические методы терпели неудачу или, по крайней мере, были не столь эффективны. Фундаментальный результат при изучении решеток следующий:

Решетка в локально компактной группе обладает свойством (T) тогда и только тогда, когда сама группа обладает свойством (T).

Используя гармонический анализ, можно классифицировать полупростые группы Ли в зависимости от того, обладают ли они этим свойством или нет. Как следствие, мы получаем следующий результат, дополнительно иллюстрирующий дихотомию предыдущего раздела:

  • Решетки в не обладают свойством Каждана (T), в то время как неприводимые решетки во всех других простых группах Ли обладают;

Свойства конечности

Решетки в полупростых группах Ли всегда конечно определены и фактически удовлетворяют более сильным условиям конечности . Для однородных решеток это прямое следствие кокомпактности. В неоднородном случае это можно доказать с помощью теории редукции. Однако для простой конечной презентабельности гораздо более быстрое доказательство заключается в использовании свойства Каждана (T), когда это возможно.

Римановы многообразия, ассоциированные с решетками в группах Ли

Левоинвариантные метрики

Если это группа Ли , то из скалярного произведения на касательном пространстве (алгебры Ли ) можно построить риманова метрика на следующим образом : если принадлежат к касательной в точке положить , где указывает на касательную карту (в ) из диффеоморфизм из .

Карты для являются по определению изометриями для этой метрики . В частности, если - любая дискретная подгруппа в (так что она действует свободно и правильно разрывно левыми сдвигами на ), фактор является римановым многообразием, локально изометричным метрике .

Форма риманова объема, связанная с, определяет меру Хаара на, и мы видим, что фактормногообразие имеет конечный риманов объем тогда и только тогда, когда является решеткой.

Интересные примеры в этом классе римановых пространств включают компактные плоские многообразия и нильмногообразия .

Локально симметричные пространства

Естественный внутренний продукт дается формой убийства . Если некомпактный, он не определен и, следовательно, не является внутренним произведением: однако, когда он полупрост и является максимальной компактной подгруппой, его можно использовать для определения -инвариантной метрики на однородном пространстве : такие римановы многообразия называются симметрическими пространствами не- компактный шрифт без евклидовых факторов.

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

Решетки в p-адических группах Ли

Класс групп со свойствами, аналогичными (по отношению к решеткам) вещественным полупростым группам Ли, представляет собой полупростые алгебраические группы над локальными полями характеристики 0, например p-адическими полями . Существует арифметическая конструкция, аналогичная реальной, и дихотомия между более высоким рангом и рангом один также сохраняется в этом случае, но в более заметной форме. Пусть алгебраическая группа над из сплит -ранга г . Потом:

  • Если r не меньше 2, все неприводимые решетки в являются арифметическими;
  • если r = 1, то существует несчетное количество классов соизмеримости неарифметических решеток.

В последнем случае все решетки фактически являются свободными группами (с точностью до конечного индекса).

S-арифметические группы

В более общем плане можно рассматривать решетки в группах вида

где - полупростая алгебраическая группа над . Обычно допускается, и в этом случае это настоящая группа Ли. Пример такой решетки дает

.

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

Решетки в адельных группах

Если -полупростая алгебраическая группа над числовым полем и его Adèle кольцо , то группа из Адельных точек хорошо определенно ( по модулю некоторых технических деталей ) , и это является локально компактной группой , которая , естественно , содержит группу из -рациональной точки в качестве дискретной подгруппы. Теорема Бореля – Хариш-Чандры распространяется на этот случай и представляет собой решетку.

Сильная теорема аппроксимации связывает фактор к более классической S-арифметической дробей. Этот факт делает группы аделей очень эффективными инструментами в теории автоморфных форм . В частности, современные формы формулы следов обычно формулируются и доказываются для адельных групп, а не для групп Ли.

Жесткость

Результаты жесткости

Другая группа явлений, касающихся решеток в полупростых алгебраических группах, известна как жесткость . Вот три классических примера результатов в этой категории.

Результаты локальной жесткости утверждают, что в большинстве ситуаций каждая подгруппа, которая достаточно «близка» к решетке (в интуитивном смысле, формализованном топологией Шабо или топологией на многообразии характеров ), фактически сопряжена с исходной решеткой элементом окружающая группа Ли. Следствием локальной жесткости и теоремы Каждана-Маргулиса является теорема Ванга: в данной группе (с фиксированной мерой Хаара) для любого v> 0 существует только конечное число (с точностью до сопряжения) решеток с коволюмом, ограниченным v .

Теорема о жесткости Мостова утверждает, что для решеток в простых группах Ли, не локально изоморфных (группа матриц 2 на 2 с определителем 1), любой изоморфизм решеток по существу индуцируется изоморфизмом между самими группами. В частности, решетка в группе Ли «запоминает» объемлющую группу Ли через ее групповую структуру. Первое утверждение иногда называют сильной жесткостью и принадлежит Джорджу Мостову и Гопалу Прасаду (Мостов доказал его для кокомпактных решеток, а Прасад распространил его на общий случай).

Сверхжесткости обеспечивают (для групп Ли и алгебраических групп над локальными полями более высокого ранга) укрепление как местная так и сильной жесткость, имея дело с произвольными гомоморфизмами из решетки в алгебраической группе G в другую алгебраическую группе H . Это было доказано Григорием Маргулисом и является важным элементом доказательства его теоремы об арифметичности.

Нежесткость в малых габаритах

Единственные полупростые группы Ли, для которых не выполняется жесткость Мостова, - это все группы, локально изоморфные . В этом случае на самом деле решеток непрерывно много, и они порождают пространства Тейхмюллера .

Неоднородные решетки в группе не являются локально жесткими. Фактически они являются точками скопления (в топологии Чабо) решеток меньшего кообъема, что продемонстрировано гиперболической хирургией Дена .

Поскольку решетки в p-адических группах ранга 1 являются практически свободными группами, они очень нежесткие.

Решетки из дерева

Определение

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

Дискретность в этом случае легко увидеть по действию группы на дереве: подгруппа в дискретна тогда и только тогда, когда все стабилизаторы вершин являются конечными группами.

Из базовой теории действий групп на деревьях легко видеть, что однородные решетки деревьев являются практически свободными группами. Таким образом, более интересными решетками деревьев являются неоднородные, то есть те, для которых фактор-граф бесконечен. Убедиться в существовании таких решеток непросто.

Решетки деревьев из алгебраических групп

Если это локальное поле положительной характеристики (т.е. завершение функции поля кривой над конечным полем, например поле формальных Laurent степенных рядов ) и алгебраическая группа , определенная над из -Сплит ранга один, то любая решетка в представляет собой решетку деревьев благодаря своему действию на здание Брюа – Титса, которое в данном случае является деревом. В отличие от случая характеристики 0 такие решетки могут быть неоднородными, и в этом случае они никогда не бывают конечно порожденными.

Решетки деревьев из теории Басса – Серра

Если - фундаментальная группа бесконечного графа групп , все группы вершин которого конечны, и при дополнительных необходимых предположениях на индекс групп ребер и размер групп вершин, то действие группы на дереве Басса-Серра связанный с графом групп, реализует его как решетку деревьев.

Критерий существования

В более общем плане можно задать следующий вопрос: если является замкнутой подгруппой , при каких условиях действительно существует решетка? Существование равномерной решетки эквивалентно унимодулярности и конечности фактора . Общая теорема существования более тонкая: необходимо и достаточно, чтобы быть унимодулярным, и чтобы фактор имел «конечный объем» в подходящем смысле (который может быть выражен комбинаторно через действие ), более общим, чем более сильный условие конечности фактора (что доказано самим существованием неоднородных решеток деревьев).

Заметки

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