В теоретической физике алгебра суперсимметрии (или алгебра SUSY ) — это математический формализм для описания связи между бозонами и фермионами . Алгебра суперсимметрии содержит не только алгебру Пуанкаре и компактную подалгебру внутренних симметрий, но также содержит некоторые фермионные суперзаряды, преобразующиеся в сумму N действительных спинорных представлений группы Пуанкаре . Такие симметрии допускаются теоремой Хаага–Лопушаньского–Сониуса . При N > 1 говорят, что алгебра имеет расширенную суперсимметрию . Алгебра суперсимметрии является полупрямой суммой центрального расширения алгебры суперПуанкаре компактной алгеброй Ли B внутренних симметрий.
Бозонные поля коммутируют, а фермионные поля антикоммутируют. Для того чтобы иметь преобразование, связывающее два вида полей, требуется введение Z 2 -градуировки, при которой четные элементы являются бозонными, а нечетные — фермионными. Такая алгебра называется супералгеброй Ли .
Так же, как можно иметь представления алгебры Ли , можно иметь представления супералгебры Ли , называемые супермультиплетами . Для каждой алгебры Ли существует связанная с ней группа Ли , которая является связной и односвязной , единственной с точностью до изоморфизма , и представления алгебры могут быть расширены для создания представлений групп . Таким же образом представления супералгебры Ли иногда могут быть расширены до представлений супергруппы Ли .
Общая алгебра суперсимметрии для пространственно-временного измерения d и с фермионной частью, состоящей из суммы N неприводимых действительных спинорных представлений, имеет структуру вида
где
Термины «бозонный» и «фермионный» относятся к четным и нечетным подпространствам супералгебры.
Термины «скаляр», «спинор», «вектор» относятся к поведению подалгебр под действием алгебры Лоренца L.
Число N — это число неприводимых действительных спиновых представлений. Когда сигнатура пространства-времени делится на 4, это неоднозначно, поскольку в этом случае существуют два различных неприводимых действительных спинорных представления, и число N иногда заменяется парой целых чисел ( N 1 , N 2 ).
Алгебра суперсимметрии иногда рассматривается как действительная супералгебра, а иногда как комплексная алгебра с эрмитовым сопряжением. Эти два взгляда по сути эквивалентны, поскольку действительная алгебра может быть построена из комплексной алгебры путем взятия косоэрмитовых элементов, а комплексная алгебра может быть построена из действительной путем взятия тензорного произведения с комплексными числами .
Бозонная часть супералгебры изоморфна произведению алгебры Пуанкаре P.L на алгебру Z × B внутренних симметрий .
Если N > 1, то говорят, что алгебра имеет расширенную суперсимметрию .
Когда Z тривиален, подалгебра P . Q . L является супералгеброй Пуанкаре .