English

The big Chern classes and the Chern character

Algebraic Geometry 2008-07-21 v5

Abstract

Let XX be a smooth scheme over a field of characteristic 0. Let \dd(X)\dd^{\bullet}(X) be the complex of polydifferential operators on XX equipped with Hochschild co-boundary. Let L(\dd1(X))L(\dd^1(X)) be the free Lie algebra generated over \strc\strc by \dd1(X)\dd^1(X) concentrated in degree 1 equipped with Hochschild co-boundary. We have a symmetrization map I:k\sssk(L(\dd1(X)))\rar\dd(X)I: \oplus_k \sss^k(L(\dd^1(X))) \rar \dd^{\bullet}(X). Theorem 1 of this paper measures how the map II 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(X)\dd^{\bullet}(X) is the universal enveloping algebra of TX[1]T_X[-1] in \dcat\dcat. An easy consequence of Theorem 3 is Theorem 4, which interprets the Chern character EE as the "character of the representation EE of TX[1]T_X[-1]" and gives a description of the big Chern classes of EE. Finally, Theorem 4 along with Theorem 1 is used to give an explicit formula (Theorem 5) expressing the big Chern classes of EE in terms of the components of the Chern character of EE.

Keywords

Cite

@article{arxiv.math/0512104,
  title  = {The big Chern classes and the Chern character},
  author = {Ajay C. Ramadoss},
  journal= {arXiv preprint arXiv:math/0512104},
  year   = {2008}
}

Comments

Final version. To appear in International Journal of Mathematics