Row ideals and fibers of morphisms (Q841532)

Let \(S=k[x_0, \dots, x_n]\) be a polynomial ring over an infinite field \(k\) and let \(I\) be an ideal in \(S\) generated by an \((r+1)\)-dimensional vectors space \(W\) of forms of the same degree. Let \(\phi: \mathbb{P}^{n} \to \mathbb{P}^{r}=\mathbb{P}(W)\) be the associated rational map. Let \(q\) be a \(k\)-rational point in \(\mathbb{P}(W)\), i.e., a codimension 1 subspace \(W_q\) of \(W\), and let \(I_q\) be the ideal generated by \(W_q\). The authors define \(I_q:I\): the generalized row ideal corresponding to \(q\), \(\bigcup_i (I_qI^{i-1}:I^i)\): the correspondance fiber ideal, and \(I_q: I^{\infty}\): the morphism fiber ideal associated to \(q\). Then \(I_q \subset I_q:I \subset \bigcup_i (I_qI^{i-1}:I^i) \subset I_q: I^{\infty}\). If the row ideal is generated by linear forms and does not contain \(I\) then the latter 3 ideals are equal. The authors show that in general the containments are strict and determine conditions under which equalities are obtained. They use generalized row ideals to give lower bounds on the analytic spread of \(I\), namely that \(\ell(I)\) is 1 more than the dimension of the image of the rational map \(\phi\). Finally, in the last section, the authors study linear generalized row ideals. Their main result shows that if \(I\) has linear generalized row ideals then every power of \(I\) has a homogeneous presentation all of whose rows generate linear ideals. They conclude with a list of open problems.