В книге «Квантовые поля и струна, курс для математиков» в лекции по теории струн (том II) описано действие Полякова:
Здесь это карта с поверхности в пространство-время, является метрикой пространства-времени, и является показателем ( не индуцированная метрика на изображении ).
Однако при квантовании они дают интеграл по путям
т.е. нет интеграции . Это опечатка или метрику пространства-времени следует брать фиксированной?
Да, в рамках нелинейной сигма-модели для строки с действием мирового листа (WS) поля целевого пространства (TS) рассматриваются как нединамические фоновые поля, которые играют роль констант связи для теории WS.
Однако, в принципе, полная теория квантовой гравитации должна также включать интеграцию вне оболочки по геометриям и топологиям TS (и устранение избыточности). На практике обычно полагаются на формулировку теории струн на оболочке. Условия обращения в нуль бета-функций (для сохранения вейлевской инвариантности) дают обобщенные EFE s. Часто можно реализовать эти уравнения бета-функции через действие TS .
То, что я собираюсь здесь описать, следует воспринимать с долей скептицизма, поскольку вывод, который я имею в виду, не так полон, как мне бы хотелось.
Фактически, в дополнение к обычным ответам из учебника, данным @Qmechanic и @Sparticle, на самом деле есть смысл, в котором интеграл по путям, который вы записали, уже содержит интеграл по путям по метрикам целевого пространства, : он скрыт в сумме по петлям (под которыми я подразумеваю строковые петли , а не петли).
В частности, если суммировать струнные циклы (при определенных приближениях, в частности с учетом некоторого пересчета), можно показать, что даже интеграл по путям в плоском пространстве-времени в конечном итоге равен интегралу по путям по полям целевого пространства ( плюс массивные поля):
Вот почему теория струн не зависит от фона , но это не очевидно, поскольку нужно суммировать циклы (что сложно). Конечно, все это согласуется с ответами из учебника (данными, например, @Qmechanic и @Sparticle), потому что эти аргументы являются пертурбативными (и обычно древовидными с точки зрения циклов струн, но квантовыми в терминах). ). Если включить струнные циклы (даже один цикл), сразу становится очевидным, что циклы смещают фоновые поля — это механизм Фишлера-Сасскинда, известный с 80-х годов — так что (*) также вполне естественно с этой точки зрения. Кстати, именно так было обнаружено, что бозонные струны естественным образом хотят жить в де Ситтере (по крайней мере, это дает первая петлевая поправка и игнорирование тахиона).
Следует также подчеркнуть, что в основе вывода (*) лежат предположения, например, неизвестно, можно ли вывести его, не нарушая перенормируемости. Я пока оставлю это на этом.
(В идеале выбор метрики будет представлять собой глобальный минимум полного квантового эффективного действия, , но это сложно, поскольку в конечном итоге приходится распутывать интеграл по путям, который определяется итеративно в терминах бесконечного числа других интегралов по путям (с вставками внеоболочечных вершинных операторов) - так что это не то, что можно было бы дать своему аспиранту в качестве домашнего задания проблема. Обычно это делают в теории возмущений, где вещи становятся управляемыми (хотя и немного запутанными), но чаще просто работают с низкоэнергетическим эффективным действием. Тем не менее, в принципе, даже если выбрать метрику, не представляющую такого минимума, петли будут индуцировать головастиков, отмена которых исправит неправильный выбор метрики. . В этом смысле теория струн в плоском пространстве уже содержит все, по крайней мере, в моем понимании.)
Это не опечатка. Теория струн, описываемая действием Полякова, формулируется пертурбативно вокруг фиксированной фоновой метрики целевого пространства . В этом смысле теория струн (в настоящее время) не сформулирована явно независимо от фона, в отличие от общей теории относительности. Это не означает, что пространство-время в теории струн не является динамическим.
Qмеханик