В физике и математике , и особенно в дифференциальной геометрии и калибровочной теории , уравнения Янга–Миллса представляют собой систему уравнений в частных производных для связности на векторном расслоении или главном расслоении . Они возникают в физике как уравнения Эйлера–Лагранжа функционала действия Янга –Миллса . Они также нашли значительное применение в математике.
Решения уравнений называются связями Янга–Миллса или инстантонами . Пространство модулей инстантонов использовалось Саймоном Дональдсоном для доказательства теоремы Дональдсона .
В своей основополагающей статье по теме калибровочных теорий Роберт Миллс и Чен-Нин Ян разработали (по сути, независимо от математической литературы) теорию главных расслоений и связностей, чтобы объяснить концепцию калибровочной симметрии и калибровочной инвариантности применительно к физическим теориям. [1] Калибровочные теории, открытые Янгом и Миллсом, теперь называемые теориями Янга–Миллса , обобщили классическую работу Джеймса Максвелла по уравнениям Максвелла , которая была сформулирована на языке калибровочной теории Вольфгангом Паули и другими. [2] Новизна работы Янга и Миллса состояла в определении калибровочных теорий для произвольного выбора группы Ли , называемой структурной группой (или в физике калибровочной группой , см. Калибровочная группа (математика) для получения более подробной информации). Эта группа может быть неабелевой в отличие от случая, соответствующего электромагнетизму, и правильной основой для обсуждения таких объектов является теория главных расслоений .
Основные моменты работы Янга и Миллса следующие. Предполагается, что фундаментальное описание физической модели осуществляется с помощью полей , и выводится, что при локальном калибровочном преобразовании (изменении локальной тривиализации главного расслоения) эти физические поля должны преобразовываться точно так же, как преобразуется связь (в физике — калибровочное поле ) на главном расслоении. Напряженность калибровочного поля — это кривизна связи, а энергия калибровочного поля задается (с точностью до константы) функционалом действия Янга–Миллса
Принцип наименьшего действия диктует, что правильные уравнения движения для этой физической теории должны быть заданы уравнениями Эйлера–Лагранжа этого функционала, которые представляют собой уравнения Янга–Миллса, выведенные ниже:
В дополнение к физическим истокам теории, уравнения Янга–Миллса представляют важный геометрический интерес. В общем случае нет естественного выбора связности на векторном расслоении или главном расслоении. В частном случае, когда это расслоение является касательным расслоением к римановому многообразию , такой естественный выбор есть, связность Леви-Чивиты , но в общем случае есть бесконечномерное пространство возможных выборов. Связность Янга–Миллса дает некоторый естественный выбор связности для общего расслоения, как мы сейчас опишем.
Связность определяется ее локальными формами для тривиализирующего открытого покрытия для расслоения . Первой попыткой выбора канонической связности может быть требование, чтобы эти формы исчезали. Однако это невозможно, если тривиализация не является плоской, в том смысле, что функции перехода являются постоянными функциями. Не каждое расслоение является плоским, поэтому это невозможно в общем случае. Вместо этого можно было бы потребовать, чтобы локальные формы связности сами были постоянными. На главном расслоении правильный способ сформулировать это условие состоит в том, что кривизна исчезает. Однако, по теории Черна–Вейля, если кривизна исчезает (то есть является плоской связностью ), то лежащее в основе главное расслоение должно иметь тривиальные классы Черна , что является топологическим препятствием к существованию плоских связностей: не каждое главное расслоение может иметь плоскую связность.
Лучшее, на что можно надеяться, — это попросить, чтобы вместо исчезающей кривизны расслоение имело кривизну как можно меньше . Функционал действия Янга–Миллса, описанный выше, — это в точности (квадрат) -нормы кривизны, а его уравнения Эйлера–Лагранжа описывают критические точки этого функционала, либо абсолютные минимумы, либо локальные минимумы. То есть, связности Янга–Миллса — это именно те, которые минимизируют свою кривизну. В этом смысле они являются естественным выбором связности на главном или векторном расслоении над многообразием с математической точки зрения.
Пусть будет компактным , ориентированным , римановым многообразием . Уравнения Янга–Миллса можно сформулировать для связности на векторном расслоении или главном -расслоении над для некоторой компактной группы Ли . Здесь представлено последнее соглашение. Пусть обозначает главное -расслоение над . Тогда связность на может быть задана дифференциальной формой со значениями в алгебре Ли на тотальном пространстве главного расслоения. Эта связность имеет форму кривизны , которая является двумерной формой на со значениями в присоединенном расслоении . С этой связностью связана внешняя ковариантная производная , определенная на присоединенном расслоении. Кроме того, поскольку является компактной, ее связанная компактная алгебра Ли допускает инвариантное скалярное произведение относительно присоединенного представления .
Так как является римановым, то на кокасательном расслоении есть скалярное произведение , а в сочетании с инвариантным скалярным произведением на есть скалярное произведение на расслоении -значных двумерных форм на . Так как является ориентированным, то на сечениях этого расслоения есть -скалярное произведение. А именно,
где внутри интеграла используется послойное внутреннее произведение, и является римановой формой объема . Используя это внутреннее произведение, формальный сопряженный оператор определяется как
Явно это задается выражением, где — оператор звезды Ходжа, действующий на двумерные формы.
Принимая вышеизложенное во внимание, уравнения Янга–Миллса представляют собой систему (в общем случае нелинейных) уравнений в частных производных, задаваемую как
Поскольку звезда Ходжа является изоморфизмом, то по явной формуле для уравнений Янга–Миллса можно эквивалентно записать
Связь, удовлетворяющая условиям ( 1 ) или ( 2 ), называется связью Янга–Миллса .
Каждое соединение автоматически удовлетворяет тождеству Бьянки , поэтому соединения Янга–Миллса можно рассматривать как нелинейный аналог гармонических дифференциальных форм , которые удовлетворяют
В этом смысле поиск связей Янга–Миллса можно сравнить с теорией Ходжа , которая ищет гармонического представителя в классе когомологий де Рама дифференциальной формы. Аналогия заключается в том, что связь Янга–Миллса подобна гармоническому представителю в наборе всех возможных связей на главном расслоении.
Уравнения Янга–Миллса являются уравнениями Эйлера–Лагранжа функционала Янга–Миллса , определяемыми как
Чтобы вывести уравнения из функционала, напомним, что пространство всех связей на является аффинным пространством, смоделированным на основе векторного пространства . При небольшой деформации связи в этом аффинном пространстве кривизны связаны соотношением
Чтобы определить критические точки ( 3 ), вычислите
Связь является критической точкой функционала Янга–Миллса тогда и только тогда, когда она обращается в нуль для каждого , и это происходит именно тогда, когда выполняется ( 1 ).
Уравнения Янга–Миллса калибровочно инвариантны . Математически калибровочное преобразование является автоморфизмом главного расслоения , и поскольку скалярное произведение на инвариантно, функционал Янга–Миллса удовлетворяет
и поэтому, если удовлетворяет ( 1 ), то также удовлетворяет .
Существует пространство модулей связностей Янга–Миллса по модулю калибровочных преобразований. Обозначим через калибровочную группу автоморфизмов . Множество классифицирует все связности по модулю калибровочных преобразований, а пространство модулей связностей Янга–Миллса является подмножеством. В общем случае ни или не является хаусдорфовым или гладким многообразием. Однако, ограничиваясь неприводимыми связностями, то есть связями, группа голономии которых задается всеми из , можно получить хаусдорфовы пространства. Пространство неприводимых связностей обозначается , и поэтому пространства модулей обозначаются и .
Пространства модулей связностей Янга–Миллса интенсивно изучались при определенных обстоятельствах. Майкл Атья и Рауль Ботт изучали уравнения Янга–Миллса для расслоений над компактными римановыми поверхностями . [4] Там пространство модулей получает альтернативное описание как пространство модулей голоморфных векторных расслоений . Это теорема Нарасимхана–Сешадри , которая была доказана в этой форме, связывая связности Янга–Миллса с голоморфными векторными расслоениями Дональдсоном. [5] В этой постановке пространство модулей имеет структуру компактного кэлерова многообразия . Модули связностей Янга–Миллса наиболее изучены, когда размерность базового многообразия равна четырем. [3] [6] Здесь уравнения Янга–Миллса допускают упрощение от уравнения в частных производных второго порядка до уравнения в частных производных первого порядка, уравнений антисамодуальности.
Когда размерность базового многообразия равна четырем, происходит совпадение: оператор звезды Ходжа отображает двумерные формы в двумерные формы,
Оператор звезды Ходжа в этом случае квадратичен и имеет собственные значения и . В частности, существует разложение
в положительные и отрицательные собственные пространства , самодвойственные и антисамодвойственные 2-формы. Если связность на главном -расслоении над четырехмерным многообразием удовлетворяет либо , либо , то по ( 2 ) связность является связностью Янга–Миллса. Эти связности называются либо самодвойственными связностями , либо антисамодвойственными связностями , а уравнения уравнениями самодвойственности (SD) и уравнениями антисамодвойственности (ASD) . [3] Пространства самодвойственных и антисамодвойственных связностей обозначаются и , и аналогично для и .
Пространство модулей ASD-связностей, или инстантонов, наиболее интенсивно изучалось Дональдсоном в случае, когда и является односвязным . [7] [8] [9] В этой постановке главное -расслоение классифицируется своим вторым классом Черна , . [Примечание 1] Для различных выборов главного расслоения получаются пространства модулей с интересными свойствами. Эти пространства являются хаусдорфовыми, даже когда допускают приводимые связности, и являются в общем гладкими. Дональдсон показал, что гладкая часть ориентируема. По теореме об индексе Атьи–Зингера можно вычислить, что размерность , пространства модулей ASD-связностей, когда , будет
где — первое число Бетти , а — размерность положительно определенного подпространства относительно формы пересечения на . [3] Например, когда и , форма пересечения тривиальна, а пространство модулей имеет размерность . Это согласуется с существованием инстантона BPST , который является уникальным инстантоном ASD на с точностью до 5-параметрического семейства, определяющего его центр в и его масштаб. Такие инстантоны на могут быть расширены через точку на бесконечности с помощью теоремы Уленбека об устранимой сингулярности. В более общем случае, для положительных пространств модулей имеет размерность
Пространство модулей уравнений Янга–Миллса использовалось Дональдсоном для доказательства теоремы Дональдсона о форме пересечения односвязных четырехмерных многообразий. Используя аналитические результаты Клиффорда Таубса и Карен Уленбек , Дональдсон смог показать, что в определенных обстоятельствах (когда форма пересечения определена ) пространство модулей инстантонов ASD на гладком, компактном, ориентированном, односвязном четырехмерном многообразии дает кобордизм между копией самого многообразия и несвязным объединением копий комплексной проективной плоскости . [7] [10] [11] [12] Мы можем подсчитать количество копий двумя способами: один раз, используя эту сигнатуру — инвариант кобордизма, а другой — используя интерпретацию приводимых связностей в теории Ходжа. Тщательно интерпретируя эти подсчеты, можно заключить, что такое гладкое многообразие имеет диагонализируемую форму пересечения.
Пространство модулей инстантонов ASD может быть использовано для определения дополнительных инвариантов четырехмерных многообразий. Дональдсон определил полиномы на второй группе гомологий соответствующим образом ограниченного класса четырехмерных многообразий, возникающих из пар классов когомологий на пространстве модулей. [9] Эта работа впоследствии была превзойдена инвариантами Зайберга–Виттена .
С помощью процесса размерной редукции уравнения Янга–Миллса могут быть использованы для вывода других важных уравнений в дифференциальной геометрии и калибровочной теории. Размерная редукция — это процесс рассмотрения уравнений Янга–Миллса над четырехмерным многообразием, обычно , и навязывания того, что решения должны быть инвариантными относительно группы симметрии. Например:
Существует двойственность между решениями размерно редуцированных уравнений ASD на и называемая преобразованием Нама, в честь Вернера Нама , который первым описал, как строить монополи из данных уравнения Нама. [13] Хитчин показал обратное, а Дональдсон доказал, что решения уравнений Нама могут быть дополнительно связаны с пространствами модулей рациональных отображений из комплексной проективной прямой в себя. [14] [15]
Дуальность, наблюдаемая для этих решений, теоретически верна для произвольных дуальных групп симметрий четырехмерного многообразия. Действительно, существует похожая дуальность между инстантонами, инвариантными относительно дуальных решеток внутри , инстантонами на дуальных четырехмерных торах, и конструкцию ADHM можно рассматривать как дуальность между инстантонами на и дуальными алгебраическими данными над одной точкой. [3]
Редукция симметрии уравнений ASD также приводит к ряду интегрируемых систем , и гипотеза Уорда заключается в том, что на самом деле все известные интегрируемые ОДУ и УЧП происходят из редукции симметрии ASDYM. Например, редукция SU(2) ASDYM дает уравнение синус-Гордона и Кортевега–де Фриза , ASDYM дает уравнение Цицейки , а конкретная редукция к размерностям дает интегрируемую хиральную модель Уорда. [16] В этом смысле это «главная теория» для интегрируемых систем, позволяющая восстановить многие известные системы путем выбора соответствующих параметров, таких как выбор калибровочной группы и схемы редукции симметрии. Другими такими главными теориями являются четырехмерная теория Черна–Саймонса и аффинная модель Годена .
Пространство модулей уравнений Янга–Миллса над компактной римановой поверхностью можно рассматривать как конфигурационное пространство теории Черна–Саймонса на цилиндре . В этом случае пространство модулей допускает геометрическое квантование , открытое независимо Найджелом Хитчином и Аксельродом–Делла Пьетрой– Виттеном . [17] [18]