[論文レビュー] Stanley decompositions of squarefree modules and Alexander duality

Ali Soleyman Jahan|ArXiv.org|Sep 26, 2007

Algebraic structures and combinatorial models参考文献 20被引用数 7

ひとこと要約

本稿は、多項式環上の正方形自由モジュールとそのアレクサンダー双対の間で、正方形自由スターリング分解の双対性を確立する。正方形自由 $ S $-モジュール $ M $ が正方形自由スターリング分解をもつことと、そのアレクサンダー双対 $ M^\vee $ がそれを持つことが同値であり、分解成分の明示的対応関係が成り立つことを証明する。主な貢献は、$ M $ と $ M^\vee $ のスターリング次元の双対性を示す定理であり、特殊な場合においてスターリングの予想を支持するとともに、スターリング分解の $ h $-正則性に関するより広範な予想を提示する。

ABSTRACT

In this paper we study how prime filtrations and squarefree Stanley decompositions of squarefree modules over the polynomial ring and the exterior algebra behave with respect to Alexander duality.

研究の動機と目的

• 正方形自由 $ S $-モジュールの素イデアルフィルトレーションおよびスターリング分解がアレクサンダー双対性の下でどのように振る舞うかを調査すること。
• 正方形自由 $ S $-モジュール $ M $ の正方形自由スターリング分解とそのアレクサンダー双対 $ M^\vee $ の間の双対性を確立すること。
• 正方形自由スターリング分解が $ M $ に存在することと $ M^\vee $ に存在することが同値であることを証明し、成分の明示的対応関係を示すこと。
• スターリングの予想を、$ M^\vee $ の生成元の次数が有界である分解の存在性に関連付けることで、スターリング分解に関する予想を支持すること。
• 任意の有限生成 $ \mathbb{Z}^n $-次数付き $ S $-モジュールが、生成元の次数が $ \operatorname{reg}(M) $ 未満であるスターリング分解をもつという一般化された予想を提示すること。

提案手法

• 変数による乗法写像の正方形自由成分への双対性を用いて、正方形自由 $ S $-モジュールおよび $ E $-モジュールを定義する。
• 正方形自由 $ S $-モジュールと正方形自由 $ E $-モジュールの圏の同値性を用い、両者の設定間で結果を移行する。
• 正方形自由 $ S $-モジュールの素イデアルフィルトレーションが、関連する素イデアルの双対性により、そのアレクサンダー双対の素イデアルフィルトレーションに対応することを証明する。
• 正方形自由スターリング分解の $ M $ と $ M^\vee $ の間の双対性を確立し、$ M = \bigoplus m_i K[Z_i] $ が正方形自由スターリング分解であるとき、かつそのときに限り $ M^\vee = \bigoplus v_i K[W_i] $ が正方形自由スターリング分解であることを示す。ここで $ \operatorname{supp}(v_i) = [n] \setminus \{j : x_j \in Z_i\} $ かつ $ W_i = \{x_j : j \in [n] \setminus \operatorname{supp}(m_i)\} $ である。
• この双対性を用いてスターリング次元と $ h $-正則性を関連付け、スターリングの予想が $ M $ に対して成り立つことと、$ M^\vee $ がすべての生成元の次数が $ \operatorname{reg}(M^\vee) $ 未満である分解をもつことが同値であることを示す。
• 双対性を応用し、線形商を持つモナミアルイデアル、2次線形分解、$ n \leq 3 $、または $ \operatorname{reg}(S/I) \geq n-2 $ の場合にスターリングの予想を証明する。

実験結果

リサーチクエスチョン

• RQ1 正方形自由 $ S $-モジュールの素イデアルフィルトレーションは、そのアレクサンダー双対のそれとどのように関係するか？
• RQ2 正方形自由 $ S $-モジュールとそのアレクサンダー双対の間の正方形自由スターリング分解の正確な対応関係は何か？
• RQ3 正方形自由スターリング分解が $ M $ に存在することは、$ M^\vee $ に対しても同様に成り立つか？逆も同様か？
• RQ4 スターリングのスターリング分解に関する予想は、アレクサンダー双対モジュールに関する条件に還元可能か？
• RQ5 任意の有限生成 $ \mathbb{Z}^n $-次数付き $ S $-モジュールは、生成元の次数が $ \operatorname{reg}(M) $ 未満であるスターリング分解をもつだろうか？

主な発見

• 正方形自由 $ S $-モジュール $ M $ が正方形自由スターリング分解をもつことと、そのアレクサンダー双対 $ M^\vee $ がそれを持つことは同値であり、両者の分解におけるスターリング空間の間には明示的な対応関係が成り立つ。
• 正方形自由 $ S $-モジュール $ M $ のスターリング次元は、$ M^\vee $ の正方形自由スターリング次元に等しく、すなわち $ \operatorname{sdepth}(M) = \operatorname{sqdepth}(M^\vee) $ が成り立つ。
• スターリングのスターリング分解に関する予想が $ M $ に対して成り立つことは、$ M^\vee $ がすべての生成元の次数が $ \operatorname{reg}(M^\vee) $ 未満であるスターリング分解をもつことと同値である。
• 線形商を持つモナミアルイデアルでは、最小生成元がスターリング分解をなしており、このようなフィルトレーションの存在により予想が成り立つ。
• 任意の $ \mathbb{Z}^n $-次数付き $ S $-モジュールが、生成元の次数が $ \operatorname{reg}(M) $ 未満であるスターリング分解をもつという予想は、$ n \leq 3 $、$ \operatorname{reg}(S/I) \geq n-2 $、および2次線形分解をもつイデアルの場合は成り立つ。
• モジュール $ M $ の $ h $-正則性、すなわち任意のスターリング分解における生成元の最大次数の最小値として定義されるものについて、$ \operatorname{hreg}(M) \leq \operatorname{reg}(M) $ が成り立つ。これは一般化された予想を支持する。