| Дискретная BF-теория
Диссертация
Автор: Мнёв, Павел Николаевич
Название: Дискретная BF-теория
Справка: Мнёв, Павел Николаевич. Дискретная BF-теория : диссертация кандидата физико-математических наук : 01.01.03 / Мнёв Павел Николаевич; [Место защиты: Мат. ин-т им. В.А. Стеклова РАН] Санкт-Петербург, 2008 215 c. : 61 08-1/77
Объем: 215 стр.
Информация: Санкт-Петербург, 2008
Содержание:
Основные обозначения
1 Введение
11 Основные результаты
12 План работы
13 Благодарности
2 Основные понятия формализма Баталина-Вилковыского
21 Алгебры Герштенхабера и алгебры Баталина-Вилковыского
22 Z-градуированные многообразия
23 /-"-многообразия
24 SP-многообразия
25 Интегралы по лагранжевым подмногообразиям
26 Мастер-уравнение 25 261 Калибровочные преобразования в БВ-формализме
3 Фиксация калибровки
31 Фиксация калибровки: метод Фаддеева-Попова
32 Фиксация калибровки: метод БРСТ
33 Фиксация калибровки: метод Баталина-Вилковыского
34 Топологическая -В F-те ори я
4 Абстрактная ВF- теория и индуцирование эффективного действия для неё
41 Абстрактная BF-теория
42 Эффективное БВ-действие: общая идея
43 Эффективное действие для абстрактной iJF-теории
44 Эффективное действие абстрактной BF-теории, как производящая функция для алгебраической структуры на подкомплексе
45 AFoo-теория
451 Эквивалентность gLoo-алгебр
452 Интерпретация эффективного действия через Loo-морфизм и кручение
5 Эффективная BF-теория на симплициальном комплексе
51 Формы Уитни
52 Оператор цепной гомотопии Дюпона
53 Симплициальное -BF-действие
54 Конструкция склейки для ^Loo-алгебр
541 Конструкция наложения граничного условия
542 Согласованность операций склеивания и индуцирования
55 Симплициальное BF-действие на отрезке
551 Явная проверка мастер-уравнения для
552 Индуцированная gLoo-структура на (^"(А1, б)
553 Примеры конструкций из раздела 54: склеивание двух отрезков по граничной точке, склеивание отрезка в окружность, отрывание граничной точки
56 Пертурбативные результаты для симплексов размерности D > 2 132 561 Явное вычисление супер-следа С а?,(*(*»)) 11а 2-симплексе в координатном представлении
6 Эффективная BF-теория на кубическом комплексе
61 Тензорное произведение данных индуцирования
62 Данные индуцирования для кубического комплекса, клеточное BF-действие на кубическом комплексе, клеточная локальность
63 Факторизация фейнмановских диаграмм, пертурбативный результат для
64 Примеры точно вычислимого клеточного BF-действия: тор, цилиндр, бутылка Клейна
641 Тор Т2 в симметричной калибровке
642 Top Tld в асимметричной калибровке
643 Каноническое преобразование, связывающее результаты для Sj2 в симметричной и асимметричной калибровках
644 Цилиндр / х S1, толстый тор I х TD
645 Бутылка Клейна
7 Эффективная BF-теория на когомологиях де Рама многообразия
71 Категория ретрактов
72 Специальные свойства эффективного SF-действия на когомологиях
721 Циклическая симметрия фейнмановских деревьев для $>н*(Мв) Для индуцирования Ходжа
722 Оценки на допустимые степени когомологий в фейнмановских диаграммах для Stf^p)
723 Эффективное действие на когомологиях произведения многообразий
73 Примеры
731 Окружность, тор, сфера
732 Бутылка Клейна 211 Список литературы
Основные обозначения
• М, N, К, Т и тд — Z-градуированные многообразия
• Fun(A^) — алгебра функций на М
• — сдвиг градуировки Z-градуированного векторного пространства При этом градуировка функций на V сдвигается на к (соответственно, градуировка самих векторов V — на —к)
• Q'(A4) — алгебра дифференциальных форм на Л4
• 5*, Л" — симметрическая и внешняя алгебра
• б или gh — грассманова степень (духовое число)
• Т[1]М, Т*[— \}ЛЛ — касательное и кокасательное расслоение со сдвинутой градуировкой слоя
• — каноническое спаривание между Z-градуированным векторным пространством V и двойственным V* Обычно предполагается, что первый аргумент — из V*, второй — из V
• и> — нечётная симплектическая форма (только в разделе 2; в дальнейшем обозначение ш закрепляется за супер-связностью)
• /х, р — мера на Z-градуированном многообразии и её плотность
• (za) — общая система координат
• (®г>&) — система координат Дарбу
• (Фа, Ф ) — (начиная с 33) система координат Дарбу, связанная с "физическим" лагранжевым подмногообразием (БРСТ-полей)
• •, • — анти-скобка
• А — БВ-лапласиан
• С — лагранжево подмногообразие
• Ф — фиксирующий калибровку фермион
• h — инфинитезимальный параметр (постоянная Планка)
• Sci, S — классическое действие и БВ-действие, Sk коэффициент при Пк й ("fc-петлевая часть S")
• ы,р — супер-поля BF-теории (начиная с 34)
• [•, •] — коммутатор, всегда понимаемый в супер-смысле
• в(х) — функция Хэвисайда: в(х) = 1 при х > 0 и в(х) = 0 при х < 0
• С™ = w! — биномиальный коэффициент
• 0 — алгебра Ли калибровочной группы G
• Е — клеточный комплекс (обычно, триангуляция многообразия или кубическое клеточное разбиение многообразия), С*(Е) — комплекс клеточных коцепей на S
• H\V) — когомологии Z-градуированного векторного пространства V, Н*(М) — когомологии де Рама многообразия М
• Ап — стандартный n-симплекс с барицентрическими координатами (to,, tn), to ----1- tn = 1, to > 0,, tn > 0, In — стандартный n-куб с декартовыми координатами (ti,, tn), 0 < t\ < 1,, 0 < tn < 1
• о- — симплекс триангуляции, ? — клетка кубического клеточного комплекса
• I или [0,1] — единичный отрезок, Sn — n-сфера, Тп — n-тор, KB — бутылка Клейна
• Вп — числа Бернулли, Bn(t) — полиномы Бернулли
• l — вложение, г — ретракция, К — цепная гомотопия
• R — генератор инфинитезимального канонического преобразования
• Q — когомологическое векторное поле (БРСТ-оператор)
• ^(п)>9(п) классические и квантовые n-арные операции
• Ха — форма Уитни, ассоциированная с симплексом су
Введение:
Данная работа содержит результаты, полученные автором в рамках работы над сим-плициальной программой А. Лосева для топологических квантовых теорий поля. Цель программы — эквивалентная замена топологической теории поля в лагранжевом формализме на симплициальный (или, в более общей ситуации, клеточный) вариант. При этом бесконечномерное пространство полей топологической теории заменяется на некоторое конечномерное пространство, связанное с триангуляцией (или с более общим клеточным разбиением). Действие топологической теории заменяется на некоторую функцию (симплициальное действие) на этом конечномерном пространстве. Наблюдаемые топологической теории также должны быть заменены на симплициальные аналоги. При этом замена топологической теории поля на её симплициальную версию должна быть эквивалентной, т.е. корреляторы наблюдаемых должны переходить в корреляторы соответствующих симплициальных наблюдаемых (при этом не предполагается переходить к пределу измельчения триангуляции: любая триангуляция должна давать точный ответ). Обладая симплициальным эквивалентом топологической теории поля, мы можем вычислять корреляторы последней с помощью конечномерных интегралов, а не континуальных.
Одной из целей симплициальной программы является построение симплициальной версии теории Черна-Саймонса (дающей инварианты узлов и 3-многообразий [30]) и пуассоновой сигма-модели (обслуживающей деформационное квантование Концевича [19], [10]). В данной работе рассматривается более простая (однако, тесно связанная с обеими перечисленными выше) модель топологической теории поля: BF-теория. Кроме того, существенное упрощение состоит в том, что мы не рассматриваем наблюдаемые. Роль корреляторов для нас играет "эффективное действие на когомологиях де Рама многообразия" — интересный топологический инвариант многообразия, который может быть вычислен из симплициальной версии BF-теории (раздел 7.1).
Классическое действие BF-теории на компактном ориентируемом многообразии М имеет вид где Fa = dA AAA есть кривизна связности А. Классические поля теории есть связность А в тривиальном главном G-расслоении на М и поле В — 0-значная (dim М — 2)-форма на М. Здесь G — компактная группа Ли (калибровочная группа) и д — её алгебра Ли. iJ-F-теория определена для многообразия М произвольной размерности, причём М разрешено иметь границу (переходя к канонической BF-теории, см. раздел 3.4, мы также разрешаем неориентируемые М; во избежание путаницы заметим, что слово "канонический" здесь не имеет отношения к каноническому квантованию). Классическое действие
В F-теории имеет довольно сложную (приводимую и открытую на втором этаже башни приводимости) калибровочную симметрию в размерностях > 4, и для решения задачи фиксации калибровки необходим формализм Баталина-Вилковыского. В формализме Баталина-Вилковыского (в дальнейшем — "БВ-формализм") классические поля А и В заменяются на БВ-супер-поля An В — две неоднородные g-значные дифференциальные формы на М (являющиеся удобным способом собрать вместе исходные классические поля, духи для всех этажей башни приводимости калибровочной симметрии, антиполя к классическим полям и антиполя к духам). В терминах супер-полей А, В мастер-действие (оно же БВ-действие), имеет вид
Симплициальный эквивалент .BF-теории естественно строить на уровне мастер-действия и пространства БВ-полей (а не классического действия и классического пространства полей). В качестве пространства (симнлициальных) БВ-полей для триангуляции Е многообразия М берётся некоторое конечномерное пространство строящееся по пространству С* (Е, д) д-значных клеточных коцепей на Е (которые играют роль симпли-циального аналога д-значных дифференциальных форм на М). Именно, строится как нечётное кокасательное расслоение, к сдвинутому по градуировке пространству клеточных коцепей: Т-= = Т*[—1](С"(Е, д)[1]). В качестве координат в базе используется симплициальное супер-поле — неоднородная g-значная клеточная коцепь, компонентам разных степеней которой приписаны духовые числа, так что выполнено deg gh = 1; в качестве координат в слое используется второе симплициальное супер-поле — неоднородная д*-значпая клеточная цепь, компонентам которой также приписаны духовые числа, так что выполнено deg gh = —2. Здесь ш-= — симплициальный аналог БВ-супер-поля А топологической BF-теории, ар= — симплициальный аналог Д,, т.е. БВ-супер-поля В топологической B-F-теории, с опущенным индексом по отношению к спариванию tr JM • А • (формулировка топологической -Si7-теории в терминах полей А, Ву с мастер-действием S = иногда называется "канонической" BF-теорией).
В качестве симплициального БВ-действия предлагается взять эффективное действие, индуцированное на Имеется ввиду, что мы разделяем бесконечномерное пространство БВ-полей топологической Б^-теории на М (точнее, её канонического варианта) на инфракрасную и ультрафиолетовую части причём инфракрасная часть есть Т1 = (ультрафиолетовая часть пространства J-m, тем самым, бесконечномерна). Эффективное действие 5= на инфракрасных полях следует определить с помощью континуального интеграла по ультрафиолетовым полям. Это стандартная конструкция квантовой теории поля, и ясно, в каком смысле она приводит к эквивалентному действию: квантовые флуктуации в ультрафиолетовых направлениях уже учтены в S-. Однако, поскольку мы имеем дело с калибровочной теорией в БВ-формализме, конструкция эффективного действия должна быть модифицирована (стандартная конструкция давала бы пертурбативно-неопределённый интеграл по J-"). Именно, следует выбрать лагранжево подмногообразие в пространстве ультрафиолетовых полей L С Т" и определять эффективное БВ-действие на Т' как континуальный интеграл по С., а не по всему !F". Интегралы такого типа называются БВ-интегралами и выбор С, есть выбор калибровки для БВ-интеграла. Конструкция эффективного БВ-действия обсуждается в разделе 4.2. Главные особенности этой конструкции: во-первых, она переводит решения мастер-уравнения в решения мастер уравнения на инфракрасных полях. Во-вторых, зависимость от выбора С контролируется, а именно, изменение ? приводит к каноническому преобразованию для эффективного действия. Для интересующего нас случая индуцирования эффективного действия для топологической -B-F-теории на пространстве инфракрасных БВ-полей предлагается строить лагранжево подмногообразие ? С Т" с помощью оператора цепной гомотопии стягивающей комплекс де Рама многообразия М на подкомплекс форм Уитни триангуляции Н, изоморфный комплексу клеточных коцепей на Е (разделы 4.3, 5.1, 5.2). Оператор К-= "склеивается" из некоторых явно заданных операторов (операторов Дюпона) для отдельных симплексов Е. Важным свойством эффективного действия для /ЗР-теории является то, что соответствующий БВ-интеграл раскладывается в ряд по диаграммам Фейнмана, содержащий только древесные и однопетлевые диаграммы (раздел 4.3, Теорема 5).
Конструкция К-= или, иначе, выбор калибровки для БВ-интеграла, определяющего индуцирование, приводят к другому важному свойству симплициального действия S-= — симнлициальной локальности (раздел 5.3, Теорема 7): S-= представляется в виде суммы вкладов отдельных симплексов триангуляции 5= = X^sE • При этом вклады Sa зависят только от сужения полей р= симплициальной /ЗР-теории на данный симплекс а. Вклады Sa можно восстановить, зная симплициальное действие для одного симплекса со стандартной триангуляцией для каждой размерности D > 0. Таким образом, благодаря симплициальной локальности, задача вычисления симплициального действия S-= для произвольной триангуляции З произвольного многообразия М сводится к серии универсальных вычислений: требуется вычислить симплициальное действие для стандартного симплекса AD в каждой размерности D > 0.
В разделе 6 мы рассматриваем конструкцию дискретной jBF-теории для кубического клеточного разбиения Н многообразия М (т.е. все клетки S — кубы разных размерностей и клеткам разрешено примыкать только по грани). Эта конструкция мало отличается от симгшициальной jBF-теории, в частности здесь выполнено свойство клеточной локальности для клеточного действия (раздел 6.2, Теорема 10), полностью аналогичное симплициальному случаю. Тем самым, вычисление 5= для произвольного кубического клеточного разбиения Н произвольного многообразия М сводится к серии универсальных вычислений клеточных действий Sjd для кубов ID в каждой размерности D > 0. Отличительной особенностью кубического случая от симплициального является свойство факторизации фейнмановских диаграмм для SIu (раздел 6.3, Теорема 11), существенно упрощающая пертурбативные вычисления для Sjd . Несмотря на это упрощение, мы, как и в случае -D-симплекса, не можем написать точный ответ для Sjd при D > 2. Однако, оказывается, что ограничения действия Sjd на некоторые специальные подпространства в пространстве клеточных полей (например, подпространство полей, удовлетворяющих условию периодичности) могут быть точно вычислены. Таким образом возникает набор примеров многообразий М со специальными клеточными разбиениями Е, для которых клеточное действие вычисляется в точности (например, тор, цилиндр, бутылка Клейна — см. раздел 6.4). Из этих примеров могут быть получены примеры многообразий, для которых точно вычисляется эффективное BF-действие на когомологиях (раздел 7.3). Также в разделе 7.2 мы доказываем некоторые свойства эффективного действия на когомологиях, позволяющие расширить класс примеров многообразий, для которых оно может быть точно вычислено.
Процедура индуцирования эффективного действия для BF-теории, частными случаями которой являются переход от топологической .В^-теории па многообразии М к дискретной теории па триангуляции (или кубическом клеточном разбиении) Е, и переход от дискретной теории на триангуляции к эффективной теории на когомологиях де Рама М, имеет также алгебраическую интерпретацию. Именно, действие топологической BF-теории может быть понято, как производящая функция для структуры DGLA (дифференциальной градуированной алгебры Ли) на пространстве Г2*(М, д) g-значных дифференциальных форм на М (раздел 4.1). Далее, симплициальное действие на триангуляции (или кубическом комплексе) Е можно интерпретировать, как производящую функцию для "gLoo''-структуры на пространстве С*(Е, д) g-значных клеточных коцепей на Е (раздел 4.4). Эта структура является некоторым естественным "однопетлевым" вариантом Loo-алгебры. При этом БВ-интеграл, определяющий переход от действия топологической 5Р-теории к действию можно понять как задающий "гомотопический перенос" алгебраической структуры с пространства дифференциальных форм д) на пространство коцепей С'(Е, д). Мы попытались прояснить эту идею в разделе 4.5. В этих терминах интерпретируется также переход от дискретной 5^-теории к эффективной теории на когомологиях, или от исходной топологической BF-теории к эффективной теории на когомологиях. Инвариант многообразия М, даваемый BF-теорией,— эффективное действие на когомологиях, рассматриваемое с точностью до канонических преобразований, может быть в алгебраической интерпретации понят как "гомотопический тип алгебры g-значных дифференциальных форм на М, как qLoo-алгебры" (см. разделы 4.5.1, 7.1).
|
