[论文解读] Cyclic symmetries of A_n-quiver representations

David Nadler|arXiv (Cornell University)|Jun 1, 2013

Algebraic structures and combinatorial models参考文献 12被引用 5

一句话总结

本文通过循环范畴 $\underline{\Lambda}$，为 $A_n$-quiver 表示的两周期 $A_\infty$-范畴构造了循环函子性。它建立了从 $\underline{\Lambda}^{\mathrm{op}}$ 到两周期 $A_\infty$-范畴类的严格函子，提供了 $A_n$-quiver 表示的导出范畴的对称、组合式表述，并通过引入 $\mathrm{Sym}^2(S^1)$ 中的一点，将该构造推广到格拉斯版本，从而实现 $S^1$-等变结构，与 $K$-理论和镜像对称相关联。

ABSTRACT

This short note contains a combinatorial construction of symmetries arising in symplectic geometry (partially wrapped or infinitesimal Fukaya categories), algebraic geometry (derived categories of singularities), and K-theory (Waldhausen's S-construction). Our specific motivation (in the spirit of expectations of Kontsevich, and to be taken up in general elsewhere) is a combinatorial construction of quantizations of Lagrangian skeleta (equivalent to microlocal sheaves in their many guises). We explain here the one dimensional case of ribbon graphs where the main result of this paper gives an immediate solution.

研究动机与目标

• 在两周期 $A_\infty$-范畴的语境下，为 $A_n$-quiver 表示构造一个自然、对称且组合式的函子性。
• 建立从大循环范畴的反范畴 $\underline{\Lambda}^{\mathrm{op}}$ 到两周期 $A_\infty$-范畴类的严格函子，以捕捉 $A_n$-quiver 表示的循环对称性。
• 通过引入 $\mathrm{Sym}^2(S^1)$ 中的一点，将构造推广到格拉斯版本，从而实现 $S^1$-等变结构，并与 $K$-理论和镜像对称建立联系。
• 为理解 $A_n$-quiver 导出范畴的循环行为，提供一个具体且可计算的框架，该框架在辛拓扑与代数几何中具有相关性。

提出的方法

• 为每个有限循环有序集 $S \subset S^1$ 定义一个两周期 $A_\infty$-范畴 $\mathcal{C}_{S,st}$，使用以 $S$ 索引的基范畴的扭曲复形，以及度数为一的态射。
• 构造一个严格函子 $\mathcal{C}_{\mathrm{st}}: \underline{\Lambda}^{\mathrm{op}} \to \mathcal{A}_{\mathrm{per}}^{\mathrm{str}}$，将每个 $\underline{\Lambda}$ 中的对象 $S$ 映射到 $\mathcal{C}_{S,st}$，其态射由循环集之间的度数为一的映射诱导。
• 通过为对象配备一点 $c \in \mathrm{Sym}^2(S^1)$，引入格拉斯版本，从而得到一个函子 $\mathcal{C}_{\mathrm{st,gr}}: \underline{\Lambda}^{\mathrm{op}}_{\mathrm{gr}} \to \mathcal{A}^{\mathrm{str}}$，其态射具有移位格拉斯结构。
• 通过移位 $s_i \mapsto s_i[-\beta_i]$ 定义态射 $(\varphi, \gamma)$ 在对象上的作用，其中 $\beta_i$ 表示路径 $\gamma$ 与 $s_i$ 的带符号交叉次数，且通过在态射上恒等映射保持复合的一致性。
• 使用拟等价性将 $\mathcal{C}_{S,c,st,gr}$ 与有限维 $A_n$-quiver 表示的导出范畴 $\mathcal{Q}_{n,gr}$ 关联，其中移位由 $c$ 在区间内的重数决定。
• 通过将态射分解为常路径与恒等路径分量，并利用基于路径的格拉斯移位，验证函子性，其相容性通过约化到一般配置得以保证。

实验结果

研究问题

• RQ1 如何在 $A_\infty$-范畴中系统地以函子方式编码 $A_n$-quiver 表示的循环对称性？
• RQ2 导出范畴的 $S^1$-等变行为背后的精确组合结构是什么？
• RQ3 在 $\mathrm{Sym}^2(S^1)$ 中包含一个基点如何细化循环函子性，并与格拉斯 $A_\infty$-结构相关联？
• RQ4 是否能通过循环范畴 $\underline{\Lambda}$ 对 $A_n$-quiver 表示的两周期 $A_\infty$-范畴实现对称的呈现？
• RQ5 该构造如何与微局部层、镜像对称以及 $K$-理论中的 Waldhausen $S$-构造相关联？

主要发现

• 映射 $S \mapsto \mathcal{C}_{S,st}$ 可扩展为一个严格函子 $\mathcal{C}_{\mathrm{st}}: \underline{\Lambda}^{\mathrm{op}} \to \mathcal{A}_{\mathrm{per}}^{\mathrm{str}}$，为 $A_n$-quiver 表示的两周期导出范畴提供了普遍且对称的表述。
• 当 $n=2$ 时，该构造给出了一个对称的普遍正合三角形表述，与 $A_\infty$-范畴理论中的已知结果一致。
• 格拉斯版本 $\mathcal{C}_{\mathrm{st,gr}}$ 是从 $\underline{\Lambda}^{\mathrm{op}}_{\mathrm{gr}}$ 到 $\mathcal{A}^{\mathrm{str}}$ 的函子，其态射通过移位 $s_i \mapsto s_i[-\beta_i]$ 作用，其中 $\beta_i$ 由路径与顶点的带符号交叉数决定。
• 存在一个拟等价 $F: \mathcal{Q}_{n,gr} \to \mathcal{C}_{S,c,st,gr}$，将 $m_i$ 映射到 $s_i[\eta_i]$，将 $w_i$ 映射到 $v_i$，其中 $\eta_i$ 是 $c$ 在 $[s_0, s_i)$ 中的重数，从而建立与标准导出范畴的等价性。
• 通过将态射分解为常路径与恒等路径分量，验证了函子性，且对象上的移位作用确保了与复合的一致性。
• 该构造与自然对偶性 $\underline{\Lambda} \simeq \underline{\Lambda}^{\mathrm{op}}$ 兼容，从而允许循环函子性的对偶表述。