[论文解读] Surface Homeomorphisms That Do Not Extend to Any Handlebody and the Johnson Filtration

Jamie Bradley Jorgensen|ArXiv.org|May 28, 2008

Geometric and Algebraic Topology参考文献 18被引用 3

一句话总结

本文证明了在亏格3或更高的曲面上存在微分同胚，这些微分同胚即使位于映射类群的约翰逊滤链的极深层次，也无法延拓到任何柄体。通过李代数理论和约翰逊同态，作者构造了位于滤链第k项中的强健微分同胚，它们无法延拓到柄体，表明代数约束（深层滤链）并不能保证几何上的可延拓性。

ABSTRACT

We prove the existence of homeomorphisms of a closed, orientable surface of genus 3 or greater that do not extend to any handlebody bounded by the surface. We show that such homeomorphisms exist arbitrarily deep in the Johnson filtration of the mapping class group. The second and third terms of the Johnson filtration are the well-known Torelli group and Johnson subgroup, respectively. Richard Hain has obtained very similar results by different methods.

研究动机与目标

• 解决映射类群元素在具有强代数约束下仍无法延拓到柄体的几何障碍问题。
• 研究位于约翰逊滤链深层的微分同胚是否可能无法延拓到任何柄体。
• 利用李代数与同态理论，构造此类不可延拓微分同胚的显式例子。
• 确定此类不可延拓微分同胚存在的精确亏格与滤链深度条件。
• 证明对于亏格≥3的曲面，此类微分同胚可在约翰逊滤链中任意深层存在。

提出的方法

• 利用映射类群的约翰逊滤链，重点关注第k项𝒥(k)及其相关的约翰逊同态τ_k。
• 应用莫拉塔-希普同态与李代数技巧，分析τ_k的像及其实表示。
• 在曲面上构造一个向量丛E，将问题约化为比较τ_k的像与对称张量空间的维数。
• 采用莱文的估计式dim(im(j_* ∘ τ_k)^ℝ)来比较维数，从而确立不可延拓性。
• 利用维特定理计算自由李代数的维数，特别是C(k, m−1)，以界定像的大小。
• 应用归纳论证与不等式分析（例如g(g+1)/2 < ∑C(3,m−1)）来验证在亏格与滤链深度下不可延拓性的条件。

实验结果

研究问题

• RQ1 是否存在位于约翰逊滤链中的曲面微分同胚，其无法延拓到任何柄体？
• RQ2 对于亏格≥3的曲面，此类不可延拓微分同胚是否可在约翰逊滤链中任意深层找到？
• RQ3 约翰逊滤链中的代数深度与柄体延拓这一几何性质之间有何关系？
• RQ4 对于哪些(g,k)对，τ_k的像的维数不足以支持延拓到柄体？
• RQ5 在𝒥(k) − 𝒥(k+1)中是否存在不延拓到任何柄体的强健微分同胚？

主要发现

• 对于亏格g ≥ 3且足够大的k，存在属于𝒥(k) − 𝒥(k+1)的微分同胚，其无法延拓到任何柄体，该结论由维数比较确认。
• 当k=2（托里利群）时，若g ≥ 7，则存在不可延拓的微分同胚，因为g(g+1)/2 < (g choose 3)。
• 当k=3时，若g ≥ 5，则存在不可延拓的微分同胚，依据不等式g(g+1)/2 < ∑_{m=3}^g C(3,m−1)。
• 该构造具有鲁棒性：若f是𝒥(k) − 𝒥(k+1)中的不可延拓微分同胚，则对所有n ≠ 0，f^n也是不可延拓的。
• 该结果在图5.10的阴影区域内成立，该区域指定了满足维数不等式从而确保不可延拓性的(g,k)对。
• 本文确认，对于亏格≥3的曲面，此类不可延拓微分同胚可在约翰逊滤链中任意深层存在，从而解决了关键的几何-代数矛盾。