[論文レビュー] Cohen-Macaulay fiber cones

Clare D’Cruz, K. N. Raghavan+1 more|ArXiv.org|Dec 9, 2002

Commutative Algebra and Its ApplicationsMathematics参考文献 16被引用数 21

ひとこと要約

本稿では、局aura環におけるイデアル $ I $ のファイバー環 $ F(I) $ がコhen-Macaulayであるための必要十分条件を、$ F(I) $ のハイリウト級数を用いて確立する。主な結果は、$ F(I) $ がコhen-Macaulayであることと、そのハイリウト級数が特定の有理関数形をとること、すなわち、ある商モジュールの長さを含む形で表されることである。この形は、還元数 $ r(I) $ が分子の次数を決定する。この基準により、コhen-Macaulayファイバー環の新しい例の構成が可能となり、K. シャーの、彼の必要条件の逆が成り立つという予想が裏付けられる。

ABSTRACT

Cohen Macaulay property of fiber cones of ideals is characterized in terms of its Hilbert series. Hilbert series of fiber cones of ideals with minimal mixed multiplicity is calculated. It is proved that the fiber cone of an m-primary ideal I with minimal mixed multiplicity is Cohen-Macaulay if and only if its reduction number is atmost one. Hilbert series of fiber cones of ideals generated by quadratic sequences in standard graded rings is computed by deforming it to a face ring of a simplicial complex. Applications are given to defining ideals of monomial projective space curves lying on the quadric xw-yz=0, straightening-closed ideals in graded algebras with straightening law and Huckaba-Huneke ideals of analytic spread 1 and 2.

研究の動機と目的

• 局aura環におけるイデアル $ I $ のファイバー環 $ F(I) $ がコhen-Macaulayであるための必要十分条件を確立すること。
• K. シャーの予想を確認すること、すなわち、$ F(I) $ がコhen-Macaulayであるための必要条件（ハイリウト関数に基づくもの）が十分条件であるかどうかを検証すること。
• 特に還元数 $ r(I) $ と商 $ I^n / (JI^{n-1} + mI^n) $ の構造を用いて、ハイリウト級数を通じてコhen-Macaulayファイバー環を特徴づけること。
• この基準を用いて、正則局aura環を含む状況において、コhen-Macaulayであるか否かのファイバー環の例を構成すること。
• 最小の混合多重度をもつイデアルや二次的列によって生成されるイデアルのファイバー環を分析し、$ F(I) $ がコhen-Macaulayであることと $ r(I) \neq 1 $ が同値であることを示すこと。

提案手法

• ファイバー環 $ F(I) $ のコhen-Macaulay性を特徴づける中心的分析的道具としてハイリウト級数 $ H(F(I), t) $ を用いる。
• ハイリウト級数の公式 $ H(F(I), t) = \frac{1}{(1-t)^a} \sum_{i=0}^r \ell\left(\frac{I^i}{JI^{i-1} + mI^i}\right) t^i $ の導出。ここで $ a = \dim F(I) $、$ r = r_J(I) $、$ J $ は $ I $ の最小還元である。
• $ F(I) $ がコhen-Macaulayであるとき、$ JF(I) $ が正則列によって生成されることを応用し、標準的公式 $ H(F(I), t) = \frac{1}{(1-t)^a} H(F(I)/JF(I), t) $ を用いる。
• $ F(I)/JF(I) $ のハイリウト級数を、商 $ I^n / (JI^{n-1} + mI^n) $ に関する直和分解を用いて計算する。
• $ F(I) $ がコhen-Macaulayであることと、$ e(F(I)) = \sum_{n=0}^r \ell\left(\frac{I^n}{JI^{n-1} + mI^n}\right) $ の等式が成り立つことの同値性を用いる。これにより、多重度とファイバー環の構造を結びつける。
• 正則局aura環におけるイデアルや二次的列によって生成されるイデアルの具体例を用いて、基準の検証を実施する。

実験結果

リサーチクエスチョン

• RQ1 局aura環におけるイデアル $ I $ のファイバー環 $ F(I) $ がコhen-Macaulayであるためのハイリウト級数の条件は何か？
• RQ2 シャーの $ F(I) $ がコhen-Macaulayであるための必要条件が十分条件であるか？
• RQ3 還元数 $ r(I) $ と $ F(I) $ のコhen-Macaulay性の関係は何か？
• RQ4 ハイリウト級数基準を用いて、コhen-Macaulayファイバー環の新しい例を構成できるか？
• RQ5 コhen-Macaulay局aura環における最小の混合多重度をもつイデアルに対して、$ F(I) $ がコhen-Macaulayであるのはいつか？

主な発見

• ファイバー環 $ F(I) $ がコhen-Macaulayであることと、そのハイリウト級数が $ H(F(I), t) = \frac{1}{(1-t)^a} \sum_{i=0}^r \ell\left(\frac{I^i}{JI^{i-1} + mI^i}\right) t^i $ の形に表れること、ここで $ a = \dim F(I) $、$ r = r_J(I) $、$ J $ は $ I $ の最小還元である、が同値である。
• $ F(I) $ の多重度は、$ e(F(I)) = \sum_{n=0}^r \ell\left(\frac{I^n}{JI^{n-1} + mI^n}\right) $ を満たすことが、$ F(I) $ がコhen-Macaulayであることと同値である。
• コhen-Macaulay局aura環における最小の混合多重度をもつイデアルに対して、$ F(I) $ がコhen-Macaulayであることと $ r(I) \leq 1 $ が同値である。
• 2次元正則局aura環における0次元イデアルの例を構成し、そのファイバー環がコhen-Macaulヤであることを示した。
• 二次的列によって生成されるイデアル、例えば $ k[x_1,x_2,y_1,\dots,y_s] $ 内の $ I = (x_i y_j) $ の場合、ファイバー環 $ F(I) $ はハイリウト級数 $ \frac{1 + (s-1)t}{(1-t)^{s+1}} $ をもち、$ e(F(I)) = s $ であり、最小多重度をもつ。
• $ k[x,y,z] $ 内のイデアル $ I = (x^2, y^2, z^3) $ に対して、$ r(I) = 2 $、$ \ell(I^2 / JI + mI^2) = 1 $ を示し、ハイリウト級数が基準を満たすことを確認した。これにより、$ F(I) $ がコhen-Macaulayであることが判明した。