Exponential complexes, period morphisms, and characteristic classes

DOI10.5802/AFST.1507MaRDI QIDQ341060zbMATH OpenOpenAlexFDO

Publication date 15 November 2016

Published in Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1510.07270

characteristic classes de Rham complexes Deligne cohomology motivic complexes regulators sheaves

de Rham cohomology and algebraic geometry (14F40) Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies) (14F43) Algebraic cycles and motivic cohomology ((K)-theoretic aspects) (19E15) Étale cohomology, higher regulators, zeta and (L)-functions ((K)-theoretic aspects) (19F27) Characteristic classes and numbers in differential topology (57R20)

Abstract: We introduce exponential complexes of sheaves on manifolds. They are resolutions of the (Tate twisted) constant sheaves of the rational numbers, generalising the short exact exponential sequence. There are canonical maps from the exponential complexes to the de Rham complex. Using this, we introduce new complexes calculating the rational Deligne cohomology. We call them exponential Deligne complexes. Their advantage is that, at least at the generic point of a complex variety, one can define Beilinson's regulator map to the rational Deligne cohomology on the level of complexes. Namely, we define period morphisms. We use them to produce homomorphisms from motivic complexes to the exponential Deligne complexes at the generic point. Combining this with the construction of Chern classes with coefficients in the bigrassmannian complexes, we get, for the weights up to four, local explicit formulas for the Chern classes in the rational Deligne cohomology via polylogarithms.

Review text

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)\): NEWLINE\[NEWLINE{\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,NEWLINE\]NEWLINE 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 NEWLINE\[NEWLINE0 \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}.NEWLINE\]NEWLINE 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 NEWLINE\[NEWLINEc^{\mathcal D}_n(E) \in H^{2n}({\mathcal X}, \Gamma_{\mathcal D}(n)), \quad n \leq 4,NEWLINE\]NEWLINE which are the ones the author intended to construct here.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Exponential complexes, period morphisms, and characteristic classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q341060)