[论文解读] Noncommutative Hodge-to-de Rham spectral sequence and the Heegaard Floer homology of double covers

Robert Lipshitz, David Treumann|arXiv (Cornell University)|Mar 13, 2012

Geometric and Algebraic Topology参考文献 27被引用 13

一句话总结

本文在特征 2 下建立了非交换 Hodge-to-de Rham 族谱序列，表明在 π-形式性条件下，微分分次代数上的双模的导出张量平方的 Hochschild 同调收敛于该双模本身的 Hochschild 同调。作者将此结果应用于 bordered Heegaard Floer 同调，证明了 3-流形和纽结的双重覆盖的新族谱序列，包括分支与非分支覆盖，推广了 Hendricks 的结果，并将其扩展至分析方法无法适用的范围。

ABSTRACT

Let A be a dg algebra over F_2 and let M be a dg A-bimodule. We show that under certain technical hypotheses on A, a noncommutative analog of the Hodge-to-de Rham spectral sequence starts at the Hochschild homology of the derived tensor product of M with itself and converges to the Hochschild homology of M. We apply this result to bordered Heegaard Floer theory, giving spectral sequences associated to Heegaard Floer homology groups of certain branched and unbranched double covers.

研究动机与目标

• 在微分分次代数和双模上，建立特征 2 下非交换 Hodge-to-de Rham 族谱序列的类比。
• 将此族谱序列应用于 bordered Heegaard Floer 同调，特别是 3-流形和纽结的双重覆盖。
• 通过纯粹代数的剪切-粘贴方法，证明此前通过分析方法获得的族谱序列，例如 Hendricks 定理，从而提供一种代数化证明。
• 将族谱序列推广至由 Z-覆盖诱导的非分支双重覆盖，从而超越 Seidel-Smith 局域化定理的适用范围。

提出的方法

• 在微分分次代数 A 和双模 M 满足 π-形式性与同调光滑性条件时，构造从 HH∗(M ⊗L_A M) 出发、收敛于 HH∗(M) 的族谱序列。
• 在 Hochschild 同调中使用 Z/2-局域化技术，分析 Z/2 ⊂ U(1) 对 M ⊗L_A M 的 Hochschild 链复形的作用。
• 通过将族谱序列应用于 bordered Heegaard Floer 理论，将纽结 Floer 同调解释为 bordered 代数上双模的 Hochschild 同调。
• 证明对于某些双重覆盖（分支或非分支），所得双模是 π-形式且中性，从而确保族谱序列按预期收敛。
• 利用 bordered Floer 同调中的正合三角形关系，以及 Dehn 扭转相关双模的 Serre 对偶性质，建立 Hochschild 同调中的拟同构与同构。
• 利用 TC(Z) 对应于具有过度扭曲邻域的接触结构这一事实，使得在 bordered-sutured 设置中可应用正合三角形论证。

实验结果

研究问题

• RQ1 在适当的代数条件下，是否可在特征 2 下构造从 M ⊗L_A M 的 Hochschild 同调到 HH∗(M) 的族谱序列？
• RQ2 此族谱序列是否可应用于 Heegaard Floer 同调，以恢复或推广 Hendricks 对分支双重覆盖的族谱序列？
• RQ3 该方法是否可扩展至非分支双重覆盖，特别是由 Z-覆盖诱导的覆盖，其中分析方法失效？
• RQ4 π-形式性与中性性在确保族谱序列的 E∞-页收敛与识别中起什么作用？

主要发现

• 在 π-形式性与同调光滑性条件下，构造了从 HH∗(M ⊗L_A M) ⇒ HH∗(M) 的族谱序列，从而在特征 2 下实现了非交换 Hodge-to-de Rham 族谱序列。
• 对于 3-流形 Y 中的零同调纽结 K 及其亏格 2 的 Seifert 曲面，对每个 Alexander 亏格 i，存在一个族谱序列：[HFK(Σ(K), π⁻¹(K); π∗t, i)] ⊗ H∗(Tⁿ) ⇒ [HFK(Y, K; t, i)]。
• 对于具有亏格 k 的纽结 K，存在一个族谱序列：[HFK(Σ(K), π⁻¹(K); π∗t, k−1)] ⇒ [HFK(Y, K; t, k−1)]。
• 对于由 Z-覆盖诱导的非分支双重覆盖 π: ˜Y → Y，对挠的 spinc-结构，建立了族谱序列 dHF(˜Y; π∗s) ⊗ H∗(S¹) ⇒ dHF(Y; s)。
• 证明该族谱序列与非交换 Hodge-to-de Rham 族谱序列相容，特别是在 Hodge-to-de Rham 序列退化时。
• 与 Dehn 扭转相关的双模充当 Serre 自同态，其张量积在 Hochschild 同调中诱导同构，从而在关键情形下确认了族谱序列的有效性。