This is an introduction to the hyperderminant, according to Gelfand, Kapranov and Zelevinsky. The "triangle inequality", characterizing the Segre varieties such that their dual variety is a hypersurface, is proved in a geometric way (Theorems 3.3 and 6.2). Significant emphasis is given to boundary format case, to pencil of quadrics and to the rank of multidimensional matrices. In the last section we propose three open problems.

2013-01-03math.AG

Nondegenerate multidimensional matrices and instanton bundles

In this note we prove that the moduli space of rank $2n$ symplectic instanton bundles on ${\PP^{2n+1}}$, defined from the well known monad condition, is affine. This result was not known even in the case $n=1$, where the real instanton bundles correspond to self dual Yang Mills $Sp(1)$-connections over the 4-dimensional sphere. The result is proved as a consequence of the existence of an invariant of the multidimensional matrices representing the instanton bundles.

2001-03-13math.AG

The Binet-Cauchy Theorem for the Hyperdeterminant of boundary format multidimensional Matrices

Let $A$, $B$ be multidimensional matrices of boundary format respectively $\prod_{i=0}^p(k_i+1)$, $\prod_{j=0}^q(l_j+1)$. Assume that $k_p=l_0$ so that the convolution $A\ast B$ is defined. We prove that $Det (A\ast B)=Det(A)^α\cdot Det(B)^β$ where $α= \frac {l_0!}{l_1!... l_q!}$, $β=\frac {(k_0+1)!}{k_1! ... k_{p-1}!(k_p+1)!}$ and $Det$ is the hyperdeterminant. When $A$, $B$ are square matrices this formula is the usual Binet-Cauchy Theorem computing the determinant of the product $A\cdot B$. It follows that $A \ast B$ is nondegenerate if and only if $A$ and $B$ are both nondegenerate. We sho…

2001-04-29math.AGmath.RA

Unstable hyperplanes for Steiner bundles and multidimensional matrices

We study some properties of the natural action of $SL(V_0) \times...\times SL(V_p)$ on nondegenerate multidimensional complex matrices $A\in¶(V_0\otimes...\otimes V_p)$ of boundary format(in the sense of Gelfand, Kapranov and Zelevinsky); in particular we characterize the non stable ones,as the matrices which are in the orbit of a "triangular" matrix, and the matrices with a stabilizer containing $\C^*$, as those which are in the orbit of a "diagonal" matrix. For $p=2$ it turns out that a non degenerate matrix $A\in¶(V_0\otimes V_1\otimes V_2)$ detects a Steiner bundle $S_A$ (in the sense of D…

2000-02-07math.AG

Quantum Baxter-Belavin R-matrices and multidimensional Lax pairs for Painleve VI

The quantum elliptic $R$-matrices of Baxter-Belavin type satisfy the associative Yang-Baxter equation in ${\rm Mat}(N,\mathbb C)^{\otimes 3}$. The latter can be considered as noncommutative analogue of the Fay identity for the scalar Kronecker function. In this paper we extend the list of $R$-matrix valued analogues of elliptic function identities. In particular, we propose counterparts of the Fay identities in ${\rm Mat}(N,\mathbb C)^{\otimes 2}$. As an application we construct $R$-matrix valued $2N^2\times 2N^2$ Lax pairs for the Painlevé VI equation (in elliptic form) with four free constan…

2015-04-06hep-thmath-phmath.AG

Invariant theoretic characterization of subdiscriminants of matrices

An invariant theoretic characterization of subdiscriminants of matrices is given. The structure as a module over the special orthogonal group of the minimal degree non-zero homogeneous component of the vanishing ideal of the variety of real symmetric matrices with a bounded number of different eigenvalues is investigated. These results are applied to the study of sum of squares presentations of subdisciminants of real symmetric matrices.

2012-06-11math.ACmath.AGmath.RT

更多相关论文收起更多论文

Stabilizers for nondegenerate matrices of boundary format and Steiner bundles

In this paper nondegenerate multidimensional matrices of boundary format in $V_0 \otimes ... \otimes V_p$ are investigated by their link with Steiner vector bundles on product of projective spaces. For any nondegenerate matrix $A$ the stabilizer for the $SL(V_0)\times ... \times SL(V_p)$-action, $Stab(A)$, is completely described. In particular we prove that there exists an explicit action of SL(2) on $V_0 \otimes ... \otimes V_p$ such that $Stab(A)^0\subseteq SL(2)$ and the equality holds if and only if $A$ belongs to a unique $SL(V_0)\times >... \times SL(V_p)$-orbit containing the identity …

2003-12-16math.AG