Русская Википедия:Тождество Капелли

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Тождество Капелли — аналог матричного соотношения <math>\mathrm{det}(AB) = \mathrm{det}(A) \, \mathrm{det}(B)</math> для дифференциальных операторов с некоммутирующими элементами, связанных с представлением алгебры Ли <math>\mathfrak{gl}_n</math>. Используется для соотнесения инварианта <math>\mathsf f</math> с инвариантом <math>\Omega \mathsf f</math>, где <math>\Omega</math> — это Шаблон:Iw. Названо по имени Альфредо Капелли, установившего этот результат в 1887 году.

Формулировка

Пусть <math>x_{ij}</math> для <math>i, j = 1, \dots , n</math> — коммутирующие переменные и <math>E</math> — поляризационный оператор:

<math>E_{ij} = \sum_{a=1}^n x_{ia}\frac{\partial}{\partial x_{ja}}</math>.

Тождество Капелли утверждает, что следующие дифференциальные операторы, выраженные как определители, равны:

<math>

\begin{vmatrix} E_{11}+n-1 & \cdots &E_{1,n-1}& E_{1n} \\ \vdots& \ddots & \vdots&\vdots\\ E_{n-1,1} & \cdots & E_{n-1,n-1}+1&E_{n-1,n} \\ E_{n1} & \cdots & E_{n,n-1}& E_{nn} +0\end{vmatrix} = \begin{vmatrix} x_{11} & \cdots & x_{1n} \\ \vdots& \ddots & \vdots\\ x_{n1} & \cdots & x_{nn} \end{vmatrix} \begin{vmatrix} \frac{\partial}{\partial x_{11}} & \cdots &\frac{\partial}{\partial x_{1n}} \\ \vdots& \ddots & \vdots\\ \frac{\partial}{\partial x_{n1}} & \cdots &\frac{\partial}{\partial x_{nn}} \end{vmatrix}. </math>

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

<math>\det(A) = \sum_{\sigma \in S_n} \sgn(\sigma) A_{\sigma(1),1}A_{\sigma(2),2}\cdots A_{\sigma(n),n},</math>

где в произведении первыми идут элементы из первого столбца, затем из второй и так далее. Определитель во втором множителе правой части равенства есть Шаблон:Нп5, а в первом — определитель Капелли.

Операторы E_ij могут быть записаны в матричной форме:

<math>E = X D^t,</math>

где <math>E, X, D</math> — матрицы с элементами E_ij, x_ij, <math>\frac{\partial}{\partial x_{ij}}</math> соответственно. Если все элементы в этих матрицах коммутирующие, тогда очевидно <math>\det(E) = \det(X) \det(D^t)</math>. Тождество Капелли показывает, что, несмотря на некоммутируемость формуле выше можно придать смысл. Цена некоммутируемости — небольшая поправка: <math>(n-i)\delta_{ij}</math> в левой части равенства. В общем случае для некоммутирующих матриц такие формулы, как

<math>\det(AB)=\det(A)\det(B)</math>

не существуют, и само понятие определитель не имеет смысла. Именно поэтому тождество Капелли все ещё несколько загадочно, несмотря на многочисленные его доказательства. По-видимому, очень короткого доказательства не существует. Проверка тождества на прямую может быть сделано в качестве относительно несложного упражнения для n = 2, но уже для n = 3 прямая проверка будет слишком длиной.

Связь теории представлений

При рассмотрении общей ситуации предположим, что <math>n</math> и <math>m</math> два целых числа и <math>x_{ij}</math> для <math>i = 1, \dots, n, \ j = 1, \dots, m</math>, коммутирующие переменные. Переопределим <math>E_{ij}</math> почти так же, как раньше:

<math>E_{ij} = \sum_{a=1}^m x_{ia}\frac{\partial}{\partial x_{ja}}</math>,

с той лишь разницей, что индекс суммирования <math>a</math> пробегает значения от <math>1</math> до <math>m</math>. Легко видеть, что такие коммутаторы этих операторов удовлетворяют следующим соотношениям:

<math>[ E_{ij}, E_{kl}] = \delta_{jk}E_{il}- \delta_{il}E_{kj}</math>.

Здесь <math>[a,b]</math> означает коммутатор <math>ab-ba</math>. Это те же соотношения, которые выполняются для матриц <math>e_{ij}</math>, в которых стоят нули всюду, кроме позиции <math>(i,j)</math>, где находится 1. (Такие матрицы <math>e_{ij}</math> иногда называется матричными единицами). Отсюда заключаем, что отображение <math>\pi : e_{ij} \mapsto E_{ij} </math> определяет Представление алгебры Ли <math>\mathfrak{gl}_n</math> в векторном пространстве многочленов от <math>x_{ij}</math>.

Случай m = 1 и представление S^k Cⁿ

При рассмотрении частного случая m = 1 имеем x_i1, который будем сокращённо записывать как x_i:

<math>E_{ij} = x_i \frac{\partial}{\partial x_j}.</math>

В частности, для многочленов первой степени видно, что:

<math>E_{ij} x_k = \delta_{jk} x_i</math>.

Поэтому действие <math>E_{ij}</math> ограничивается пространством многочленов первой степени точно так же, как действие матричных единиц <math>e_{ij}</math> на векторах в <math>\mathbb{C}^{n}</math>. Таким образом, с точки зрения теории представления, подпространство многочленов первой степени это подпредставление алгебры Ли <math>\mathfrak{gl}_n</math>, которое мы отождествляем с стандартным представлением в <math>\mathbb{C}^{n}</math>. Далее видно, что дифференциальные операторы <math>E_{ij} </math> сохраняют степень многочленов, и следовательно многочлены каждой фиксированной степени образуют подпредставление алгебры Ли <math>\mathfrak{gl}_n</math>. Видно также, что пространство однородных многочленов степени k может быть определено симметричным тензором степени <math>S^k \mathbb{C}^n</math> стандартного представления <math>\mathbb C^n</math>.

Также может быть определена структура максимального Шаблон:Iw этих представлений. Одночлен <math>x^k_1</math> — это Шаблон:Iw. Действительно, <math>E_{ij} x^k_1=0</math> для i < j. Его максимальный вес равен (k, 0, … ,0), потому что <math>E_{ii} x^k_1= k \delta_{i1}x^k_1</math>.

Это представление иногда называют бозонным преставлением <math>\mathfrak{gl}_n</math>. Аналогичные формулы <math>E_{ij} = \psi_{i}\frac{\partial}{\partial \psi_{j}} </math> определяют так называемое фермионное представление, где <math>\psi_{i}</math> —антикоммутативные переменные. Снова, многочлены степени k образуют неприводимое подпредставление, изоморфное <math>\Lambda^k \mathbb{C}^{n}</math>, то есть антисимметричный тензор степени <math> \mathbb{C}^{n}</math>. Максимальный вес такого представления (0, …, 0, 1, 0, …, 0). Эти представления при k = 1, …, n являются фундаментальными представлениями <math>\mathfrak{gl}_n</math>.

Тождество Капелли для m = 1

Вернёмся к тождеству Капелли. Можно доказать следующее:

<math>\det(E+(n-i)\delta_{ij}) = 0, \qquad n>1 </math>.

Основная мотивация для этого равенства следующая: рассмотрим <math> E^c_{ij} = x_i p_j</math> для некоторых коммутирующий переменных <math>x_i, p_j</math>. Матрица <math> E^{c} </math> имеет ранг 1 и, следовательно, её определитель равен нулю. Элементы матрицы <math> E </math> определены аналогичными формулами, однако, её элементы не коммутируют. Тождество Капелли показывает, что коммутативное тождество <math> \det(E^{c})=0 </math> может быть сохранено при введении поправок <math> (n-i)\delta_{ij} </math> к матрице <math> E </math>.

Отметим также, что подобное тождество для характеристического многочлена:

<math>\det(t+E+(n-i)\delta_{ij}) = t^{[n]}+ \mathrm{Tr}(E)t^{[n-1]}, </math>

где <math>t^{[k]}=t(t+1) \cdots (t+k-1)</math>. Это некоммутативный аналог простого факта, что характеристический многочлен матрицы ранга 1 содержит только первые и вторые коэффициенты.

Рассмотрим пример для n = 2.

<math> \begin{align}

& \begin{vmatrix} t+ E_{11}+1 & E_{12} \\ E_{21} & t+ E_{22} \end{vmatrix} =\begin{vmatrix} t+ x_1 \partial_1+1 & x_1 \partial_2 \\ x_2 \partial_1 & t+ x_2 \partial_2 \end{vmatrix} \\[8pt] & = (t+ x_1 \partial_1+1 ) ( t+ x_2 \partial_2)- x_2 \partial_1 x_1 \partial_2 \\[6pt] & = t(t+1)+ t( x_1 \partial_1 + x_2 \partial_2) +x_1 \partial_1 x_2 \partial_2+x_2 \partial_2 -

x_2 \partial_1 x_1 \partial_2

\end{align} </math>

Используя

<math>\partial_1 x_1= x_1\partial_1+1,\partial_1 x_2= x_2\partial_1, x_1x_2=x_2x_1</math>

мы видим что это равно:

<math>

\begin{align} & {} \quad t(t+1)+ t( x_1 \partial_1 + x_2 \partial_2) +x_2 x_1 \partial_1 \partial_2+x_2 \partial_2 -

x_2  x_1 \partial_1 \partial_2 - x_2   \partial_2 \\[8pt]

& = t(t+1)+ t( x_1 \partial_1 + x_2 \partial_2)=t^{[2]}+ t\,\mathrm{Tr}(E). \end{align} </math>

Универсальная обёртывающая алгебра <math>U(\mathfrak{gl}_n)</math> и её центр

Интересным свойством определителя Капелли является то, что он коммутирует со всеми операторами E_ij, то есть, коммутаторы <math>[ E_{ij}, \det(E+(n-i)\delta_{ij})]</math> равны нулю.

Это утверждение может быть обобщено следующим образом. Рассмотрим любые элементы E_ij в любом кольце, удовлетворяющие соотношению на коммутатор <math>[ E_{ij}, E_{kl}] = \delta_{jk}E_{il}- \delta_{il}E_{kj}</math>, (например, они могут быть дифференциальными операторами, как указано выше, матричными единицами e_ij или любыми другими элементами). Определим элементы C_k следующим образом:

<math>\det(t+E+(n-i)\delta_{ij}) =

t^{[n]}+\sum_{k=n-1,\dots,0} t^{[k]} C_k, </math>

где <math>t^{[k]}=t(t+1)\cdots(t+k-1),</math>

тогда:

• элементы C_k коммутируют со всем элементами E_ij
• элементы C_k могут быть представлены формулами, аналогичным коммутативному случаю:

<math>C_k=\sum_{I=(i_1<i_2<\cdots<i_k)} \det(E+(k-i)\delta_{ij})_{II},</math>

то есть они являются суммами главных миноров матрицы E, по модулю поправок Капелли <math>+(k-i)\delta_{ij}</math>. В частности, элемент C₀ является определителем Капелли, рассмотренным выше.

Эти утверждения взаимосвязаны с тождеством Капелли, как будет показано ниже, и судя по всему, для них также не существует прямого короткого доказательства, несмотря на простоту формулировок.

Универсальная обёртывающая алгебра <math>U(\mathfrak{gl}_n)</math> может быть определена как алгебра, генерируемая E_ij связанными только соотношениями

<math>[ E_{ij}, E_{kl}] = \delta_{jk}E_{il}- \delta_{il}E_{kj}</math>.

Утверждение выше показывает, что элементы C_k принадлежат центру <math>U(\mathfrak{gl}_n)</math>. Более того можно доказать, что они — свободные генераторы центра <math>U(\mathfrak{gl}_n)</math>. Иногда они называются генераторами Капелли. Тождества Капелли для них будут рассмотрены ниже.

Рассмотрим пример при n = 2.

<math>

\begin{align} {}\quad \begin{vmatrix} t+ E_{11}+1 & E_{12} \\ E_{21} & t+ E_{22} \end{vmatrix} & = (t+ E_{11}+1)(t+ E_{22})-E_{21}E_{12} \\ & = t(t+1)+t(E_{11}+E_{22})+E_{11}E_{22}-E_{21}E_{12}+E_{22}. \end{align} </math>

Непосредственно проверяется, что элемент <math>(E_{11}+E_{22})</math> коммутирует с <math>E_{ij}</math>. (Это соответствует очевидному факту, что матрица тождества коммутирует со всеми другими матрицами). Более поучительной является проверка коммутативности второго элемента с <math>E_{ij}</math>. Проведём её для <math>E_{12}</math>:

<math>

[E_{12}, E_{11}E_{22}-E_{21}E_{12}+E_{22}] </math>

<math>

=[E_{12}, E_{11}] E_{22} + E_{11} [E_{12}, E_{22}] - [E_{12}, E_{21}] E_{12} - E_{21}[E_{12},E_{12}] +[E_{12},E_{22}]

</math>

<math>

=-E_{12} E_{22} + E_{11} E_{12} - (E_{11}- E_{22}) E_{12} - 0 +E_{12}

</math>

<math>

=-E_{12} E_{22} + E_{22} E_{12} +E_{12}= -E_{12} + E_{12}=0.

</math>

Мы видим, что наивный определитель <math> E_{11}E_{22}-E_{21}E_{12}</math> не коммутирует с <math>E_{12} </math> и поправка Капелли <math> +E_{22}</math> существенна для принадлежности центру.

Произвольное m и дуальные пары

Вернемся к общему случаю:

<math>E_{ij} = \sum_{a=1}^m x_{ia}\frac{\partial}{\partial x_{ja}},</math>

для произвольных n и m. Определение операторов E_ij можно записать в матричном виде: <math>E = X D^t</math>, где <math>E</math> это <math>n \times n </math> матрица с элементами <math>E_{ij}</math>; <math>X</math> это <math>n \times m </math> матрица с элементами <math>x_{ij}</math>; <math>D</math> это <math>n \times m </math> матрица с элементами <math>\frac{\partial}{\partial x_{ij}}</math>.

Тождества Капелли-Коши-Бине

Для произвольного m матрица E является произведением двух прямоугольных матриц: X и транспонированой к D. Если бы все элементы этих матриц коммутировали бы, тогда определитель матрицы E может быть выражен так называемой формулой Бине — Коши] через миноры X и D. Аналогичная формула существует и для матрицы E снова за небольшую плату введения поправки <math> E \rightarrow (E+(n-i)\delta_{ij}) </math>:

<math>\det(E+(n-i)\delta_{ij}) = \sum_{I=(1\le i_1<i_2<\cdots <i_n \le m)} \det(X_{I}) \det(D^t_{I})</math>,

В частности (подобно коммутативному случаю): если m<n, то <math>\det(E+(n-i)\delta_{ij}) =0 </math>; в случае m=n мы возвращаемся к тождеству выше.

Заметим, что подобно коммутативному случаю, можно выразить не только определитель чE, но и его миноры через миноры X и D:

<math>\det(E+(s-i)\delta_{ij})_{KL} = \sum_{I=(1\le i_1<i_2< \cdots <i_s \le m)} \det(X_{KI}) \det(D^t_{IL})</math>,

Здесь K = (k₁ < k₂ < … < k_s), L = (l₁ < l₂ < … < l_s) — произвольные мульти-индексы; как обычно <math>M_{KL} </math> обозначает подматрицу M образуемую элементами M _kalb. Обратите внимание, что поправка Капелли теперь содержит s, а не n как в предыдущей формуле. Заметим, что для s=1, поправка(s − i) исчезает и мы получаем просто определение E как произведение X и транспозиции D. Заметим также, что для произвольных K, L соответствующие миноры не коммутируют со всеми элементами E_ij, так что тождество Капелли существует не только для центральных элементов.

В качестве следствия из этой формулы и формулы для характеристичного многочлена из предыдущего раздела упомянем следующее:

<math>\det(t+E+(n-i)\delta_{ij}) = t^{[n]}+\sum_{k=n-1,\dots,0}t^{[k]} \sum_{I,J} \det(X_{IJ}) \det(D^t_{JI}),</math>

где <math> I=(1\le i_1<\cdots <i_k \le n),</math> <math> J=(1\le j_1< \cdots <j_k \le n) </math>. Эта формула аналогична коммутативному случаю, за исключением поправки <math>+(n-i)\delta_{ij} </math> в левой части и замены tⁿ на t^[n] в правой.

Соотношение с дуальными парами

Современный интерес к этим группам возник, благодаря Шаблон:Iw, который рассмотрел их в своей теории Шаблон:Iw. В случае первого ознакомления с этими идеями имеем дело с операторами <math>E_{ij} </math>. Такие операторы сохраняют степень многочленов. Рассмотрим многочлены первой степени: <math>E_{ij} x_{kl} = x_{il} \delta_{jk} </math>, мы видим что индекс l сохраняется. С точки зрения теории представлений многочлены первой степени могут быть отождествлены с прямым сложением представлений <math>\mathbb{C}^n \oplus \cdots \oplus \mathbb{C}^n </math>, здесь l-ое подпространство (l=1…m) натянуто на <math> x_{il} </math>, i = 1, …, n. Посмотрим ещё раз на векторное пространство:

<math>\mathbb{C}^n \oplus \cdots \oplus \mathbb{C}^n = \mathbb{C}^n \otimes \mathbb{C}^m .</math>

Такая точка зрения даёт первый намёк на симметрию между m и n. Чтобы взглянуть на эту идею глубже, рассмотрим:

<math>E_{ij}^\text{dual} = \sum_{a=1}^n x_{ai}\frac{\partial}{\partial x_{aj}}.</math>

Эти операторы задаются теми же формулами, что и <math>E_{ij}</math> за исключением перенумерации <math>i \leftrightarrow j</math>, следовательно, по тем же самыми аргументами, мы можем заключить, что <math>E_{ij}^\text{dual} </math> задаёт представление алгебры Ли <math>\mathfrak{gl}_m</math> в векторном пространстве многочленов x_ij. Прежде, чем идти дальше, обратим внимание на следующее свойство: дифференциальные операторы <math>E_{ij}^\text{dual} </math> коммутируют с дифференциальными операторами <math>E_{kl} </math>.

Группа Ли <math>GL_n \times GL_m </math> действует на векторном пространстве <math> \mathbb{C}^n \otimes \mathbb{C}^m </math> естественным образом. Можно показать, что соответствующее действие алгебры Ли <math>\mathfrak{gl}_n \times \mathfrak{gl}_m</math> задается дифференциальными операторами <math>E_{ij}</math> и <math> E_{ij}^\text{dual} </math> соответственно. Это объясняет коммутативность этих операторов.

Более того, справедливы следующие свойства:

• Дифференциальными операторами, коммутирующими с <math>E_{ij}</math>, являются все многочлены в <math>E_{ij}^\text{dual} </math>, и только они.
• Разложение векторного пространства многочленов в прямую сумму тензорных произведений неприводимых представлений <math>GL_n </math> and <math> GL_m </math> может быть задано следующим образом:

<math>\mathbb{C} [x_{ij}] = S(\mathbb{C}^n \otimes \mathbb{C}^m) = \sum_D \rho_n^D \otimes\rho_m^{D'}. </math>

Здесь слагаемые индексируются диаграммой Юнга D, а представления <math>\rho^D</math> взаимно неизоморфны. Диаграмма <math>{D} </math> определяет <math> {D'} </math> и наоборот.

• В частности представление большой группы <math> GL_n \times GL_m </math> такого, что каждое неприводимое представление входит только один раз.

Легко заметить сильное сходство с Шаблон:Iw

Обобщения

Обобщению тождества Капелли посвятили свои работы ряд физиков и математиков, среди них: Р. Хоув, Б. Констант, филдсовский медалист А. Окуньков, А. Сокал, Д. Зеильбергер.

Предположительно, первые обобщения были получены Гербертом Вестреном Тарнбуллом ещё в 1948 году, который нашёл обобщение для случая симметричных матриц (см. современный обзор в).

Остальные обобщения могут быть разделены на несколько групп. Большинство из них основаны на точке зрения алгебры Ли. Такие обобщения состоят из замены алгебры Ли <math>\mathfrak{gl}_n</math> на полупростую группу Ли и их Шаблон:Iw квантовую группу, и последующие развитие такого подхода. Также тождество может быть обобщено для других дуальных пар. И, наконец, можно рассматривать не только определитель матрицы E, но его перманент след его степеней и иммананты. Упомянем ещё несколько работШаблон:Уточнить:. Считалось в течение долгого времени, что тождество глубоко связано с полупростой группой Ли. Однако новое чисто алгебраическое обобщение тождества, которое было найдено в 2008 С. Карасиолло, А. Спортиелло, А. Сокалем, не имеет отношения к алгебре Ли.

Тождество Тёрнбулла для симметричных матриц

Рассмотрим симметричные матрицы

<math>

X=\begin{vmatrix} x_{11} & x_{12} & x_{13} &\cdots & x_{1n} \\ x_{12} & x_{22} & x_{23} &\cdots & x_{2n} \\ x_{13} & x_{23} & x_{33} &\cdots & x_{3n} \\ \vdots& \vdots & \vdots &\ddots & \vdots \\ x_{1n} & x_{2n} & x_{3n} &\cdots & x_{nn} \end{vmatrix}, D=\begin{vmatrix} 2 \frac{\partial} { \partial x_{11} } & \frac{\partial} {\partial x_{12}} & \frac{\partial} { \partial x_{13}} &\cdots & \frac{\partial}{\partial x_{1n} } \\[6pt] \frac{\partial} {\partial x_{12} } & 2 \frac{\partial} {\partial x_{22}} & \frac{\partial} { \partial x_{23}} &\cdots & \frac{\partial}{\partial x_{2n} } \\[6pt] \frac{\partial} {\partial x_{13} } & \frac{\partial} {\partial x_{23}} & 2\frac{\partial} { \partial x_{33}} &\cdots & \frac{\partial}{\partial x_{3n} } \\[6pt] \vdots& \vdots & \vdots &\ddots & \vdots \\ \frac{\partial} {\partial x_{1n} } & \frac{\partial} {\partial x_{2n}} & \frac{\partial} { \partial x_{3n}} &\cdots & 2 \frac{\partial}{\partial x_{nn} } \end{vmatrix} </math>

Герберт Тёрнбулл в 1948 году открыл следующее равенство:

<math>\det(XD+(n-i)\delta_{ij}) = \det(X) \det(D)</math>

Комбинаторное доказательство можно найти в работе, ещё одно доказательство и интересныеШаблон:Уточнить обобщения в работе, см. также обсуждение ниже.

Тождество Хоув-Умеда-Констант-Сахи для антисимметричных матриц

Рассмотрим антисимметричные матрицы

<math>

X=\begin{vmatrix} 0 & x_{12} & x_{13} &\cdots & x_{1n} \\ -x_{12} & 0 & x_{23} &\cdots & x_{2n} \\ -x_{13} & -x_{23} & 0 &\cdots & x_{3n} \\ \vdots& \vdots & \vdots &\ddots & \vdots \\ -x_{1n} & -x_{2n} & -x_{3n} &\cdots & 0 \end{vmatrix}, D=\begin{vmatrix} 0 & \frac{\partial} {\partial x_{12}} & \frac{\partial} {\partial x_{13}} &\cdots & \frac{\partial}{\partial x_{1n} } \\[6pt] -\frac{\partial} { \partial x_{12} } & 0 & \frac{\partial} { \partial x_{23}} &\cdots & \frac{\partial}{\partial x_{2n} } \\[6pt] -\frac{\partial} {\partial x_{13} } & -\frac{\partial} {\partial x_{23}} & 0 &\cdots & \frac{\partial}{\partial x_{3n} } \\[6pt] \vdots& \vdots & \vdots &\ddots & \vdots \\[6pt] -\frac{\partial} {\partial x_{1n} } & -\frac{\partial} {\partial x_{2n}} & -\frac{\partial} {\partial x_{3n}} &\cdots & 0 \end{vmatrix}. </math>

Тогда

<math>\det(XD+(n-i)\delta_{ij}) = \det(X) \det(D).</math>

Тождество Карасиолло — Спортиелло — Сокала для матриц Манина

Рассмотрим две матрицы М и Y над некоторым ассоциативным кольцом, которые удовлетворяет условию

<math>

[M_{ij}, Y_{kl}]= -\delta_{jk} Q_{il}</math>

для некоторых элементов Q_il. Иными словами элементы в j-ой столбце M коммутирует с элементами k-го ряда Y когда <math>j\neq k</math>, а в случае, когда <math>j = k</math>, коммутатор элементов M_ik и Y_kl зависит только от i, l, но не от k.

Предположим, что M это Шаблон:Iw (простейшим примером является матрица с коммутирующими элементами).

Тогда для случая квадратной матрицы

<math>\det(MY+ Q \,\mathrm{diag}(n-1, n-2, \dots , 1,0) ) = \det(M) \det(Y)</math>

Здесь Q это матрица с элементами Q_il, и diag(n − 1, n − 2, …, 1, 0) означает диагональную матрицу с элементами n − 1, n − 2, …, 1, 0 на диагонали.

См. предложение 1.2' формула (1.15) стр. 4, наша Y это транспозиция к их B.

Очевидно, оригинальное тождество Каппели — частный случай этого тождества. Кроме того, из этого тождества видно, что в первоначальном тождестве Каппели можно рассмотреть элементы

<math>

\frac{\partial} {\partial x_{ij} } + f_{ij}(x_{11},\dots,x_{kl},\dots)

</math>

для произвольных функций f_ij и тождество продолжает оставаться верным.

Тождество Мухина — Тарасова — Варченко и модель Годена

Формулировка

Рассмотрим матрицы X и D как в тождестве Капелли, то есть с элементами <math> x_{ij} </math> и <math> \partial_{ij} </math> на позиции (ij).

Пусть z — другая формальная переменная (коммутирующая с x). Пусть A и B — некоторые матрицы, элементы которых комплексные числа.

<math>

\det\left( \frac{\partial}{\partial_z} - A - X \frac{1}{z-B} D^t \right) </math>

<math>

={\det}^\text{рассчитать, как будто все коммутируют}_{\text{Поместить все }x\text{ и }z\text{ слева, в то время как все дифференцирования справа}} </math>

<math>

\left( \frac{\partial}{\partial_z} - A - X \frac{1}{z-B} D^t \right) </math>

Здесь первый определитель следует понимать, как всегда, как определитель по столбцам матрицы с некоммутативными записями. Второй определитель должен быть вычислен, помещающая (как будто все элементы коммутативны) все x и z слева, а все дифференцирования справа (такой рецепт называется Шаблон:Iw в квантовой механике).

Квантовая интегрируемая система Годена и теорема Талалаева

Матрица

<math>

L(z) = A + X \frac{1}{z-B} D^t </math>

это Шаблон:Iw для квантовой интегрируемой системы спиновая цепочкаШаблон:Термин Годена. Д. Талалаев решил давнюю проблему явного решения для полного набора законов сохранения квантового коммутирования в модели Годена, открыв следующую теорему.

Положим

<math>

\det\left(\frac{\partial}{\partial_z} - L(z) \right) =\sum_{i=0}^n H_i(z) \left(\frac{\partial}{\partial_z}\right)^i. </math>

Тогда для всех i, j, z, w

<math>

[ H_i(z), H_j(w) ]= 0,</math> то есть H_i(z) генерируют функции от z для дифференциальных операторов от x, которые все коммутируют. Так что они дают законы сохранения квантового коммутирования в модели Годена.

Перманенты, иммананты, след матрицы — «более высокие тождества Капелли»

Оригинальное тождество Капелли является утверждением об определителях. Позже аналогичные тождества были найдены для перманентов, имманентов и следа матрицы. Основанная на комбинаторном подходе, статья С. Г. Уильямсона была один из первых результатов в этом направлении.

Тождество Тёрнбулла для перманент антисимметричных матриц

Рассмотрим антисимметричные матрицы X и D с элементами x_ij и соответствующими производными, как в случае Хоув-Умеда-Констант-Сахи вышеШаблон:Переход.

Тогда

<math> \mathrm{perm}(X^tD -(n-i)\delta_{ij}) = \mathrm{perm}^\text{рассчитать, как будто все коммутируют}_{\text{Поместить все }x\text{ слева, в то время как все дифференцирования справа}}

( X^t D).

 </math>

Процитируем: «…говорится без доказательства в конце работы Тёрнбулла». Сами авторы следуют Тёрнбуллу — в самом конце их работы они пишут:

«Так как доказательство этого последнего тождества очень похоже на доказательства симметричного аналога Тёрнбулла (с небольшим отклонением), мы оставляем его в качестве поучительного и приятного упражнения для читателя».

Это равенство анализируется в работе.

Ссылки

• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation