[论文解读] Theta-graph and diffeomorphisms of some 4-manifolds

Tadayuki Watanabe|arXiv (Cornell University)|May 19, 2020

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

一句话总结

该论文通过沿Θ图进行手术，构造了可数无穷多个非同痕的微分同胚，作用于闭的、非单连通的4-流形上，这些微分同胚同伦于恒等映射但不微分同痕于恒等映射。论文引入了Kontsevich特征类的扭曲类比，通过在具有李代数局部系数系的配置空间中的等变三重交点构造，证明了这些微分同胚的非平凡性，并由此得出关于4-流形中余维1嵌入和伪同痕的新结果。

ABSTRACT

In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $Θ$-graphs. As corollaries of this, we obtain some new results on codimension 1 embeddings and pseudo-isotopies of 4-manifolds. In the proof of the non-triviality of the diffeomorphisms, we utilize a twisted analogue of Kontsevich's characteristic class for smooth bundles, which is obtained by extending a higher dimensional analogue of Marché--Lescop's "equivariant triple intersection" in configuration spaces of 3-manifolds to allow Lie algebraic local coefficient system.

研究动机与目标

• 构造闭4-流形上无穷多个两两不同痕的微分同胚，它们同伦于恒等映射但不微分同痕于恒等映射。
• 将Marché–Lescop在3-流形上的等变三重交点不变量推广至具有李代数局部系数系的4-流形。
• 通过配置空间不变量，为光滑4-流形丛构造Kontsevich特征类的扭曲版本。
• 将该不变量应用于检测映射类群中先前方法无法触及的非平凡元素。
• 通过构造的微分同胚，推导出关于4-流形中余维1嵌入和伪同痕的新结果。

提出的方法

• 在4-流形上使用Θ图手术，构造S¹为底空间的4-流形丛，其单值表示非平凡。
• 通过Kontsevich特征类的扭曲类比定义微扰不变量，结合配置空间上的李代数局部系统。
• 将Marché–Lescop在高维的等变三重交点不变量推广至具有无挠局部系数系的4-流形。
• 采用带有局部系数的纤维化配置空间构造，利用以holonomy扩展的奇异链的叉积。
• 通过R-装饰的Θ图计算不变量，并通过 linking 数与带局部系数的链交点进行评估。
• 依赖于π₁(Σ³)在𝔰𝔩₂(ℂ)上的伴随表示的无挠性，以确保不变量定义良好且非零。

实验结果

研究问题

• RQ1 能否构造无穷多个4-流形的微分同胚，它们同伦于恒等映射但彼此不同痕？
• RQ2 基于配置空间中等变三重交点的扭曲特征类，能否检测4-流形丛中单值表示的非平凡性？
• RQ3 Θ图手术方法在多大程度上能检测到先前技术无法探测的4-流形映射类群中的元素？
• RQ4 此类微分同胚对光滑Schoenflies猜想和伪同痕理论有何影响？
• RQ5 将3-流形的不变量推广至具有李代数局部系数系的4-流形，对光滑结构的分类有何影响？

主要发现

• 该论文构造了不可数无穷多个两两不同痕的微分同胚，作用于4-流形X = Σ³ × S¹上，这些微分同胚同伦于恒等映射但不微分同痕于恒等映射。
• 这些微分同胚的非平凡性通过源自配置空间中等变三重交点的扭曲特征类不变量得以确立。
• 该不变量通过π₁(Σ³)到SU(2)的伴随表示所关联的局部系数系定义，当X关于该系统系数的上同调群为零时，其非零性得以证明。
• 该构造产生了关于4-流形中非平凡伪同痕与余维1嵌入的新例子，扩展了早期关于D³×S¹的研究结果。
• 该方法可检测到Budney与Gabai的嵌入微分计算方法无法探测的微分同胚，表明其适用范围更广。
• 证明了π′-模V₄ = Sym⁴V的不可约性，为上同调计算中不变量的非零性提供了支持。