Суперпространство — это координатное пространство теории, демонстрирующей суперсимметрию . В такой формулировке, наряду с обычными пространственными измерениями x , y , z , ..., существуют также «антикоммутирующие» измерения, координаты которых обозначены числами Грассмана , а не действительными числами. Обычные пространственные измерения соответствуют бозонным степеням свободы, антикоммутирующие — фермионным степеням свободы.
Слово «суперпространство» впервые было использовано Джоном Уилером в несвязанном смысле для описания конфигурационного пространства общей теории относительности ; например, такое использование можно увидеть в его учебнике 1973 года «Гравитация » .
Существует несколько похожих, но не эквивалентных определений суперпространства, которые использовались и продолжают использоваться в математической и физической литературе. Одно из таких использований — как синоним суперпространства Минковского . [1] В этом случае берется обычное пространство Минковского и расширяется с помощью антикоммутирующих фермионных степеней свободы, которые считаются антикоммутирующими спинорами Вейля из алгебры Клиффорда, связанной с группой Лоренца . Эквивалентно, суперпространство Минковского можно понимать как фактор супералгебры Пуанкаре по модулю алгебры группы Лоренца. Типичное обозначение координат в таком пространстве — с верхней чертой, которая выдает, что суперпространство Минковского является предполагаемым пространством.
Суперпространство также обычно используется как синоним супервекторного пространства . Оно считается обычным векторным пространством вместе с дополнительными координатами, взятыми из алгебры Грассмана , т.е. координатными направлениями, которые являются числами Грассмана . Существует несколько соглашений для построения супервекторного пространства, используемых в использовании; два из них описаны Роджерсом [2] и ДеВиттом. [3]
Третье использование термина «суперпространство» — как синоним супермногообразия : суперсимметричное обобщение многообразия . Обратите внимание, что как суперпространства Минковского, так и супервекторные пространства могут рассматриваться как частные случаи супермногообразий.
Четвертое, совершенно не связанное с первым значение кратко использовалось в общей теории относительности ; оно более подробно обсуждается ниже.
Ниже приведено несколько примеров. Первые несколько предполагают определение суперпространства как супервекторного пространства . Это обозначается как R m | n , Z 2 -градуированное векторное пространство с R m как четным подпространством и R n как нечетным подпространством. То же определение применимо к C m|n .
Четырехмерные примеры берут суперпространство как суперпространство Минковского . Хотя оно похоже на векторное пространство, оно имеет много важных отличий: во-первых, это аффинное пространство , не имеющее особой точки, обозначающей начало координат. Затем фермионные координаты берутся как антикоммутирующие спиноры Вейля из алгебры Клиффорда , а не как числа Грассмана . Разница здесь в том, что алгебра Клиффорда имеет значительно более богатую и тонкую структуру, чем числа Грассмана. Итак, числа Грассмана являются элементами внешней алгебры , а алгебра Клиффорда имеет изоморфизм с внешней алгеброй, но ее связь с ортогональной группой и группой спинов , используемыми для построения представлений спинов , придает ей глубокое геометрическое значение. (Например, группы спинов образуют обычную часть изучения римановой геометрии , [4] совершенно за пределами обычных границ и проблем физики.)
Наименьшее суперпространство — это точка, которая не содержит ни бозонных, ни фермионных направлений. Другие тривиальные примеры включают n -мерную вещественную плоскость R n , которая является векторным пространством, простирающимся в n вещественных, бозонных направлениях и не содержащим фермионных направлений. Векторным пространством R 0|n , которое является n -мерной вещественной алгеброй Грассмана . Пространство R 1|1 одного четного и одного нечетного направления известно как пространство дуальных чисел , введенное Уильямом Клиффордом в 1873 году.
Суперсимметричная квантовая механика с N суперзарядами часто формулируется в суперпространстве R 1|2 N , которое содержит одно действительное направление t , отождествляемое со временем , и N комплексных грассмановых направлений , которые охватываются Θ i и Θ * i , где i изменяется от 1 до N .
Рассмотрим частный случай N = 1. Суперпространство R 1|2 является 3-мерным векторным пространством. Следовательно, заданная координата может быть записана в виде тройки ( t , Θ, Θ * ). Координаты образуют супералгебру Ли , в которой степень градации t четна, а степень градации Θ и Θ * нечетна. Это означает, что скобка может быть определена между любыми двумя элементами этого векторного пространства, и что эта скобка сводится к коммутатору по двум четным координатам и по одной четной и одной нечетной координатам, в то время как она является антикоммутатором по двум нечетным координатам. Это суперпространство является абелевой супералгеброй Ли, что означает, что все вышеупомянутые скобки обращаются в нуль
где — коммутатор a и b , а — антикоммутатор a и b .
Можно определить функции из этого векторного пространства в себя, которые называются суперполями . Вышеприведенные алгебраические соотношения подразумевают, что если мы разложим наше суперполе в степенной ряд по Θ и Θ * , то мы найдем только члены в нулевом и первом порядках, поскольку Θ 2 = Θ *2 = 0. Следовательно, суперполя можно записать как произвольные функции t, умноженные на члены нулевого и первого порядка в двух грассмановых координатах
Суперполя, являющиеся представлениями суперсимметрии суперпространства , обобщают понятие тензоров , являющихся представлениями группы вращений бозонного пространства.
Затем можно определить производные в направлениях Грассмана, которые берут член первого порядка в разложении суперполя до члена нулевого порядка и аннулируют член нулевого порядка. Можно выбрать соглашения о знаках так, чтобы производные удовлетворяли антикоммутационным соотношениям
Эти производные могут быть собраны в суперзаряды
чьи антикоммутаторы идентифицируют их как фермионные генераторы алгебры суперсимметрии
где i раз производная по времени является оператором Гамильтона в квантовой механике . Оба Q и его сопряженный антикоммутируют друг с другом. Вариация суперсимметрии с параметром суперсимметрии ε суперполя Φ определяется как
Мы можем оценить эту вариацию, используя действие Q на суперполя
Аналогично можно определить ковариантные производные на суперпространстве
которые антикоммутируют с суперзарядами и удовлетворяют алгебре суперсимметрии с неправильным знаком
Тот факт, что ковариантные производные антикоммутируют с суперзарядами, означает, что преобразование суперсимметрии ковариантной производной суперполя равно ковариантной производной того же преобразования суперсимметрии того же суперполя. Таким образом, обобщая ковариантную производную в бозонной геометрии, которая строит тензоры из тензоров, ковариантная производная суперпространства строит суперполя из суперполей.
Возможно, наиболее изученным конкретным суперпространством в физике является суперпространство Минковского или иногда его пишут , которое является прямой суммой четырех реальных бозонных измерений и четырех реальных грассмановых измерений (также известных как фермионные измерения или спиновые измерения ). [5]
В суперсимметричных квантовых теориях поля интерес представляют суперпространства, которые предоставляют представления супералгебры Ли, называемой алгеброй суперсимметрии . Бозонная часть алгебры суперсимметрии — это алгебра Пуанкаре , тогда как фермионная часть строится с использованием спиноров с компонентами, имеющими значения в виде числа Грассмана.
По этой причине в физических приложениях рассматривается действие алгебры суперсимметрии на четырех фермионных направлениях таким образом, что они преобразуются как спинор под подалгеброй Пуанкаре. В четырех измерениях есть три различных неприводимых 4-компонентных спинора. Есть спинор Майораны , левый спинор Вейля и правый спинор Вейля. Теорема CPT подразумевает, что в унитарной , инвариантной относительно Пуанкаре теории, которая является теорией, в которой S-матрица является унитарной матрицей и те же генераторы Пуанкаре действуют на асимптотические входящие состояния, как и на асимптотические исходящие состояния, алгебра суперсимметрии должна содержать равное количество левых и правых спиноров Вейля. Однако, поскольку каждый спинор Вейля имеет четыре компоненты, это означает, что если включить любые спиноры Вейля, то должно быть 8 фермионных направлений. Говорят, что такая теория имеет расширенную суперсимметрию , и такие модели привлекли много внимания. Например, суперсимметричные калибровочные теории с восемью суперзарядами и фундаментальной материей были решены Натаном Зайбергом и Эдвардом Виттеном , см. калибровочную теорию Зайберга–Виттена . Однако в этом подразделе мы рассматриваем суперпространство с четырьмя фермионными компонентами, и поэтому никакие спиноры Вейля не согласуются с теоремой CPT.
Примечание : существует множество условных обозначений знаков , и это лишь одно из них.
Поэтому четыре фермионных направления преобразуются как спинор Майораны . Мы также можем сформировать сопряженный спинор
где — матрица сопряжения зарядов, которая определяется свойством, что когда она сопряжена с гамма-матрицей , гамма-матрица инвертируется и транспонируется. Первое равенство является определением, а второе — следствием условия спинора Майораны . Сопряженный спинор играет роль, аналогичную роли спинора в суперпространстве , за исключением того, что условие Майораны, как показано в приведенном выше уравнении, налагает это и не являются независимыми.
В частности, мы можем построить суперзаряды
которые удовлетворяют алгебре суперсимметрии
где — оператор 4- импульса . Снова ковариантная производная определяется как суперзаряд, но со вторым членом, отрицательным, и она антикоммутирует с суперзарядами. Таким образом, ковариантная производная супермультиплета — это другой супермультиплет.
Возможны наборы суперзарядов с , хотя это возможно не для всех значений .
Эти суперзаряды генерируют трансляции в совокупности спиновых измерений, образуя таким образом суперпространство .
Слово «суперпространство» также используется в совершенно ином и не связанном смысле в книге «Гравитация» Мизнера, Торна и Уиллера. Там оно относится к конфигурационному пространству общей теории относительности и, в частности, к взгляду на гравитацию как на геометродинамику , интерпретацию общей теории относительности как формы динамической геометрии. В современных терминах эта конкретная идея «суперпространства» отражена в одном из нескольких различных формализмов, используемых при решении уравнений Эйнштейна в различных условиях, как теоретических, так и практических, например, в численном моделировании. Это включает в себя прежде всего формализм ADM , а также идеи, окружающие уравнение Гамильтона–Якоби–Эйнштейна и уравнение Уиллера–ДеВитта .