Спинорная структура
Спино́рная структу́ра (расслоение спин-реперов) в -мерном многообразии , главное расслоение над со структурной группой (см. статью Спинорная группа), накрывающее некоторое главное расслоение кореперов со структурной группой . Последнее условие означает, что задан тождественный по базе сюръективный гомоморфизм главных расслоений , согласованный с естественным гомоморфизмом . Говорят, что спинорная структура подчинена римановой метрике на , определяемой расслоением . С точки зрения теории -структур спинорная структура есть обобщённая -структура со структурной группой , pacсматриваемой вместе с неточным представлением .
Аналогичным образом определяются спинорная структура, подчинённая псевдоримановой метрике, и спинорная структура на комплексном многообразии, подчинённая комплексной метрике. Необходимые и достаточные условия существования спинорной структуры на состоят в ориентируемости многообразия и обращении в нуль класса Штифеля – Уитни . При выполнении этих условий число неизоморфных спинорных структур на , подчинённых данной римановой метрике, совпадает с порядком группы (Milnоr. 1963).
Пусть – комплексификация алгебры Клиффорда пространства относительно квадратичной формы . Алгебра обладает неприводимым представлением в пространстве над размерности , которое определяет представление группы в пространстве . Всякая спинорная структура на задаёт ассоциированное векторное расслоение со слоем , называемое расслоением спиноров. Риманова связность на определяет каноническим образом связность в расслоении . В пространстве гладких сечений расслоения (спинорных полей) действует линейный дифференциальный оператор порядка – оператор Дирака, который локально определяется формулойгде – ковариантные производные по направлениям ортонормированных векторных полей , а умножение элементов из на векторы из соответствует определённой выше структуре -модуля на .
Спинорные поля, аннулируемые оператором , иногда называются гармоническими. Если компактно, то , причём эта размерность не меняется при конформной деформации метрики (Нitсhin. 1974). Если при этом риманова метрика на имеет положительную скалярную кривизну, то (Нitсhin. 1974; Lichnerowicz. 1964).
Спинорной структурой в пространстве-времени (т. е. в четырёхмерном лоренцевом многообразии) называется спинорная структура, подчинённая лоренцевой метрике . Существование спинорной структуры в некомпактном пространстве-времени эквивалентно абсолютной параллелизуемости многообразия (Geroch. 1968). Пространство спиноров как модуль над спинорной группой разлагается в прямую сумму двух комплексных двумерных комплексносопряжённых -модулей и . Этому разложению соответствует разложение расслоения спиноров, причём тензорное произведение отождествляется с комплексификацией касательного расслоения . Спинорные поля в пространстве-времени, являющиеся собственными функциями оператора Дирака, описывают свободные поля частиц со спином 1/2, например электронов.