[論文レビュー] A Broken Circuit Ring

Nicholas Proudfoot, David E Speyer|ArXiv.org|Oct 5, 2004

Advanced Combinatorial Mathematics参考文献 5被引用数 6

ひとこと要約

本稿では、線形部分空間 $ L \subset \mathbb{C}^n $ に付随する階数付き環 $ R(L) $ を導入する。この環は、基底集合の任意の順序付けに対して、壊れたサイクル複体の Stanley-Reisner 環に退化する。環 $ R(L) $ は次元 $ d $ の Cohen-Macaulay 環であり、その Hilbert 級数は壊れたサイクル複体の $ h $-ベクトルを計算する。これにより、$ \operatorname{Spec}R(L) $ が超平面配置の補集合の変形として幾何的に実現されることが示される。

ABSTRACT

Given a matroid M represented by a linear subspace L in n-space (equivalently by an arrangement of n hyperplanes in L), we define a graded ring R(L) which degenerates to the Stanley-Reisner ring of the broken circuit complex for any choice of ordering of the ground set. In particular, R(L) is Cohen-Macaulay, and may be used to compute the h-vector of the broken circuit complex of M. We give a geometric interpretation of Spec R(L), as well as a stratification indexed by the flats of M.

研究の動機と目的

• 線形部分空間 $ L \subset \mathbb{C}^n $ に付随する新しい階数付き環 $ R(L) $ を定義し、壊れたサイクル複体の Stanley-Reisner 環を一般化する。
• $ R(L) $ が Cohen-Macaulay であり、その Hilbert 級数が壊れたサイクル複体の $ h $-多項式と一致することを示す。
• $ \operatorname{Spec}R(L) $ を、写像 $ t \mapsto t^{-1} $ による $ L \cap (\mathbb{C}^*)^n $ の閉包としての幾何的解釈を提供する。
• マトロイド $ M(L) $ のフラット $ I $ によってインデックス付けられる $ \operatorname{Spec}R(L) $ の層構造を構成し、各層が超平面配置の補集合と同型であることを示す。

提案手法

• $ \mathbb{C}[x,y] $ を $ x_i y_i = 1 $ を満たすラテン多項式環とするとき、$ R(L) $ を $ (\mathbb{C}[L] \otimes_{\mathbb{C}[x]} \mathbb{C}[x,y]) \cap \mathbb{C}[y] $ として定義する。
• $ R(L) $ を、$ \mathbb{C}^n $ に埋め込まれた写像 $ t \mapsto t^{-1} $ による $ L \cap (\mathbb{C}^*)^n $ の閉包の座標環として特定する。
• サークル $ C $ に対して、関係式 $ f_C = \sum_{c \in C} a_c \prod_{c' \in C \setminus \{c\}} y_{c'} = 0 $ が、普遍グレブナー基底をなすことを証明する。
• このグレブナー基底を用いて、任意の順序付けに対して $ R(L) $ が壊れたサイクル複体の Stanley-Reisner 環に退化することを示す。
• マトロイド $ M(L) $ のフラット $ I $ によってインデックス付けられる $ \operatorname{Spec}R(L) $ の層構造を構成し、各層 $ A_I $ が $ L_I $ における超平面配置の補集合 $ A(L_I) $ と同型であることを示す。
• $ R(L) $ が $ \mathbb{C}[L^\vee] $ 上の自由加群であり、零次元商 $ R_0(L) $ の Hilbert 級数が壊れたサイクル複体の $ h $-多項式に一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 基底集合の任意の順序付けに対して、壊れたサイクル複体の Stanley-Reisner 環に変形する階数付き環 $ R(L) $ をどのように構成できるか。
• RQ2 $ \operatorname{Spec}R(L) $ の幾何的構造は何か。また、超平面配置の補集合とどのように関係しているか。
• RQ3 $ \operatorname{Spec}R(L) $ の層構造は、マトロイド $ M(L) $ のフラットによってインデックス付け可能か。各層の構造は何か。
• RQ4 $ R(L) $ はその退化から Cohen-Macaulay 性質を引き継ぐか。また、線形パラメータ系を用いてその Hilbert 級数を計算できるか。
• RQ5 $ R(L) $ に自然な線形パラメータ系が存在するか。また、商 $ R_0(L) $ は $ g $-元をもつか。

主な発見

• 環 $ R(L) $ は次元 $ d $、すなわち部分空間 $ L $ の次元に等しい Cohen-Macaulay 環である。
• すべてのサークル $ C $ に対して、関係式 $ f_C = \sum_{c \in C} a_c \prod_{c' \in C \setminus \{c\}} y_{c'} = 0 $ は、$ R(L) $ の普遍グレブナー基底をなす。これにより、任意の順序付けに対して壊れたサイクル複体の Stanley-Reisner 環に退化することが保証される。
• $ R(L) $ 及びその最小の線形パラメータ系による商の Hilbert 級数は、壊れたサイクル複体の $ h $-多項式に等しい。
• 多様体 $ \operatorname{Spec}R(L) $ はマトロイド $ M(L) $ のフラット $ I $ によってインデックス付けられる層構造を持つ。各層 $ A_I $ は、局所化 $ L_I $ における超平面配置の補集合 $ A(L_I) $ と同型である。
• 環 $ R(L) $ は $ \mathbb{C}[L^\vee] $ 上の自由加群であり、零次元商 $ R_0(L) $ の Hilbert 級数は壊れたサイクル複体の $ h $-多項式に等しい。
• 壊れたサイクル複体の Stanley-Reisner 環に対して $ g $-定理が成り立たない反例は、$ R_0(L) $ に対しても同様に適用可能であり、$ R_0(L) $ が $ g $-元をもたないことを示している。