|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| In mathematics, '''Capelli's identity''', named after {{harvs|first=Alfredo|last=Capelli|authorlink=Alfredo Capelli|year=1887|txt}}, is an analogue of the formula det(''AB'') = det(''A'') det(''B''), for certain matrices with noncommuting entries, related to the [[Lie algebra representation|representation theory of the Lie algebra]] <math>\mathfrak{gl}_n</math>. It can be used to relate an invariant ''ƒ'' to the invariant Ω''ƒ'', where Ω is [[Cayley's Ω process]].
| | If you present photography effectively, it helps you look much more properly at the globe around you. This means you can setup your mailing list and auto-responder on your wordpress site and then you can add your subscription form to any other blog, splash page, capture page or any other site you like. * A community forum for debate of the product together with some other customers in the comments spot. They found out all the possible information about bringing up your baby and save money at the same time. You can easily customize the titles of the posts in Word - Press blog in a way that only title comes in the new post link and not the date or category of posts. <br><br>As you know today Word - Press has turn out to be a tremendously popular open source publishing and blogging display place. The higher your blog ranks on search engines, the more likely people will find your online marketing site. It allows Word - Press users to easily use HTML5 the element enable native video playback within the browser. These four plugins will make this effort easier and the sites run effectively as well as make other widgets added to a site easier to configure. Once you've installed the program you can quickly begin by adding content and editing it with features such as bullet pointing, text alignment and effects without having to do all the coding yourself. <br><br>It is very easy to install Word - Press blog or website. The only problem with most is that they only offer a monthly plan, you never own the software and you can’t even install the software on your site, you must go to another website to manage your list and edit your autoresponder. You can now search through the thousands of available plugins to add all kinds of functionality to your Word - Press site. To turn the Word - Press Plugin on, click Activate on the far right side of the list. There are plenty of tables that are attached to this particular database. <br><br>If you have any questions relating to where and how to use [http://abuse.by-svet.com/?url=https://wordpress.org/plugins/ready-backup/ wordpress dropbox backup], you can call us at our page. There has been a huge increase in the number of developers releasing free premium Word - Press themes over the years. Russell HR Consulting provides expert knowledge in the practical application of employment law as well as providing employment law training and HR support services. Some examples of its additional features include; code inserter (for use with adding Google Analytics, Adsense section targeting etc) Webmaster verification assistant, Link Mask Generator, Robots. Fast Content Update - It's easy to edit or add posts with free Wordpress websites. Make sure you have the latest versions of all your plugins are updated. <br><br>Internet is not only the source for information, it is also one of the source for passive income. I'm a large fan of using Word - Press to create pretty much any sort of web page. Just download it from the website and start using the same. This is because of the customization that works as a keystone for a SEO friendly blogging portal website. The 2010 voting took place from July 7 through August 31, 2010. |
| | |
| ==Statement==
| |
| Suppose that ''x''<sub>''ij''</sub> for ''i'',''j'' = 1,...,''n'' are commuting variables. Write ''E''<sub>ij</sub> for the polarization operator
| |
| :<math>E_{ij} = \sum_{a=1}^n x_{ia}\frac{\partial}{\partial x_{ja}}.</math>
| |
| | |
| The Capelli identity states that the following differential operators, expressed as determinants, are equal:
| |
| :<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>
| |
| | |
| Both sides are differential operators. The determinant on the left has non-commuting entries, and is expanded with all terms preserving their "left to right" order. Such a determinant is often called a ''column-determinant'', since it can be obtained by the column expansion of the determinant starting from the first column. It can be formally written as
| |
| | |
| :<math>\det(A) = \sum_{\sigma \in S_n} \sgn(\sigma) A_{\sigma(1),1}A_{\sigma(2),2}\cdots A_{\sigma(n),n},</math>
| |
| | |
| where in the product first come the elements from the first column, then from the second and so on. The determinant on the far right is [[Cayley's omega process]], and the one on the left is the Capelli determinant.
| |
| | |
| The operators ''E''<sub>ij</sub> can be written in a matrix form:
| |
| | |
| :<math>E = X D^t,</math>
| |
| | |
| where <math>E, X, D</math> are matrices with elements ''E''<sub>ij</sub>, ''x''<sub>ij</sub>, <math>\frac{\partial}{\partial x_{ij}}</math> respectively. If all elements in these matrices would be commutative then clearly <math>\det(E) = \det(X) \det(D^t)</math>. The Capelli identity shows that despite noncommutativity there exists a "quantization" of the formula above. The only price for the noncommutivity is a small correction: <math>(n-i)\delta_{ij}</math> on the left hand side. For generic noncommutative matrices formulas like
| |
| | |
| :<math>\det(AB)=\det(A)\det(B)</math>
| |
| do not exist, and the notion of the 'determinant' itself does not make sense for generic noncommutative matrices. That is why the Capelli identity still holds some mystery, despite many proofs offered for it. A very short proof does not seem to exist. Direct verification of the statement can be given as an exercise for ''n' = 2, but is already long for ''n'' = 3.
| |
| | |
| ==Relations with representation theory==
| |
| | |
| Consider the following slightly more general context. Suppose that ''n'' and ''m'' are two integers and ''x''<sub>''ij''</sub> for ''i'' = 1,...,''n'',''j'' = 1,...,''m'', be commuting variables. Redefine ''E''<sub>ij</sub> by almost the same formula:
| |
| | |
| :<math>E_{ij} = \sum_{a=1}^m x_{ia}\frac{\partial}{\partial x_{ja}}.</math>
| |
| | |
| with the only difference that summation index ''a'' ranges from 1 to ''m''. One can easily see that such operators satisfy the commutation relations:
| |
| | |
| :<math>[ E_{ij}, E_{kl}] = \delta_{jk}E_{il}- \delta_{il}E_{kj}.~~~~~~~~~</math>
| |
| | |
| Here <math>[a,b]</math> denotes the [[commutator]] <math>ab-ba</math>. These are the same commutation relations which are satisfied by the matrices <math>e_{ij}</math> which have zeros everywhere except the position (i,j), where 1 stands. (<math>e_{ij}</math> are sometimes called ''matrix units''). Hence we conclude that the correspondence <math>\pi : e_{ij} \mapsto E_{ij} </math> defines a [[Lie algebra representation|representation of the Lie algebra]] <math>\mathfrak{gl}_n</math> in the vector space of polynomials of ''x''<sub>''ij''</sub>.
| |
| | |
| ===Case ''m'' = 1 and representation ''S''<sup>''k''</sup> C<sup>''n''</sup> ===
| |
| | |
| It is especially instructive to consider the special case ''m'' = 1; in this case we have ''x''<sub>''i1''</sub>, which is abbreviated as ''x''<sub>''i''</sub>:
| |
| | |
| :<math>E_{ij} = x_i \frac{\partial}{\partial x_j}.</math>
| |
| | |
| In particular, for the polynomials of the first degree it is seen that:
| |
| | |
| :<math>E_{ij} x_k = \delta_{jk} x_i. ~~~~~~~~~~~~~~</math>
| |
| | |
| Hence the action of <math>E_{ij}</math> restricted to the space of first-order polynomials is exactly the same as the action of ''matrix units'' <math>e_{ij}</math> on vectors in <math>\mathbb{C}^{n}</math>. So, from the representation theory point of view, the subspace of polynomials of first degree is a [[Representation theory|subrepresentation]] of the Lie algebra <math>\mathfrak{gl}_n</math>, which we identified with the standard representation in <math>\mathbb{C}^{n}</math>. Going further, it is seen that the differential operators <math>E_{ij} </math> preserve the degree of the polynomials, and hence the polynomials of each fixed degree form a [[Representation theory|subrepresentation]] of the Lie algebra <math>\mathfrak{gl}_n</math>. One can see further that the space of homogeneous polynomials of degree ''k'' can be identified with the symmetric tensor power <math>S^k \mathbb{C}^n</math> of the standard representation <math>\mathbb C^n</math>.
| |
| | |
| One can also easily identify the [[highest weight]] structure of these representations. The monomial <math>x^k_1</math> is a [[highest weight vector]], indeed: <math>E_{ij} x^k_1=0</math> for ''i'' < ''j''. Its highest weight equals to (''k'', 0, ... ,0), indeed: <math>E_{ii} x^k_1= k \delta_{i1}x^k_1</math>.
| |
| | |
| Such representation is sometimes called bosonic representation of <math>\mathfrak{gl}_n</math>. Similar formulas <math>E_{ij} = \psi_{i}\frac{\partial}{\partial \psi_{j}} </math> define the so-called fermionic representation, here <math>\psi_{i}</math> are anti-commuting variables. Again polynomials of ''k''-th degree form an irreducible subrepresentation which is isomorphic to <math>\Lambda^k \mathbb{C}^{n}</math> i.e. anti-symmetric tensor power of <math> \mathbb{C}^{n}</math>. Highest weight of such representation is (0, ..., 0, 1, 0, ..., 0). These representations for ''k'' = 1, ..., ''n'' are [[fundamental representation]]s of <math>\mathfrak{gl}_n</math>.
| |
| | |
| ==== Capelli identity for ''m'' = 1 ====
| |
| | |
| Let us return to the Capelli identity. One can prove the following:
| |
| | |
| :<math>\det(E+(n-i)\delta_{ij}) = 0, \qquad n>1 </math>
| |
| | |
| the motivation for this equality is the following: consider <math> E^c_{ij} = x_i p_j</math> for some commuting variables <math>x_i, p_j</math>. The matrix <math> E^{c} </math> is of rank one and hence its determinant is equal to zero. Elements of matrix <math> E </math> are defined by the similar formulas, however, its elements do not commute. The Capelli identity shows that the commutative identity: <math> \det(E^{c})=0 </math> can be preserved for the small price of correcting matrix <math> E </math> by <math> (n-i)\delta_{ij} </math>.
| |
| | |
| Let us also mention that similar identity can be given for the characteristic polynomial:
| |
| | |
| :<math>\det(t+E+(n-i)\delta_{ij}) = t^{[n]}+ \mathrm{Tr}(E)t^{[n-1]}, ~~~~ </math>
| |
| | |
| where <math>t^{[k]}=t(t+1) \cdots (t+k-1)</math>. The commutative counterpart of this is a simple fact that for rank = 1 matrices the characteristic polynomial contains only the first and the second coefficients.
| |
| | |
| Let us consider an example for ''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>
| |
| | |
| Using
| |
| | |
| : <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>
| |
| | |
| we see that this is equal to:
| |
| | |
| : <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>
| |
| | |
| === The universal enveloping algebra <math>U(\mathfrak{gl}_n)</math> and its center ===
| |
| An interesting property of the Capelli determinant is that it commutes with all operators ''E<sub>ij</sub>'', that is the [[commutator]] <math>[ E_{ij}, \det(E+(n-i)\delta_{ij})]=0</math> is equal to zero. It can be generalized:
| |
| | |
| Consider any elements ''E<sub>ij</sub>'' in any ring, such that they satisfy the commutation relation <math>[ E_{ij}, E_{kl}] = \delta_{jk}E_{il}- \delta_{il}E_{kj}</math>, (so they can be differential operators above, matrix units ''e<sub>ij</sub>'' or any other elements) define elements ''C<sub>k</sub>'' as follows:
| |
| | |
| :<math>\det(t+E+(n-i)\delta_{ij}) =
| |
| t^{[n]}+\sum_{k=n-1,\dots,0} t^{[k]} C_k, ~~~~~ </math>
| |
| | |
| where <math>t^{[k]}=t(t+1)\cdots(t+k-1),</math>
| |
| | |
| then:
| |
| | |
| * elements ''C<sub>k</sub>'' commute with all elements ''E<sub>ij</sub>''
| |
| | |
| * elements ''C<sub>k</sub>'' can be given by the formulas similar to the commutative case:
| |
| :<math>C_k=\sum_{I=(i_1<i_2<\cdots<i_k)} \det(E+(k-i)\delta_{ij})_{II},</math>
| |
| | |
| i.e. they are sums of principal minors of the matrix ''E'', modulo the ''Capelli correction'' <math>+(k-i)\delta_{ij}</math>. In particular element ''C<sub>0</sub>'' is the Capelli determinant considered above.
| |
| | |
| These statements are interrelated with the Capelli identity, as will be discussed below, and similarly to it the direct few lines short proof does not seem to exist, despite the simplicity of the formulation. | |
| | |
| The [[universal enveloping algebra]]
| |
| | |
| :<math>U(\mathfrak{gl}_n)</math>
| |
| | |
| can defined as an algebra generated by
| |
| | |
| :''E<sub>ij</sub>''
| |
| | |
| subject to the relations
| |
| | |
| :<math>[ E_{ij}, E_{kl}] = \delta_{jk}E_{il}- \delta_{il}E_{kj}</math>
| |
| | |
| alone. The proposition above shows that elements ''C<sub>k</sub>''belong to the [[Center (algebra)|center]] of <math>U(\mathfrak{gl}_n)</math>. It can be shown that they actually are free generators of the center of <math>U(\mathfrak{gl}_n)</math>. They are sometimes called ''Capelli generators''. The Capelli identities for them will be discussed below.
| |
| | |
| Consider an example for ''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>
| |
| | |
| It is immediate to check that element <math>(E_{11}+E_{22})</math> commute with <math>E_{ij}</math>. (It corresponds to an obvious fact that the identity matrix commute with all other matrices). More instructive is to check commutativity of the second element with <math>E_{ij}</math>. Let us do it for <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>
| |
| | |
| We see that the naive determinant <math> E_{11}E_{22}-E_{21}E_{12}</math> will not commute with <math>E_{12} </math> and the Capelli's correction <math> +E_{22}</math> is essential to ensure the centrality.
| |
| | |
| ===General ''m'' and dual pairs ===
| |
| | |
| Let us return to the general case:
| |
| | |
| :<math>E_{ij} = \sum_{a=1}^m x_{ia}\frac{\partial}{\partial x_{ja}},</math>
| |
| for arbitrary ''n'' and ''m''. Definition of operators ''E''<sub>ij</sub> can be written in a matrix form: <math>E = X D^t</math>, where <math>E</math> is <math>n \times n </math> matrix with elements <math>E_{ij}</math>; <math>X</math> is <math>n \times m </math> matrix with elements <math>x_{ij}</math>; <math>D</math> is <math>n \times m </math> matrix with elements <math>\frac{\partial}{\partial x_{ij}}</math>.
| |
| | |
| '''Capelli–Cauchy–Binet identities'''
| |
| | |
| For general ''m'' matrix ''E'' is given as product of the two rectangular matrices: ''X'' and transpose to ''D''. If all elements of these matrices would commute then one knows that the determinant of ''E'' can be expressed by the so-called [[Cauchy–Binet formula]] via [[major and minor|minor]]s of ''X'' and ''D''. An analogue of this formula also exists for matrix ''E'' again for the same mild price of the correction <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>,
| |
| | |
| In particular (similar to the commutative case): if ''m<n'', then <math>\det(E+(n-i)\delta_{ij}) =0 </math>; if ''m=n'' we return to the identity above.
| |
| | |
| Let us also mention that similar to the commutative case (see [[Minor (linear algebra)#Applications|Cauchy–Binet for minors]]), one can express not only the determinant of ''E'', but also its minors via minors of ''X'' and ''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>,
| |
| | |
| Here ''K'' = (''k''<sub>1</sub> < ''k''<sub>2</sub> < ... < ''k''<sub>''s''</sub>), ''L'' = (''l''<sub>1</sub> < ''l''<sub>2</sub> < ... < ''l''<sub>''s''</sub>), are arbitrary multi-indexes; as usually <math>M_{KL} </math> denotes a submatrix of ''M'' formed by the elements ''M<sub> k<sub>a</sub>l<sub>b</sub></sub>''. Pay attention that the Capelli correction now contains ''s'', not ''n'' as in previous formula. Note that for ''s=1'', the correction (''s'' − ''i'') disappears and we get just the definition of ''E'' as a product of ''X'' and transpose to ''D''. Let us also mention that for generic ''K,L'' corresponding minors do not commute with all elements ''E<sub>ij</sub>'', so the Capelli identity exists not only for central elements.
| |
| | |
| As a corollary of this formula and the one for the characteristic polynomial in the previous section let us mention the following:
| |
| | |
| :<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>
| |
| | |
| where <math> I=(1\le i_1<\cdots <i_k \le n),</math> <math> J=(1\le j_1< \cdots <j_k \le n) </math>. This formula is similar to the commutative case, modula <math>+(n-i)\delta_{ij} </math> at the left hand side and ''t<sup>[n]</sup>'' instead of ''t<sup>n</sup>'' at the right hand side.
| |
| | |
| '''Relation to dual pairs'''
| |
| | |
| Modern interest in these identities has been much stimulated by [[Roger Evans Howe|Roger Howe]] who considered them in his theory of [[Howe duality|reductive dual pairs]] (also known as Howe duality). To make the first contact with these ideas, let us look more precisely on operators <math>E_{ij} </math>. Such operators preserve the degree of polynomials. Let us look at the polynomials of degree 1: <math>E_{ij} x_{kl} = x_{il} \delta_{jk} </math>, we see that index ''l'' is preserved. One can see that from the representation theory point of view polynomials of the first degree can be identified with direct sum of the representations <math>\mathbb{C}^n \oplus \cdots \oplus \mathbb{C}^n </math>, here ''l''-th subspace (''l=1...m'') is spanned by <math> x_{il} </math>, ''i'' = 1, ..., ''n''. Let us give another look on this vector space:
| |
| | |
| :<math>\mathbb{C}^n \oplus \cdots \oplus \mathbb{C}^n = \mathbb{C}^n \otimes \mathbb{C}^m .</math>
| |
| | |
| Such point of view gives the first hint of symmetry between ''m'' and ''n''. To deepen this idea let us consider:
| |
| | |
| :<math>E_{ij}^\text{dual} = \sum_{a=1}^n x_{ai}\frac{\partial}{\partial x_{aj}}.</math>
| |
| | |
| These operators are given by the same formulas as <math>E_{ij}</math> modula renumeration <math>i \leftrightarrow j</math>, hence by the same arguments we can deduce that <math>E_{ij}^\text{dual} </math> form a [[Lie algebra representation|representation of the Lie algebra]] <math>\mathfrak{gl}_m</math> in the vector space of polynomials of ''x''<sub>''ij''</sub>. Before going further we can mention the following property: differential operators <math>E_{ij}^\text{dual} </math> commute with differential operators <math>E_{kl} </math>.
| |
| | |
| The Lie group <math>GL_n \times GL_m </math> acts on the vector space <math> \mathbb{C}^n \otimes \mathbb{C}^m </math> in a natural way. One can show that the corresponding action of Lie algebra <math>\mathfrak{gl}_n \times \mathfrak{gl}_m</math> is given by the differential operators <math>E_{ij}~~~~</math> and <math> E_{ij}^\text{dual} </math> respectively. This explains the commutativity of these operators.
| |
| | |
| The following deeper properties actually hold true:
| |
| | |
| * The only differential operators which commute with <math>E_{ij}~~~~</math> are polynomials in <math> E_{ij}^\text{dual} </math>, and vice versa.
| |
| | |
| * Decomposition of the vector space of polynomials into a direct sum of tensor products of irreducible representations of <math>GL_n </math> and <math> GL_m </math> can be given as follows:
| |
| | |
| : <math>\mathbb{C} [x_{ij}] = S(\mathbb{C}^n \otimes \mathbb{C}^m) = \sum_D \rho_n^D \otimes\rho_m^{D'}. </math>
| |
| | |
| The summands are indexed by the [[Young diagram]]s ''D'', and representations <math>\rho^D</math> are mutually non-isomorphic. And diagram <math>{D} </math> determine <math> {D'} </math> and vice versa.
| |
| | |
| * In particular the representation of the big group <math> GL_n \times GL_m </math> is multiplicity free, that is each irreducible representation occurs only one time.
| |
| | |
| One easily observe the strong similarity to [[Schur–Weyl duality]].
| |
| | |
| ==Generalizations==
| |
| | |
| Much work have been done on the identity and its generalizations. Approximately two dozens of mathematicians and physicists contributed to the subject, to name a few: [[Roger Evans Howe|R. Howe]], [[Bertram Kostant|B. Kostant]]<ref>{{citation | title=The Capelli Identity, tube domains, and the generalized Laplace transform | year=1991 | first1=B. | last1=Kostant |author1-link=Bertram Kostant | first2=S. | last2=Sahi |journal=Advances in Math. | volume=87 | pages=71–92 | doi=10.1016/0001-8708(91)90062-C}}</ref><ref>{{citation |doi=10.1007/BF01232451| title=Jordan algebras and Capelli identities| year=1993 | first1=B. | last1=Kostant |author1-link=Bertram Kostant
| |
| | first2=S. | last2=Sahi |journal=[[Inventiones Mathematicae]] | volume=112| issue=1 | pages=71–92}}</ref> [[Fields Medal|Fields medalist]] [[Andrei Okounkov|A. Okounkov]]<ref name="Okounkov1">{{citation | title=Quantum Immanants and Higher Capelli Identities| year=1996 | first1=A. | last1=Okounkov |author1-link=Andrei Okounkov | arxiv=q-alg/9602028}}</ref><ref name="Okounkov2">{{citation | title=Young Basis, Wick Formula, and Higher Capelli Identities | year=1996 | first1=A. | last1=Okounkov |author1-link=Andrei Okounkov |arxiv=q-alg/9602027 }}</ref> [[Alan Sokal|A. Sokal]],<ref name="Sokal">{{citation | title=Noncommutative determinants, Cauchy–Binet formulae, and Capelli-type identities. I. Generalizations of the Capelli and Turnbull identities | year=2008 | first1=S. | last1=Caracciolo | first2=A. | last2=Sportiello | first3=A. | last3=Sokal|author3-link=Alan Sokal | arxiv=0809.3516}}</ref> [[Zeilberger|D. Zeilberger]].<ref name="FoataZeilberger">{{citation | title=Combinatorial Proofs of Capelli's and Turnbull's Identities from Classical Invariant Theory | year=1993 | first1=D. | last1=Foata | first2=D. | last2=Zeilberger |author2-link=Zeilberger | arxiv=math/9309212}}</ref>
| |
| | |
| It seems historically the first generalizations were obtained by [[Herbert Westren Turnbull]] in 1948,<ref name="Turnbull48">{{citation | title=Symmetric determinants and the Cayley and Capelli operators | year=1948 | first1= Herbert Westren | last1=Turnbull |journal=[[Proc. Edinburgh Math. Soc.]] | volume=8| issue=2 | pages=76–86 | doi=10.1017/S0013091500024822 }}</ref> who found the generalization for the case of symmetric matrices (see<ref name="Sokal"/><ref name="FoataZeilberger"/> for modern treatments).
| |
| | |
| The other generalizations can be divided into several patterns. Most of them are based on the Lie algebra point of view. Such generalizations consist of changing Lie algebra <math>\mathfrak{gl}_n</math> to [[Simple Lie group|simple Lie algebras]] <ref>{{citation | title=Capelli Identities for Classical Lie Algebras | year=1997 | first1=A. | last1=Molev |author1-link=Alexander Molev| first2=M. | last2=Nazarov | arxiv=q-alg/9712021 }}</ref> and their [[Lie superalgebra|super]]<ref>{{citation | title=Factorial supersymmetric Schur functions and super Capelli identities | year=1996 | first1=A. | last1=Molev |author1-link=Alexander Molev| arxiv=q-alg/9606008}}</ref><ref>{{citation | title=Capelli identities for Lie superalgebras| year=1996 | first1=M. | last1=Nazarov | arxiv=q-alg/9610032 }}</ref> [[quantum group|(q)]],<ref>{{citation | title=A quantum analogue of the Capelli identity and an elementary differential calculus on GLq(n)| year=1994 | first1=M. | last1=Noumi | first2=T. | last2=Umeda | first3=M. | last3=Wakayma | journal = [[Duke Mathematical Journal]] | volume = 76 | issue= 2 | pages=567–594|doi = 10.1215/S0012-7094-94-07620-5|url = http://projecteuclid.org/euclid.dmj/1077286975}}</ref><ref>{{citation | title= Dual pairs, spherical harmonics and a Capelli identity in quantum group theory | year=1996 | first1=M. | last1=Noumi | first2=T. | last2=Umeda | first3=M. | last3=Wakayma | journal = Compositio Mathematica | volume = 104 | issue= 2 | pages=227–277|doi = |url = http://www.numdam.org/item?id=CM_1996__104_3_227_0}}</ref> and current versions.<ref>{{citation | title=A generalization of the Capelli identity | year=2006 | first1=E. | last1=Mukhin | first2=V. | last2=Tarasov | first3=A. | last3=Varchenko |arxiv=math.QA/0610799}}</ref> As well as identity can be generalized for different [[Howe duality|reductive dual pairs]].<ref>{{citation | title= Capelli identities for reductive dual pairs | year=2004| first1=M. | last1=Itoh | journal = Advances in Mathematics | volume = 194 | issue= 2 | pages=345–397 |doi = 10.1016/j.aim.2004.06.010}}</ref><ref>{{citation | title= Capelli Identities for the dual pair ( O M, Sp N) | year=2005 | first1=M. | last1=Itoh | journal = [[Mathematische Zeitschrift]] | volume = 246 | issue= 1–2 | pages=125–154|doi = 10.1007/s00209-003-0591-2}}</ref> And finally one can consider not only the determinant of the matrix E, but its permanent,<ref>{{citation | title=Quantum Berezinian and the classical Capelli identity | year=1991 | first1=M. | last1=Nazarov |journal = Letters in Mathematical Physics | volume = 21 | issue= 2 | pages=123–131|doi=10.1007/BF00401646 }}</ref> trace of its powers and immanants.<ref name="Okounkov1" /><ref name="Okounkov2" /><ref>{{citation | title=Yangians and Capelli identities | year=1996 | first1=M. | last1=Nazarov | arxiv=q-alg/9601027}}</ref><ref>{{citation | title=A Remark on the Higher Capelli Identities | year=1996 | first1=A. | last1=Molev |author1-link=Alexander Molev| arxiv=q-alg/9603007}}</ref> Let us mention few more papers;<ref>{{citation | title=Explicit Capelli identities for skew symmetric matrices| year=2002 | first1=K. | last1=Kinoshita | first2=M. | last2=Wakayama| journal = Proceedings of the Edinburgh Mathematical Society| pages = 449–465| doi=10.1017/S0013091500001176 | volume=45 | issue=2}}</ref><ref>{{citation | title=Generating function for GL<sub>''n''</sub>-invariant differential operators in the skew Capelli identity | year=2008 | first1=T. | last1=Hashimoto |arxiv=0803.1339}}</ref><ref>{{citation | title=A note on the Capelli identities for symmetric pairs of Hermitian type | year=2008 | first1=K. | last1= Nishiyama| first2=A. | last2= Wachi | arxiv=0808.0607}}</ref>
| |
| <ref>{{citation | title=On the proof of the Capelli identities | year=2008 | first1=Toru | last1= Umeda | journal = Funkcialaj Ekvacioj
| |
| | volume = 51 | issue= 1 | pages=1–15
| |
| |doi=10.1619/fesi.51.1 }}</ref>
| |
| <ref>{{citation | title=Capelli's theory, Koszul maps, and superalgebras | year=1993 | first1=A | last1= Brini |first2=A | last2= Teolis | journal = PNAS
| |
| | volume = 90 | issue=21 | pages=10245–10249
| |
| |url=http://www.pnas.org/content/90/21/10245.short }}</ref>
| |
| <ref>{{citation | title= Les algebres de Lie graduées de type sl (n, 1) et l'opérateur de A. Capelli | year=1981 | first1=J | last1= Koszul | journal = C.R. Acad. Sci. Paris
| |
| | issue=292 | pages= 139–141
| |
| }}</ref>
| |
| <ref>{{citation | title=Capelli identity and relative discrete series of line bundles over tube domains | year=2001 | first1=B | last1= Orsted |first2=G | last2= Zhang |url=http://www.math.chalmers.se/Math/Research/Preprints/2001/13.pdf}}</ref>
| |
| still the list of references is incomplete. It has been believed for quite a long time that the identity is intimately related with semi-simple Lie algebras. Surprisingly a new purely algebraic generalization of the identity have been found in 2008<ref name="Sokal" /> by S. Caracciolo, A. Sportiello, A. D. Sokal which has nothing to do with any Lie algebras.
| |
| | |
| === Turnbull's identity for symmetric matrices ===
| |
| Consider ''symmetric'' matrices
| |
| :<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>
| |
| | |
| [[Herbert Westren Turnbull]]<ref name="Turnbull48"/> in 1948 discovered the following identity:
| |
| :<math>\det(XD+(n-i)\delta_{ij}) = \det(X) \det(D) \, </math>
| |
| | |
| Combinatorial proof can be found in the paper,<ref name="FoataZeilberger"/> another proof and amusing generalizations in the paper,<ref name="Sokal"/> see also discussion below.
| |
| | |
| === The Howe–Umeda–Kostant–Sahi identity for antisymmetric matrices ===
| |
| Consider ''antisymmetric'' matrices
| |
| :<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>
| |
| | |
| Then
| |
| :<math>\det(XD+(n-i)\delta_{ij}) = \det(X) \det(D). \, </math>
| |
| | |
| === The Caracciolo–Sportiello–Sokal identity for Manin matrices ===
| |
| Consider two matrices ''M'' and ''Y'' over some associative ring which satisfy the following condition
| |
| | |
| :<math>
| |
| [M_{ij}, Y_{kl}]= -\delta_{jk} Q_{il} ~~~~~
| |
| </math>
| |
| | |
| for some elements ''Q<sub>il</sub>''. Or ”in words”: elements in ''j''-th column of ''M'' commute with elements in ''k''-th row of Y unless ''j'' = ''k'', and in this case commutator of the elements ''M<sub>ik</sub>'' and ''Y<sub>kl</sub>'' depends only on ''i'', ''l'', but does not depend on ''k''.
| |
| | |
| Assume that ''M'' is a [[Manin matrix]] (the simplest example is the matrix with commuting elements).
| |
| | |
| Then for the square matrix case
| |
| | |
| :<math>\det(MY+ Q \,\mathrm{diag}(n-1, n-2, \dots , 1,0) ) = \det(M) \det(Y).
| |
| ~~~~~~~ </math>
| |
| | |
| Here ''Q'' is a matrix with elements ''Q<sub>il</sub>'', and diag(''n'' − 1, ''n'' − 2, ..., 1, 0) means the diagonal matrix with the elements ''n'' − 1, ''n'' − 2, ..., 1, 0 on the diagonal.
| |
| | |
| See <ref name="Sokal" /> proposition 1.2' formula (1.15) page 4, our ''Y'' is transpose to their ''B''.
| |
| | |
| Obviously the original Cappeli's identity the particular case of this identity. Moreover from this identity one can see that in the original Capelli's identity one can consider elements
| |
| | |
| :<math>
| |
| \frac{\partial} {\partial x_{ij} } + f_{ij}(x_{11},\dots,x_{kl},\dots) | |
| </math>
| |
| | |
| for arbitrary functions ''f<sub>ij</sub>'' and the identity still will be true.
| |
| | |
| === The Mukhin–Tarasov–Varchenko identity and the Gaudin model ===
| |
| | |
| ==== Statement ====
| |
| Consider matrices ''X'' and ''D'' as in Capelli's identity, i.e. with elements <math> x_{ij} </math> and <math> \partial_{ij} </math> at position (''ij'').
| |
| | |
| Let ''z'' be another formal variable (commuting with ''x''). Let ''A'' and ''B'' be some matrices which elements are complex numbers.
| |
| | |
| :<math>
| |
| \det\left( \frac{\partial}{\partial_z} - A - X \frac{1}{z-B} D^t \right)
| |
| </math>
| |
| : <math>
| |
| ={\det}^\text{calculate as if all commute}_{\text{Put all }x\text{ and }z\text{ on the left, while all derivations on the right}}
| |
| </math>
| |
| :<math>
| |
| \left( \frac{\partial}{\partial_z} - A - X \frac{1}{z-B} D^t \right)
| |
| </math>
| |
| | |
| Here the first determinant is understood (as always) as column-determinant of a matrix with non-commutative entries. The determinant on the right is calculated as if all the elements commute, and putting all ''x'' and ''z'' on the left, while derivations on the right. (Such recipe is called a [[Wick ordering]] in the [[quantum mechanics]]).
| |
| | |
| ==== The Gaudin quantum integrable system and Talalaev's theorem ====
| |
| The matrix
| |
| | |
| :<math>
| |
| L(z) = A + X \frac{1}{z-B} D^t
| |
| </math> | |
| | |
| is a [[Lax pair|Lax matrix]] for the Gaudin quantum integrable spin chain system. D. Talalaev solved the long-standing problem of the explicit solution for the full set of the quantum commuting conservation laws for the Gaudin model, discovering the following theorem. | |
| | |
| Consider
| |
| :<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>
| |
| | |
| Then for all ''i,j,z,w''
| |
| | |
| :<math>
| |
| [ H_i(z), H_j(w) ]= 0, ~~~~~~~~
| |
| </math>
| |
| i.e. ''H''<sub>''i''</sub>(''z'') are generating functions in ''z'' for the differential operators in ''x'' which all commute. So they provide quantum commuting conservation laws for the Gaudin model.
| |
| | |
| === Permanents, immanants, traces – "higher Capelli identities" ===
| |
| | |
| The original Capelli identity is a statement about determinants. Later, analogous identities were found for [[permanent]]s, [[immanant]]s and traces.
| |
| Based on the combinatorial approach paper by S.G. Williamson <ref>{{citation | title= Symmetry operators, polarizations, and a generalized Capelli identity | year=1981 | first1=S. | last1=Williamson |journal=Linear & Multilinear Algebra | volume=10 | pages=93–102 | doi=10.1080/03081088108817399 | issue= 2}}</ref>
| |
| was one the first results in this direction.
| |
| | |
| ==== Turnbull's identity for permanents of antisymmetric matrices ====
| |
| Consider the antisymmetric matrices ''X'' and ''D'' with elements ''x<sub>ij</sub>'' and corresponding derivations, as in the case of the HUKS identity above.
| |
| | |
| Then
| |
| :<math> \mathrm{perm}(X^tD -(n-i)\delta_{ij}) = \mathrm{perm}^\text{Calculate as if all commute}_{\text{Put all }x\text{ on the left, with all derivations on the right}}
| |
| ( X^t D).
| |
| </math>
| |
| | |
| Let us cite:<ref name="FoataZeilberger"/> "...is stated without proof at the end of Turnbull’s paper". The authors themselves follow Turnbull – at the very end of their
| |
| paper they write:
| |
| | |
| "Since the proof of this last identity is very similar to the proof of Turnbull’s symmetric analog (with a slight twist), we leave it as an instructive and pleasant exercise for the reader.".
| |
| | |
| The identity is deeply analyzed in paper | |
| .<ref name="UmedaOnTurnbull">{{citation | title=On Turnbull identity for skew-symmetric matrices | year=2000 | first1= Toru | last1=Umeda |journal=[[Proc. Edinburgh Math. Soc.]] | volume=43| issue=2 | pages=379–393 | doi= 10.1017/S0013091500020988 }}</ref>
| |
| | |
| ==References==
| |
| | |
| ===Inline===
| |
| {{reflist}}
| |
| | |
| ===General===
| |
| *{{citation |title=Ueber die Zurückführung der Cayley'schen Operation Ω auf gewöhnliche Polar-Operationen |journal=Mathematische Annalen |publisher=Springer|place= Berlin / Heidelberg |issn = 1432-1807|volume= 29|issue= 3 |year= 1887 |doi=10.1007/BF01447728 |pages=331–338 |authorlink=Alfredo Capelli |first=Alfredo |last=Capelli}}
| |
| *{{Citation | last1=Howe | first1=Roger | author1-link=Roger Evans Howe | title=Remarks on classical invariant theory | jstor=2001418 | mr=0986027 | year=1989 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=313 | issue=2 | pages=539–570 | doi=10.2307/2001418 | publisher=American Mathematical Society}}
| |
| *{{Citation | last1=Howe | first1=Roger | author1-link=Roger Evans Howe |last2=Umeda | first2=Toru |title=The Capelli identity, the double commutant theorem, and multiplicity-free actions | year=1991 | journal=[[Mathematische Annalen]] | volume=290 | issue=1 | pages=565–619|doi=10.1007/BF01459261}}
| |
| *{{Citation | last1=Umeda | first1=Tôru | title=Selected papers on harmonic analysis, groups, and invariants | url=http://books.google.com/books?isbn=0821808400 | publisher=Amer. Math. Soc. | location=Providence, R.I. | series=Amer. Math. Soc. Transl. Ser. 2 | isbn=978-0-8218-0840-5 | mr=1615137 | year=1998 | volume=183 | chapter=The Capelli identities, a century after | pages=51–78}}
| |
| *{{Citation | last1=Weyl | first1=Hermann | author1-link=Hermann Weyl | title=The Classical Groups: Their Invariants and Representations | url=http://books.google.com/?id=zmzKSP2xTtYC | accessdate=03/2007/26 | publisher=[[Princeton University Press]] | isbn=978-0-691-05756-9 | mr=0000255 | year=1946}}
| |
| | |
| {{DEFAULTSORT:Capelli's Identity}}
| |
| [[Category:Invariant theory]]
| |
| [[Category:Mathematical identities]]
| |
| [[Category:Representation theory of Lie groups]]
| |
| [[Category:Lie algebras]]
| |
| [[Category:Determinants]]
| |