В теоретической физике теория струн типа II — это единый термин, который включает как струны типа IIA , так и струны типа IIB . Теория струн типа II объясняет две из пяти последовательных теорий суперструн в десяти измерениях. Обе теории имеют расширенную суперсимметрию , которая является максимальным количеством суперсимметрии — а именно 32 суперзаряда — в десяти измерениях. Обе теории основаны на ориентированных замкнутых струнах . На мировом листе они отличаются только выбором проекции GSO . Они были впервые обнаружены Майклом Грином и Джоном Генри Шварцем в 1982 году [1] , при этом терминология типа I и типа II была введена для классификации трех известных в то время теорий струн. [2]
При низких энергиях теория струн типа IIA описывается супергравитацией типа IIA в десяти измерениях, которая является нехиральной теорией (т.е. лево-правосимметричной) с суперсимметрией (1,1) d = 10; поэтому тот факт, что аномалии в этой теории сокращаются, тривиален.
В 1990-х годах Эдвард Виттен осознал (основываясь на предыдущих идеях Майкла Даффа , Пола Таунсенда и других), что предел теории струн типа IIA, в котором связь струн стремится к бесконечности, становится новой 11-мерной теорией, называемой М-теорией . [3] Следовательно, низкоэнергетическая теория супергравитации типа IIA также может быть выведена из уникальной максимальной теории супергравитации в 11 измерениях (низкоэнергетическая версия М-теории) посредством размерной редукции . [4] [5]
Содержание безмассового сектора теории (который важен в пределе низкой энергии) задается представлением SO(8), где — неприводимое векторное представление, а — неприводимые представления с нечетными и четными собственными значениями оператора фермионной четности, часто называемые коспинорными и спинорными представлениями. [6] [7] [8] Эти три представления обладают симметрией триальности , которая очевидна из их диаграммы Дынкина . Четыре сектора безмассового спектра после проекции GSO и разложения на неприводимые представления: [4] [5] [8]
где и обозначают секторы Рамона и Невё–Шварца соответственно. Числа обозначают размерность неприводимого представления и, что эквивалентно, число компонентов соответствующих полей. Различные полученные безмассовые поля — это гравитон с двумя суперпартнерами гравитино , который порождает локальную суперсимметрию пространства-времени, [5] скалярный дилатон с двумя суперпартнерами спинорами — дилатино , 2- форма калибровочного поля спина 2, часто называемая полем Кальба–Рамонда , 1-форма и 3-форма . Поскольку калибровочные поля -формы естественным образом связываются с протяженными объектами с размерным мировым объемом, теория струн типа IIA естественным образом включает различные протяженные объекты, такие как браны D0, D2, D4 и D6 (используя дуальность Ходжа ) среди D-бран (которые заряжены), а также струна F1 и брана NS5 среди других объектов. [5] [9] [8]
Математическая трактовка теории струн типа IIA относится к симплектической топологии и алгебраической геометрии , в частности к инвариантам Громова–Виттена .
При низких энергиях теория струн типа IIB описывается супергравитацией типа IIB в десяти измерениях, которая является киральной теорией (лево-правоасимметричной) с суперсимметрией (2,0) d = 10; поэтому тот факт, что аномалии в этой теории сокращаются, нетривиален.
В 1990-х годах было установлено, что теория струн типа IIB с константой связи струн g эквивалентна той же теории с константой связи 1/g . Эта эквивалентность известна как S-дуальность .
Ориентифолд теории струн типа IIB приводит к теории струн типа I.
Математическая трактовка теории струн типа IIB относится к алгебраической геометрии, в частности к теории деформации сложных структур, первоначально изученной Кунихико Кодайрой и Дональдом К. Спенсером .
В 1997 году Хуан Малдасена привел некоторые аргументы, указывающие на то, что теория струн типа IIB эквивалентна N = 4 суперсимметричной теории Янга–Миллса в пределе 'т Хоофта ; это было первое предположение относительно соответствия AdS/CFT . [10]
В конце 1980-х годов было установлено, что теория струн типа IIA связана с теорией струн типа IIB посредством T-дуальности .