В квантовой теории поля нелинейная σ- модель описывает скалярное поле Σ , которое принимает значения в нелинейном многообразии, называемом целевым многообразием T. Нелинейная σ -модель была введена Гелл-Манном и Леви (1960, раздел 6), которые назвали ее в честь поля, соответствующего бесспиновому мезону, называемому σ в их модели. [1] В этой статье в первую очередь рассматривается квантование нелинейной сигма-модели; пожалуйста, обратитесь к базовой статье о сигма-модели для получения общих определений и классических (неквантовых) формулировок и результатов.
Целевое многообразие T снабжено римановой метрикой g . Σ — дифференцируемое отображение из пространства Минковского M (или некоторого другого пространства) в T.
Плотность лагранжиана в современной хиральной форме [2] определяется выражением
где мы использовали метрическую сигнатуру + − − − , а частная производная ∂Σ задается сечением струйного расслоения T × M , а V — потенциал.
В координатной записи с координатами Σ a , a = 1, ..., n , где n — размерность T ,
В более чем двух измерениях нелинейные σ- модели содержат размерную константу связи и, таким образом, не являются пертурбативно перенормируемыми. Тем не менее, они демонстрируют нетривиальную ультрафиолетовую фиксированную точку группы перенормировки как в решеточной формулировке [3] [4] , так и в двойном расширении, первоначально предложенном Кеннетом Г. Уилсоном . [5]
В обоих подходах нетривиальная неподвижная точка ренормгруппы, найденная для O(n) -симметричной модели , как видно, просто описывает, в измерениях больше двух, критическую точку, разделяющую упорядоченную и неупорядоченную фазы. Кроме того, улучшенные предсказания решеточной или квантовой теории поля затем можно сравнить с лабораторными экспериментами по критическим явлениям , поскольку модель O(n) описывает физические ферромагнетики Гейзенберга и связанные с ними системы. Таким образом, приведенные выше результаты указывают на неспособность наивной теории возмущений правильно описать физическое поведение O(n) -симметричной модели выше двух измерений и на необходимость более сложных непертурбативных методов, таких как решеточная формулировка.
Это означает, что они могут возникнуть только как эффективные теории поля . Новая физика необходима в масштабе расстояний, где двухточечная связанная корреляционная функция имеет тот же порядок, что и кривизна целевого многообразия. Это называется UV-завершением теории. Существует специальный класс нелинейных σ-моделей с внутренней группой симметрии G *. Если G является группой Ли , а H является подгруппой Ли , то фактор-пространство G / H является многообразием (при соблюдении определенных технических ограничений, таких как H является замкнутым подмножеством), а также является однородным пространством G или, другими словами, нелинейной реализацией G . Во многих случаях G / H может быть снабжено римановой метрикой, которая является G -инвариантной. Это всегда так, например, если G компактно . Нелинейная σ-модель с G / H в качестве целевого многообразия с G -инвариантной римановой метрикой и нулевым потенциалом называется нелинейной σ -моделью фактор-пространства (или пространства смежных классов ) .
При вычислении интегралов по путям функциональная мера должна быть «взвешена» квадратным корнем из определителя g ,
Эта модель оказалась релевантной в теории струн, где двумерное многообразие называется мировым листом . Оценка его обобщенной перенормируемости была дана Дэниелом Фриданом . [6] Он показал, что теория допускает уравнение группы перенормировки в ведущем порядке теории возмущений в виде
R ab — тензор Риччи целевого многообразия.
Это представляет собой поток Риччи , подчиняющийся уравнениям поля Эйнштейна для целевого многообразия как неподвижной точки. Существование такой неподвижной точки имеет значение, поскольку оно гарантирует, в этом порядке теории возмущений, что конформная инвариантность не теряется из-за квантовых поправок, так что квантовая теория поля этой модели является разумной (перенормируемой).
Дальнейшее добавление нелинейных взаимодействий, представляющих аномалии аромата-хирального, приводит к модели Весса–Зумино–Виттена [7] , которая дополняет геометрию потока, включая кручение , сохраняя перенормируемость и также приводя к инфракрасной неподвижной точке за счет телепараллелизма («геометростазиса»). [8]
Известным примером, представляющим особый интерес из-за своих топологических свойств, является нелинейная σ -модель O(3) в 1 + 1 измерениях с плотностью Лагранжа
где n̂ =( n 1 , n 2 , n 3 ) с ограничением n̂ ⋅ n̂ =1 и μ =1,2.
Эта модель допускает топологические решения конечного действия, поскольку в бесконечном пространстве-времени плотность лагранжиана должна исчезать, что означает n̂ = константа на бесконечности. Поэтому в классе решений конечного действия можно идентифицировать точки на бесконечности как одну точку, т. е. пространство-время можно идентифицировать со сферой Римана .
Поскольку n̂ -поле также существует на сфере, то очевидно отображение S 2 → S 2 , решения которого классифицируются второй гомотопической группой 2-сферы: Эти решения называются O(3) инстантонами .
Эту модель можно также рассматривать в 1+2 измерениях, где топология теперь исходит только из пространственных срезов. Они моделируются как R^2 с точкой на бесконечности и, следовательно, имеют ту же топологию, что и инстантоны O(3) в 1+1 измерениях. Они называются сигма-модельными комками.