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)$.

Kazuhiko Aomoto, Analytic structure of Schläfli function, Nagoya Math. J. 68 (1977), 1–16. MR 569685
A. A. Beĭlinson, Height pairing between algebraic cycles, $K$-theory, arithmetic and geometry (Moscow, 1984–1986) Lecture Notes in Math., vol. 1289, Springer, Berlin, 1987, pp. 1–25. MR 923131, DOI https://doi.org/10.1007/BFb0078364
A. A. Beĭlinson, Higher regulators and values of $L$-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
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

Beilinson A.A., Deligne P.: Motivic polylogarithms and Zagier’s conjecture. Preprint to appear.

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

A. Beĭlinson, R. MacPherson, and V. Schechtman, Notes on motivic cohomology, Duke Math. J. 54 (1987), no. 2, 679–710. MR 899412, DOI https://doi.org/10.1215/S0012-7094-87-05430-5

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, DOI https://doi.org/10.1007/s101070050083

Spencer Bloch, Algebraic cycles and higher $K$-theory, Adv. in Math. 61 (1986), no. 3, 267–304. MR 852815, DOI https://doi.org/10.1016/0001-8708%2886%2990081-2

S. Bloch, The moving lemma for higher Chow groups, J. Algebraic Geom. 3 (1994), no. 3, 537–568. MR 1269719

Spencer Bloch, Applications of the dilogarithm function in algebraic $K$-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

Bloch S.: Function theory of polylogarithms, Chapter 12 in “Structural properties of Polylogarithms", L. Lewin, Editor, Math. Surveys and monographs, vol. 37; AMS, 1991.

Johannes Böhm, Inhaltsmessung im $R_{5}$ konstanter Krümmung, Arch. Math. (Basel) 11 (1960), 298–309 (German). MR 121714, DOI https://doi.org/10.1007/BF01236949

Borel A.: Cohomologie des espaces fibrés principaux, Ann. Math. 57 (1953), 115–207.

Armand Borel, Cohomologie de ${\rm SL}_{n}$ 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

Jean-Louis Cathelineau, $\lambda $-structures in algebraic $K$-theory and cyclic homology, $K$-Theory 4 (1990/91), no. 6, 591–606. MR 1123180, DOI https://doi.org/10.1007/BF00538886

Chern S.-S.: A simple intrinsic proof of the Gauss-Bonnet formula for closed Riemannian manifolds, Ann. of Math., vol 45, 1944, N 4.

Johan L. Dupont, Algebra of polytopes and homology of flag complexes, Osaka J. Math. 19 (1982), no. 3, 599–641. MR 676240

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, DOI https://doi.org/10.1016/0022-4049%2887%2990021-1

Johan L. Dupont, Walter Parry, and Chih-Han Sah, Homology of classical Lie groups made discrete. II. $H_2,H_3,$ and relations with scissors congruences, J. Algebra 113 (1988), no. 1, 215–260. MR 928063, DOI https://doi.org/10.1016/0021-8693%2888%2990191-3

Chih Han Sah, Scissors congruences. I. The Gauss-Bonnet map, Math. Scand. 49 (1981), no. 2, 181–210 (1982). MR 661890, DOI https://doi.org/10.7146/math.scand.a-11930

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, DOI https://doi.org/10.1007/BF02392750

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

B. L. Feĭgin and B. L. Tsygan, Additive $K$-theory, $K$-theory, arithmetic and geometry (Moscow, 1984–1986) Lecture Notes in Math., vol. 1289, Springer, Berlin, 1987, pp. 67–209. MR 923136, DOI https://doi.org/10.1007/BFb0078368

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

A. B. Goncharov, Geometry of configurations, polylogarithms, and motivic cohomology, Adv. Math. 114 (1995), no. 2, 197–318. MR 1348706, DOI https://doi.org/10.1006/aima.1995.1045

Goncharov A.B.: Hyperlogarithms, multiple zeta numbers and mixed Tate motives, Preprint MSRI 058-93, June 1993.

Goncharov A.B.: Mixed elliptic motives. Proceedings of the $60$-th Durham Symposium “Galois groups in arithmetic and algebraic geometry". (1998).

Goncharov A.B.: Geometry of polylogarithms and regulators, To appear.

Goncharov A.B.: Analytic motivic complexes and characteristic classes, To appear.

Thomas G. Goodwillie, Relative algebraic $K$-theory and cyclic homology, Ann. of Math. (2) 124 (1986), no. 2, 347–402. MR 855300, DOI https://doi.org/10.2307/1971283

Hanamura M.: Preprint MPI 1996.

Ruth Kellerhals, On the volumes of hyperbolic $5$-orthoschemes and the trilogarithm, Comment. Math. Helv. 67 (1992), no. 4, 648–663. MR 1185813, DOI https://doi.org/10.1007/BF02566523

R. Kellerhals, Volumes in hyperbolic $5$-space, Geom. Funct. Anal. 5 (1995), no. 4, 640–667. MR 1345017, DOI https://doi.org/10.1007/BF01902056

Levine, M.: Motivic cohomology and algebraic cycles: a categorical construction, I, Preprint 1993.

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

Milnor J.: Computation of volume, Chapter 7 in [Th].

Müller P.: Über Simplexinhalte in nichteuklidischen Räumen, Dissertation Universität Bonn, 1954.

Walter D. Neumann and Don Zagier, Volumes of hyperbolic three-manifolds, Topology 24 (1985), no. 3, 307–332. MR 815482, DOI https://doi.org/10.1016/0040-9383%2885%2990004-7

Positselsky L.: Some remarks on triangulated categories, Preprint 1995.

Raghunatan M.S. :Discrete subgroups of Lie groups, Springer Verlag, 1972.

Dinakar Ramakrishnan, Regulators, algebraic cycles, and values of $L$-functions, Algebraic $K$-theory and algebraic number theory (Honolulu, HI, 1987) Contemp. Math., vol. 83, Amer. Math. Soc., Providence, RI, 1989, pp. 183–310. MR 991982, DOI https://doi.org/10.1090/conm/083/991982

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

Chih Han Sah, Scissors congruences. I. The Gauss-Bonnet map, Math. Scand. 49 (1981), no. 2, 181–210 (1982). MR 661890, DOI https://doi.org/10.7146/math.scand.a-11930

Chih-Han Sah, Homology of classical Lie groups made discrete. III, J. Pure Appl. Algebra 56 (1989), no. 3, 269–312. MR 982639, DOI https://doi.org/10.1016/0022-4049%2889%2990061-3

Chih Han Sah and John B. Wagoner, Second homology of Lie groups made discrete, Comm. Algebra 5 (1977), no. 6, 611–642. MR 646087, DOI https://doi.org/10.1080/00927877708822184

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.

A. A. Suslin, $K_3$ 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

Thurston W.:Geometry and topology of 3-manifolds, Princeton University, 1978.

Voevodsky V.: Triangulated category of motives over a field, Preprint 1994.

Don Zagier, Polylogarithms, Dedekind zeta functions and the algebraic $K$-theory of fields, Arithmetic algebraic geometry (Texel, 1989) Progr. Math., vol. 89, Birkhäuser Boston, Boston, MA, 1991, pp. 391–430. MR 1085270

D. Zagier, The remarkable dilogarithm, J. Math. Phys. Sci. 22 (1988), no. 1, 131–145. MR 940391

Wang H.C.: Topics in totally discontinuous groups, in Symmetric spaces, Boothby-Weiss, Editors, New York, 1972.