[论文解读] Coisotropic Triples, Reduction and Classical Limit

Marvin Dippell, Chiara Esposito+1 more|arXiv (Cornell University)|Dec 23, 2018

Advanced Topics in Algebra参考文献 25被引用 4

一句话总结

本文引入了代数的共辛三元组作为泊松几何与形变量子化中共辛约化的统一代数框架。它构建了一个此类三元组上双模的双范畴，定义了一个与经典极限可交换的约化函子，并通过其分量间的显式相容性条件刻画了莫里塔等价性。主要贡献在于以函子性、双范畴化的方式形式化约化，该方式保持了莫里塔等价性与经典极限。

ABSTRACT

Coisotropic reduction from Poisson geometry and deformation quantization is cast into a general and unifying algebraic framework: we introduce the notion of coisotropic triples of algebras for which a reduction can be defined. This allows to construct also a notion of bimodules for such triples leading to bicategories of bimodules for which we have a reduction functor as well. Morita equivalence of coisotropic triples of algebras is defined as isomorphism in the ambient bicategory and characterized explicitly. Finally, we investigate the classical limit of coisotropic triples of algebras and their bimodules and show that classical limit commutes with reduction in the bicategory sense.

研究动机与目标

• 提供一个超越几何约束的共辛约化通用代数框架。
• 在共辛三元组上定义双模双范畴，以形式化该语境下的莫里塔等价性。
• 在该双范畴上构造一个保持同构与莫里塔等价性的约化函子。
• 研究双范畴设定下经典极限与约化之间的相容性。
• 通过其分量的显式结构条件刻画共辛三元组的莫里塔等价性。

提出的方法

• 引入共辛三元组 (Atot, AN, A0)，其中 A0 是子代数 AN 中的双边理想，且 AN 是 Atot 的子代数，推广了共辛约化中正规化子的构造。
• 定义此类三元组上的双模，其张量积具有良好性质，形成共辛三元组及其双模的双范畴 C3Bimod。
• 构造一个约化函子 red: C3Bimod → Bimod，将三元组映射到其约化代数，将双模映射到其商。
• 利用双范畴框架将莫里塔等价定义为 C3Bimod 中的同构，并推导出等价性的显式条件。
• 分析共辛三元组及其双模的经典极限，证明极限函子在双范畴意义下与约化函子可交换。
• 在双范畴中使用伪函子与自然变换来形式化约化过程的结构与一致性。

实验结果

研究问题

• RQ1 如何以保持范畴结构的方式，代数化形式化泊松几何中的共辛约化？
• RQ2 共辛三元组代数的正确双模与莫里塔等价性概念是什么？
• RQ3 能否在共辛三元组及其双模的双范畴上定义一个保持同构与莫里塔等价性的约化函子？
• RQ4 在双范畴设定下，共辛三元组的经典极限是否与约化过程可交换？
• RQ5 何种显式条件可基于其分量刻画共辛三元组的莫里塔等价性？

主要发现

• 本文构建了共辛三元组及其双模的双范畴 C3Bimod，其张量积与复合运算定义良好。
• 定义了约化函子 red: C3Bimod → Bimod，其将同构对象映射为同构对象，因此保持了莫里塔等价性。
• 莫里塔等价性在定理 5.5 中被刻画为 C3Bimod 中的同构，要求 Atot 与 AN 分量的莫里塔等价性，以及 A0 分量的相容性条件。
• 共辛三元组及其双模的经典极限与约化可交换，即极限函子在双范畴意义下与约化函子可交换。
• 该框架允许对量子与经典约化进行系统处理，显式相容性条件确保了量子化与经典极限之间的一致性。
• 该构造通过证明中间子代数（如正规化子）在定义一致的双范畴结构中不可或缺，从而为共辛约化中使用中间子代数提供了合理性。