Я не уверен, что это обозначение специфично для теорий суперсимметрии, но я столкнулся с этим, изучая это.
Я вижу, как люди говорят о полях компонентов кирального суперполя как о и в присоединенном представлении некоторой калибровочной группы. (Иногда кажется, что также используется обозначение чтобы обозначить, какая компонента спинора подхватывается) Ковариантный оператор производной также обозначается как (что иногда пишется как для обозначения того, какой его компонент выбирается ... но я не понимаю эту запись)
Теперь говорят об «операторах одиночной трассировки» типа , , и тому подобное ... в основном берут произвольные комбинации мощностей скаляра и фермиона, а затем берут «калибровочный след».
Есть много вещей, которые я не понимаю.
Меня озадачивает обозначение степени фермионного поля. Как определить силы спинора? (Что такое квадрат фермиона?) Также здесь в компонентах будет иметь такое разложение, как где являются фермионами и пробегает образующие алгебры Ли калибровочной группы в присоединенном представлении. Я предполагаю, что кто-то берет тензорное произведение между спинором и матрица . Но тогда я не понимаю, что такое квадрат или любая другая степень этого тензора?
мне сказали, что но Я не понимаю, что это должно означать.
Один из способов, которым я могу думать о силах, может заключаться в том, что являются операторами послеквантования в гильбертовом пространстве теории, и это степени этого оператора гильбертова пространства. Но при таком способе мышления я запутался, как интерпретировать трассировку по индексам калибровки.
На этом языке хочется думать об операторах суперсимметрии воздействовать на поля следующим образом,
где — некоторый оператор, а в первом слагаемом в правой части последнего из приведенных выше уравнений символ означает, что можно взять коммутатор или антикоммутатор в зависимости от того, является бозонным или фермионным.
Вышеупомянутое выглядит как совершенно другой способ мышления о преобразованиях суперсимметрии, чем язык, с которым я знаком из таких книг, как книга Вайнберга, где действие на и через коммутатор и антикоммутатор соответственно, или можно думать о бесконечно малых преобразованиях суперсимметрии как и т. д.
Определенно последний из вышеперечисленного списка коммутаторов мне совершенно незнаком!
Приведенное выше понятие сбивает с толку то, как я должен думать о действии на составных операторах, таких как say . По-видимому, предполагается, что это фермионный оператор, поскольку фермион возводится в нечетную степень. (Я не вижу здесь полного аргумента!)
Тогда действие должно быть (отбрасывание общей трассировки),
Знаки чередуются в зависимости от того, сколько с имеет пропущено.
Я хотел бы знать объяснения описанному выше способу записи мощностей фермионных полей и выполнению над ними преобразований суперсимметрии. Я был бы рад, если бы меня направили к какой-нибудь ссылке, объясняющей вышеприведенный способ мышления, которого я не встречал больше нигде ни в одной книге.
{В конце концов тот, кто заинтересован в вычислении "когомологий " на пространстве всех таких операторов одиночного следа (по какой-то непонятной мне причине люди хотят исключить из этого списка операторов, которые являются полными ковариантными производными). Это зависит от теории, которую рассматривают, по тому, что вспомогательное поле интегрирует в и появляется на RHS. Я также хотел бы знать ссылки на это и почему это «когомологии» и почему это вычисляется.}
Вот моя попытка ответить на некоторые из ваших многочисленных вопросов...
Я знаю, что ты часто смотришь на сузи. ковариантные производные типа часто появляются в гармоническом суперпространстве , где ++ указывает на гармонический заряд.
Спинорные компоненты вашего калибровочного поля представляют собой фермионные поля со спином 1/2, оцененные алгеброй Ли. Это означает, что они берут точку пространства-времени и возвращают элемент, находящийся в грассмановой оболочке прямого произведения модуля спина 1/2 и алгебры Ли. Поскольку он фермионный, он должен быть нечетным элементом.
Если произведение является термином в лагранжиане, то все должно быть сокращено/отслежено, чтобы получить инвариантный объект. Если произведение не в лагранжиане, то это зависит от контекста.
Произведения элементов алгебры Ли должны быть либо коммутаторами, либо следами квадратичных термов. В вашем случае вы находитесь в соседнем репутации, поэтому продукты являются тайными коммутаторами. Кубики и т. д. являются комбинациями вышеперечисленного. и т. д...
Что касается " но "... Я не уверен, что именно вы имеете в виду. Может быть, пусть — антикоммутирующий элемент алгебры Ли. Тогда коммутатор алгебры Ли равен но должен иметь исчезающий след. Или прямое произведение который имеет (в предположении ортогонального базиса) след исчезает, потому что каждый компонент является просто нечетным элементом Грассмана и, следовательно, возводится в квадрат к нулю.
Возможно, вам следует быстро просмотреть первую главу Идеи и методы суперсимметрии и супергравитации , которая называется (и имеет много) «математической подоплекой». Он дает хорошее описание алгебр Грассмана, которое часто упускается из виду в других текстах.
Саймон