Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Теория представлений некомпактной группы $S U(1,1)$ была создана в 1947 f. Баргманом [13]. С тех пор она почти не фигурировала в физической литературе. Поэтому мы изложим Пусть $\mathscr{F}$-линейное пространство функций, заданных на границе единичного круга $\{\omega \in \mathbf{C}:|\omega|=1\}$ и бесконечно дифференцируемых с топологией, определяемой точечной сходимостью. Известно, что любая функция $f \in \mathscr{F}$ может быть разложена по базису в сходящийся всюду ряд Фурье С помощью фурье-компонент мы определяем подпространства линейного пространства $\mathscr{F}$ : Из $\mathscr{F}_{ \pm}^{x, n}$ получаются подпространства Здесь $\langle\mathfrak{M}\rangle$-линейная оболочка пространства $\mathfrak{M}$. Очевидно, $\mathscr{F}_{U}^{\chi, n}=\{0\}$ при $n+x+1>0, \quad \mathscr{F}_{U}^{x, n}=\mathscr{F} \quad$ при $n<0$. (1.3.5) Пространство $\mathscr{F}$ или его подпространства указанного вида содержатся в гильбертовых пространствах всех неприводимых унитарных представлений, которые будут построены в дальнейшем, как плотные подпространства. Операция преобразования из группы $S U(1,1)$ на границе единичного круга определена следующим образом: Квазиинвариантная мера на границе едиңичного круга равна $d \omega / \omega$; производная Радона – Никодима равна Непрерывное линейное представление группы $S U(1,1)$ в пространстве $\mathscr{F}$ для $x \in\{0,1\}$ и $l \in \mathbf{C}$ определяется следующим образом: Согласно Гельфанду и др. [14] (гл. VII, § 2), для нецелых $l$ это представление является неприводимым в том смысле, что не существует нетривиального подпространства $\mathscr{F}$, инвариантного относительно представления $V^{x, l}$. Для целых $l$ подпространства $\mathscr{F}_{ \pm}^{x, l}, \mathscr{F}_{U}^{x, l}$ и $\mathscr{F}_{n}^{x, l}$-инварианты относительно $V^{\chi, l}$. При $l+x+1>0$ сужения оказываются неприводимыми подпредставлениями. Так как при этом $\mathscr{F}_{U}^{x, l}$ (кроме случая $x=1, l=-1$ ) является собственным инвариантным подпространством, представление $V^{x, l}$ естественным образом индуцирует представление в фактор-пространстве $\mathscr{F} / \mathscr{F}_{\cup}^{\chi, l}$, которое, как можно доказать, является неприводимым. В силу изоморфизма мы можем рассматривать это представление также на элементах пространства $\mathscr{F}_{\cap}^{\chi,-l-x-1}$. Таким образом, кроме $V_{ \pm}^{x, t}$, мы приходим еще и к третьему неприводимому представлению, заданному определением является неприводимым представлением группы $S U(1,1)$. Так как в этом случае пространства $\mathscr{F}_{ \pm}^{-x, l}$ включают $\mathscr{F}_{\cap}^{-, i}$ в качестве нетривиального подпространства, то сужения представления $V^{x, l}$ на $\mathscr{F}_{ \pm}^{x, t}$ не являются неприводимыми. Однако можно доказать, что представления, естественным образом индуци руемые представлением $V^{x, l}$ в фактор-пространствах $\mathscr{F}_{ \pm}^{\chi, l} / \mathscr{F}_{n}^{\chi . l}$, являются неприводимыми. В силу изоморфизмов мы можем рассматривать эти представления на элементах из пространств $\mathscr{F}_{ \pm}^{x,-l-x-1}$. Так что, помимо $V_{n}^{\chi, l}$, имеются неприводимые представления Таким образом, для целых $l$ мы имеем разложение пространства $\mathscr{F}$ в прямую сумму трех подпространств, на каждом из которых задано неприводимое представление группы $S U(1,1)$ : Здесь па́ра представлений, отвечающая $l$ и $-l-x-1$, определена на одном и том же подпространстве. Однако следует отметить, что представление $V^{\chi, l}$ неразложимо и потому никаким способом не может быть представлено в виде прямой суммы подпредставлений $V_{ \pm}^{\chi, l}, V_{\cap}^{\chi, l}$. В случае $x=1, l=-1$, когда области $l+x+1>0$ и $l<0$ перекрываются, следует еще уточнить сформулированные выше утверждения. Здесь $\mathscr{F}^{1,-1}=\{0\}$ и пространство $\mathscr{F}$ распадается на прямую сумму $\mathscr{F}_{+}^{1,-1} \oplus \mathscr{F}^{1,-1}$. При этом мы имеем только два неприводимых представления $V_{ \pm}^{1,-1}$, причем $V^{1,1}=V_{+}^{1,-1} \oplus V_{-}^{1,-1}$. Следующее утверждение относительно существования билинейных функционалов, инвариантных относительно пары представлений, которое доказано в книге Гельфанда и др. [14] (гл. VII, §3) для группы $S L(2, \mathrm{R})$, изоморфной группы $S U(1,1)$, можңо считать основной теоремой теории представлений группы $S U(1,1)$. с обобщенным интегральным ядром $B\left(\omega^{\prime}, \omega\right)$, которое инвариантно относительңо па́ры представлений $V^{x, l}$ и $V^{x^{\prime}, l^{\prime}}$, т. е. удовлетворяет требованию существует лишь при условии, что $x^{\prime}=x$ и $l^{\prime}=-l^{*}-x-1$ или $l^{\prime}=l^{*}$. В случае $l^{\prime}=-l^{*}-x-1$ ядро такого функционала равно (или пропорционально) где В случае $l^{\prime}=l, l$-целое, в пространстве $\mathscr{F}$ существуют ровно два (с точңостью до множителя) инвариантных функционала: где операторы $T_{ \pm}^{\varkappa, l}$ определяются „спектральным представлением“: Поэтому оператор $T_{ \pm}^{x, l}$ вырожден в пространстве $\mathscr{F}_{\mp}^{\chi, l}$; оба функционала вырождены в пространстве $\mathscr{F}_{\text {ก, }}^{x, l}$. В этом подпространстве, нетривиальном при $l+x+1 \leqslant 0$, существует (единственный с точностью до множителя) инвариантный функционал. определяемый „спектральным представлением“ В случае $l^{\prime}=l>0, l$-целое, существует (единственный с точностью до множителя) инвариантный функционал Оператор $T_{\cap}^{\chi, l}$ вырожден в подпространствах $\mathscr{F}_{+}^{\varkappa, l}$ и $\mathscr{F}_{-}^{\chi, l}$. В каждом из них инвариантный функционал задается следующим образом: Отсюда сразу же следует, что оператор $T^{x,-l-x-1}$ является обратным для $T^{x, l}:$ Используем символ $\wedge$, чтобы обозначить сужение оператора на подпространство: Легко видеть, что операторы $\widehat{T}_{ \pm}^{x, l}$ и $\widehat{T}_{\cap}^{x, l}$ можно интерпретировать как „предельные значения“ оператора $T^{x, z}$ с комплексным $z$ : справедливого для любого $B$ в формуле (1.3.16), инвариантные функционалы, существующие в случае $l^{\prime}=l^{*}$, определяют операторы, дающие связь между соответствующими представлениями. При $l^{\prime}=-l^{*}-x-1$ оператор $B$ пропорционален единице. Поэтому для нецелых $l$ имеем а для подпредставлений с целыми $l$ получаем Вторым следствием основной теоремы является неприводимость в смысле Шура всех представлений $V^{\chi, l}$. Так как в случае $l^{\prime}=-l^{*}-x-1 \delta$-функционал (1.3.18) является единственным инвариантным функционалом, то в силу соотношения (1.3.32) единственным оператором, коммутирующим с представлением $V^{\chi, t}$, является единица. Исключение составляет случай $x=1$, $l=-1$, когда операторы $\pm T_{ \pm}^{1,-1}$ осуществляют проекцию на подпространства $\mathscr{F}_{ \pm}^{1,-1}$ и коммутируют с представлением $V^{1,-1}$ в силу соотношений (1.3.34). Это отвечает отмеченному выше разложению представления $V^{1,-1}$ в прямую сумму $V_{+}^{1,-1} \oplus V_{-}^{1,-1}$. Наконец, основную теорему можно использовать для определения условий, при которых построенные выше представления Скалярное произведение в гильбертовом пространстве, для которого $\mathscr{F}$ является плотным подпространством и в котором представление $U_{S U(1,1)}^{\chi, l}$ при сужении на $\mathscr{F}$ дает $V^{x, l}$, определяется как специальный билинейный функционал того вида, какой был описан в нашей теореме для случая $x^{\prime}=x, l^{\prime}=l$. Он симметричен и положительно определен: Согласно теореме, этот функционал существует только при условии, что $\operatorname{Re} l=-1 / 2(1+x)$ или $\operatorname{Im} l=0$. В первом случае $B$ является $\delta$-функционалом, который, очевидно, симметричен и положительно определен. Во втором случае при нецелых $l$ функционал $T^{x, t}$ симметричен, так как, согласно формуле (1.3.27), он имеет вещественные собственные значения. Однако он является положительно определенным только при $x=0$, $-1<l<0$, так как только в этом случае отношение собственных значений для векторов $e_{v+1}$ и $e_{v},(v-l-x) /(v+l+1)$, положительно при всех $v$, а при $x=0, l=-1 / 2$ оператор $T^{x, l}$ равен единице. Для целых $l$ рассмотрим функционалы $\hat{T}^{\chi, l}$ и $\widehat{T}_{\cap}^{x, l}$, заданные на своих подпространствах. Эти функционалы симметричны, так как их собственные значения вещественны. В пространствах $\mathscr{F}_{\cap}^{\chi, t}$ (при $l<0$ ) и $\mathscr{F}^{x,-l-x-1}$ (при $l+x+1>0$ ) положительно определенные функционалы существуют только при $x=0, l=-1$ и $x=0, l=0$ соответственно, так как собственные значения имеют чередующиеся знаки. С другой стороны, в пространствах $\mathscr{F}_{ \pm}^{x, l}\left(\right.$ при $l+x+1>0$ ) и $\mathscr{F}_{ \pm}^{x, l-x-1}$ (при $l<0$ ) операторы $( \pm 1)^{x} \widehat{T}_{ \pm}^{x, l}$ являются положительно определенными при целых $l$ и $x \in\{0,1\}$. В указанных выше случаях инвариантные, симметричные и положительно определенные функционалы в пространстве $\mathscr{F}$ или его подпространствах могут быть введены как скалярные произведения. Эти линейные пространства, снабженные соответствующими скалярными произведениями, являются гильбертовыми пространствами $\mathfrak{F}_{S U}^{x, l}(1,1)$, в которых представления $V^{x, l}$ расширяются до унитарных представлений $U_{S U(1,1)}^{\chi, l}$. Таким образом, существуют следующие серии унитарных представлений группы $S U(1,1)$ : в гильбертовом пространстве $\mathfrak{S}_{S U}^{\chi, 1}(1,1) \equiv \mathfrak{g}$ квадратично интегрируемых функций на границе единичного круга; скалярное произведение определено следующим образом: в гильбертовых пространствах $\mathfrak{S}_{S U}^{0, l}(1,1)$ со скалярными произведениями где $P_{ \pm}^{x_{1}, l_{0}}\left(\omega / \omega^{\prime}\right)$ – ядро, отвечающее оператору проекции на подпространство $\mathscr{F}_{ \pm}^{x_{2}, l_{0}}, l_{0} \equiv \max (l,-l-x-1)$. Представлеңия действуют в гильбертовых пространствах $\mathscr{S}_{S U}^{\chi, l}(1,1)$, которые получаются путем введения в упомянутые пространства скалярных произведений вида При $l+x+1>0$ проекционный оператор в формуле (1.3.40) можно опустить. в одномерном гильбертовом простраңстве $\mathfrak{F}_{S U(1,1)}^{0, l, n} \equiv \mathscr{F}_{n}^{0,0} \equiv \mathbf{C}$. Проекционный оператор $P_{\hat{0}}^{0,0}$ можно опустить при $l=-1$. Основна́я и дополнительная серии пересекаются в точке $x=0, l=-\frac{1}{2}$, причем соответствующие представления в обеих сериях совпадают. Основная и дискретная серии пересекаются в точке $x=1, l=-1$. Представление $U_{S U(1,1)}^{1,-1}$ основной серии разлагается в прямую сумму представлений $U_{S U(1,1)}^{1,-1}$ и $U_{S U}^{1,-1,-1}$, принадлежащих дискретной серии. Соотношения эквивалентности (1.3.33) и (1.3.34) для унитарных серий могут быть распространены до соотношений унитарной эквивалентности. Следовательно, представления с $l$ и – $l-x-1$ унитарно эквивалентны. Классы эквивалентности неприводимых унитарных представлений группы $S U(1,1)$ могут быть определены поэтому уже на половине указанных серий. Для параметра $\rho$, введенного в разд. 1.1 для характеристики классов эквивалентности неприводимых унитарных представлений малых групп, можно выбрать следующие обозначения: Здесь мы ввели $\eta=0$ для единообразного обозначения гильбертовых пространств $\mathfrak{F}_{S U(1,1)}^{x, l, \eta}$ и действующих в них представлений $U_{S U(1,1)}^{*, l, \eta}$. В дальнейшем мы будем обсуждать только представления с параметрами, указанными в формуле (1.3.43). Для таких представлений можно опустить проекционные операторы в формулах (1.3.40) и (1.3.42). Единичное представление в дальнейшем рассматриваться не будет. для любого $A \in S U(1,1)$. Матричные элементы будут явно вычислены в разд. 2.3. Забегая вперед, отметим, что они, вообще говоря, отличны от нуля для любых $v$ и $v^{\prime}$. Следовательно, оператор $C$ кратен единичному. Представления с параметрами, указанными в формуле (1.3.43), являются представителями всех классов эквивалентности неприводимых унитарных представлений группы $S U(1,1)$; иными словами, любое неприводимое унитарное представление группы $S U(1,1)$ эквивалентно одному из них. Подробное доказательство этого утверждения можно найти, например, в работе Такахаси [16]. Для дальнейшего удобно рассмотреть еще одну реализацию представлений дискретной серии. С этой целью совершим аналитическое продолжение элементов подмножества $\mathscr{F}_{+}^{-2, l}$ внутрь единичного круга $\{z \in \mathbf{C}:|z|<1\}$, сопоставляя элементу $f=$ $=\sum_{l+x+1}^{\infty} f_{v} e_{v}, \quad f \in \mathscr{F}_{+}^{x, l}$, функцию $f^{\prime}=\sum_{l+x+1}^{\infty} f_{v} e_{v}^{\prime}$, где $e_{v}^{\prime}(z) \equiv z^{v}$. Вводя в полученное пространство скалярное произведение мы приходим к гильбертову пространству $\mathfrak{Y}_{S}^{\prime \prime,},(1,1)$, содержащему функции, голоморфные внутри единичного круга и имеющие нуль порядка $l+x+1$ или более высокого в начале координат. Изоморфизм гильбертовых пространств $\mathfrak{y}_{S U}^{x, l,+, 1)}$ и Преобразование $z \rightarrow z \bar{A}=\left(z A_{11}+A_{21}\right) /\left(z A_{12}+A_{22}\right)$, приңадлежащее группе $S U(1,1)$, внутри единичного круга можно рассматривать теперь как аналитическое продолжение соответствующей операции $\omega \rightarrow \omega \bar{A}$ на границе круга. Поскольку $l$-целое число, представление (1.3.40) можно записать в виде так что его можно аналитически продолжить внутрь единичного круга и получить представление в пространстве $\mathfrak{F}_{S U(1,1)}^{\prime x, 1,}$. В силу формул (1.3.45) и (1.3.44) это представление унитарно эквивалентно представлению $U_{S U}^{x, l,+1)}$. Аналогичным образом можно реализовать $U_{S U(1,1)}^{\chi, l,-1}$ путем аналитического продолжеңия вовне единичного круга. Мы, однако, воспользуемся другим способом, преобразовав прежде представление $U_{S U}^{x, l, 1,1)}$ с помощью унитарного отображения на представление Теперь это представление можно продолжить внутрь единичного круга, и мы получим Отметим также антиунитарную эквивалентность представлений $U_{S U}^{\prime \prime, l, 1,1)}$ и $U_{S U}^{\prime \prime, l,-1,1)}$. Используя антиунитарный оператор мы получим Заметим в заключение, что ядро, отвечающее единичному оператору в пространстве $\mathfrak{F}_{S U(1,1)}^{\prime 2, l,+}$, имеет вид
|
1 |
Оглавление
|