[论文解读] The big Chern classes and the Chern character

Ajay C. Ramadoss|ArXiv.org|Dec 5, 2005

Algebraic structures and combinatorial models参考文献 6被引用 3

一句话总结

本文在特征零域上光滑概形的多微分算子复形上建立了导出李代数结构，表明移位-1的切丛在导出范畴中构成一个李代数对象。证明了对称化映射与乘法不交换，其偏差恰好由阿蒂yah类决定，从而通过普遍包络代数构造，给出了大陈类关于陈特征的显式公式。

ABSTRACT

Let $X$ be a smooth scheme over a field of characteristic 0. Let $\dd^{\bullet}(X)$ be the complex of polydifferential operators on $X$ equipped with Hochschild co-boundary. Let $L(\dd^1(X))$ be the free Lie algebra generated over $\strc$ by $\dd^1(X)$ concentrated in degree 1 equipped with Hochschild co-boundary. We have a symmetrization map $I: \oplus_k \sss^k(L(\dd^1(X))) ar \dd^{\bullet}(X)$. Theorem 1 of this paper measures how the map $I$ fails to commute with multiplication. A consequence of Theorem 1 and Theorem 2 is Corollary 1, a result "dual" to Theorem 1 of Markarian [3] that measures how the Hochschild-Kostant-Rosenberg quasi-isomorphism fails to commute with multiplication. In order to understand Theorem 1 conceptually, we prove a theorem (Theorem 3) stating that $\dd^{\bullet}(X)$ is the universal enveloping algebra of $T_X[-1]$ in $\dcat$. An easy consequence of Theorem 3 is Theorem 4, which interprets the Chern character $E$ as the "character of the representation $E$ of $T_X[-1]$" and gives a description of the big Chern classes of $E$. Finally, Theorem 4 along with Theorem 1 is used to give an explicit formula (Theorem 5) expressing the big Chern classes of $E$ in terms of the components of the Chern character of $E$.

研究动机与目标

• 理解Hochschild-Kostant-Rosenberg拟同构无法与乘法交换的深层机制。
• 通过多微分算子上的李代数结构，将切丛的阿蒂yah类实现为复形的真正映射。
• 提供一个显式公式，将大陈类用陈特征的分量表示出来。
• 在导出范畴中，将陈特征解释为李代数 $ T_X[-1] $ 的表示的特征标。
• 将Markarian [3]与Caldararu [10]的洞见统一为一个连贯的大陈类计算框架。

提出的方法

• 在 $ \text{D}_{\text{poly}}^1(X) $ 上构造自由李代数 $ L(\text{D}_{\text{poly}}^1(X)) $，其位于度数1，且具有Hochschild上边界。
• 引入对称化映射 $ I: \bigoplus_k \text{Sym}^k(L(\text{D}_{\text{poly}}^1(X))) \to \text{D}_{\text{poly}}^\bullet(X) $，其为复形的同构。
• 定义映射 $ \bar{\rho} $，使得 $ \text{ad} = \text{ad} \times \frac{\text{ad}}{1 - e^{-\text{ad}}} $，编码了 $ I $ 与乘法不交换的性质。
• 利用普遍包络代数构造，证明 $ \text{D}_{\text{poly}}^\bullet(X) $ 是 $ T_X[-1] $ 在 $ \text{D}^+(X) $ 中的普遍包络代数。
• 建立拟同构 $ \beta: T_X[-1] \to L(\text{D}_{\text{poly}}^1(X)) $，使得 $ L(\text{D}_{\text{poly}}^1(X)) $ 上的自然李括号实现了 $ T_X $ 的阿蒂yah类。
• 通过 $ \frac{\omega}{1 - e^{-\omega}} $-扭曲乘积在对称幂上的构造，推导出大陈类的显式公式，其基于陈特征。

实验结果

研究问题

• RQ1 对称化映射 $ I $ 在多微分算子复形中为何无法与乘法交换？
• RQ2 能否通过多微分算子上的李代数结构，将切丛的阿蒂yah类实现为复形的真正映射？
• RQ3 在导出代数几何中，陈特征与大陈类之间的关系是否存在概念性解释？
• RQ4 能否在导出范畴中将 $ T_X[-1] $ 的普遍包络代数识别为 $ \text{D}_{\text{poly}}^\bullet(X) $？
• RQ5 是否存在一个显式公式，将大陈类用陈特征的分量表示？

主要发现

• 定理1表明，对称化映射 $ I $ 与乘法不交换的偏差，由包含 $ \frac{\omega}{1 - e^{-\omega}} $-扭曲乘积的因子决定，其中 $ \omega $ 编码了伴随作用。
• 定理2证明了 $ T_X[-1] $ 与 $ L(\text{D}_{\text{poly}}^1(X)) $ 拟同构，且后者的自然李括号将 $ T_X $ 的阿蒂yah类实现为 $ \text{Ch}^+(\mathcal{O}_X\text{-mod}) $ 中的真正映射。
• 定理3将 $ \text{D}_{\text{poly}}^\bullet(X) $ 识别为 $ T_X[-1] $ 在 $ \text{D}^+(X) $ 中的普遍包络代数，为陈特征构造提供了概念性基础。
• 定理4将向量丛 $ E $ 的陈特征解释为 $ T_X[-1] $ 作为表示作用的特征标，从而给出了大陈类的描述。
• 定理5给出了 $ E $ 的大陈类的显式公式，其基于 $ L(\text{D}_{\text{poly}}^1(X)) $ 的对称幂上的 $ \frac{\omega}{1 - e^{-\omega}} $-扭曲乘积，用其陈特征的分量表示。
• 本文在 $ \text{D}_{\text{poly}}^\bullet(X) $ 上建立了导出李代数结构，通过表示理论将Hochschild-Kostant-Rosenberg同构与示性类统一起来。