Арифметическая группа

Арифметическая группа — это группа, получаемая как целые точки алгебраической группы, например, ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} ).}$ Арифметические группы возникают естественным образом при изучении арифметических свойств квадратичных форм и других классических областей теории чисел. Они также являются источником для очень интересных примеров римановых многообразий, а потому представляют интерес для дифференциальной геометрии и топологии. Наконец, эти две области объединяются в теорию автоморфных форм, которая является фундаментальной в современной теории чисел.

История

Одним из источников математической теории арифметических групп является алгебраическая теория чисел. Классическую теорию приведения квадратичных и эрмитовых форм Шарля Эрмита, Германа Минковского и других можно рассматривать как вычисление фундаментальных областей действий некоторых арифметических групп на соответствующих симметрических пространствах[1][2]. Эта область была связана с геометрией чисел Минковского и ранними разработками в изучении арифметических инвариантов числовых полей, таких как дискриминант. Арифметические группы можно рассматривать как сильное обобщение групп единиц числовых полей на некоммутативные условия.

Те же группы появляются также в аналитической теории чисел при изучении классических модулярных форм и при разработке их обобщений. Конечно, две области были связаны, как можно видеть в примере лагландовского вычисления объёма некоторых фундаментальных областей с помощью аналитических методов[3]. Кульминацией этой классической теории была работа Зигеля, который показал во многих случаях конечность объёма фундаментальной области.

Для развития современной теории была необходима подготовительная работа и эту работу в области алгебраических групп сделали Арман Борель, Андре Вейль, Жак Титс и другие[4][5]. Вскоре после этого Борель и Хариш-Чандра доказали конечность кообъёма в полной общности[6]. Тем временем наблюдался прогресс в общей теории решёток в группах Ли, который обеспечили работы Атле Сельберга, Григория Маргулиса и Давида Каждана, М. С. Рагунатана и других. Современное положение после этого периода было зафиксировано в трактате Рагунатана, опубликованном в 1972[7].

В семидесятых годах Маргулис революционизировал эту область, доказав, что в «большинстве» случаев арифметические построения применимы ко всем решёткам в данной группе Ли[8]. Некоторые ограниченные результаты в этом направлении были получены ранее Селбергом, но методы Маргулиса (использование эргодических теоретических средств для действия на однородные пространства) были совершенно новыми в этом контексте и оказали крайне высокое влияние на последующих исследователей, эффективно обновляя старую дисциплину геометрии чисел, что позволило самому Маргулису доказать гипотезу Оппенгейма^[англ.]. Более строгие результаты (Теоремы Ратнер^[англ.]) были позднее получены Мариной Ратнер.

В другом направлении, классическая теория модулярных форм расцвела в виде современной теории автоморфных форм. Движущей силой этого расцвета в большей части была программа, предложенная Робертом Ленглендсом. Одним из основных средств, используемых здесь, является формула следов^[англ.], представленная в работе Селберга[9] и развитая для более общих условий Джеймсом Артуром[10].

Наконец, арифметические группы часто используются для построения интересных примеров локально симметричных римановых многообразий. Особенно активно исследования проводились в области арифметических гиперболических 3-многообразий, о которых Тёрстон писал[11]: «...часто имеют особую красоту».

Определение и построение

Арифметические группы

Если ${\displaystyle \mathrm {G} }$ является алгебраической подгруппой группы ${\displaystyle \mathrm {GL} _{n}(\mathbb {Q} )}$ для некоторого ${\displaystyle n}$, то мы можем определить арифметическую подгруппу группы ${\displaystyle \mathrm {G} (\mathbb {Q} )}$ как группу целых точек ${\displaystyle \Gamma =\mathrm {GL} _{n}(\mathbb {Z} )\cap \mathrm {G} (\mathbb {Q} )}$. В общем случае не очевидно, как точно определить понятие «целых точек» ${\displaystyle \mathbb {Q} }$-группы, а подгруппа, определённая выше, может меняться, если мы возьмём другое вложение ${\displaystyle \mathrm {G} \to \mathrm {GL} _{n}(\mathbb {Q} ).}$

Тогда лучшее определение понятия — взять в качестве определения арифметической подгруппы группы ${\displaystyle \mathrm {G} (\mathbb {Q} )}$ любую группу ${\displaystyle \Lambda }$, которая соизмерима^[англ.] (это значит, что как ${\displaystyle \Gamma /(\Gamma \cap \Lambda )}$, так и ${\displaystyle \Lambda /(\Gamma \cap \Lambda )}$ являются конечными множествами) с группой ${\displaystyle \Gamma }$, определённой выше (с учётом любого вложения в ${\displaystyle \mathrm {GL} _{n}}$). По этому определению с алгебраической группой ${\displaystyle \mathrm {G} }$ ассоциирован набор «дискретных» подгрупп, соизмеримых друг с другом.

Использование числовых полей

Естественным обобщением вышеприведённого построения является следующее: пусть ${\displaystyle F}$ — числовое поле с кольцом целых ${\displaystyle O}$, а ${\displaystyle \mathrm {G} }$ — алгебраическая группа над ${\displaystyle F}$. Если нам задано вложение ${\displaystyle \rho :\mathrm {G} \to \mathrm {GL} _{n}}$, определённое над ${\displaystyle F}$, то подгруппа ${\displaystyle \rho ^{-1}(\mathrm {GL} _{n}(O))\subset \mathrm {G} (F)}$ может быть с полным основанием названа арифметической группой.

С другой стороны, класс групп, полученных таким образом, не больше, чем класс арифметических групп, определённых выше. Более того, если мы рассмотрим алгебраическую группу ${\displaystyle \mathrm {G} '}$ над ${\displaystyle \mathbb {Q} }$, полученную ограничением скаляров из ${\displaystyle F}$ в ${\displaystyle \mathbb {Q} }$, и ${\displaystyle \mathbb {Q} }$-вложение ${\displaystyle \rho ':\mathrm {G} '\to \mathrm {GL} _{dn}}$, порождённое ${\displaystyle \rho }$ (где ${\displaystyle d=[F:\mathbb {Q} ]}$), то группа, построенная выше, совпадает с ${\displaystyle (\rho ')^{-1}(\mathrm {GL} _{nd}(\mathbb {Z} ))}$.

Примеры

Классическим примером арифметической группы является ${\displaystyle \mathrm {SL} _{n}(\mathbb {Z} )}$ или тесно связанные группы ${\displaystyle \mathrm {PSL} _{n}(\mathbb {Z} )}$, ${\displaystyle \mathrm {GL} _{n}(\mathbb {Z} )}$ и ${\displaystyle \mathrm {PGL} _{n}(\mathbb {Z} )}$. Для ${\displaystyle n=2}$ группа ${\displaystyle \mathrm {PSL} _{2}(\mathbb {Z} )}$ или, иногда, ${\displaystyle \mathrm {SL} _{n}(\mathbb {Z} )}$, называется модулярной группой, так как она связана с модулярной кривой. Похожими примерами являются модулярные группы Зигеля^[англ.] ${\displaystyle \mathrm {Sp} _{2g}(\mathbb {Z} )}$.

Другие хорошо известные и изученные примеры — группы Бианки^[англ.] ${\displaystyle \mathrm {SL} _{2}(O_{-m})}$, где ${\displaystyle m>0}$ является свободным от квадратов целым, а ${\displaystyle O_{-m}}$ является кольцом целых в поле ${\displaystyle \mathbb {Q} ({\sqrt {-m}})}$, и модулярные группы Гильберта — Блюметраля^[англ.] ${\displaystyle \mathrm {SL} _{2}(O_{m})}$.

Другие классические примеры задаются целыми элементами в ортогональной группе квадратичных форм, определённых над числовым полем, например, ${\displaystyle \mathrm {SO} (n,1)(\mathbb {Z} )}$. Связанное построение — выбор групп единиц порядков^[англ.] в алгебрах кватернионов над числовыми полями (например, порядок кватернионов Гурвица^[англ.]). Похожие построения можно осуществить с унитарными группами эрмитовых форм и хорошо известным примером является модулярная группа Пикарда^[англ.].

Арифметические решётки в полупростых группах Ли

Когда ${\displaystyle G}$ является группой Ли, можно определить арифметическую решётку в ${\displaystyle G}$ следующим образом: для любых алгебраических групп ${\displaystyle \mathrm {G} }$, определённых над ${\displaystyle \mathbb {Q} }$, таких, что существует морфизм ${\displaystyle \mathrm {G} (\mathbb {R} )\to G}$ с компактным ядром, образ арифметической подгруппы в ${\displaystyle \mathrm {G} (\mathbb {Q} )}$ является арифметической решёткой в ${\displaystyle G}$. Поэтому, например, если ${\displaystyle G=\mathrm {G} (\mathbb {R} )}$ и ${\displaystyle G}$ являются подгруппами ${\displaystyle \mathrm {GL} _{n}}$, то ${\displaystyle G\cap \mathrm {GL} _{n}(\mathbb {Z} )}$ является арифметической решёткой в ${\displaystyle G}$ (однако существует много больше решёток, соответствующих другим вложениям). Например, ${\displaystyle \mathrm {SL} _{n}(\mathbb {Z} )}$ является арифметической решёткой в ${\displaystyle \mathrm {SL} _{n}(\mathbb {R} )}$.

Теорема Бореля — Хариш-Чандры

Решётка в группе Ли обычно определяется как дискретная подгруппа с конечным кообъёмом. Терминология, представленная выше, сцеплена с этой, поскольку теорема, принадлежащая Борелю и Хариш-Чандре, утверждает, что арифметическая подгруппа в полупростой группе Ли имеет конечный кообъём (дискретность очевидна).

Теорема более точна, она утверждает, что арифметическая решётка является кокомпактной тогда и только тогда, когда «форма» группы ${\displaystyle G}$, используемая для её определения (т.е. ${\displaystyle \mathbb {Q} }$-группа ${\displaystyle \mathrm {G} }$) анизотропна. Например, арифметическая решётка, ассоциированная с квадратичной формой от ${\displaystyle n}$ переменных над ${\displaystyle \mathbb {Q} }$, будет кокомпактной в ассоциированной ортогональной группе тогда и только тогда, когда квадратичная форма не обращается в нуль в любой точке на ${\displaystyle \mathbb {Q} ^{n}\setminus \{0\}}$.

Теорема Маргулиса об арифметичности

Блистательный результат, полученный Маргулисом, является частичным обращением теоремы Бореля — Хариш-Чандры: для определённых групп любая решётка является арифметической. Этот результат верен для всех неприводимых решёток в полупростых группах Ли вещественного ранга, большего двух[12][13]. Например, все решётки в ${\displaystyle \mathrm {SL} _{n}(\mathbb {R} )}$ являются арифметическими, если ${\displaystyle n\geqslant 3}$. Главным новым элементом, который использовал Маргулис для доказательства теоремы, была супержёсткость^[англ.] решёток в группах высокого ранга, которую он доказал для получения своего результата.

Неприводимость играет роль, только если ${\displaystyle G}$ имеет множитель с вещественным рангом единица (в противном случае теорема выполняется всегда) и не проста. Это означает, что для любого разложения ${\displaystyle G=G_{1}\times G_{2}}$ решётка несоизмерима с произведением решёток в каждом множителе ${\displaystyle G_{i}}$. Например, решётка ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} [{\sqrt {2}}])}$ в ${\displaystyle \mathrm {SL} _{2}(\mathbb {R} )\times \mathrm {SL} _{2}(\mathbb {R} )}$ неприводима, в то время как ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )\times \mathrm {SL} _{2}(\mathbb {Z} )}$ таковой не является.

Теорема Маргулиса об арифметичности (и супержёсткости) выполняется для некоторых групп Ли ранга 1, а именно ${\displaystyle \mathrm {Sp} (n,1)}$ для ${\displaystyle n\geqslant 1}$ и исключительной группы ${\displaystyle F_{4}^{-20}}$[14][15]. Известно, что теорема не выполняется для всех групп ${\displaystyle \mathrm {SO} (n,1)}$ для ${\displaystyle n\geqslant 2}$ и для ${\displaystyle \mathrm {SU} (n,1)}$ при ${\displaystyle n=1,2,3}$. Не известны неарифметические решётки в группах ${\displaystyle \mathrm {SU} (n,1)}$, если ${\displaystyle n\geqslant 4}$.

Арифметические фуксовы и кляйновы группы

Основная статья: Арифметическая фуксова группа

Основная статья: Арифметическое гиперболическое 3-многообразие

Арифметическая фуксова группа строится из следующих данных: чисто вещественное числовое поле^[англ.] ${\displaystyle F}$, алгебра кватернионов ${\displaystyle A}$ над ${\displaystyle F}$ и порядок ${\displaystyle {\mathcal {O}}}$ в ${\displaystyle A}$. Требуем, чтобы для одного вложения ${\displaystyle \sigma :F\to \mathbb {R} }$ алгебра ${\displaystyle A^{\sigma }\otimes _{F}\mathbb {R} }$ была изоморфна матричной алгебре ${\displaystyle M_{2}(\mathbb {R} )}$, а все остальные должны быть изоморфны кватернионам Гамильтона. Тогда группа единиц ${\displaystyle {\mathcal {O}}^{1}}$ является решёткой в ${\displaystyle (A^{\sigma }\otimes _{F}\mathbb {R} )^{1}}$, которая изоморфна ${\displaystyle \mathrm {SL} _{2}(\mathbb {R} )}$ и кокомпактна во всех случаях, за исключением случаев, когда ${\displaystyle A}$ является матричной алгеброй над ${\displaystyle \mathbb {Q} }$. Все арифметические решётки в ${\displaystyle \mathrm {SL} _{2}(\mathbb {R} )}$ получаются таким образом (с точностью до соизмеримости).

Арифметические кляйновы группы строятся аналогично, за исключением того, что от ${\displaystyle F}$ требуется наличие в точности одного комплексного места, а для всех вещественных мест ${\displaystyle A}$ должны быть кватернионами Гамильтона. Они исчерпывают все арифметические классы соизмеримости в ${\displaystyle \mathrm {SL} _{2}(\mathbb {C} ).}$

Классификация

Для любой простой полупростой группы Ли ${\displaystyle G}$, теоретически, возможно классифицировать (с точностью до соизмеримостью) все арифметические решётки в ${\displaystyle G}$, аналогично случаям ${\displaystyle G=\mathrm {SL} _{2}(\mathbb {R} ),\mathrm {SL} _{2}(\mathbb {C} )}$, описанным выше. Это сводится к классификации алгебраических групп, вещественные точки которых изоморфны с точностью до компактного множителя группе ${\displaystyle G}$[13].

Задача о конгруэнтной подгруппе

Основная статья: Конгруэнтная подгруппа

Конгруэнтная подгруппа является (грубо говоря) подгруппой арифметической группы, определённой выбором всех матриц, удовлетворяющих некоторым уравнениям по модулю целого числа, например, выбором группы 2 х 2 целочисленных матриц с диагональными (соответственно, внедиагональными) элементами, конгруэнтными 1 (соответственно, 0) по модулю положительного целого числа. Они всегда являются подгруппами конечного индекса, а задача о конгруэнтной подгруппе, грубо говоря, спрашивает, получаются ли все подгруппы таким образом. Гипотеза (обычно приписываемая Серру), утверждает, что это верно для (неприводимых) решёток в группах высокого ранга и неверно для групп ранга единица. Гипотеза остаётся открытой в такой общности, но имеется много результатов, устанавливающую верность гипотезы для конкретных решёток (для положительного и отрицательного случаев).

${\displaystyle S}$-арифметические группы

Вместо выбора целых точек в определении арифметической решётки можно взять точки, которые являются целыми только вне конечного набора простых чисел. Это ведёт к понятию ${\displaystyle S}$-арифметической решётки (где ${\displaystyle S}$ означает набор чисел, обратных простым). Прототипичным примером является ${\displaystyle \mathrm {SL} _{2}\left(\mathbb {Z} \left[{\tfrac {1}{p}}\right]\right)}$. Они являются естественными решётками в некоторых топологических группах, например, ${\displaystyle \mathrm {SL} _{2}\left(\mathbb {Z} \left[{\tfrac {1}{p}}\right]\right)}$ является решёткой в ${\displaystyle \mathrm {SL} _{2}(\mathbb {R} )\times \mathrm {SL} _{2}(\mathbb {Q} _{p}).}$

Определение

Формальное определение ${\displaystyle S}$-арифметической группы для конечного множества простых чисел ${\displaystyle S}$ такое же, что и для арифметических групп с ${\displaystyle \mathrm {GL} _{n}(\mathbb {Z} )}$, заменённым на ${\displaystyle \mathrm {GL} _{n}\left(\mathbb {Z} \left[{\tfrac {1}{N}}\right]\right)}$, где ${\displaystyle N}$ является произведением простых в ${\displaystyle S}$.

Решётки в группах Ли над локальными полями

Теорема Бореля — Хариш-Чандры обобщается на ${\displaystyle S}$-арифметические группы следующим образом: если ${\displaystyle \Gamma }$ является ${\displaystyle S}$-арифметической группой группы в ${\displaystyle \mathbb {Q} }$-алгебраической группе ${\displaystyle \mathrm {G} }$, то ${\displaystyle \Gamma }$ является решёткой в локально компактной группе

${\displaystyle G=\mathrm {G} (\mathbb {R} )\times \prod _{p\in S}\mathrm {G} (\mathbb {Q} _{p})}$.

Некоторые приложения

Явные экспандеры

Арифметические группы со свойством (T) Каждана^[англ.] или более слабым свойством (${\displaystyle \tau }$) Любоцкого и Циммера можно использовать для построения экспандеров (Маргулис) или чётных графов Рамануджана (Любоцкий — Филлипс — Сарнак[16][17]). Известно, что такие графы существуют в изобилии согласно вероятностным доводам, но явная природа таких построений делают их интересными.

Экстремальные поверхности и графы

Известно, что конгруэнтность накрытий арифметических поверхностей^[англ.] приводит к поверхностям с большим радиусом инъективности[18]. Подобным же образом графы Рамануджана, построенные Любоцким, Филлипсом и Сарнаком, имеют большой обхват. Известно, что из свойства Рамануджана вытекает, что локальные обхваты графа почти всегда большие[19].

Изоспектральные многообразия

Арифметические группы могут быть использованы для построения изоспектральных многообразий. Впервые это построение реализовала Мари-Франс Винера^[англ.][20] и вскоре после этого появились различные варианты её построения. Задача изоспектральности является, фактически, очень пригодной для изучения в ограниченных условиях арифметических многообразий[21].

Ложные проективные плоскости

Ложная проективная плоскость[22] — это комплексная поверхность, которая имеет те же числа Бетти, что и проективная плоскость ${\displaystyle \mathbb {P} ^{2}(\mathbb {C} )}$, но не биголоморфна^[англ.] ей. Первый пример такой плоскости нашёл Мамфорд. Согласно труду Клинглера (независимо проверенного Енгом) все они являются факторпространствами 2-шара по арифметическим решёткам в ${\displaystyle \mathrm {PU} (2,1)}$. Возможные решётки классифицировали Прасад и Енг, а завершили классификацию Картрайт и Стигер, проверившие, что они действительно соответствуют ложным проективным плоскостям.

Примечания

1. Borel, 1969.
2. Siegel, 1989.
3. Langlands, 1966, с. 143–148.
4. Borel, Tits, 1965, с. 55–150.
5. Weil, 1982, с. iii+126.
6. Borel, Harish-Chandra, 1962, с. 485–535.
7. Raghunathan, 1972.
8. Маргулис, 1974.
9. Selberg, 1956, с. 47–87.
10. Arthur, 2005, с. 1–263.
11. Thurston, 1982, с. 357–381.
12. Маргулис, 2007.
13. Witte-Morris, 2015.
14. Gromov, Schoen, 1992, с. 165–246.
15. Corlette, 1992, с. 165–182.
16. Lubotzky, 1994.
17. Sarnak, 1990.
18. Katz, Schaps, Vishne, 2007, с. 399–422.
19. Abért, Glasner, Virág, 2014, с. 465.
20. Vignéras, 1980, с. 21–32.
21. Prasad, Rapinchuk, 2009, с. 113–184.
22. Rémy, 2007–2008.

Литература

• Raghunathan M.S. Discrete subgroups of Lie groups. — Springer-Verlag, 1972.
• Armand Borel. Introduction aux groupes arithmétiques. — Hermann, 1969.
• Carl Ludwig Siegel. Lectures on the geometry of numbers. — Springer-Verlag, 1989.
• Langlands R. P. Algebraic Groups and Discontinuous Subgroups. — Providence, R.I.: Amer. Math. Soc., 1966. — С. 143–148.
• Armand Borel, Jacques Tits. Groupes réductifs // Inst. Hautes Études Sci. Publ. Math.. — 1965. — Т. 27. — С. 55–150. — doi:10.1007/bf02684375.
• André Weil. Adèles and algebraic groups. — Birkhäuser, 1982. — С. iii+126.
• Armand Borel, Harish-Chandra. Arithmetic subgroups of algebraic groups // Annals of Mathematics. — 1962. — Т. 75, вып. 3. — С. 485–535. — doi:10.2307/1970210. — JSTOR 1970210.
• Grigori Margulis. Discrete groups of motions of manifolds of nonpositive curvature // Proceedings of the International Congress of Mathematicians (Vancouver, B.C., 1974), Vol. 2 (рус.). — Canad. Math. Congress,, 1975.
  • Маргулис Г. Дискретные группы движений многообразий неположительной кривизны // Труды Международного конгресса математиков. — Ванкувер, Канада, 1974. — Т. II. — С. 21-34.
• Atle Selberg. Harmonic analysis ans discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series // J. Indian Math. Soc. (N.S.). — 1956. — Т. 20. — С. 47–87.
• James Arthur. An introduction to the trace formula // Harmonic analysis, the trace formula, and Shimura varieties. — Amer. Math. Soc, 2005. — С. 1–263.
• William Thurston. Three-dimensional manifolds, Kleinian groups and hyperbolic geometry // Bull. Amer. Math. Soc. (N.S.). — 1982. — Т. 6, вып. 3. — doi:10.1090/s0273-0979-1982-15003-0.
• Маргулис Г. Дискретные подгруппы полупростых групп Ли. — Московский центр непрерывного математического образования (МЦНМО), 2007. — (Учебные пособия. Математика. Высшая школа). — ISBN 978-5-94057-174-2.
• Dave Witte-Morris. 16 // Introduction to arithmetic groups. — 2015.
• Mikhail Gromov, Richard Schoen. Harmonic maps into singular spaces and p-adic superrigidity for lattices in groups of rank one // Inst. Hautes Études Sci. Publ. Math.. — 1992. — Т. 76. — doi:10.1007/bf02699433.
• Kevin Corlette. Archimedean superrigidity and hyperbolic geometry // Ann. of Math.. — 1992. — Т. 135. — doi:10.2307/2946567. — JSTOR 2946567.
• Dave Witte-Morris. 18 // Introduction to arithmetic groups. — 2015.
• Alexander Lubotzky. Discrete groups, expanding graphs and invariant measures. — Birkhäuser, 1994.
• Peter Sarnak. Some applications of modular forms. — Cambridge University Press, 1990.
• Mikhail G. Katz, Mary Schaps, Uzi Vishne. Logarithmic growth of systole of arithmetic Riemann surfaces along congruence subgroups // Journal of Differential Geometry. — 2007. — Т. 76, вып. 3. — arXiv:math.DG/0505007.
• Miklós Abért, Yair Glasner, Bálint Virág. Kesten's theorem for invariant random subgroups // Duke Math. J.. — 2014. — Т. 163, вып. 3. — doi:10.1215/00127094-2410064. — arXiv:1201.3399.
• Marie-France Vignéras. Variétés riemanniennes isospectrales et non isométriques (фр.) // Ann. of Math.. — 1980. — Vol. 112. — doi:10.2307/1971319. — JSTOR 1971319.
• Gopal Prasad, Andrei S. Rapinchuk. Weakly commensurable arithmetic groups and isospectral locally symmetric spaces // Publ. Math. Inst. Hautes Études Sci.. — 2009. — Т. 109. — doi:10.1007/s10240-009-0019-6.
• Bertrand Rémy. COVOLUME DES GROUPES S-ARITHMÉTIQUES ET FAUX PLANS PROJECTIFS [d'après Mumford, Prasad, Klingler, Yeung, Prasad-Yeung]. — séminaire Bourbaki, 2007–2008.