[論文レビュー] Stellar subdivisions and Stanley-Reisner rings of Gorenstein complexes

Janko Boehm, Stavros Argyrios Papadakis|arXiv (Cornell University)|Dec 11, 2009

Commutative Algebra and Its Applications参考文献 18被引用数 3

ひとこと要約

本稿は、Gorenstein*な単体的複体の星型分割とその Stanley–Reisner 環に対する Kustin–Miller 未投影の間の明確な代数的対応関係を確立する。星型分割の Stanley–Reisner 環が元の環の Kustin–Miller 未投影として得られることを証明し、スタックド多面体の最小自由分解の帰納的計算を可能にし、既知の Betti 数および h-多項式の結果を再現する。

ABSTRACT

Unprojection theory aims to analyze and construct complicated commutative rings in terms of simpler ones. Our main result is that, on the algebraic level of Stanley-Reisner rings, stellar subdivisions of non-acyclic Gorenstein simplicial complexes correspond to unprojections of type Kustin-Miller. As an application, we inductively calculate the minimal graded free resolutions of Stanley-Reisner rings associated to stacked polytopes, recovering results of Terai, Hibi, Herzog and Li Marzi.

研究の動機と目的

• Gorenstein* な単体的複体における組合せ的操作（星型分割）とその Stanley–Reisner 環に対する代数的構成（Kustin–Miller 未投影）との深い代数的対応関係を確立すること。
• スタックド多面体に関連する Stanley–Reisner 環の最小次数自由分解を体系的に計算するための方法を提供すること。
• 未投影理論を用いて、スタックド多面体の Betti 数および h-多項式に関する既知の結果を再発見・再導出すること。
• 未投影技法を非 Gorenstein な単体的複体へ一般化する可能性を検討すること。
• 星型分割と連結理論の間に、Stanley–Reisner 環の文脈で何らかの関係があるかを調査し、新たな組合せ的不変量の可能性を検討すること。

提案手法

• $J_{\rho}$ を単項式 $x_{\rho}$ の annihilator とし、$z$ を次数 $d-1$ の新しい変数とする。このとき、$(J_{\rho}, z) \to k[\triangle][z]$ のペアに対する Kustin–Miller 未投影環を定義する。
• 未投影環 $S$ が包含写像 $i: (J_{\rho}, z) \to k[\triangle][z]$ と、$\rho_{\rho}(z) = x_{\rho}$ かつ $u \to J_{\rho}$ に対して $\rho_{\rho}(u) = 0$ を満たす特定のホモーモルフィズム $\rho_{\rho}$ によって生成されることを証明する。
• $z$ が $S$ において正則元であること、および $k[\triangle_{\rho}] \to S/(z)$ が $k$-代数としての同型であることを示し、星型分割の Stanley–Reisner 環が未投影環の商として実現されることを裏付ける。
• Kustin–Miller 複体の構成を用いて、$k[\triangle]$ と $k[\triangle]/J_{\rho}$ の分解から、$k[\triangle_{\rho}]$ の最小次数自由分解を帰納的に構築する。
• Hilbert 級数の恒等式 $F(k[\triangle_{\rho}], t) = F(k[\triangle], t) + (t + \tfrac{t^2 + \cdots + t^{d-1}}{}) F(k[\triangle]/J_{\rho}, t)$ を導出し、元の複体と分割済み複体の分解を結びつける。
• この級数の恒等式を $h$-多項式の言語に再表現する：$h(\triangle_{\rho}, t) = h(\triangle, t) + (t + t^2 + \cdots + t^{d-1}) h(\text{lk}_{\triangle}(\rho), t)$。

実験結果

リサーチクエスチョン

• RQ1 Gorenstein* な単体的複体の星型分割は、Stanley–Reisner 環の文脈で Kustin–Miller 未投影に対応するか？
• RQ2 スタックド多面体の Stanley–Reisner 環の最小自由分解は、未投影技法を用いて帰納的に構成可能か？
• RQ3 星型分割の $h$-多項式と元の複体の $h$-多項式との間の明確な関係は何か？
• RQ4 Kustin–Miller 未投影構成は非 Gorenstein な単体的複体へ拡張可能か？
• RQ5 Stanley–Reisner 環の文脈において、星型分割と連結理論との間に、組合せ的または代数的な関連があるか？

主な発見

• 星型分割 $\triangle_{\sigma}$ の Stanley–Reisner 環は、$S/(z)$ に同型であり、ここで $S$ はペア $(J_{\sigma}, z) \subset k[\triangle][z]$ の Kustin–Miller 未投影環である。
• 未投影環 $S$ は包含写像 $i: (J_{\sigma}, z) \to k[\triangle][z]$ と、$\phi_{\sigma}(z) = x_{\sigma}$ かつ $u \in J_{\sigma}$ に対して $\phi_{\sigma}(u) = 0$ を満たす特定のホモーモルフィズム $\phi_{\sigma}$ によって生成される。
• 変数 $z$ は $S$ において正則元であり、$S/(z)$ が well-defined な商環として定義され、$k[\triangle_{\sigma}]$ に同型であることが保証される。
• $k[\triangle_{\sigma}]$ の Hilbert 級数は、$F(k[\triangle_{\sigma}], t) = F(k[\triangle], t) + (t + t^2 + \cdots + t^{d-1}) F(k[\triangle]/J_{\sigma}, t)$ を満たす。ここで $d-1 = \dim \sigma$ である。
• $\triangle_{\sigma}$ の $h$-多項式は、$h(\triangle_{\sigma}, t) = h(\triangle, t) + (t + t^2 + \cdots + t^{d-1}) h(\text{lk}_{\triangle}(\sigma), t)$ を満たし、これは任意の純粋単体的複体に対して成り立つ。
• Kustin–Miller 複体の構成により、スタックド多面体に帰納的に適用した場合、$k[\triangle_{\sigma}]$ の最小次数自由分解が得られ、Terai ら、Hibi、Herzog、Li Marzi が得た既知の Betti 数が再現される。