[論文レビュー] Criterions for Shellable Multicomplexes

Dorin Popescu|ArXiv.org|May 30, 2005

Commutative Algebra and Its Applications参考文献 4被引用数 13

ひとこと要約

本稿は、多複体および多項式環における多次数的きれいなフィルトレーションのシェーリング可能性に関する代数的・組合せ論的基準を確立する。最大のファセットに基づくシェーリング可能性の新しい基準を導入し、最大シェーリング可能性がシェーリング可能性を含むこと、および関連するスターリング＝ライスナー環がきれいであることを証明する。これにより、代数的性質と組合せ的構造が結びつけられる。

ABSTRACT

After [J.Herzog, D.Popescu, Finite filtrations of modules and shellable multicomplexes, Preprint IMAR no 4/2005, Bucharest, 2005], the shellability of multicomplexes $Γ$ is given in terms of some special faces of $Γ$ called facets. Here we give a criterion for the shellability in terms of maximal facets. Multigraded pretty clean filtration is the algebraic counterpart of a shellable multicomplex. We give also a criterion for the existence of a multigraded pretty clean filtration.

研究の動機と目的

• すべてのファセットではなく、最大のファセットに基づく多複体のシェーリング可能性の新しい基準を提供すること。
• 多項式環における多次数的きれいなフィルトレーションを通じて、シェーリング可能性の代数的双対を確立すること。
• 文献[4]の結果を一般化し、クリーンおよびきれいな加群の基準を独立に証明し、拡張すること。
• シェーリング可能性、最大シェーリング可能性、きれいなフィルトレーションの存在との関係を明確にすること。
• シェーリング可能な多複体が必ずしも最大シェーリング的でないことを示す反例、およびきれいな環がコhen＝マカウルであるとは限らないことを示す反例を提供すること。

提案手法

• 最大のファセット u₁,…,uᵣ の列を用いて、多複体 Γ のシェーリングを定義し、特定の交差および次数条件を満たすようにする。
• 多複体に付随するイデアル I(Γ) を用いて、S/I(Γ) のフィルトレーションを構成し、その因子が無限大または準素イデアル Jᵢ に対して S/Jᵢ(−aᵢ) に同型であることを示す。
• i < j かつ Pᵤᵢ ⊂ Pᵤⱼ のとき、Pᵤᵢ = Pᵤⱼ であることを確認することで、フィルトレーションがきれいであることを確立する。
• 多複体が最大シェーリング的であれば、構成されたフィルトレーションを通じて、関連する環 S/I(Γ) がきれいであることを証明する。
• 次元フィルトレーションおよび局所コホホロジーの性質を用いて、クリーンおよびきれいな条件を検証する。
• 例を用いて、シェーリング可能な多複体が最大シェーリング的でない可能性、および環がコhen＝マカウルでない場合でもきれいなフィルトレーションが存在する可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 多複体の最大のファセットにどのような条件が課されると、そのシェーリング可能性が保証されるか？
• RQ2 多次数的きれいなフィルトレーションの存在を代数的にどのように特徴づけられるか？
• RQ3 すべてのシェーリング可能な多複体が、必然的に最大シェーリング的であるのか。また、その構造的差異は何か？
• RQ4 スターリング＝ライスナー環がコhen＝マカウルでなくてもきれいであることは可能か。これは、関連する多複体にどのような意味をもたらすか？
• RQ5 標準対および関連素イデアルは、多複体のシェーリング可能性を決定づける上で果たす役割は何か？

主な発見

• 多複体 Γ が、各 i に対して fᵢ = x^{tᵢ}（ただし tᵢ ∈ Γ(uᵢ) ∖ Γ(wᵢ₁,…,wᵢc)）が、商 (⋂_{s=1}^{i-1} I(Γ(uₛ)))/(⋂_{s=1}^{i} I(Γ(uₛ))) を巡回加群として生成するという条件を満たす最大のファセットによるシェーリングを許す場合、Γ はシェーリング可能である。
• 多複体が最大シェーリング的であれば、S/I(Γ) はきれいである。これは、無限大または準素イデアル Jᵢ に対して S/Jᵢ(−aᵢ) に同型な因子を持つフィルトレーションを構成することで示される。
• 最大シェーリング的でないシェーリング可能な多複体が存在する。例3.8では、最大シェーリング的でないにもかかわらず、フィルトレーションは依然としてきれいなままである。
• 深さ(S/I(Γ)) < 次元(S/I(Γ)) であれば、S/I(Γ) はきれいではない（よって Γ は最大シェーリング的でない）。例3.7では深さが1であることが示されている。
• 多複体が最大シェーリング的であるための必要十分条件は、Γ(u₁,…,uᵢ₋₁) ∩ Γ(uᵢ) の唯一の最大ファセットが、各 j に対して x^{q} ∈ I(Γ(u₁,…,uᵢ₋₁)) ∖ I(Γ(uᵢ)) ならば x^q ∈ (fᵢ) が成り立つことである。これにより、フィルトレーションが適切に定義される。
• フィルトレーションの構成により、関連素イデアルがきれいな条件を満たすことが保証される：i < j かつ Pᵤᵢ ⊂ Pᵤⱼ であれば、Pᵤᵢ = Pᵤⱼ が成り立つ。これは、環がきれいであるために不可欠である。