[论文解读] Relative Weight Filtrations on Completions of Mapping Class Groups

Richard Hain|ArXiv.org|Feb 6, 2008

Geometric and Algebraic Topology参考文献 23被引用 15

一句话总结

本文通过单圈曲线系，引入了曲面完备映射类群上的相对权滤子，利用霍奇理论与伽罗瓦理论证明了其存在性。研究表明这些滤子与李代数结构及权滤子相容，关键结果包括将 $ M_0^ au \mathfrak{g}_S $ 识别为类抛物子代数，并在 $ g \geq 3 $，$ m > 1 $ 的条件下，利用graded分量维数的表示论界，构造了 $ \mathfrak{g}_{S,D} $ 上非平凡的相对权滤子。

ABSTRACT

This paper gives an exposition of relative weight filtrations on completions of mapping class groups associated to a stable degeneration of marked genus g curves. These relative weight filtrations have been constructed using Galois theory (with Matsumoto) and Hodge theory (with Pearlstein and Terasoma). It is shown that the level 0 part of the relative weight filtration is an analogue of a parabolic subalgebra of a Kac-Moody Lie algebra. It is shown that all such subalgebras correspond to equivalence classes of pants decompositions of the surface -- two being equivalent if and only if they determine the same handlebody that the reference surface bounds. One application is to show that handlebody subgroups of mapping class groups contain elements arbitrarily far down the lower central series of Torelli groups. (This result was also obtained independently by Jamie Jorgensen.)

研究动机与目标

• 通过曲面单闭曲线系，发展并建立完备映射类群上相对权滤子的存在性。
• 将德利涅关于相对权滤子的理论推广至完备映射类群及其李代数的背景中。
• 证明相对权滤子 $ M_\bullet^\gamma $ 与李括积及权滤子 $ W_\bullet $ 相容，确保强正合性与自然性。
• 将 $ M_0^\gamma \mathfrak{g}_S $ 识别为在半单李代数理论中类比于抛物子代数的子代数，具有正规化子性质。

提出的方法

• 利用离散群的相对完备化构造拟代数群 $ \mathcal{G}_S $，通过一个幂零群 $ \mathcal{U}_S $ 扩张 $ \mathrm{Sp}(H_1(S)) $。
• 通过交换的德恩扭转 $ \tau_\gamma $ 的对数定义一个幂零元 $ N_\gamma \in \mathfrak{g}_S $，其伴随作用保持权滤子 $ W_\bullet $ 不变。
• 应用霍奇理论与伽罗瓦理论的一般结果，保证与 $ N_\gamma $ 相关的相对权滤子 $ M_\bullet^\gamma $ 在 $ \mathfrak{g}_S $ 上存在，且与李括积相容。
• 利用切瓦莱定理关于可构造集与轨道维数的结论，分析 $ \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 中共轭轨道的扎里斯基闭包，给出余维数界。
• 应用表示论，识别 $ \mathrm{Gr}^{M}_2 \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 中的不可约 $ \mathfrak{gl}_g $-模，具体为 $ V_{[k,k]} $ 和 $ V_{[k,k,1]} $，分别对应 $ m = 2k $ 与 $ m = 2k-1 $。
• 利用 [13, (6.4)] 中的维数公式计算 $ \dim V_{[k,k]} $ 与 $ \dim V_{[k,k,1]} $，证明当 $ g \geq 3 $，$ m > 1 $ 时，轨道闭包的余维数为正。

实验结果

研究问题

• RQ1 在曲面 $ S $ 上一组不相交的单闭曲线所关联的完备映射类群 $ \mathcal{G}_S $ 上，是否存在相对权滤子？
• RQ2 相对权滤子 $ M_\bullet^\gamma $ 如何与 $ \mathfrak{g}_S $ 上的李代数结构及权滤子 $ W_\bullet $ 相互作用？
• RQ3 子代数 $ M_0^\gamma \mathfrak{g}_S $ 是否在映射类群的语境下，自然地类比于一个抛物子代数？
• RQ4 能否利用表示论方法，特别是当 $ m > 1 $ 时，对 $ \mathrm{Gr}^{M}_2 \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 的维数给出下界？
• RQ5 在 $ \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 中，$ \mathrm{Sp}(H) $-轨道 $ M_0^U \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 的余维数是多少？当 $ g \geq 3 $ 时，该余维数是否为正？

主要发现

• 相对权滤子 $ M_\bullet^\gamma $ 在 $ \mathfrak{g}_S $ 上存在，且与李括积相容，满足 $ M_r^\gamma \mathfrak{g}_S \otimes M_s^\gamma \mathfrak{g}_S \to M_{r+s}^\gamma \mathfrak{g}_S $。
• 子代数 $ M_0^\gamma \mathfrak{g}_S $ 等于其在 $ \mathfrak{g}_S $ 中的正规化子，使其自然类比于抛物子代数。
• 双加权分解 $ \mathfrak{g}_S \cong \prod_{m,k} \mathrm{Gr}^{M^\gamma}_k \mathrm{Gr}^W_m \mathfrak{g}_S $ 成立，表明其具有强结构分解。
• 当 $ g \geq 3 $ 且 $ m > 1 $ 时，$ \mathrm{Gr}^{M}_2 \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 包含 $ \mathfrak{gl}_g $-模 $ V_{[k,k]} $ 与 $ V_{[k,k,1]} $，分别对应大小为 $ 2k $ 与 $ 2k+1 $ 的分拆。
• $ \mathrm{Sp}(H) $-轨道 $ M_0^U \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 在 $ \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 中的余维数下界为 $ \dim \mathrm{Gr}^{M}_2 \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} - \dim \mathrm{Gr}^{M}_2 \mathfrak{sp}(H) $，且当 $ g \geq 3 $，$ m > 1 $ 时，该差值为正。
• 推导出 $ \dim V_{[k,k]} $ 与 $ \dim V_{[k,k,1]} $ 的显式维数公式，表明其随 $ k $ 单调递增，并用于确认余维数下界的正性。