A characteristic free approach to secant varieties of triple Segre products

From MaRDI portal
Publication:2004041



Abstract: The goal of this short note is to study the secant varieties of the triple Segre product of type (1,a,b) by means of the standard tools of combinatorial commutative algebra. We reprove and extend to arbitrary characteristic results of Landsberg and Weyman regarding the defining ideal and the Cohen-Macaulay property of the secant varieties. Furthermore for these varieties we compute the degree and give a bound for their Castelnuovo-Mumford regularity which is sharp in many cases.


The aim of the paper is to study the ideal defining secant varieties of the Segre embedding of \(\mathbb{P}^1 \times \mathbb{P}^{a-1} \times \mathbb{P}^{b-1}\). The Cohen-Macaulay property of these secant varieties is also studied together with a bound on the Castelnuovo-Mumford regularity. Given the Segre embedding \(\operatorname{Seg}(\mathbb{P}^1 \times \mathbb{P}^{a-1} \times \mathbb{P}^{b-1})\), it is of interest the study of its secant varieties \(\sigma_t (2,a,b)\) and their defining ideals denoted with \(I(a,b)^{\{t\}}\), or simply \(I(a,b)\) in the case \(t=1\). The \textit{unfolding} of a tensor, sometimes known as \textit{flattening}, is a transformation which reorganizes a tensor in a matrix. It is known that the minors of size \((t+1) \times (t+1)\) are part of the generators of \(I(a,b)^{\{t\}}\). The authors prove in this document that such minors suffices to generate this ideal in a characteristic free context. Tools borrowed from combinatorial commutative algebra such as secant ideals, simplicial complexes and the related Stanley-Reisner ideals are widely used. At first they prove that the \(2 \times 2\) minors of the unfoldings on the second and on the third factor form a Gröbner basis of the ideal defining the Segre embedding \(\operatorname{Seg}(\mathbb{P}^1 \times \mathbb{P}^{a-1} \times \mathbb{P}^{b-1})\) with respect to any diagonal term order. After that, they show that the \((t+1) \times (t+1)\) minors of the unfoldings on the second and on the third factor are a Gröbner basis of the secant ideal \(I(a,b)^{\{t\}}\) defining \(\sigma_t(2,a,b)\) with respect to any diagonal term order. They also prove that the quotient \(R / I(a,b)^{\{t\}}\) is a Cohen--Macaulay domain. Such a result is achieved considering the simplicial complex associated to the initial ideal of \(I(a,b)^{\{t\}}\) and proving that it is shellable. A bound on the Castelnuovo-Mumford regularity of \(R / I(a,b)^{\{t\}}\) is also presented. They conclude conjecturing that \(R / I(2t,2t)^{\{t\}}\) is Gorenstein and they prove it for \(t \leq 3\).











This page was built for publication: A characteristic free approach to secant varieties of triple Segre products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2004041)