Сверхсильное приближение - Superstrong approximation

Сверхсильное приближение является обобщением сильная аппроксимация в алгебраических группах грамм, предоставлять спектральный промежуток полученные результаты. Речь идет о спектре Матрица лапласа ассоциированный с семейством частных дискретной группы Γ; а разрыв - это разрыв между первым и вторым собственными значениями (нормализация так, чтобы первое собственное значение соответствовало постоянным функциям как собственным векторам). Здесь Γ - подгруппа рациональных точек грамм, но не обязательно решетка: это может быть так называемый тонкая группа. Рассматриваемый «пробел» - это нижняя граница (абсолютная константа) для разности этих собственных значений.

Следствие и эквивалент этого свойства, потенциально применимое для Зариски плотный подгруппы Γ группы специальная линейная группа над целыми числами и в более общих классах алгебраических групп грамм, заключается в том, что последовательность Графики Кэли для редукций Γп по модулю простых чисел потносительно любого фиксированного множества S в Γ, который является симметричный набор и генераторная установка, является расширитель семьи.[1]

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

Фон

Свойство (τ) является аналогом теории дискретных групп Имущество Каждан (Т), и был представлен Александр Любоцкий.[2] Для данного семейства нормальных подгрупп N конечного индекса в Γ, одна эквивалентная формулировка состоит в том, что графы Кэли групп Γ /N, все относительно фиксированного симметричного набора образующих S, образуют расширительную семью.[3] Следовательно, сверхсильное приближение - это формулировка свойства (τ), где подгруппы N ядра редукции по модулю достаточно больших простых чисел п.

В Гипотеза Любоцкого – Вайсса утверждает (для специальных линейных групп и редукции по простому модулю), что результат разложения такого типа верен независимо от выбора S. Для приложений также важно иметь результаты, в которых модуль не ограничивается простым числом.[4]

Доказательства сверхсильного приближения

Результаты по сверхсильному приближению были получены с использованием техники приблизительные подгруппы, и скорость роста в конечных простых группах.[5]

Примечания

  1. ^ (Breuillard & Oh 2014, страницы x, 343)
  2. ^ http://www.ams.org/notices/200506/what-is.pdf
  3. ^ Александр Любоцкий (1 января 1994 г.). Дискретные группы, расширяющиеся графы и инвариантные меры. Springer. п. 49. ISBN  978-3-7643-5075-8.
  4. ^ (Breuillard & Oh 2014, страницы 3-4)
  5. ^ (Breuillard & Oh 2014, стр. xi)

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