principal minor

Principal minors of matrices with commutative entries

Given a matrix A=(a j i) i,j=1,nA = (a^i_j)_{i,j = 1,\ldots n} with entries in a commutative ring RR, the principal minors are the minors of the upper left corner square matrices, i.e.

det(a j i) i,j=1,k det (a^i_j)_{i,j = 1,\ldots k}

where k=1,,nk = 1,\ldots, n (i.e there are nn principal minors).

Sometimes it is convenient to consider the principal minors of the matrix in the oppositely ordered basis, i.e. the minors of the lower right corner

det(a j i) i,j=nk+1,n det (a^i_j)_{i,j = n-k+1,\ldots n}

Of course, as it is true for the expression minor in general, sometimes it denotes the determinant of the submatrix and for some authors it is the submatrix itself called that way.

The principal minors appear as the denominators in the Gauss decomposition of matrices, and consequently in the description of relations between matrix elements in a linear group GL(n)GL(n) (or SL(n)SL(n)) and canonical coordinates on the big Bruhat cell on its flag variety.

Principal quasiminors

Quasideterminant of a matrix |A| ij|A|_{ij} with entries in a noncommutative ring, generalizes (up to sign), from the commutative case, the ratio of n×nn\times n-determinant and the determinant of the (n1)×(n1)(n-1)\times(n-1) submatrix obtained by crossing out the ii-th row and jj-th column. In particular the determinant of AA in the commutative case can be obtained as a product of all its principal quasiminors, provided the latter are defined (quasideterminants are rational expressions not necesarilly always defined).

Principal quasiminors play role in the study of noncommutative flag varieties.

Quantum group case

Similar role play quantum principal minors in the study of quantum flag variety, cf. sec, 14 in

  • Zoran Škoda, Localizations for construction of quantum coset spaces, in “Noncommutative geometry and Quantum groups”, W.Pusz, P.M. Hajac, eds. Banach Center Publications vol.61, pp. 265–298, Warszawa 2003, math.QA/0301090

Last revised on October 17, 2019 at 05:46:39. See the history of this page for a list of all contributions to it.