[论文解读] Structure of symplectic invariant Lie subalgebras of symplectic derivation Lie algebras

Shigeyuki Morita, Takuya Sakasai+1 more|arXiv (Cornell University)|Apr 13, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 4

一句话总结

本文通过使用规范度量和对称群的表示理论，建立了辛导子李代数 $χ_{g,1}^{Σp}$ 在度数 20 以内的正交直和分解。它给出了由杨图索引的不可约分量维数的显式公式，阐明了相关李代数 $χ_{g,*}$、$χ_g$ 和 $χ_{g,1}$ 之间的结构关系，并通过一种新颖的构造方法揭示了约翰逊像和理想中的新障碍。

ABSTRACT

We study the structure of the symplectic invariant part $\mathfrak{h}_{g,1}^{\mathrm{Sp}}$ of the Lie algebra $\mathfrak{h}_{g,1}$ consisting of symplectic derivations of the free Lie algebra generated by the rational homology group of a closed oriented surface $Σ_{g}$ of genus $g$. First we describe the orthogonal direct sum decomposition of this space which is induced by the canonical metric on it and compute it explicitly up to degree $20$. In this framework, we give a general constraint which is imposed on the $\mathrm{Sp}$-invariant component of the bracket of two elements in $\mathfrak{h}_{g,1}$. Second we clarify the relations among $\mathfrak{h}_{g,1}$ and the other two related Lie algebras $\mathfrak{h}_{g,*}$ and $\mathfrak{h}_{g}$ which correspond to the cases of a closed surface $Σ_g$ with and without base point $*\inΣ_g$. In particular, based on a theorem of Labute, we formulate a method of determining these differences and describe them explicitly up to degree $20$. Third, by giving a general method of constructing elements of $\mathfrak{h}_{g,1}^{\mathrm{Sp}}$, we reveal a considerable difference between the two submodules of it, one is the $\mathrm{Sp}$-invariant part of a certain ideal $\mathfrak{j}_{g,1}$ and the other is that of the Johnson image. Finally we combine these results to determine the structure of $\mathfrak{h}_{g,1}$ completely up to degree $6$ including the unstable cases where the genus $1$ case has an independent meaning. In particular, we see a glimpse of the Galois obstructions explicitly from our point of view.

研究动机与目标

• 确定辛导子李代数 $χ_{g,1}$ 的辛不变部分 $χ_{g,1}^{\mathrm{Sp}}$ 的结构，该部分作用于亏格 $g$ 曲面有理同调上的自由李代数。
• 阐明 $χ_{g,1}$、$χ_{g,*}$ 和 $χ_g$ 之间的结构差异，分别对应于有基点和无基点的曲面。
• 发展一种构造 $χ_{g,1}^{\mathrm{Sp}}$ 中元素的一般方法，并区分约翰逊像的 $σ$-不变部分与某个理想 $χ_{g,1}^+$ 的区别。
• 显式计算度数 20 以内的 $χ_{g,1}(2k)^{\mathrm{Sp}}$ 的正交分解，包括维数和不可约分量。

提出的方法

• 作者利用哈龙和沃尔兹的结果，对 $(H_{\mathbb{Q}}^{⊗(2k+2)})^{\mathrm{Sp}}$ 上的规范度量进行诱导，使得 $χ_{g,1}(2k)^{\mathrm{Sp}}$ 可分解为由杨图 $\lambda$（含 $k+1$ 个方格）索引的正交子空间 $H_\lambda$。
• 他们应用对称群 $\mathfrak{S}_{2k+2}$ 的特征标理论，利用康特舍维奇定义的特征标 $\chi_{2k}$ 和与加倍杨图 $\lambda^\delta$ 关联的不可约表示的特征标 $\chi_{\lambda^\delta}$，来计算每个 $H_\lambda$ 的维数。
• 分解形式为 $\mathfrak{h}_{g,1}(2k)^{\mathrm{Sp}} \cong \bigoplus_{|\lambda|=k+1, h(\lambda)\leq g} H_\lambda$，其维数公式为 $\mathrm{dim}\, H_\lambda = \frac{1}{(2k+2)!} \sum_{\gamma \in \mathfrak{S}_{2k+2}} \chi_{2k}(\gamma) \chi_{\lambda^\delta}(\gamma)$。
• 作者利用拉布特定理关联三个李代数 $\mathfrak{h}_{g,1}$、$\mathfrak{h}_{g,*}$ 和 $\mathfrak{h}_g$，并显式描述了它们在度数 20 以内的差异。
• 他们提出一种构造 $\mathfrak{h}_{g,1}^{\mathrm{Sp}}$ 中元素的一般方法，用于比较约翰逊像的 $\mathrm{Sp}$-不变部分与理想 $\mathfrak{j}_{g,1}$ 的 $\mathrm{Sp}$-不变部分，揭示了李代数中显著的结构差异。
• 对度数 14 至 20 的正交分解进行了显式计算，展示了 $\mathfrak{h}_{g,1}(2k)^{\mathrm{Sp}}$ 如何分解为由 $\lambda^\delta$ 索引的不可约 $\mathrm{Sp}$-模。

实验结果

研究问题

• RQ1 如何通过对称群特征标计算 $\mathfrak{h}_{g,1}(2k)^{\mathrm{Sp}}$ 到不可约 $\mathrm{Sp}$-模的正交直和分解？
• RQ2 李代数 $\mathfrak{h}_{g,1}$、$\mathfrak{h}_{g,*}$ 和 $\mathfrak{h}_g$ 在结构上如何不同？其在度数 20 以内的精确差异是什么？
• RQ3 约翰逊像的 $\mathrm{Sp}$-不变部分与理想 $\mathfrak{j}_{g,1}$ 在 $\mathfrak{h}_{g,1}$ 中的 $\mathrm{Sp}$-不变部分之间有何关系？
• RQ4 如何系统地构造 $\mathfrak{h}_{g,1}$ 中的 $\mathrm{Sp}$-不变元素？这种方法能揭示何种结构洞见？
• RQ5 在度数 6 以内，$\mathfrak{h}_{g,1}$ 的完整结构是什么，包括亏格 1 等不稳定情形？伽罗瓦障碍如何体现？

主要发现

• 空间 $\mathfrak{h}_{g,1}(2k)^{\mathrm{Sp}}$ 允许正交直和分解 $\bigoplus_{|\lambda|=k+1, h(\lambda)\leq g} H_\lambda$，其中每个 $H_\lambda$ 是由含 $k+1$ 个方格的杨图 $\lambda$ 索引的不可约 $\mathrm{Sp}$-模。
• 每个 $H_\lambda$ 的维数由公式 $\mathrm{dim}\, H_\lambda = \frac{1}{(2k+2)!} \sum_{\gamma \in \mathfrak{S}_{2k+2}} \chi_{2k}(\gamma) \chi_{\lambda^\delta}(\gamma)$ 给出，其中 $\chi_{2k}$ 通过莫比乌斯函数和轮换型定义。
• 在度数 14（即 $2k=14$）时，当 $g \geq 7$，有 $\dim \mathfrak{h}_{g,1}(14)^{\mathrm{Sp}} = 8817$，分解为 $[21^6]^\delta$，表明达到稳定极限。
• 当 $g \geq 9$ 时，$\mathfrak{h}_{g,1}(20)^{\mathrm{Sp}}$ 的分解为 $[21^8]^\delta$，显示在 $g=9$ 时已稳定，维数为 29729988。
• 通过构造方法表明，约翰逊像的 $\mathrm{Sp}$-不变部分与理想 $\mathfrak{j}_{g,1}$ 的 $\mathrm{Sp}$-不变部分之间的差异是非平凡的，揭示了李代数中的结构差异。
• 在度数 6 以内，$\mathfrak{h}_{g,1}$ 的完整结构已被确定，包括亏格 1 的情形，且伽罗瓦障碍通过分解显式显现。