stringtranslate.com

Березинский

В математике и теоретической физике березиниан или супердетерминант является обобщением детерминанта на случай суперматриц . Назван в честь Феликса Березина . Березиниан играет роль, аналогичную детерминанту, при рассмотрении изменений координат для интегрирования на супермногообразии .

Определение

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

где str( X ) обозначает суперслед X. В отличие от классического определителя, березиниан определен только для обратимых суперматриц .

Простейшим случаем для рассмотрения является березиниан суперматрицы с элементами в поле K. Такие суперматрицы представляют собой линейные преобразования супервекторного пространства над K. Конкретная четная суперматрица — это блочная матрица вида

Такая матрица обратима тогда и только тогда, когда обе матрицы A и D являются обратимыми над K. Березиновская матрица X задается выражением

Для обоснования отрицательного показателя степени см. формулу подстановки в нечетном случае.

В более общем случае рассмотрим матрицы с элементами в суперкоммутативной алгебре R. Тогда четная суперматрица имеет вид

где A и D имеют четные элементы, а B и C — нечетные. Такая матрица обратима тогда и только тогда, когда и A , и D обратимы в коммутативном кольце R 0 ( четной подалгебре R ). В этом случае березиниан задается как

или, что то же самое,

Эти формулы хорошо определены, поскольку мы берем только определители матриц, элементы которых находятся в коммутативном кольце R 0 . Матрица

известно как дополнение Шура к A относительно

Нечетная матрица X может быть обратимой только в том случае, если число четных измерений равно числу нечетных измерений. В этом случае обратимость X эквивалентна обратимости JX , где

Тогда березиниан X определяется как

Характеристики

модуль Березина

Определитель эндоморфизма свободного модуля M можно определить как индуцированное действие на одномерную высшую внешнюю степень M. В суперсимметричном случае высшей внешней степени нет, но есть еще похожее определение березиниана следующим образом.

Предположим, что M — свободный модуль размерности ( p , q ) над R. Пусть A — (супер)симметричная алгебра S *( M *) дуальной M * для M. Тогда автоморфизм M действует на ext -модуль

(которая имеет размерность (1,0), если q четное, и размерность (0,1), если q нечетное)) как умножение на березиниан.

Смотрите также

Ссылки