[论文解读] Big mapping class groups acting on homology

Federica Fanoni, Sebastian Hensel+1 more|arXiv (Cornell University)|May 29, 2019

Geometric and Algebraic Topology参考文献 5被引用 6

一句话总结

本文通过引入同调末端过滤（homology end filtration）并证明：保持代数交叉形式与该过滤的同调自同构，当且仅当其保持由分离曲线诱导的末端结构时，才可由映射类实现，从而刻画了无限型曲面上大映射类群在同调表示下的像。关键结果将经典辛满射推广至无限型曲面，且对末端行为与曲线像相容性给出了精确条件。

ABSTRACT

We study the action of (big) mapping class groups on the first homology of the corresponding surface. We give a precise characterization of the image of the induced homology representation.

研究动机与目标

• 将经典同调表示 ρS: MCG(S) → Sp(2g; Z) 的刻画推广至无限型曲面。
• 理解当曲面具有无限亏格或无限多个洞孔时，映射类群如何作用于其第一同调群。
• 提出同调末端过滤 F，以编码末端的拓扑结构并捕捉映射类群的作用。
• 提供一个精确准则，判断 H1(S; Z) 的自同构何时可由映射类实现，该准则同时包含辛结构与末端结构的保持。
• 通过结合过滤理论与曲线实现技术，完全确定所有无限型曲面（包括洛赫 Ness 怪物曲面与雅各布天梯曲面）的 ρS 的像。

提出的方法

• 将同调末端过滤 F 定义为具有单个边界分量的无界子曲面的同调类的集合。
• 为一条分离的简单闭曲线 δ 定义左端集 L([δ])，以捕捉其所界定的末端拓扑结构。
• 证明 F 的超滤子与曲面 S 的末端之间存在双射，从而使得保持 F 的自同构可诱导出 Ends(S) 上的置换。
• 使用 Richards 曲线实现论证的变体，构造出不具有紧致聚集点的曲线，这对无限型曲面至关重要。
• 通过支持条件与弧似性条件，刻画哪些上同调类可表示为与连接两个末端的适当弧的交。
• 证明：保持 ˆι 与 F 的自同构必须保持分离曲线类，并满足末端映射与像同调类之间的相容性条件。

实验结果

研究问题

• RQ1 对于无限型曲面，同调表示 ρS: MCG(S) → Aut(H1(S; Z)) 的像是什么？
• RQ2 当曲面具有无限多个末端或无限亏格时，大映射类群在同调上的作用如何刻画？
• RQ3 同调末端过滤 F 在捕捉映射类群作用的拓扑约束中起什么作用？
• RQ4 为何保持代数交叉形式 ˆι 与过滤 F 是自同构可由映射类实现的充要条件？
• RQ5 ρS 的像能否仅用零化类刻画？还是过滤 F 必不可少？

主要发现

• 对于洛赫 Ness 怪物曲面，ρS 的像是恰好辛群 Sp(N; Z)，即保持代数交叉形式 ˆι 的自同构群。
• 对于除洛赫 Ness 怪物曲面及其单洞孔变体外的所有无限型曲面，H1(S; Z) 的自同构 φ 属于 ρS 的像当且仅当其保持 ˆι、同调末端过滤 F，且对某个非平凡分离曲线 δ 满足 fφ(L([δ])) = L(φ([δ]))。
• 在 φ 与 −φ 中恰好有一个属于 ρS 的像，表明该表示并非满射于 Sp(H1(S; Z))，但存在 2-挠对称性。
• 同调末端过滤 F 可检测分离曲线的拓扑类型：两条此类曲线定义相同的同调类当且仅当它们界定相同的末端集合。
• 本文构造了显式例子 (φ1, φ2)，表明仅保持 ˆι 不足；保持 F 是控制曲线代表元末端聚集的关键。
• 作者证明：由与连接两个末端的适当弧相交所生成的上同调类，其特征为在恰好两个末端上具有支持，且在每个末端上满足弧似性条件，从而将有限型曲面的结果推广至无限型曲面。