|
|
| Line 1: |
Line 1: |
| In [[mathematics]], '''Manin matrices''', named after [[Yuri I. Manin|Yuri Manin]] who introduced them around 1987-88,<ref name="Manin87"/><ref name="Manin88">{{cite journal|last=Manin|first=Y.|year=1988|title=Quantum Groups and Non Commutative Geometry|journal=Université de Montréal, Centre de Recherches Mathématiques|pages=91 pages|zbl=0724.17006 |isbn=2-921120-00-3}}</ref><ref name="properties"/> are a class of [[matrix (mathematics)|matrices]] with elements in a not-necessarily [[commutativity|commutative]] [[ring (mathematics)|ring]], which in a certain sense behave like matrices whose elements commute. In particular there is natural definition of the [[determinant]] for them and most [[linear algebra]] theorems like [[Cramer's rule]], [[Cayley–Hamilton theorem]], etc. hold true for them. Any matrix with commuting elements is a Manin matrix. These matrices have applications in [[representation theory]] in particular to [[Capelli's identity]], [[Yangian]] and [[Integrable system#Quantum integrable systems|quantum integrable systems]].
| | Forum says the oil-for-green barrels power has improved, but I think not much to enchant the sense of security is the first Paul Green Blue bucket two buckets, barrels reserve Miho try.<br>If you liked this post and you would such as to obtain even more information regarding [http://www.bendtrapclub.com/cheap/ugg.asp Cheap Uggs Boots] kindly see our own website. A note on the Transparency Report page explains: "On June 11, we asked the Department of Justice and FBI to allow us to publish aggregate numbers of national security requests for data, including FISA disclosures in terms of both the number we receive and their scope, putting the number between 12,000 in the six months that ended on May 31.<br>http://caphsa.org/coach/?key=coach-outlet-handbags-2 <br /> http://caphsa.org/coach/?key=coach-factory-outlet-bags-38 <br /> http://caphsa.org/coach/?key=coach-handbags-factory-outlet-online-54 <br /> http://caphsa.org/coach/?key=coach-handbags-outlet-store-23 <br /> http://caphsa.org/coach/?key=coach-outlet-factory-online-6 <br /> |
| | |
| Manin matrices are particular examples of Manin's general construction
| |
| of "non-commutative symmetries" which can be applied to any algebra.
| |
| From this point of view they are "non-commutative endomorphisms"
| |
| of polynomial algebra ''C''[''x''<sub>1</sub>, ...''x''<sub>n</sub>].
| |
| Taking (q)-(super)-commuting variables one will get (q)-(super)-analogs
| |
| of Manin matrices, which are closely related to quantum groups. Manin
| |
| works were influenced by the [[quantum group]] theory.
| |
| He discovered that quantized algebra of functions ''Fun<sub>q</sub>(GL)''
| |
| can be defined
| |
| by the requirement that ''T'' and ''T<sup>t</sup>'' are simultaneously
| |
| q-Manin matrices.
| |
| In that sense it should be stressed that (q)-Manin matrices are defined
| |
| only by '''half''' of the relations of related quantum group ''Fun<sub>q</sub>(GL)'', and these relations are enough for many linear algebra theorems.
| |
| | |
| ==Definition==
| |
| | |
| ===Context===
| |
| | |
| Matrices with generic noncommutative elements do not admit a natural construction of the determinant with values in a ground ring and basic theorems of the linear algebra fail to hold true. There are several modifications of the determinant theory: [[Dieudonné determinant]] which takes values in the [[abelianization]] ''K''<sup>*</sup>/[''K''<sup>*</sup>, ''K''<sup>*</sup>] of the multiplicative group ''K''<sup>*</sup> of ground ring ''K''; and theory of [[quasideterminant]]s. But the analogy between these determinants and commutative determinants is not complete. On the other hand, if one considers certain specific classes of matrices with non-commutative elements, then there are examples where one can define the determinant and prove linear algebra theorems which are very similar to
| |
| their commutative analogs. Examples include: quantum groups and q-determinant; Capelli matrix and [[Capelli's identity|Capelli determinant]]; super-matrices and [[Berezinian]].
| |
| | |
| Manin matrices is a general and natural class of matrices with not-necessarily commutative elements which admit natural definition of the determinant and generalizations of the linear algebra theorems.
| |
| | |
| ===Formal definition===
| |
| An ''n'' by ''m'' matrix ''M'' with entries ''M<sub>ij</sub>'' over a ring ''R'' (not necessarily commutative) is a Manin matrix if all elements in a given column commute and if for all ''i'',''j'',''k'',''l'' it holds that [''M''<sub>''ij''</sub>,''M''<sub>''kl''</sub>] = [''M''<sub>''kj''</sub>,''M''<sub>''il''</sub>]. Here [''a'',''b''] denotes (''ab'' − ''ba'') the [[commutator]] of ''a'' and ''b''.<ref name="properties">{{cite journal|author1=A. Chervov | author2=G. Falqui | author3=V. Rubtsov | year=2009 | title=Algebraic properties of Manin matrices I | journal=Advances in Applied Mathematics | publisher=Elsevier| volume=43 | issue=3 | pages=239–315 | issn=0196-8858 | arxiv=0901.0235 | url=http://www.sciencedirect.com/science/article/pii/S0196885809000608 | zbl=1230.05043 }}</ref>
| |
| | |
| The definition can be better seen from the following formulas.
| |
| A rectangular matrix ''M'' is called a Manin matrix if for any 2×2 submatrix, | |
| consisting of rows ''i'' and ''k'',
| |
| and columns ''j'' and ''l'':
| |
| | |
| :<math>
| |
| \begin{pmatrix}
| |
| \cdots & \cdots& \cdots&\cdots&\cdots\\
| |
| \cdots & M_{ij} &\cdots & M_{il} & \cdots \\
| |
| \cdots & \cdots& \cdots&\cdots&\cdots\\
| |
| \cdots & M_{kj} &\cdots & M_{kl}& \cdots \\
| |
| \cdots & \cdots& \cdots&\cdots&\cdots
| |
| \end{pmatrix} =
| |
| \begin{pmatrix}
| |
| \cdots & \cdots& \cdots&\cdots&\cdots\\
| |
| \cdots & a &\cdots & b& \cdots \\
| |
| \cdots & \cdots& \cdots&\cdots&\cdots\\
| |
| \cdots & c &\cdots & d& \cdots \\
| |
| \cdots & \cdots& \cdots&\cdots&\cdots
| |
| \end{pmatrix}
| |
| </math>
| |
| | |
| the following commutation relations hold
| |
| | |
| :<math>
| |
| ac = ca,~~~ bd = db,~~~ \text{(entries in the same column commute) }
| |
| </math>
| |
| | |
| :<math>
| |
| ad - da = cb - bc,~~~ \text{(cross commutation relation)}.
| |
| </math>
| |
| | |
| === Ubiquity of 2 × 2 Manin matrices ===
| |
| Below are presented some examples of the appearance of the Manin property in various very simple and natural questions concerning 2×2 matrices. The general idea is the following: consider well-known facts of linear algebra and look how to relax the commutativity assumption for matrix elements such that the results will be preserved to be true. The answer is: '''if and only if''' ''M'' is a Manin matrix.<ref name=properties/> The proofs of all observations is direct 1 line check.
| |
| | |
| Consider a 2×2 matrix
| |
| <math> M =
| |
| \begin{pmatrix}
| |
| a & b \\
| |
| c & d
| |
| \end{pmatrix}.
| |
| </math>
| |
| | |
| '''Observation 1. Coaction on a plane.''' <br />
| |
| Consider the polynomial ring ''C''[''x''<sub>1</sub>, ''x''<sub>2</sub>], and assume that the matrix elements ''a'', ''b'', ''c'', ''d'' commute with ''x''<sub>1</sub>, ''x''<sub>2</sub>.
| |
| Define ''y''<sub>1</sub>, ''y''<sub>2</sub> by
| |
| | |
| :<math> | |
| \begin{pmatrix}
| |
| y_1 \\
| |
| y_2
| |
| \end{pmatrix}
| |
| =
| |
| \begin{pmatrix}
| |
| a & b \\
| |
| c & d
| |
| \end{pmatrix}
| |
| \begin{pmatrix}
| |
| x_1 \\
| |
| x_2
| |
| \end{pmatrix}.
| |
| </math>
| |
| | |
| Then ''y''<sub>1</sub>, ''y''<sub>2</sub> commute among themselves '''if and only if ''' ''M'' is a Manin matrix.
| |
| | |
| Proof:
| |
| : <math>[y_1, y_2] = [ax_1 + bx_2, cx_1 + dx_2] = [a, c]x^2_1
| |
| + [b, d]x^2_2
| |
| + ([a, d] + [b, c])x_1x_2.</math>
| |
| Requiring this to be zero, we get Manin's relations.
| |
| | |
| '''Observation 2. Coaction on a super-plane.''' <br />
| |
| Consider the Grassmann algebra ''C''[''ψ''<sub>1</sub>, ''ψ''<sub>2</sub>], and assume that the matrix elements ''a'', ''b'', ''c'', ''d'' commute with ''ψ''<sub>1</sub>, ''ψ''<sub>2</sub>.
| |
| Define ''φ''<sub>1</sub>, ''φ''<sub>2</sub> by
| |
| | |
| :<math>
| |
| \begin{pmatrix}
| |
| \phi_1, ~
| |
| \phi_2
| |
| \end{pmatrix}
| |
| =
| |
| \begin{pmatrix}
| |
| \psi_1 , ~
| |
| \psi_2
| |
| \end{pmatrix}
| |
| \begin{pmatrix}
| |
| a & b \\
| |
| c & d
| |
| \end{pmatrix}.
| |
| </math>
| |
| | |
| Then ''φ''<sub>1</sub>, ''φ''<sub>2</sub> are Grassmann variables (i.e. anticommute among themselves and ''φ''<sub>i</sub><sup>2</sup>=0) '''if and only if ''' ''M'' is a Manin matrix.
| |
| | |
| Observations 1,2 holds true for general ''n'' × ''m'' Manin matrices.
| |
| They demonstrate original Manin's approach as described below (one should
| |
| thought of usual matrices as homomorphisms of polynomial rings, while
| |
| Manin matrices are more general "non-commutative homomorphisms").
| |
| Pay attention that polynomial algebra generators are presented as column vectors, while Grassmann algebra as row-vectors, the same can be generalized to arbitrary pair of Koszul dual algebras and associated general Manin matrices.
| |
| | |
| '''Observation 3. [[Cramer's rule]].'''
| |
| The inverse matrix is given by the standard formula
| |
| :<math> M^{-1} = \frac{1}{ad-cb}
| |
| \begin{pmatrix}
| |
| d & -b \\
| |
| -c & a
| |
| \end{pmatrix}
| |
| </math>
| |
| | |
| '''if and only if ''' ''M'' is a Manin matrix.
| |
| | |
| Proof:
| |
| | |
| :<math>
| |
| \begin{pmatrix}
| |
| d & -b \\
| |
| -c & a
| |
| \end{pmatrix}
| |
| \begin{pmatrix}
| |
| a & b \\
| |
| c & d
| |
| \end{pmatrix}
| |
| =
| |
| \begin{pmatrix}
| |
| da-bc & db-bd \\
| |
| -ca+ac & -cb+ad
| |
| \end{pmatrix}
| |
| =
| |
| \text{if and only if }M\text{ is a Manin matrix}
| |
| =
| |
| \begin{pmatrix}
| |
| ad-cb & 0 \\
| |
| 0 & ad-cb
| |
| \end{pmatrix}.
| |
| </math>
| |
| | |
| '''Observation 4. [[Cayley–Hamilton theorem]].'''
| |
| The equality
| |
| :<math> M^2-(a+d)M+(ad-cb)1_{2\times 2} =0 </math>
| |
| holds
| |
| '''if and only if ''' ''M'' is a Manin matrix.
| |
| | |
| '''Observation 5. Multiplicativity of determinants.'''
| |
| | |
| det<sup>column</sup>(''MN'') = det<sup>column</sup>(''M'')det(''N'') holds true for all complex-valued matrices N '''if and only if ''' ''M'' is a Manin matrix.
| |
| | |
| Where det<sup>column</sup> of 2×2 matrix is defined as ''ad'' − ''cb'', i.e. elements from first column (''a'',''c'') stands first in the products.
| |
| | |
| === Conceptual definition. Concept of "non-commutative symmetries" ===
| |
| | |
| According to Yu. Manin's ideology one can associate to any algebra certain bialgebra
| |
| of its "non-commutative symmetries (i.e. endomorphisms)". More generally to a pair of algebras ''A'', ''B'' one can associate its algebra of "non-commutative homomorphisms" between ''A'' and ''B''. | |
| These ideas are naturally related with ideas of [[non-commutative geometry]].
| |
| Manin matrices considered here are examples
| |
| of this general construction applied to polynomial algebras ''C''[''x''<sub>1</sub>, ...''x''<sub>n</sub>].
| |
| | |
| The realm of geometry concerns of spaces, while the realm of algebra
| |
| respectively with algebras, the bridge between the two realms is association
| |
| to each space an algebra of functions on it, which is commutative algebra.
| |
| Many concepts of geometry can be respelled in the language of algebras and vice versa.
| |
| | |
| The idea of symmetry ''G'' of space space ''V'' can be seen as action of ''G'' on ''V'',
| |
| i.e. existence of a map ''G× V -> V''.
| |
| This idea can be translated in the algebraic language as existence of homomorphism
| |
| ''Fun(G)''<math>\otimes </math> ''Fun(V) <- Fun(V)'' (as usually maps between functions
| |
| and spaces go in opposite directions).
| |
| Also maps from a space to itself can be composed (they form a semigroup), hence
| |
| a dual object ''Fun(G)'' is a [[bialgebra]].
| |
| | |
| Finally one can take these two properties as basics and give purely algebraic definition of "symmetry"
| |
| which can be applied to an arbitrary algebra (non-necessarily commutative):
| |
| | |
| '''Definition.''' Algebra of non-commutative symmetries (endomorphisms) of some algebra ''A''
| |
| is a [[bialgebra]] ''End(A)'', such that there exists homomorphisms called ''coaction'':
| |
| | |
| <math>coaction: ~~ End(A) \otimes A \leftarrow A, </math>
| |
| | |
| which is compatible with a comultiplication in a natural way.
| |
| Finally ''End(A)'' is required to satisfy '''only''' the relations which come from the above, no other relations, i.e. it is universal coacting bialgebra for ''A''.
| |
| | |
| Coaction should be thought as dual to action ''G× V -> V'', that is why it is called
| |
| '''co'''action. Compatibility of the comultiplication map with the coaction map,
| |
| is dual to ''g (h v) = (gh) v''. One can easyly write this compatibility.
| |
| | |
| Somewhat surprising fact is that this construction applied to the polynomial algebra
| |
| ''C''[''x''<sub>1</sub>, ..., ''x''<sub>n</sub>] will give not the usual algebra
| |
| of matrices ''Mat<sub>n</sub>'' (more precisely algebra of function on it), but much bigger
| |
| non-commutative algebra of Manin matrices (more precisely algebra generated by elements ''M<sub>ij</sub>''.
| |
| More precisely the following simple propositions hold true.
| |
| | |
| '''Proposition'''. Consider polynomial algebra ''Pol = C''[''x''<sub>1</sub>, ..., ''x''<sub>n</sub>]
| |
| and matrix ''M'' with elements in some algebra ''EndPol''.
| |
| The elements <math> y_i = \sum_k M_{i k }\otimes x_k \in EndPol \otimes Pol </math>
| |
| commute among themselves if and only if ''M'' is a Manin matrix.
| |
| | |
| '''Corollary.''' The map <math> x_i \mapsto y_i = \sum_k M_{i k }\otimes x_k </math>
| |
| is homomorphism from ''Pol'' to ''EndPol'' <math>\otimes</math> ''Pol''. It defines coaction.
| |
| | |
| Indeed to ensure that the map is homomorphism the only
| |
| thing we need to check is that ''y<sub>i</sub>'' commute among themselves.
| |
| | |
| '''Proposition'''. Define the comultiplication map by the formula
| |
| <math> \Delta (M_{ij})= \sum_l M_{il} \otimes M_{lj} </math>.
| |
| Then it is [[coassociative]] and is compatible with coaction on the polynomial algebra
| |
| defined in the previous proposition.
| |
| | |
| The two propositions above imply that the algebra generated by elements of a Manin matrix
| |
| is a bialgebra coacting on the polynomial algebra. If one does not impose other relations
| |
| ones get algebra of non-commutative endomorphisms of the polynomial algebra.
| |
| | |
| ==Properties==
| |
| | |
| ===Elementary examples and properties===
| |
| * Any matrix with commuting elements is a Manin matrix.
| |
| * Any matrix whose elements from different rows commute among themselves (such matrices sometimes called [[Pierre Cartier (mathematician)|Cartier]]-[[Dominique Foata|Foata]] matrices) is a Manin matrix.
| |
| * Any submatrix of a Manin matrix is a Manin matrix.
| |
| * One can interchange rows and columns in a Manin matrix the result will also be a Manin matrix. One can add row or column multiplied by the central element to another row or column and results will be Manin matrix again. I.e. one can make elementary transformations with restriction that multiplier is central.
| |
| * Consider two Manin matrices ''M'',''N'' such that their all elements commute, then the sum ''M+N'' and the product ''MN'' will also be Manin matrices.
| |
| * If matrix ''M'' and simultaneously transpose matrix M<sup>t</sup> are Manin matrices, then all elements of ''M'' commute with each other.
| |
| * No-go facts: ''M<sup>k</sup>'' is not a Manin matrix in general (except ''k''=-1 discussed below); neither det(''M''), nor Tr(''M'') are central in the algebra generated by ''M<sub>ij</sub>'' in general (in that respect Manin matrices differs from quantum groups); det(''e<sup>M</sup>'') ≠ ''e''<sup>Tr(''M'')</sup>; log(det(''M'')) ≠ Tr(log(''M'')).
| |
| * Consider polynomial algebra ''C''[''x<sub>ij</sub>''] and denote by <math>\partial_{ij}</math> the operators of differentiation with respect to
| |
| ''x<sub>ij</sub>'', form matrices ''X, D'' with the corresponding elements.
| |
| Also consider variable ''z'' and corresponding differential operator <math>\partial_z</math>. The following gives an example of a Manin matrix which
| |
| is important for [[Capelli identity|Capelli identities]]:
| |
| | |
| :<math>
| |
| \begin{pmatrix}
| |
| zId & D^t \\
| |
| X & \partial_z Id
| |
| \end{pmatrix}.
| |
| </math>
| |
| | |
| One can replace ''X'', ''D'' by any matrices whose elements
| |
| satisfy the relation: ''X<sub>ij</sub> D<sub>kl</sub> - D<sub>kl</sub> X<sub>ij</sub>'' = ''δ<sub>ik</sub>δ<sub>kl</sub>'', same about ''z''
| |
| and its derivative.
| |
| | |
| Calculating the determinant of this matrix in two ways: direct and via Schur complement formula essentially gives the [[Capelli identity]]
| |
| and its [[Capelli's identity#The Mukhin.E2.80.93Tarasov.E2.80.93Varchenko identity and the Gaudin model|generalization]] (see section 4.3.1,<ref name="CF07"/> based on<ref name="MTV06">{{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>).
| |
| | |
| ===Determinant = column-determinant ===
| |
| | |
| The determinant of a Manin matrix can be defined by the standard formula,
| |
| with the prescription that elements from the first columns comes first in the product.
| |
| | |
| ===Linear algebra theorems===
| |
| | |
| Many [[linear algebra]] statements hold for Manin matrices even when R is not commutative. In particular, the [[determinant]] can be defined in the standard way using [[permutation]]s and it satisfies a [[Cramer's rule]].<ref name=properties/> [[MacMahon Master theorem]] holds true for Manin matrices and actually for their generalizations
| |
| (super), (q), etc. analogs.
| |
| | |
| '''Proposition. [[Cramer's rule]]''' (See<ref name="Manin88"/>
| |
| or section 4.1.<ref name="properties"/>)
| |
| The inverse to a Manin matrix ''M''
| |
| can be defined by the standard formula:
| |
| <math> M^{-1} = \frac{1}{{\det}^{col}(M)} M^{adj}, </math>
| |
| where M<sup>adj</sup> is [[adjugate matrix]] given by the standard formula - its (i,j)-th element is the column-determinant of the (n − 1) × (n − 1) matrix that results from deleting row ''j'' and column ''i'' of M and multiplication by (-1)<sup>i+j</sup>.
| |
| | |
| The only difference with commutative case is that one should pay attention
| |
| that all determinants are calculated as column-determinants and also
| |
| adjugate matrix stands on the right, while commutative inverse to the determinant of ''M'' stands on the left, i.e. due to non-commutativity
| |
| the order is important.
| |
| | |
| '''Proposition. Inverse is also Manin.''' (See section 4.3.<ref name="properties"/>)
| |
| Assume a two-sided inverse
| |
| to a Manin matrix ''M'' exists, then it will also be a Manin matrix.
| |
| Moreover ''det(M<sup>-1</sup>) = (det(M))<sup>-1</sup>''.
| |
| | |
| This proposition is somewhat non-trivial, it implies the result
| |
| by Enriquez-Rubtsov and Babelon-Talon in the theory of quantum integrable systems (see section 4.2.1<ref name="CF07"/>).
| |
| | |
| '''Proposition. [[Cayley-Hamilton theorem]]''' (See section 7.1.<ref name="properties"/>)
| |
| :<math>
| |
| det^{column}(t-M)|_{t=M}^{right~substitute}=0 ,~~i.e.~~
| |
| \sum_{i=0...n} (-1)^{i}\sigma_i M^{n-i} =0.
| |
| </math>
| |
| Where ''σ<sub>i</sub>'' are coefficients of the characteristic polynomial
| |
| <math> det^{column}(t-M)= \sum_{i=0...n} (-1)^{i}\sigma_i t^{n-i} </math>.
| |
| | |
| '''Proposition. [[Newton identities]]''' (See section 7.2.1.<ref name="properties"/>)
| |
| <math>
| |
| \forall k \ge 0: -(-1)^k k \sigma_k = \sum_{i=0...k-1} \sigma_i Tr(M^{k-i})
| |
| </math>
| |
| | |
| Where ''σ<sub>i</sub>'' are coefficients of the characteristic polynomial
| |
| <math> det^{column}(t-M)= \sum_{i=0...n} (-1)^{i}\sigma_i t^{n-i} </math>,
| |
| and by convention ''σ<sub>i</sub>''=0, for ''i>n'', where ''n'' is size of matrix ''M''.
| |
| | |
| '''Proposition. Determinant via [[Schur complement]]'''
| |
| (See section 5.2.<ref name="properties"/>)
| |
| Assume block matrix below is a Manin matrix and two-sided inverses M<sup>−1</sup>, A<sup>−1</sup>, D<sup>−1</sup> exist, then
| |
| :<math>
| |
| det^{column}\begin{pmatrix}
| |
| A & B \\
| |
| C & d \\
| |
| \end{pmatrix} =
| |
| det^{column}( A)det^{column}(D-C A^{-1}B) =
| |
| det^{column}( D)det^{column}(A-B D^{-1}C).
| |
| </math>
| |
| Moreover Schur complements <math>(D-C A^{-1}B),(A-B D^{-1}C)</math>
| |
| are Manin matrices.
| |
| | |
| '''Proposition. [[MacMahon Master theorem]]'''
| |
| | |
| <ref name="GLZ03">{{Citation | last1=Garoufalidis | first1=Stavros
| |
| | last2=Le | first2= T. T. Q. | last3=Zeilberger | first3=Doron | author3-link=Doron Zeilberger | title = The Quantum MacMahon Master Theorem | url=http://www.pnas.org/content/103/38/13928.full | year=2006 | pages=13928–13931 | arxiv=math/0303319 |
| |
| journal= Proc. Natl. Acad. Sci. U.S.A. | volume=103 | issue=38 }}
| |
| </ref>
| |
| | |
| ==Examples and applications== | |
| | |
| === Capelli matrix as Manin matrix, and center of U(gl<sub>n</sub>) ===
| |
| The [[Capelli identity]] from 19th century gives one of the first examples of determinants for matrices with non-commuting elements. Manin matrices give a new look on this classical subject. This example is related to
| |
| Lie algebra ''gl<sub>n</sub>'' and serves as a prototype for more complicated applications to loop Lie algebra for ''gl<sub>n</sub>'', Yangian and integrable systems.
| |
| | |
| Take ''E<sub>ij</sub>'' be matrices with 1 at position (''i,j'') and zeros everywhere else.
| |
| Form a matrix ''E'' with elements ''E<sub>ij</sub>'' at position (''i,j''). It is matrix with elements in ring of matrices ''Mat<sub>n</sub>''. It is not Manin matrix however there are modifications which transform it to Manin matrix as described below.
| |
| | |
| Introduce a formal variable ''z'' which commute with ''E<sub>ij</sub>'', respectively ''d/dz'' is operator of differentiation in ''z''. The only thing which will be used that [[commutator]] of these operators is equal to 1.
| |
| | |
| '''Observation.''' The matrix <math> d/dz Id - E/z </math> is a Manin matrix.
| |
| | |
| Here ''Id'' is identity matrix.
| |
| | |
| 2 × 2 example:
| |
| <math>
| |
| M =
| |
| \begin{pmatrix}
| |
| d/dz - E_{11}/z & - E_{12}/z \\
| |
| - E_{21}/z & d/z - E_{22}/z
| |
| \end{pmatrix}.
| |
| </math> | |
| | |
| It is instructive to check the column commutativity requirement:
| |
| <math> [ d/dz - E_{11}/z , - E_{21}/z] = [ d/dz , - E_{21}/z] + [ - E_{11}/z , - E_{21}/z] = E_{21}/z^2 -E_{21}/z^2 = 0 </math>.
| |
| | |
| '''Observation.''' The matrix <math> exp(-d/dz)(Id + E/z) </math> is a Manin matrix.
| |
| | |
| The only fact required from ''E<sub>ij</sub>'' for these observations is that they
| |
| satisfy commutation relations [''E<sub>ij</sub>'', ''E<sub>kl</sub>'']= δ<sub>jk</sub>''E<sub>il</sub>'' - δ<sub>li</sub>''E<sub>kj</sub>''. So
| |
| observations holds true if ''E<sub>ij</sub>'' are generators of the [[universal enveloping algebra]] of Lie algebra gl<sub>n</sub>,
| |
| or its images in any representation.
| |
| For example one can take
| |
| :<math>E_{ij} = x_i \frac{\partial}{\partial x_j}; ~~~~~ | |
| E_{ij} = \sum_{a=1}^n x_{ia}\frac{\partial}{\partial x_{ja}}; ~~~~ E_{ij} = \psi_{i}\frac{\partial}{\partial \psi_{j}}. </math>
| |
| Here ψ are [[Grassmann algebra|Grassmann variables]].
| |
| | |
| '''Observation.''' <math> z^{n-1} det^{col}(d/dz - E/z) = det^{col}(zd/dz - E - diag(n-1,n-2,...,1,0) ) </math>
| |
| | |
| On the right hand side of this equality one recognizes the [[Capelli determinant]] (or more precisely the Capelli characteristic polynomial), while on the left hand side one has a Manin matrix with its natural determinant.
| |
| So Manin matrices gives new look on Capelli's determinant. Moreover Capelli identity and its generalization
| |
| can be derived by techniques of Manin matrices.
| |
| Also it gives an easy way to prove that this expression belongs to the center of the [[universal enveloping algebra]] U(gl<sub>n</sub>), which is far from being trivial. Indeed, its enough to check invariance with respect to action of the group GL<sub>n</sub> by conjugation. <math> det^{col}(d/dz - gEg^{-1}/z) = det^{col}(g(d/dz - E/z)g^{-1}) =
| |
| det(g) det^{col}(d/dz - E/z) det (g^{-1})= det^{col} (d/dz - E/z)</math>. So the only property used here is that <math>det(gM)=det(Mg)=det(M)det(g)</math> which is true for any Manin matrix ''M'' and any matrix ''g'' with central (e.g. scalar) elements.
| |
| | |
| === Loop algebra for gl<sub>n</sub>, Langlands correspondence and Manin matrix ===
| |
| | |
| === Yangian type matrices as Manin matrices ===
| |
| | |
| '''Observation.'''
| |
| Let ''T(z)'' be a generating matrix of the [[Yangian]] for ''gl<sub>n</sub>''.
| |
| Then the matrix ''exp(-d/dz) T(z)'' is a Manin matrix.
| |
| | |
| The quantum determinant for Yangian can be defined as ''exp (n d/dz)''det''<sup>column</sup>(exp(-d/dz) T(z))''. Pay attention that ''exp(-d/dz)'' can be cancelled, so the expression does not depend on it. So the determinant in Yangian theory has natural interpretation via Manin matrices.
| |
| | |
| For the sake of quantum integrable systems it is important to construct
| |
| commutative subalgebras in Yangian.
| |
| It is well known that in the classical limit expressions
| |
| ''Tr(T<sup>k</sup>(z))'' generate Poisson commutative subalgebra. The correct quantization
| |
| of these expressions has been first proposed by the use of Newton identities
| |
| for Manin matrices:
| |
| | |
| '''Proposition.''' Coefficients of ''Tr(T(z+k-1)T(z+k-2)...T(z))'' for all ''k'' commute among themselves. They generate commutative subalgebra in Yangian. The same subalgebra as
| |
| coefficients of the characteristic polynomial
| |
| det''<sup>column</sup>(1-exp(-d/dz) T(z))'' .
| |
| | |
| (The subalgebra sometimes called Bethe subalgebra, since [[Bethe ansatz]] is
| |
| a method to find its joint eigpairs.)
| |
| | |
| ==Further questions==
| |
| | |
| ===History===
| |
| Manin proposed general construction of "non-commutative symmetries" in
| |
| ,<ref name="Manin87"/>
| |
| the particular case which is called Manin matrices is discussed in,<ref name="Manin88"/> where some basic properties were outlined. The main motivation of these works was to give another look
| |
| on quantum groups. Quantum matrices ''Fun<sub>q</sub>''(''GL<sub>n</sub>'') can be defined as such matrices that ''T'' and simultaneously ''T<sup>t</sup>'' are q-Manin matrices (i.e.
| |
| are non-commutative symmetries of q-commuting polynomials ''x<sub>i</sub> x<sub>j</sub>'' = ''q x<sub>j</sub> x<sub>i</sub>''.
| |
| After original Manin's works there were only a few papers on Manin matrices until 2003.
| |
| But around and some after this date Manin matrices appeared in several not quite related
| |
| areas:<ref name="GLZ03"/> obtained certain noncommutative generalization of
| |
| the MacMahon master identity, which was used in knot theory;
| |
| applications to quantum integrable systems, Lie algebras has been found in
| |
| ;<ref name="CF07"/>
| |
| generalizations of the Capelli identity involving Manin matrices appeared in.<ref name="CSS08"/>
| |
| Directions proposed in these papers has been further developed.
| |
| | |
| ==References==
| |
| | |
| <ref name="Manin87">{{Citation | last1=Manin | first1=Yuri | author1-link=Yuri I. Manin | title=Some remarks on Koszul algebras and quantum groups | url=http://www.numdam.org/item?id=AIF_1987__37_4_191_0 | year=1987 | pages=191–205 |
| |
| journal= Ann. de l'Inst. Fourier | zbl=0625.58040 | volume=37 | issue=4 }}
| |
| </ref>
| |
| | |
| <ref name="CF07">
| |
| {{cite journal|author1=A. Chervov | author2=G. Falqui | year=2007 | title= Manin matrices and Talalaev's formula | journal= Journal of Physics A | volume=41 | issue=19 | pages=239–315 | doi=10.1088/1751-8113/41/19/194006 | arxiv=0711.2236 | url=http://iopscience.iop.org/1751-8121/41/19/194006
| |
| | zbl=1151.81022 }}</ref>
| |
| | |
| <ref name="CSS08">{{citation | title=Noncommutative determinants, Cauchy–Binet formulae, and Capelli-type identities. I. Generalizations of the Capelli and Turnbull identities | year=2008 | first1=Sergio | last1=Caracciolo | first2=Andrea | last2=Sportiello | first3=Alan D. | last3=Sokal|author3-link=Alan Sokal | arxiv=0809.3516 | zbl=1192.15001 | journal=Electron. J. Comb. | volume=16 | issue=1 | format=Research Paper | number=R103 | url=http://www.combinatorics.org/ojs/index.php/eljc/article/view/v16i1r103 | pages=43 pp. | year=2009 | issn=1077-8926 }}<!--</ref>-->
| |
| | |
| {{reflist}}
| |
| | |
| <!-- <ref name="RTS"> -->* | |
| *{{cite journal|author1=V. Rubtsov | author2=D. Talalaev |
| |
| author3=A. Silantiev | year=2009 | title= Manin Matrices, Quantum Elliptic Commutative Families and Characteristic Polynomial of Elliptic Gaudin Model | journal= SIGMA | doi= 10.3842/SIGMA.2009.110 | arxiv=0908.4064
| |
| | zbl=1190.37079 }}</ref>
| |
| | |
| [RRT02] Suemi Rodriguez-Romo, Earl Taft, Some quantum-like Hopf algebras which
| |
| remain noncommutative when q = 1, Lett. Math. Phys. 61 (2002), 4150.
| |
| http://www.springerlink.com/content/m6842k7r0u0q461u
| |
| | |
| [RRT05] Suemi Rodriguez-Romo, Earl Taft, A left quantum group, J. Algebra 286 (2005), 154 160.
| |
| http://dx.doi.org/10.1016/j.jalgebra.2005.01.002
| |
| | |
| [Wang98] S. Wang, Quantum symmetry groups of finite spaces, Comm. Math. Phys. 195 (1998),
| |
| 195-211. arXiv:math/9807091
| |
| | |
| [BBC06] Teodor Banica, Julien Bichon, Benoit Collins, Quantum permutation groups: a survey,
| |
| ”Noncommutative harmonic analysis with applications to probability”, 13–34, Banach Center
| |
| Publ., 78, Polish Acad. Sci., Warsaw, 2007. arXiv:math/0612724
| |
| | |
| [Ko07A] Matjaz Konvalinka, A generalization of Foata’s fundamental transformation and its applications
| |
| to the right-quantum algebra, math.CO/0703203
| |
| | |
| [Ko07B] Matjaz Konvalinka, Non-commutative Sylvester’s determinantal identity, Electron. J. Combin.
| |
| 14 (2007), no. 1, Research Paper 42, 29 pp. (electronic). math.CO/0703213
| |
| | |
| [[Category:Matrix theory]]
| |
| [[Category:Matrices]]
| |