[论文解读] Geometric realizations of the multiplihedron and its complexification

S. Ma’u, Chris Woodward|ArXiv.org|Feb 15, 2008

Geometric and Algebraic Topology参考文献 10被引用 16

一句话总结

本文通过稳定拼布圆盘的模空间几何实现多乘多面体，将其确立为与多乘多面体 $J_n$ 同胚的 CW 复形。进一步构造了该空间的复化形式，作为具有环形奇点的复射影代数簇，表明其实余维空间在对称群作用下包含 $J_n$ 作为基本区域，推广了关联多面体在格罗滕迪克-克努登模空间中的角色。

ABSTRACT

We realize Stasheff's multiplihedron geometrically as the moduli space of stable quilted disks. This generalizes the geometric realization of the associahedron as the moduli space of stable disks. We show that this moduli space is the non-negative real part of a complex moduli space of stable scaled marked curves.

研究动机与目标

• 将多乘多面体 $J_n$ 几何实现为具有 $n+1$ 个边界标记点和通过 $z_0$ 的内圆的稳定拼布圆盘的模空间。
• 将此实现推广至稳定缩放标记曲线的复模空间，从而推广实模空间。
• 证明复模空间 $\overline{M}_{n,1}(\mathbb{C})$ 是具有环形奇点的复射影代数簇。
• 确立 $\overline{M}_{n,1}(\mathbb{C})$ 的实余维空间在对称群 $S_n$ 作用下包含多乘多面体 $\overline{M}_{n,1}$ 作为基本区域。
• 将已知的关联多面体与格罗滕迪克-克努登模空间之间的关系推广至多乘多面体情形。

提出的方法

• 定义具有 $n+1$ 个边界标记点和通过 $z_0$ 的内圆的稳定拼布圆盘的模空间 $M_{n,1}$，通过允许节点配置将其紧化为 $\overline{M}_{n,1}$。
• 通过组合类型分类与节点退化，建立 $\overline{M}_{n,1}$ 与多乘多面体 $J_n$ 之间的 CW 复形同构。
• 将 $M_{n,1}$ 识别为 $n$ 个实点模平移，将其嵌入 $n$ 个复点模平移的复模空间 $M_{n,1}(\mathbb{C})$ 中。
• 按照 Ziltener 的构造，将 $\overline{M}_{n,1}(\mathbb{C})$ 构造为在仿射直线上具有平凡目标的辛自旋子的模空间。
• 使用交比坐标在 $\overline{M}_{n,1}(\mathbb{C})$ 上定义局部坐标图，表明其为具有环形奇点的复射影代数簇。
• 利用着色树分解与交比不变量，证明 $\overline{M}_{n,1}(\mathbb{C})$ 的实余维空间在 $S_n$ 作用下包含 $\overline{M}_{n,1}$ 作为基本区域。

实验结果

研究问题

• RQ1 多乘多面体 $J_n$ 能否被几何实现为具有标记点和内圆的稳定拼布圆盘的模空间？
• RQ2 稳定拼布圆盘的模空间是否自然地复化为复代数簇？
• RQ3 复模空间 $\overline{M}_{n,1}(\mathbb{C})$ 是否为具有环形奇点的复射影代数簇？
• RQ4 对称群 $S_n$ 是否作用于 $\overline{M}_{n,1}(\mathbb{C})$ 的实余维空间，使得多乘多面体 $\overline{M}_{n,1}$ 成为其基本区域？
• RQ5 复模空间 $\overline{M}_{n,1}(\mathbb{C})$ 与实模空间 $\overline{M}_{n,1}$ 之间有何关系？交比在此关系中起什么作用？

主要发现

• 稳定 $n$-标记拼布圆盘的模空间 $\overline{M}_{n,1}$ 作为 CW 复形同构于多乘多面体 $J_n$，从而为 $J_n$ 提供了几何实现。
• 复模空间 $\overline{M}_{n,1}(\mathbb{C})$ 是具有环形奇点的复射影代数簇，其构造为 $\mathbb{C}$ 上 $n$ 个点模平移的紧化形式。
• $\overline{M}_{n,1}(\mathbb{C})$ 的实余维空间在对称群 $S_n$ 作用下包含多乘多面体 $\overline{M}_{n,1}$ 作为基本区域。
• $\overline{M}_{n,1}(\mathbb{C})$ 上的局部坐标图由交比定义，且该空间在这些坐标下局部同构于环形簇。
• 映射 $\phi_T: \overline{M}_{n,1,\leq T}(\mathbb{C}) \to X^*(T)$ 是同构，表明每种组合类型均存在一个扎里斯基开邻域，其同构于环形簇。
• $\overline{M}_{n,1}(\mathbb{C})$ 在边界附近局部同构于 $M_{n,1,T}(\mathbb{C}) \times X(T)$，从而确认其结构为具有环形奇点的射影代数簇。