Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике В разд. 7.5 мы ввели в рассмотрение абелевы калибровочные поля, ассоциированные с группой $U$ (1) одномерных комплексных унитарных матриц. В качестве обобщения мы можем рассмотреть более общую группу унитарных матриц $G$, содержащуюся в общей линейной группе всех невырожденных комплексных $(n \times n)$-матриц $G L(n, C)$. Мы ограничимся рассмотрением групп унитарных матриц, параметризованных $p<n^{2}$ вещественными параметрами. Можно показать, что элементы $g$ таких $p$-параметрических непрерывных групп матриц могут быть представлены в виде где $L_{A}(A=1,2, \ldots, p)$ – множество $p$ эрмитовых матриц, размера $n \times n$, которые удовлетворяют множеству коммутационных соотношений вида Параметры $C_{A B C}$ суть постоянные характеристики $p$-параметрической группы, известные как структурные постоянные этой группы. Матрицы $L_{A}$ называются образующими элементами группы, на них натянуто линейное векторное пространство L. Из (7.9.2) следует, что коммутатор [ , ] определяет отображение $\mathrm{L} \times \mathrm{L} \rightarrow \mathrm{L}$ и превращает $\mathrm{L}$ в алгебру, известную как алгебра Ли группы $G$. Естественное скалярное произведение на $G L(n, C)$ определяется формулой Часто оказывается возможным выбрать образующие $L_{A}$ так, чтобы они были ортогональны относительно этого скалярного произведения, т. е. чтобы выполнялись соотношения где иногда удобно выбирать $C_{A} Эта операция выбирается как обобщение (7.5.5), причем матрица Ф заменяет скалярное поле $\varphi$. Қаждое из $p$ скалярных полей, параметризующих $\Phi$, преобразуется с помощью ( $p \times p$ )-матрицы, которая заменяет $(1 \times 1)$-матрицу $\widetilde{\beta}$. Преимущество такого выбора заключается в том, что норма $\|\Phi\|$, определенная формулой инвариантна относительно сопряженного действия и обобщает инвариант $|\varphi|^{2}$ единственного скалярного поля $\varphi$. Заметим, однако, что возможны другие $G$-инвариантные комбинации полей $\Phi$, по которым можно построить $G$-инвариантный потенциал. В случае $d$ пространственных переменных наше обобщение (7.5.1), инвариантное относительно группы $G$, определяется действием Преобразование (7.9.5) представляет собой обобщение калибровочного преобразования, а группу $G$ называют калибровочной epynnoü. Рассмотрим теперь координатнозависимые калибровочные преобразования, определенные гладкими отображениями $g: \mathbb{R}^{d} \rightarrow G$, имеющими в координатах следующий вид: Все функции $\beta^{A}: \mathbb{R}^{d} \rightarrow \mathbb{R}(A=1,2, \ldots, p)$ гладкие. следуя (7.5.8), но допуская выбор сопряженного действия на матрице $Ф$. Действие калибровочной группы на калибровочных полях $A_{a}$ определяется требованием того, чтобы $D_{a} \Phi$ преобразовывалось таким же образом, как $\Phi$, а именно В результате получается преобразование В абелевом случае полевой тензор $F_{a b}$ был инвариантным, но в неабелевом случае он таковым не является и должен быть заменен соответствующей инвариантной комбинацией. Определим полевой тензор $G_{a b}$ формулой Тогда $G_{a b}$ преобразуется так же, как $\Phi$ и $D_{a} \Phi$, и действие, по которому можно построить калибровочные модифицированные уравнения (если выбрать $C_{A}=1(A=1,2, \ldots$, ) ), представляет собой функционал вида где $\|G\|_{1}^{2}$ есть инвариантная норма, определенная формулой Если скалярное поле отсутствует, то уравнения, отвечающие члену (1/2) |G|, являются обобщениями уравнений Максвелла и называются уравнениями Янеа-Милла: Если предположить, что потенциальная функция имеет конечное число нулей $c_{i}(i=1,2, \ldots, M$ ), то пространство решений с конечной энергией, обозначим его $F$, разбивается на $M$ секторов $A_{i}$, определенных следующим образом: В каждом секторе функция $\|\Phi\|$ принимает своё асимптотическое значение на сфере в $L$ радиуса $c_{1}$. Поэтому если $\Phi \in A_{i}$, то можно определить отображение $\tilde{\Phi}: S^{d-1} \rightarrow S^{p-1}$ с помоцью формулы Существование топологического заряда определяется свойствами $\pi_{d-1}\left(\mathcal{S}^{p-1}\right)$.
|
1 |
Оглавление
|