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
HTML articles powered by AMS MathViewer

by Alexander Goncharov

J. Amer. Math. Soc. 12 (1999), 569-618

DOI: https://doi.org/10.1090/S0894-0347-99-00293-3

PDF | Request permission

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

References

Kazuhiko Aomoto, Analytic structure of Schläfli function, Nagoya Math. J. 68 (1977), 1–16. MR 569685, DOI 10.1017/S0027763000017839
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 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, DOI 10.1090/pspum/055.2/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 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 10.1007/s101070050083
Spencer Bloch, Algebraic cycles and higher $K$-theory, Adv. in Math. 61 (1986), no. 3, 267–304. MR 852815, DOI 10.1016/0001-8708(86)90081-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 10.1007/BF01236949
P. Hebroni, Sur les inverses des éléments dérivables dans un anneau abstrait, C. R. Acad. Sci. Paris 209 (1939), 285–287 (French). MR 14
Armand Borel, Cohomologie de $\textrm {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 10.1007/BF00538886
Albert Eagle, Series for all the roots of the equation $(z-a)^m=k(z-b)^n$, Amer. Math. Monthly 46 (1939), 425–428. MR 6, DOI 10.2307/2303037
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 10.1016/0022-4049(87)90021-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 10.1016/0021-8693(88)90191-3
Chih Han Sah, Scissors congruences. I. The Gauss-Bonnet map, Math. Scand. 49 (1981), no. 2, 181–210 (1982). MR 661890, DOI 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 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 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, DOI 10.1090/pspum/055.2/1265551
A. B. Goncharov, Geometry of configurations, polylogarithms, and motivic cohomology, Adv. Math. 114 (1995), no. 2, 197–318. MR 1348706, DOI 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 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 10.1007/BF02566523
R. Kellerhals, Volumes in hyperbolic $5$-space, Geom. Funct. Anal. 5 (1995), no. 4, 640–667. MR 1345017, DOI 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, Band 114, Academic Press, Inc., Publishers, New York; Springer-Verlag, Berlin-Göttingen-Heidelberg, 1963. MR 0156879, DOI 10.1007/978-3-642-62029-4
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 10.1016/0040-9383(85)90004-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 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 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 10.1016/0022-4049(89)90061-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 10.1080/00927877708822184
P. Hebroni, Sur les inverses des éléments dérivables dans un anneau abstrait, C. R. Acad. Sci. Paris 209 (1939), 285–287 (French). MR 14
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, DOI 10.1007/978-1-4612-0457-2_{1}9
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.