Пространство модулей компактификаций тора

Я пытаюсь понять некоторые общие утверждения, сделанные в конспектах лекций Вафы, озаглавленных « Лекции о струнах и дуальностях » относительно тороидальных компактификаций ( arXiv:hep-th/9702201 ).

Вопрос 1. Сначала рассмотрим гетеротическую (D = 10) бозонную струну, компактифицированную на торе Т д . На стр. 12 указано, что пространство неэквивалентных выборов левого и правого импульсов ( п л , п р ) дается смежным классом

С О ( д , д ) С О ( д ) × С О ( д ) × О ( д , д ; Z )

Я понимаю, что это в основном С О ( д , д ) С О ( д ) × С О ( д ) далее модифицируется дискретной группой T-двойственности О ( д , д ; Z ) что соответствует бустингам Лоренца с целыми коэффициентами. Однако в основном тексте указано, что О ( д ) × О ( д ) преобразования, не изменяющие состояния строки. Строго говоря, разве мы не должны заниматься моддингом? С О ( д , д ) к О ( д ) × О ( д ) вместо С О ( д ) × С О ( д ) ?

Вопрос 2 : Теперь рассмотрим Н "=" 2 теории о Т д .

Следующее утверждение появляется на странице 13 о теориях типа IIA и типа IIB:

Для более общей компактификации на Т д часть группы T-двойственности, которая не меняет местами две теории, равна С О ( д , д ; Z ) ; элементы Т-двойственности, находящиеся в О ( д , д ; Z ) но не в С О ( д , д ; Z ) поменяет местами IIA и IIB и, таким образом, не будет симметрией ни одного из них.

Значит ли это, что группа T-двойственности состоит из преобразований, которые переводят IIA в IIB (и наоборот), а также из преобразований, которые не переводят IIA в IIB и что первые соответствуют О ( д , д ; Z ) С О ( д , д ; Z ) ? Поэтому, когда в учебниках делаются такие заявления, как я я А я я Б под Т-двойственностью они действительно подразумевают под этим теоретико-множественное вычитание?

Вопрос 3 : Этот вопрос, несколько смущающий, больше касается обозначений, чем физики. На странице 13 тех же конспектов лекций появляется следующий абзац:

При компактификации струн типа II на торах скаляры, параметризованные смежным классом С О ( д , д ) / С О ( д ) × С О ( д ) соответствуют выборам метрики тора ( д ( д + 1 ) / 2 степеней свободы) и антисимметричное поле Б я Дж на торе( д ( д ) 1 / 2 степени свободы).

Здесь автор имеет в виду С О ( д , д ) С О ( д ) × С О ( д ) или он имеет в виду ( С О ( д , д ) / С О ( д ) ) × С О ( д ) , т.е. С О ( д , д ) С О ( д ) × С О ( д ) ? Это две совершенно разные вещи.

На самом деле, он часто ссылается на такие вещи, как С О ( 5 , 5 ) / С О ( 5 ) × С О ( 5 ) или С О ( 5 , 5 ) / С О ( 5 ) × С О ( 5 ) × С О ( 5 , 5 ; Z ) . Каков порядок, в котором они должны быть прочитаны/интерпретированы?

В ответ на вопрос 2: О ( д , д ; Z ) С О ( д , д ; Z ) не имеет особого смысла (поскольку вы не указали, в каком смысле вы считаете С О как подмножество О , т.е. как он встроен). Соответствующие понятия здесь — это подгруппы, а не подмножества; О Z 2 С О (изометрии сфер порождаются вращением плюс отражение), и ваш вопрос правильно сформулирован в терминах этих подгрупп. Я предполагаю, что это переводится как вопрос о том, дет "=" 1 элементы - это то, что обменивает IIA и IIB, а дет "=" 1 элементы сохраняют его.
В ответ на ваш последний вопрос кажется, что в данном контексте С О / С О × С О следует интерпретировать как С О / ( С О × С О ) .
Спасибо @Danu за ваш ответ. Разве не естественно думать, что ортогональная группа содержит специальную ортогональную группу как подгруппу? Разве не в том же смысле подразумевается в этой статье, когда он говорит: «Элементы Т-дуальности, которые находятся в О ( д , д ; ) но не в С О ( д , д ; ) обменяет ИИС и МИБ»?
Смысл, подразумеваемый в статье, — тот, который я обрисовал выше — из приведенной мной декомпозиции вы можете видеть, что внутри O есть две копии SO; неестественно исключать одно из них, потому что взятие дополнений неестественно в контексте группы. Элементы О, не являющиеся элементами SO, — это в точности те, у которых дет "=" 1 , и это более естественный способ выразить свое намерение.

Ответы (1)

Что касается вопроса 1, вы говорите о бозонных струнах, а не о гетеротических, поскольку для гетеротических струн лево- и праводвижущие моды компактифицируются на Т д и Т 16 + д (или наоборот). Теперь для бозонных струн на Т д пространство модулей должно быть

М "=" О ( д , д ; р ) О ( д ; р ) × О ( д ; р ) × О ( д , д ; Z )
поскольку условие четности инвариантно относительно О ( д , д ; р ) преобразования и массовая формула
м 2 "=" 2 ( п л 2 + п р 2 ) + . . .
инвариантен относительно О ( д ; р ) × О ( д ; р ) преобразования (см. учебник Becker, Becker, Schwarz, стр. 270 и 283).

Вопрос 2. Как уже ответил Дану, в суперструнах типа II преобразования О ( д , д ; Z ) с определителем 1 переносит вас между IIA и IIB (поскольку они изменяют относительную хиральность фермионов), тогда как д е т "=" + 1 преобразования являются симметриями внутри IIA и IIB отдельно (они не меняют хиральности). Таким образом, пространства модулей обеих теорий типа II (компактифицированных на торе) совпадают.

Что касается вопроса 3, верно частное по произведению.

PS Вы, наверное, уже знаете ответы, но я все равно оставлю это здесь.