Модель BF или теория BF представляет собой топологическое поле , которое при квантовании становится топологической квантовой теорией поля . BF обозначает фоновое поле B и F, как можно увидеть ниже, также являются переменными, появляющимися в лагранжиане теории, что полезно в качестве мнемонического приема.
У нас есть 4-мерное дифференцируемое многообразие M, калибровочная группа G, которая в качестве «динамических» полей имеет 2-форму B, принимающую значения в присоединенном представлении G, и форму связности A для G.
Действие задается
где K — инвариантная невырожденная билинейная форма над (если G полупрост , то подойдет форма Киллинга ), а F — форма кривизны
Это действие диффеоморфно инвариантно и калибровочно инвариантно . Его уравнения Эйлера–Лагранжа имеют вид
и
На самом деле, всегда можно исключить любые локальные степени свободы, поэтому это называется топологической теорией поля.
Однако если M топологически нетривиально, A и B могут иметь нетривиальные решения глобально.
Фактически, теория BF может быть использована для формулировки дискретной калибровочной теории. Можно добавить дополнительные термины поворота, допускаемые теорией групповых когомологий, такие как топологическая калибровочная теория Дейкграафа – Виттена . [1] Существует много видов модифицированных теорий BF как топологических теорий поля , которые приводят к инвариантам связей в 3 измерениях, 4 измерениях и других общих измерениях. [2]