Exponential complexes, period morphisms, and characteristic classes (Q341060)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Exponential complexes, period morphisms, and characteristic classes
scientific article

    Statements

    Exponential complexes, period morphisms, and characteristic classes (English)
    0 references
    0 references
    15 November 2016
    0 references
    This paper is concerned with the construction of Chern classes in a rational Deligne cohomology. Let \(X\) be a complex manifold, let \({\mathcal O}\) be the structure sheaf of complex-valued functions on it and let \({\mathcal O}^\ast\) be its subsheaf generated by invertible functions. The author first introduces an exponential complexes \({\mathbb Q}^\bullet_{\text E}(n)\): \[ {\mathcal O}(n-1) \to {\mathcal O}^\ast\otimes{\mathcal O}(n-2) \to \ldots \to \otimes^{n-1}{\mathcal{O}}^\ast\otimes{\mathcal{O}}\to\otimes^n {\mathcal{O}}^\ast, \] which is a resolution of the constant sheaf \({\mathbb Q}(n)\) with values in \((2\pi i)^n{\mathbb Q}\), generalizing the classical exponential sheaf sequence \[ 0 \to {\mathbb Z}(1) \to {\mathcal O} \mathop\rightarrow\limits^{\text{exp}} {\mathcal O}^\ast \to 0, \quad {\mathbb Z}(1)=2\pi i {\mathbb Z}. \] The embedding of \({\mathbb Q}(n)\) into the constant sheaf \({\mathbb C}\) yields a morphism from \({\mathbb Q}^\bullet_{\text E}(n)\) to a subcomplex \(F^n\Omega^\bullet : \Omega^n \to \Omega^{n+1} \to \ldots \) of the holomorphic de Rham complex \(\Omega^\bullet\). We write \(\Gamma_{\mathcal D}(n)\) for its complex cone, shifted by \(-1\), which is called the \textit{weight \(n\) exponential Deligne complex}. Let \({\mathcal H}_\ast=\bigoplus^\infty_{n=0}{\mathcal H}_n\) be the sheaf of graded commutative Hopf algebras over \({\mathbb Q}\) produced from the mixed \({\mathbb Q}\)-Hodge-Tate structure over \(X\), where we have \({\mathcal H}_0={\mathbb Q}\), \({\mathcal H}_1={\mathcal O}^\ast\otimes{\mathbb Q}\). Also let \({\mathcal H}^\bullet (n)\) be the complex given by the weight \(n\) part of cobar complex of \({\mathcal H}_\ast\). For this the author shows that there is a canonical map of complexes from \({\mathcal H}^\bullet (n)\) to \({\mathbb Q}^\bullet_{\text E}(n)\), which allows us to produce a map of complexes from the motivic complex \({\mathbb Q}_{\mathcal M}(n)\) to \(\Gamma_{\mathcal D}(n)\) at the generic point \({\mathcal X}\) of \(X\). Let \(E\) be a complex vector bundle over \(X\). Secondarily then, the author shows that due to the author's previous paper [in: I. M. Gelfand Seminar. Part 1: Papers of the Gelfand seminar in functional analysis held at Moscow University, Russia, September 1993. Providence, RI: American Mathematical Society. 169--210 (1993; Zbl 0809.57016)]we can have the Chern classes \(c^{\mathcal M}_n(E)\) with values in Motivic cohomology for \(n \leq 4\). This tells us that using the map obtained above we can get the Chern classes with values in the rational Deligne cohomology \[ c^{\mathcal D}_n(E) \in H^{2n}({\mathcal X}, \Gamma_{\mathcal D}(n)), \quad n \leq 4, \] which are the ones the author intended to construct here.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Deligne cohomology
    0 references
    de Rham complexes
    0 references
    sheaves
    0 references
    regulators
    0 references
    motivic complexes
    0 references
    characteristic classes
    0 references
    0 references
    0 references