×

zbMATH — the first resource for mathematics

Dilogarithm, Grassmannian complex and scissors congruence groups of algebraic polyhedra. (English) Zbl 0849.14003
Fix an infinite field \(k\). A. Beilinson, R. MacPherson and V. Schechtman [Duke Math. J. 54, 679-710 (1987; Zbl 0632.14010)] defined the Grassmannian complex of weight \(p\), \(G(p)\), and indicated its relation with higher polylogarithms. In particular, \(G(2)\) determines the Grassmannian dilogarithm. In: The Grothendieck Festschrift, Vol. I, Prog. Math. 86, 135-172 (1990; Zbl 0737.14003), A. A. Beilinson, A. B. Goncharov, V. V. Schechtman and A. N. Varchenko introduced groups \(A_n\) of pairs of triangles (modulo scissors congruence) in \(\mathbb{P}^n\) and related complexes \(A(n)\).
For \(n = 2\) one has \(A(2) : A_2 @>\nu>> A_1 \otimes A_1 \cong k^*_\mathbb{Q} \otimes k^*_\mathbb{Q}\), and the cohomology of \(A(2)\) is related to algebraic \(K\)-groups as follows: \(H^1 (A(2)) \cong K_3^{\text{ind}} (k)_\mathbb{Q}\) (the indecomposable part of \(K_3 (k))\) and \(H^2 (A(2)) \cong K^M_2 (k)_\mathbb{Q} \) (the Milnor \(K\)-group). Here a complex \(T(2) : T_2 (2) @>\partial>> T_1(2)\) is defined. \(T_2 (2)\) is the quotient \(\mathbb{Q}\)-vector space of the \(\mathbb{Q}\)-vector space freely generated by so-called admissible triangles in \(\mathbb{P}^2_k\) by a set of relations including the scissors congruences. \(T_1(2)\) is defined as the quotient of the \(\mathbb{Q}\)-vector space of generic line elements in \(\mathbb{P}^2_k\) by a set of relations also including the scissors congruences. On the one hand one has the result that the complexes \(T(2)\) and \(A(2)\) are isomorphic. This is proved by explicit calculation. It may sometimes be advantageous to work with \(T(2)\) instead of \(A(2)\). On the other hand two maps of complexes \(u,f : G(2) \to T(2)\) are constructed. These maps are related to Grassmannian dilogarithms.
MSC:
14C35 Applications of methods of algebraic \(K\)-theory in algebraic geometry
51M20 Polyhedra and polytopes; regular figures, division of spaces
14A20 Generalizations (algebraic spaces, stacks)
14M25 Toric varieties, Newton polyhedra, Okounkov bodies
19D45 Higher symbols, Milnor \(K\)-theory
19D55 \(K\)-theory and homology; cyclic homology and cohomology
PDF BibTeX XML Cite
Full Text: Numdam EuDML
References:
[1] Beilinson, A. , Goncharov, A. , Schechtman, V. , and Varchenko, A. : Aomoto dilogarithms, mixed Hodge structures, and motivic cohomology of pairs of triangles on the plane , Grothendieck Festschrift 1 (1993), 135-172. · Zbl 0737.14003
[2] Beilinson, A. , Goncharov, A. , Schechtman, V. , and Varchenko, A. : Projective geometry and K-theory , Leningrad Math. J. 2 (1991), 523-576. · Zbl 0728.14008
[3] Beilinson, A. , Mac Pherson, R. , and Schechtman, V. : Notes on motivic cohomology , Duke Math. J. 54 (1987), 679-710. · Zbl 0632.14010 · doi:10.1215/S0012-7094-87-05430-5
[4] Gelfand, I.M. and Mac Pherson, R. : Geometry of Grassmannians and a generalization of the dilogarithm , Adv. in Math. 44 (1982), 279-312. · Zbl 0504.57021 · doi:10.1016/0001-8708(82)90040-8
[5] Goncharov, A. : Polylogarithms and motivic Galois groups , preprint. · Zbl 0842.11043
[6] Hain, R. and Macpherson, R. : Higher logarithms , Ill. J. Math. 34 (1990), 392-475. · Zbl 0737.14014
[7] Hanamura, M. and Macpherson, R. : Geometric construction of polylogarithms , Duke Math. J. 70 (1993), 481-516. · Zbl 0824.14043 · doi:10.1215/S0012-7094-93-07010-X
[8] Hanamura, M. and Macpherson, R. : Geometric construction of polylogarithms II , preprint. · Zbl 0824.14043 · doi:10.1215/S0012-7094-93-07010-X
[9] Rogers, L. : On function sum theorems connected with the series \Sigma xn/n2 , Proc. London Math. Soc. 4 (1907), 169-189. · JFM 37.0428.03
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.