[论文解读] An action of the cactus group

André Henriques|arXiv (Cornell University)|May 21, 2007

Algebraic Geometry and Number Theory被引用 5

一句话总结

该论文通过一个满足 $ r^3 = 1 $、$ \iota^2 = 1 $ 且 $ d_i \circ r = r \circ d_{i-1} $ 的流形图的函子构造，构建了大仙人掌群 $ J'_n $ 在模空间 $ \mathcal{A}(n) = (\mathcal{F} \ell_m)^n / SL_m $ 的完全正部分 $ \mathcal{A}(n)_{>0} $ 上的作用。关键结果是一个非簇、非洛朗的作用，该作用保持典范预辛形式（符号相反），其来源于簇映射与一个反转体积形式的对偶映射的复合。

ABSTRACT

We construct an action of the big cactus group (the fundamental group of the Deligne-Mumford compactification of the moduli space of real curves of genus zero with n undistinguished marked points) on Fock-Goncharov's SL_m analog of the decorated Teichmuller space of ideal n-gons.

研究动机与目标

• 在空间 $ (\mathcal{F} \ell_m)^n / SL_m $ 的完全正部分 $ \mathcal{A}(n)_{>0} $ 上定义大仙人掌群 $ J'_n $ 的几何作用。
• 将晶体上的 braid 群类作用推广为在旗流形正几何上的仙人掌群作用。
• 在 $ \mathcal{A}(n)_{>0} $ 上提供一个非簇、非洛 Laurent 的作用，该作用保持典范预辛形式（符号相反）。
• 通过三角剖分的 $ n $ 边形与满足特定关系的流形图，建立函子框架。

提出的方法

• 从一个包含对象 $ \triangle $（定向三角形）和 $ I $（无向区间）的范畴 $ \mathcal{C} $ 构造一个反变函子 $ X_\bullet $，其中 $ X_\triangle = \mathcal{A}(3)_{>0} $，$ X_I = \mathcal{A}(2)_{>0} $。
• 实现满足 $ r^3 = 1 $、$ \iota^2 = 1 $ 且 $ d_i \circ r = r \circ d_{i-1} $ 的映射 $ r: X_\triangle \to X_\triangle $（阶为 3）、$ \iota: X_\triangle \to X_\triangle $（对合）和 $ d_i: X_\triangle \to X_I $。
• 通过余极限将函子扩展到 $ \widehat{\mathcal{C}} $，即具有定向 2-面且链连通的二维有限单纯复形范畴。
• 将 $ \tau: X_\triangle \to X_\triangle $ 定义为四点旗空间的簇交换映射的复合。
• 将 $ \theta: X_\triangle \to X_\triangle $ 定义为将三元旗映射为反向正交三元组的对偶映射，该映射反转体积形式与预辛形式。
• 利用对三角剖分 $ n $ 边形的函子赋值，得到 $ \mathcal{A}(n)_{>0} $ 上的 $ J'_n $-作用，其中 $ J'_n $ 被实现为 $ [\overline{M}_{0,n}(\mathbb{R})/S_n] $ 的基本群。

实验结果

研究问题

• RQ1 大仙人掌群 $ J'_n $ 如何在旗模空间的正部分上实现？
• RQ2 仙人掌群作用在 $ \mathcal{A}(n)_{>0} $ 上的几何与代数结构是什么？
• RQ3 为何该作用不具簇性质？对偶映射 $ \theta $ 在破坏洛朗现象中起什么作用？
• RQ4 该作用与 $ \mathcal{A}(n)_{>0} $ 上的簇结构及预辛形式有何关系？
• RQ5 能否从满足 $ r^3=1 $、$ \iota^2=1 $、$ d_i \circ r = r \circ d_{i-1} $ 关系的流形图中，通过函子构造得到 $ \mathcal{A}(n)_{>0} $ 上的 $ J'_n $-作用？

主要发现

• 大仙人掌群 $ J'_n $ 通过满足 $ r^3 = 1 $、$ \iota^2 = 1 $ 且 $ d_i \circ r = r \circ d_{i-1} $ 的流形图的函子构造，在 $ \mathcal{A}(n)_{>0} $ 上作用。
• 该作用非簇类，因其不保持洛朗性质，也不保持典范预辛形式。
• 该作用非簇类的原因在于映射 $ \theta $，其为簇映射与一个反转簇矩阵及预辛形式的自同构的复合。
• 空间 $ \mathcal{A}(n)_{>0} $ 同构于 $ \mathbb{R}_{>0}^{(n-2)\binom{m+1}{2} + (m+1) - n} $，其坐标由 $ \Delta_{i_1\ldots i_n} $ 给出，满足广义普吕克型关系。
• 当 $ m=2 $ 时，$ \mathcal{A}(n)_{>0} $ 同构于带装饰的理想 $ n $ 边形的泰希米勒空间，其坐标为 $ \Delta_{ij} = \exp(\frac{1}{2}d_{ij}) $。
• 该作用与三角剖分相容，每个三角剖分自然地对应于图 (2) 中的圆点，提供一个坐标系。