Является ли теория струн локальной?

Под локальностью я подразумеваю что-то вроде аксиом Атьи-Сигала для римановых кобордизмов (см., например, http://ncatlab.org/nlab/show/FQFT ). Т.е. любой (пространственноподобной) гиперповерхности в мишени мы связываем гильбертово пространство, а любому кобордизму — S-матрицу.

Я знаком с рецептом S-матрицы для цели р н а гиперповерхности — асимптотические бесконечности времени. Можно ли распространить это на любой кобордизм?

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

Я считаю, что это то, о чем теория струнного поля, но почему можно ожидать локальности с точки зрения (пертурбативной) теории струн?

Вы понимаете, что ваше определение местности нестандартно. (См., например, определение 5.0.1 книги Костелло «Перенормировка и эффективная теория поля» для более стандартного определения.) Кроме того, аксиомы Атьи-Сигала ничего не говорят об S-матрице. (См., например, статью Тураева и Бланше в «Энциклопедии математической физики», Elsevier для Axiomatic TQFT.)
@KellyDavis, у меня сложилось впечатление, что функтор TQFT связывает оператор эволюции во времени с (римановым) кобордизмом, а затем его можно соединить с входными / выходными состояниями для вычисления S-матрицы. Кроме того, определение Костелло не применимо к теории струн напрямую, оно лишь говорит что-то о местоположении (сигма-модели) на мировом листе, в то время как меня интересует местонахождение на цели.
Ты должен быть осторожен. Аксиоматическая TQFT не требует наличия метрики. Определение S-матрицы требует некоторого понятия «бесконечного прошлого» и «бесконечного будущего», для определения которых требуется метрика. Кроме того, S-матрица унитарна. Не все аксиоматические TQFT унитарны. Определение Костелло действительно применимо к теории струн, мировому листу и пространству-времени, подумайте об уравнениях, налагаемых на поля пространства-времени конформной инвариантностью. (См. GSW, раздел 3.4)
@KellyDavis: Павел совершенно прав, представления кобордизма служат не только для аксиоматизации TQFT, но и для QFT с метрической структурой, особенно CFT, как впервые подчеркнул Грэм Сигал. Это уже вполне стандартно. Ссылки находятся здесь: ncatlab.org/nlab/show/conformal+field+theory#FQFTReferences . Морфизм, связанный такой метрической КТП с кобордизмом, действительно эффективно является S-матрицей. Вопрос о том, подпадает ли струнная теория поля под этот шаблон, вполне резонен (даже если ответ может быть: нет, не подпадает).
@Urs Пожалуйста, прочитайте, что я сказал. Я не говорил, что спрашивать, есть ли в теории струн пространственно-временную S-матрицу, неразумно. Это разумно, фактически теория струн была, по сути, только теорией S-матрицы пространства-времени в течение первых 25 или около того лет своего существования. Однако я сказал, что определение «местного», данное Павлом, не является стандартным определением «местного». Таким образом, если бы его вопрос нашел ответ, ответ не обязательно имел бы отношение к вопросу о том, локальна ли теория струн.

Ответы (1)

Теория струн в том виде, в каком мы ее знаем, допускает в качестве наблюдаемой только S-матрицу. По своему определению S-матрица является нелокальным объектом, она сообщает вам об амплитудах перехода между асимптотическими состояниями в прошлом и будущем бесконечности. Вы даже не можете задавать локальные вопросы в пространстве-времени, если только вы каким-то образом не расширите формализм (что является целью струнной теории поля, подробнее об этом ниже).

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

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

  1. Для локальной КТП S-матрица подчиняется определенным свойствам, вытекающим из локальности. Оказывается, теория струн подчиняется и им. Это, конечно, не означает, строго говоря, что теория струн локальна, но указывает на то, что она не является явно нелокальной.

  2. В расширении формализма, подобного открытому SFT, взаимодействия в некотором смысле локальны на мировом листе — струны взаимодействуют только тогда, когда они касаются пространства-времени. Мнения по поводу того, что это означает, различаются, FWIW, на мой взгляд, SFT по своей сути пертурбативен, и для пертурбативной гравитации, возможно, неудивительно, что можно создавать квазилокализованные зонды. В любом случае, это не (я так не думаю) утверждение о калибровочном инварианте, поэтому его нельзя сделать настолько точным, как хотелось бы.

Что касается вашего конкретного вопроса: в теории пертурбативных струн только после интегрирования по конформным структурам у вас есть шанс получить объекты, которые имеют физический смысл, которые являются элементами S-матрицы. Если вы зафиксируете конформную структуру, вы получите объекты, которые не могут быть интерпретированы физически (например, у них есть «призраки», состояния с отрицательной нормой в гильбертовом пространстве).

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

Спасибо! Не могли бы вы немного объяснить, что вы имеете в виду под своим последним предложением?
Добавил комментарий, надеюсь поможет.
Очевидное предостережение: я физик, поэтому, когда я упоминаю локальность, я имею в виду обычное использование этого термина физиками-теоретиками, которое вполне может отличаться от того, что подразумевается под этим термином в другом контексте, например, в аксиоматической топологической КТП.
Еще один вопрос. Есть ли у нас гильбертово пространство только для чего-то вроде R^9, или его можно вычислить, скажем, для T^9? Точно так же существует ли «S-матрица» для пространства-времени T^9 x [0,1]?
Вам нужна асимптотическая бесконечность, чтобы определить S-матрицу, поэтому, если пространство компактно, асимптотическое гильбертово пространство не определено. Каковы наблюдаемые ST в такой ситуации, является тонким вопросом. Конечно, вы можете частично скомактифицировать, чтобы оставить место для некоторой нулевой бесконечности.