[論文レビュー] Regularity and multiplicity of toric rings of three-dimensional Ferrers diagrams

Kuei-Nuan Lin, Yi-Huang Shen|arXiv (Cornell University)|Sep 22, 2018

Algebraic structures and combinatorial models参考文献 15被引用数 3

ひとこと要約

本稿では、3次元フェルラーズ図形に関連するトーリック環のカステルヌオーヴォ–マウムフォード正則性および多重度について、特に長方形の場合に明示的な公式を確立し、代数的・組合せ的技法を用いて一般の場合の境界を提示する。具体的には、スターリング–ライスナー複体と辞書的初期イデアルを用いる。

ABSTRACT

We investigate the Castelnuovo-Mumford regularity and the multiplicity of the toric ring associated with a three-dimensional Ferrers diagram. In particular, in the rectangular case, we provide direct formulas for these two important invariants. Then, we compare these invariants for an accompanying pair of Ferrers diagrams under some mild conditions and bound the Castelnuovo-Mumford regularity for more general cases.

研究の動機と目的

• 3次元フェルラーズ図形に関連する特別なファイバー環のカステルヌオーヴォ–マウムフォード正則性および多重度を特定すること。
• 2次元フェルラーズ図形に関する先行結果を3次元の場合に拡張すること。
• 長方形の場合のこれらの不変量について直接的な公式を提示し、一般の場合には境界を提供すること。
• 関連するスターリング–ライスナー複体の構造およびそのホモロジー的性質を分析すること。
• 図形のサイズに関する帰納法と射影性質を用いて正則性の境界を確立すること。

提案手法

• 3次元フェルラーズ図形の特別なファイバーイデアルが正則な二次初期イデアルを持つことを、辞書的順序を用いて示す。
• 代数的技法を適用し、正則性および多重度の計算を図形のスターリング–ライスナー複体に移す。
• 図形のサイズに関する帰納法を用い、射影性質を保つ小さな部分図形に還元する。
• 環境空間を単純化し、正則性の境界を構造的分解によって得るため、簡潔な部分図形 $\overline{\mathcal{D}}$ を定義する。
• ホッチャスターの公式とライスナーの基準を用いて、スターリング–ライスナー環のホモロジー的性質を分析する。
• スターリング–ライスナー複体の純粋な頂点分解可能性を活用し、正則性の帰納的議論を支援するためのアサイクロイカル性を保証する。

実験結果

リサーチクエスチョン

• RQ1 長方形の場合の3次元フェルラーズ図形に関連するトーリック環のカステルヌオーヴォ–マウムフォード正則性および多重度について、明示的な公式は何か？
• RQ2 やや緩い条件下で、対応する2つのフェルラーズ図形の正則性および多重度はどのように比較できるか？
• RQ3 3次元フェルラーズ図形の一般の場合におけるカステルヌオーヴォ–マウムフォード正則性について、どのような境界を確立できるか？
• RQ4 スターリング–ライスナー複体の構造は、関連するトーリック環の正則性および多重度にどのように影響するか？
• RQ5 射影性質を満たす部分図形への帰納的還元によって、正則性を境界づけることは可能か？

主な発見

• 長方形の3次元フェルラーズ図形に対しては、カステルヌオーヴォ–マウムフォード正則性および多重度が明示的な閉形式の公式で与えられる。
• 射影性質を満たす3次元フェルラーズ図形と関連するスターリング–ライスナー複体の正則性は、$\mu_{\mathcal{D}} - 4$ で上から抑えられる。
• 3次元フェルラーズ図形のスターリング–ライスナー複体 $\Delta(\mathcal{D})$ はコhen–マカウールであり、したがって任意の体上でアサイクロイカルである。
• トーリック環の多重度は、関連するエッジポリトープの体積と関係しており、2次元の場合の既知の結果を一般化する。
• 射影と切断によって構成される部分図形 $\overline{\mathcal{D}}$ は、本質的な構造を保ち、正則性の帰納的境界を可能にする。
• 図形のサイズに関する細密な分解と帰納法を用いて、正則性の境界 $\operatorname{reg}(\Delta(\widetilde{\mathcal{H}})) \leq \mu_{\widetilde{\mathcal{D}}} - 4$ が確立された。