CC BY
66
УДК 512.5
ТЕОРЕМА О НОРМЕ ЭЛЕМЕНТОВ СПИНОРНЫХ ГРУПП
Д. С. Широков
Математический институт им. В. А. Стеклова РАН,
119991, Москва, ул. Губкина, 8.
E-mail: shirokov@mi.ras.ru
Рассмотрена алгебра Клиффорда над полем вещественных чисел произвольной конечной размерности. Для элементов алгебры Клиффорда с фиксированным базисом определяется операция эрмитова сопряжения, которая позволяет задать структуру евклидова пространства на алгебре Клиффорда. Рассмотрены псев-доортогональная группа и её подгруппы — специальная псевдоортогональная, ор-тохронная, ортохорная и специальная ортохронная. Как известно, рассмотренные 5 групп дважды накрываются соответствующими спинорными группами. Доказана теорема, связывающая норму произвольного элемента спинорной группы с минором матрицы из соответствующей ортогональной группы.
Ключевые слова: алгебра Клиффорда, спинорные группы, ортогональные группы, ортохронная группа, ортохорная группа.
Введение. В статье рассмотрена алгебра Клиффорда [1] над полем вещественных чисел произвольной конечной размерности. Алгебра Клиффорда является одним из возможных обобщений вещественных, комплексных чисел и кватернионов и имеет применение во многих разделах современной математики и физики. К примеру, алгебра Клиффорда находит своё применение в теории поля [2], робототехнике, обработке сигналов и изображений, химии, небесной механике, электродинамике и др.
Для элементов алгебры Клиффорда с фиксированным базисом вводится операция эрмитова сопряжения, согласованная с операцией эрмитова сопряжения матриц. На основе этой операции строится операция скалярного произведения, превращающая алгебру Клиффорда в евклидово пространство.
Рассмотрены псевдоортогональная группа O(p, q) и её подгруппы — специальная псевдоортогональная SO(p, q), ортохронная O|(p, q), ортохорная O|(p, q) и специальная ортохронная SO^(1,3). Доказана теорема, связывающая главные миноры рассматриваемых ортогональных групп.
Как известно, рассмотренные 5 ортогональных групп дважды накрываются соответствующими спинорными группами Pin(p, q), Spin(p, q), Pin^(p, q), Pin^(p,q) и Spin^(p, q). Накрытие описывается формулой
S AeaS-1 = p^e6,
которая однозначно ставит в соответствие паре элементов ±S спинорной группы единственную матрицу P = ||pal| из соответствующей ортогональной группы.
Доказана теорема, показывающая, что норма элементов спинорной группы, введенная на основе рассматриваемого скалярного произведения, тесно связана с минорами соответствующей ей ортогональной матрицы.
Дмитрий Сергеевич Широков, аспирант, отд. математической физики.
1. Алгебры Клиффорда над полем вещественных чисел. В литературе известны несколько различных (эквивалентных) определений алгебр Клиффорда. В рассматриваемом далее определении [2-4] алгебры Клиффорда используется базис специального вида — занумерованный упорядоченными мультииндексами. Подчеркнем, что введённые далее генераторы и базис фиксированы.
Пусть E — векторное пространство над полем вещественных чисел R; n — натуральное число, и размерность пространства E равна dim E = 2n. Пусть в E введён базис
e, ea, eala2, ..., e1"'n, где a1 < a2 < ... (их 2n штук), (1)
занумерованный упорядоченными мультииндексами длины от О до n. Индексы a, a1, a2, . . . пробегают значения от 1 до n.
Пусть p и q — неотрицательные целые числа и p + q = n, n ^ 1. Введём диагональную матрицу n = ||nab|| = diag(1,... ,1, —1,..., —1), у которой на диагонали стоят p штук +1 и q штук —1.
Введём на E операцию Клиффордова умножения U, V ^ UV, по отношению к которой выполнены свойства дистрибутивности, ассоциативности, e — единичный элемент и, кроме того,
eal... eak = eal"'afc, 1 ^ a1 < ... ak ^ n,
ea eb + ebea = 2nabe, Va, b = 1,...n.
Тогда введённая таким образом алгебра называется вещественной алгеброй Клиффорда и обозначается C^R(p, q) = C^(p, q).
Любой элемент U алгебры Клиффорда C^(p, q) представляется в виде разложения по базису (1):
U = Ue + Uaea + ^ Uala2eala2 + ... + U1...ne1"'n, (2)
al <a2
где U, Ua, Uala2, —, U1...n — вещественные числа.
Понятия рангов и чётности. Векторные подпространства, натянутые на элементы eal...afc, занумерованные упорядоченными мультииндексами длины k, обозначаются как Clk(p, q). Элементы подпространства C£k(p, q) называются элементами ранга k. Имеем
C^(p, q) = ®n=oC£fc (p, q). (3)
Алгебра Клиффорда C^(p, q) является супералгеброй, а именно представляется в виде прямой суммы чётного и нечётного подпространств:
C£(p, q) = C^even(p, q) © C^0dd(p, q), (4)
eleven(p, q) = C^o(p, q) © C^2 (p, q) © C^(p,q) © ...,
C^odd(p, q) = Ch(p,q) ©C^(p,q) ©C^(p, q) © ...
Операторы проектирования на подпространства Ck (p, q). Пусть U € C^(p, q) записано в виде (2). Введём обозначение для линейных операций проектирования на подпространства элементов ранга k:
(U)fc = ^ u0l...ttfcett1...“k eCgfc(p, q).
Используя операцию проектирования на одномерное подпространство С^о, натянутое на единичный элемент е, введём след элемента U € C^(p, q):
Tr(U) = (U )oUi.
Основное свойство операции Tr состоит в том, что Tr(UV) = Tr(VU). Операции сопряжения. Определим операции сопряжения в C^(p,q):
| ea у , Uk Uk | ea 1 ...ar уear ea 1 .
UЛ называется чётностным сопряжением (grade involution). Имеем UЛ - £Lo(-1)fc(U)k - (U)o - (U)i + (U)2 - (U)з + (U)4 - ...,
U~ - £П=о(-1)^(U)k - (U)o + (U)i -(U)2 -(U)з + (U)4 + ...
UЛЛ - U, U-- - U, (UV^ - U^, (UV)- - V-U-.
2. Структура евклидова пространства на алгебре Клиффорда. На алгебре Клиффорда C^(p, q) можно ввести структуру евклидова пространства. Для этого надо взять линейную операцию f : C^(p, q) ^ C^(p, q) с помощью условий
(е*1-^)t - eifc ...eil, At - А для A € R, (5)
где ea - n«beb. Операцию f будем называть операцией эрмитового сопряжения элементов алгебры Клиффорда. Легко видеть, что
(UV)t - VtUt, Utt - U.
Теперь скалярное произведение можно задать формулой
(U,V) - Tr(VtU).
Для формулы (5) укажем эквивалентные формулы (ниже они обозначены (6), (7)), пользоваться которыми, как правило, удобнее.
Теорема (см. [3]). Рассмотрим вещественную алгебру Клиффорда C^(p, q). Тогда операцию эрмитового сопряжения (5) можно задать также одним из следующих эквивалентных способов:
1)
Ut - (-1)qen ... ep+1U~bep+1 ...en, (6)
где b есть операция четностного сопряжения Л, если q — нечётное,
Ut - ep ...e1 U-“e1 ...ep, (7)
где H - Л, если p — чётное.
3. Ортогональные группы. Рассмотрим псевдоортогональную группу и её подгруппу, специальную псевдоортогональную группу,
O(p, q) - {A € Mat(n, R) | ATnA - n}, (8)
SO(p, q) - {A € Mat(n, R) | ATnA - n, det A - 1}, (9)
где p и q — неотрицательные целые числа такие, что p + q - n, n ^ 1, а
П - ||nab|| - diag(1,... ,1, -1,..., -1) —диагональная матрица, у которой на
диагонали стоят p штук +1 и q штук -1.
Далее принимаем следующее соглашение. Будем рассматривать сигнатуры (p, q) евклидова пространства V, где первые p координат являются временными, а последние q — пространственными.
Через А^1"^1 будем обозначать минор произвольной матрицы A, являющийся определителем матрицы, составленной из элементов, стоящих на пересечении строк с номерами k1,... k* и столбцов с номерами I1,... j.
Рассмотрим ортохронную группу (“ortochronous”), ортохорную (или сохраняющую чётность) группу (“parity preserving” или “ortochorous” в разных источниках) и специальную ортохронную группу
Of(p, q) - {A € O(p, q) | A1 . .* > 0}, O4(p, q) - {A € O(p, q) | Ap+;;£ > 0}, (10)
SOt4(p, q) - {A € O(p, q) | A1;.;£ > 0, det A - 1}.
Частным случаем ортогональных групп являются так называемые группы Лоренца:
O(1,3), SO(1,3), Ot(1,3), O;(1,3), SOt;(1,3).
Некоторые свойства групп SO^(p, q), Ot(p, q), O^(p, q) рассмотрены в [5] и других источниках.
4. Теорема о связи миноров ортогональной матрицы. Пусть дана квадратная матрица A размера n. Будем называть минор Ajfc+1' ' ' j: дополнитель-
j k + 1 ” * j:
ным к минору Aj1 ' ' ' jk. Всегда будет подразумеваться, что i1 <...<*&,
j1 < . . . < , *fc+1 < . • . < и jfc+1 < . . . < jn.
Следующая теорема говорит о связи дополнительных миноров матрицы A из псевдоортогональной группы O(p, q). При доказательстве используем утверждение о миноре обратной матрицы (см. [6]).
Теорема. Пусть матрица A принадлежит псевдоортогональной группе O(p, q). Тогда
Ajk + 1"" " jn
Aj1". .jk - (—1)(ES=1 is+Es=1 1+Ejs>p1) —*k+1". . in где det A - dz1
гь. . det A ’ *
В частности, получаем
- iAi;+1 " " " ‘:l. sgn(AJ1;. j)Sgn(A‘;;+1; ;; in) - sgn(A).
Из этих соотношений получаем важное следствие. А именно, что псевдо-ортогональная группа O(p, q) устроена следующим образом.
При р, д = 0 группа 0(р, д) состоит из четырех связных компонент:
0(р, д) = 80^(р, д) и 0^(р, д) и 0^(р, д) и 80'(р, д),
0-т(р,д) = 80п(р,д) и 0'(р,д), 0Др,д) = 80^(р,д) и 0^(р,д),
80(р, д) = 80п(р, д) и 80'(р, д).
5. Спинорные группы. Рассмотрим гомоморфизм
л
а^: (Xх (р, д) ^ ЕпЛХ(р, д),
действующий на группе обратимых элементов алгебры Клиффорда следую-лл
щим образом § ^а^, где а^ ж = 8ЛХ8-1 и ж € СХ(р, д).
Обозначим через Сёхе^еп(р, д) и Сёх0^(р, д) множества чётных и нечётных обратимых элементов алгебры Клиффорда соответственно.
Рассмотрим группу Липшица и её специальную подгруппу:
г±(р,д) = (8 € С^хе^еп(р, д) и(Хх0^(р,д)^ж € (Х1(р,д),зжз-1 € (р,д)},
Г+(р,д) = (8 € Сёхе^ега(р, д)|^х €С^1(р,д),8Х8-1 € С^1(р, д)}.
На их основе строятся спинорные группы
Рт(р, д) = (^ € Г±|5~,8 = ±е} = (8 € Г±^~Л8 = ±е},
Рт4(р, д) = (в € Г±^ = +е},
Рт^(р, д) = (8 € Г±^~Л8 =+е}, (11)
8р1п(р, д) = (8 € Г+|в~в = ±е} = (8 € Г+1в-~лв = ±е},
8рт^(р, д) = (8 € Г+|$~,§ = +е} = (8 € Г+ |5-~Л« = +е}.
Следующее известное утверждение говорит о связи спинорных и соответствующих ортогональных групп.
л
Теорема (см. [1], [5] и др.). Гомоморфизм а^ осуществляет двойное накрытие ортогональных групп
0(р, д), 80(р, д), 80^(р, д), 0-^р, д), 0Др, д) (12)
соответствующими спинорными группами
Рш(р, д), 8р1п(р, д), 8ртп(р, д), Рт^р, д), Рт4(р, д). (13)
Связь спинорных и ортогональных групп можно явно выразить следующей формулой:
5 Ле“5-1 = р£еь,
которая однозначно ставит в соответствие паре элементов ±5 из соответствующей спинорной группы (13) единственную матрицу Р = ||р^|| из соответствующей ортогональной группы (12).
Группа Рш(р, д) состоит из четырех компонент:
Рт(р, д) = 8р1п^(р, д) и Рт^р, д) и Рт^(р, д) и 8рт'(р, д),
Рт^р, д) = Рт^р, д) и 8ртп(р, д), РтДр, д) = Рт^(р, д) и 8ртп(р, д), 8рт(р, д) = 8рт'(р, д) и 8рт^(р, д).
6. Теорема о норме элементов спинорных групп. Пусть на алгебре Клиффорда С^(р, д) задана структура евклидова пространства. А именно, для любых двух элементов и, V € С^(р, д) определено их скалярное произведение (и, V) = Тг(иV), где | является операцией эрмитова сопряжения. Скалярное произведение естественным образом порождает норму элемента ||и|| = = л/ТТ(и+и).
Следующая теорема устанавливает связь между нормой элемента спи-норной группы и минором ортогональной матрицы, соответствующей этому элементу.
Теорема. Пусть элемент алгебры Клиффорда Б принадлежит группе
л
Рт(р, д) и пусть при гомоморфизме а^ элемент Б переходит в ортогональную матрицу А € 0(р, д). Тогда норма элемента Б связана с главными минорами этой матрицы А1 ' ' '^, А^+1 ' ' 'П следующим образом:
||S||2 -Tr(StS) - <
A1 ;; ;p - —pt1 ;; £, если S € Spinn(p, q);
a1 ;; % - -Ap+1 ;; Z если S € Pint(p, q); (14)
-a i ; ; ;p - —pt 1 ;; Z если s € Pm^(p, q);
-a 1 ; ;;p - -—pt1 ; ;;П, если s € Spm'(p, q).
Отметим, что выражение ||и||2 = Тт(и^и) > 0 всегда положительно
и, таким образом, формулы (14) согласуются с определением ортогональных групп (10).
Утверждение теоремы представляет из себя особую связь ортогональных и спинорных групп, которая, вообще говоря, иллюстрирует также двойные накрытия ортогональных групп спинорными.
Доказанная теорема позволяет, не находя явно элемента 5 € Рт(р, д) спи-норной группы, вычислять его норму по соответствующей ему ортогональной матрице А € 0(р, д).
Автор выражает благодарность за поддержку на конференции «Математическая физика и ее приложения - 2010» лабораторией математической физики СамГУ, грантами АВЦП 3341 и 10854 и контрактом фЦп 2173.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Lounesto P. Clifford algebras and spinors / L.M.S. Lecture Notes. Vol. 239. Cambridge: Cambridge Univ. Press, 1997. 306 pp.
2. Марчук Н. Г. Уравнения теории поля и алгебры Клиффорда. М.-Ижевск: НИЦ РХД, 2009. 304 с. [Marchuk N. G. Equations of field theory and Clifford algebras. Moscow, Izhevsk: RKhD, 2009. 304 pp.]
3. Marchuk N. G., Shirokov D. S. Unitary spaces on Clifford algebras // Adv. in Appl. Cliff. Alg., 2008. Vol. 18, no. 2. Pp. 237-254.
4. Широков Д. С. Классификация элементов алгебр Клиффорда по кватернионным типам// ДАН, 2009. Т. 427, №6. С. 758-760; Shirokov D.S. Classification of elements of Clifford algebras according to quaternionic types // Doklady Mathematics, 2009. Vol. 80, no. 1. Pp. 610-612.
5. Benn I. M., Tucker R. W. An Introduction to Spinors and Geometry with Applications in Physics. Bristol: IOP Publishing Ltd, 1987. 358 pp.
6. Гантмахер Ф. Р. Теория матриц. М.: Наука, 1988. 549 с. [Gantmakher F. R. Theory of matrices. Moscow: Nauka, 1988. 549 pp.]
Поступила в редакцию 20/12/2010; в окончательном варианте — 17/02/2011.
MSC: 15A66
THEOREM ON THE NORM OF ELEMENTS OF SPINOR GROUPS
D. S. Shirokov
Steklov Mathematical Institute, Russian Academy of Sciences,
8, Gubkina st., Moscow, 119991, Russia.
E-mail: shirokov@mi.ras.ru
In this article we consider Clifford’s algebra over the field of real numbers of finite dimension. We define the operation of Hermitian conjugation for the elements of Clifford’s algebra. This operation allows us to define the structure of Euclidian space on the Clifford algebra. We consider pseudo-orthogonal group and its subgroups — special pseudo-orthogonal, orthochronous, orthochorous and special orthochronous groups. As known, spinor groups are double covers of these orthogonal groups. We proved a theorem that relates the norm of element of spinor group with the minor of matrix of the orthogonal group.
Key words: Clifford’s algebra, spinor groups, orthogonal groups, orthochronous group, orthochorous group.
Original article submitted 20/12/2010; revision submitted 17/02/2011.
Dmitry S. Shirokov, Postgraduate Student, Dept. of Mathematical Physics.
