×

A characteristic free approach to secant varieties of triple Segre products. (English) Zbl 1448.14052

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 unfolding of a tensor, sometimes known as 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\).

MSC:

14N07 Secant varieties, tensor rank, varieties of sums of powers
13C40 Linkage, complete intersections and determinantal ideals
05E40 Combinatorial aspects of commutative algebra
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Bruns, Winfried; Herzog, Jürgen, Cohen-Macaulay rings, 39, xii+403 p. pp. (1993), Cambridge University Press, Cambridge · Zbl 0788.13005
[2] Gessel, Ira; Viennot, Gérard, Binomial determinants, paths, and hook length formulae, Adv. Math., 58, 3, 300-321 (1985) · Zbl 0579.05004 · doi:10.1016/0001-8708(85)90121-5
[3] Kalkbrener, Michael; Sturmfels, Bernd, Initial complexes of prime ideals, Adv. Math., 116, 2, 365-376 (1995) · Zbl 0877.13025 · doi:10.1006/aima.1995.1071
[4] Landsberg, Joseph M., Tensors: geometry and applications, 128, xx+439 p. pp. (2012), American Mathematical Society: American Mathematical Society, Providence, RI · Zbl 1238.15013
[5] Landsberg, Joseph M.; Weyman, Jerzy, On the ideals and singularities of secant varieties of Segre varieties, Bull. Lond. Math. Soc., 39, 4, 685-697 (2007) · Zbl 1130.14041 · doi:10.1112/blms/bdm049
[6] Mirsky, Leon, A dual of Dilworth’s decomposition theorem, Amer. Math. Monthly, 78, 876-877 (1971) · Zbl 0263.06002 · doi:10.2307/2316481
[7] Oeding, Luke, Are all secant varieties of Segre products arithmetically Cohen-Macaulay? (2016)
[8] Simis, Aron; Ulrich, Bernd, On the ideal of an embedded join, J. Algebra, 226, 1, 1-14 (2000) · Zbl 1034.14026 · doi:10.1006/jabr.1999.8091
[9] Sturmfels, Bernd; Sullivant, Seth, Combinatorial secant varieties, Pure Appl. Math. Q., 2, 3, 867-891 (2006) · Zbl 1107.14045 · doi:10.4310/PAMQ.2006.v2.n3.a12
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.