[論文レビュー] Are all Secant Varieties of Segre Products Arithmetically Cohen-Macaulay?

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

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

ひとこと要約

この論文は、射影空間のセグレ積の接続多様体の算術的コhen＝マカウルி（aCM）性を調査し、ランズバーグとウェイマンの方法を拡張した帰納的リフト法（LWリフト）を提案することで、標準的な $n_i \geq r$ 条件を超えて既知のaCMケースを拡張する。解体による小さな分割の技法を用いて、新しい接続多様体の族が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.

研究の動機と目的

• すべての射影空間のセグレ積の接続多様体が算術的にコヘン＝マカウルイ（aCM）であるという予想を調査すること。
• ランズバーグとウェイマンのLWリフト法を、ある $i$ に対して $n_i < r$ となる場合にまで拡張し、元の $n_i \geq r$ 条件を超えて新しいaCMケースを証明すること。
• 形式 $3\times3\times4$ のランク4テンソルの接続多様体の最小自由分解を新たに計算すること。
• 洗練されたリフト手順を用いて、aCMかつ算術的にゴレンスタインである新しい接続多様体の族を同定すること。

提案手法

• 解体による小さな分割の条件を変更することで、$n_i < r$ の場合に対してもランズバーグとウェイマンのLWリフト技法を適応する。
• 部分空間多様体による部分的特異点解消を伴う軌道閉包と幾何的構成を用い、小さい接続多様体の分解を大きいものと関連付ける。
• 層複体上の反復マッピングコーン構成を適用し、大きな軌道閉包の座標環の分解を構築する。
• ボットのアルゴリズムとボレル＝ヴァイルの定理を用いたコhomological技法により、フラッグ多様体上のベクトル束のコホモロジーを計算する。
• 指定されたボックス内に収まる分割によって添付されるシュール加群を用いて、$(s_j)$-小さな分解を定義し、リフトにおいても分解が小さく保たれることを保証する。
• 元の分解の分割と環境空間の次元に基づいて、新しい小さな境界 $s_j$ の公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべてのセグレ積の接続多様体は、予想通り算術的にコヘン＝マカウルイであるか？
• RQ2 LWリフト法は、ある $i$ に対して $n_i < r$ となる場合にまで拡張可能であり、それによって新しいaCMケースが証明可能か？
• RQ3 $3\times3\times4$ 形式のランク4テンソルの接続多様体の最小自由分解は何か？
• RQ4 どのセグレ積の接続多様体が、算術的にコヘン＝マカウルイかつ算術的にゴレンスタインであるか？

主な発見

• 論文は、$G'$-多様体 $Y$ がaCMであり、すべての $j$ について $r_j < a_j$ ならば $({\widehat{r_j}} - r_j)$-小さな分解を持つならば、軌道閉包 $\overline{G.Y}$ もaCMであることを証明した。
• $3\times3\times4$ ランク4テンソルの接続多様体の明示的かつ新しい最小自由分解が提供された。
• LWリフト法は、ある $i$ に対して $n_i < r$ となる場合にも成功裏に拡張され、新しいaCM接続多様体の族が得られた。
• 洗練されたリフト手順を用いて、aCMかつ算術的にゴレンスタインである新しいケースが同定された。
• マッピングコーンによって得られた $\overline{G.Y}$ の分解が、多様体の余次元に等しい長さを持つことが示され、導来的意味での最小性が確認された。
• この構成により、$\mathbb{C}[\overline{G.\widehat{Y}}]$ の（最小でない可能性はあるが）$(s_j)$-小さな分解が得られ、$s_j$ は元の分解の分割から明示的に計算された。