[論文レビュー] Multigraded Apolarity

Maciej Gałązka|arXiv (Cornell University)|Jan 23, 2016

Algebraic Geometry and Number Theory被引用数 3

ひとこと要約

この論文は、非常に豊かなラインバンドに沿ったトーリック多様体への埋め込みに対して、アポラリティ理論を一般化する。多重次数付きアポラリティフレームワークを導入し、そのフレームワークにより、非常に豊かなラインバンドの断片における単項式のランク、ボーダーランク、カタス・ランクを計算する。非同次化を用いてカタス・ランクの新たな上界を確立し、Segre-Veronese埋め込みにおいて明示的な公式が得られることを証明する。主な貢献は、P¹×P¹、F₁、P(1,1,4)、およびフェイク重み付き射影平面における単項式のこれらのランクを体系的に計算する手法を提供することであり、カタス・ランクがボーダーランクやランクと異なる場合があることを明らかにする。

ABSTRACT

We generalize methods to compute various kinds of rank to the case of a toric variety $X$ embedded into projective space using a very ample line bundle $\mathcal{L}$. We find an upper bound on the cactus rank. We use this to compute rank, border rank, and cactus rank of monomials in $H^0(X,\mathcal{L})^*$ when $X$ is $\mathbb{P}^1 imes \mathbb{P}^1$, the Hirzebruch surface $\mathbb{F}_1$, the weighted projective plane $\mathbb{P}(1,1,4)$, or a fake weighted projective plane.

研究の動機と目的

• 非常に豊かなラインバンドによる埋め込みを伴うトーリック多様体への古典的アポラリティ理論の拡張。
• 同次多項式のランク不変量を計算するための多重次数付きアポラリティフレームワークの開発。
• 特定のトーリック曲面における単項式のカタス・ランク、ボーダーランク、Waringランクの明示的上界および下界の提供。
• 特に特異的または重み付き設定において、カタス・ランクがボーダーランクや滑らかに可能であるランクと異なる場合の同定。

提案手法

• コックス環とその双対を用いて、ラインバンドの断片と多項式との間の多重次数付き双対性を導入。
• コックス環の変数と双対座標との間の ⌟-積を用いて、多重次数付きアポラリティ作用を定義。
• 多重次数付きアポラリティ補題を確立：多項式 F が部分スキーム R の線形包に属するための必要十分条件は、R のイデアルが F の annihilator に含まれることである。
• アポラリティ作用によって誘導される線形写像 Cβ_F: Sβ → Tα−β のランクを用いてランクの上限を導出。
• 最大のコーンに関する F の非同次化を用いてカタス・ランクの上界を証明し、商環 S/f⊥ の次元を評価。
• その上界を Segre-Veronese 埋め込みに適用し、ヒルベルト関数およびスキーム長の解析を用いて正確なランクを計算。

実験結果

リサーチクエスチョン

• RQ1 古典的アポラリティ理論は、多重次数付き構造を持つトーリック多様体へどのように一般化可能か？
• RQ2 非常に豊かなラインバンドの下で、トーリック多様体の座標環における単項式のカタス・ランクは何か？
• RQ3 コックス環の構造を用いて、非同次化と組み合わせたカタス・ランクの上界を得ることは可能か？
• RQ4 トーリック曲面上の単項式において、カタス・ランク、ボーダーランク、Waringランクが異なる場合の条件は何か？
• RQ5 P¹×P¹、ヒルツェブルク曲面 F₁、P(1,1,4)、およびフェイク重み付き射影平面における単項式の正確なランクは何か？

主な発見

• P¹×P¹ 上の単項式に関して、ランクは (k₀+1)(l₁+1) + (k₁+1)(l₀+1) − (k₁+1)(l₁+1) で上から抑えられ、従来の境界を改善する。
• k₀ > k₁ かつ l₀ > l₁ のとき、ランクは (k₁+2)(l₁+2)−1 以上であり、特に k₀ = k₁+1 かつ l₀ = l₁+1 の場合に等号が成立する例がある。
• ヒルツェブルク曲面 F₁ 上では、ボーダーランクがカタス・ランクよりも厳密に小さい単項式が存在し、これらの不変量の間の厳密な分離が示される。
• 重み付き射影平面 P(1,1,4) 上では、カタス・ランクがボーダーランクよりも厳密に小さい単項式が存在し、特異的トーリック多様体における新しい現象を示す。
• フェイク重み付き射影平面では、x⁴₀x₁x₂ のカタス・ランクは 2 であるが、そのランクは 5 以下、ボーダーランクは 2 であり、カタス・ランクがランクよりも厳密に小さい例が示される。