Топологическая теория струн - Википедия - Topological string theory

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

Обзор

Существует две основных версии топологической теории струн: топологическая A-модель и топологическая B-модель. Результаты расчетов в топологической теории струн в общем кодируют все голоморфный величины в рамках полной теории струн, значения которых защищены пространство-время суперсимметрия. Различные вычисления в топологической теории струн тесно связаны с Теория Черна – Саймонса, Инварианты Громова – Виттена., зеркальная симметрия, геометрическая программа Ленглендса, и многие другие темы.

В операторы в топологической теории струн представляют собой алгебра операторов в полной теории струн, сохраняющих определенное количество[требуется разъяснение ] из суперсимметрия. Топологическая теория струн получается топологический поворот из мировой лист описание обычной теории струн: операторам заданы разные спины. Операция полностью аналогична построению топологическая теория поля что является связанной концепцией. Следовательно, в топологической теории струн нет локальных степеней свободы.

Допустимые интервалы времени

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

Только специальные пространства-времени допускают топологические цепочки. Классически нужно выбрать пространство-время так, чтобы теория учитывала дополнительную пару суперсимметрий[Почему? ], делая пространство-время N = (2,2) сигма-модель[требуется дальнейшее объяснение ]. Частным случаем этого является случай, когда пространство-время Кэлерово многообразие и H-поток тождественно равна нулю. Обобщенные кэлеровы многообразия может иметь нетривиальный H-поток.

Топологический поворот

Обычные строки на специальном фоне никогда не бывают топологическими[Почему? ]. Чтобы сделать эти строки топологичными, нужно изменить сигма-модель с помощью процедуры, называемой топологический поворот который был изобретен Эдвард Виттен в 1988 году. Центральное наблюдение[требуется разъяснение ] это что[который? ] теории имеют две U (1) -симметрии, известные как R-симметрии, а Симметрия Лоренца может быть изменен[требуется разъяснение ] путем смешивания вращения и R-симметрии. Можно использовать любую из двух R-симметрий, что приводит к двум различным теориям, называемым A-моделью и B-моделью. После этого поворота действие теории БРСТ точный[требуется дальнейшее объяснение ], и в результате теория не имеет динамики. Вместо этого все наблюдаемые зависят от топологии конфигурации. Такие теории известны как топологические теории.

Классически такая процедура возможна всегда.[требуется дальнейшее объяснение ]

Квантово-механически симметрии U (1) могут быть аномальный, делая поворот невозможным. Например, в случае Келера с ЧАС = 0[требуется разъяснение ] поворот, ведущий к A-модели, всегда возможен, но поворот, ведущий к B-модели, возможен только при первом Черн класс пространства-времени обращается в нуль, подразумевая, что пространство-время Калаби-Яу[требуется разъяснение ]. В более общем плане (2,2) теории имеют две сложные конструкции а модель B существует, когда первые классы Черна связанные пакеты Сумма равна нулю, тогда как модель A существует, когда разность классов Черна равна нулю. В случае Кэлера две комплексные структуры одинаковы, поэтому разница всегда равна нулю, поэтому всегда существует модель A.

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

Объекты

Модель

Топологическая A-модель имеет целевое пространство которое является 6-мерным обобщенным кэлеровым пространством-временем. В случае, когда пространство-время является кэлеровым, теория описывает два объекта. Существуют фундаментальные струны, которые охватывают две голоморфные кривые реальной размерности. Амплитуды рассеяния этих струн зависят только от кэлеровой формы пространства-времени, а не от сложной структуры. Классически эти корреляционные функции определяются кольцо когомологий. Есть квантово-механические Немедленное включение эффекты, которые исправляют их и дают Инварианты Громова – Виттена., которые измеряют чашечное произведение в деформированном кольце когомологий, называемом квантовые когомологии. Теория поля струн замкнутых струн A-модели известна как Кэлерова гравитация, и был представлен Михаил Бершадский и Владимир Садов в Теория кэлеровской гравитации.

Кроме того, существуют D2-браны, которые оборачивают Лагранжевы подмногообразия пространства-времени. Это подмногообразия, размерность которых вдвое меньше размера пространства-времени, и такие, что обратный откат кэлеровой формы на подмногообразие исчезает. Теория мирового объема на стеке из N D2-бран - это теория поля струн открытых струн A-модели, которая является U (N) Теория Черна – Саймонса.

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

Также может быть коизотропный браны различных размеров, кроме половинных размеров Лагранжевы подмногообразия. Впервые они были введены Антон Капустин и Дмитрий Орлов в Замечания об А-бранах, зеркальной симметрии и категории Фукая

B-модель

B-модель также содержит фундаментальные струны, но их амплитуды рассеяния полностью зависят от сложная структура и не зависят от кэлеровой структуры. В частности, они нечувствительны к инстантонным эффектам мирового листа и поэтому часто могут быть точно рассчитаны. Зеркальная симметрия затем связывает их с амплитудами модели A, что позволяет вычислить инварианты Громова – Виттена. Теория поля струн замкнутых струн B-модели известна как Теория гравитации Кодаира – Спенсера и был разработан Михаил Бершадский, Серджио Чекотти, Хироси Оогури и Джумрун Вафа в Теория гравитации Кодаира – Спенсера и точные результаты для амплитуд квантовых струн.

B-модель также имеет D (-1), D1, D3 и D5-браны, которые охватывают голоморфные 0, 2, 4 и 6-подмногообразия соответственно. 6-подмногообразие - это компонент связности пространства-времени. Теория D5-браны известна как голоморфная теория Черна – Саймонса. В Плотность лагранжиана это клин обычной теории Черна – Саймонса с голоморфной (3,0) -формой, существующей в случае Калаби-Яу. Лагранжианы плотности теорий на бранах меньшей размерности могут быть получены из голоморфной теории Черна – Саймонса с помощью размерных редукций.

Топологическая M-теория

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

В частности, D2-браны A-модели поднимаются до точек, в которых круговое расслоение вырождается, а точнее Калуца ​​– Кляйн монополи. Фундаментальные струны A-модели поднимаются до мембран, называемых M2-бранами в топологической M-теории.

Один из частных случаев, вызывающих большой интерес, - топологическая M-теория в пространстве с G2 голономия и А-модель на Калаби-Яу. В этом случае M2-браны обертывают ассоциативные 3-циклы. Строго говоря, гипотеза топологической M-теории была сделана только в этом контексте, поскольку в этом случае функции, введенные Найджел Хитчин в Геометрия трех форм в шести и семи измерениях и Стабильные формы и специальные показатели обеспечивают кандидату низкоэнергетическое эффективное действие.

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

Наблюдаемые

Топологический поворот

Теория двумерного мирового листа - это N = (2,2) суперсимметричный сигма модель, суперсимметрия (2,2) означает, что фермионные генераторы алгебра суперсимметрии, называемые наддувом, могут быть собраны в единый Спинор Дирака, состоящий из двух Спиноры Майораны – Вейля каждой хиральности. Эта сигма-модель топологически закручена, что означает, что Симметрия Лоренца генераторы, которые появляются в алгебре суперсимметрии, одновременно вращают физическое пространство-время, а также вращают фермионные направления посредством действия одного из R-симметрии. Группа R-симметрии двумерного N = (2,2) теория поля - это U (1) × U (1), скручивания на два разных фактора приводят к моделям A и B соответственно. Топологическая закрученная конструкция топологических теорий струн была введена Эдвард Виттен в его статье 1988 года.[1]

От чего зависят корреляторы?

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

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

Дуальности

Двойственности между TST

Вышеупомянутые теории связаны с рядом двойственности. А-модель и В-модель по две зеркальные коллекторы связаны зеркальная симметрия, который был описан как Т-дуальность на трехмерном торе. Предполагается, что A-модель и B-модель на одном и том же многообразии связаны соотношением S-дуальность, что предполагает существование нескольких новых бран, названных NS бранами по аналогии с NS5-брана, которые охватывают те же циклы, что и исходные браны, но в противоположной теории. Также комбинация A-модели и суммы B-модели и сопряженной с ней связаны с топологической M-теорией своего рода уменьшение размеров. Здесь степени свободы A-модели и B-модели, по-видимому, не наблюдаются одновременно, а скорее имеют отношение, подобное соотношению между положением и импульс в квантовая механика.

Голоморфная аномалия

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

Геометрические переходы

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

Возможно, первая такая двойственность - это двойственность Гопакумар-Вафа, которую ввел Раджеш Гопакумар и Джумрун Вафа в О соответствии калибровочной теории и геометрии. Это связывает стопку из N D6-бран на 3-сфере в A-модели на деформированном конифолд к закрытой теории струн A-модели на разрешенном конифолде с Поле B равна N, умноженному на константу связи струн. Открытые струны в модели A описываются теорией U (N) Черна – Саймонса, в то время как теория замкнутых струн в A-модели описывается кэлеровской гравитацией.

Хотя конифолд называется разрешенным, площадь взорванной двумерной сферы равна нулю, отличным от нуля является только B-поле, которое часто считается сложной частью области. Фактически, поскольку теория Черна – Саймонса является топологической, можно сузить объем деформированной трехмерной сферы до нуля и достичь той же геометрии, что и в дуальной теории.

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

Двойственности с другими теориями

Плавление кристаллов, квантовая пена и U (1) калибровочная теория

В газете Квантовые кристаллы Калаби-Яу и классические кристаллы, Андрей Окуньков, Николай Решетихин и Джумрун Вафа предположил, что квантовая A-модель двойственна классическому плавлению кристалл в температура равна обратной величине константы связи струны. Эта гипотеза была интерпретирована в Квантовая пена и топологические струны, к Амер Икбал, Никита Некрасов, Андрей Окуньков и Джумрун Вафа. Они утверждают, что статистическая сумма по конфигурациям плавящихся кристаллов эквивалентна интегралу по путям по изменениям в пространстве-времени. топология поддерживается в небольших регионах с площадь порядка произведения константы связи струны и α '.

Такие конфигурации с пространством-временем, заполненным множеством маленьких пузырей, восходят к Джон Арчибальд Уиллер в 1964 году, но редко появлялся в теория струн поскольку это общеизвестно сложно уточнить. Однако в этой двойственности авторы могут представить динамику квантовой пены на знакомом языке топологически скрученной U (1) калибровочная теория, напряженность поля которого линейно связана с кэлеровой формой A-модели. В частности, это предполагает, что кэлерова форма A-модели должна быть квантована.

Приложения

Амплитуды топологической теории струн A-модели используются для вычисления предпотенциалы в N = 2 суперсимметричные калибровочные теории в четырех и пяти измерениях. Амплитуды топологической B-модели с потоками и / или бранами используются для вычисления суперпотенциалы в N = 1 суперсимметричный калибровочные теории в четырех измерениях. Пертурбативные расчеты модели A также учитывают BPS-состояния вращающихся черных дыр в пяти измерениях.

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

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

  1. ^ «Топологические сигма-модели». Commun. Математика. Phys. Февраль 1988 г.