[论文解读] A topological grading on bordered Heegaard Floer homology

Yang Huang, Vinicius G. B. Ramos|arXiv (Cornell University)|Nov 30, 2012

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

一句话总结

本文通过使用带有边界的3-流形上的非零向量场的同伦类，引入了边界Heegaard Floer同调的规范拓扑分次。它通过在$F \times [0,1]$上定义共向平面丛的范畴，将闭3-流形上的绝对分次推广到边界情形，并证明粘合映射保持该分次，从而将绝对分次扩展到边界同调情境。

ABSTRACT

In this paper, we construct a canonical grading on bordered Heegaard Floer homology by homotopy classes of nonvanishing vector fields. This grading is a generalization of our construction of an absolute grading on Heegaard Floer homology and it extends the well-known grading with values in a noncommutative group defined by Lipshitz-Ozsváth-Thurston.

研究动机与目标

• 将Heegaard Floer同调在闭3-流形上的绝对分次扩展到带有边界的边界3-流形。
• 通过非零向量场的同伦类，为边界不变量$\widehat{\mathit{CFA}}(Y)$和$\widehat{\mathit{CFD}}(Y)$定义几何分次。
• 为与参数化曲面$F$相关的链代数$\mathcal{A}(F)$构造一个分次范畴$G(F)$。
• 证明边界粘合映射$\Phi$保持分次，将分块上的相对分次与闭流形上的绝对分次联系起来。

提出的方法

• 在$F \times [0,1]$上的共向平面丛范畴$G(F)$中，模去同伦，定义一个具有$\mathbb{Z}$-作用$\lambda^n$的范畴。
• 在链代数$\mathcal{A}(F)$上构造一个取值于$G(F)$的分次函数$\mathrm{gr}$，满足$\mathrm{gr}(a \cdot b) = \mathrm{gr}(a) \cdot \mathrm{gr}(b)$且$\mathrm{gr}(\partial a) = \lambda^{-1} \mathrm{gr}(a)$。
• 定义一个双模$S(Y)$，其左作用于$G(-F)$、右作用于$G(F)$，作为$\widehat{\mathit{CFA}}(Y)$和$\widehat{\mathit{CFD}}(Y)$的分次集合。
• 建立一个粘合映射$\Psi: S(Y_1) \otimes_{G(F)} S(Y_2) \to \mathrm{Vect}(Y)$，将分次的张量积映射到闭流形$Y = Y_1 \cup_F Y_2$上的绝对分次。
• 使用Pontryagin-Thom构造，将$Y_1$和$Y_2$上向量场的同伦类与粘合流形$Y$上的同伦类联系起来。
• 证明粘合映射$\Phi$保持分次，即$\widetilde{\mathrm{gr}}(\Phi(a \otimes b)) = \Psi(\mathrm{gr}(a) \otimes \mathrm{gr}(b))$。

实验结果

研究问题

• RQ1 能否将闭3-流形上Heegaard Floer同调的绝对分次扩展到带有边界的边界3-流形？
• RQ2 如何利用向量场等拓扑数据，为边界不变量$\widehat{\mathit{CFA}}(Y)$和$\widehat{\mathit{CFD}}(Y)$定义几何分次？
• RQ3 边界Heegaard Floer同调中的粘合映射是否与这一新的分次结构相容？
• RQ4 分次集合的代数结构是什么？它如何与$\mathcal{A}_\infty$-模作用相互作用？
• RQ5 边界不变量上的分次能否与通过粘合得到的闭流形上的绝对分次相关联？

主要发现

• 通过$Y$上非零向量场的同伦类，构造了边界Heegaard Floer同调不变量$\widehat{\mathit{CFA}}(Y)$和$\widehat{\mathit{CFD}}(Y)$的规范分次。
• 该分次取值于$F \times [0,1]$上共向平面丛的范畴$G(F)$，模去同伦，配备有$\mathbb{Z}$-作用$\lambda^n$。
• 该分次满足：对$\mathcal{A}(F)$的生成元，有$\mathrm{gr}(a \cdot b) = \mathrm{gr}(a) \cdot \mathrm{gr}(b)$且$\mathrm{gr}(\partial a) = \lambda^{-1} \mathrm{gr}(a)$。
• 对于$\widehat{\mathit{CFA}}(Y)$，模作用的分次满足$\mathrm{gr}(m_{l+1}(x; a_1, \dots, a_l)) = \lambda^{l-1} \mathrm{gr}(x) \cdot \mathrm{gr}(a_1) \cdots \mathrm{gr}(a_l)$。
• 粘合映射$\Phi: \widehat{\mathit{CFA}}(Y_1) \widetilde{\otimes} \widehat{\mathit{CFD}}(Y_2) \to \widehat{\mathit{CF}}(Y_1 \cup_F Y_2)$保持分次，且满足$\widetilde{\mathrm{gr}}(\Phi(a \otimes b)) = \Psi(\mathrm{gr}(a) \otimes \mathrm{gr}(b))$。
• 映射$\Psi: S(Y_1) \otimes_{G(F)} S(Y_2) \to \mathrm{Vect}(Y)$是双射，建立了兼容分次结构与闭流形上绝对向量场同伦类之间的一一对应关系。