Showing 1–12 of 12 results for author: Rudenko, D

Multiple polylogarithms and the Steinberg module

Authors: Steven Charlton, Danylo Radchenko, Daniil Rudenko

Abstract: We establish a connection between multiple polylogarithms on a torus and the Steinberg module of $\mathbb{Q}$, and show that multiple polylogarithms of depth $d$ and weight $n$ can be expressed via a single function $\mathrm{Li}_{n-d+1,1,\dots,1}(x_1,x_2,\dots,x_d)$. Using this connection, we give a simple proof of the Bykovskiĭ theorem, explain the duality between multiple polylogarithms and iter… ▽ More We establish a connection between multiple polylogarithms on a torus and the Steinberg module of $\mathbb{Q}$, and show that multiple polylogarithms of depth $d$ and weight $n$ can be expressed via a single function $\mathrm{Li}_{n-d+1,1,\dots,1}(x_1,x_2,\dots,x_d)$. Using this connection, we give a simple proof of the Bykovskiĭ theorem, explain the duality between multiple polylogarithms and iterated integrals, and provide a polylogarithmic interpretation of the conjectures of Rognes and Church-Farb-Putman. △ Less

Submitted 4 May, 2025; originally announced May 2025.

Comments: 59 pages

Report number: MPIM-Bonn-2025 MSC Class: 11G55; 19D45

The Hopf algebra of multiple polylogarithms

Authors: Steven Charlton, Andrei Matveiakin, Danylo Radchenko, Daniil Rudenko

Abstract: We define a Hopf algebra of polylogarithms of an infinite field, which is a candidate for a conjectural Hopf algebra of framed mixed Tate motives. Our definition is elementary and mimics Goncharov's construction of higher Bloch groups. We also discuss the Hodge and motivic realization of the Hopf algebra of polylogarithms. We define a Hopf algebra of polylogarithms of an infinite field, which is a candidate for a conjectural Hopf algebra of framed mixed Tate motives. Our definition is elementary and mimics Goncharov's construction of higher Bloch groups. We also discuss the Hodge and motivic realization of the Hopf algebra of polylogarithms. △ Less

Submitted 22 November, 2024; originally announced November 2024.

Comments: 23 pages

Report number: MPIM-Bonn-2024

Joseph Wolstenholme and the Trigonometry of Tetrahedra

Authors: Daniil Rudenko

Abstract: We describe the results in the trigonometry of tetrahedra obtained by Joseph Wolstenholme in the last few years of his life. 'The late Professor Wolstenholme, M.A., Sc.D., shortly before his death, handed to me a scrap of paper, on which he had hastily scratched the following equation in tetrahedra, saying he had proved it ...' (Richardson, 1897). We describe the results in the trigonometry of tetrahedra obtained by Joseph Wolstenholme in the last few years of his life. 'The late Professor Wolstenholme, M.A., Sc.D., shortly before his death, handed to me a scrap of paper, on which he had hastily scratched the following equation in tetrahedra, saying he had proved it ...' (Richardson, 1897). △ Less

Submitted 23 January, 2024; originally announced January 2024.

MSC Class: 01A55; 51M25

On the Goncharov Depth Conjecture and polylogarithms of depth two

Authors: Steven Charlton, Herbert Gangl, Danylo Radchenko, Daniil Rudenko

Abstract: We prove the surjectivity part of Goncharov's depth conjecture. We also show that the depth conjecture implies that multiple polylogarithms of depth $d$ and weight $n$ can be expressed via a single function $\mathrm{Li}_{n-d+1,1,\dots,1}(a_1,a_2,\dots,a_d)$, and we prove this latter statement for $d=2$. We prove the surjectivity part of Goncharov's depth conjecture. We also show that the depth conjecture implies that multiple polylogarithms of depth $d$ and weight $n$ can be expressed via a single function $\mathrm{Li}_{n-d+1,1,\dots,1}(a_1,a_2,\dots,a_d)$, and we prove this latter statement for $d=2$. △ Less

Submitted 10 November, 2022; v1 submitted 21 October, 2022; originally announced October 2022.

Comments: 4 pages, added Corollary 6, title modified to emphasise result on Depth Conjecture

Cluster Polylogarithms I: Quadrangular Polylogarithms

Authors: Andrei Matveiakin, Daniil Rudenko

Abstract: We suggest a definition of cluster polylogarithms on an arbitrary cluster variety and classify them in type $A$. We find functional equations for multiple polylogarithms which generalize equations discovered by Abel, Kummer, and Goncharov to an arbitrary weight. As an application, we prove a part of the Goncharov depth conjecture in weight six. We suggest a definition of cluster polylogarithms on an arbitrary cluster variety and classify them in type $A$. We find functional equations for multiple polylogarithms which generalize equations discovered by Abel, Kummer, and Goncharov to an arbitrary weight. As an application, we prove a part of the Goncharov depth conjecture in weight six. △ Less

Submitted 4 November, 2022; v1 submitted 2 August, 2022; originally announced August 2022.

On the Goncharov depth conjecture and a formula for volumes of orthoschemes

Authors: Daniil Rudenko

Abstract: We prove a conjecture of Goncharov, which says that any multiple polylogarithm can be expressed via polylogarithms of depth at most half of the weight. We give an explicit formula for this presentation, involving a summation over trees that correspond to decompositions of a polygon into quadrangles. Our second result is a formula for volume of hyperbolic orthoschemes, generalizing the formula of… ▽ More We prove a conjecture of Goncharov, which says that any multiple polylogarithm can be expressed via polylogarithms of depth at most half of the weight. We give an explicit formula for this presentation, involving a summation over trees that correspond to decompositions of a polygon into quadrangles. Our second result is a formula for volume of hyperbolic orthoschemes, generalizing the formula of Lobachevsky in dimension $3$ to an arbitrary dimension. We show a surprising relation between two results, which comes from the fact that hyperbolic orthoschemes are parametrized by configurations of points on $\mathbb{P}^1.$ In particular, we derive both formulas from their common generalization. △ Less

Submitted 14 May, 2022; v1 submitted 10 December, 2020; originally announced December 2020.

Comments: 49 pages, 7 figures

MSC Class: 11G55 (Primary) 52B45

Rational Elliptic Surfaces and the Trigonometry of Tetrahedra

Authors: Daniil Rudenko

Abstract: We study the trigonometry of non-Euclidean tetrahedra using tools from algebraic geometry. We establish a bijection between non-Euclidean tetrahedra and certain rational elliptic surfaces. We interpret the edge lengths and the dihedral angles of a tetrahedron as values of period maps for the corresponding surface. As a corollary we show that the cross-ratio of the exponents of the solid angles of… ▽ More We study the trigonometry of non-Euclidean tetrahedra using tools from algebraic geometry. We establish a bijection between non-Euclidean tetrahedra and certain rational elliptic surfaces. We interpret the edge lengths and the dihedral angles of a tetrahedron as values of period maps for the corresponding surface. As a corollary we show that the cross-ratio of the exponents of the solid angles of a tetrahedron is equal to the cross-ratio of the exponents of the perimeters of its faces. The Regge symmetries of a tetrahedron are related to the action of the Weyl group $W(D_6)$ on the Picard lattice of the corresponding surface. △ Less

Submitted 6 June, 2021; v1 submitted 3 August, 2019; originally announced August 2019.

Motivic correlators, cluster varieties and Zagier's conjecture on zeta(F,4)

Authors: Alexander B. Goncharov, Daniil Rudenko

Abstract: We prove Zagier's conjecture on the value at s=4 of the Dedekind zeta-function of a number field F. For any field F, we define a map from the appropriate pieces of algebraic K-theory of F to the cohomology of the weight 4 polylogarithmic motivic complex. When F is the function field of a complex variety, composing this map with the regulator map on the polylogarithmic complex to the Deligne cohomo… ▽ More We prove Zagier's conjecture on the value at s=4 of the Dedekind zeta-function of a number field F. For any field F, we define a map from the appropriate pieces of algebraic K-theory of F to the cohomology of the weight 4 polylogarithmic motivic complex. When F is the function field of a complex variety, composing this map with the regulator map on the polylogarithmic complex to the Deligne cohomology, we get a rational multiple of Beilinson's regulator. This plus Borel's theorem implies Zagier's conjecture. Another application is a formula expressing the value at s=4 of the L-function of an elliptic curve E over Q via generalized Eisenstein-Kronecker series. We get a strong evidence for the part of Freeness Conjecture describing the weight four part of the motivic Lie coalgebra of F via higher Bloch groups. Our main tools are motivic correlators and a new link of cluster varieties to polylogarithms. △ Less

Submitted 6 January, 2025; v1 submitted 22 March, 2018; originally announced March 2018.

Comments: Version 4. Few corrections and updates following referee reports. 108 pages

On the functional equations for polylogarithms in one variable

Authors: Daniil Rudenko

Abstract: We develop a new approach to the study of the functional equations satisfied by classical polylogarithms, inspired by Goncharov's conjectures. We prove a sharpened version of Zagier's criterion for such an equation and explain, how our approach leads to a very simple description of the equations in one variable, satisfied by dilogarithm and trilogarithm. Our main result is the complete descripti… ▽ More We develop a new approach to the study of the functional equations satisfied by classical polylogarithms, inspired by Goncharov's conjectures. We prove a sharpened version of Zagier's criterion for such an equation and explain, how our approach leads to a very simple description of the equations in one variable, satisfied by dilogarithm and trilogarithm. Our main result is the complete description of the functional equations for weight four polylogarithm in one variable. △ Less

Submitted 2 November, 2015; originally announced November 2015.

Comments: 15 pages

The Strong Suslin Reciprocity Law

Authors: Daniil Rudenko

Abstract: We prove the strong Suslin reciprocity law conjectured by A. Goncharov. The Suslin reciprocity law is a generalization of the Weil reciprocity law to higher Milnor $K-$theory. The Milnor $K-$groups can be identified with the top cohomology groups of the polylogarithmic motivic complexes; Goncharov's conjecture predicts the existence of a contracting homotopy underlying Suslin reciprocity. The main… ▽ More We prove the strong Suslin reciprocity law conjectured by A. Goncharov. The Suslin reciprocity law is a generalization of the Weil reciprocity law to higher Milnor $K-$theory. The Milnor $K-$groups can be identified with the top cohomology groups of the polylogarithmic motivic complexes; Goncharov's conjecture predicts the existence of a contracting homotopy underlying Suslin reciprocity. The main ingredient of the proof is a homotopy invariance theorem for the cohomology of the polylogarithmic motivic complexes in the "next to Milnor" degree. We apply these results to the theory of scissors congruences of hyperbolic polytopes. For every triple of rational functions on a compact projective curve over $\mathbb{C}$ we construct a hyperbolic polytope (defined up to scissors congruence). The hyperbolic volume and the Dehn invariant of this polytope can be computed directly from the triple of rational functions on the curve. △ Less

Submitted 22 October, 2020; v1 submitted 2 November, 2015; originally announced November 2015.

Comments: 36 pages

Journal ref: Compositio Math. 157 (2021) 649-676

A property of trivalent graphs related to equidissections

Authors: Daniil Rudenko

Abstract: Monsky proved that a square cannot be dissected into an odd number of triangles of equal area. Stein conjectured that the same holds for any polygon whose edges can be paired into parallel and equal-length segments. We prove Stein's conjecture under an assumption that all triangle vertices have rational coordinates. Our result is derived from a more general property of trivalent graphs equipped wi… ▽ More Monsky proved that a square cannot be dissected into an odd number of triangles of equal area. Stein conjectured that the same holds for any polygon whose edges can be paired into parallel and equal-length segments. We prove Stein's conjecture under an assumption that all triangle vertices have rational coordinates. Our result is derived from a more general property of trivalent graphs equipped with a $\mathbb{Q}^2$-valued flow. △ Less

Submitted 18 May, 2025; v1 submitted 2 November, 2014; originally announced November 2014.

MSC Class: 52C20 (Primary) 52C20 (Secondary)

On equidissection of balanced polygons

Authors: Daniil Rudenko

Abstract: In this paper we show that a lattice balanced polygon of odd area cannot be cut into an odd number of triangles of equal areas. First result of this type was obtained by Paul Monsky in 1970. He proved that a square cannot be cut into an odd number of triangles of equal areas. In 2000 Sherman Stein conjectured that the same holds for any balanced polygon. We also show connections between the equi… ▽ More In this paper we show that a lattice balanced polygon of odd area cannot be cut into an odd number of triangles of equal areas. First result of this type was obtained by Paul Monsky in 1970. He proved that a square cannot be cut into an odd number of triangles of equal areas. In 2000 Sherman Stein conjectured that the same holds for any balanced polygon. We also show connections between the equidissection problem and tropical geometry. △ Less

Submitted 3 August, 2012; v1 submitted 20 June, 2012; originally announced June 2012.