[论文解读] New series in the Johnson cokernels of the mapping class groups of surfaces

Naoya Enomoto, Takao Satoh|arXiv (Cornell University)|Dec 10, 2010

Geometric and Algebraic Topology参考文献 20被引用 7

一句话总结

本文研究了曲面映射类群的约翰逊余核的 $\mathrm{Sp}(2g,\mathbb{Q})$-模结构，重点关注有理约翰逊余核中的不可约分量。利用布拉厄-舒尔-外尔对偶性及极大向量的显式构造，作者证明了对于所有满足 $k \equiv 1 \pmod{4}$ 且 $k \geq 5$ 的 $k$，对应于分拆 $[1^k]$ 的不可约表示的重数为一，并以新方法重新证明了莫拉的结论：对于奇数 $k \geq 3$，$[k]$-型表示在约翰逊余核中的重数为一。该工作提供了最高权向量的显式描述，深化了对约翰逊滤子表示理论结构的理解。

ABSTRACT

In the present paper, we study the Sp-module structure of the cokernel of the Johnson homomorphism of the mapping class groups of surfaces. We detect the Sp-irreducible components with highest weight [1^k] (and [k]) in the cokernel. We also show that the multiplicities of them is equal to one.

研究动机与目标

• 理解有理约翰逊余核 $\mathfrak{h}_{g,1}^{\mathbf{Q}}(k)/\mathrm{Im}(\tau_{k,\mathbf{Q}}^{\mathcal{M}})$ 的 $\mathrm{Sp}(2g,\mathbb{Q})$-模结构。
• 识别并描述约翰逊余核中的不可约 $\mathrm{Sp}(2g,\mathbb{Q})$-模，特别是最高权为 $[1^k]$ 和 $[k]$ 的模。
• 通过显式向量构造，为莫拉关于奇数 $k \geq 3$ 时 $[k]$-型表示在约翰逊余核中重数的结论提供新证明。
• 利用布拉厄-舒尔-外尔对偶性，显式构造最高权为 $[1^k]$ 和 $[k]$ 的极大向量。
• 解决关于映射 $c_k$ 的像与 $\mathrm{Ker}(c_k)$ 结构的开放问题，特别是约翰逊余核中可能存在的障碍。

提出的方法

• 应用 $\mathrm{Sp}(2g,\mathbb{Q})$ 与布劳尔代数之间的布拉厄-舒尔-外尔对偶性，分析张量空间的分解。
• 使用丹金-斯佩希特-韦曼的幂等元描述张量空间中自由李代数的分量。
• 采用克拉斯凯维奇-韦曼的组合描述，计算限制表示 $\mathrm{Res}_{\mathrm{Cyc}_k}^{\mathfrak{S}_k} S^\lambda$ 中的重数。
• 利用表示论技巧，在约翰逊余核中显式构造最高权为 $[1^k]$ 和 $[k]$ 的极大向量。
• 利用约翰逊同态 $\tau_k^\mathcal{M}$ 及其有理化版本 $\tau_{k,\mathbf{Q}}^\mathcal{M}$，分析作为 $\mathfrak{h}_{g,1}^{\mathbf{Q}}(k)$ 商的余核。
• 将余核结构与映射 $c_k$ 的像关联，并研究 $\mathrm{Ker}(c_k)$ 以检测新的不可约分量。

实验结果

研究问题

• RQ1 对于满足 $k \equiv 1 \pmod{4}$ 且 $k \geq 5$ 的 $k$，对应于分拆 $[1^k]$ 的不可约 $\mathrm{Sp}(2g,\mathbb{Q})$-模是否出现在约翰逊余核中？
• RQ2 对于此类 $k$，$[1^k]$-型表示在有理约翰逊余核中的重数是多少？
• RQ3 能否通过显式向量构造，重新证明奇数 $k \geq 3$ 时 $[k]$-型表示在约翰逊余核中重数为一的结论？
• RQ4 映射 $c_k$ 的像如何与 $\mathrm{Ker}(c_k)$ 及约翰逊余核的结构相关联？
• RQ5 是否存在属于 $\mathrm{Ker}(c_k)$ 但不包含在李代数的导出子代数 $[\mathfrak{h}_{g,1}^{\mathbf{Q}}, \mathfrak{h}_{g,1}^{\mathbf{Q}}](k)$ 中的不可约 $\mathrm{Sp}(2g,\mathbb{Q})$-模？

主要发现

• 对于所有满足 $k \equiv 1 \pmod{4}$ 且 $k \geq 5$ 的 $k$，对应于分拆 $[1^k]$ 的不可约 $\mathrm{Sp}(2g,\mathbb{Q})$-模在第 $k$ 个约翰逊余核中以重数一出现。
• 对于所有奇数 $k \geq 3$，对应于分拆 $[k]$ 的不可约 $\mathrm{Sp}(2g,\mathbb{Q})$-模在约翰逊余核中以重数一出现，通过新构造方法确认了莫拉的结果。
• 利用布拉厄-舒尔-外尔对偶性与幂等元技术，在约翰逊余核中显式构造了最高权为 $[1^k]$ 和 $[k]$ 的极大向量。
• 当 $k=6$ 时，核 $\mathrm{Ker}(c_6)$ 严格包含像 $\mathrm{Im}(\tau_{6,\mathbf{Q}}^\mathcal{M})$，表明一般情况下 $\mathrm{Im}(\tau_{k,\mathbf{Q}}^\mathcal{M}) \neq \mathrm{Ker}(c_k)$。
• 平凡表示 $[0]$（平凡表示）在 $\mathrm{Ker}(c_6)/\mathrm{Im}(\tau_{6,\mathbf{Q}}^\mathcal{M})$ 中的重数至少为一，表明余核包含非平凡的 $\mathrm{Sp}$-不变分量，超出 $\tau_k^\mathcal{M}$ 的像。
• 康南-卡萨博夫-冯特曼的猜想障碍可能位于 $\mathrm{Ker}(c_k)$ 中，暗示 $\mathrm{Ker}(c_k)$ 捕获了比 $\mathrm{Im}(\tau_{k,\mathbf{Q}}^\mathcal{M})$ 更深层次的结构。