[论文解读] Noncommutative augmentation categories

Baptiste Chantraine, Georgios Dimitroglou Rizell+2 more|arXiv (Cornell University)|Mar 14, 2016

Algebraic structures and combinatorial models被引用 8

一句话总结

本文通过将具有非交换代数系数的微分分次代数（DGA）进行对偶化，将其推广至非交换设定，构造出一个增强的 A∞-范畴。该工作提出了两种不同的构造方法——一种针对单位元非交换代数（情形 I），另一种针对非交换厄米代数（情形 II），并证明了其在稳定-纯真同构与 DGA 同伦下的不变性，从而将框架扩展至非交换接触同调的 Legendrian 不变量。

ABSTRACT

To a differential graded algebra with coefficients in a noncommutative algebra, by dualisation we associate an $A_\infty$-category whose objects are augmentations. This generalises the augmentation category of Bourgeois and Chantraine to the noncommutative world.

研究动机与目标

• 将此前仅针对交换系数定义的增强范畴构造，推广至具有非交换系数的微分分次代数。
• 定义一个 A∞-范畴，其对象为非交换 DGA 的增强，且在 DGA 同伦与稳定-纯真同构下保持不变。
• 提供两种不同的构造：一种针对单位元非交换代数（情形 I），另一种针对非交换厄米代数（情形 II），包括有限维代数与群环。
• 建立所构造的 A∞-范畴在稳定-纯真同构与 DGA 同伦下的不变性，将已知结果推广至非交换情形。
• 将构造与微局部层理论及镜像对称联系起来，表明 A∞-结构对应于任意微局部秩的层。

提出的方法

• 对具有非交换代数系数的微分分次代数 A 进行对偶化，构造一个上链复，其上同调捕捉增强数据。
• 通过双重化过程定义 A∞-运算，利用非退化配对与高阶运算，将 [2] 中的交换构造适配至非交换设定。
• 引入两种构造：情形 I 使用单位元非交换代数上增强模的对偶；情形 II 利用厄米结构定义精炼的 A∞-结构。
• 将构造应用于 Legendrian 子流形的 Chekanov-Eliashberg DGA，特别关注增强仅在非交换代数上存在的情形（例如特征代数）。
• 利用扰动技巧与一致的 Legendrian 链序列（例如 n 重链）定义增强范畴的“+”变体，整合来自 Morse 函数的混合弦。
• 利用 DGA 在稳定-纯真同构与 DGA 同伦下的已知不变性结果，将其推广至非交换 A∞-范畴，证明其拟等价不变性。

实验结果

研究问题

• RQ1 如何将增强范畴构造从交换系数推广至非交换系数的微分分次代数？
• RQ2 从非交换 DGA 的增强中产生的适当 A∞-范畴结构是什么？与交换情形有何不同？
• RQ3 双重化过程能否在非交换设定下保持 DGA 同伦与稳定-纯真同构下的不变性？
• RQ4 非交换厄米代数在精炼 A∞-结构中的作用是什么？该构造与一般非交换情形有何区别？
• RQ5 所构造的 A∞-范畴在非交换情形下如何与微局部层理论及同调镜像对称关联？

主要发现

• 本文为具有单位元非交换代数系数的微分分次代数构造了增强的 A∞-范畴，推广了 [2] 中的交换情形。
• 定义了两种不同的 A∞-结构：一种适用于一般单位元非交换代数（情形 I），另一种适用于非交换厄米代数（情形 II），二者结果不同。
• 在情形 I（单位元非交换代数）中，单位元 m 的对偶被证明为循环，即使边界非零（由于非交换性），从而确保上同调定义良好。
• 与增强对相关的双线性化（上）复形在 DGA 的稳定-纯真同构下不变，甚至在 DGA 同伦下也保持不变，将已知结果推广至非交换系数。
• 定义了包含来自 n 重链上 Morse 函数的混合弦的增强范畴的“+”变体，并证明其在相同 DGA 不变性原理下保持不变。
• 对于稳定-纯真同构的 DGAs，所构造的 A∞-范畴是拟等价的，将 [29] 中的结果推广至非交换设定。