Minors of symmetric and exterior powers (Q1868694): Difference between revisions

Let \(\mathbb{R}\) be a commutative ring and let \(\phi:\mathbb{R}^m\to \mathbb{R}^n\) be an \(\mathbb{R}\)-linear map. The ideal generated by the minors of size \(t\) of a matrix representing \(\phi\) is denoted by \(I_t(\phi)\). The paper deals with a description of the corresponding ideals of the symmetric and the exterior powers of \(\phi\) and, in case \(\psi:\mathbb{R}^p\to \mathbb{R}^q\) is another \(\mathbb{R}\)-linear map, with the description of the ideals \(I_t(\phi\otimes \psi)\). We quote the main theorem. For \(d\geq 0\) set \(s= {n+d-1\choose d-1}\) and \(e={n-1\choose d-1}\). Then \[ I_s(S^d(\phi))\subset I_n(\phi)^s,\quad I_e\Biggl(\wedge^d(\phi)\Biggr)\subset I_n(\phi)^e,\quad I_{n+q}(\phi\otimes\psi)\subset I_n(\phi)^q I_q(\psi)^n, \] with equality up to integral closure and equality if \(\mathbb{R}\) contains the field of rational numbers. There is a weaker result in the much more complicated case \(I_t(S^d(\phi))\), \(t< s\).