[論文レビュー] Cohen-Macaulayness of large powers of Stanley-Reisner ideals

Naoki Terai, Ngô Viêt Trung|arXiv (Cornell University)|Sep 4, 2010

Commutative Algebra and Its Applications参考文献 14被引用数 5

ひとこと要約

本稿では、$ m \geq 3 $ のとき、スターリング＝ライスナーイデアルの記号的冪 $ I_{\Delta}^{(m)} $ がコーエン・マカウレイであるための必要十分条件は、その基盤となる単体的複体 $ \Delta $ がマトロイドであることであり、通常の冪 $ I_{\Delta}^{m} $ がコーエン・マカウレイであるための必要十分条件は、$ I_{\Delta} $ が完全交差であることである。これらの結果により、コーエン・マカウレイ性が $ \Delta $ に関する純粋な組合せ的条件によって特徴づけられることを示しており、$ (S_2) $ やブーシュバウム性といったより弱いホモロジー的性質との間の同値性も明らかにした。

ABSTRACT

We prove that for m > 2, the m-th symbolic power of a Stanley-Reisner ideal is Cohen-Macaulay if and only if the simplicial complex is a matroid. Similarly, the m-th ordinary power is Cohen-Macaulay for some m > 2 if and only if the complex is a complete intersection. These results solve several open questions on the Cohen-Macaulayness of ordinary and symbolic powers of Stanley-Reisner ideals. Moreover, they have interesting consequences on the Cohen-Macaulayness of symbolic powers of facet ideals and cover ideals.

研究の動機と目的

• スターリング＝ライスナーイデアルの大きな通常および記号的冪のコーエン・マカウレイ性に関する長年の未解決問題を解消すること。
• 単体的複体 $ \Delta $ に対して、$ I_{\Delta}^{(m)} $ や $ I_{\Delta}^{m} $ が $ m \geq 3 $ のときコーエン・マカウレイであることを保証する組合せ的条件を同定すること。
• $ m \geq 3 $ のとき、$ (S_2) $ やブーシュバウム性といったより弱いホモロジー的性質が、コーエン・マカウレイ性を示唆することを確立し、その性質を組合せ的に特徴づけること。
• 既知の $ m=2 $ の結果を $ m \geq 3 $ に拡張し、この文脈における通常冪と記号的冪の関係を明確にすること。

提案手法

• スターリング＝ライスナーイデアルとそのアレクサンダー双対の間の双対性を用い、$ I_{\Delta} $ を被覆イデアル $ J(\Delta) $ と関連づけ、既知のマトロイドの双対性を活用すること。
• リンクや最小非面を用いたマトロイドおよび完全交差の組合せ的特徴づけの応用。
• 代数的および組合せ的技法を用いて、$ m \geq 3 $ のときコーエン・マカウレイ性とより弱いホモロジー的性質（例：$ (S_2) $、準ブーシュバウム性）との同値性を証明すること。
• 特に、複体がマトロイドであることと、そのアレクサンダー双対がマトロイドであることとが同値であるというマトロイド理論の結果を活用すること。
• 記号的冪 $ I_{\Delta}^{(m)} $ がすべての $ m \geq 1 $ でコーエン・マカウレイであるための必要十分条件は $ \Delta $ がマトロイドであることであり、同様に完全交差についても成り立つという事実を活用すること。
• リンクによる局所的性質への還元を用い、$ \Delta $ がマトロイド（または完全交差）であることと、すべての頂点リンクがマトロイド（または完全交差）であることとが同値であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 $ m \geq 3 $ のとき、スターリング＝ライスナーイデアルの記号的冪 $ I_{\Delta}^{(m)} $ がコーエン・マカウレイであるのはいつか？
• RQ2 $ m \geq 3 $ のとき、スターリング＝ライスナーイデアルの通常冪 $ I_{\Delta}^{m} $ がコーエン・マカウレイであるのはいつか？
• RQ3 ある $ m \geq 3 $ に対して $ I_{\Delta}^{(m)} $ がコーエン・マカウレイであるならば、すべての $ m \geq 1 $ に対してコーエン・マカウレイであると示唆されるか？
• RQ4 $ m \geq 3 $ のとき、$ (S_2) $ やブーシュバウム性といったより弱いホモロジー的性質が、$ I_{\Delta}^{(m)} $ のコーエン・マカウレイ性を示唆するか？
• RQ5 $ I_{\Delta}^{(m)} $ や $ I_{\Delta}^{m} $ が $ m \geq 3 $ のときコーエン・マカウレイであるような $ \Delta $ の組合せ的特徴づけは存在するか？

主な発見

• $ m \geq 3 $ のとき、$ I_{\Delta}^{(m)} $ がコーエン・マカウレイであることと、$ \Delta $ がマトロイドであることとは同値である。
• $ m \geq 3 $ のとき、$ I_{\Delta}^{m} $ がコーエン・マカウレイであることと、$ I_{\Delta} $ が完全交差であることとは同値である。
• ある $ m \geq 3 $ に対して $ I_{\Delta}^{(m)} $ がコーエン・マカウレイであるならば、すべての $ m \geq 1 $ に対してコーエン・マカウレイである。この同値性は $ \Delta $ がマトロイドであることと同値である。
• 通常冪に対しても同様の同値性が成り立つ：$ I_{\Delta}^{m} $ が $ m \geq 3 $ のある値でコーエン・マカウレイであることは、$ I_{\Delta} $ が完全交差であることと同値である。
• より弱いホモロジー的性質（例：$ (S_2) $ や準ブーシュバウム性）が、$ I_{\Delta}^{(m)} $ や $ I_{\Delta}^{m} $ のある $ m \geq 3 $ に対して成り立つならば、それらのコーエン・マカウレイ性が保証され、同じ組合せ的特徴づけが成立する。
• 結果は被覆イデアルへも拡張可能である：$ J(\Delta)^{(m)} $ がすべての $ m \geq 1 $ でコーエン・マカウレイであることは $ \Delta $ がマトロイドであることと同値であり、$ m \geq 3 $ に対しても同様に $ \Delta $ がマトロイドであることと同値である。