do you know this determinant (basic commutative algebra)? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T16:30:26Z http://mathoverflow.net/feeds/question/93785 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/93785/do-you-know-this-determinant-basic-commutative-algebra do you know this determinant (basic commutative algebra)? Dima Pasechnik 2012-04-11T17:15:47Z 2012-04-26T13:15:20Z <p>Let $\ell_1,\dots,\ell_n$ be $d+1$-variate linear forms over complex numbers in variables $X=(X_0,\dots,X_d)$. Consider the $(n-d)$-fold products $$\ell_{i_1}(X)\ell_{i_2}(X)\dots\ell_{i_{n-d}}(X)=\sum_{|I|=n-d}a_{I,J}X^I,\ J=(i_1,\dots,i_{n-d}),\ 1\leq i_1&lt;i_2&lt;\dots&lt; i_{n-d}\leq n.$$ Define $\binom{n}{d}\times\binom{n}{d}$-matrix $A$ with entries $A_{IJ}=a_{I,J}$. Then it appears that $$\det A=C\prod_{K}L_K,\quad K=(k_1,\dots,k_{d+1}),\ 1\leq k_1&lt;k_2&lt;\dots&lt;k_{d+1},$$ where each $L_K$ is a $(d+1)\times (d+1)$-minor of the $(d+1)\times n$-matrix $L$ of the coefficients of $\ell_1,\dots,\ell_n$, and $C\neq 0$.</p> <p>For instance, let $n=4$, $d=2$, and $$L=\left(\begin{array}{rrrr} a_{0} &amp; a_{1} &amp; a_{2} &amp; a_{3} \&bsol; b_{0} &amp; b_{1} &amp; b_{2} &amp; b_{3} \&bsol; c_{0} &amp; c_{1} &amp; c_{2} &amp; c_{3} \end{array}\right)$$</p> <p>Then $$A = {\scriptsize \left(\begin{array}{rrrrrr} a_{0} a_{1} &amp; a_{0} a_{2} &amp; a_{0} a_{3} &amp; a_{1} a_{2} &amp; a_{1} a_{3} &amp; a_{2} a_{3} \&bsol; a_{1} b_{0} + a_{0} b_{1} &amp; a_{2} b_{0} + a_{0} b_{2} &amp; a_{3} b_{0} + a_{0} b_{3} &amp; a_{2} b_{1} + a_{1} b_{2} &amp; a_{3} b_{1} + a_{1} b_{3} &amp; a_{3} b_{2} + a_{2} b_{3} \&bsol; a_{1} c_{0} + a_{0} c_{1} &amp; a_{2} c_{0} + a_{0} c_{2} &amp; a_{3} c_{0} + a_{0} c_{3} &amp; a_{2} c_{1} + a_{1} c_{2} &amp; a_{3} c_{1} + a_{1} c_{3} &amp; a_{3} c_{2} + a_{2} c_{3} \&bsol; b_{0} b_{1} &amp; b_{0} b_{2} &amp; b_{0} b_{3} &amp; b_{1} b_{2} &amp; b_{1} b_{3} &amp; b_{2} b_{3} \&bsol; b_{1} c_{0} + b_{0} c_{1} &amp; b_{2} c_{0} + b_{0} c_{2} &amp; b_{3} c_{0} + b_{0} c_{3} &amp; b_{2} c_{1} + b_{1} c_{2} &amp; b_{3} c_{1} + b_{1} c_{3} &amp; b_{3} c_{2} + b_{2} c_{3} \&bsol; c_{0} c_{1} &amp; c_{0} c_{2} &amp; c_{0} c_{3} &amp; c_{1} c_{2} &amp; c_{1} c_{3} &amp; c_{2} c_{3} \end{array}\right)}$$</p> <p>and $$\det A=(-a_{3}b_{2}c_{1}+a_{2}b_{3}c_{1}+a_{3}b_{1}c_{2}-a_{1}b_{3}c_{2}-a_{2}b_{1}c_{3}+ a_{1}b_{2}c_{3}) \&bsol; \times (a_{3} b_{2}c_{0} - a_{2} b_{3} c_{0} - a_{3} b_{0} c_{2} + a_{0} b_{3} c_{2} + a_{2} b_{0} c_{3} - a_{0} b_{2} c_{3})\&bsol;\times (- a_{3} b_{1} c_{0}+a_{1} b_{3} c_{0} + a_{3} b_{0}c_{1}-a_{0} b_{3} c_{1}-a_{1}b_{0} c_{3} + a_{0} b_{1} c_{3})\&bsol;\times (a_{2} b_{1} c_{0} - a_{1} b_{2}c_{0} - a_{2} b_{0} c_{1} + a_{0} b_{2} c_{1} + a_{1} b_{0} c_{2} - a_{0} b_{1} c_{2})\&bsol; =L_{(234)}L_{(123)}L_{(124)}L_{(134)}.$$ This (and more - namely we would like to know how $A^{-1}$ looks like) must be well-known, but we cannot find relevant references. </p> <p><strong>Update II</strong>. If one instead takes $n-d-1$-fold products of $\ell_i$, then one gets, in the same way, a $\binom{n-1}{d}\times\binom{n}{d+1}$-matrix, with determinants of $\binom{n-1}{d}\times\binom{n-1}{d}$-minors factoring into products of $L_K$ as above. More precisely, if a $\binom{n-1}{d}\times\binom{n-1}{d}$-minor $M$ misses one $\ell_i$ then one arrives to the situation outlined above, which we know how to deal with, thanks to David's answer. Otherwise, we still can see that $\det M$ is divisible by $L_K$, where $K$ is one of $d+1$-subsets of $(1,\dots,n)$ distinct from the complement of $J=(i_1,\dots,i_{n-d-1})$ in $(1,\dots,n)$, where is $J$ corresponding to a column of $M$; there are $\binom{n-1}{d+1}=\binom{n}{d+1}-\binom{n-1}{d}$ such $K$. If $L_K$ vanishes then the forms $\ell_t$ comprising its columns have a common zero $z$, and as $K\cap J\neq\emptyset$, the vector $(z^I)$ is in the left kernel of $M$. Degree count now shows that $\det M$ factors into the product of $L_K$. (Some $\det M$ vanish identically, and this apparently has to do with the homology of a simplicial complex related to the index sets $J$ of its columns).</p> http://mathoverflow.net/questions/93785/do-you-know-this-determinant-basic-commutative-algebra/93793#93793 Answer by David Speyer for do you know this determinant (basic commutative algebra)? David Speyer 2012-04-11T18:45:57Z 2012-04-11T18:45:57Z <p>Here's a proof; I don't know any references. I will show that, if $L_K=0$, then $\det A=0$. Since the $L_K$ are distinct irreducible polynomials, this shows that $\prod L_K$ divides $\det A$, and the two sides have the same degree.</p> <p>Suppose that $L_K=0$. Then the linear forms $\ell_{k_1}$, ..., $\ell_{k_{d+1}}$ have a common zero; call it $(z_0, z_1, \ldots, z_n)$. Every $I$ has nonempty intersection with $K$, since $|I|+|K|=(n-d)+(d+1) = n+1$. So every product $\ell_{i_1} \cdots \ell_{i_{n-d}}$ vanishes at $(z_0, z_1, \ldots, z_d)$.</p> <p>That means that the vector of monomials $(z^J)$ in in the left kernel of $A$, so $\det A=0$.</p>