WikiDer > Калибровочная теория (математика)

Gauge theory (mathematics)

В математика, и особенно дифференциальная геометрия и математическая физика, калибровочная теория это общее исследование связи на векторные пакеты, основные связки, и пучки волокон. Калибровочную теорию в математике не следует путать с тесно связанным понятием калибровочная теория в физика, что является теория поля который допускает калибровочная симметрия. По математике теория означает математическая теория, заключающий в себе общее изучение совокупности понятий или явлений, тогда как в физическом смысле калибровочная теория - это физическая модель какого-то природного явления.

Калибровочная теория в математике обычно связана с изучением теоретико-калибровочных уравнений. Это дифференциальные уравнения включающие связи на векторных расслоениях или главных расслоениях, или включающие сечения векторных расслоений, так что между калибровочной теорией и геометрический анализ. Эти уравнения часто имеют физический смысл и соответствуют важным концепциям в квантовая теория поля или же теория струн, но также имеют важное математическое значение. Например, Уравнения Янга – Миллса являются системой уравнения в частных производных для связности на главном расслоении, и в физике решения этих уравнений соответствуют вакуумные решения к уравнениям движения для классическая теория поля, частицы, известные как инстантоны.

Калибровочная теория нашла применение при построении новых инварианты из гладкие многообразия, строительство экзотических геометрических структур, таких как гиперкэлеровы многообразия, а также дать альтернативные описания важных структур в алгебраическая геометрия Такие как пространства модулей векторных расслоений и когерентные пучки.

История

Калибровочная теория берет свое начало еще с формулировки Уравнения Максвелла описывающий классический электромагнетизм, который можно сформулировать как калибровочную теорию со структурной группой круговая группа. Работа Поль Дирак на магнитные монополи и релятивистский квантовая механика поощрял идею о том, что связки и соединения - это правильный способ формулирования многих проблем квантовой механики. Калибровочная теория в математической физике возникла как важная область исследований с основополагающими работами Роберт Миллс и Чен-Нин Ян по так называемой калибровочной теории Янга – Миллса, которая теперь является фундаментальной моделью, лежащей в основе стандартная модель физики элементарных частиц.[1]

Математическое исследование калибровочной теории берет свое начало в работах Майкл Атья, Исадор Сингер, и Найджел Хитчин об уравнениях автодуальности на Риманово многообразие в четырех измерениях.[2][3] В этой работе изучалось пространство модулей самодуальных связностей (инстантонов) на евклидовом пространстве, и было показано, что его размерность куда - положительный целочисленный параметр. Это связано с открытием BPST инстантоны, вакуумные решения уравнений Янга – Миллса в четырех измерениях. Примерно в то же время Атия и Ричард Уорд обнаружил связь между решениями уравнений автодуальности и алгебраическими расслоениями над сложное проективное пространство .[4] Другим значительным ранним открытием стало создание Строительство ADHM по Атии, Владимир Дринфельд, Хитчин и Юрий Манин.[5] Эта конструкция позволила решить уравнения антиавтодуальности на евклидовом пространстве из чисто линейных алгебраических данных.

Значительный прорыв, способствовавший развитию математической калибровочной теории, произошел в начале 1980-х годов. В это время важная работа Атья и Рауль Ботт об уравнениях Янга – Миллса над римановыми поверхностями показал, что теоретико-калибровочные задачи могут привести к интересным геометрическим структурам, стимулируя развитие бесконечномерных карты моментов, эквивариантный Теория Морса, и связи между калибровочной теорией и алгебраической геометрией.[6] Важные аналитические инструменты в геометрический анализ были разработаны в это время Карен Уленбек, который изучил аналитические свойства связей и кривизны, доказав важные результаты о компактности.[7] Наиболее значительный прогресс в этой области произошел благодаря работе Саймон Дональдсон и Эдвард Виттен.

Дональдсон использовал комбинацию алгебраической геометрии и методов геометрического анализа для построения новых инварианты из четыре коллектора, теперь известный как Инварианты Дональдсона.[8][9] Благодаря этим инвариантам появляются новые результаты, такие как существование топологических многообразий, не допускающих гладких структур, или существование множества различных гладких структур в евклидовом пространстве. можно было доказать. За эту работу Дональдсон был награжден Медаль Филдса в 1986 г.

Виттен аналогичным образом заметил, что калибровочная теория может описывать топологические инварианты, связывая величины, возникающие из Теория Черна – Саймонса в трех измерениях к Многочлен Джонса, инвариант узлы.[10] Эта работа и открытие инвариантов Дональдсона, а также новая работа Андреас Флоер на Гомология Флоера, вдохновил на изучение топологическая квантовая теория поля.

После открытия способности калибровочной теории определять инварианты многообразий популярность математической калибровочной теории расширилась. Были обнаружены другие инварианты, такие как Инварианты Зайберга – Виттена. и Инварианты Вафы – Виттена..[11][12] Сильные связи с алгебраической геометрией были реализованы в работах Дональдсона, Уленбека и Шинг-Тунг Яу на Переписка Кобаяши – Хитчина связывая связи Янга – Миллса с стабильные векторные расслоения.[13][14] Работы Найджела Хитчина и Карлос Симпсон на Связки Хиггса продемонстрировали, что пространства модулей, возникающие из калибровочной теории, могут иметь экзотические геометрические структуры, такие как структура гиперкэлеровы многообразия, а также ссылки на интегрируемые системы сквозь Система Хитчина.[15][16] Ссылки на теория струн и зеркальная симметрия были реализованы там, где калибровочная теория важна для формулировки гомологическая зеркальная симметрия гипотеза и AdS / CFT корреспонденция.

Основные объекты интереса

Основными интересными объектами калибровочной теории являются: связи на векторные пакеты и основные связки. В этом разделе мы кратко напоминаем об этих конструкциях и отсылаем к основным статьям о них для подробностей. Описанные здесь структуры являются стандартными в литературе по дифференциальной геометрии, а введение в тему с теоретико-калибровочной точки зрения можно найти в книге Дональдсона и Питер Кронхеймер.[17]

Основные пакеты

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

А основной пакет с структурная группа , или главный -пучок, состоит из пятерки куда гладкий пучок волокон со слоем, изоморфным Группа Ли , и представляет свободный и переходный верно групповое действие из на который сохраняет волокна в том смысле, что для всех , для всех . Здесь это общая площадь, и в базовое пространство. Использование правильного группового действия для каждого и любой выбор , карта определяет диффеоморфизм между волокном над и группа Ли как гладкие многообразия. Обратите внимание, однако, что нет естественного способа снабдить волокна со структурой групп Ли естественно, так как естественного выбора такого элемента нет для каждого .

Приведены простейшие примеры основных расслоений, когда это круговая группа. В этом случае главное расслоение имеет размерность куда . Другой естественный пример - когда это комплект кадров из касательный пучок коллектора , или, в более общем смысле, расслоение фреймов векторного расслоения над . В этом случае волокно дается общая линейная группа .

Поскольку основное расслоение является расслоением, оно локально имеет структуру продукта. То есть существует открытое покрытие из и диффеоморфизмы ездить с проекциями и , так что функции перехода определяется удовлетворить состояние коцикла

на любом тройном перекрытии . Чтобы определить главное расслоение, достаточно указать такой выбор функций перехода. Затем расслоение определяется склейкой тривиальных расслоений вдоль перекрестков используя функции перехода. Условие коцикла гарантирует, что он определяет отношение эквивалентности о несвязном союзе и поэтому факторное пространство[необходимо разрешение неоднозначности] четко определено.

Обратите внимание, что выбор местная секция удовлетворение является эквивалентным методом указания локальной карты тривиализации. А именно, можно определить куда - единственный элемент группы такой, что .

Векторные пучки

А векторный набор это тройка куда это пучок волокон со слоем, заданным векторным пространством куда это поле. Номер это классифицировать векторного расслоения. Опять же, имеется локальное описание векторного расслоения в терминах тривиализирующего открытого покрытия. Если такое покрытие, то при изоморфизме

можно получить выдающиеся местные секции соответствующий координатные базисные векторы из , обозначенный . Они определяются уравнением

Следовательно, чтобы указать тривиализацию, это эквивалентно дать набор локальные секции, которые всюду линейно независимы, и используют это выражение для определения соответствующего изоморфизма. Такой набор локальных секций называется Рамка.

Аналогично основным расслоениям получаются переходные функции для векторного расслоения, определяемого

Если взять эти функции перехода и использовать их для построения локальной тривиализации для главного расслоения со слоем, равным структурной группе , получается в точности расслоение кадров , директор -пучок.

Связанные пакеты

Учитывая принципала -пучок и представление из в векторном пространстве , можно построить связанный векторный пучок со слоем векторное пространство . Чтобы определить это векторное расслоение, нужно рассмотреть правильное действие над продуктом. определяется и определяет как факторное пространство в отношении этого действия.

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

Соответствующее построение пучка может быть выполнено для любого волоконного пространства. , а не просто векторное пространство, если является гомоморфизмом групп. Одним из ключевых примеров является заглавная A сопряженный пучок с волокном , построенный с помощью группового гомоморфизма определяется спряжением . Обратите внимание, что несмотря на наличие клетчатки присоединенное расслоение не является ни главным расслоением, ни изоморфным как расслоение сам. Например, если абелева, то действие сопряжения тривиально и будет тривиальным - пучок волокон поверх независимо от того, есть ли тривиален как расслоение. Другой ключевой пример - это строчная а сопряженный пучок построенный с использованием присоединенное представительство куда это Алгебра Ли из .

Калибровочные преобразования

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

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

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

и аналогично для векторных расслоений.

Обратите внимание, что для двух локальных тривиализаций главного расслоения над одним и тем же открытым подмножеством , функция перехода - это в точности локальное калибровочное преобразование . То есть, локальные калибровочные преобразования - это замены локальной тривиализации для главных расслоений или векторных расслоений.

Связи на основных связках

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

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

куда это Скобка Ли векторных полей. Поскольку вертикальный пучок состоит из касательных пространств к слоям и эти слои изоморфны группе Ли касательное расслоение которого канонически отождествляется с , есть уникальный Алгебразначный двойная форма соответствующей кривизне. С точки зрения Теорема Фробениуса об интегрируемости, кривизна точно определяет степень, в которой горизонтальное распределение не может быть интегрируемым, и, следовательно, степень, в которой не встраивается внутрь как горизонтальное подмногообразие локально.

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

Локальная тривиализация для эквивалентно задается локальной секцией а соединение однообразным и кривизной может быть вытащил обратно по этой гладкой карте. Это дает локальная связь однократная который принимает значения в сопряженный пучок из . Структурное уравнение Картана говорит, что кривизна может быть выражена через локальную одноформу выражением

где мы используем скобку Ли на расслоении алгебр Ли который отождествляется с на локальной тривиализации .

При локальном калибровочном преобразовании так что , одноформа локальной связи преобразуется выражением

куда обозначает Форма Маурера – Картана группы Ли . В случае, когда это матричная группа Ли, есть более простое выражение

Связи на векторных расслоениях

Связь на векторном расслоении может быть задана аналогично случаю для главных расслоений выше, известному как Связь Ehresmann. Однако связи векторных расслоений допускают более сильное описание в терминах дифференциального оператора. А связь на векторном расслоении - это выбор -линейный дифференциальный оператор

такой, что

для всех и разделы . В ковариантная производная раздела в направлении векторного поля определяется

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

В локальной тривиализации внешняя производная действует как тривиальная связь (соответствующая на изображении основного расслоения тривиальной связи, описанной выше). А именно для локальной рамки один определяет

где здесь мы использовали Обозначения Эйнштейна для местного раздела .

Любые два соединения отличаться однозначная форма . Чтобы убедиться в этом, заметьте, что разница между двумя соединениями равна -линейный:

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

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

где произведение клина встречается на компоненте одной формы, а одно составляет эндоморфизмы на компоненте эндоморфизма. Чтобы вернуться к теории основных расслоений, обратите внимание, что где справа мы теперь проводим клин одноформ и коммутатор эндоморфизмов.

При калибровочном преобразовании векторного расслоения , связь превращается в связь спряжением . Разница где здесь действует на эндоморфизмы . Под местный калибровочное преобразование получается такое же выражение

как и в случае с основными связками.

Индуцированные соединения

Связность на главном расслоении индуцирует связи на ассоциированных векторных расслоениях. Один из способов увидеть это - использовать формы локального подключения, описанные выше. А именно, если соединение основного пакета имеет местные формы подключения , и представляет собой представление определение связанного векторного расслоения , то индуцированные локальные одноформы связности определяются равенствами

Здесь индуцированный Гомоморфизм алгебр Ли из , и мы используем тот факт, что это отображение индуцирует гомоморфизм векторных расслоений .

Индуцированная кривизна может быть просто определена как

Здесь можно увидеть, как локальные выражения для кривизны связаны для главных расслоений и векторных расслоений, как скобка Ли на алгебре Ли переходит в коммутатор эндоморфизмов при гомоморфизме алгебр Ли .

Пространство подключений

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

Многие интересные свойства базового многообразия могут быть закодированы в геометрии и топологии пространств модулей связностей на главных расслоениях и векторных расслоениях над . Инварианты , Такие как Инварианты Дональдсона или же Инварианты Зайберга – Виттена. могут быть получены путем вычисления числовых величин, полученных из пространств модулей связностей над . Самое известное применение этой идеи - Теорема Дональдсона, который использует пространство модулей связностей Янга – Миллса на главном - связать односвязный четырехколлекторный изучить его форму пересечения. За эту работу Дональдсон был награжден Медаль Филдса.

Условные обозначения

Существуют различные условные обозначения, используемые для соединений на векторных связках и основных связках, которые будут кратко описаны здесь.

  • Письмо является наиболее распространенным символом, используемым для обозначения связи в векторном или основном связке. Это происходит из-за того, что если выбрать фиксированное соединение всех соединений, то любое другое соединение может быть записано для какой-то уникальной одноформной . Это также происходит из-за использования для обозначения локальной формы связности на векторном расслоении, которая впоследствии получается из электромагнитный потенциал по физике. Иногда символ также используется для обозначения формы подключения, обычно в основном пакете, и обычно в этом случае относится к одной форме глобального соединения на общем пространстве главного расслоения, а не на соответствующих локальных формах связности. В математической литературе этого соглашения обычно избегают, поскольку оно часто противоречит использованию для Кэлерова форма когда нижележащее многообразие это Кэлерово многообразие.
  • Символ чаще всего используется для представления связи на векторном расслоении как дифференциального оператора, и в этом смысле используется взаимозаменяемо с буквой . Он также используется для обозначения ковариантных производных операторов . Альтернативная запись для оператора связи и ковариантных производных операторов: чтобы подчеркнуть зависимость от выбора , или же или же .
  • Оператор чаще всего относится к внешняя ковариантная производная связи (и так иногда пишут для связи ). Поскольку внешняя ковариантная производная степени 0 совпадает с регулярной ковариантной производной, сама связность или ковариантная производная часто обозначается вместо .
  • Символ или же чаще всего используется для обозначения кривизны соединения. Когда соединение упоминается , кривизна обозначается скорее, чем . Другие соглашения включают или же или же , по аналогии с Тензор римановой кривизны в Риманова геометрия который обозначается .
  • Письмо часто используется для обозначения основного жгута или соединения Эресмана, когда акцент делается на горизонтальном распределении. . В этом случае оператор вертикальной проекции, соответствующий (подключение одноразовое на ) обычно обозначают , или же , или же . Используя это соглашение, иногда обозначают кривизну чтобы подчеркнуть зависимость, и может относиться к оператору кривизны на всем пространстве , или кривизна на основании .
  • Алгебра Ли сопряженный пучок обычно обозначается , а присоединенное расслоение групп Ли - . Это не согласуется с условностями теории Группы Ли, куда относится к представлению на , и относится к Представление алгебры Ли из на себя Кронштейн лжи. В теории групп Ли действие сопряжения (которое определяет расслоение ) часто обозначают .

Словарь математической и физической терминологии

Математические и физические области калибровочной теории включают изучение одних и тех же объектов, но используют разную терминологию для их описания. Ниже приводится краткое описание того, как эти термины соотносятся друг с другом.

Сравнение понятий математической и физической калибровочной теории
МатематикаФизика
Основной пакетСектор Instanton или сектор заряда
Структурная группаГруппа датчиков или локальная группа датчиков
Группа датчиковГруппа глобальных калибровочных преобразований или глобальная калибровочная группа
Преобразование датчикаКалибровочное преобразование или калибровочная симметрия
Изменение локальной тривиализацииПреобразование локальной калибровки
Локальная тривиализацияИзмерять
Выбор локальной тривиализацииУстановка датчика
Функционал определен на пространстве связейЛагранжиан калибровочной теории
Объект не меняется под действием калибровочного преобразованияКалибровочная инвариантность
Ковариантно постоянные относительно связности калибровочные преобразованияГлобальная калибровочная симметрия
Калибровочные преобразования, не являющиеся ковариантно постоянными относительно связностиЛокальная калибровочная симметрия
СвязьКалибровочное поле или калибровочный потенциал
КривизнаИзмерьте напряженность поля или напряженность поля
Индуцированная связь / ковариантная производная на ассоциированном пучкеМинимальное сцепление
Раздел связанного векторного расслоенияМатерия поле
Член в функционале Лагранжа, включающий несколько различных величин

(например, ковариантная производная, примененная к разделу связанного пакета, или умножение двух членов)

Взаимодействие
Сечение действительного или сложного (обычно тривиального) линейного пучка(Реальное или сложное) Скалярное поле

В качестве демонстрации этого словаря рассмотрим взаимодействующий член поля частицы положения электрона и электромагнитного поля в лагранжиане квантовая электродинамика:[18]

Математически это можно переписать

куда это связь по принципалу пучок , является сечением ассоциированного спинорного пучка и индуцированный Оператор Дирака индуцированной ковариантной производной в этом связанном пакете. Первый член является взаимодействующим членом в лагранжиане между спинорным полем (поле, представляющим электрон-позитрон) и калибровочным полем (представляющим электромагнитное поле). Второй член - обычный Функционал Янга – Миллса который описывает основные невзаимодействующие свойства электромагнитного поля (связь ). Срок формы является примером того, что в физике называется минимальной связью, то есть простейшим возможным взаимодействием между полем материи и калибровочное поле .

Теория Янга – Миллса

Преобладающей теорией в математической калибровочной теории является теория Янга – Миллса. Эта теория предполагает изучение связей, которые критические точки из Функционал Янга – Миллса определяется

куда ориентированный Риманово многообразие с в Риманова форма объема и ан -норма на присоединенном пучке . Этот функционал представляет собой квадрат -норма кривизны соединения , поэтому соединения, которые являются критическими точками этой функции, имеют минимально возможную кривизну (или более высокие локальные минимумы ).

Эти критические точки характеризуются как решения связанных Уравнения Эйлера – Лагранжа., то Уравнения Янга – Миллса

куда индуцированный внешняя ковариантная производная из на и это Звездный оператор Ходжа. Такие решения называются Связи Янга – Миллса и представляют значительный геометрический интерес.

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

Если определить гармоническую связь условием, что

тогдашнее изучение связей Янга – Миллса по своей природе аналогично изучению гармонических форм. Теория Ходжа обеспечивает уникальный гармонический представитель каждого когомологии де Рама учебный класс . Замена класса когомологий калибровочной орбитой , изучение связей Янга – Миллса можно рассматривать как попытку найти уникальных представителей для каждой орбиты в фактор-пространстве связностей по модулю калибровочных преобразований.

Уравнения самодуальности и анти-самодуальности

В размерности четыре звездный оператор Ходжа переводит две формы в две формы, , и квадраты к тождественному оператору, . Таким образом, звезда Ходжа, оперирующая двумя формами, имеет собственные значения , а две-формы на ориентированном римановом четырехмерном многообразии расщепляются в виде прямой суммы

в самодвойственный и анти-самодвойственный две формы, заданные и собственные подпространства звездного оператора Ходжа соответственно. То есть, самодуальна, если , и антисамодвойственный, если , и любая дифференциальная двуформация допускает расщепление на самодвойственные и анти-самодвойственные части.

Если кривизна соединения на главном расслоении над четырехмерным многообразием самодвойственна или антиавтодуальна, то по тождеству Бианки , поэтому связь автоматически является уравнением Янга – Миллса. Уравнение

является дифференциальным уравнением в частных производных первого порядка для связи , и поэтому его проще изучать, чем полное уравнение Янга – Миллса второго порядка. Уравнение называется уравнение самодуальности, а уравнение называется уравнение антиавтодуальности, а решениями этих уравнений являются самодвойственные соединения или же анти-самодвойственные соединения соответственно.

Уменьшение размеров

Один из способов вывести новые и интересные теоретико-калибровочные уравнения - это применить процесс уменьшение размеров к уравнениям Янга – Миллса. Этот процесс включает рассмотрение уравнений Янга – Миллса над многообразием (обычно считается евклидовым пространством ), и требуя, чтобы решения уравнений были инвариантными относительно группы трансляционных или других симметрий. Благодаря этому процессу уравнения Янга – Миллса приводят к Уравнения Богомольного описание монополей на , Уравнения Хитчина описание Связки Хиггса на Римановы поверхности, а Уравнения Нама на действительных интервалах, путем наложения симметрии относительно сдвигов в одном, двух и трех направлениях соответственно.

Калибровочная теория в одном и двух измерениях

Здесь уравнения Янга – Миллса, когда базовое многообразие имеет низкую размерность. В этой постановке уравнения резко упрощаются из-за того, что в измерении один не существует двух форм, а во втором измерении оператор звезды Ходжа на двух формах действует как .

Теория Янга – Миллса

Уравнения Янга – Миллса можно изучать непосредственно на многообразии размерности два. Теория уравнений Янга – Миллса, когда базовое многообразие является компактным. Риманова поверхность носил Майкл Атья и Рауль Ботт.[6] В этом случае пространство модулей связностей Янга – Миллса над комплексным векторным расслоением допускает различные богатые интерпретации, и теория служит простейшим случаем для понимания уравнений в более высоких измерениях. Уравнения Янга – Миллса в этом случае принимают вид

для некоторой топологической постоянной в зависимости от . Такие связи называются проективно плоский, и в случае, когда векторное расслоение топологически тривиально (так ) это именно плоские соединения.

Когда звание и степень векторного расслоения совмещать, пространство модулей связностей Янга – Миллса является гладким и имеет естественную структуру симплектическое многообразие. Атья и Ботт заметили, что, поскольку связности Янга – Миллса проективно плоские, их голономия дает проективные унитарные представления фундаментальной группы поверхности, так что это пространство имеет эквивалентное описание как пространство модулей проективных унитарных представлений фундаментальная группа римановой поверхности a разнообразие персонажей. В Теорема Нарасимхана и Сешадри дает альтернативное описание этого пространства представлений как пространство модулей стабильные голоморфные векторные расслоения которые гладко изоморфны .[19] Благодаря этому изоморфизму пространство модулей связностей Янга – Миллса приобретает сложную структуру, которая взаимодействует с симплектической структурой Атьи и Ботта, превращая его в компактное кэлерово многообразие.

Саймон Дональдсон дал альтернативное доказательство теоремы Нарасимхана и Сешадри, которое непосредственно перешло от связностей Янга – Миллса к стабильным голоморфным структурам.[20] Атья и Ботт использовали эту перефразировку проблемы, чтобы осветить тесную взаимосвязь между экстремальными связностями Янга – Миллса и стабильностью векторных расслоений как бесконечномерного карта моментов для действия калибровочной группы , заданный картой кривизны сам. Это наблюдение формулирует теорему Нарасимхана – Сешадри как своего рода бесконечномерную версию Теорема Кемпфа – Несса из геометрическая теория инвариантов, связывающий критические точки квадрата нормы отображения момента (в данном случае связности Янга – Миллса) с устойчивыми точками на соответствующем алгебраическом фактор-расслоении (в данном случае стабильными голоморфными векторными расслоениями). Эта идея впоследствии оказала большое влияние на калибровочную теорию и сложная геометрия с момента его появления.

Уравнения Нама

Уравнения Нама, введенные Вернер Нахм, получаются как размерное сокращение антиавтодуальности в четырех измерениях до одного измерения путем наложения трансляционной инвариантности в трех направлениях.[21] Конкретно требуется, чтобы форма соединения не зависит от координат . В этой постановке уравнения Нама между системой уравнений на интервале для четырех матриц удовлетворяющая тройке уравнений

Нахм показал, что решения этих уравнений (которые могут быть получены довольно легко, поскольку они представляют собой систему обыкновенные дифференциальные уравнения) можно использовать для построения решений Уравнения Богомольного, которые описывают монополи на . Найджел Хитчин показал, что решения уравнений Богомольного можно использовать для построения решений уравнений Нама, показав, что решения этих двух проблем эквивалентны.[22] Дональдсон далее показал, что решения уравнений Нама эквивалентны рациональным отображениям степени от сложная проективная линия себе, где - заряд соответствующего магнитного монополя.[23]

Пространство модулей решений уравнений Нама имеет структуру гиперкэлерового многообразия.

Уравнения Хитчина и расслоения Хиггса

Уравнения Хитчина, введенные Найджел Хитчин, получаются как размерная редукция уравнений автодуальности в четырех измерениях до двух измерений путем наложения инварианта сдвига в двух направлениях.[24] В этой настройке два дополнительных компонента формы соединения можно объединить в один комплекснозначный эндоморфизм , и в такой формулировке уравнения становятся конформно инвариантный поэтому их естественно изучать на компактной римановой поверхности, а не на . Уравнения Хитчина утверждают, что для пары на сложном векторном расслоении куда , который

куда это -компонент . Решения уравнений Хитчина называются Пары Хитчина.

Тогда как решения уравнений Янга – Миллса на компактной римановой поверхности соответствуют проективным унитарный представления группы поверхностей, Хитчин показал, что решения уравнений Хитчина соответствуют проективным сложный представления поверхностной группы. Пространство модулей пар Хитчина естественно имеет (когда ранг и степень расслоения взаимно просты) структуру кэлерова многообразия. Используя аналог наблюдения Атьи и Ботта относительно уравнений Янга – Миллса, Хитчин показал, что пары Хитчина соответствуют так называемым стабильным Связки Хиггса, где расслоение Хиггса - это пара куда является голоморфным векторным расслоением и является голоморфным эндоморфизмом со значениями в канонический пакет римановой поверхности . Это показано посредством построения бесконечномерного отображения момента, и это пространство модулей расслоений Хиггса также имеет сложную структуру, которая отличается от структуры, исходящей от пар Хитчина, что приводит к двум сложным структурам в пространстве модулей пучков Хиггса. Они объединяются, чтобы дать третью, которая делает это пространство модулей гиперкэлерово многообразие.

Впоследствии работа Хитчина была значительно обобщена Карлос Симпсон, а соответствие между решениями уравнений Хитчина и расслоениями Хиггса над произвольным кэлеровым многообразием известно как неабелева теорема Ходжа.[25][26][27][28][29]

Калибровочная теория в трех измерениях

Монополи

Сведение уравнений Янга – Миллса к трехмерным измерениям путем наложения трансляционного инварианта в одном направлении приводит к уравнениям Богомольного для пары куда семейство матриц.[30] Уравнения

Когда основной пакет имеет структурную группу в круговая группа, решения уравнений Богомольного моделируют Монополь Дирака описывая магнитный монополь в классическом электромагнетизме. Работа Нама и Хитчина показывает, что когда структурная группа особая унитарная группа решения монопольных уравнений соответствуют решениям уравнений Нама, а по работе Дональдсона они в дальнейшем соответствуют рациональным отображениям из себе степени куда это заряд монополя. Эта плата определяется как предел

интеграла спаривания над сферами в увеличивающегося радиуса .

Теория Черна – Саймонса

Теория Черна – Саймонса в трех измерениях - это топологическая квантовая теория поля с функционалом действия, пропорциональным интегралу от Форма Черна – Саймонса, три-форма, определяемая

Классические решения уравнений Эйлера – Лагранжа функционала Черна – Саймонса на замкнутом трехмерном многообразии соответствуют плоским соединениям на главном -пучок . Однако когда имеет границу, ситуация усложняется. Теорию Черна – Саймонса использовали Эдвард Виттен чтобы выразить Многочлен Джонса, инвариант узла, в терминах ожидаемое значение вакуума из Петля Вильсона в Теория Черна – Саймонса на трехмерной сфере. .[10] Это была яркая демонстрация силы калибровочных теоретических задач в плане нового понимания топологии и была одним из первых примеров такого подхода. топологическая квантовая теория поля.

При квантовании классической теории Черна – Саймонса изучаются индуцированные плоские или проективно плоские связности на главном расслоении, ограниченном поверхностями внутри 3-х многообразия. Классические пространства состояний, соответствующие каждой поверхности, являются в точности пространствами модулей уравнений Янга – Миллса, изученными Атьей и Боттом.[6] В геометрическое квантование этих пространств было достигнуто Найджел Хитчин и Аксельрода – Делла Пьетра – Виттена независимо, а в случае, когда структурная группа является сложной, конфигурационное пространство является пространством модулей расслоений Хиггса, и его квантование было выполнено Виттеном.[31][32][33]

Гомология Флоера

Андреас Флоер ввел тип гомологий на трехмерных многообразиях, определенных по аналогии с Гомологии Морса в конечных размерах.[34] В этой теории гомологий функция Морса - это функционал Черна – Саймонса на пространстве связностей на главное расслоение над 3-многообразием . Критические точки - это плоские соединения, а линии потока определены как инстантоны Янга – Миллса на которые ограничиваются критическими плоскими связями на двух граничных компонентах. Это ведет к инстантонная гомология Флора. Гипотеза Атьи – Флоера утверждает, что гомологии инстантонов Флора согласуются с Лагранжевы пересечения гомологии Флоера пространства модулей плоских соединений на поверхности определение Расщепление Хегора из , которая является симплектической из-за наблюдений Атьи и Ботта.

По аналогии с инстантонными гомологиями Флоера можно определить Гомологии Зайберга – Виттена Флоера где инстантоны заменены решениями Уравнения Зайберга – Виттена. Работой Клиффорд Таубс это, как известно, изоморфно вложенным контактным гомологиям, а затем и гомологиям Хегора Флоера.

Калибровочная теория в четырех измерениях

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

Уравнения антиавтодуальности

В четырех измерениях уравнения Янга – Миллса допускают упрощение до уравнений антиавтодуальности первого порядка. для связи на основной пачке над ориентированным римановым четырехмерным многообразием .[17] Эти решения уравнений Янга – Миллса представляют собой абсолютные минимумы функционала Янга – Миллса, а более высокие критические точки соответствуют решениям что делать нет возникают из-за анти-самодвойственных связей. Пространство модулей решений уравнений антиавтодуальности, , позволяет получить полезные инварианты относительно лежащего в основе четырехмерного многообразия.

Кобордизм, задаваемый пространством модулей антиавтодуальных связностей в теореме Дональдсона

Эта теория наиболее эффективна в случае, когда является односвязный. Например, в этом случае Теорема Дональдсона утверждает, что если четырехмерное многообразие имеет отрицательно определенный форма пересечения (4-многообразие), а если главное расслоение имеет структурную группу, то особая унитарная группа и второй Черн класс , то пространство модулей пятимерный и дает кобордизм между сам и несвязный союз копии с обратной ориентацией. Отсюда следует, что форма пересечения такого четырехмерного многообразия диагонализуема. Существуют примеры односвязных топологических четырехмерных многообразий с недиагонализуемой формой пересечения, такие как Коллектор E8, поэтому из теоремы Дональдсона следует существование топологических четырехмерных многообразий без гладкая структура. Это резко контрастирует с двумя или тремя измерениями, в которых топологические структуры и гладкие структуры эквивалентны: любое топологическое многообразие размерности меньше или равной 3 имеет уникальную гладкую структуру.

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

Расширение этих идей приводит к Теория Дональдсона, который строит дальнейшие инварианты гладких четырехмерных многообразий из пространств модулей связности над ними. Эти инварианты получаются вычислением классы когомологий на пространстве модулей против фундаментальный класс, который существует благодаря аналитической работе, показывающей ориентируемость и компактность пространства модулей с помощью Карен Уленбек, Таубс и Дональдсон.

Когда четырехмерное многообразие Кэлерово многообразие или же алгебраическая поверхность а главное расслоение имеет исчезающий первый класс Черна, уравнения антиавтодуальности эквивалентны уравнению Эрмитовы уравнения Янга – Миллса на комплексном многообразии . В Переписка Кобаяши – Хитчина Доказано для алгебраических поверхностей Дональдсоном и, в общем, Уленбеком и Яу, утверждает, что решения уравнений HYM соответствуют стабильные голоморфные векторные расслоения. Эта работа дала альтернативное алгебраическое описание пространства модулей и его компактификации, поскольку пространство модулей полустабильный голоморфное векторное расслоение над комплексным многообразием является проективное разнообразие, и поэтому компактный. Это указывает на то, что одним из способов компактификации пространства модулей связностей является добавление связей, соответствующих полустабильным векторным расслоениям, так называемым почти эрмитовы связности Янга – Миллса.

Уравнения Зайберга – Виттена

Во время расследования суперсимметрия в четырех измерениях, Эдвард Виттен и Натан Зайберг открыл систему уравнений, которая теперь называется уравнениями Зайберга – Виттена, для связи и спинорное поле .[11] В этом случае четырехмерное многообразие должно допускать ВращениеC структура, определяющий основной SpinC пучок с детерминантным линейным пучком , и связанный спинорный пучок . Связь на , а спинорное поле . Уравнения Зайберга – Виттена имеют вид

Решения уравнений Зайберга – Виттена называются монополями. Пространство модулей решений уравнений Зайберга – Виттена, куда обозначает выбор структуры Spin, используется для вывода инвариантов Зайберга – Виттена. Уравнения Зайберга – Виттена имеют преимущество перед уравнениями антиавтодуальности в том, что сами уравнения могут быть слегка изменены, чтобы придать пространству модулей решений лучшие свойства. Для этого к первому уравнению добавляется произвольная самодуальная двойная форма. Для общего выбора метрики на нижележащем четырехмерном многообразии и выборе возмущающей двумерной формы пространство модулей решений представляет собой компактное гладкое многообразие. В хороших условиях (когда коллектор имеет простой тип) это пространство модулей нульмерно: конечный набор точек. Инвариант Зайберга – Виттена в этом случае - это просто количество точек в пространстве модулей. Инварианты Зайберга – Виттена могут использоваться для доказательства многих из тех же результатов, что и инварианты Дональдсона, но часто с более простыми доказательствами, которые применяются в более общем виде.

Калибровочная теория в высших измерениях

Эрмитовы уравнения Янга – Миллса

Конкретный класс связностей Янга – Миллса можно изучать над кэлеровыми многообразиями или Эрмитовы многообразия. Эрмитовы уравнения Янга – Миллса обобщают уравнения антиавтодуальности, возникающие в четырехмерной теории Янга – Миллса, на голоморфные векторные расслоения над эрмитовыми комплексными многообразиями в любой размерности. Если является голоморфным векторным расслоением над компактным кэлеровым многообразием , и это Эрмитская связь на относительно некоторой эрмитовой метрики . Эрмитовы уравнения Янга – Миллса имеют вид

куда - топологическая постоянная, зависящая от . Их можно рассматривать либо как уравнение для эрмитовой связи или для соответствующей эрмитовой метрики с ассоциированным Черн связь . В четырех измерениях уравнения HYM эквивалентны уравнениям ASD. В двух измерениях уравнения HYM соответствуют уравнениям Янга – Миллса, рассмотренным Атьей и Боттом. В Переписка Кобаяши – Хитчина утверждает, что решениям уравнений HYM соответствуют полистабильные голоморфные векторные расслоения. В случае компактных римановых поверхностей это теорема Нарасимхана и Сешадри, доказанная Дональдсоном. За алгебраические поверхности это было доказано Дональдсоном, и в целом это было доказано Карен Уленбек и Шинг-Тунг Яу.[13][14] Эта теорема обобщена в неабелевой теореме Ходжа Симпсона и фактически является ее частным случаем, когда поле Хиггса расслоения Хиггса установлен на ноль.[25]

Исключительные инстантоны голономии

Эффективность решений уравнений Янга – Миллса при определении инвариантов четырехмерных многообразий вызвала интерес к тому, что они могут помочь различать исключительные голономия коллекторы, такие как Коллекторы G2 в измерении 7 и Спиновые (7) многообразия в измерении 8, а также связанных структур, таких как Калаби-Яу 6-многообразия и почти кэлеровы многообразия.[35][36]

Теория струн

Новые теоретико-калибровочные проблемы возникают из теория суперструн модели. В таких моделях Вселенная 10-мерная, состоящая из четырех измерений регулярного пространства-времени и 6-мерного многообразия Калаби – Яу. В таких теориях поля, действующие на струны, живут на расслоениях над этими многомерными пространствами, и каждый интересуется калибровочно-теоретическими проблемами, связанными с ними. Например, предел естественных теорий поля в теории суперструн, когда радиус струны приближается к нулю (так называемый ограничение большого объема) на 6-мерном многообразии Калаби – Яу задается эрмитовыми уравнениями Янга – Миллса на этом многообразии. Уходя от предела большого объема, получаем деформированное эрмитово уравнение Янга – Миллса, который описывает уравнения движения для D-брана в B-модель теории суперструн. Зеркальная симметрия предсказывает, что решения этих уравнений должны соответствовать специальные лагранжевы подмногообразия зеркального дуального Калаби – Яу.[37]

Смотрите также

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

  1. ^ Ян, К. and Mills, R.L., 1954. Сохранение изотопического спина и изотопической калибровочной инвариантности. Физический обзор, 96 (1), стр. 191.
  2. ^ Атья М.Ф., Хитчин Н.Дж., Сингер И.М. Деформации инстантонов. Proceedings of the National Academy of Sciences, 74 (7), pp. 2662–2663.
  3. ^ Атья, М.Ф., Хитчин, Н.Дж., Зингер, И.М., 1978. Самодуальность в четырехмерной римановой геометрии. Труды Лондонского королевского общества. А. Математические и физические науки, 362 (1711), стр. 425–461.
  4. ^ Атья, М.Ф. и Уорд, Р.С., 1977. Инстантоны и алгебраическая геометрия. Сообщения по математической физике, 55 (2), стр. 117–124.
  5. ^ Атья М.Ф., Хитчин Н.Дж., Дринфельд В.Г. и Манин Ю.И. Конструирование инстантонов. Physics Letters A, 65 (3), стр. 185–187.
  6. ^ а б c Атья, М.Ф. и Ботт Р., 1983. Уравнения Янга-Миллса над римановыми поверхностями. Философские труды Лондонского королевского общества. Серия A, Математические и физические науки, 308 (1505), стр. 523–615.
  7. ^ Уленбек К.К., 1982. Связи с L p-границами кривизны. Сообщения по математической физике, 83 (1), стр. 31–42.
  8. ^ Дональдсон, С.К., 1983. Применение калибровочной теории к четырехмерной топологии. Журнал дифференциальной геометрии, 18 (2), стр. 279–315.
  9. ^ Дональдсон, С.К., 1990. Полиномиальные инварианты для гладких четырехмерных многообразий. Топология, 29 (3), стр. 257–315.
  10. ^ а б Виттен, Э., 1989. Квантовая теория поля и многочлен Джонса. Сообщения по математической физике, 121 (3), стр. 351–399.
  11. ^ а б Виттен, Эдвард (1994), "Монополи и четырехмерные многообразия.", Mathematical Research Letters, 1 (6): 769–796, arXiv: hep-th / 9411102, Bibcode: 1994MRLet ... 1..769W, doi: 10.4310 / MRL.1994.v1.n6.a13, MR 1306021, архивировано из оригинала 29.06.2013
  12. ^ Вафа К. и Виттен Э., 1994. Тест сильной связи S-дуальности. Препринт arXiv hep-th / 9408074.
  13. ^ а б Саймон К. Дональдсон, Антисамодуальные связности Янга-Миллса над комплексными алгебраическими поверхностями и стабильные векторные расслоения, Труды Лондонского математического общества (3) 50 (1985), 1-26.
  14. ^ а б Карен Уленбек и Шинг-Тунг Яу, О существовании связностей Эрмитова – Янга-Миллса в стабильных векторных расслоениях. Границы математических наук: 1985 (Нью-Йорк, 1985). Коммуникации на чистом и прикладном
  15. ^ Хитчин, Н.Дж., 1987. Уравнения автодуальности на римановой поверхности. Труды Лондонского математического общества, 3 (1), стр. 59–126.
  16. ^ Симпсон, Карлос Т. Расслоения Хиггса и локальные системы. Publications Mathématiques de l'IHÉS, том 75 (1992), стр. 5–95. http://www.numdam.org/item/PMIHES_1992__75__5_0/
  17. ^ а б Дональдсон, С.К., Дональдсон, С.К. и Кронхеймер, П.Б., 1990. Геометрия четырехмерных многообразий. Издательство Оксфордского университета.
  18. ^ Пескин, Михаил; Шредер, Дэниел (1995). Введение в квантовую теорию поля (переиздание). Westview Press. ISBN 978-0201503975.
  19. ^ Нарасимхан, М. и Сешадри, C.S., 1965. Стабильные и унитарные векторные расслоения на компактной римановой поверхности. Анналы математики, стр. 540–567.
  20. ^ Дональдсон, С.К., 1983. Новое доказательство теоремы Нарасимхана и Сешадри. Журнал дифференциальной геометрии, 18 (2), стр. 269–277.
  21. ^ Nahm, W., 1983. Все самодуальные мультимонополи для произвольных калибровочных групп. В «Структурные элементы в физике элементарных частиц и статистической механике» (стр. 301–310). Спрингер, Бостон, Массачусетс.
  22. ^ Хитчин, Нью-Джерси, 1983. О конструкции монополей. Сообщения по математической физике, 89 (2), стр. 145–190.
  23. ^ Дональдсон, С.К., 1984. Уравнения Нама и классификация монополей. Сообщения по математической физике, 96 (3), стр. 387–408.
  24. ^ Хитчин, Н.Дж., 1987. Уравнения автодуальности на римановой поверхности. Труды Лондонского математического общества, 3 (1), стр. 59–126.
  25. ^ а б Симпсон, К.Т., 1988. Построение вариаций структуры Ходжа с использованием теории Янга-Миллса и приложений к униформизации. Журнал Американского математического общества, 1 (4), стр. 867–918.
  26. ^ Симпсон, C.T., 1992. Расслоения Хиггса и локальные системы. Publications Mathématiques de l'IHÉS, 75, стр. 5–95.
  27. ^ Симпсон, К.Т., 1994. Модули представлений фундаментальной группы гладкого проективного многообразия I. Publications Mathématiques de l'IHÉS, 79, pp.47–129.
  28. ^ Симпсон, К. Модули представлений фундаментальной группы гладкого проективного многообразия. II. Publications Mathématiques de L’Institut des Hautes Scientifiques 80, 5–79 (1994). https://doi.org/10.1007/BF02698895
  29. ^ Симпсон, К., 1996. Фильтрация Ходжа на неабелевых когомологиях. Препринт arXiv alg-geom / 9604005.
  30. ^ Атья, Майкл; Хитчин, Найджел (1988), Геометрия и динамика магнитных монополей, Лекции М. Б. Портера, Princeton University Press, ISBN 978-0-691-08480-0, Руководство по ремонту 0934202
  31. ^ Хитчин, Н.Дж., 1990. Плоские связи и геометрическое квантование. Сообщения по математической физике, 131 (2), стр. 347–380.
  32. ^ Аксельрод, С., Делла Пьетра, С., Виттен, Э., 1991. Геометрическое квантование калибровочной теории Черна – Саймонса. представления, 34, с. 39.
  33. ^ Виттен, Э., 1991. Квантование калибровочной теории Черна-Саймонса с комплексной калибровочной группой. Сообщения по математической физике, 137 (1), стр. 29–66.
  34. ^ Флоер А., 1988. Инстантон-инвариант для трехмерных многообразий. Сообщения по математической физике, 118 (2), стр. 215–240.
  35. ^ С. К. Дональдсон и Р. П. Томас. Калибровочная теория в высших измерениях. В "Геометрической Вселенной" (Оксфорд, 1996), страницы 31–47. Oxford Univ. Press, Oxford, 1998.
  36. ^ Саймон Дональдсон и Эд Сигал. Калибровочная теория в высших измерениях, II. InSurveys по дифференциальной геометрии. Том XVI. Геометрия специальной голономии и смежных тем, том 16 Surv. Отличаются. Геом., Стр. 1–41. Int. Press, Сомервилль, Массачусетс, 2011.
  37. ^ Люнг, Н.С., Яу, С.Т. и Заслоу, Э., 2000. От специального лагранжиана к эрмитовому-Янга-Миллсу с помощью преобразования Фурье-Мукаи. arXiv препринт математика / 0005118.