FANDOM


Доведення 1Edit

Властивості матриць Паулі.

1. \ (\sigma^{\mu})_{\alpha \dot {\alpha}}(\tilde {\sigma }_{\mu})^{\dot {\beta }\beta } = 2\delta^{\beta}_{\alpha}\delta^{\dot {\beta }}_{\dot {\alpha}}.

Використовуючи вираз для спінорного представлення 4-вектора з попереднього підрозділу,

\ X = \frac{1}{2}Tr (X)\hat {\mathbf E } + \frac{1}{2}Tr(X \hat {\sigma^{i}})\hat {\sigma }_{i},

можна, переписавши його у коваріантному вигляді, отримати

\ X_{\alpha \dot {c}} = \frac{1}{2}X_{\beta \beta} \delta_{\alpha \dot {c}} + \frac{1}{2}X_{\beta \dot {\beta }}(\tilde {\sigma}^{i})^{\dot {\beta}\beta }(\sigma_{i})_{\alpha \dot {c}}.

Якщо у якості \ X вибрати елемент канонічного базису матриць \ 2 \times 2, тобто, \ X = e^{a \dot b} (матрицю, що має єдиний одиничний елемент), то можна отримати

\ X_{\alpha \dot {c}} = \delta^{a}_{\alpha}\delta^{\dot {b}}_{\dot {c}} = \frac{1}{2}\delta^{a}_{\beta}\delta^{\dot {b}}_{\beta}\delta_{\alpha \dot {c}} + \frac{1}{2}\delta^{a}_{\beta}\delta^{\dot {b}}_{\dot {\beta }}(\tilde {\sigma}^{i})^{\dot {\beta}\beta }(\sigma_{i})_{\alpha \dot {c}} = \frac{1}{2}\left( ({\tilde {\sigma}^{0}})^{\dot {b}a}(\sigma_{0})_{\alpha \dot {\alpha }} + (\tilde {\sigma}^{i})^{\dot {c}a }(\sigma_{i})_{\alpha \dot {c}}\right) = \frac{1}{2}(\tilde {\sigma}^{\nu})^{\dot {b} a}(\sigma_{\nu})_{\alpha \dot {c}},

звідки і слідує потрібна рівність.

Взагалі, пропорційність вищенаведеного виразу \ \delta^{\beta}_{\alpha}\delta^{\dot {\beta }}_{\dot {\alpha}} є очевидною з того, що єдиним нетривіальним коваріантним спінором з двома точковими і двома неточковими індексами є \ \varepsilon^{a b}\varepsilon^{\dot {a} \dot {b}}. Опускання двох його імпульсів і дає результат п. 1.

2. Четвірка матриць \ (\sigma^{\mu})_{a \dot {a}} є інваріантом перетворень Лоренца.

Це можна показати, використовуючи відповідність перетворень 4-вектора у векторному та спінорному представленнях. Отже, для спінорного представлення 4-вектора справедливі перетворення

\ X{'}_{a \dot {a}} = N_{a}^{\quad b}N_{\dot {a}}^{\quad \dot {b}}X_{b \dot {b}} = x^{\mu}N_{a}^{\quad b}N_{\dot {a}}^{\quad \dot {b}} (\sigma_{\mu})_{b \dot {b}}, \quad X{'}_{a \dot {a}} = x^{\mu}{'}(\sigma_{\mu})_{a \dot {a}} = \Lambda^{\quad \mu}_{\nu}x^{\nu}(\sigma_{\mu})_{a \dot {a}}.

Прирівнюючи ці дві рівності, в силу довільності \ x^{\mu} можна отримати

\ \Lambda^{\quad \mu}_{\nu}(\sigma_{\mu})_{a \dot {a}} = N_{a}^{\quad b}N_{\dot {a}}^{\quad \dot {b}} (\sigma_{\nu})_{b \dot {b}} \Rightarrow (\sigma_{\mu})_{a \dot {a}} = N_{a}^{\quad b}N_{\dot {a}}^{\quad \dot {b}} (\Lambda^{-1})^{\nu}_{\quad \mu}(\sigma_{\nu})_{b \dot {b}}.

Це означає, що \ (\sigma_{\mu})_{a \dot {a}} є інваріантом відносно перетворень Лоренца. Дійсно, матриця має один 4-векторний індекс та два спінорних; кожен з них перетворюється за допомогою відповідної матриці. Тоді повне (за допомогою трьох вказаних матриць) перетворення матриці дає ту ж саму матрицю.

3. \ (\sigma_{\mu}\tilde {\sigma}_{\nu} + \sigma_{\nu}\tilde {\sigma}_{\mu})^{\quad b}_{a} = 2g_{\mu \nu}\delta_{a}^{b} .

Для доведення треба використати рівність

\ (\hat {\sigma}_{\mu}\hat {\tilde {\sigma}}_{\nu}) = g_{\mu \nu}\hat {\mathbf E} - i\varepsilon_{0 \mu \nu k}\hat {\sigma}^{k} - \delta_{\mu 0}(\delta_{\nu 0}\hat {\mathbf E} - \hat {\tilde {\sigma}}_{\nu}) - \delta_{\nu 0}(\delta_{\mu 0}\hat {\mathbf E} - \hat {\sigma}_{\mu}).

Дійсно, перший доданок відповідає випадку, коли \ \mu = \nu, другий - коли \ \mu , \nu \neq 0 (відповідає стандартним комутаційним співвідношенням матриць Паулі з просторовими індексами), третій - коли \ \mu = 0, \nu \neq 0, четвертий - коли \ \mu \neq 0, \nu = 0. В результаті, сумою \ (\hat {\sigma}^{\mu}\hat {\tilde {\sigma}}^{\nu}) + (\hat {\sigma}^{\nu}\hat {\tilde {\sigma}}^{\mu}) буде рівність

\ (\hat {\sigma}_{\mu}\hat {\tilde {\sigma}}_{\nu}) + (\hat {\sigma}_{\nu}\hat {\tilde {\sigma}}_{\mu}) = 2g_{\mu \nu}\hat {\mathbf E} - i\varepsilon_{0\mu \nu k}\hat {\sigma}^{k} - i\varepsilon_{0\nu \mu k}\hat {\sigma}^{k} - \delta_{\mu 0}(2 \delta_{\nu 0}\hat {\mathbf E} - \hat {\tilde {\sigma}}_{\nu} - \hat {\sigma}_{\nu}) - \delta_{\nu 0}(2 \delta_{\mu 0}\hat {\mathbf E} - \hat {\tilde {\sigma}}_{\mu} - \hat {\sigma}_{\mu}).

Сума другого та третього доданків рівна нулю в силу антисиметрії тензора Леві-Чивіта, а третій та четвертий доданок рівні в силу \ \sigma_{\mu} = -\tilde {\sigma}_{\mu}, \mu \neq 0.

4. \ Tr (\hat {\sigma}_{\mu}\tilde { \hat \sigma}_{\nu}) = Tr \left( g_{\mu \nu}\hat {\mathbf E}\right) = 2g_{\mu \nu}

(всі інші матриці під знаком сліду є матрицями Паулі, а їх слід рівен нулю).

Доведення 2Edit

Спінорне представлення антисиметричного тензора рангу 2.

В силу визначення, \ M_{\mu \nu} = -M_{\nu \mu}. Це означає, що (див. \ (.11))

\ h_{\alpha \dot {\alpha} \beta \dot {\beta}} = \left((\sigma^{\mu})_{\alpha \dot {\alpha}}(\sigma^{\nu})_{\beta \dot {\beta }} - (\sigma^{\mu})_{\beta \dot {\beta }}(\sigma^{\nu})_{\alpha \dot {\alpha }}\right)M_{\mu \nu} .

Цей вираз тепер треба підставити у \ (.13) для кожного з доданків:

\ h_{(\alpha \beta )(\dot {\alpha }\dot {\beta })} = \frac{1}{8}\left( (\sigma^{\mu})_{\alpha \dot {\alpha}}(\sigma^{\nu})_{\beta \dot {\beta }} + (\sigma^{\mu})_{\beta \dot {\alpha}}(\sigma^{\nu})_{\alpha \dot {\beta }} + (\sigma^{\mu})_{\alpha \dot {\beta}}(\sigma^{\nu})_{\beta \dot {\alpha }} + (\sigma^{\mu})_{\beta \dot {\beta}}(\sigma^{\nu})_{\alpha \dot {\alpha }}\right) -

\ - \frac{1}{8}\left((\sigma^{\mu})_{\beta \dot {\beta}}(\sigma^{\nu})_{\alpha \dot {\alpha }} - (\sigma^{\mu})_{\alpha \dot {\beta}}(\sigma^{\nu})_{\beta \dot {\alpha }} - (\sigma^{\mu})_{\beta \dot {\alpha}}(\sigma^{\nu})_{\alpha \dot {\beta }} - (\sigma^{\mu})_{\alpha \dot {\alpha}}(\sigma^{\nu})_{\beta \dot {\beta }} \right)M_{\mu \nu} = 0,

\ h = \frac{1}{8}\varepsilon^{\alpha \beta}\varepsilon^{\dot {\alpha }\dot {\beta }}\left((\sigma^{\mu})_{\alpha \dot {\alpha}}(\sigma^{\nu})_{\beta \dot {\beta }} - (\sigma^{\mu})_{\beta \dot {\beta }}(\sigma^{\nu})_{\alpha \dot {\alpha }}\right)M_{\mu \nu} = \frac{1}{8}\left( (\tilde {\sigma}^{\mu})^{\dot {\beta} \beta }(\sigma^{\nu})_{\beta \dot {\beta }} - (\sigma^{\mu})_{\beta \dot {\beta }}(\tilde {\sigma}^{\nu})_{\dot {\beta} \beta }\right).

В силу того, що \ \hat {\tilde {\sigma} } = (\hat {\mathbf E }, -\hat {\mathbf \sigma } ), що просто перевіряється, виходячи з визначення

\ (\sigma^{\mu})^{\alpha \dot {\alpha}} = \varepsilon^{\alpha \beta}\varepsilon^{\beta \dot {\beta}}(\sigma^{\mu})_{\beta \dot {\beta}},

очевидно, що

\ h = \frac{1}{8}\left( (\tilde {\sigma}^{\mu})^{\dot {\beta} \beta }(\sigma^{\nu})_{\beta \dot {\beta }} - (\sigma^{\mu})_{\beta \dot {\beta }}(\tilde {\sigma}^{\nu})_{\dot {\beta} \beta }\right) = \left|( \tilde {\sigma}^{\mu})^{\dot {\beta} \beta }(\sigma^{\nu})_{\beta \dot {\beta }} = Tr (\delta^{\mu \nu}\hat {\mathbf E} - i\varepsilon^{\mu \nu k}\hat {\sigma}_{k}) = 2\delta^{\mu \nu} \right| = 0,

де \ \delta^{i}_{j} = diag(1, -1, -1, -1) - метричний тензор псевдоевклідового простору-часу.

Далі,

\ h_{(\alpha \beta )} = -\frac{1}{2}\varepsilon^{\dot {\alpha } \dot {\beta } }\left( (\sigma^{\mu})_{\alpha \dot {\alpha}}(\sigma^{\nu})_{\beta \dot {\beta}} + (\sigma^{\mu})_{\beta \dot {\alpha}}(\sigma^{\nu})_{\alpha \dot {\beta}} - (\sigma^{\mu})_{\beta \dot {\beta}}(\sigma^{\nu})_{\alpha \dot {\alpha }} - (\sigma^{\mu})_{\alpha \dot {\beta}}(\sigma^{\nu})_{\beta  \dot {\alpha }}\right)M_{\mu \nu}.

Для пришвидшення роботи з індексами можна домножити весь вираз на \ \varepsilon^{\delta \beta}:

\ \varepsilon^{\delta \beta }h_{(\alpha \beta )} = -\frac{1}{8}\varepsilon^{\delta \beta }\varepsilon^{\dot {\alpha } \dot {\beta } }\left( (\sigma^{\mu})_{\alpha \dot {\alpha}}(\sigma^{\nu})_{\beta \dot {\beta}} + (\sigma^{\mu})_{\beta \dot {\alpha}}(\sigma^{\nu})_{\alpha \dot {\beta}} - (\sigma^{\mu})_{\beta \dot {\beta}}(\sigma^{\nu})_{\alpha \dot {\alpha }} - (\sigma^{\mu})_{\alpha \dot {\beta}}(\sigma^{\nu})_{\beta  \dot {\alpha }}\right)M_{\mu \nu}.

Перший і другий доданки, наприклад, згортаються із \ \varepsilon^{\delta \beta }\varepsilon^{\dot {\alpha } \dot {\beta } } як

\ \varepsilon^{\delta \beta }\varepsilon^{\dot {\alpha } \dot {\beta } }(\sigma^{\mu})_{\alpha \dot {\alpha}}(\sigma^{\nu})_{\beta \dot {\beta}} = (\sigma^{\mu} )_{\alpha \dot {\beta }}(\tilde {\sigma}^{\nu})^{\dot {\beta }\delta } = (\sigma^{\mu}\tilde {\sigma}^{\nu})_{\alpha}^{\quad {\delta}}, \quad \varepsilon^{\delta \beta }\varepsilon^{\dot {\alpha } \dot {\beta } }(\sigma^{\mu})_{\beta \dot {\alpha}}(\sigma^{\nu})_{\alpha \dot {\beta}} = -\varepsilon^{\delta \beta }\varepsilon^{\dot {\beta } \dot {\alpha } }(\sigma^{\nu})_{\alpha \dot {\beta}} = -(\tilde {\sigma}^{\mu})^{\dot {\beta} \delta}(\sigma^{\nu})_{\alpha \dot {\beta}} = -(\sigma^{\nu}\tilde {\sigma}^{\mu})_{\alpha}^{\quad \delta}.

Отже, виконуючи абсолютно аналогічні дії із останніми доданками, можна отримати

\ \varepsilon^{\delta \beta }h_{(\alpha \beta )} = -\frac{1}{8}\left( 2 (\sigma^{\mu}\tilde {\sigma}^{\nu})_{\alpha}^{\quad {\delta}} - 2(\sigma^{\nu}\tilde {\sigma}^{\mu})_{\alpha}^{\quad \delta}  \right) M_{\mu \nu} = -\frac{1}{4}\left( (\sigma^{\mu}\tilde {\sigma}^{\nu})_{\alpha}^{\quad {\delta}} - (\sigma^{\nu}\tilde {\sigma}^{\mu})_{\alpha}^{\quad \delta}  \right) =_{definition}= (\sigma^{\mu \nu})_{\alpha}^{\quad {\delta }} M_{\mu \nu}.

Нарешті, можна опустити індекс за допомогою тензора \ \varepsilon_{\gamma \delta }:

\ \varepsilon_{\gamma \delta }\varepsilon^{\delta \beta }h_{(\alpha \beta )} = \delta^{\quad \beta}_{\gamma }h_{(\alpha \beta )} = h_{(\alpha \gamma )} = (\sigma^{\mu \nu})_{\alpha \gamma } M_{\mu \nu}.

Абсолютно аналогічно показується, що

\ h_{( \dot {\alpha } \dot {\gamma } )} = -( \tilde {\sigma }^{\mu \nu})_{\dot {\alpha } \dot {\gamma } } M_{\mu \nu}.

Очевидно, у утвореного тензора є шість незалежних компонент - по три від  h_{(ab)}, h_{(\dot {a} \dot {b})}.

Доведення 3Edit

Обернена формула для антисиметричного тензора.

Використовуючи \ (.14), можна отримати

\ M_{\mu \nu} = \frac{1}{4}(\tilde {\sigma}_{\mu})^{\dot {\alpha } \alpha }(\tilde \sigma_{\nu})^{\dot {\beta } \beta }h_{\alpha \beta \dot {\alpha } \dot {\beta}} = \frac{1}{4}(\tilde {\sigma}_{\mu})^{\dot {\alpha } \alpha }(\tilde \sigma_{\nu})^{\dot {\beta } \beta }\left( \varepsilon_{\alpha \beta}h_{(\dot {\alpha }\dot {\beta })} + \varepsilon_{\dot {\alpha}\dot {\beta }}h_{(\alpha \beta )} \right) .

Користуючись тим, що \ h_{(\alpha \beta )} = h_{( \beta \alpha )}, h_{(\dot {\alpha }\dot {\beta })} = h_{(\dot {\beta }\dot {\alpha })}, можна записати

\ M_{\mu \nu} = \frac{1}{4}\varepsilon_{\alpha \beta }\frac{1}{2}\left( (\tilde {\sigma}_{\mu})^{\dot {\alpha } \alpha }(\tilde \sigma_{\nu})^{\dot {\beta } \beta }h_{( \dot {\alpha } \dot {\beta } )} + (\tilde {\sigma}_{\mu})^{\dot {\beta } \alpha }(\tilde \sigma_{\nu})^{\dot {\alpha } \beta }h_{( \dot {\beta } \dot {\alpha } )}\right) + \frac{1}{4}\varepsilon_{\dot {\alpha } \dot {\beta } }\frac{1}{2}\left( (\tilde {\sigma}_{\mu})^{\dot {\alpha } \alpha }(\tilde \sigma_{\nu})^{\dot {\beta } \beta }h_{( \alpha  \beta  )} + (\tilde {\sigma}_{\mu})^{\dot {\alpha } \beta }(\tilde \sigma_{\nu})^{\dot {\beta } \alpha }h_{( \beta \alpha  )} \right) =

\ =\frac{1}{8}\left( \varepsilon_{\alpha \beta } \left( (\tilde {\sigma}_{\mu})^{\dot {\alpha } \alpha }(\tilde \sigma_{\nu})^{\dot {\beta } \beta } + (\tilde {\sigma}_{\mu})^{\dot {\beta } \alpha }(\tilde \sigma_{\nu})^{\dot {\alpha } \beta }\right)h_{(\dot {\alpha }\dot {\beta })} +  \varepsilon_{\dot {\alpha }\dot {\beta }}\left( (\tilde {\sigma}_{\mu})^{\dot {\alpha } \alpha }(\tilde \sigma_{\nu})^{\dot {\beta } \beta } + (\tilde {\sigma}_{\mu})^{\dot {\alpha } \beta }(\tilde \sigma_{\nu})^{\dot {\beta } \alpha }\right) h_{(\alpha \beta )} \right).

Тепер, перетворюючи згортки метричного тензора з матрицями Паулі як

\ \varepsilon_{\alpha \beta }(\tilde {\sigma}_{\mu})^{\dot {\alpha }\alpha }(\tilde \sigma_{\nu})^{\dot {\beta } \beta } = \varepsilon^{\dot {\beta} \dot {\gamma}}(\tilde {\sigma}_{\mu})^{\dot {\alpha }\alpha}(\sigma_{\nu})_{\alpha \dot {\gamma}} = (\tilde {\sigma}_{\mu} \sigma^{\nu })^{\dot {\alpha} \dot {\beta }},

\ \varepsilon_{\alpha \beta }(\tilde {\sigma}_{\mu})^{\dot {\beta } \alpha }(\tilde \sigma_{\nu})^{\dot {\alpha } \beta } = \varepsilon_{\alpha \beta }(\tilde \sigma_{\nu})^{\dot {\alpha } \beta }(\tilde {\sigma}_{\mu})^{\dot {\beta } \alpha } = -(\tilde {\sigma}_{\nu})^{\dot {\alpha}\beta}(\sigma_{\mu})_{\beta \dot {\gamma}}\varepsilon^{\dot {\beta} \dot {\gamma}} = -(\tilde {\sigma}_{\nu} \sigma_{\mu})^{\dot {\alpha}\dot {\beta }},

\ \varepsilon_{\dot {\alpha }\dot {\beta }}(\tilde {\sigma}_{\mu})^{\dot {\alpha }\alpha }(\tilde {\sigma}_{\nu})^{\dot {\beta} \beta } = -\varepsilon^{\alpha \gamma}(\sigma_{\mu})_{\gamma \dot {\beta }}(\tilde {\sigma}_{\nu})^{\dot {\beta }\beta } = -(\sigma_{\mu}\tilde {\sigma}_{\nu})^{\alpha \beta } ,

\ \varepsilon_{\dot {\alpha}\dot {\beta}}(\tilde {\sigma}_{\mu})^{\dot {\alpha } \beta }(\tilde \sigma_{\nu})^{\dot {\beta } \alpha } = \varepsilon_{\dot {\alpha}\dot {\beta}}(\tilde \sigma_{\nu})^{\dot {\beta } \alpha }(\tilde {\sigma}_{\mu})^{\dot {\alpha } \beta } = (\sigma_{\nu}\tilde {\sigma}_{\mu})^{\alpha \beta } ,

можна отримати

\ M_{\mu \nu} = \frac{1}{8}\left( \left( (\tilde {\sigma}_{\mu}\sigma_{\nu})^{\dot {\alpha } \dot {\beta }} - (\tilde {\sigma}_{\nu}\sigma_{\mu})^{\dot {\alpha } \dot {\beta }}\right)h_{(\dot {\alpha }\dot {\beta })} +  \left( -( \sigma_{\mu}\tilde {\sigma}_{\nu})^{\alpha \beta } + ( \sigma_{\nu}\tilde {\sigma}_{\mu})^{ \alpha \beta }\right) h_{(\alpha \beta )} \right) = \frac{1}{2}(\sigma_{\mu \nu})^{\alpha \beta}h_{(\alpha \beta)} - \frac{1}{2}(\tilde {\sigma}_{\mu \nu})^{\dot {\alpha }\dot {\beta}}h_{(\dot {\alpha} \dot {\beta })}.

Доведення 4Edit

Комутаційні співвідношення генераторів групи Лоренца у спінорному представленні.

Частина 1Edit

Для подальшого треба згадати властивість \ (\sigma^{\mu})_{\alpha \dot {\alpha}}(\tilde {\sigma }_{\mu})^{\dot {\beta }\beta } = 2\delta^{\beta}_{\alpha}\delta^{\dot {\beta }}_{\dot {\alpha}}.

Згортка 1.

Користуючись визначеннями матриць, можна отримати

\ (\sigma^{\alpha \beta})_{a b }(\sigma^{\mu \nu})_{c d}g_{\alpha \mu} = \frac{1}{8}\left( -\varepsilon_{a c}(\sigma^{\beta }\tilde {\sigma}^{\nu})_{bd} - \varepsilon_{ad}(\sigma^{\beta}\tilde {\sigma}^{\nu})_{bc} - \varepsilon_{bc}(\sigma^{\beta}\tilde {\sigma}^{\nu})_{ad} - \varepsilon_{bd}(\sigma^{\beta }\tilde {\sigma}^{\nu})_{ac}\right).

Дійсно,

\ (\sigma^{\alpha \beta})_{a b }(\sigma^{\mu \nu})_{c d}g_{\alpha \mu} = \frac{1}{16}\left( (\sigma^{\alpha}\tilde {\sigma}^{\beta } )_{ab} - (\sigma^{\beta}\tilde {\sigma}^{\alpha } )_{ab}\right) \left( (\sigma^{\mu}\tilde {\sigma}^{\nu } )_{cd} - (\sigma^{\nu}\tilde {\sigma}^{\mu })_{cd}\right) g_{\alpha \mu} =

\ =\frac{1}{16}\left( (\sigma^{\alpha})_{a \dot {n}}(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\sigma^{\mu})_{c \dot {m} }(\tilde {\sigma}^{\nu })^{\dot {m}}_{\quad d} - (\sigma^{\alpha})_{a \dot {n}}(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\sigma^{\nu})_{c \dot {m} }(\tilde {\sigma}^{\mu })^{\dot {m}}_{\quad d} - (\sigma^{\beta })_{a \dot {n}}(\tilde {\sigma}^{\alpha })^{ \dot {n}}_{\quad b}(\sigma^{\mu})_{c \dot {m} }(\tilde {\sigma}^{\nu })^{\dot {m}}_{\quad d} + (\sigma^{\beta })_{a \dot {n}}(\tilde {\sigma}^{\alpha })^{ \dot {n}}_{\quad b}(\sigma^{\nu})_{c \dot {m} }(\tilde {\sigma}^{\mu })^{\dot {m}}_{\quad d}\right) g_{\alpha \mu } .

Тепер можна перетворити кожен з доданків перетворюваного виразу. Вони набудуть вигляду

\ (\sigma^{\alpha})_{a \dot {n}}(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\sigma^{\mu})_{c \dot {m} }(\tilde {\sigma}^{\nu })^{\dot {m}}_{\quad d}g_{\alpha \mu} = (\sigma^{\alpha})_{a \dot {n}}(\sigma_{\alpha})_{c \dot {m} }(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\tilde {\sigma}^{\nu })^{\dot {m}}_{\quad d} = \varepsilon_{c \delta}\varepsilon_{\dot {m}\dot {\delta}}(\sigma^{\alpha})_{a \dot {n}}(\tilde {\sigma}_{\alpha})^{\dot {\delta} \delta }(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\tilde {\sigma}^{\nu })^{\dot {m}}_{\quad d} = 2\varepsilon_{c \delta}\varepsilon_{\dot {m}\dot {\delta}} \delta^{\delta }_{a}\delta^{\dot {\delta }}_{\dot {n}}(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\tilde {\sigma}^{\nu })^{\dot {m}}_{\quad d} =

\ = 2\varepsilon_{c a}\varepsilon_{\dot {m}\dot {n}}(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\tilde {\sigma}^{\nu })^{\dot {m}}_{\quad d} = -2\varepsilon_{a c}(\sigma^{\beta})_{b \dot {m}}(\tilde {\sigma}^{\nu })^{\dot {m}}_{\quad d} = -2\varepsilon_{a c}(\sigma^{\beta }\tilde {\sigma}^{\nu})_{bd},

\ (\sigma^{\alpha})_{a \dot {n}}(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\sigma^{\nu})_{c \dot {m} }(\tilde {\sigma}^{\mu })^{\dot {m}}_{\quad d}g_{\alpha \mu} = (\sigma^{\alpha})_{a \dot {n}}(\tilde {\sigma}_{\alpha })^{\dot {m}}_{\quad d}(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\sigma^{\nu})_{c \dot {m} } = \varepsilon_{d\gamma}(\sigma^{\alpha})_{a \dot {n}}(\tilde {\sigma}_{\alpha })^{\dot {m}\gamma }(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\sigma^{\nu})_{c \dot {m} } = 2\varepsilon_{d\gamma}\delta^{\gamma}_{a}\delta^{\dot {m}}_{\dot {n}}(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\sigma^{\nu})_{c \dot {m} } =

\ = -2\varepsilon_{da}(\sigma^{\beta })_{b \dot {n}}(\tilde {\sigma}^{\nu})^{\dot {n}}_{\quad c} = 2\varepsilon_{ad}(\sigma^{\beta}\tilde {\sigma}^{\nu})_{bc},

\ (\sigma^{\beta })_{a \dot {n}}(\tilde {\sigma}^{\alpha })^{ \dot {n}}_{\quad b}(\sigma^{\mu})_{c \dot {m} }(\tilde {\sigma}^{\nu })^{\dot {m}}_{\quad d} = (\tilde {\sigma}^{\alpha })^{ \dot {n}}_{\quad b}(\sigma_{\alpha})_{c \dot {m} }(\sigma^{\beta })_{a \dot {n}}(\tilde {\sigma}^{\nu })^{\dot {m}}_{\quad d} = 2\varepsilon_{\beta \gamma}\delta^{\gamma}_{c}\delta^{\dot {n}}_{\dot {m}}(\sigma^{\beta })_{a \dot {n}}(\tilde {\sigma}^{\nu })^{\dot {m}}_{\quad d} = 2\varepsilon_{bc}(\sigma^{\beta}\tilde {\sigma}^{\nu})_{ad},

\ (\sigma^{\beta })_{a \dot {n}}(\tilde {\sigma}^{\alpha })^{ \dot {n}}_{\quad b}(\sigma^{\nu})_{c \dot {m} }(\tilde {\sigma}^{\mu })^{\dot {m}}_{\quad d} g_{\alpha \mu } = (\tilde {\sigma}^{\alpha })^{ \dot {n}}_{\quad b}(\tilde {\sigma}_{\alpha })^{\dot {m}}_{\quad d}(\sigma^{\beta })_{a \dot {n}}(\sigma^{\nu})_{c \dot {m} } = 2\varepsilon_{b \gamma}\varepsilon^{\dot {m}\dot {l}}\delta^{\gamma}_{d}\delta^{\dot {n}}_{\dot {l}}(\sigma^{\beta })_{a \dot {n}}(\sigma^{\nu})_{c \dot {m} } = -2\varepsilon_{bd}(\sigma^{\beta }\tilde {\sigma}^{\nu})_{ac},

де у передостанній рівності для другого доданку використана властивість антисиметричності за згорткою по індексам:

\ (\sigma^{\beta})^{\dot {n}}_{\quad b}(\sigma^{\nu})_{c\dot {m}} = -(\sigma^{\beta })_{b \dot {n}}(\tilde {\sigma}^{\nu})^{\dot {n}}_{\quad c} (див. розділ "Основні властивості...").

Отже,

\ (\sigma^{\alpha \beta})_{a b }(\sigma^{\mu \nu})_{c d}g_{\alpha \mu}g_{\alpha \mu} = \frac{1}{8}\left( -\varepsilon_{a c}(\sigma^{\beta }\tilde {\sigma}^{\nu})_{bd} - \varepsilon_{ad}(\sigma^{\beta}\tilde {\sigma}^{\nu})_{bc} - \varepsilon_{bc}(\sigma^{\beta}\tilde {\sigma}^{\nu})_{ad} - \varepsilon_{bd}(\sigma^{\beta }\tilde {\sigma}^{\nu})_{ac}\right).

Згортка 2.

\ (\sigma^{\alpha \beta})_{a b }(\sigma^{\mu \nu})_{c d}g_{\alpha \mu}g_{\beta \nu} = \varepsilon_{a c}\varepsilon_{bd} + \varepsilon_{ad}\varepsilon_{bc}.

Аналогічно,

\ (\sigma^{\alpha \beta})_{a b }(\sigma^{\mu \nu})_{c d}g_{\alpha \mu}g_{\beta \nu} = \frac{1}{8}\left( -\varepsilon_{a c}(\sigma^{\beta }\tilde {\sigma}^{\nu})_{bd} - \varepsilon_{ad}(\sigma^{\beta}\tilde {\sigma}^{\nu})_{bc} - \varepsilon_{bc}(\sigma^{\beta}\tilde {\sigma}^{\nu})_{ad} - \varepsilon_{bd}(\sigma^{\beta }\tilde {\sigma}^{\nu})_{ac}\right)g_{\beta \mu} =

\ =\left| \varepsilon_{a c}(\sigma^{\beta }\tilde {\sigma}^{\nu})_{bd}g_{\beta \mu} = \varepsilon_{a c}(\sigma^{\beta})_{b \dot {m}}(\tilde {\sigma}_{\beta})^{\dot {m}}_{d} = \varepsilon_{a c}\varepsilon_{d\gamma}(\sigma^{\beta})_{b \dot {m}}(\tilde {\sigma}_{\beta })^{\dot {m}\gamma} = 2\varepsilon_{a c}\varepsilon_{d \gamma}\delta^{\gamma}_{b}\delta^{\dot {m}}_{\dot {m}} = -4\varepsilon_{a c}\varepsilon_{bd}, ...\right| =

\ =\frac{1}{2}\left( \varepsilon_{a c}\varepsilon_{bd} + \varepsilon_{bc}\varepsilon_{ad} + \varepsilon_{ad}\varepsilon_{bc} + \varepsilon_{bd}\varepsilon_{ac} \right) = \varepsilon_{a c}\varepsilon_{bd} + \varepsilon_{ad}\varepsilon_{bc}.

Згортка 3.

\ (\tilde {\sigma}^{\alpha \beta})_{\dot {a} \dot {b} }(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu} = \frac{1}{8}\left(  \varepsilon_{\dot {a} \dot {c}}(\tilde {\sigma}^{\beta }\sigma^{\nu})_{\dot {b}\dot {d}} + \varepsilon_{\dot {a}\dot {d}}(\tilde {\sigma}^{\beta}\sigma^{\nu})_{\dot {b}\dot {c}} + \varepsilon_{\dot {b}\dot {c}}(\tilde {\sigma}^{\beta}\sigma^{\nu})_{\dot {a}\dot {d}} + \varepsilon_{\dot {b}\dot {d}}(\tilde {\sigma}^{\beta } \sigma^{\nu})_{\dot {a}\dot {c}}\right) .


\ (\tilde {\sigma}^{\alpha \beta})_{\dot {a} \dot {b} }(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu} =

\ = \frac{1}{16}\left((\tilde {\sigma}^{\alpha})_{\dot {a}}^{\quad d}(\sigma^{\beta })_{d \dot {b}}(\tilde {\sigma}^{\mu})_{\dot {c}}^{\quad m }(\sigma^{\nu })_{m \dot {d}} - (\tilde {\sigma}^{\alpha})_{\dot {a}}^{\quad n}(\sigma^{\beta })_{n \dot { b}}(\tilde {\sigma}^{\nu})_{\dot {c}}^{ \quad m}(\sigma^{\mu })_{m \dot {d}}\right) g_{\alpha \mu} +

\ +  \frac{1}{16}\left( -(\tilde {\sigma}^{\beta })_{\dot {a}}^{ \quad n }(\sigma^{\alpha })_{n \dot {b}}(\tilde {\sigma}^{\mu})_{\dot {c}}^{\quad  m}(\sigma^{\nu })_{m \dot {d}} + (\tilde{\sigma}^{\beta })_{\dot {a}}^{ \quad n}(\sigma^{\alpha })_{ n \dot {b}}(\tilde {\sigma}^{\nu})_{\dot {c}}^{\quad m }(\sigma^{\mu })_{m \dot {d}}\right) g_{\alpha \mu }.

Вираз буде абсолютно аналогічним виразу для першої згортки, взятому зі знаком мінус (звичайно, із заміною на точкові індекси), і переставленими тильдованими та не тильдованими матрицями. Це можна показати перетворенням першого доданку:

\ (\tilde {\sigma}^{\alpha})_{\dot {a}}^{\quad d}(\sigma^{\beta })_{d \dot {b}}(\tilde {\sigma}^{\mu})_{\dot {c}}^{\quad m }(\sigma^{\nu })_{m \dot {d}}g_{\alpha \mu} = (\tilde {\sigma}^{\alpha})_{\dot {a}}^{\quad d}(\tilde {\sigma}_{\alpha})_{\dot {c}}^{\quad m }(\sigma^{\beta })_{d \dot {b}}(\sigma^{\nu })_{m \dot {d}} = \varepsilon_{\dot {a}\dot {\gamma}}\varepsilon^{m k}(\tilde {\sigma}^{\alpha})^{\dot {\gamma } d}(\sigma_{\alpha})_{k \dot {c}}(\sigma^{\beta })_{d \dot {b}}(\sigma^{\nu })_{m \dot {d}} =

\ =2\varepsilon_{\dot {a}\dot {\gamma}}\varepsilon^{m k} \delta^{d}_{k}\delta^{\dot {\gamma}}_{\dot {c}}(\sigma^{\beta })_{d \dot {b}}(\sigma^{\nu })_{m \dot {d}} = 2\varepsilon_{\dot {a} \dot {c}}\varepsilon^{md}(\sigma^{\beta })_{d \dot {b}}(\sigma^{\nu })_{m \dot {d}} = 2\varepsilon_{\dot {a} \dot {c}}(\tilde {\sigma}^{\beta })_{\dot {b}}^{\quad m}(\sigma^{\nu })_{m \dot {d}} = 2\varepsilon_{\dot {a} \dot {c}}(\tilde {\sigma}^{\beta}\sigma^{\nu})_{\dot {b}\dot {d}}.

Таким чином,

\ (\tilde {\sigma}^{\alpha \beta})_{\dot {a} \dot {b} }(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu} = \frac{1}{8}\left(  \varepsilon_{\dot {a} \dot {c}}(\tilde {\sigma}^{\beta }\sigma^{\nu})_{\dot {b}\dot {d}} + \varepsilon_{\dot {a}\dot {d}}(\tilde {\sigma}^{\beta}\sigma^{\nu})_{\dot {b}\dot {c}} + \varepsilon_{\dot {b}\dot {c}}(\tilde {\sigma}^{\beta}\sigma^{\nu})_{\dot {a}\dot {d}} + \varepsilon_{\dot {b}\dot {d}}(\tilde {\sigma}^{\beta } \sigma^{\nu})_{\dot {a}\dot {c}}\right).

Згортка 4.

Аналогічно виразу для згортки 2,

\ (\tilde {\sigma}^{\alpha \beta})_{\dot {a} \dot {b} }(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu}g_{\beta \nu} = \varepsilon_{\dot {a} \dot {c}}\varepsilon_{\dot {b}\dot {d}} + \varepsilon_{\dot {a}\dot {d}}\varepsilon_{\dot {b}\dot {c}}.

Згортка 5.

\ (\sigma^{\alpha \beta})_{a b }(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu} = \frac{1}{8}\left( (\sigma^{\beta})_{b\dot {c}}(\sigma^{\nu})_{a\dot {d}} + (\sigma^{\beta })_{b \dot {d}}(\sigma^{\nu})_{a \dot {c}} + (\sigma^{\beta })_{a \dot {c}}(\sigma^{\nu})_{b \dot {d}} + (\sigma^{\beta})_{a \dot {d}}(\sigma^{\nu})_{b \dot {c}}\right) .

Дійсно,

\ (\sigma^{\alpha \beta})_{a b }(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu} = \frac{1}{16}\left( (\sigma^{\alpha})_{a \dot {n}}(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\tilde {\sigma}^{\mu})_{\dot {c}}^{\quad m }(\sigma^{\nu })_{m \dot {d}} - (\sigma^{\alpha})_{a \dot {n}}(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\tilde {\sigma}^{\nu})_{\dot {c}}^{ \quad m}(\sigma^{\mu })_{m \dot {d}}\right)g_{\alpha \mu} +

\ + \frac{1}{16}\left(-(\sigma^{\beta })_{a \dot {n}}(\tilde {\sigma}^{\alpha })^{ \dot {n}}_{\quad b}(\tilde {\sigma}^{\mu})_{\dot {c}}^{\quad  m}(\sigma^{\nu })_{m \dot {d}} + (\sigma^{\beta })_{a \dot {n}}(\tilde {\sigma}^{\alpha })^{ \dot {n}}_{\quad b}(\tilde {\sigma}^{\nu})_{\dot {c}}^{\quad m }(\sigma^{\mu })_{m \dot {d}} \right)g_{\alpha \mu} .

Після перетворення кожного з доданків за типом (на прикладі першого доданку)

\ (\sigma^{\alpha})_{a \dot {n}}(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\tilde {\sigma}^{\mu})_{\dot {c}}^{\quad m }(\sigma^{\nu })_{m \dot {d}}g_{\alpha \mu} = (\sigma^{\alpha})_{a \dot {n}}(\tilde {\sigma}_{\alpha})_{\dot {c}}^{\quad m }(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\sigma^{\nu })_{m \dot {d}} = \varepsilon_{\dot {c}\dot {\gamma}}(\sigma^{\alpha})_{a \dot {n}}(\tilde {\sigma}_{\alpha})^{\dot {\gamma} m }(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\sigma^{\nu })_{m \dot {d}} = 2\varepsilon_{\dot {c}\dot {\gamma }}\delta^{\dot {\gamma}}_{\dot {m}}\delta^{n}_{a}(\tilde {\sigma}^{\beta })^{ \dot {n}}_{\quad b}(\sigma^{\nu })_{m \dot {d}} =

\ = 2\varepsilon_{\dot {c}\dot {m}}(\tilde {\sigma}^{\beta })^{ \dot {m}}_{\quad b}(\sigma^{\nu })_{a \dot {d}} = 2(\sigma^{\beta } )_{b \dot {c}}(\sigma^{\nu })_{a \dot {d}}

можна отримати

\ (\sigma^{\alpha \beta})_{a b }(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu} = \frac{1}{8}\left( (\sigma^{\beta})_{b\dot {c}}(\sigma^{\nu})_{a\dot {d}} + (\sigma^{\beta })_{b \dot {d}}(\sigma^{\nu})_{a \dot {c}} + (\sigma^{\beta })_{a \dot {c}}(\sigma^{\nu})_{b \dot {d}} + (\sigma^{\beta})_{a \dot {d}}(\sigma^{\nu})_{b \dot {c}}\right).

Частина 2Edit

Перше та друге комутаційні співвідношення.

\ [J_{(\dot {a} \dot {b})}, J_{(\dot {c} \dot {d})}] = \frac{1}{4}(\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}[J_{\alpha \beta}, J_{\mu \nu}] = \frac{i}{4}(\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}\left( g_{\alpha \mu}J_{\beta \nu} - g_{\beta \mu}J_{\alpha \nu } + g_{\alpha \nu}J_{\mu \beta } - g_{\beta \nu}J_{\mu \alpha}\right) =

\ =\frac{i}{4}\left( (\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu}J_{\beta \nu} - (\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\beta \mu}J_{\alpha \nu } + (\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \nu}J_{\mu \beta } - (\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\beta \nu}J_{\mu \alpha}\right).

В силу антисиметричності тензора \ J_{\mu \nu} та матриці \ \tilde {\sigma}^{\mu \nu} = -\tilde {\sigma}^{\nu \mu} суму цих доданків можна звести до одного доданку. Дійсно, перейменовуючи німі індекси, для третього-четвертого доданків можна отримати:

\ (\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\beta \mu}J_{\alpha \nu } = (\tilde {\sigma }^{\beta \alpha })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu}J_{\beta \nu } = -(\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu}J_{\beta \nu},

\ (\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \nu}J_{\mu \beta } = -(\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \nu}J_{ \beta \mu } = -(\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\nu \mu})_{\dot {c} \dot {d}}g_{\alpha \mu}J_{ \beta \nu } = (\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu}J_{\beta \nu}, ,

\ (\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\beta \nu}J_{\mu \alpha} = -(\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\beta \nu}J_{\alpha \mu} = -(\tilde {\sigma }^{\beta \alpha })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\nu \mu})_{\dot {c} \dot {d}}g_{\alpha \mu}J_{\beta \nu} = -(\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu}J_{\beta \nu}.

Отже, знову використовуючи антисиметричність тензора \ J_{\mu \nu}, вищенаведені згортки, та перейменування німих індексів, можна отримати

\ [J_{(\dot {a} \dot {b})}, J_{(\dot {c} \dot {d})}] = i(\tilde {\sigma }^{\alpha \beta })_{\dot {a}\dot {b}}(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu}J_{\beta \nu} = \frac{i}{8}\left(  \varepsilon_{\dot {a} \dot {c}}(\tilde {\sigma}^{\beta }\sigma^{\nu})_{\dot {b}\dot {d}} + \varepsilon_{\dot {a}\dot {d}}(\tilde {\sigma}^{\beta}\sigma^{\nu})_{\dot {b}\dot {c}} + \varepsilon_{\dot {b}\dot {c}}(\tilde {\sigma}^{\beta}\sigma^{\nu})_{\dot {a}\dot {d}} + \varepsilon_{\dot {b}\dot {d}}(\tilde {\sigma}^{\beta } \sigma^{\nu})_{\dot {a}\dot {c}}\right) M_{\beta \nu} =

\ = \left| \varepsilon_{\dot {a} \dot {c}}(\tilde {\sigma}^{\beta }\sigma^{\nu})_{\dot {b}\dot {d}}J_{\beta \nu} = \frac{\varepsilon_{\dot {a} \dot {c}}}{2}\left((\tilde {\sigma}^{\beta }\sigma^{\nu})_{\dot {b}\dot {d}}J_{\beta \nu} + (\tilde {\sigma}^{\beta }\sigma^{\nu})_{\dot {b}\dot {d}}J_{\beta \nu}\right) = \frac{\varepsilon_{\dot {a} \dot {c}}}{2}\left( (\tilde {\sigma}^{\beta }\sigma^{\nu})_{\dot {b}\dot {d}}J_{\beta \nu} - (\tilde {\sigma}^{\beta }\sigma^{\nu})_{\dot {b}\dot {d}}J_{ \nu \beta }\right) = -2\varepsilon_{\dot {a} \dot {c}}(\tilde {\sigma}^{\nu \beta })_{\dot {b}\dot {d}}J_{\nu \beta }\right| =

\ = -\frac{i}{4}\left( \varepsilon_{\dot {a}\dot {c}}(\tilde {\sigma}^{\nu \beta })_{\dot {b}\dot {d}}J_{\nu \beta } + \varepsilon_{\dot {b}\dot {d}}(\tilde {\sigma}^{\nu \beta })_{\dot {b}\dot {d}}J_{\nu \beta } + \varepsilon_{\dot {b} \dot {d}}(\tilde {\sigma}^{\nu \beta })_{\dot {a}\dot {c}}J_{\nu \beta } + \varepsilon_{\dot {a}\dot {d}}(\tilde {\sigma}^{\nu \beta })_{\dot {b}\dot {c}}J_{\nu \beta } + \varepsilon_{\dot {b}\dot {c}}(\tilde {\sigma}^{\nu \beta })_{\dot {a}\dot {d}}J_{\nu \beta }\right) =

\ =\frac{i}{2}\left( \varepsilon_{\dot {a}\dot {c}}J_{(\dot {b} \dot {d})} + \varepsilon_{\dot {b} \dot {d}}J_{(\dot {a} \dot {c})} + \varepsilon_{\dot {a} \dot {d}}J_{(\dot {b} \dot {c})} + \varepsilon_{\dot {b} \dot {c}}J_{(\dot {a} \dot {d})}\right),

де було використане визначення

\ J_{(\dot {\alpha }\dot {\beta })} = -\frac{1}{2}(\tilde {\sigma}^{\mu \nu})_{\dot {\alpha} \dot {\beta}}J_{\mu \nu}.

Абсолютно аналогічно, використовуючи визначення

\ J_{(\alpha \beta)} = \frac{1}{2}(\sigma^{\mu \nu})_{\alpha \beta}J_{\mu \nu} ,

можна отримати комутатор

\ [J_{(a b)}, J_{(c d)}] = \frac{i}{2}\left( \varepsilon_{ac}J_{(bd)} + \varepsilon_{bd}J_{(ac)} + \varepsilon_{ad}J_{(bc)} + \varepsilon_{bc}J_{(ad)}\right).

Третє комутаційне співвідношення.

Виконуючи аналогічні дії, що були використані для отримання першого комутаційного співвідношення, можна отримати

\ [J_{(a b)}, J_{(\dot {c} \dot {d})}] = -i(\sigma^{\alpha \beta})_{a b }(\tilde {\sigma}^{\mu \nu})_{\dot {c} \dot {d}}g_{\alpha \mu}J_{\beta \nu} = -\frac{i}{8}\left( (\sigma^{\beta})_{b\dot {c}}(\sigma^{\nu})_{a\dot {d}} + (\sigma^{\beta })_{b \dot {d}}(\sigma^{\nu})_{a \dot {c}} + (\sigma^{\beta })_{a \dot {c}}(\sigma^{\nu})_{b \dot {d}} + (\sigma^{\beta})_{a \dot {d}}(\sigma^{\nu})_{b \dot {c}}\right)J_{\beta \nu}.

Такий вираз тотожньо рівен нулю, оскільки кожен з доданків \ (\sigma^{\beta})_{b\dot {c}}(\sigma^{\nu})_{a\dot {d}} є симетричним за індексами \ \beta , \nu, в той час як \ J_{\beta \nu} є антисиметричним.

Доведення 5Edit

Генератори Казиміра групи Лоренца у спінорному представленні.

\ [C_{1}, J_{(cd)}] = J^{(ab)}[J_{(ab)}, J_{(cd)}] + [J^{(ab)}, J_{(cd)}]J_{(ab)} = \left| [J^{(ab)}, J_{(cd)}] = \varepsilon^{a \alpha }\varepsilon^{b \beta }[J_{(\alpha \beta)}, J_{(cd)}]\right| =

\ \frac{i}{2}J^{(ab)}\left(\varepsilon_{ac}J_{(bd)} + \varepsilon_{bd}J_{(ac)} + \varepsilon_{ad}J_{(bc)} + \varepsilon_{bc}J_{(ad)}\right) + \frac{i}{2}\varepsilon^{a \alpha }\varepsilon^{b \beta }\left( \varepsilon_{\alpha c}J_{(\beta d)} + \varepsilon_{\alpha d}J_{(\beta c)} + \varepsilon_{\beta c}J_{(\alpha d)} + \varepsilon_{\beta d}J_{(\alpha c)}\right)J_{(ab)}.

Використовуючи властивість \ \varepsilon_{\alpha \beta}\varepsilon^{\beta \gamma} = \delta_{\alpha}^{\quad \gamma } = \delta^{\gamma}_{\quad \alpha}, а також - симетрію тензора \ J_{(ab)},

\ J_{(ab)} = J_{(ba)}, \quad J^{\alpha}_{\quad b} = \varepsilon^{\alpha a}J_{ab} = \varepsilon^{\alpha a}J_{ba} = J_{b}^{\quad \alpha},

можна отримати

\ [C_{1}, J_{(cd)}] = \frac{i}{2}\left( -J_{c}^{\quad b}J_{(bd)} - J_{d}^{\quad b}J_{(bc)} - J_{c}^{\quad a}J_{(ad)} - J_{d}^{\quad a}J_{(ac)} + J_{c}^{\quad b}J_{(bd)} + J_{d}^{\quad b}J_{(bc)} + J_{c}^{\quad a}J_{(ad)} + J_{d}^{\quad a}J_{(ac)}\right) = 0

Дійсно, наприклад, для першого та восьмого доданків справедливе перетворення

\ J^{(ab)}\varepsilon_{ac}J_{(bd)} = -J^{(ab)}\varepsilon_{ca}J_{(bd)} = -J_{c}^{\quad b}J_{(bd)} ,

\ \varepsilon^{a \alpha }\varepsilon^{b \beta } \varepsilon_{\beta d}J_{(\alpha c)}J_{(a b)} = \delta^{b}_{\quad d}J^{a}_{\quad c}J_{(ab)} = J_{c}^{\quad }J_{(ad)},

і вони скорочуються. Аналогічно - для інших пар.

Для комутатора \ [C_{2}, J_{(\dot {c} \dot {d})}] всі міркування - аналогічні.

Доведення 6Edit

Власні значення генераторів групи Лоренца у спінорному представленні.

\ (C_{1}\psi)_{a_{1}...a_{n}} = (J^{cd}J_{cd}\psi)_{a_{1}...a_{n}} = -\frac{i}{2}\sum_{i = 1}^{n}\left( \varepsilon_{a_{i}c}J^{cd}\psi_{da_{1}...\tilde {a}_{i}...a_{n}} + J^{cd}\varepsilon_{a_{i}d}\psi_{ca_{1}...\tilde {a}_{i}...a_{n}}\right) = -i\sum_{i = 1}^{n}\varepsilon_{a_{i}c}J^{cd}\psi_{da_{1}...\tilde {a}_{i}...a_{n}} =

\ =-\frac{1}{2}\sum_{i = 1}^{n}\varepsilon_{a_{i}c}\left( \delta^{d}_{d}\psi^{c}_{\quad a_{1}...\tilde {a}_{i}...a_{n}} + \delta^{c}_{d}\psi^{d}_{\quad a_{1}...\tilde {a}_{i}...a_{n}} + \sum_{j \neq i}^{n}\left( \delta^{d}_{a_{j}}\psi^{c}_{\quad da_{1}...\tilde {a}_{j}...\tilde {a}_{i}...a_{n}} + \delta^{c}_{a_{j}}\psi^{d}_{\quad da_{1}...\tilde {a}_{j}...\tilde {a}_{i}...a_{n}}\right) \right) =

\ =-\frac{1}{2}\sum_{i = 1}^{n}\left( 2\psi_{a_{1}...a_{n}} + \psi_{a_{1}...a_{n}}\right) - \frac{1}{2}\sum_{i, j \neq i}^{n}\left( \varepsilon_{a_{i}c}\psi^{c}_{\quad a_{1}...\tilde {a}_{i}...a_{n}} + \varepsilon_{a_{i}a_{j}}\psi^{d}_{\quad d a_{1}...\tilde {a}_{i}...\tilde {a}_{j}...a_{n}}\right) = -\frac{3n}{2}\psi_{a_{1}...a_{n}} - \frac{n(n - 1)}{2}\psi_{a_{1}...a_{n}} = -\frac{n(n + 2)}{2}\psi_{a_{1}...a_{n}},

де доданок з \ \varepsilon_{a_{i}a_{j}} рівен нулю, оскільки при підсумовуванні будуть суми вигляду \ \varepsilon_{a_{i}a_{j}} + \varepsilon_{a_{j}a_{i}}.

Інші рівності отримуються аналогічно.

Доведення 7Edit

Алгебра оператора просторової інверсії на спінорних представленнях.

Використовуючи вирази для співвідношень генераторів групи Лоренца у векторному формалізмі із оператором \ \hat {P} (див. розділ Оператор просторової інверсії...),

\ \hat {P}M_{0\alpha} = -M_{0\alpha }\hat {P}, \quad \hat {P}M_{\beta \gamma} = M_{\beta \gamma}\hat {P} \quad \beta , \gamma \neq 0,

можна отримати

\ \hat {P}M_{ab} = \hat {P}\frac{1}{2}(\sigma^{\mu \nu})_{ab}M_{\mu \nu} = \frac{1}{2}\hat {P}\left(2(\sigma^{0\alpha})_{ab}M_{0\alpha } + (\sigma^{\beta \gamma })_{ab}M_{\beta \gamma}\right) = \frac{1}{2}\left( -2(\sigma^{0\alpha })_{ab}M_{0\alpha}\hat {P} + (\sigma^{\beta \gamma})_{ab}M_{\beta \gamma}\hat {P}\right) =

\ = \left| \sigma^{0 \alpha} = -\frac{1}{4}\left( \sigma^{0}\tilde {\sigma}^{\alpha} - \sigma^{\alpha}\tilde {\sigma}^{0}\right) = -\frac{1}{4}\left( -\tilde {\sigma}^{0}\sigma^{\alpha} + \tilde {\sigma }^{\alpha }\sigma^{0}\right) = -\tilde {\sigma}^{0 \alpha}, \quad \sigma^{\beta \gamma} = \tilde {\sigma }^{\beta \gamma }\right| =

\ = \frac{1}{2}\left( 2(\tilde {\sigma}^{0 \alpha})_{ab}M_{0 \alpha} + (\tilde {\sigma}^{\beta \gamma})_{ab}M_{\beta \gamma}\hat {P}\right) \hat {P} = -M_{(\dot {a} \dot {b})}\hat {P}.

Аналогічно,

\ \hat {P}M_{(ab)} = -M_{(ab)}\hat {P}.

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.