[论文解读] Cartier isomorphism for unital associative algebras

D. Kaledin|arXiv (Cornell University)|Sep 27, 2015

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

一句话总结

本文为特征不等于2的域上的结合代数建立了Cartier同构的非交换推广。它构造了函子性群 $BHH_\bullet(A)$、$ZHH_\bullet(A)$，以及一个Frobenius-半线性映射 $C: ZHH_\bullet(A)/BHH_\bullet(A) \to HH_\bullet(A)$，该映射在 $A$ 为交换且光滑时恢复经典Cartier同构，通过一个扩展Hochschild-Kostant-Rosenberg理论至非交换情形的新框架实现。

ABSTRACT

Given an associative unital algebra $A$ over a perfect field $k$ of odd positive characteristic, we construct a non-commutative generalization of the Cartier isomorphism for $A$. The role of differential forms is played by Hochschild homology classes, and de Rham diferential is replaced with the Connes-Tsygan differential.

研究动机与目标

• 将经典Cartier同构（在正特征下将de Rham上同调与微分形式联系起来）推广至任意单位结合代数。
• 利用循环同调群 $ZHH_\bullet(A)$ 和 $BHH_\bullet(A)$，定义闭形式与恰当形式空间的非交换类比。
• 构造一个广义的非交换Cartier映射 $C$，使其在非交换情形下推广经典Cartier映射。
• 证明当 $A$ 为交换且光滑时，该广义Cartier映射退化为经典形式，从而确保与Hochschild-Kostant-Rosenberg理论的一致性。

提出的方法

• 将 $BHH_\bullet(A)$ 和 $ZHH_\bullet(A)$ 定义为Hochschild同调 $HH_\bullet(A)$ 的子商群，利用Connes-Tsygan微分 $B$ 及其通过映射 $\xi$ 和 $\beta$ 的分解。
• 引入一个长正合列：$BHH_\bullet(A) \xrightarrow{\xi} ZHH_\bullet(A) \xrightarrow{C} HH_\bullet(A) \xrightarrow{\beta} BHH_{\bullet+1}(A)$，其中 $C$ 为核心非交换Cartier映射。
• 证明 $C$ 是Frobenius-半线性且函子性，保持与局部化和基变换的相容性。
• 利用Hochschild-Kostant-Rosenberg同构 $HH_i(A) \cong \Omega^i(X)$（当 $A$ 为光滑交换代数时）将非交换构造与经典情形进行比较。
• 通过证明 $C^{-1}$ 通过 $\zeta$ 因子分解，且 $zHH_\bullet(A) = z'HH_\bullet(A)$，验证经典Cartier同构与新非交换映射在交换情形下的一致性。
• 对 $\zeta$ 应用归纳法与单射性论证，证明 $\xi$ 是单射且 $\beta$ 是满射，从而确保序列的正合性与构造的一致性。

实验结果

研究问题

• RQ1 经典Cartier同构（在正特征下将de Rham上同调与微分形式关联）能否推广至非交换结合代数？
• RQ2 在此情形下，闭形式与恰当形式空间的适当非交换类比是什么？
• RQ3 如何分解Connes-Tsygan微分 $B$，以分离出一个非交换Cartier映射 $C$？
• RQ4 当应用于光滑交换代数时，所提出的非交换Cartier映射是否退化为经典形式？
• RQ5 广义Cartier映射在非交换情形下是否为Frobenius-半线性且函子性？

主要发现

• 本文构造了一个非交换Cartier映射 $C: ZHH_\bullet(A)/BHH_\bullet(A) \to HH_\bullet(A)$，对任意特征 ≠ 2 的域上的单位结合代数 $A$，该映射为Frobenius-半线性且函子性。
• 映射 $C$ 位于一个自然的长正合列中，涉及 $BHH_\bullet(A)$、$ZHH_\bullet(A)$ 与 $HH_\bullet(A)$，且 $C$ 为中间同构。
• 在Hochschild-Kostant-Rosenberg情形下（即 $A$ 为交换且光滑），群 $BHH_\bullet(A)$ 与 $ZHH_\bullet(A)$ 分别与经典形式空间 $B^\bullet(X)$ 和 $Z^\bullet(X)$ 重合。
• 广义Cartier映射 $C$ 在交换光滑情形下恢复经典Cartier同构，通过证明 $C^{-1}$ 因子分解通过 $\zeta$，且 $zHH_\bullet(A) = z'HH_\bullet(A)$ 得证。
• $\zeta: ZHH_\bullet(A) \to HH_\bullet(A)$ 是单射，且 $\beta: HH_\bullet(A) \to BHH_{\bullet+1}(A)$ 是满射，确保了序列的正合性与构造的一致性。
• 证明依赖于归纳法与单射性论证，表明 $\zeta$ 在 $ZHH_\bullet(A)$ 上为单射，这意味着当 $\zeta(a) = 0$ 时必有 $a = 0$，从而确认了映射的唯一性与正确性。