Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

Определение [ править ]

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

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

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

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

Для мотивации отрицательной экспоненты см. Формулу замены в нечетном случае.

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

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

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

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

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

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

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

Свойства [ править ]

  • Березиниан всегда является единицей в кольце R 0 .
  • где обозначает супертранспонирование .

Березинский модуль [ править ]

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

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

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

См. Также [ править ]

Ссылки [ править ]