Showing 1–22 of 22 results for author: Gangl, H

On the cohomology of GL_2 and SL_2 over imaginary quadratic fields

Authors: Herbert Gangl, Paul E. Gunnells, Jonathan Hanke, Dan Yasaki

Abstract: We report on computations of the cohomology of GL_2(O_D) and SL_2(O_D), where D<0 is a fundamental discriminant. These computations go well beyond earlier results of Vogtmann and Scheutzow. We use the technique of homology of Voronoi complexes, and our computations recover the integral cohomology away from the primes 2, 3. We observed exponential growth in the torsion subgroup of H^2 as $D$ increa… ▽ More We report on computations of the cohomology of GL_2(O_D) and SL_2(O_D), where D<0 is a fundamental discriminant. These computations go well beyond earlier results of Vogtmann and Scheutzow. We use the technique of homology of Voronoi complexes, and our computations recover the integral cohomology away from the primes 2, 3. We observed exponential growth in the torsion subgroup of H^2 as $D$ increases, and compared our data to bounds of Rohlfs. △ Less

Submitted 12 August, 2023; originally announced August 2023.

MSC Class: 11F75; 20J06; 11Y99

Hands-on Tropical Geometry

Authors: Herbert Gangl, Yue Ren, Ziva Urbancic

Abstract: This is a guide on how to create 3d printable models of tropical surfaces, curves, and combinations thereof. It uses Polymake to construct bounded models of the tropical objects, and OpenSCAD to thicken and export them to any common 3D printable file format. This is a guide on how to create 3d printable models of tropical surfaces, curves, and combinations thereof. It uses Polymake to construct bounded models of the tropical objects, and OpenSCAD to thicken and export them to any common 3D printable file format. △ Less

Submitted 20 April, 2023; originally announced April 2023.

Comments: 5 pages, 9 figures. This guide was published in the Computeralgebra Rundbrief (March 2023). Any questions are welcome

MSC Class: 14T99

On two conjectures of Sun concerning Apéry-like series

Authors: Steven Charlton, Herbert Gangl, Li Lai, Ce Xu, Jianqiang Zhao

Abstract: In this paper, we shall prove two conjectures of Z.-W. Sun concerning Apéry-like series. One of the series is alternating whereas the other one is not. Our main strategy is to convert the series (resp.~the alternating series) to log-sine-cosine (resp.~log-sinh-cosh) integrals. Then we express all these integrals in terms of single-valued Bloch-Wigner-Ramakrishnan-Wojtkowiak-Zagier polylogarithms.… ▽ More In this paper, we shall prove two conjectures of Z.-W. Sun concerning Apéry-like series. One of the series is alternating whereas the other one is not. Our main strategy is to convert the series (resp.~the alternating series) to log-sine-cosine (resp.~log-sinh-cosh) integrals. Then we express all these integrals in terms of single-valued Bloch-Wigner-Ramakrishnan-Wojtkowiak-Zagier polylogarithms. The conjectures then follow from a few highly non-trivial functional equations of the polylogarithms of weight $3$ and $4$. △ Less

Submitted 21 October, 2022; originally announced October 2022.

Comments: 19 pages

Journal ref: Forum Math. 2023

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

Clean Single-Valued Polylogarithms

Authors: Steven Charlton, Claude Duhr, Herbert Gangl

Abstract: We define a variant of real-analytic polylogarithms that are single-valued and that satisfy ''clean'' functional relations that do not involve any products of lower weight functions. We discuss the basic properties of these functions and, for depths one and two, we present some explicit formulas and results. We also give explicit formulas for the single-valued and clean single-valued version attac… ▽ More We define a variant of real-analytic polylogarithms that are single-valued and that satisfy ''clean'' functional relations that do not involve any products of lower weight functions. We discuss the basic properties of these functions and, for depths one and two, we present some explicit formulas and results. We also give explicit formulas for the single-valued and clean single-valued version attached to the Nielsen polylogarithms $S_{n,2}(x)$, and we show how the clean single-valued functions give new evaluations of multiple polylogarithms at certain algebraic points. △ Less

Submitted 12 December, 2021; v1 submitted 9 April, 2021; originally announced April 2021.

Comments: Special Issue on Algebraic Structures in Perturbative Quantum Field Theory in honor of Dirk Kreimer for his 60th birthday

Report number: CERN-TH-2021-048

Journal ref: SIGMA 17 (2021), 107, 34 pages

Functional equations of polygonal type for multiple polylogarithms in weights 5, 6 and 7

Authors: Steven Charlton, Herbert Gangl, Danylo Radchenko

Abstract: We present new functional equations in weights 5, 6 and 7 and use them for explicit depth reduction of multiple polylogarithms. These identities generalize the crucial identity $\mathbf{Q}_4$ from the recent work of Goncharov and Rudenko that was used in their proof of the weight 4 case of Zagier's Polylogarithm Conjecture. We present new functional equations in weights 5, 6 and 7 and use them for explicit depth reduction of multiple polylogarithms. These identities generalize the crucial identity $\mathbf{Q}_4$ from the recent work of Goncharov and Rudenko that was used in their proof of the weight 4 case of Zagier's Polylogarithm Conjecture. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Comments: 6 pages, 4 figures

MSC Class: Primary 11G55; Secondary 33E20; 39B32

Explicit formulas for Grassmannian polylogarithms

Authors: Steven Charlton, Herbert Gangl, Danylo Radchenko

Abstract: We give new explicit formulas for Grassmannian and Aomoto polylogarithms in terms of iterated integrals, for arbitrary weight. We also explicitly reduce the Grassmannian polylogarithm in weight 4 and in weight 5 each to depth 2. Furthermore, using this reduction in weight 4 we obtain an explicit, albeit complicated, form of the so-called 4-ratio, which gives an expression for the Borel class in co… ▽ More We give new explicit formulas for Grassmannian and Aomoto polylogarithms in terms of iterated integrals, for arbitrary weight. We also explicitly reduce the Grassmannian polylogarithm in weight 4 and in weight 5 each to depth 2. Furthermore, using this reduction in weight 4 we obtain an explicit, albeit complicated, form of the so-called 4-ratio, which gives an expression for the Borel class in continuous cohomology of $\mathrm{GL}_4$ in terms of $\mathrm{Li}_4$. △ Less

Submitted 2 August, 2022; v1 submitted 30 September, 2019; originally announced September 2019.

Comments: 28 pages; Formula for the Aomoto polylogarithm as an iterated integral added (Theorem 7 and Remark 8)

MSC Class: 11G55 (Primary); 33E20; 39B32 (Secondary)

Hyperbolic tessellations and generators of K_3 for imaginary quadratic fields

Authors: David Burns, Rob de Jeu, Herbert Gangl, Alexander D. Rham, Dan Yasaki

Abstract: We develop methods for constructing explicit generators, modulo torsion, of the K_3-groups of imaginary quadratic number fields. These methods are based on either tessellations of hyperbolic 3-space or on direct calculations in suitable pre-Bloch groups, and lead to the very first proven examples of explicit generators, modulo torsion, of any infinite K_3-group of a number field. As part of this a… ▽ More We develop methods for constructing explicit generators, modulo torsion, of the K_3-groups of imaginary quadratic number fields. These methods are based on either tessellations of hyperbolic 3-space or on direct calculations in suitable pre-Bloch groups, and lead to the very first proven examples of explicit generators, modulo torsion, of any infinite K_3-group of a number field. As part of this approach, we make several improvements to the theory of Bloch groups for K_3 of any field, predict the precise power of 2 that should occur in the Lichtenbaum conjecture at -1 and prove that the latter prediction is valid for all abelian number fields. △ Less

Submitted 25 November, 2020; v1 submitted 19 September, 2019; originally announced September 2019.

Comments: 51 pages; in this revision, the exposition and a few proofs were shortened, and a brief comparison with earlier work added

MSC Class: 11G55; 11R70; 19F27; 19D45 (primary); 11R42; 20H20; 51M20 (secondary)

Journal ref: Forum of Mathematics, Sigma, volume 9 (2021)

On functional equations for Nielsen polylogarithms

Authors: Steven Charlton, Herbert Gangl, Danylo Radchenko

Abstract: We derive new functional equations for Nielsen polylogarithms. We show that, when viewed modulo $\mathrm{Li}_5$ and products of lower weight functions, the weight $5$ Nielsen polylogarithm $S_{3,2}$ satisfies the dilogarithm five-term relation. We also give some functional equations and evaluations for Nielsen polylogarithms in weights up to 8, and general families of identities in higher weight. We derive new functional equations for Nielsen polylogarithms. We show that, when viewed modulo $\mathrm{Li}_5$ and products of lower weight functions, the weight $5$ Nielsen polylogarithm $S_{3,2}$ satisfies the dilogarithm five-term relation. We also give some functional equations and evaluations for Nielsen polylogarithms in weights up to 8, and general families of identities in higher weight. △ Less

Submitted 13 August, 2019; originally announced August 2019.

Comments: 36 pages, 3 figures

MSC Class: 11G55 (Primary); 33E20; 39B32 (Secondary)

Homophonic Quotients of Linguistic Free Groups: German, Korean, and Turkish

Authors: Herbert Gangl, Gizem Karaali, Woohyung Lee

Abstract: In 1993, the homophonic quotient groups for French and English (the quotient of the free group generated by the French (respectively English) alphabet determined by relations representing standard pronunciation rules) were explicitly characterized [5]. In this paper we apply the same methodology to three different language systems: German, Korean, and Turkish. We argue that our results point to so… ▽ More In 1993, the homophonic quotient groups for French and English (the quotient of the free group generated by the French (respectively English) alphabet determined by relations representing standard pronunciation rules) were explicitly characterized [5]. In this paper we apply the same methodology to three different language systems: German, Korean, and Turkish. We argue that our results point to some interesting differences between these three languages (or at least their current script systems). △ Less

Submitted 10 August, 2018; originally announced August 2018.

Journal ref: Revised and final version at: Involve 12:3 (2019) 463-474

The Grassmannian complex and Goncharov's motivic complex in weight 4

Authors: Herbert Gangl

Abstract: For a field $F$ and a given integer $n>1$, Goncharov has given a complex $Γ_F(n)$ which he calls motivic and which he expects to rationally compute the weight $n$ motivic cohomology of $\text{Spec }F$, and hence its algebraic $K$-groups in Adams weight $n$, and he was also led to---conjecturally quasiisomorphic---`thickened' complexes thereof. These complexes involve tensor products of higher Bloc… ▽ More For a field $F$ and a given integer $n>1$, Goncharov has given a complex $Γ_F(n)$ which he calls motivic and which he expects to rationally compute the weight $n$ motivic cohomology of $\text{Spec }F$, and hence its algebraic $K$-groups in Adams weight $n$, and he was also led to---conjecturally quasiisomorphic---`thickened' complexes thereof. These complexes involve tensor products of higher Bloch groups, the latter having been linked to the geometry of certain configurations in Goncharov's proof of Zagier's Polylogarithm Conjecture for weight 3, and an analogous picture has long been envisioned by Goncharov for higher weight as well. We provide a partial morphism in weight 4 by giving three out of four maps for configurations in general position. △ Less

Submitted 26 March, 2018; v1 submitted 23 January, 2018; originally announced January 2018.

Comments: 18 pages; added check of vanishing of the `wedge component' for the leftmost square as well as integrability; references adapted

MSC Class: 11G55 (Primary); 14F42; 14N20 (Secondary)

Multiple polylogarithms in weight 4

Authors: Herbert Gangl

Abstract: We clarify the relationship between different multiple polylogarithms in weight~4 by writing suitable linear combinations of a given type of iterated integral I_{n_1,...,n_d}(z_1,...,z_d), in depth d>1 and weight \sum_i n_i=4 in terms of the classical tetralogarithm Li_4. In the process, we prove a statement conjectured by Goncharov which can be rephrased as writing the sum of iterated integrals I… ▽ More We clarify the relationship between different multiple polylogarithms in weight~4 by writing suitable linear combinations of a given type of iterated integral I_{n_1,...,n_d}(z_1,...,z_d), in depth d>1 and weight \sum_i n_i=4 in terms of the classical tetralogarithm Li_4. In the process, we prove a statement conjectured by Goncharov which can be rephrased as writing the sum of iterated integrals I_{3,1}(V(x,y),z), where V(x,y) denotes a formal version of the five term relation for the dilogarithm, in terms of Li_4-terms (we need 122 such). △ Less

Submitted 18 September, 2016; originally announced September 2016.

Comments: 21 pages, link to home page with (long) Mathematica-readable expressions

MSC Class: 11G55; 14F42; 33E20; 39B32

On the toplogical computation of K4 of the Gaussian and Eisenstein integers

Authors: Mathieu Dutour Sikiric, Herbert Gangl, Paul E. Gunnells, Jonathan Hanke, Achill Schuermann, Dan Yasaki

Abstract: In this paper we use topological tools to investigate the structure of the algebraic K-groups K_4 (Z[i]) and K_4 (Z[rho]), where i := sqrt{-1} and rho := (1+sqrt{-3})/2. We exploit the close connection between homology groups of GL_n(R) for n <= 5 and those of related classifying spaces, then compute the former using Voronoi's reduction theory of positive definite quadratic and Hermitian forms to… ▽ More In this paper we use topological tools to investigate the structure of the algebraic K-groups K_4 (Z[i]) and K_4 (Z[rho]), where i := sqrt{-1} and rho := (1+sqrt{-3})/2. We exploit the close connection between homology groups of GL_n(R) for n <= 5 and those of related classifying spaces, then compute the former using Voronoi's reduction theory of positive definite quadratic and Hermitian forms to produce a very large finite cell complex on which GL_n(R) acts. Our main result is that K_4 (Z[i]) and K_4 (Z[rho]) have no p-torsion for p >= 5. △ Less

Submitted 8 August, 2018; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: addresses referee's comments

MSC Class: Primary 19D50; Secondary 11F75

On the cohomology of linear groups over imaginary quadratic fields

Authors: Herbert Gangl, Paul E. Gunnells, Jonathan Hanke, Achill Schuermann, Mathieu Dutour Sikiric, Dan Yasaki

Abstract: Let Gamma be the group GL_N (OO_D), where OO_D is the ring of integers in the imaginary quadratic field with discriminant D<0. In this paper we investigate the cohomology of Gamma for N=3,4 and for a selection of discriminants: D >= -24 when N=3, and D=-3,-4 when N=4. In particular we compute the integral cohomology of Gamma up to p-power torsion for small primes p. Our main tool is the polyhedral… ▽ More Let Gamma be the group GL_N (OO_D), where OO_D is the ring of integers in the imaginary quadratic field with discriminant D<0. In this paper we investigate the cohomology of Gamma for N=3,4 and for a selection of discriminants: D >= -24 when N=3, and D=-3,-4 when N=4. In particular we compute the integral cohomology of Gamma up to p-power torsion for small primes p. Our main tool is the polyhedral reduction theory for Gamma developed by Ash and Koecher. Our results extend work of Staffeldt, who treated the case n=3, D=-4. In a sequel to this paper, we will apply some of these results to the computations with the K-groups K_4 (OO_{D}), when D=-3,-4. △ Less

Submitted 25 November, 2013; v1 submitted 3 July, 2013; originally announced July 2013.

MSC Class: 11F75; 11F67; 20J06

From polygons and symbols to polylogarithmic functions

Authors: Claude Duhr, Herbert Gangl, John R. Rhodes

Abstract: We present a review of the symbol map, a mathematical tool that can be useful in simplifying expressions among multiple polylogarithms, and recall its main properties. A recipe is given for how to obtain the symbol of a multiple polylogarithm in terms of the combinatorial properties of an associated rooted decorated polygon. We also outline a systematic approach to constructing a function correspo… ▽ More We present a review of the symbol map, a mathematical tool that can be useful in simplifying expressions among multiple polylogarithms, and recall its main properties. A recipe is given for how to obtain the symbol of a multiple polylogarithm in terms of the combinatorial properties of an associated rooted decorated polygon. We also outline a systematic approach to constructing a function corresponding to a given symbol, and illustrate it in the particular case of harmonic polylogarithms up to weight four. Furthermore, part of the ambiguity of this process is highlighted by exhibiting a family of non-trivial elements in the kernel of the symbol map for arbitrary weight. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Comments: 75 pages. Mathematica files with the expression of all HPLs up to weight 4 in terms of the spanning set are included

Report number: IPPP/11/56, DCPT/11/112

On special elements in higher algebraic K-theory and the Lichtenbaum-Gross Conjecture

Authors: David Burns, Herbert Gangl, Rob de Jeu

Abstract: We conjecture the existence of special elements in odd degree higher algebraic K-groups of number fields that are related in a precise way to the values at strictly negative integers of the derivatives of Artin L-functions of finite dimensional complex representations. We prove this conjecture in certain important cases and also provide other evidence (both theoretical and numerical) in its suppor… ▽ More We conjecture the existence of special elements in odd degree higher algebraic K-groups of number fields that are related in a precise way to the values at strictly negative integers of the derivatives of Artin L-functions of finite dimensional complex representations. We prove this conjecture in certain important cases and also provide other evidence (both theoretical and numerical) in its support. △ Less

Submitted 28 January, 2011; originally announced January 2011.

Comments: 25 pages

MSC Class: Primary: 11R70; 19F27; secondary: 11R42

Perfect forms and the cohomology of modular groups

Authors: Philippe Elbaz-Vincent, Herbert Gangl, Christophe Soulé

Abstract: For N=5, 6 and 7, using the classification of perfect quadratic forms, we compute the homology of the Voronoi cell complexes attached to the modular groups SL_N(\Z) and GL_N(\Z). From this we deduce the rational cohomology of those groups. For N=5, 6 and 7, using the classification of perfect quadratic forms, we compute the homology of the Voronoi cell complexes attached to the modular groups SL_N(\Z) and GL_N(\Z). From this we deduce the rational cohomology of those groups. △ Less

Submitted 5 January, 2010; originally announced January 2010.

Comments: 17 pages, 7 tables and figures

MSC Class: 11H55; 11F75; 20J06 (primary); 11F06; 11Y99; 55N91; 57-04 (secondary)

Multiple polylogarithms, polygons, trees and algebraic cycles

Authors: Herbert Gangl, Alexander B. Goncharov, Andrey Levin

Abstract: We construct algebraic cycles in Bloch's cubical cycle group which correspond to multiple polylogarithms with generic arguments. Moreover, we construct out of them a Hopf subalgebra in the Bloch-Kriz cycle Hopf algebra. In the process, we are led to other Hopf algebras built from trees and polygons, which are mapped to the latter. We relate the coproducts to the one for Goncharov's motivic multi… ▽ More We construct algebraic cycles in Bloch's cubical cycle group which correspond to multiple polylogarithms with generic arguments. Moreover, we construct out of them a Hopf subalgebra in the Bloch-Kriz cycle Hopf algebra. In the process, we are led to other Hopf algebras built from trees and polygons, which are mapped to the latter. We relate the coproducts to the one for Goncharov's motivic multiple polylogarithms and to the Connes-Kreimer coproduct on plane trees and produce the associated Hodge realization for polygons. △ Less

Submitted 3 August, 2005; originally announced August 2005.

Comments: 46 pages, figures use xy-pic

MSC Class: 14F42

Multiple logarithms, algebraic cycles and trees

Authors: Herbert Gangl, Alexander B. Goncharov, Andrey Levin

Abstract: This is a short exposition--mostly by way of the toy models ``double logarithm'' and ``triple logarithm''--which should serve as an introduction to a forthcoming article in which we establish a connection between multiple polylogarithms, polygons, trees and algebraic cycles. This is a short exposition--mostly by way of the toy models ``double logarithm'' and ``triple logarithm''--which should serve as an introduction to a forthcoming article in which we establish a connection between multiple polylogarithms, polygons, trees and algebraic cycles. △ Less

Submitted 27 April, 2005; originally announced April 2005.

Comments: 15 pages, 8 figures, accepted June 2004 for publication in the book "Frontiers in Number Theory, Physics and Geometry", Volume 2 (Cartier, Julia, Moussa, Vanhove, eds.)

MSC Class: 14F42

Functional equations of higher logarithms

Authors: Herbert Gangl

Abstract: We give the first genuine 2-variable functional equation for the 7--logarithm. We investigate and relate identities for the 3-logarithm given by Goncharov and Wojtkowiak and deduce a certain family of functional equations for the 4-logarithm. We give the first genuine 2-variable functional equation for the 7--logarithm. We investigate and relate identities for the 3-logarithm given by Goncharov and Wojtkowiak and deduce a certain family of functional equations for the 4-logarithm. △ Less

Submitted 24 July, 2002; originally announced July 2002.

Comments: 14 pages, final version, to appear in Selecta Mathematica

MSC Class: 11G55; 33E20; 39B32

Quelques calculs de la cohomologie de GL_N(Z) et de la K-theorie de Z

Authors: Philippe Elbaz-Vincent, Herbert Gangl, Christophe Soule

Abstract: For N=5 and N=6, we compute the Voronoi cell complex attached to real N-dimensional quadratic forms, and we obtain the homology of GL_N(Z) with trivial coefficients, up to small primes. We also prove that K_5(Z) = Z and K_6(Z) has only 3-torsion. For N=5 and N=6, we compute the Voronoi cell complex attached to real N-dimensional quadratic forms, and we obtain the homology of GL_N(Z) with trivial coefficients, up to small primes. We also prove that K_5(Z) = Z and K_6(Z) has only 3-torsion. △ Less

Submitted 6 July, 2002; originally announced July 2002.

Comments: 5 pages (French)

MSC Class: 19D50; 11R70; 11F75; 20G10

On Poly(ana)logs I

Authors: Philippe Elbaz-Vincent, Herbert Gangl, Maxim Kontsevich

Abstract: We investigate a connection between the differential of polylogarithms (as considered by Cathelineau) and a finite variant of them. This allows to answer a question raised by Kontsevich concerning the construction of functional equations for the finite analogs, using in part the p-adic version of polylogarithms and recent work of Besser. Kontsevich's original unpublished note is supplied (with… ▽ More We investigate a connection between the differential of polylogarithms (as considered by Cathelineau) and a finite variant of them. This allows to answer a question raised by Kontsevich concerning the construction of functional equations for the finite analogs, using in part the p-adic version of polylogarithms and recent work of Besser. Kontsevich's original unpublished note is supplied (with his kind permission) in an "Appendix" at the end of the paper. △ Less

Submitted 11 August, 2000; originally announced August 2000.

Comments: LaTeX, 44 pages, 1 figure (ps-version strongly recommended). Paper by Elbaz-Vincent and Gangl, an appendix by Kontsevich.

Report number: MPI 00-62 MSC Class: 19F15; 11T99; 33B99