Showing 1–13 of 13 results for author: Zickert, C K

Hopf algebras of multiple polylogarithms, and holomorphic 1-forms

Authors: Zachary Greenberg, Dani Kaufman, Haoran Li, Christian K. Zickert

Abstract: We associate to a multiple polylogarithm a holomorphic 1-form on the universal abelian cover of its domain. We relate the 1-forms to the symbol and variation matrix and show that the 1-forms naturally define a lift of the variation of mixed Hodge structure associated to a polylogarithm. The results are conveniently described in terms of a variant H of Goncharov's Hopf algebra of multiple polylogar… ▽ More We associate to a multiple polylogarithm a holomorphic 1-form on the universal abelian cover of its domain. We relate the 1-forms to the symbol and variation matrix and show that the 1-forms naturally define a lift of the variation of mixed Hodge structure associated to a polylogarithm. The results are conveniently described in terms of a variant H of Goncharov's Hopf algebra of multiple polylogarithms. In particular, we show that the association of a 1-form to a multiple polylogarithm induces a map from the Chevalley-Eilenberg complex of the Lie coalgebra of indecomposables of H to the de Rham complex. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Comments: 30 pages

Report number: CPH-GEOTOP-DNRF151 MSC Class: 11G55 (Primary); 19E15; 14D07; 32G20 (Secondary)

The Lie coalgebra of multiple polylogarithms

Authors: Zachary Greenberg, Dani Kaufman, Haoran Li, Christian K. Zickert

Abstract: We use Goncharov's coproduct of multiple polylogarithms to define a Lie coalgebra over an arbitrary field. It is generated by symbols subject to inductively defined relations, which we think of as functional relations for multiple polylogarithms. In particular, we have inversion relations and shuffle relations. We relate our definition to Goncharov's Bloch groups, and to the concrete model in weig… ▽ More We use Goncharov's coproduct of multiple polylogarithms to define a Lie coalgebra over an arbitrary field. It is generated by symbols subject to inductively defined relations, which we think of as functional relations for multiple polylogarithms. In particular, we have inversion relations and shuffle relations. We relate our definition to Goncharov's Bloch groups, and to the concrete model in weight less than 5 by Goncharov and Rudenko. △ Less

Submitted 22 March, 2022; originally announced March 2022.

Comments: 14 pages

Report number: CPH-GEOTOP-DNRF151 MSC Class: 11G55 (Primary); 19E15; 14D07; 32G20 (Secondary)

Journal ref: J. Algebra 645 (2024), 164-182

Holomorphic polylogarithms and Bloch complexes

Authors: Christian K. Zickert

Abstract: For an integer n>2 we define a polylogarithm, which is a holomorphic function on the universal abelian cover of C-{0,1} defined modulo (2 pi i)^n/(n-1)!. We use the formal properties of its functional relations to define groups lifting Goncharov's Bloch groups of a field F, and show that they fit into a complex lifting Goncharov's Bloch complex. When F=C we show that the imaginary part (when n is… ▽ More For an integer n>2 we define a polylogarithm, which is a holomorphic function on the universal abelian cover of C-{0,1} defined modulo (2 pi i)^n/(n-1)!. We use the formal properties of its functional relations to define groups lifting Goncharov's Bloch groups of a field F, and show that they fit into a complex lifting Goncharov's Bloch complex. When F=C we show that the imaginary part (when n is even) or real part (when n is odd) of the holomorphic polylogarithm agrees with a real valued polylogarithm on the first cohomology group of the lifted Bloch complex. When n=2, this group is Neumann's extended Bloch group. Goncharov's complex conjecturally computes the rational motivic cohomology of F, and one may speculate whether the lifted complex computes the integral motivic cohomology. Finally, we construct a lift of Goncharov's real valued map on the 5th homology of SL(3,C) to a complex valued map. The lift makes use of the cluster ensemble structure on the Grassmannian Gr(3,6). △ Less

Submitted 18 January, 2023; v1 submitted 11 February, 2019; originally announced February 2019.

Comments: 32 pages

MSC Class: 11G55 (Primary); 13F60; 58J28; 19E15 (Secondary)

Journal ref: J. Reine Angew. Math., 797 (2023), 155--192

On the Hikami-Inoue conjecture

Authors: Jinseok Cho, Seokbeom Yoon, Christian K. Zickert

Abstract: Given a braid presentation $D$ of a hyperbolic knot, Hikami and Inoue consider a system of polynomial equations arising from a sequence of cluster mutations determined by $D$. They show that any solution gives rise to shape parameters and thus determines a boundary-parabolic $\mathrm{PSL}(2,\mathbb{C})$-representation of the knot group. They conjecture the existence of a solution corresponding to… ▽ More Given a braid presentation $D$ of a hyperbolic knot, Hikami and Inoue consider a system of polynomial equations arising from a sequence of cluster mutations determined by $D$. They show that any solution gives rise to shape parameters and thus determines a boundary-parabolic $\mathrm{PSL}(2,\mathbb{C})$-representation of the knot group. They conjecture the existence of a solution corresponding to the geometric representation. In this paper, we show that a boundary-parabolic representation $ρ$ arises from a solution if and only if the length of $D$ modulo $2$ equals the obstruction to lifting $ρ$ to a boundary-parabolic $\mathrm{SL}(2,\mathbb{C})$-representation (as an element in $\mathbb{Z}_2$). In particular, the Hikami-Inoue conjecture holds if and only if the length of $D$ is odd. This can always be achieved by adding a kink to the braid if necessary. We also explicitly construct the solution corresponding to a boundary-parabolic representation given in the Wirtinger presentation of the knot group. △ Less

Submitted 21 February, 2019; v1 submitted 30 May, 2018; originally announced May 2018.

Comments: 20 pages

MSC Class: 57M25; 57M27; 13F60

Journal ref: Algebr. Geom. Topol. 20 (2020) 279-301

Fock-Goncharov coordinates for rank two Lie groups

Authors: Christian K. Zickert

Abstract: Let G be a simply connected, simple, complex Lie group of rank 2. We give explicit Fock-Goncharov coordinates for configurations of triples and quadruples of affine flags in G. We show that the action on triples by orientation preserving permutations corresponds to explicit quiver mutations, and that the same holds for the flip (changing the diagonal in a quadrilateral). This gives explicit coordi… ▽ More Let G be a simply connected, simple, complex Lie group of rank 2. We give explicit Fock-Goncharov coordinates for configurations of triples and quadruples of affine flags in G. We show that the action on triples by orientation preserving permutations corresponds to explicit quiver mutations, and that the same holds for the flip (changing the diagonal in a quadrilateral). This gives explicit coordinates on higher Teichmuller space, and also coordinates for boundary-unipotent representations of 3-manifold groups. As an application, we compute the (generic) boundary-unipotent representations in Sp(4,C) for the figure-eight knot complement. △ Less

Submitted 16 June, 2017; v1 submitted 26 May, 2016; originally announced May 2016.

Comments: 31 pages, 24 figures; Version 2 fixed several typos

MSC Class: 32G15; 57M27 (Primary); 13F60; 57M50 (Secondary)

Journal ref: Math. Z. 294 (2020), 251-286

Triangulation Independent Ptolemy Varieties

Authors: Matthias Goerner, Christian K. Zickert

Abstract: The Ptolemy variety for SL(2,C) is an invariant of a topological ideal triangulation of a compact 3-manifold M. It is closely related to Thurston's gluing equation variety. The Ptolemy variety maps naturally to the set of conjugacy classes of boundary-unipotent SL(2,C)-representations, but (like the gluing equation variety) it depends on the triangulation, and may miss several components of repres… ▽ More The Ptolemy variety for SL(2,C) is an invariant of a topological ideal triangulation of a compact 3-manifold M. It is closely related to Thurston's gluing equation variety. The Ptolemy variety maps naturally to the set of conjugacy classes of boundary-unipotent SL(2,C)-representations, but (like the gluing equation variety) it depends on the triangulation, and may miss several components of representations. In this paper, we define a Ptolemy variety, which is independent of the choice of triangulation, and detects all boundary-unipotent irreducible SL(2,C)-representations. We also define variants of the Ptolemy variety for PSL(2,C)-representations, and representations that are not necessarily boundary-unipotent. In particular, we obtain an algorithm to compute all irreducible SL(2,C)-characters as well as the full A-polynomial. All the varieties are topological invariants of M. △ Less

Submitted 7 December, 2017; v1 submitted 12 July, 2015; originally announced July 2015.

Comments: 24 pages, 16 Figures; version 2: added Section 9.1 on affine coverings; version 3: greatly improved readability and addresses referee's comments

MSC Class: 57N10; 57M27; 57M50 (Primary); 13P10 (Secondary)

Journal ref: Math. Z. 289 (2018), 663-693

Ptolemy coordinates, Dehn invariant, and the A-polynomial

Authors: Christian K. Zickert

Abstract: We define Ptolemy coordinates for representations that are not necessarily boundary-unipotent. This gives rise to a new algorithm for computing the SL(2,C) A-polynomial, and more generally the SL(n,C) A-varieties. We also give a formula for the Dehn invariant of an SL(n,C)-representation. We define Ptolemy coordinates for representations that are not necessarily boundary-unipotent. This gives rise to a new algorithm for computing the SL(2,C) A-polynomial, and more generally the SL(n,C) A-varieties. We also give a formula for the Dehn invariant of an SL(n,C)-representation. △ Less

Submitted 30 April, 2014; originally announced May 2014.

Comments: 21 pages, 15 figures

Journal ref: Math. Z. 283 (2016) 515-537

The Ptolemy field of $3$-manifold-representations

Authors: Stavros Garoufalidis, Matthias Goerner, Christian K. Zickert

Abstract: The Ptolemy coordinates for boundary-unipotent SL(n,C)-representations of a 3-manifold group were introduced in Garoufalidis-Thurston-Zickert inspired by the A-coordinates on higher Teichmüller space due to Fock and Goncharov. In this paper, we define the Ptolemy field of a (generic) PSL(2,\C)-representation and prove that it coincides with the trace field of the representation. This gives an effi… ▽ More The Ptolemy coordinates for boundary-unipotent SL(n,C)-representations of a 3-manifold group were introduced in Garoufalidis-Thurston-Zickert inspired by the A-coordinates on higher Teichmüller space due to Fock and Goncharov. In this paper, we define the Ptolemy field of a (generic) PSL(2,\C)-representation and prove that it coincides with the trace field of the representation. This gives an efficient algorithm to compute the trace field of a cusped hyperbolic manifold. △ Less

Submitted 21 January, 2014; originally announced January 2014.

Comments: 21 pages, 23 figures

Journal ref: Algebr. Geom. Topol. 15 (2015) 371-397

The symplectic properties of the PGL(n,C)-gluing equations

Authors: Stavros Garoufalidis, Christian K. Zickert

Abstract: In a previous article we studied PGL(n,C)-representations of a 3-manifold via a generalization of Thurston's gluing equations. Neumann has proved some symplectic properties of Thurston's gluing equations that play an important role in recent developments of exact and perturbative Chern-Simons theory. In this paper, we prove the symplectic properties of the PGL(n,C)-gluing equations for all ideal t… ▽ More In a previous article we studied PGL(n,C)-representations of a 3-manifold via a generalization of Thurston's gluing equations. Neumann has proved some symplectic properties of Thurston's gluing equations that play an important role in recent developments of exact and perturbative Chern-Simons theory. In this paper, we prove the symplectic properties of the PGL(n,C)-gluing equations for all ideal triangulations of compact oriented 3-manifolds. △ Less

Submitted 9 October, 2013; originally announced October 2013.

Comments: 33 pages, 50 figures

Journal ref: Quantum Topol. 7 no. 3 (2016) 505-551

Gluing equations for PGL(n,C)-representations of 3-manifolds

Authors: Stavros Garoufalidis, Matthias Goerner, Christian K. Zickert

Abstract: In a previous paper, we parametrized boundary-unipotent representations of a 3-manifold group into SL(n,C) using Ptolemy coordinates, which were inspired by A-coordinates on higher Teichmüller space due to Fock and Goncharov. In this paper, we parametrize representations into PGL(n,C) using shape coordinates which are a 3-dimensional analogue of Fock and Goncharov's X-coordinates. These coordinate… ▽ More In a previous paper, we parametrized boundary-unipotent representations of a 3-manifold group into SL(n,C) using Ptolemy coordinates, which were inspired by A-coordinates on higher Teichmüller space due to Fock and Goncharov. In this paper, we parametrize representations into PGL(n,C) using shape coordinates which are a 3-dimensional analogue of Fock and Goncharov's X-coordinates. These coordinates satisfy equations generalizing Thurston's gluing equations. These equations are of Neumann-Zagier type and satisfy symplectic relations with applications in quantum topology. We also explore a duality between the Ptolemy coordinates and the shape coordinates. △ Less

Submitted 28 July, 2012; originally announced July 2012.

Comments: 47 pages, 28 figures

MSC Class: 57N10 (Primary); 57M27 (Secondary)

Journal ref: Algebr. Geom. Topol. 15 (2015) 565-622

The complex volume of SL(n,C)-representations of 3-manifolds

Authors: Stavros Garoufalidis, Dylan P. Thurston, Christian K. Zickert

Abstract: For a compact 3-manifold M with arbitrary (possibly empty) boundary, we give a parametrization of the set of conjugacy classes of boundary-unipotent representations of the fundamental group of M into SL(n,C). Our parametrization uses Ptolemy coordinates, which are inspired by coordinates on higher Teichmueller spaces due to Fock and Goncharov. We show that a boundary-unipotent representation deter… ▽ More For a compact 3-manifold M with arbitrary (possibly empty) boundary, we give a parametrization of the set of conjugacy classes of boundary-unipotent representations of the fundamental group of M into SL(n,C). Our parametrization uses Ptolemy coordinates, which are inspired by coordinates on higher Teichmueller spaces due to Fock and Goncharov. We show that a boundary-unipotent representation determines an element in Neumann's extended Bloch group, and use this to obtain an efficient formula for the Cheeger-Chern-Simons invariant, and in particular for the volume. Computations for the census manifolds show that boundary-unipotent representations are abundant, and numerical comparisons with census volumes, suggest that the volume of a representation is an integral linear combination of volumes of hyperbolic 3-manifolds. This is in agreement with a conjecture of Walter Neumann, stating that the Bloch group is generated by hyperbolic manifolds. △ Less

Submitted 11 December, 2013; v1 submitted 11 November, 2011; originally announced November 2011.

Comments: 44 pages, 11 figures

MSC Class: 57N10; 57M27; 58J28 (primary); 11R70; 19F27; 11G55 (secondary)

Journal ref: Duke Math. J. 164, no. 11 (2015), 2099-2160

The extended Bloch group and algebraic K-theory

Authors: Christian K. Zickert

Abstract: We define an extended Bloch group for an arbitrary field F, and show that this group is canonically isomorphic to K_3^ind(F) if F is a number field. This gives an explicit description of K_3^ind(F) in terms of generators and relations. We give a concrete formula for the regulator, and derive concrete symbol expressions generating the torsion. As an application, we show that a hyperbolic 3-manifold… ▽ More We define an extended Bloch group for an arbitrary field F, and show that this group is canonically isomorphic to K_3^ind(F) if F is a number field. This gives an explicit description of K_3^ind(F) in terms of generators and relations. We give a concrete formula for the regulator, and derive concrete symbol expressions generating the torsion. As an application, we show that a hyperbolic 3-manifold with finite volume and invariant trace field k has a fundamental class in K_3^ind(k) tensor Z[1/2]. △ Less

Submitted 12 October, 2010; v1 submitted 21 October, 2009; originally announced October 2009.

Comments: 32 pages, 5 figures

MSC Class: Primary: 11R70; 19F27; 11G55; Secondary: 19D45; 19E99

Journal ref: J. Reine Angew. Math., 704 (2015), 21--54

The volume and Chern-Simons invariant of a representation

Authors: Christian K. Zickert

Abstract: We give an efficient simplicial formula for the volume and Chern-Simons invariant of a boundary-parabolic PSL(2,C)-representation of a tame 3-manifold. If the representation is the geometric representation of a hyperbolic 3-manifold, our formula computes the volume and Chern-Simons invariant directly from an ideal triangulation with no use of additional combinatorial topology. In particular, the… ▽ More We give an efficient simplicial formula for the volume and Chern-Simons invariant of a boundary-parabolic PSL(2,C)-representation of a tame 3-manifold. If the representation is the geometric representation of a hyperbolic 3-manifold, our formula computes the volume and Chern-Simons invariant directly from an ideal triangulation with no use of additional combinatorial topology. In particular, the Chern-Simons invariant is computed just as easily as the volume. △ Less

Submitted 9 October, 2009; v1 submitted 10 October, 2007; originally announced October 2007.

Comments: 32 pages, 10 figures

MSC Class: 57M27; 58J28

Journal ref: Duke Math. J. 150, no. 3 (2009), 489-532