Mixed multiplicities of ideals and of Rees algebras associated with rational normal curves (Q2496522): Difference between revisions

Let \(R := k[X_1,\dots,X_{c+1}]\) be the homogeneous coordinate ring of \(\mathbb P^c\) and let \(\mathfrak{m}\) be the maximal graded ideal of \(R\). The author uses a Gröbner basis technique to compute the mixed multiplicities \(e_i (\mathfrak{m} | I)\) of the ideal \(I\) of a rational normal curve in \(\mathbb P^c\) and also the mixed multiplicities \(e_i (R[It])\) of the associated Rees algebra. As an application, the author computes the degree of the embedding of the blowup of \(\mathbb P^c\) along the rational normal curve by the linear system \((I^e)_d\), for any positive integers \(d, e\) with \(d > 2e\). The author claims that the present techniques can be applied to find the mixed multiplicities of ideals of certain rational normal scrolls. The basic idea is to consider a representation of the Rees algebra \(R[It] = k[X_i, T_{ij}] / J\), where \(T_{ij}\) \((1 \leq i < j \leq c)\) correspond to generators of \(I\), and to study the Gröbner basis of \(J\) in a certain term-order [\textit{A. Conca}, \textit{J. Herzog} and \textit{G. Valla}, J. Reine Angew. Math. 474, 113--138 (1996; Zbl 0866.13010)]. Thus the computation of the mixed multiplicities becomes a purely combinatorial problem. Reviewer's remark: Theorem 2.3 on p. 73 contains a minor mistake. Namely, one finds that \(e_1 (R[It]) = -c\) and \(e_c(R[It]) = 1\). Corollary 2.4 should be modified accordingly.