[論文レビュー] The cotangent space at a monomial ideal of the Hilbert scheme of points of an affine space

Mark E. Huibregtse|ArXiv.org|Jun 28, 2005

Commutative Algebra and Its Applications参考文献 7被引用数 3

ひとこと要約

この論文は、単項イデアルの余接空間を標準的な矢印のセットを用いて分析することで、アフィン空間における $ n $ 個の点のヒルベルト汎関手上での単項イデアルの滑らかさについての組合せ的条件を提示する。同論文は、$ rn $ 個の余接ベクトルの標準的集合を構成し、それが基底をなす（つまり、点が非特異的である）ための必要十分条件を示している。その条件は、生成子と指数の間の特定の幾何的性質に基づくものであり、2 変数および 3 変数の場合に滑らかさを完全に特徴づけている。

ABSTRACT

Let k be an algebraically closed field. We study the cotangent space of a point t corresponding to a monomial ideal I of k[x_1, ..., x_r] in the Hilbert scheme of n points of affine r-space (so the k-dimension of k[x_1, ..., x_r]/I = colength of I = n). Since t lies in the closure of the locus corresponding to subschemes supported at n distinct points of A^r_k, one knows that the k-dimension of the cotangent space is always >= r*n, and that t is nonsingular if and only if the dimension equals r*n. We construct an explicit linearly independent set S of cotangent vectors of size r*n, and then explore conditions on I under which S either is or is not a basis of the cotangent space. In particular, we give a condition on I sufficient for S to be a basis (equivalently, for t to be nonsingular) that holds for every monomial ideal in the case of r = 2 variables, and that characterizes such ideals when r = 3. We also give an easily-checked condition on I sufficient for S not to be a basis.

研究の動機と目的

• アフィン空間 $ \bbA^r $ 上の $ n $ 個の点のヒルベルト汎関手における単項イデアルが非特異的である条件を、その余接空間の次元を分析することによって特定すること。
• 余接空間において線形独立であり、かつその空間を張るかどうかを特定する明示的な $ rn $ 個の余接ベクトルの集合 $ \fS $ を構成すること。
• 矢印の平行移動と標準的矢印構造に基づく組合せ的基準を用いて、$ \fS $ が基底をなすかどうかを決定し、滑らかさを特徴づけること。
• $ r=2 $ の場合の滑らかさの特徴づけを $ r=3 $ に拡張し、$ r>3 $ の場合に生じる障害を同定すること。

提案手法

• 単項イデアル $ I $ における余接空間は、局所環の極大イデアル $ M $ を用いて $ M/M^2 $ と同一視される。ここで、$ U_\beta $ はアフィン開被覆の一部であり、$ \beta $ はその上の座標環 $ R $ の $ \mathsf{k} $-基底をなす。
• 関数 $ c^{\mathbf{d}}_{\mathbf{j}} $ は、$ \mathbf{x}^{\mathbf{d}} \in I $ の $ \beta $ に関する $ \mathsf{k} $-基底による還元における係数として定義され、$ R $ の座標環を生成する。
• $ c^{\mathbf{d}}_{\mathbf{j}} $ の $ M^2 $ に関する同値関係は、単項式の指数の格子における矢印の平行移動によって特徴づけられる。ここで、平行移動は $ \beta $ 内の先端（head）を保ち、$ \beta $ 外の尾部（tail）を変化させる。
• $ rn $ 個の要素を含む最小の標準的矢印の集合 $ \fS $ が構成され、$ M^2 $ に関してその最大性は、矢印が $ x_i $-次数ゼロの超平面を越えて $ \beta $ から出るような平行移動が可能かどうかによって決定される。
• 主な基準は、$ \fS $ が余接空間の基底であるための必要十分条件が、$ \fS $ の矢印のいずれに対しても、その先端が $ x_i $-次数ゼロの超平面を越えて $ \beta $ から出るような平行移動が不可能であること、かつ、2 つの矢印が互いに平行移動同値でないことである。
• 証明は、平行移動不変性と格子幾何学を用いて、任意の標準的矢印が $ \fS $ のある矢印と $ \sim $-同値であることを示し、完全性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト汎関手上での $ n $ 個の点のアフィン空間 $ \bbA^r $ における単項イデアルの余接空間の次元が正確に $ rn $ であるのはいつか？
• RQ2 単項イデアルの構造にどのような組合せ的条件が満たされると、$ rn $ 個の余接ベクトルの標準的集合 $ \fS $ が基底をなすか？
• RQ3 単項式の基底集合 $ \beta $（つまり、$ I $ の補集合）の構造は、ヒルベルト汎関手上の対応する点が非特異的であるかどうかをどのように決定するか？
• RQ4 $ r=2 $ および $ r=3 $ の滑らかさの基準を高次元に拡張できるか。その場合に生じる障害は何か？
• RQ5 非標準的矢印とその平行移動挙動は、余接空間の次元を決定する上で果たす役割は何か？

主な発見

• 標準的集合 $ \fS $ は、余接空間 $ M/M^2 $ 内で線形独立であり、その次元が正確に $ rn $ であるための必要十分条件は、$ \fS $ の矢印のいずれに対しても、その先端が $ x_i $-次数ゼロの超平面を越えて $ \beta $ から出るような平行移動が不可能であることである。
• $ r=2 $ の場合、$ \fS $ にそのような平行移動が存在しないという条件は、滑らかさの必要十分条件である。
• $ r=3 $ の場合、同じ条件が滑らかさを特徴づける：$ \fS $ が $ M/M^2 $ の基底であるための必要十分条件は、$ \fS $ の矢印のいずれに対しても、その先端が $ x_i $-次数ゼロの超平面を越えて $ \beta $ から出るような平行移動が不可能であることである。
• $ \fS $ が基底でないための容易に確認できる十分条件は、理想構造内に非標準的で剛体な矢印が存在することであり、これは $ \dim_k(M/M^2) > rn $ を意味する。
• この論文は、$ \bbk[x_1,x_2,x_3,x_4] $ 内に、2 ボックスの和集合ではあるが複合ボックスではない滑らかな基底集合 $ \beta $ を構成しており、$ r=3 $ の特徴づけが高次元に拡張されないことを示している。
• 証明により、任意の標準的矢印が $ \fS $ のある矢印と $ \sim $-同値であることが示され、$ \fS $ が余接空間を張るための必要十分条件は、$ M^2 $ に関して最大ランクを有することである。