Volumes of hyperbolic manifolds and mixed Tate motives

Goncharov, Alexander

doi:10.1090/S0894-0347-99-00293-3

Volumes of hyperbolic manifolds
and mixed Tate motives

Author: Alexander Goncharov
Journal: J. Amer. Math. Soc. 12 (1999), 569-618
MSC (1991): Primary 11Gxx; Secondary 19Fxx, 57-XX
DOI: https://doi.org/10.1090/S0894-0347-99-00293-3
MathSciNet review: 1649192
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Two different constructions of an invariant of an odd-dimensional hyperbolic manifold with values in $K_{2n-1}(\overline{\mathbb Q})\otimes \mathbb Q$ are given. We prove that the volume of the manifold equals the value of the Borel regulator on this invariant. The scissors congruence groups in noneuclidean geometries are studied and related to mixed Tate motives and algebraic K-theory of $\mathbb C$ . We contribute to the general theory of mixed Hodge structures by introducing for Hodge-Tate structures the big period map with values in $\mathbb C \otimes \mathbb C^*(n-2)$ .

[Ao] Kazuhiko Aomoto, Analytic structure of Schläfli function, Nagoya Math. J. 68 (1977), 1–16. MR 569685
[B1] A. A. Beĭlinson, Height pairing between algebraic cycles, 𝐾-theory, arithmetic and geometry (Moscow, 1984–1986) Lecture Notes in Math., vol. 1289, Springer, Berlin, 1987, pp. 1–25. MR 923131, https://doi.org/10.1007/BFb0078364
[B2] A. A. Beĭlinson, Higher regulators and values of 𝐿-functions, Current problems in mathematics, Vol. 24, Itogi Nauki i Tekhniki, Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow, 1984, pp. 181–238 (Russian). MR 760999
[BBD] A. A. Beĭlinson, J. Bernstein, and P. Deligne, Faisceaux pervers, Analysis and topology on singular spaces, I (Luminy, 1981) Astérisque, vol. 100, Soc. Math. France, Paris, 1982, pp. 5–171 (French). MR 751966
[BD] Beilinson A.A., Deligne P.: Motivic polylogarithms and Zagier's conjecture. Preprint to appear.
[BD1] A. Beĭlinson and P. Deligne, Interprétation motivique de la conjecture de Zagier reliant polylogarithmes et régulateurs, Motives (Seattle, WA, 1991) Proc. Sympos. Pure Math., vol. 55, Amer. Math. Soc., Providence, RI, 1994, pp. 97–121 (French). MR 1265552
[BMS] A. Beĭlinson, R. MacPherson, and V. Schechtman, Notes on motivic cohomology, Duke Math. J. 54 (1987), no. 2, 679–710. MR 899412, https://doi.org/10.1215/S0012-7094-87-05430-5
[BGSV] A. A. Beĭlinson, A. B. Goncharov, V. V. Schechtman, and A. N. Varchenko, Aomoto dilogarithms, mixed Hodge structures and motivic cohomology of pairs of triangles on the plane, The Grothendieck Festschrift, Vol. I, Progr. Math., vol. 86, Birkhäuser Boston, Boston, MA, 1990, pp. 135–172. MR 1086885, https://doi.org/10.1007/s101070050083
[Bl1] Spencer Bloch, Algebraic cycles and higher 𝐾-theory, Adv. in Math. 61 (1986), no. 3, 267–304. MR 852815, https://doi.org/10.1016/0001-8708(86)90081-2
[Bl2] S. Bloch, The moving lemma for higher Chow groups, J. Algebraic Geom. 3 (1994), no. 3, 537–568. MR 1269719
[Bl3] Spencer Bloch, Applications of the dilogarithm function in algebraic 𝐾-theory and algebraic geometry, Proceedings of the International Symposium on Algebraic Geometry (Kyoto Univ., Kyoto, 1977) Kinokuniya Book Store, Tokyo, 1978, pp. 103–114. MR 578856
[Bl4] Bloch S.: Function theory of polylogarithms, Chapter 12 in ``Structural properties of Polylogarithms", L. Lewin, Editor, Math. Surveys and monographs, vol. 37; AMS, 1991. CMP 92:07
[Bo] Johannes Böhm, Inhaltsmessung im 𝑅₅ konstanter Krümmung, Arch. Math. (Basel) 11 (1960), 298–309 (German). MR 121714, https://doi.org/10.1007/BF01236949
[Bo1] Borel A.: Cohomologie des espaces fibrés principaux, Ann. Math. 57 (1953), 115-207. MR 14:490e
[Bo2] Armand Borel, Cohomologie de 𝑆𝐿_{𝑛} et valeurs de fonctions zeta aux points entiers, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 4 (1977), no. 4, 613–636 (French). MR 506168
[Ca] Jean-Louis Cathelineau, 𝜆-structures in algebraic 𝐾-theory and cyclic homology, 𝐾-Theory 4 (1990/91), no. 6, 591–606. MR 1123180, https://doi.org/10.1007/BF00538886
[Ch] Chern S.-S.: A simple intrinsic proof of the Gauss-Bonnet formula for closed Riemannian manifolds, Ann. of Math., vol 45, 1944, N 4. MR 6:106a
[Du1] Johan L. Dupont, Algebra of polytopes and homology of flag complexes, Osaka J. Math. 19 (1982), no. 3, 599–641. MR 676240
[Du2] Johan L. Dupont, The dilogarithm as a characteristic class for flat bundles, Proceedings of the Northwestern conference on cohomology of groups (Evanston, Ill., 1985), 1987, pp. 137–164. MR 885101, https://doi.org/10.1016/0022-4049(87)90021-1
[DPS] Johan L. Dupont, Walter Parry, and Chih-Han Sah, Homology of classical Lie groups made discrete. II. 𝐻₂,𝐻₃, and relations with scissors congruences, J. Algebra 113 (1988), no. 1, 215–260. MR 928063, https://doi.org/10.1016/0021-8693(88)90191-3
[DS1] Chih Han Sah, Scissors congruences. I. The Gauss-Bonnet map, Math. Scand. 49 (1981), no. 2, 181–210 (1982). MR 661890, https://doi.org/10.7146/math.scand.a-11930
[DS2] Johan L. Dupont and Chih-Han Sah, Homology of Euclidean groups of motions made discrete and Euclidean scissors congruences, Acta Math. 164 (1990), no. 1-2, 1–27. MR 1037596, https://doi.org/10.1007/BF02392750
[EP] D. B. A. Epstein and R. C. Penner, Euclidean decompositions of noncompact hyperbolic manifolds, J. Differential Geom. 27 (1988), no. 1, 67–80. MR 918457
[FT] B. L. Feĭgin and B. L. Tsygan, Additive 𝐾-theory, 𝐾-theory, arithmetic and geometry (Moscow, 1984–1986) Lecture Notes in Math., vol. 1289, Springer, Berlin, 1987, pp. 67–209. MR 923136, https://doi.org/10.1007/BFb0078368
[G1] A. B. Goncharov, Polylogarithms and motivic Galois groups, Motives (Seattle, WA, 1991) Proc. Sympos. Pure Math., vol. 55, Amer. Math. Soc., Providence, RI, 1994, pp. 43–96. MR 1265551
[G2] A. B. Goncharov, Geometry of configurations, polylogarithms, and motivic cohomology, Adv. Math. 114 (1995), no. 2, 197–318. MR 1348706, https://doi.org/10.1006/aima.1995.1045
[G3] Goncharov A.B.: Hyperlogarithms, multiple zeta numbers and mixed Tate motives, Preprint MSRI 058-93, June 1993.
[G4] Goncharov A.B.: Mixed elliptic motives. Proceedings of the -th Durham Symposium ``Galois groups in arithmetic and algebraic geometry". (1998).
[G5] Goncharov A.B.: Geometry of polylogarithms and regulators, To appear.
[G6] Goncharov A.B.: Analytic motivic complexes and characteristic classes, To appear.
[Goo] Thomas G. Goodwillie, Relative algebraic 𝐾-theory and cyclic homology, Ann. of Math. (2) 124 (1986), no. 2, 347–402. MR 855300, https://doi.org/10.2307/1971283
[H] Hanamura M.: Preprint MPI 1996.
[K1] Ruth Kellerhals, On the volumes of hyperbolic 5-orthoschemes and the trilogarithm, Comment. Math. Helv. 67 (1992), no. 4, 648–663. MR 1185813, https://doi.org/10.1007/BF02566523
[K2] R. Kellerhals, Volumes in hyperbolic 5-space, Geom. Funct. Anal. 5 (1995), no. 4, 640–667. MR 1345017, https://doi.org/10.1007/BF01902056
[L] Levine, M.: Motivic cohomology and algebraic cycles: a categorical construction, I, Preprint 1993.
[ML] Saunders Mac Lane, Homology, Die Grundlehren der mathematischen Wissenschaften, Bd. 114, Academic Press, Inc., Publishers, New York; Springer-Verlag, Berlin-Göttingen-Heidelberg, 1963. MR 0156879
[M1] Milnor J.: Computation of volume, Chapter 7 in [Th].
[Mu] Müller P.: Über Simplexinhalte in nichteuklidischen Räumen, Dissertation Universität Bonn, 1954.
[NZ] Walter D. Neumann and Don Zagier, Volumes of hyperbolic three-manifolds, Topology 24 (1985), no. 3, 307–332. MR 815482, https://doi.org/10.1016/0040-9383(85)90004-7
[P] Positselsky L.: Some remarks on triangulated categories, Preprint 1995.
[Ra] Raghunatan M.S. :Discrete subgroups of Lie groups, Springer Verlag, 1972.
[R] Dinakar Ramakrishnan, Regulators, algebraic cycles, and values of 𝐿-functions, Algebraic 𝐾-theory and algebraic number theory (Honolulu, HI, 1987) Contemp. Math., vol. 83, Amer. Math. Soc., Providence, RI, 1989, pp. 183–310. MR 991982, https://doi.org/10.1090/conm/083/991982
[Sah1] C. H. Sah, Hilbert’s third problem: scissors congruence, Research Notes in Mathematics, vol. 33, Pitman (Advanced Publishing Program), Boston, Mass.-London, 1979. MR 554756
[Sah2] Chih Han Sah, Scissors congruences. I. The Gauss-Bonnet map, Math. Scand. 49 (1981), no. 2, 181–210 (1982). MR 661890, https://doi.org/10.7146/math.scand.a-11930
[Sah3] Chih-Han Sah, Homology of classical Lie groups made discrete. III, J. Pure Appl. Algebra 56 (1989), no. 3, 269–312. MR 982639, https://doi.org/10.1016/0022-4049(89)90061-3
[SW] Chih Han Sah and John B. Wagoner, Second homology of Lie groups made discrete, Comm. Algebra 5 (1977), no. 6, 611–642. MR 646087, https://doi.org/10.1080/00927877708822184
[Sch] Schläfli: On the multiple integral $\int^{n}dxdy...dz$ , whose limits are $p_{1} = a_{1}x + b_{1}y + ... + h_{1}z > 0, p_{2} > 0, ... , p_{n} > 0$ ,and $x^{2} + y^{2} + ... + z^{2} < 1$ , in Gesammelte Mathematische Abhandlungen II, pp. 219-270, Verlag Birkhauser, Basel, 1953. MR 14:833p
[S] A. A. Suslin, 𝐾₃ of a field, and the Bloch group, Trudy Mat. Inst. Steklov. 183 (1990), 180–199, 229 (Russian). Translated in Proc. Steklov Inst. Math. 1991, no. 4, 217–239; Galois theory, rings, algebraic groups and their applications (Russian). MR 1092031
[Th] Thurston W.:Geometry and topology of 3-manifolds, Princeton University, 1978.
[V] Voevodsky V.: Triangulated category of motives over a field, Preprint 1994.
[Z1] Don Zagier, Polylogarithms, Dedekind zeta functions and the algebraic 𝐾-theory of fields, Arithmetic algebraic geometry (Texel, 1989) Progr. Math., vol. 89, Birkhäuser Boston, Boston, MA, 1991, pp. 391–430. MR 1085270
[Z2] D. Zagier, The remarkable dilogarithm, J. Math. Phys. Sci. 22 (1988), no. 1, 131–145. MR 940391
[W] Wang H.C.: Topics in totally discontinuous groups, in Symmetric spaces, Boothby-Weiss, Editors, New York, 1972.