[论文解读] A remark on monoidal structure and homological mirror symmetry

Tatsuki Kuwagaki|arXiv (Cornell University)|Mar 9, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

论文在提升 Balmer 谱构造以增强张量三角范畴方面取得改进，并证明 Fukaya 类别的单模结构决定对称性镜像到导出簇论的同调函子。

ABSTRACT

For a symplectic geometry $X$, suppose the (derived) Fukaya category $\mathrm{Fuk}(X)$ of $X$ is equipped with a monoidal structure. Then its Balmer spectrum recovers a mirror $Y$ of $X$ if there exists homological mirror symmetry $\mathrm{Fuk}(X)\cong D^b\mathrm{coh}(Y)$ and the monoidal structure is the mirror of the standard one of $D^b\mathrm{coh}(Y)$. In this short note, we fill one gap of this story in the literature: we show that the monoidal structure determines the homological mirror functor $\mathrm{Fuk}(X) o D^b\mathrm{coh}(Y)$.

研究动机与目标

• 通过说明 Fukaya 类别的单模结构如何通过 HMS 与镜像对称性相关联来提供动机。
• 在增强 setting 下扩展 Balmer 谱，并识别指向层叠簇论导出类别的典型函子。
• 阐明在何种条件下单模结构决定 HMS 函子。
• 将 SYZ/逐纤维单模结构与 Balmer 重建联系起来以解释 HMS。

提出的方法

• 为张量三角范畴及其更高（增强）版本定义 Balmer 谱。
• 通过更高结构层确定性地把范畴 C 的单模增强版本映射到 D(O_Spc) 的典型函子 m_C。
• 在 Balmer 谱上施加超完整性并假设更高结构层的经典性，以确保函子落在 D(O_{Spc}) 内。
• 将该构造与 Balmer 的重建联系起来，并在 Perf(X) 的情况下与标准包含性兼容地显示。
• 推导一个推论，表明在单模 Fukaya 范畴下的 HMS 函子可通过 canonical 包含获得。

实验结果

研究问题

• RQ1 Fuk(X) 的单模结构如何反映到镜像 HMS 函子到 D^b Coh(Y)？
• RQ2 Balmer 谱是否可以增强，以使 canonical 函子 m_T,⊗ 捕获 HMS 数据？
• RQ3 在何种技术条件下更高结构层可导致嵌入到 D(O_{Spc_⊗(π_0(C))}) 的 canonical 映像？
• RQ4 在 toric/同调-可构造性设定下，单模重建是否能恢复标准 HMS 函子？
• RQ5 不同镜像 Y 下 Fuk(X) 的非规范单模结构的几何含义是什么？

主要发现

• 在超完整性和更高结构层假设下，存在一个从具有增强的张量三角范畴到 Balmer 谱的导出范畴的 canonical 函子 m_T,⊗。
• 若 T = Perf(X) 对一个诺特域 X，m_T,⊗ 与进入 D(O_X) 的标准包含相吻合。
• 在 HMS F: Fuk(X) ≅ D^b Coh(Y) 的情况下，从 D^b Coh(Y) 诱导的单模结构通过 m_{Fuk(X),⊗_Fuk(X)} = F 恢复 F。
• HMS 结构中的右边竖箭头对应 Balmer 重建中的进入 D(O_Y) 的标准嵌入。
• 推论：当存在 HMS 等价时，单模 Fukaya 结构决定 HMS 函子 F。
• 该框架与通过一致-构造对应在 toric 场景中的已知结果保持一致。