[论文解读] Are all Secant Varieties of Segre Products Arithmetically Cohen-Macaulay?

Luke Oeding|arXiv (Cornell University)|Mar 29, 2016

Tensor decomposition and applications参考文献 46被引用 3

一句话总结

本文研究了射影空间的Segre积的割线簇的算术Cohen-Macaulay（aCM）性质，提出了一种源自Landsberg和Weyman的归纳提升方法（LW-提升），以扩展已知的aCM情形，突破标准的$n_i \geq r$条件。该文证明了新的割线簇家族为aCM，并利用按小分拆的分解技术，提供了$3\times3\times4$阶4张量的最小自由分解的新计算。

ABSTRACT

When present, the Cohen-Macaulay property can be useful for finding the minimal defining equations of an algebraic variety. It is conjectured that all secant varieties of Segre products of projective spaces are arithmetically Cohen-Macaulay. A summary of the known cases where the conjecture is true is given. An inductive procedure based on the work of Landsberg and Weyman (LW-lifting) is described and used to obtain resolutions of orbits of secant varieties from those of smaller secant varieties. A new computation of the minimal free resolution of the variety of border rank 4 tensors of format $3 imes 3 imes 4$ is given together with its equivariant presentation. LW-lifting is used to prove several cases where secant varieties are arithmetically Cohen-Macaulay and arithmetically Gorenstein.

研究动机与目标

• 研究所有Segre积的割线簇是否均为算术Cohen-Macaulay（aCM）的猜想。
• 将Landsberg和Weyman的LW-提升方法扩展至某些$i$满足$n_i < r$的情形，超越原始的$n_i \geq r$条件。
• 为$3\times3\times4$格式的阶4张量的割线簇提供最小自由分解的新计算。
• 利用改进的提升过程，确定新的割线簇家族，其同时为aCM和算术Gorenstein。

提出的方法

• 通过修改按小分拆的条件，将Landsberg和Weyman的LW-提升技术适配至$n_i < r$的情形。
• 利用轨道闭包与子空间簇的局部解析化构造，建立较小割线簇与较大割线簇之间分解的几何联系。
• 在层复形上应用迭代映射锥构造，构建较大轨道闭包的坐标环的分解。
• 运用上同调技术，包括Bott算法与Borel-Weil定理，计算旗流形上向量丛的上同调。
• 通过嵌入于指定方框内的分拆所索引的Schur模，定义$(s_j)$-小分解，确保在提升过程中分解保持小。
• 基于原始分解的分拆与环境空间的维数，推导出新小性界$s_j$的公式。

实验结果

研究问题

• RQ1 所有Segre积的割线簇是否如猜想所言均为算术Cohen-Macaulay？
• RQ2 LW-提升方法能否扩展至某些$i$满足$n_i < r$的情形，从而证明新的aCM情形？
• RQ3 $3\times3\times4$格式的阶4张量的割线簇的最小自由分解是什么？
• RQ4 哪些Segre积的割线簇同时为算术Cohen-Macaulay与算术Gorenstein？

主要发现

• 本文证明：若$G'$-簇$Y$为aCM，且对所有满足$r_j < a_j$的$j$，其分解为$({\widehat{r_j}} - r_j)$-小，则轨道闭包$\overline{G.Y}$亦为aCM。
• 为$3\times3\times4$阶4张量的割线簇提供了全新的显式最小自由分解计算。
• LW-提升方法成功扩展至某些$i$满足$n_i < r$的情形，从而得到新的aCM割线簇家族。
• 本文利用改进的提升过程，识别出新的割线簇情形，其同时为aCM与算术Gorenstein。
• 通过映射锥构造得到的$\overline{G.Y}$的分解，其长度等于该簇的余维数，从而在导范畴意义下确认其为最小分解。
• 该构造提供了$\mathbb{C}[\overline{G.\widehat{Y}}]$的一个（未必最小的）分解，其为$(s_j)$-小，且$s_j$由原始分解的分拆显式计算得出。