[论文解读] Factorization of Dirac Operators on Almost-Regular Fibrations of Spin$^c$ Manifolds

Jens Kaad, Walter D. van Suijlekom|arXiv (Cornell University)|Oct 9, 2017

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

一句话总结

本论文通过无界Kasparov模构造，建立了在spin$^c$流形的几乎正则纤维化上，Dirac算子的垂直与水平分量分解。它表明，总Dirac算子在曲率项修正下可分解为一个垂直椭圆型Dirac算子族与水平Dirac算子的张量和，并证明该分解在双不变K-理论中代表内积Kasparov积。

ABSTRACT

We establish the factorization of the Dirac operator on an almost-regular fibration of spin$^c$ manifolds in unbounded KK-theory. As a first intermediate result we establish that any vertically elliptic and symmetric first-order differential operator on a proper submersion defines an unbounded Kasparov module, and thus represents a class in KK-theory. Then, we generalize our previous results on factorizations of Dirac operators to proper Riemannian submersions of spin$^c$ manifolds. This allows us to show that the Dirac operator on the total space of an almost-regular fibration can be written as the tensor sum of a vertically elliptic family of Dirac operators with the horizontal Dirac operator, up to an explicit `obstructing' curvature term. We conclude by showing that the tensor sum factorization represents the interior Kasparov product in bivariant K-theory.

研究动机与目标

• 将Dirac算子的分解推广至spin$^c$流形的正常黎曼子丛，包括非紧致情形。
• 建立在正常子丛上，具有垂直椭圆性与对称性的首阶微分算子可定义无界Kasparov模。
• 证明在几乎正则纤维化中，总空间上的Dirac算子可分解为垂直与水平分量，并带有显式的曲率修正项。
• 证明该张量和分解在双不变K-理论中代表内积Kasparov积。
• 提供Kasparov积的几何无界代表，保留了在有界KK理论中丢失的曲率信息。

提出的方法

• 从正常黎曼子丛上具有垂直椭圆性与对称性的首阶微分算子构造无界Kasparov模。
• 在垂直旋量上定义一个度量联络∇，以构造水平Dirac算子DB。
• 将总Dirac算子表示为DM = DV ⊗1 + 1⊗∇DB + Ω，其中Ω为显式的曲率项。
• 利用半闭链的内积张量积在无界KK理论中表示Kasparov积。
• 将Kucerovsky定理的推广版本应用于半闭链，以验证Kasparov积结构。
• 证明总空间M上Dirac算子的拉回与KK理论中张量和类一致。

实验结果

研究问题

• RQ1 在spin$^c$流形的几乎正则纤维化上，Dirac算子是否可在无界KK理论中分解为垂直与水平分量？
• RQ2 总Dirac算子分解中的曲率项Ω是如何产生的？其几何意义为何？
• RQ3 Dirac算子的张量和分解是否在双不变K-理论中代表内积Kasparov积？
• RQ4 无界代表是否能保留曲率等几何数据，而有界KK理论则不能？
• RQ5 这些结果在多大程度上推广了先前的分解定理至非紧致与奇异纤维化？

主要发现

• 在几乎正则纤维化的总空间上，Dirac算子可分解为DM = DV ⊗1 + 1⊗∇DB + Ω，其中DV为垂直椭圆型Dirac算子族，Ω为显式的曲率项。
• 张量和分解在双不变K-理论中代表内积Kasparov积，满足ı∗[DM] = [DV ]b⊗C0(B)[DB]。
• 曲率项Ω在有界KK理论中不可见，但在无界KK理论中被保留，凸显了无界代表的优势。
• 通过零延拓拉回的M上Dirac算子满足ı∗[DM] = [DM]，确保与KK理论中分解的一致性。
• 该结果将先前的分解定理推广至非紧致spin$^c$流形之间的正常黎曼子丛。
• 该构造适用于spin$^c$流形上的环面作用，给出主层上Dirac算子的分解DN = DV ⊗1 + 1⊗∇DN0/G + Ω。