[論文レビュー] Multiplicity of jet schemes of monomial schemes

Cornelia Yuen|ArXiv.org|Jul 25, 2006

Algebraic Geometry and Number Theory参考文献 18被引用数 3

ひとこと要約

この論文は、$x_1\cdots x_r = 0$ で定義される還元可能単項式超曲面の、不可約成分に沿ったジャンエットスキームの重複度について閉形式の公式を導出する。帰納法と局所化の技法を用いて、$\sum t_i = m+1$ を満たす多重指数 $(t_1,\ldots,t_r)$ に対応する成分に沿った重複度が $\frac{(m+1)!}{t_1!\cdots t_r!}$ であることを示し、不可約分解を越えた明示的なスキーム論的情報を提供する。

ABSTRACT

This article studies jet schemes of monomial schemes. They are known to be equidimensional but usually are not reduced. We thus investigate their structure further, giving a formula for the multiplicity along every component of the jet schemes of a general reduced monomial hypersurface (that is, the case of a simple normal crossing divisor).

研究の動機と目的

• 単項式超曲面のジャンエットスキームの不可約成分に沿ったスキーム論的重複度を特定すること。
• ジャンエットスキームの不可約分解を越えた理解を深めること、特に非還元的の場合に焦点を当てる。
• 還元可能単項式超曲面（単純な正規交叉除集合）の場合の重複度に対する明示的公式を提供すること。
• ジャンエットスキームの明示的スキーム構造に関する文献の空白を埋めること、これはモチーフ的積分や特異点論において重要であるが、その点で未解決であった。

提案手法

• 長さを保存するように完備化を用いて、最小素イデアル $P(m;t_1,\ldots,t_r)$ における局所化に問題を還元する。
• $t_i = 0$ である変数を削除する還元ステップを適用し、すべての $t_i > 0$ の場合に還元する。
• 生成子 $g_0,\ldots,g_m$ が局所化された環で正則列をなすという事実を用いる。
• 鍵となる補題を適用：$x_1\cdots x_r$ が零因子でないならば、$\ell(R/(x_1\cdots x_r)) = \sum \ell(R/(x_i))$ が成り立ち、長さの計算が分解可能になる。
• 変数のシフトを用いて、$S/(x_n^{(0)}) \cong R(m-1;t_1,\ldots,t_n-1,\ldots,t_r)/J_{m-1}(X)$ という環同型を確立する。
• $m$ に関する帰納法を用い、$m=0$ の基本ケースで重複度が 1 であることを示し、一般公式へと段階的に構築する。

実験結果

リサーチクエスチョン

• RQ1 還元可能単項式超曲面の $m$-次のジャンエットスキームが、各不可約成分に沿ってどの程度の重複度を示すか。
• RQ2 単項式スキームのジャンエットスキームのスキーム構造は、その還元構造とどのように異なるか。
• RQ3 単項式超曲面のジャンエットスキームの重複度について、閉形式の公式を導出できるか。
• RQ4 重複度は、成分をパrameter化する多重指数 $(t_1,\ldots,t_r)$ にどのように依存するか。
• RQ5 多項係数 $\frac{(m+1)!}{t_1!\cdots t_r!}$ は、ジャンエットスキームのスキーム論的幾何学において果たす役割は何か。

主な発見

• ジャンエットスキーム $\mathcal{J}_m(X)$ が不可約成分 $P(m;t_1,\ldots,t_r)$ に沿って示す重複度は、ちょうど $\frac{(m+1)!}{t_1!\cdots t_r!}$ に等しい。
• 公式は $m$ に関する帰納法で証明され、$m=0$ の基本ケースでは重複度が 1 である。
• 重複度の計算は、$S/(x_n^{(0)}) \cong R(m-1;t_1,\ldots,t_n-1,\ldots,t_r)/J_{m-1}(X)$ という同型により、帰納的仮定に還元される。
• 生成子 $g_0,\ldots,g_m$ は局所化された環で正則列をなしており、長さの計算が適切に定義されることを保証する。
• 重複度の公式は多項係数と一致しており、ジャンエットスキームのスキーム論的重複度に組合せ論的構造が反映されている。
• この結果により、還元可能単項式超曲面のジャンエットスキームの不可約成分を超えた完全なスキーム論的記述が得られる。