[论文解读] Contact categories of disks

Ko Honda, Tian Yin|arXiv (Cornell University)|Aug 30, 2016

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

一句话总结

本文为闭合定向曲面 $\Sigma$ 构造了接触范畴 $χ(\Sigma)$，其基于 $\Sigma \times [0,1]$ 上的接触结构，并为带有 $2n+2$ 个标记点的圆盘定义了其万有覆叠 $\widetilde{\mathcal{C}}_{n,e}$。证明了 $\widetilde{\mathcal{C}}_{n,e}$ 全然忠实嵌入其三角化包络 $\widetilde{\mathcal{D}}_{n,e}$，后者是有限生成投射 $R_{n,e}$-模的有界链复形的同伦范畴，且该嵌入保持旁路精确三角形。

ABSTRACT

In the first part of the paper we associate a pre-additive category $\mathcal{C}(Σ)$ to a closed oriented surface $Σ$, called the {\em contact category} and constructed from contact structures on $Σ imes[0,1]$. There are also $\mathcal{C}(Σ,F)$, where $Σ$ is a compact oriented surface with boundary and $F\subset \partialΣ$ is a finite oriented set of points which bounds a submanifold of $\partialΣ$, and universal covers $\widetilde{\mathcal{C}}(Σ)$ and $\widetilde{\mathcal{C}}(Σ,F)$ of $\mathcal{C}(Σ)$ and $\mathcal{C}(Σ,F)$. In the second part of the paper we prove that the universal cover of the contact category of a disk admits an embedding into its "triangulated envelope."

研究动机与目标

• 通过 $\Sigma \times [0,1]$ 上的分隔集的同伦类定义预加法范畴 $\mathcal{C}(\Sigma)$，推广至带边与标记点的曲面。
• 通过固定分隔集空间中的基点并利用提升自覆叠变换，构造接触范畴的万有覆叠 $\widetilde{\mathcal{C}}(\Sigma,F)$，并研究其代数结构。
• 建立 $\widetilde{\mathcal{C}}_{n,e}$ 到三角范畴 $\widetilde{\mathcal{D}}_{n,e}$ 的全然忠实嵌入，将其实现为三角化包络。
• 证明函子 $\widetilde{\mathcal{F}}_{n,e}$ 保持旁路精确三角形，从而将接触拓扑与同调代数联系起来。
• 通过 $R_{n,e}$ 上的 quiver 与模，为带标记点的圆盘的接触范畴提供代数模型，并应用于 Heegaard Floer 同调。

提出的方法

• 通过 $\Sigma \times [0,1]$ 上分隔集的同伦类定义接触范畴 $\mathcal{C}(\Sigma)$，其态射由旁路附加生成。
• 通过固定分隔集空间中的基点并利用覆叠变换提升，构造万有覆叠 $\widetilde{\mathcal{C}}_{n,e}$。
• 构造一个 quiver $Q_{n,e}$，其顶点对应基本分隔集，箭头对应旁路移动，从而在 $\mathbb{F}_2$ 上定义代数 $R_{n,e}$。
• 通过为每个分隔集 $\Gamma$ 赋予一个投射 $R_{n,e}$-模 $P(\Gamma)$，并为每个旁路 $\beta$ 赋予一个链映射 $\mathcal{F}(\beta)$，定义函子 $\widetilde{\mathcal{F}}_{n,e}: \widetilde{\mathcal{C}}_{n,e} \to \widetilde{\mathcal{D}}_{n,e}$。
• 通过检查路径乘法在 $R_{n,e}$ 上定义的微分的相容性，验证 $\mathcal{F}(\beta)$ 是良定义的链映射。
• 证明 $\widetilde{\mathcal{F}}_{n,e}$ 是全然忠实且正合的，且其像在迭代锥操作下生成 $\widetilde{\mathcal{D}}_{n,e}$，从而确立了三角化包络。

实验结果

研究问题

• RQ1 圆盘上接触范畴的万有覆叠能否全然忠实嵌入三角范畴？
• RQ2 带 $2n+2$ 个标记点与欧拉类 $n-2e$ 的圆盘的接触范畴的代数结构为何？
• RQ3 $\widetilde{\mathcal{C}}_{n,e}$ 中的旁路精确三角形与三角化包络 $\widetilde{\mathcal{D}}_{n,e}$ 中的典范三角形有何关系？
• RQ4 $\widetilde{\mathcal{D}}_{n,e}$ 是否与有限生成投射 $R_{n,e}$-模的有界链复形的同伦范畴等价？
• RQ5 $R_{n,e}$ 在圆盘上接触结构的范畴化中起何作用？

主要发现

• 带 $2n+2$ 个标记点与欧拉类 $n-2e$ 的圆盘上接触范畴的万有覆叠 $\widetilde{\mathcal{C}}_{n,e}$ 允许一个全然忠实函子 $\widetilde{\mathcal{F}}_{n,e}$ 嵌入三角范畴 $\widetilde{\mathcal{D}}_{n,e}$。
• $\widetilde{\mathcal{D}}_{n,e}$ 同构于有限生成投射 $R_{n,e}$-模的有界链复形的同伦范畴，其中 $R_{n,e}$ 同构于圆盘上条带代数的同调。
• 函子 $\widetilde{\mathcal{F}}_{n,e}$ 是正合的，即它将 $\widetilde{\mathcal{C}}_{n,e}$ 中的旁路精确三角形映射为 $\widetilde{\mathcal{D}}_{n,e}$ 中的典范三角形。
• $\widetilde{\mathcal{F}}_{n,e}$ 的像在迭代锥操作下生成 $\widetilde{\mathcal{D}}_{n,e}$，确认了 $\widetilde{\mathcal{D}}_{n,e}$ 是 $\widetilde{\mathcal{C}}_{n,e}$ 的三角化包络。
• 在 $\widetilde{\mathcal{D}}_{n,e}$ 上的 Serre 自同函子由平移与对偶性诱导，且范畴 $\widetilde{\mathcal{D}}_{n,e}$ 是三维 Calabi-Yau 的，反映了圆盘的几何对偶性。
• 该构造定义在 $\mathbb{F}_2$ 上，作者猜想结果可推广至任意域，尽管符号追踪在技术上仍具挑战性。