[論文レビュー] A remark on hyperplane sections of rational normal scrolls

Aldo Conca, Daniele Faenzi|arXiv (Cornell University)|Sep 25, 2017

graph theory and CDMA systems参考文献 4被引用数 7

ひとこと要約

本稿では、有理正規スクロールの超平面切断が、次元が低い別の有理正規スクロールであるための代数的および幾何的条件を確立することにより、有理正規スクロールの超平面切断を完全に分類する。gradedモジュール理論と多項式環におけるイデアルの構造を用いて、超平面切断のスクロールパラメータ $ b_1, \dots, b_{d-1} $ が、超平面を定義する線形形式の非自明な関係式（syzygy）によって決定されることを示し、主な結果として、切断が非退化かつ既約である場合に $ \sum b_i = \sum a_i $ が成り立つことを示している。

ABSTRACT

We present algebraic and geometric arguments that give a complete classification of the rational normal scrolls that are hyperplane section of a given rational normal scrolls.

研究の動機と目的

• 与えられた有理正規スクロール $ S(a_1,\dots,a_d) $ のすべての既約超平面切断が、再び有理正規スクロールであるかどうかを分類すること。
• 元のスクロールのパラメータ $ a_1,\dots,a_d $ と超平面切断のパラメータ $ b_1,\dots,b_{d-1} $ の間の明確な関係を特定すること。
• 座標環内の線形形式 $ L $ が、別の有理正規スクロールに線形同型な超平面切断を定義するための完全な代数的および幾何的特徴づけを提供すること。

提案手法

• 座標環 $ R(a_1,\dots,a_d) \subset K[x,y,s_1,\dots,s_d] $ を用いて問題を代数的に定式化し、$ \mathbb{Z}^2 $-次数を導入する。
• 線形形式 $ L = f_1s_1 + \cdots + f_ds_d $ を次数 $ (1,0) $ の元としてモデル化し、$ f_i \in A_{a_i} $ とし、$ A = K[x,y] $ におけるイデアル $ I = (f_1,\dots,f_d) $ を用いてその素性を分析する。
• 超平面切断が既約的かつ最小次数であることを保証するため、$ (L) $ が $ R(a_1,\dots,a_d) $ で素イデアルであるための必要十分条件として、$ A/I $ がArtinianであること、すなわち $ \operatorname{codim}(I) = 2 $ であることを用いる。
• 分解 $ 0 \to G \to F \to A \to 0 $ を構成し、$ F = \bigoplus A(-a_i) $、$ G = \bigoplus A(-b_i) $ とし、$ A/I $ のHilbert級数から $ \sum a_i = \sum b_i $ を導出する。
• 双対性および対称代数の構成を $ \operatorname{Hom}_A(F,A) $ と $ \operatorname{Hom}_A(G,A) $ に適用し、graded代数写像 $ B/(L) \to C $ を誘導し、次数 $ (*,0) $ の成分に制限することで、同型 $ R(a_1,\dots,a_d)/(L) \cong R(b_1,\dots,b_{d-1}) $ を回復する。
• 錐の場合に一般化するため、頂点が超平面に対してどの位置にあるかに応じた場合分けを実施し、錐の超平面切断が、底面に同型であるか、底面の錐であるか、または底面の切断の錐であるかを示す。

実験結果

リサーチクエスチョン

• RQ1 有理正規スクロール $ S(a_1,\dots,a_d) $ の超平面切断が、再び有理正規スクロール $ S(b_1,\dots,b_{d-1}) $ であるための条件は何か？
• RQ2 超平面切断のパラメータ $ b_1,\dots,b_{d-1} $ は、元のスクロールのパラメータ $ a_1,\dots,a_d $ とどのように関係しているか？
• RQ3 線形形式 $ L $ にどのような代数的条件を課すと、$ S(a_1,\dots,a_d) \cap H $ が既約的で最小次数の代数的集合になるか？
• RQ4 イデアル $ I = (f_1,\dots,f_d) \subset K[x,y] $ のsyzygyモジュールの構造が、超平面切断のスクロールパラメータをどのように決定するか？
• RQ5 元のスクロールが滑らかな有理正規スクロールの錐である場合、超平面切断はどのように振る舞うか？

主な発見

• 有理正規スクロール $ X = S(a_1,\dots,a_d) $ の超平面切断 $ Y = X \cap H $ が $ S(b_1,\dots,b_{d-1}) $ に同型であるための必要十分条件は、線形形式 $ L = f_1s_1 + \cdots + f_ds_d $ が $ R(a_1,\dots,a_d) $ で素イデアルを定義することであり、これはイデアル $ I = (f_1,\dots,f_d) \subset K[x,y] $ がコドゥミネント2であることに等しい。
• 超平面切断のパラメータ $ b_1,\dots,b_{d-1} $ は、列 $ f_1,\dots,f_d $ のsyzygyモジュールによって決定され、$ \sum_{i=1}^{d-1} b_i = \sum_{i=1}^{d} a_i $ を満たす。
• 同型 $ R(a_1,\dots,a_d)/(L) \cong R(b_1,\dots,b_{d-1}) $ は、分解の双対モジュールにおける双対性および対称代数の構成を用いて、graded $ K $-代数として成立する。
• 与えられたスクロール $ S(4,5,6,9) $ に対して、正確に16個の異なる3次元有理正規スクロールが、既約超平面切断として現れ、すべて次数24を持つ。
• $ S(4,5,6,9) $ の可約超平面切断の既約成分として現れる3次元スクロールは71個あり、次数は15から23の範囲に分布しており、その分布は明示的に表にまとめられている。
• 元のスクロールが錐である場合、超平面切断は、頂点を避ける（頂点が超平面に含まれない）ならば底面に同型であり、頂点が超平面と交わるが含まれない場合は底面の錐となり、頂点が超平面上にある場合は底面の切断の錐となる。後者の場合、制限により主定理に帰着される。