[论文解读] 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) $ 几何化为 $ L \cap (\mathbb{C}^*)^n $ 在反演映射 $ t \mapsto t^{-1} $ 下的闭包。
• 建立 $ \operatorname{Spec}R(L) $ 的分层结构，其指标为拟阵 $ M(L) $ 的平坦子集，且每个层同构于局部化子空间 $ L_I $ 中超平面排列的补集。

提出的方法

• 将 $ R(L) $ 定义为交集 $ (\mathbb{C}[L] \otimes_{\mathbb{C}[x]} \mathbb{C}[x,y]) \cap \mathbb{C}[y] $，其中 $ \mathbb{C}[x,y] $ 是满足 $ x_i y_i = 1 $ 的洛朗多项式环。
• 将 $ R(L) $ 识别为 $ L \cap (\mathbb{C}^*)^n $ 在对合映射 $ t \mapsto t^{-1} $ 下的闭包的坐标环，嵌入于 $ \mathbb{C}^n $。
• 证明所有圈 $ C $ 的关系 $ f_C = \sum_{c \in C} a_c \prod_{c' \in C \setminus \{c\}} y_{c'} = 0 $ 构成一个通用 Gröbner 基。
• 利用该 Gröbner 基证明 $ R(L) $ 对任意排序均退化为断裂电路复形的 Stanley-Reisner 环。
• 通过拟阵 $ M(L) $ 的平坦子集 $ I $ 构造 $ \operatorname{Spec}R(L) $ 的分层结构，其中每个层 $ A_I $ 同构于 $ A(L_I) $，即局部化子空间 $ L_I $ 中超平面排列的补集。
• 证明 $ R(L) $ 是 $ \mathbb{C}[L^\vee] $ 上的自由模，且其零维商环 $ R_0(L) $ 的 Hilbert 系数等于断裂电路复形的 $ h $-多项式。

实验结果

研究问题

• RQ1 如何构造一个分次环 $ R(L) $，使其对基集的任意排序均退化为断裂电路复形的 Stanley-Reisner 环？
• 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 $ 的 Cohen-Macaulay 环，其中 $ d $ 为子空间 $ L $ 的维数。
• 所有圈 $ C $ 的关系 $ f_C = \sum_{c \in C} a_c \prod_{c' \in C \setminus \{c\}} y_{c'} = 0 $ 构成 $ R(L) $ 的通用 Gröbner 基，确保其退化为断裂电路复形的 Stanley-Reisner 环。
• $ R(L) $ 及其关于极小线性参数系的商环的 Hilbert 系数等于断裂电路复形的 $ h $-多项式。
• $ \operatorname{Spec}R(L) $ 允许一个由 $ M(L) $ 的平坦子集 $ I $ 索引的分层结构，其中每个层 $ A_I $ 同构于 $ A(L_I) $，即局部化子空间 $ L_I $ 中超平面排列的补集。
• 环 $ R(L) $ 是 $ \mathbb{C}[L^\vee] $ 上的自由模，且其零维商环 $ R_0(L) $ 的 Hilbert 系数等于断裂电路复形的 $ h $-多项式。
• 对断裂电路复形的 Stanley-Reisner 环不满足 $ g $-定理的反例同样适用于 $ R_0(L) $，表明 $ R_0(L) $ 不具有 $ g $-元素。