Двойственная группа Понтрягина

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

Определение

Пусть \( G \) — локально компактная абелева топологическая группа. Характером группы \( G \) называется непрерывный гомоморфизм \( \chi: G \to \mathbb{T} \), где \( \mathbb{T} = \{ z \in \mathbb{C} : |z| = 1 \} \) — мультипликативная группа комплексных чисел, равных по модулю единице (окружность). Множество всех таких характеров обозначается \( \widehat{G} \). На этом множестве вводится групповая операция поточечного умножения: \( (\chi_1 \cdot \chi_2)(g) = \chi_1(g) \cdot \chi_2(g) \). Единичным элементом является тривиальный характер \( \chi_0(g) = 1 \) для всех \( g \in G \). Обратным элементом для \( \chi \) является характер \( \chi^{-1}(g) = \overline{\chi(g)} \).

На \( \widehat{G} \) вводится топология компактной сходимости (равномерной сходимости на компактных подмножествах \( G \)). С этой топологией и групповой операцией \( \widehat{G} \) само является локально компактной абелевой группой. Она называется двойственной группой Понтрягина (или группой характеров) для \( G \).

История

Концепция двойственной группы восходит к работам Леонарда Эйлера и Жана Батиста Жозефа Фурье по разложению функций в тригонометрические ряды. В начале XX века Герман Вейль и другие математики изучали характеры компактных групп. Однако систематическая теория двойственности для локально компактных абелевых групп была разработана советским математиком Львом Семёновичем Понтрягиным в 1934 году. Понтрягин доказал, что для любой локально компактной абелевой группы \( G \) существует естественный изоморфизм между \( G \) и её второй двойственной группой \( \widehat{\widehat{G}} \). Это утверждение известно как двойственность Понтрягина. Позднее теория была обобщена Эгбертом ван Кампеном и Андре Вейлем.

Примеры

Дискретные группы

Если \( G \) — дискретная абелева группа (например, \( \mathbb{Z} \) — целые числа), то её двойственная группа \( \widehat{G} \) компактна. Для \( G = \mathbb{Z} \) характеры имеют вид \( \chi_n(k) = e^{2\pi i n k} \), где \( n \in \mathbb{T} \). Таким образом, \( \widehat{\mathbb{Z}} \cong \mathbb{T} \) (окружность).

Компактные группы

Если \( G \) — компактная абелева группа (например, \( \mathbb{T} \) — окружность), то её двойственная группа \( \widehat{G} \) дискретна. Для \( G = \mathbb{T} \) характеры задаются формулой \( \chi_n(z) = z^n \), где \( n \in \mathbb{Z} \). Следовательно, \( \widehat{\mathbb{T}} \cong \mathbb{Z} \).

Вещественная прямая

Для \( G = \mathbb{R} \) (аддитивная группа вещественных чисел) характеры имеют вид \( \chi_\xi(x) = e^{2\pi i \xi x} \), где \( \xi \in \mathbb{R} \). Таким образом, \( \widehat{\mathbb{R}} \cong \mathbb{R} \). Это соответствует самодвойственности вещественной прямой.

Конечные группы

Для конечной абелевой группы \( G \) её двойственная группа \( \widehat{G} \) изоморфна самой \( G \). Например, для циклической группы \( \mathbb{Z}_n \) характеры — это \( \chi_k(m) = e^{2\pi i k m / n} \), где \( k = 0, 1, \dots, n-1 \). Группа \( \widehat{\mathbb{Z}_n} \) также является циклической порядка \( n \).

Свойства

Двойственность Понтрягина

Основное свойство: для любой локально компактной абелевой группы \( G \) существует канонический изоморфизм \( \Phi: G \to \widehat{\widehat{G}} \), задаваемый формулой \( \Phi(g)(\chi) = \chi(g) \). Это означает, что двойственная группа к двойственной группе изоморфна исходной группе. Таким образом, двойственность является инволюцией на категории локально компактных абелевых групп.

Функториальность

Конструкция двойственной группы функториальна: непрерывный гомоморфизм \( \varphi: G \to H \) индуцирует двойственный гомоморфизм \( \widehat{\varphi}: \widehat{H} \to \widehat{G} \), задаваемый композицией: \( \widehat{\varphi}(\chi) = \chi \circ \varphi \). При этом направление стрелок меняется на противоположное (контравариантность).

Топологические свойства

• Если \( G \) компактна, то \( \widehat{G} \) дискретна.
• Если \( G \) дискретна, то \( \widehat{G} \) компактна.
• Если \( G \) связна, то \( \widehat{G} \) не имеет кручения (является группой без элементов конечного порядка).
• Если \( G \) — группа с кручением, то \( \widehat{G} \) — вполне несвязная группа.

Размерность

Размерность группы \( G \) и её двойственной группы \( \widehat{G} \) совпадают. Например, для \( \mathbb{R}^n \) обе группы имеют размерность \( n \).

Применение

Гармонический анализ

Двойственная группа Понтрягина является основой для обобщённого преобразования Фурье. Для функции \( f \in L^1(G) \) её преобразование Фурье определяется на \( \widehat{G} \) как: \[ \widehat{f}(\chi) = \int_G f(g) \overline{\chi(g)} \, d\mu(g), \] где \( \mu \) — мера Хаара на \( G \). Обратное преобразование Фурье восстанавливает функцию по её спектру. Это позволяет изучать свёртки, дифференциальные операторы и спектральные свойства на группах.

Теория чисел

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

Квантовая физика

В квантовой механике двойственность Понтрягина описывает соотношение между координатным и импульсным представлениями. Группа \( \mathbb{R}^n \) самодвойственна, что соответствует симметрии между положением и импульсом частицы.

Топология

В алгебраической топологии двойственная группа используется для определения когомологий с коэффициентами в группе характеров. Например, группа \( \widehat{\pi_1(X)} \) (двойственная к фундаментальной группе) связана с группой одномерных когомологий.

Интересные факты

• Двойственная группа к прямой сумме групп изоморфна прямому произведению их двойственных групп: \( \widehat{G \oplus H} \cong \widehat{G} \times \widehat{H} \).
• Для компактных групп преобразование Фурье переводит свёртку в поточечное произведение, что является аналогом теоремы о свёртке для рядов Фурье.
• Теория двойственности Понтрягина была обобщена на неабелевы группы (теория представлений) и на квантовые группы.
• В 1950 году Исраэль Гельфанд и Дэвид Райков доказали, что любая локально компактная группа (не обязательно абелева) обладает полной системой неприводимых унитарных представлений, что является обобщением двойственности Понтрягина.

Критика и ограничения

Двойственность Понтрягина применима только к абелевым группам. Для неабелевых групп характеры не образуют группу (поскольку произведение характеров не обязательно является характером), и теория двойственности значительно сложнее. Кроме того, конструкция двойственной группы требует локальной компактности, что исключает бесконечномерные группы и некоторые топологические группы общего вида.

Источники

• Понтрягин Л. С. Непрерывные группы. — М.: Наука, 1984.
• Хьюитт Э., Росс К. Абстрактный гармонический анализ. — М.: Мир, 1975.
• Рудин У. Функциональный анализ. — М.: Мир, 1975.
• Morris S. A. Pontryagin Duality and the Structure of Locally Compact Abelian Groups. — Cambridge University Press, 1977.