[论文解读] Compact moduli of hyperplane arrangements

Paul Hacking|ArXiv.org|Oct 30, 2003

Algebraic Geometry and Number Theory参考文献 13被引用 14

一句话总结

该论文证明了通过极小模型程序紧化超平面排列的稳定对模空间，其作为集合与卡普兰诺夫的 Chow 商紧化完全一致。关键贡献在于对所有稳定对作为超平面排列退化的完全显式分类，表明其为具有有理性和正规分量的toric簇，且组合类型对应于格点多面体的多面体剖分。

ABSTRACT

The minimal model program suggests a compactification of the moduli space of hyperplane arrangements which is a moduli space of stable pairs. Here, a stable pair consists of a scheme X which is a degeneration of projective space and a divisor D=D_1+..+D_n on X which is a limit of hyperplane arrangements. For example, in the 1-dimensional case, the stable pairs are stable curves of genus 0 with n marked points. Kapranov has defined an alternative compactification using his Chow quotient construction, which may be described fairly explicitly. We prove that these two compactifications coincide. We deduce a description of all stable pairs.

研究动机与目标

• 建立通过极小模型程序得到的稳定对模空间与卡普兰诺夫的超平面排列 Chow 商紧化的集合同构关系。
• 提供在紧化过程中出现的所有退化稳定对的显式几何与组合描述。
• 证明紧化模空间的奇点为 toric 奇点，且稳定对具有规范的对数结构，其形变无障碍。
• 证明每个稳定对到 Grassmannian 的典范嵌入由对数微分形式导出，从而保证纤维的唯一性。
• 验证 Chow 商 C_{k,n} 上的族参数化了所有稳定对（模同构），且任意两个纤维均不彼此同构。

提出的方法

• 使用极小模型程序（MMP）将超平面排列的模空间紧化为稳定对 (X,D) 的模空间，其中 X 是射影空间的退化，D 是超平面排列的极限。
• 应用卡普兰诺夫的 Chow 商构造，通过 SL(k) 作用下 (P^{k-1})^n 在 Chow 簇中的通用轨道闭包，定义同一模空间的另一种紧化。
• 在 Chow 商 C_{k,n} 上建立一个稳定对族，证明开集 H_{k,n} 中点的纤维即为对应的超平面排列。
• 利用 (X,D) 到 Grassmannian G(k-1,n-1) 的典范嵌入（通过对数微分形式）证明该族诱导了 C_{k,n} 的点与稳定对同构类之间的双射。
• 利用与超单纯形 Δ(k,n) 的多面体剖分相关的胞腔同调复形的正合性，证明 H^i(O_X) = 0 对所有 i > 0 成立，从而推出有理奇点。
• 利用稳定对的对数形变理论，并结合对数形变在局部无障碍的事实，论证紧化模空间具有 toric 奇点。

实验结果

研究问题

• RQ1 通过极小模型程序得到的稳定对模空间是否与卡普兰诺夫的超平面排列 Chow 商紧化同构？
• RQ2 在紧化中出现的退化稳定对的显式几何与组合结构是什么？
• RQ3 稳定对及其模空间 C_{k,n} 的奇点行为如何？能否描述为 toric 奇点？
• RQ4 每个稳定对到 Grassmannian 的典范嵌入能否通过对其数微分形式显式构造？
• RQ5 Chow 商 C_{k,n} 上的族是否具有 universality，即每个稳定对是否唯一地作为某根纤维出现？

主要发现

• 稳定对模空间与卡普兰诺夫的 Chow 商紧化作为集合同构，意味着每个稳定对恰好作为 C_{k,n} 上的一个纤维出现一次。
• 所有稳定对均为具有 toric 奇点的有理、正规代数簇，其分量为正规且有理，分层结构由超单纯形 Δ(k,n) 的多面体剖分编码。
• 当 k=3 时，在奇点处的局部芽 (P ∈ X, D) 恰好有 10 种同构类型，其完全由组合数据分类。
• 每个稳定对 (X,D) 到 Grassmannian G(k-1,n-1) 的典范嵌入由对数微分形式的层定义，该嵌入唯一且单射。
• 上同调 H^i(O_X) 对所有 i > 0 为零，其根源在于与超单纯形多面体剖分相关的胞腔同调复形的正合性。
• 模空间 C_{k,n} 具有 toric 奇点，且奇点局部同构于 Segre 嵌入的锥，例如在 C_{3,6} 中为 C(P^1 × P^2)，共有 15 个此类奇点。