[论文解读] Chow Quotients of Grassmannians II

Seán Keel, Jenia Tevelev|ArXiv.org|Jan 14, 2004

Algebraic Geometry and Number Theory参考文献 18被引用 10

一句话总结

该论文通过查尔斯商（Chow quotients）构造了商空间 $X(r,n) = \mathrm{Gr}(r,n)^0 / \mathrm{G}_m^n$ 的紧化，将模空间 $\overline{M}_{0,n}$ 推广至高维格拉斯曼流形商。它为紧化空间 $\overline{X}(r,n)$ 建立了半对数 canonical 对偶对的模空间解释，并通过蒂茨建筑（Tits building）实现了退化族中特殊纤维的实现，表明奇点为扇形（toroidal），并通过格拉姆滤链与建筑中的凸包描述了极限稳定对的几何结构。

ABSTRACT

We consider Kapranov's Chow quotient compactification of the moduli space of ordered n-tuples of hyperplanes in P^{r-1} in linear general position. For r=2 this is canonically identified with the Grothendieck-Knudsen compactification of M_{0,n} which has among others the nice properties 1) Modular meaning: stable pointed rational curves 2) Canonical description of limits of one parameter degenerations 3) Natural Mori theoretic meaning: log canonical compactification. We prove (1-2) generalize naturally to all (r,n), but that (3), which we view as the deepest, fails except possibly in the cases (2,n),(3,6),(3,7),(3,8), where we conjecture it holds. The same generalization of (1) was given recently (and independently) by Hacking.

研究动机与目标

• 构造商空间 $X(r,n) = \mathrm{Gr}(r,n)^0 / \mathrm{G}_m^n$ 的自然紧化 $\overline{X}(r,n)$，使其推广 $\overline{M}_{0,n}$ 的性质。
• 为 $\overline{X}(r,n)$ 建立作为半对数 canonical 对偶对空间的模空间解释，扩展 $\overline{M}_{0,n}$ 对稳定曲线的模空间解释。
• 利用 $\mathrm{PGL}_r(K)$ 的蒂茨建筑描述 $\mathbb{P}^{r-1}$ 中 $n$ 个超平面族的退化极限，推广 $r=2$ 时卡普兰诺夫（Kapranov）的结果。
• 分析 $R = k[[z]]$ 上族的特殊纤维奇点，证明其为扇形奇点，并通过格拉姆滤链与建筑中的凸包描述其局部结构。

提出的方法

• 使用查尔斯商构造 $\overline{X}(r,n) = \mathrm{Gr}(r,n) // H$，其中 $H = \mathbb{G}_m^n$，以紧化 $X(r,n)$，并利用盖尔范德–麦克唐纳对应（Gelfand–MacPherson correspondence）。
• 应用蒂茨建筑理论描述退化族的极限：对于 $\mathbb{P}^{r-1}$ 中 $n$ 个超平面的族，极限由 $\mathrm{PGL}_r(K)$ 的建筑中稳定格类的凸包编码。
• 引入有限凸子集 $Y \subset \mathcal{B}$ 上的射影丛的并（join）$\mathbb{S}_Y$，其参数化极限几何结构。
• 利用拉福尔格（Lafforgue）的可见轮廓构造，定义族 $p: (\mathcal{S}, \mathcal{B}) \to \overline{X}(r,n)$，其特殊纤维为 $S_Y$，边界为 $B = \sum \mathbb{B}_i$。
• 通过建筑的分层结构与格拉姆滤链的组合学分析特殊纤维 $(S_Y, B)$ 的奇点，证明奇点为扇形，并由建筑中的有界二层结构分类。
• 应用相对对数微分丛 $\Omega^1_p(\log \mathcal{B})$ 研究退化几何，利用余数映射与来自 $V_n$ 的典范截面。

实验结果

研究问题

• RQ1 是否存在一个 $X(r,n)$ 的紧化 $\overline{X}(r,n)$，使其推广 $\overline{M}_{0,n}$ 的模空间理论、莫里理论与极限理论性质？
• RQ2 能否利用 $\mathrm{PGL}_r(K)$ 的蒂茨建筑描述 $\mathbb{P}^{r-1}$ 中 $n$ 个超平面族的极限，推广 $r=2$ 时卡普兰诺夫的结果？
• RQ3 在 $R = k[[z]]$ 上族的特殊纤维 $S_Y$ 的结构为何？其奇点如何？
• RQ4 对偶 $(S_Y, B)$ 是否为扇形？其分量与奇点如何与建筑中稳定格类的凸包相关联？
• RQ5 查尔斯商 $\overline{X}(r,n)$ 是否为 $X(r,n)$ 的对数极小模型，特别是在例外情形 $(3,6), (3,7), (3,8)$ 下？

主要发现

• 查尔斯商 $\overline{X}(r,n) = \mathrm{Gr}(r,n) // H$ 提供了 $X(r,n)$ 的紧化，其满足 $\overline{M}_{0,n}$ 的模空间与极限理论性质，推广至高秩情形。
• 在 $\mathrm{Spec}(R)$ 上族的特殊纤维 $S_Y$ 是稳定格类 $[M] \in \mathrm{Stab}$ 上的射影丛 $\mathcal{P}(M)$ 的并，沿建筑中 $1$-层结构对应的边界分量粘合而成。
• 对偶 $(S_Y, B)$ 的奇点为扇形奇点，其局部解析模型由 $\mathbb{A}^n$ 中线性子空间的并给出，由建筑中的有界 $2$-层结构分类。
• 边界分量 $\mathbb{B}_i$ 对应第 $i$ 个超平面的退化，其交集由建筑的组合学描述：若对应格类构成一个 $1$-层结构，则分量在 $\mathbb{P}^1$ 中相交。
• 相对对数微分丛 $\Omega^1_p(\log \mathcal{B})$ 允许从 $V_n$ 到 $S_n$-等变的典范映射，其在特殊纤维上的限制与光滑化无关，从而在 $H^0(S_Y, \Omega^1_{S_Y}(\log B))$ 上诱导出一个典范的 $V_n$-作用。
• 在例外情形 $(2,n), (3,6), (3,7), (3,8)$ 下，查尔斯商 $\overline{X}(r,n)$ 被猜想为对数极小模型，可能与例外根系存在关联。