De Rham and Infinitesimal Cohomology in Kapranov's Model for Non commutative Algebraic Geometry

Abstract

The title refers to the nilcommutative or NC-schemes introduced by M. Kapranov in ‘Noncommutative Geometry Based on Commutator Expansions’, J. Reine Angew. Math 505 (1998) 73–118. The latter are noncommutative nilpotent thickenings of commutative schemes. We also consider the parallel theory of nil-Poisson or NP-schemes, which are nilpotent thickenings of commutative schemes in the category of Poisson schemes. We study several variants of de Rham cohomology for NC- and NP-schemes. The variants include nilcommutative and nil-Poisson versions of the de Rham complex as well as of the cohomology of the infinitesimal site introduced by Grothendieck in Crystals and the de Rham Cohomology of Schemes, Dix exposes sur la cohomologie des schemas, Masson, Paris (1968), pp. 306–358. It turns out that each of these noncommutative variants admits a kind of Hodge decomposition which allows one to express the cohomology groups of a noncommutative scheme Y as a sum of copies of the usual (de Rham, infinitesimal) cohomology groups of the underlying commutative scheme X (Theorems 6.1, 6.4, 6.7). As a byproduct we obtain new proofs for classical results of Grothendieck (Corollary 6.2) and of Feigin and Tsygan (Corollary 6.8) on the relation between de Rham and infinitesimal cohomology and between the latter and periodic cyclic homology.