[论文解读] Projective twists in A-infinity categories

Richard M. Harris|arXiv (Cornell University)|Nov 2, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 3

一句话总结

本文引入了在 $A_\infty$-范畴中 $\mathbb{C}\mathbb{P}^n$-物件的概念，并构造了一个 $A_\infty$-函子 $\Phi_V$，其在导出范畴 $D\mathcal{A}$ 上诱导出一个自同构。关键结果是证明当 $n=1$ 时，$\Phi_V$ 对应于辛投影扭转 $\phi_V$，其依据为关系式 $\tau_V^2 = \phi_V$ 以及 Seidel 关于球面扭转的结果。

ABSTRACT

Given a Lagrangian V \cong CP^n in a symplectic manifold (M,ω), there is an associated symplectomorphism ϕ_V of M. We define the notion of a CP^n-object in an A-infinity-category A and use this to construct algebraically an A-infinity-functor Φ_V and prove that it induces an autoequivalence of the derived category DA. We conjecture that Φ_V corresponds to the action of ϕ_V and prove this in the lowest dimension n=1. The construction is designed to be mirror to a construction of Huybrechts and Thomas.

研究动机与目标

• 在 $A_\infty$-范畴 $\mathcal{A}$ 中定义 $\mathbb{C}\mathbb{P}^n$-物件，推广支撑辛投影扭转的代数结构。
• 从此类物件构造一个 $A_\infty$-函子 $\Phi_V$，使其在导出范畴 $D\mathcal{A}$ 上诱导出自同构。
• 猜想 $\Phi_V$ 对应于辛流形中与拉格朗日子流形 $V \cong \mathbb{C}\mathbb{P}^n$ 关联的辛投影扭转 $\phi_V$。
• 通过关系式 $\tau_V^2 = \phi_V$ 及球面扭转的已知结果，在最低维 $n=1$ 时验证该猜想。
• 证明 $\Phi_V$ 在弗克亚范畴中可能不存在几何实现，即使其代数结构定义良好。

提出的方法

• 通过要求其上同调匹配 $H^*(\mathbb{C}\mathbb{P}^n; \mathbb{K})$ 并满足特定的 $A_\infty$-结构条件，在三角化 $A_\infty$-范畴 $\mathcal{A}$ 中定义 $\mathbb{C}\mathbb{P}^n$-物件。
• 基于 $\mathbb{C}\mathbb{P}^n$-物件的 $A_\infty$-结构，使用 Huybrechts-Thomas 对 $\mathbb{P}^n$-物件的构造方法，构造 $A_\infty$-函子 $\Phi_V$。
• 通过证明其同构于通过扭曲复形定义的扭转函子，证明 $\Phi_V$ 在导出范畴 $D\mathcal{A}$ 上诱导出自同构。
• 利用 $Aut^c(M,\omega)/Ham(M,\omega)$ 中的关系 $\tau_V^2 = \phi_V$，将猜想约化为验证 $\Phi_V$ 与 $T_V^2$ 在 $D\mathcal{F}(M,\omega)$ 上是否同构。
• 沿由 $V \cong \mathbb{C}\mathbb{P}^1$ 的非平凡覆叠诱导的双覆 $\pi: \widetilde{M} \to M$，对弗克亚范畴施加拉回函子，以分析 $\Phi_V$ 的几何实现性。
• 利用 Floer 上同调的秩以及包裹弗克亚范畴的幂等完备化，证明拉回复形 $\widetilde{V} \to \widetilde{V}[1] \to \pi^{-1}(Y)$ 不可能同构于通过提升 $\widetilde{V}$ 的提升变换得到的任意直和，从而证明其不可实现性。

实验结果

研究问题

• RQ1 能否通过弗克亚范畴中的 $A_\infty$-函子代数地实现与拉格朗日子流形 $V \cong \mathbb{C}\mathbb{P}^n$ 关联的辛投影扭转 $\phi_V$？
• RQ2 $\mathbb{C}\mathbb{P}^n$-物件构造出的 $A_\infty$-函子 $\Phi_V$ 是否在导出范畴 $D\mathcal{A}$ 上诱导出自同构？
• RQ3 在 $n=1$ 的情形下，代数函子 $\Phi_V$ 是否与辛投影扭转 $\phi_V$ 同构？若同构，其如何由球面扭转的已知结果导出？
• RQ4 $\Phi_V$ 能否作为辛同胚在弗克亚范畴中的像被几何实现？是否存在其缺乏几何代表的情形？
• RQ5 何种 $A_\infty$-范畴 $\mathcal{A}$ 的条件可确保 $\Phi_V$ 定义良好并诱导出自同构？

主要发现

• 通过第 4 节的证明，由 $\mathbb{C}\mathbb{P}^n$-物件构造的 $A_\infty$-函子 $\Phi_V$ 在导出范畴 $D\mathcal{A}$ 上诱导出自同构。
• 当 $n=1$ 时，利用关系式 $\tau_V^2 = \phi_V$ 及 Seidel 关于球面扭转的结果，验证了 $\Phi_V$ 对应于辛投影扭转 $\phi_V$ 的猜想。
• 在双覆 $\pi: \widetilde{M} \to M$ 下，复形 $V \to V[1] \to Y$ 的拉回得到复形 $\widetilde{V} \to \widetilde{V}[1] \to \pi^{-1}(Y)$，其不与任何通过 $\widetilde{V}$ 的提升变换得到的直和复形 quasi-同构。
• 这表明复形 $\widetilde{V} \to \widetilde{V}[1] \to \pi^{-1}(Y)$ 不可能作为几何拉格朗日子流形的拉回，因此 $\Phi_V$ 在弗克亚范畴中无几何代表。
• 该构造基于 Huybrechts 与 Thomas 对 $\mathbb{P}^n$-物件的工作，建立了代数与辛扭转函子之间的镜像对称关系。
• 该论证对任意系数域 $\mathbb{K}$ 成立，且对相对自旋拉格朗日子流形也成立，包括偶数 $n$ 的情形。