[论文解读] Covering monopole map and higher degree in non commutative geometry

Tsuyoshi Kato|arXiv (Cornell University)|Jun 8, 2016

Advanced Operator Algebra Research参考文献 19被引用 4

一句话总结

本文在非交换几何中发展了Bauer-Furuta的有限维逼近框架的覆叠空间版本，为紧四曼诺伊德的万有覆叠上的单极子映射建立了高阶不变量。在Atiyah-Hitchin-Singer复形具有闭合值域且Dirac算子可逆的条件下，构造了C∗-代数之间的Γ-等变∗-同态，诱导出K-理论映射，将度理论推广至无限维、非紧致情形。

ABSTRACT

In this paper we develop analysis of the monopole maps over the universal covering space of a compact four manifold. We induce a property on local properness of the covering monopole map under the condition of closeness of the AHS complex. In particular we construct a higher degree of the covering monopole map when the linearized equation is isomorphic, which induces a homomorphism between K group of the group C^* algebras. It involves non linear analysis on the covering space, which is related to L^p cohomology. We also obtain various Sobolev estimates on the covering spaces. As a possible application, we propose an aspherical version of 10/8 inequality, combining with Singer conjecture on L^2 cohomology. It is satisfied for a large class of four manifolds which includes some complex surfaces of general type.

研究动机与目标

• 将Bauer-Furuta的有限维逼近框架扩展至紧四曼诺伊德的万有覆叠空间。
• 利用单极子映射在非交换几何中建立非交换、等变的度理论。
• 将L²上同调与Singer猜想联系至10/8不等式的一个猜想的双曲版本。
• 从基本群的C∗-代数构造至覆叠单极子映射的交叉积代数的K-理论同态。

提出的方法

• 使用Lp索伯列夫空间中的非线性分析，研究紧四曼诺伊德万有覆叠空间上的单极子映射。
• 施加Atiyah-Hitchin-Singer复形在覆叠空间上具有闭合值域的条件，以确保覆叠单极子映射的局部正规性。
• 对单极子映射应用有限维逼近技术，利用渐近Γ-有限逼近性。
• 通过映射下的函数拉回，在希尔伯特空间的S∗-代数之间构造Γ-等变∗-同态。
• 利用Bott周期性与标准Bott映射，在C∗-代数框架中定义极限构造。
• 将K-理论高阶度定义为有限维逼近的极限，结果是在交叉积C∗-代数的K-群之间诱导出一个映射。

实验结果

研究问题

• RQ1 能否为四曼诺伊德万有覆叠空间上的单极子映射定义高阶不变量？
• RQ2 在何种条件下，覆叠单极子映射能具备保证拓扑不变性的局部正规结构？
• RQ3 如何利用非交换几何将Bauer-Furuta框架扩展至非紧致、覆叠空间？
• RQ4 Atiyah-Hitchin-Singer复形的L²上同调与双曲情形下的10/8不等式之间有何关系？
• RQ5 覆叠单极子映射的K-理论度能否被解释为Seiberg-Witten不变量的推广？

主要发现

• 当Atiyah-Hitchin-Singer复形在万有覆叠空间上具有闭合值域时，覆叠单极子映射是局部强正规的。
• 在Dirac算子可逆且AHS复形的第二L²上同调为零的条件下，构造了S∗-代数之间的Γ-等变∗-同态。
• 该∗-同态诱导出从K∗(C∗(Γ))到K∗(S∗(H′) ⋊ Γ)的K-理论映射，将度理论推广至无限维、等变情形。
• 高阶度被定义为有限维逼近的极限，其构造依赖于渐近Γ-有限逼近性。
• 对于满足b¹ = 0且b⁺ ≥ 1的紧四曼诺伊德，单极子映射诱导出与度0 Seiberg-Witten不变量乘法同构的K-理论映射。
• 该框架支持一个双曲10/8不等式猜想，已在包括某些一般型复曲面在内的大量四曼诺伊德类中得到验证。