Exponential complexes, period morphisms, and characteristic classes

A. B. Goncharov

doi:10.5802/afst.1507

A. B. Goncharov ¹

¹ Department of Mathematics, Yale University, New Haven, CT 06511, USA

Annales de la Faculté des sciences de Toulouse : Mathématiques, Serie 6, Volume 25 (2016) no. 2-3, pp. 619-681.

Abstract
Abstract

We introduce a weight $n$ exponential complex of sheaves $ℚ_{E}^{•} (n)$ on a manifold $X$ :

𝒪 (n - 1) ⟶ 𝒪^{*} \otimes 𝒪 (n - 2) ⟶ . . . ⟶ \otimes^{n - 1} 𝒪^{*} \otimes 𝒪 ⟶ \otimes^{n} 𝒪^{*} . (1)

It is a resolution of the constant sheaf $ℚ (n)$ , generalising the classical exponential sequence:

ℤ (1) ⟶ 𝒪 \overset{\exp}{⟶} 𝒪^{*}, ℤ (1) : = 2 π i ℤ .

There is a canonical map from the complex $ℚ_{E}^{•} (n)$ to the de Rham complex $Ω^{•}$ of $X$ . Using it, we define a weight $n$ exponential Deligne complex, calculating rational Deligne cohomology:

Γ_{𝒟} (X; n) : = Cone (ℚ_{E}^{•} (n) \oplus F^{\geq n} Ω^{•} ⟶ Ω^{•}) [- 1] .

Its main advantage is that, at least at the generic point $𝒳$ of a complex variety $X$ , it allows to define Beilinson’s regulator map to the rational Deligne cohomology on the level of complexes. (A regulator map to real Deligne complexes for any regular complex variety is known [18]).

Namely, we define a weight $n$ period morphism. We use it to define a map of complexes

\begin{matrix} a weight n motivic complex of 𝒳 ⟶ \\ the weight n exponential complex of 𝒳 . (2) \end{matrix}

We show that it gives rise to a map of complexes

\begin{matrix} a weight n motivic complex of 𝒳 ⟶ \\ the weight n exponential Deligne complex of 𝒳 . (3) \end{matrix}

It induces Beilinson’s regulator map on the cohomology.

Combining the map (3) with the construction of Chern classes with coefficients in the bigrassmannian complexes [17], we get a local explicit formula for the $n$ -th Chern class in the rational Deligne cohomology via polylogarithms, at least for $n \leq 4$ . Equivalently, we get an explicit construction for the universal Chern class in the rational Deligne cohomology

c_{n}^{𝒟} \in H^{2 n} (B G L_{N} (ℂ), Γ_{𝒟} (n)), n \leq 4 .

In particular, this gives explicit formulas for Cech cocycles for the topological Chern classes.

Nous introduisons des complexes exponentiels de faisceaux sur une variété. Il s’agit de résolutions des faisceaux (Tate-twistés) constants de nombres rationnels généralisant la suite exacte courte exponentielle. Il existe des applications canoniques de ces complexes vers le complexe de de Rham. A l’aide de celles-ci, et en calculant la cohomologie de Deligne rationnelle, nous introduisons de nouveaux complexes que nous appelons complexes de Deligne exponentiels. L’avantage de ces derniers est qu’au moins au point générique d’une variété complexe on peut définir l’application de régulateur de Beilinson vers la cohomologie de Deligne rationnelle au niveau des complexes. En particulier, nous définissons des morphismes de périodes à l’aide desquels nous construisons des homomorphismes entre les complexes motiviques et les complexes de Deligne exponentiels en un point générique. En combinant cette construction avec celle des classes de Chern à coefficients dans des bicomplexes, nous obtenons une formule explicite, à l’aide de polylogarithmes, pour les classes de Chern à valeurs dans la cohomologie de Deligne rationnelle, en degré $\leq 4$ .

Published online: 2016-07-11

MR Zbl

DOI: 10.5802/afst.1507

Author's affiliations:

A. B. Goncharov ¹

¹ Department of Mathematics, Yale University, New Haven, CT 06511, USA

@article{AFST_2016_6_25_2-3_619_0,
     author = {A. B. Goncharov},
     title = {Exponential complexes, period morphisms, and characteristic classes},
     journal = {Annales de la Facult\'e des sciences de Toulouse : Math\'ematiques},
     pages = {619--681},
     publisher = {Universit\'e Paul Sabatier, Toulouse},
     volume = {Ser. 6, 25},
     number = {2-3},
     year = {2016},
     doi = {10.5802/afst.1507},
     zbl = {1360.14072},
     mrnumber = {3530171},
     language = {en},
     url = {https://afst.centre-mersenne.org/articles/10.5802/afst.1507/}
}

TY  - JOUR
AU  - A. B. Goncharov
TI  - Exponential complexes, period morphisms, and characteristic classes
JO  - Annales de la Faculté des sciences de Toulouse : Mathématiques
PY  - 2016
SP  - 619
EP  - 681
VL  - 25
IS  - 2-3
PB  - Université Paul Sabatier, Toulouse
UR  - https://afst.centre-mersenne.org/articles/10.5802/afst.1507/
DO  - 10.5802/afst.1507
LA  - en
ID  - AFST_2016_6_25_2-3_619_0
ER  -

%0 Journal Article
%A A. B. Goncharov
%T Exponential complexes, period morphisms, and characteristic classes
%J Annales de la Faculté des sciences de Toulouse : Mathématiques
%D 2016
%P 619-681
%V 25
%N 2-3
%I Université Paul Sabatier, Toulouse
%U https://afst.centre-mersenne.org/articles/10.5802/afst.1507/
%R 10.5802/afst.1507
%G en
%F AFST_2016_6_25_2-3_619_0

A. B. Goncharov. Exponential complexes, period morphisms, and characteristic classes. Annales de la Faculté des sciences de Toulouse : Mathématiques, Serie 6, Volume 25 (2016) no. 2-3, pp. 619-681. doi : 10.5802/afst.1507. https://afst.centre-mersenne.org/articles/10.5802/afst.1507/

References
Cited by

[1] Atiyah (M.).— Convexity and commuting hamiltonians. Michale Atiyah Collected papers, Vol 5 (1982). | DOI

[2] Beilinson (A.A.).— Higher regulators and values of L-functions. VINITI 24, (1984). 181-238. J. Soviet Math. 30 p. 2036-2070 (1985). | DOI | Zbl

[3] Beilinson (A.A.).— Height pairings between algebraic cycles Lect. Notes in Math 1289, p. 1-26 (1987). | DOI

[4] Beilinson (A.A.), Deligne (P.).— Interpretation motivique de la conjecture de Zagier reliant polylogarithms et regulateurs. Proc. Proc. of Symposia in Pure Math., Volume 55, Part 2. p. 97-122. | DOI | Zbl

[5] Beilinson (A.A.), MacPherson (R.), Schechtman (V.V.).— Notes on motivic cohomology, Duke Math. J. 54, p. 679-710 (1987). | DOI | MR | Zbl

[6] Beilinson (A.A.), Goncharov (A.B.), Schechtman (V.V.), Varchenko (A.N.).— Aomoto dilogarithms, mixed Hodge structures and motivic cohomology of pairs of triangles on the plane. The Grothendieck Festschrift, Vol. I, p. 135-172, Progr. Math., 86, Birkhäuser Boston, Boston, MA, (1990). | DOI

[7] Bloch (S.).— $K_{2}$ and algebraic cycles. Annals of Math. 99, p. 349-379 (1974). | DOI | Zbl

[8] Bloch (S.).— Applications of the dilogarithm function in algebraic K-theory and algebraic geometry. Proc. Int. Symposium on Algebraic Geometry, Kyoto, 1977. Kinokuniyo Book Store Ltd., Tokyo, Japan.

[9] Bloch (S.).— Higher regulators, Algebraic K-theory, and Zeta functions of elliptic curves. Irvine lecture notes. CRM Monograph series, AMS 2000. Original preprint of 1978. | DOI

[10] Bloch (S.), Kriz (I.).— Mixed Tate motives. Ann of Math. 140, p. 557-605 (1994). | DOI | MR | Zbl

[11] Dupont (J.), Sah (S.-H.).— Scissor congruences II. J. Pure Appl. Algebra 25, p. 159-195 (1982). | DOI

[12] Fock (V.V.), Goncharov (A.B.).— Moduli spaces of local systems and Higher Teichmuller theory. Publ. Math. IHES, n. 103 (2006) 1-212. ArXiv math.AG/0311149. | DOI

[13] Fock (V.V.), Goncharov (A.B.).— The quantum dilogarithm and representations of quantum cluster varieties. 175, Inventiones Math., p. 223-286 (2009). arXiv:math/0702397.

[14] Gabrielov (A.), Gelfand (I.M.), Losik (M.).— Combinatorial computation of characteristic classes I, II, Funct. Anal. i ego pril. 9, p. 12-28 (1975), ibid 9, p. 5-26 (1975). MR0410758 (53 14504a). | DOI

[15] Gelfand (I.M.), MacPherson (R.).— Geometry in Grassmannians and a generalisation of the dilogarithm, Adv. in Math., 44, p. 279-312 (1982). MR0658730 (84b:57014). | DOI | MR | Zbl

[16] Goncharov (A.B.).— Geometry of configurations, polylogarithms, and motivic cohomology. Adv. Math. 114, no. 2, p. 197-318 (1995). | DOI | MR | Zbl

[17] Goncharov (A.B.).— Explicit construction of characteristic classes. Advances in Soviet Mathematics, 16, v. 1, Special volume dedicated to I.M.Gelfand’s 80th birthday, p. 169-210 (1993). | DOI | Zbl

[18] Goncharov (A.B.).— Chow polylogarithms and regulators. Math. Res. Letters, 2, p. 99-114 (1995). | DOI | MR | Zbl

[19] Goncharov (A.B.).— Polylogarithms and motivic Galois groups. Proc. of Symposia in Pure Math., Volume 55, Part 2. p. 43-96. | DOI | Zbl

[20] Goncharov (A.B.).— Deninger’s conjecture on $L$ -function of elliptic curve at $s = 3$ . ArXiv:alg-geom/9512016. | DOI

[21] Goncharov (A.B.).— Volumes of hyperbolic manifolds and mixed Tate motives JAMS vol. 12, N2, p. 569-618 (1999). | DOI | MR | Zbl

[22] Goncharov (A.B.).— Geometry of the trilogarithm and the motivic Lie algebra of a field. Regulators in analysis, geometry and number theory, p. 127-165, Progr. Math., 171, Birkhäuser Boston, Boston, MA (2000).

[23] Goncharov (A.B.).— Polylogarithms, regulators and Arakelov motivic complexes. JAMS J. Amer. Math. Soc. 18, no. 1, p. 1-60 (2005). | DOI | MR | Zbl

[24] Goncharov (A.B.).— Hodge correlators ArXive:math/0803.0297. | DOI | MR

[25] Goncharov (A.B.).— A simple construction of Grassmannian polylogarithms. Adv. in Math 2014. arXive | DOI | MR

[26] Hain (R.), MacPherson (R.).— Higher Logarithms, Ill. J. of Math,, vol. 34, N2, p. 392-475 (1990). | DOI | MR | Zbl

[27] Hanamura (M.), MacPherson (R.).— Geometric construction of polylogarithms, Duke Math. J. 70, p. 481-516 (1993). | DOI | MR | Zbl

[28] Hanamura (M.), MacPherson (R.).— Geometric construction of polylogarithms, II, Progress in Math. vol. 132, p. 215-282 (1996). | DOI | Zbl

[29] MacPherson (R.).— Gabrielov, Gelfand, Losic combinatorial formula for the first Pontryagin class Seminar Bourbaki 1976. MR0521763 (81a:57022). | DOI | Numdam | MR

[30] Milnor (J.).— Introduction to algebraic K-theory. Annals of mathematical studies 72, Princeton University Press. (1971-. | DOI

[31] Suslin (A.A.).— K-theory of a field and the Bloch group, Proc. Steklov Inst. Math. 4, p. 217 239 (1991).

[32] Suslin (A.A.).— Homology of $G L_{n}$ , characteristic classes and Milnor’s $K$ -theory. Trudy Mat. Inst. Steklov, 165, p. 188-204 (1984).

[33] Yusin (B. V.).— Sur les formes $S^{p, q}$ apparaissant dans le calcul combinatoire de la deuxiéme classe de Pontriaguine par la méthode de Gabrielov, Gelfand et Losik. (French) C. R. Acad. Sci. Paris Sér. I Math. 292, no. 13, p. 641-644 (1981). | MR | Zbl

[34] Zagier (D.).— Polylogarithms, zeta-functions, and algebraic K-theory of fields. Progress Math Vol 89. Birkhauser, Boston, MA, p. 392-430 (1991). | DOI

Cited by Sources: