Showing 1–35 of 35 results for author: Furusho, H

Double shuffle Lie algebra and special derivations

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: Racinet's double shuffle Lie algebra $\mathfrak{dmr}_0$ is a Lie subalgebra of the Lie algebra $\mathfrak{tder}$ of tangential derivations of the free Lie algebra with generators $x_0,x_1$, i.e. of derivations such that $x_1\mapsto 0$ and $x_0\mapsto [a,x_0]$ for some element $a$. We prove: (1) $\mathfrak{dmr}_0$ is contained in the Lie subalgebra $\mathfrak{sder}$ of $\mathfrak{tder}$ of special… ▽ More Racinet's double shuffle Lie algebra $\mathfrak{dmr}_0$ is a Lie subalgebra of the Lie algebra $\mathfrak{tder}$ of tangential derivations of the free Lie algebra with generators $x_0,x_1$, i.e. of derivations such that $x_1\mapsto 0$ and $x_0\mapsto [a,x_0]$ for some element $a$. We prove: (1) $\mathfrak{dmr}_0$ is contained in the Lie subalgebra $\mathfrak{sder}$ of $\mathfrak{tder}$ of special derivations, i.e. satisfying the additional condition that $x_\infty\mapsto [b,x_\infty]$ for some element $b$, where $x_\infty:=x_1-x_0$; (2) $\mathfrak{dmr}_0$ is stable under the involution of $\mathfrak{sder}$ induced by the exchange of $x_0$ and $x_\infty$. The first statement: (a) says that any element of $\mathfrak{dmr}_0$ satisfies the "senary relation" (a fact announced without proof by Ecalle in 2011); (b) implies the inclusion $\mathfrak{dmr}_0\subset \mathfrak{krv}_2$ (which was proved by Schneps in 2012 only conditionally to the truth of (1)). △ Less

Submitted 4 May, 2025; originally announced May 2025.

Comments: 137 pages

MSC Class: 17B37 17B70

An alternative $\mathbb{Q}$-form of the cyclotomic double shuffle Lie algebra

Authors: Hidekazu Furusho, Khalef Yaddaden

Abstract: We present an alternative $\mathbb{Q}$-form for Racinet's cyclotomic double shuffle Lie algebra, inspired by the double shuffle relations among congruent multiple zeta values studied by Yuan and Zhao. Our main result establishes an invariance characterization theorem, demonstrating how these two $\mathbb{Q}$-forms can be reconstructed from each other under Galois action. We present an alternative $\mathbb{Q}$-form for Racinet's cyclotomic double shuffle Lie algebra, inspired by the double shuffle relations among congruent multiple zeta values studied by Yuan and Zhao. Our main result establishes an invariance characterization theorem, demonstrating how these two $\mathbb{Q}$-forms can be reconstructed from each other under Galois action. △ Less

Submitted 2 February, 2025; originally announced February 2025.

Comments: 17 pages. Comments are welcome

MSC Class: Primary 11M32; 16T05. Secondary 11F32

Associators in mould theory

Authors: Hidekazu Furusho, Minoru Hirose, Nao Komiyama

Abstract: By developing various techniques of mould theory, we introduce $\mathsf{GARI}(\mathscr{F})_{\mathsf{as}+\mathsf{bal}}$, a mould theoretic formulation of Drinfeld's associator set. We give a mould-theoretical generalization of the result that associator relations imply double shuffle relations, namely, we explain that $\mathsf{GARI}(\mathscr{F})_{\mathsf{as}+\mathsf{bal}}$ is embedded to Ecalle's s… ▽ More By developing various techniques of mould theory, we introduce $\mathsf{GARI}(\mathscr{F})_{\mathsf{as}+\mathsf{bal}}$, a mould theoretic formulation of Drinfeld's associator set. We give a mould-theoretical generalization of the result that associator relations imply double shuffle relations, namely, we explain that $\mathsf{GARI}(\mathscr{F})_{\mathsf{as}+\mathsf{bal}}$ is embedded to Ecalle's set $\mathsf{GARI}(\mathscr{F})_{\mathsf{as}\ast\mathsf{is}}$ which is a mould theoretic version of Racinet's double shuffle set. △ Less

Submitted 24 December, 2023; originally announced December 2023.

Comments: 78 pages

MSC Class: Primary 16T05; Secondary 11M32

Notes on Kashiwara-Vergne and double shuffle Lie algebras

Authors: Hidekazu Furusho, Nao Komiyama

Abstract: We explain the current situation of the relationship between the Kashiwara-Vergne Lie algebra $\mathfrak{krv}$ and the double shuffle Lie algebra $\mathfrak{dmr}$. We also show the validity of Ecalle's senary relation for small depths. We explain the current situation of the relationship between the Kashiwara-Vergne Lie algebra $\mathfrak{krv}$ and the double shuffle Lie algebra $\mathfrak{dmr}$. We also show the validity of Ecalle's senary relation for small depths. △ Less

Submitted 31 October, 2024; v1 submitted 17 November, 2022; originally announced November 2022.

Comments: This paper draws materials in the case of Γ={e} from our previous joint article arXiv:2003.01844

MSC Class: 17B05 (Primary) 11M32; 16S30; 17B40 (Secondary)

$p$-adic hypergeometric function related with $p$-adic multiple polylogarithms

Authors: Hidekazu Furusho

Abstract: This paper introduces a $p$-adic analogue of Gauss's hypergeometric function which is constructed along ideas different from Dwork's. Our construction is based on a relationship between the hypergeometric function and the KZ equation. We perform a residue-wise analytic prolongation of our $p$-adic hypergeometric function by investigating its relationship with $p$-adic multiple polylogarithms. By f… ▽ More This paper introduces a $p$-adic analogue of Gauss's hypergeometric function which is constructed along ideas different from Dwork's. Our construction is based on a relationship between the hypergeometric function and the KZ equation. We perform a residue-wise analytic prolongation of our $p$-adic hypergeometric function by investigating its relationship with $p$-adic multiple polylogarithms. By further exploring its local behavior around the point $1$, we show that a $p$-adic analogue of Gauss hypergeometric theorem holds for the function. △ Less

Submitted 14 November, 2022; originally announced November 2022.

Comments: 17 pages

MSC Class: Primary 11S80; Secondary 12H25; 33C05

The stabilizer bitorsors of the module and algebra harmonic coproducts are equal

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: In earlier work, we constructed a pair of "Betti" and "de Rham" Hopf algebras and a pair of module-coalgebras over this pair, as well as the bitorsors related to both structures (which will be called the "module" and "algebra" stabilizer bitorsors). We showed that Racinet's torsor constructed out of the double shuffle and regularization relations between multiple zeta values is essentially equal t… ▽ More In earlier work, we constructed a pair of "Betti" and "de Rham" Hopf algebras and a pair of module-coalgebras over this pair, as well as the bitorsors related to both structures (which will be called the "module" and "algebra" stabilizer bitorsors). We showed that Racinet's torsor constructed out of the double shuffle and regularization relations between multiple zeta values is essentially equal to the "module" stabilizer bitorsor, and that the latter is contained in the "algebra" stabilizer bitorsor. In this paper, we show the equality of the "algebra" and "module" stabilizer bitorsors. We reduce the proof to showing the equality of the associated "algebra" and "module" graded Lie algebras. The argument for showing this equality involves the relation of the "algebra" Lie algebra with the kernel of a linear map, the expression of this linear map as a composition of three linear maps, the relation of one of them with the "module" Lie algebra and the computation of the kernel of the other one by discrete topology arguments. △ Less

Submitted 2 March, 2022; originally announced March 2022.

Comments: 25 pages

The $\ell$-adic hypergeometric function and associators

Authors: Hidekazu Furusho

Abstract: We introduce an $\ell$-adic analogue of Gauss's hypergeometric function arising from the Galois action on the fundamental torsor of the projective line minus three points. Its definition is motivated by a relation between the KZ-equation and the hypergeometric differential equation in the complex case. We show two basic properties, analogues of Gauss's hypergeometric theorem and of Euler's transfo… ▽ More We introduce an $\ell$-adic analogue of Gauss's hypergeometric function arising from the Galois action on the fundamental torsor of the projective line minus three points. Its definition is motivated by a relation between the KZ-equation and the hypergeometric differential equation in the complex case. We show two basic properties, analogues of Gauss's hypergeometric theorem and of Euler's transformation formula for our $\ell$-adic function. We prove them by detecting a connection of a certain two-by-two matrix specialization of even unitary associators with the associated gamma function, which extends the result of Ohno and Zagier. △ Less

Submitted 2 September, 2022; v1 submitted 9 July, 2021; originally announced July 2021.

Comments: 24 pages

MSC Class: Primary11F80; Secondary 11M32; 33C05

Journal ref: Tunisian J. Math. 5 (2023) 1-29

Analytic continuation of multiple polylogarithms in positive characteristic

Authors: Hidekazu Furusho

Abstract: Our aim of this paper is to propose a method of analytic continuation of Carlitz multiple (star) polylogarithms to the whole space by using Artin-Schreier equation and present a treatment of their branches by introducing the notion of monodromy modules. As applications of this method, we obtain (1) a method of continuation of the logarithms of higher tensor powers of Carlitz module, (2) the orthog… ▽ More Our aim of this paper is to propose a method of analytic continuation of Carlitz multiple (star) polylogarithms to the whole space by using Artin-Schreier equation and present a treatment of their branches by introducing the notion of monodromy modules. As applications of this method, we obtain (1) a method of continuation of the logarithms of higher tensor powers of Carlitz module, (2) the orthogonal property (Chang-Mishiba functional relations), (3) a branch independency of the Eulerian property. △ Less

Submitted 19 February, 2022; v1 submitted 30 October, 2020; originally announced November 2020.

Comments: 23 pages

MSC Class: 11R58; 33E50

Journal ref: Tunisian J. Math. 4 (2022) 559-586

Kashiwara-Vergne and dihedral bigraded Lie algebras in mould theory

Authors: Hidekazu Furusho, Nao Komiyama

Abstract: We introduce the Kashiwara-Vergne bigraded Lie algebra associated with a finite abelian group and give its mould theoretic reformulation. By using the mould theory, we show that it includes Goncharov's dihedral Lie algebra, which generalizes the result of Raphael and Schneps. We introduce the Kashiwara-Vergne bigraded Lie algebra associated with a finite abelian group and give its mould theoretic reformulation. By using the mould theory, we show that it includes Goncharov's dihedral Lie algebra, which generalizes the result of Raphael and Schneps. △ Less

Submitted 19 March, 2022; v1 submitted 3 March, 2020; originally announced March 2020.

Comments: 58 pages

MSC Class: 17B05 (Primary) 11M32; 16S30; 17B40 (Secondary)

The Betti side of the double shuffle theory. III. Bitorsor structures

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: In the two first parts of the series, we constructed stabilizer subtorsors of a `twisted Magnus' torsor, studied their relations with the associator and double shuffle torsors, and explained their `de Rham' nature. In this paper, we make the associated bitorsor structures explicit and explain the `Betti' nature of the corresponding right torsors; we thereby complete one aim of the series. We study… ▽ More In the two first parts of the series, we constructed stabilizer subtorsors of a `twisted Magnus' torsor, studied their relations with the associator and double shuffle torsors, and explained their `de Rham' nature. In this paper, we make the associated bitorsor structures explicit and explain the `Betti' nature of the corresponding right torsors; we thereby complete one aim of the series. We study the discrete and pro-p versions of the `Betti' group of the double shuffle bitorsor. △ Less

Submitted 25 February, 2022; v1 submitted 1 August, 2019; originally announced August 2019.

Comments: 33 pages; redistribution of the material of the series of papers

The pentagon equation and the confluence relations

Authors: Hidekazu Furusho

Abstract: We show an equivalence of Drinfeld's pentagon equation and Hirose-Sato's confluence relations. As a corollary, we obtain a pentagon-free presentation of the Grothendieck-Teichmüller group $GRT_1$ and associators. We show an equivalence of Drinfeld's pentagon equation and Hirose-Sato's confluence relations. As a corollary, we obtain a pentagon-free presentation of the Grothendieck-Teichmüller group $GRT_1$ and associators. △ Less

Submitted 18 February, 2022; v1 submitted 3 September, 2018; originally announced September 2018.

Comments: 17 pages

MSC Class: 11M32

The Betti side of the double shuffle theory. II. Double shuffle relations for associators

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: We derive from the compatibility of associators with the module harmonic coproduct, obtained in Part I of the series, the inclusion of the torsor of associators into that of double shuffle relations, which completes one of the aims of this series. We define two stabilizer torsors using the module and algebra harmonic coproducts from Part I. We show that the double shuffle torsor can be described u… ▽ More We derive from the compatibility of associators with the module harmonic coproduct, obtained in Part I of the series, the inclusion of the torsor of associators into that of double shuffle relations, which completes one of the aims of this series. We define two stabilizer torsors using the module and algebra harmonic coproducts from Part I. We show that the double shuffle torsor can be described using the module stabilizer torsor, and that the latter torsor is contained in the algebra stabilizer torsor. △ Less

Submitted 25 February, 2022; v1 submitted 20 July, 2018; originally announced July 2018.

Comments: 25 pages; redistribution of the material of the series of papers

$p$-adic multiple $L$-functions and cyclotomic multiple harmonic values

Authors: Hidekazu Furusho, David Jarossay

Abstract: We show that the special values at tuples of positive integers of the $p$-adic multiple $L$-function introduced by the first-named author et al. can be expressed in terms of the cyclotomic multiple harmonic values introduced by the second-named author. We show that the special values at tuples of positive integers of the $p$-adic multiple $L$-function introduced by the first-named author et al. can be expressed in terms of the cyclotomic multiple harmonic values introduced by the second-named author. △ Less

Submitted 15 July, 2019; v1 submitted 25 June, 2018; originally announced June 2018.

Comments: 10 pages, to appear in Int. J. Number Theory

Journal ref: Int. J. Number Theory, Vol. 16, 2 (2020), 361-375

The Betti side of the double shuffle theory. I. The harmonic coproducts

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: This paper is the first in a series which aims at: (a) giving a proof that the associator relations between multizeta values imply the double shuffle and regularization (DSR) ones, alternative to that of the second-named author's 2010 paper; (b) enhancing Racinet's construction of a torsor structure over the Q-scheme of DSR relations to an explicit bitorsor structure. In this paper, we revisit Rac… ▽ More This paper is the first in a series which aims at: (a) giving a proof that the associator relations between multizeta values imply the double shuffle and regularization (DSR) ones, alternative to that of the second-named author's 2010 paper; (b) enhancing Racinet's construction of a torsor structure over the Q-scheme of DSR relations to an explicit bitorsor structure. In this paper, we revisit Racinet's original DSR formalism, whose main character is an algebra coproduct, called the harmonic coproduct, and we introduce a variant which is a module coproduct; we explain the `de Rham' nature of this formalism and construct a `Betti' counterpart of it; we show how both formalisms can be interpreted in terms of geometry, following the ideas of Deligne and Terasoma's unfinished 2005 preprint; we use Bar-Natan's interpretation of associators as functors from the category of parenthesized braids to that of chord diagrams to show that any associator relates the Betti and de Rham geometric objects, both in the `algebraic' and in the `module' setups; we derive that any associator relates the Betti and de Rham algebra coproducts, as well as their module counterparts. These results will be used in the next parts of the series. △ Less

Submitted 24 March, 2021; v1 submitted 27 March, 2018; originally announced March 2018.

Comments: 91 pages; redistribution of the material of the series of papers

On the coefficients of the Alekseev Torossian associator

Authors: Hidekazu Furusho

Abstract: This paper explains a method to calculate the coefficients of the Alekseev-Torossian associator as linear combinations of iterated integrals of Kontsevich weight forms of Lie graphs. This paper explains a method to calculate the coefficients of the Alekseev-Torossian associator as linear combinations of iterated integrals of Kontsevich weight forms of Lie graphs. △ Less

Submitted 23 March, 2018; v1 submitted 10 August, 2017; originally announced August 2017.

Comments: 13 pages, to appear in Journal of Algebra

A stabilizer interpretation of double shuffle Lie algebras

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: According to Racinet's work, the scheme of double shuffle and regularization relations between cyclotomic analogues of multiple zeta values has the structure of a torsor over a pro-unipotent $\mathbb Q$-algebraic group $\sf{DMR}_0$, which is an algebraic subgroup of a pro-unipotent $\mathbb Q$-algebraic group of outer automorphisms of a free Lie algebra. We show that the harmonic (stuffle) coprodu… ▽ More According to Racinet's work, the scheme of double shuffle and regularization relations between cyclotomic analogues of multiple zeta values has the structure of a torsor over a pro-unipotent $\mathbb Q$-algebraic group $\sf{DMR}_0$, which is an algebraic subgroup of a pro-unipotent $\mathbb Q$-algebraic group of outer automorphisms of a free Lie algebra. We show that the harmonic (stuffle) coproduct of double shuffle theory may be viewed as an element of a module over the above group, and that $\sf{DMR}_0$ identifies with the stabilizer of this element. We identify the tangent space at origin of $\sf{DMR}_0$ with the stabilizer Lie algebra of the harmonic coproduct, thereby obtaining an alternative proof of Racinet's result stating that this space is a Lie algebra (the double shuffle Lie algebra). △ Less

Submitted 24 November, 2017; v1 submitted 10 May, 2016; originally announced May 2016.

Comments: 28 pages, to appear in IMRN

Fundamentals of p-adic multiple L-functions and evaluation of their special values

Authors: Hidekazu Furusho, Yasushi Komori, Kohji Matsumoto, Hirofumi Tsumura

Abstract: We construct $p$-adic multiple $L$-functions in several variables, which are generalizations of the classical Kubota-Leopoldt $p$-adic $L$-functions, by using a specific $p$-adic measure. Our construction is from the $p$-adic analytic side of view, and we establish various fundamental properties of these functions. We construct $p$-adic multiple $L$-functions in several variables, which are generalizations of the classical Kubota-Leopoldt $p$-adic $L$-functions, by using a specific $p$-adic measure. Our construction is from the $p$-adic analytic side of view, and we establish various fundamental properties of these functions. △ Less

Submitted 23 September, 2015; v1 submitted 28 August, 2015; originally announced August 2015.

Comments: This paper is the p-adic part of our original article arXiv:math/1309.3982 which was divided into the complex part and the p-adic part

MSC Class: Primary 11S40; 11G55; Secondary 11M32; 11S80

Desingularization of complex multiple zeta-functions

Authors: Hidekazu Furusho, Yasushi Komori, Kohji Matsumoto, Hirofumi Tsumura

Abstract: We introduce the method of desingularization of multi-variable multiple zeta-functions (of the generalized Euler-Zagier type), under the motivation of finding suitable rigorous meaning of the values of multiple zeta-functions at non-positive integer points. We reveal that multiple zeta-functions (which are known to be meromorphic in the whole space with infinitely many singular hyperplanes) turn t… ▽ More We introduce the method of desingularization of multi-variable multiple zeta-functions (of the generalized Euler-Zagier type), under the motivation of finding suitable rigorous meaning of the values of multiple zeta-functions at non-positive integer points. We reveal that multiple zeta-functions (which are known to be meromorphic in the whole space with infinitely many singular hyperplanes) turn to be entire on the whole space after taking the desingularization. The desingularized function is given by a suitable finite `linear' combination of multiple zeta-functions with some arguments shifted. It is shown that specific combinations of Bernoulli numbers attain the special values at their non-positive integers of the desingularized ones. We also discuss twisted multiple zeta-functions, which can be continued to entire functions, and their special values at non-positive integer points can be explicitly calculated. △ Less

Submitted 28 August, 2015; v1 submitted 27 August, 2015; originally announced August 2015.

Comments: This paper is the complex part of our original article arXiv:math/1309.3982 which was divided into the complex part and the p-adic part

MSC Class: Primary 11M32; Secondary 11M41

On relations among multiple zeta values obtained in knot theory

Authors: Hidekazu Furusho

Abstract: This paper focuses linear and algebraic relations among multiple zeta values which were obtained in knot theory. It is shown that they can be derived from the associator relations, i.e. the pentagon equation and the shuffle relation. This paper focuses linear and algebraic relations among multiple zeta values which were obtained in knot theory. It is shown that they can be derived from the associator relations, i.e. the pentagon equation and the shuffle relation. △ Less

Submitted 2 May, 2020; v1 submitted 26 January, 2015; originally announced January 2015.

Galois action on knots II: Proalgebraic string links and knots

Authors: Hidekazu Furusho

Abstract: We discuss an action of the Grothendieck-Teichmüller proalgebraic group on the linear span of proalgebraic tangles, oriented tangles completed by a filtration of Vassiliev. The action yields a motivic structure on tangles. We derive distinguished properties of the action particularly on proalgebraic string links and on proalgebraic knots which can not be observed in the action on proalgebraic brai… ▽ More We discuss an action of the Grothendieck-Teichmüller proalgebraic group on the linear span of proalgebraic tangles, oriented tangles completed by a filtration of Vassiliev. The action yields a motivic structure on tangles. We derive distinguished properties of the action particularly on proalgebraic string links and on proalgebraic knots which can not be observed in the action on proalgebraic braids. By exploiting the properties, we explicitly calculate the inverse image of the trivial (the chordless) chord diagram under the Kontsevich isomorphism. △ Less

Submitted 21 August, 2017; v1 submitted 18 May, 2014; originally announced May 2014.

Comments: 41 pages, 15 Tikz-figures

Desingularization of multiple zeta-functions of generalized Hurwitz-Lerch type and evaluation of p-adic multiple L-functions at arbitrary integers

Authors: Hidekazu Furusho, Yasushi Komori, Kohji Matsumoto, Hirofumi Tsumura

Abstract: We study analytic properties of multiple zeta-functions of generalized Hurwitz-Lerch type. First, as a special type of them, we consider multiple zeta-functions of generalized Euler-Zagier-Lerch type and investigate their analytic properties which were already announced in our previous paper. Next we give `desingularization' of multiple zeta-functions of generalized Hurwitz-Lerch type, which inclu… ▽ More We study analytic properties of multiple zeta-functions of generalized Hurwitz-Lerch type. First, as a special type of them, we consider multiple zeta-functions of generalized Euler-Zagier-Lerch type and investigate their analytic properties which were already announced in our previous paper. Next we give `desingularization' of multiple zeta-functions of generalized Hurwitz-Lerch type, which include those of generalized Euler-Zagier-Lerch type, the Mordell-Tornheim type, and so on. As a result, the desingularized multiple zeta-function turns out to be an entire function and can be expressed as a finite sum of ordinary multiple zeta-functions of the same type. As applications, we explicitly compute special values of desingularized double zeta-functions of Euler-Zagier type. We also extend our previous results concerning a relationship between $p$-adic multiple $L$-functions and $p$-adic multiple star polylogarithms to more general indices with arbitrary (not necessarily all positive) integers. △ Less

Submitted 23 October, 2015; v1 submitted 18 April, 2014; originally announced April 2014.

Comments: 36 pages

MSC Class: 11M32; 11S40; 11G55

Desingularization of complex multiple zeta-functions, fundamentals of $p$-adic multiple $L$-functions, and evaluation of their special values

Authors: Hidekazu Furusho, Yasushi Komori, Kohji Matsumoto, Hirofumi Tsumura

Abstract: This paper deals with a multiple version of zeta- and L-functions both in the complex case and in the p-adic case: [I] Our motivation in the complex case is to find suitable rigorous meaning of the values of multivariable multiple zeta-functions (MZFs) at non-positive integer points. (a) We reveal that MZFs turn to be entire on the whole space after taking the desingularization. Further we show th… ▽ More This paper deals with a multiple version of zeta- and L-functions both in the complex case and in the p-adic case: [I] Our motivation in the complex case is to find suitable rigorous meaning of the values of multivariable multiple zeta-functions (MZFs) at non-positive integer points. (a) We reveal that MZFs turn to be entire on the whole space after taking the desingularization. Further we show that the desingularized function is given by a suitable finite linear combination of MZFs with some arguments shifted. It is also shown that specific combinations of Bernoulli numbers attain the special values at their non-positive integers of the desingularized ones. (b) Twisted MZFs can be continued to entire functions and their special values at non-positive integer points can be explicitly calculated. [II] Our work in the p-adic case is to develop the study on analytic side of the Kubota-Leopoldt p-adic L-functions (pLFs) into the multiple setting. We construct p-adic multiple L-functions (pMLFs), multivariable versions of their pLFs, by using a specific p-adic measure. We establish their various fundamental properties: (a) We establish their intimate connection with the above complex MZFs by showing that the special values of pMLFs at non-positive integers are expressed by the twisted multiple Bernoulli numbers, the special values of the complex MZFs at non-positive integers. (b) We extend Kummer congruence for Bernoulli numbers to congruences for the twisted multiple Bernoulli numbers. (c) We extend the vanishing property of the Kubota-Leopoldt pLFs with odd characters to our pMLFs. (d) We establish their close relationship with the p-adic twisted multiple polylogarithms (pTMPLs) by showing that the special values of pMLFs at positive integers are described by those of pTMPLs at roots of unity, which generalizes the previous result of Coleman in the single variable case. △ Less

Submitted 30 August, 2015; v1 submitted 16 September, 2013; originally announced September 2013.

Comments: This article was divided into the complex part arXiv:1508.06920 and the p-adic part arXiv:1508.07185

MSC Class: Primary 11M32; 11S40; 11G55; Secondary 11M41; 11S80

Galois action on knots I: Action of the absolute Galois group

Authors: Hidekazu Furusho

Abstract: Our aim of this and subsequent papers is to enlighten (a part of, presumably) arithmetic structures of knots. This paper introduces a notion of profinite knots which extends topological knots and shows its various basic properties. Particularly an action of the absolute Galois group of the rational number field on profinite knots is rigorously established, which is attained by our extending the ac… ▽ More Our aim of this and subsequent papers is to enlighten (a part of, presumably) arithmetic structures of knots. This paper introduces a notion of profinite knots which extends topological knots and shows its various basic properties. Particularly an action of the absolute Galois group of the rational number field on profinite knots is rigorously established, which is attained by our extending the action of Drinfeld's Grothendieck-Teichmüller group on profinite braid groups into on profinite knots. △ Less

Submitted 1 July, 2015; v1 submitted 23 November, 2012; originally announced November 2012.

Comments: 48 pages, 38 Tikz-figures, to appear in "Quantum Topology"

Four groups related to associators

Authors: Hidekazu Furusho

Abstract: This is a report on associators which is based on my talk at the Mathematische Arbeitstagung in Bonn, June 2011. I first recall Drinfeld's definition of associators and explain my (and its related) results in arXiv:math/0702128 and arXiv:0808.0319. Then I explain recent developments on the four pro-unipotent algebraic groups related to associators; the motivic Galois group, the Grothendieck-Teichm… ▽ More This is a report on associators which is based on my talk at the Mathematische Arbeitstagung in Bonn, June 2011. I first recall Drinfeld's definition of associators and explain my (and its related) results in arXiv:math/0702128 and arXiv:0808.0319. Then I explain recent developments on the four pro-unipotent algebraic groups related to associators; the motivic Galois group, the Grothendieck-Teichmuller group, the double shuffle group and the Kashiwara-Vergne group. △ Less

Submitted 17 August, 2011; originally announced August 2011.

Comments: This is a report on my talk at the Mathematische Arbeitstagung in Bonn, June 2011

Mixed Pentagon, octagon and Broadhurst duality equation

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: This paper is on elimination of defining equations of the cyclotomic analogues, introduced by the first author, of Drinfeld's scheme of associators. We show that the mixed pentagon equation implies the octagon equation for N=2 and the particular distribution relation. We also explain that Broadhurst duality is compatible with the torsor structure. We develop a formalism of infinitesimal module cat… ▽ More This paper is on elimination of defining equations of the cyclotomic analogues, introduced by the first author, of Drinfeld's scheme of associators. We show that the mixed pentagon equation implies the octagon equation for N=2 and the particular distribution relation. We also explain that Broadhurst duality is compatible with the torsor structure. We develop a formalism of infinitesimal module categories and use it for deriving a proof left implicit in the first named author's earlier work. △ Less

Submitted 5 September, 2011; v1 submitted 6 March, 2011; originally announced March 2011.

Comments: 20 pages, 1 figure

Geometric interpretation of double shuffle relation for multiple L-values

Authors: Hidekazu Furusho

Abstract: This paper gives a geometric interpretation of the generalized (including the regularization relation) double shuffle relation for multiple $L$-values. Precisely it is proved that Enriquez' mixed pentagon equation implies the relations. As a corollary, an embedding from his cyclotomic analogue of the Grothendieck-Teichmuller group into Racinet's cyclotomic double shuffle group is obtained. It cycl… ▽ More This paper gives a geometric interpretation of the generalized (including the regularization relation) double shuffle relation for multiple $L$-values. Precisely it is proved that Enriquez' mixed pentagon equation implies the relations. As a corollary, an embedding from his cyclotomic analogue of the Grothendieck-Teichmuller group into Racinet's cyclotomic double shuffle group is obtained. It cyclotomically extends the result of our previous paper and the project of Deligne and Terasoma which are the special case N=1 of our result. △ Less

Submitted 29 September, 2012; v1 submitted 22 December, 2010; originally announced December 2010.

Comments: 19 pages, to appear in "Galois-Teichmuller theory and Arithmetic Geometry" (H.Nakamura, F.Pop, L.Schneps, A.Tamagawa eds.) Advanced Studies in Pure Mathematcs Vol.63

Double shuffle relation for associators

Authors: Hidekazu Furusho

Abstract: It is proved that Drinfel'd's pentagon equation implies the generalized double shuffle relation. As a corollary, an embedding from the Grothendieck-Teichmüller group $GRT_1$ into Racinet's double shuffle group $DMR_0$ is obtained, which settles the project of Deligne-Terasoma. It is also proved that the gamma factorization formula follows from the generalized double shuffle relation. It is proved that Drinfel'd's pentagon equation implies the generalized double shuffle relation. As a corollary, an embedding from the Grothendieck-Teichmüller group $GRT_1$ into Racinet's double shuffle group $DMR_0$ is obtained, which settles the project of Deligne-Terasoma. It is also proved that the gamma factorization formula follows from the generalized double shuffle relation. △ Less

Submitted 19 December, 2010; v1 submitted 3 August, 2008; originally announced August 2008.

Comments: 16 pages

Journal ref: Annals of Mathematics, Vol. 174 (2011), No. 1, 341-360

$p$-adic Eisenstein-Kronecker series for CM elliptic curves and the Kronecker limit formulas

Authors: Kenichi Bannai, Hidekazu Furusho, Shinichi Kobayashi

Abstract: Consider an elliptic curve defined over an imaginary quadratic field $K$ with good reduction at the primes above $p\geq 5$ and has complex multiplication by the full ring of integers $\mathcal{O}_K$ of $K$. In this paper, we construct $p$-adic analogues of the Eisenstein-Kronecker series for such elliptic curve as Coleman functions on the elliptic curve. We then prove $p$-adic analogues of the fir… ▽ More Consider an elliptic curve defined over an imaginary quadratic field $K$ with good reduction at the primes above $p\geq 5$ and has complex multiplication by the full ring of integers $\mathcal{O}_K$ of $K$. In this paper, we construct $p$-adic analogues of the Eisenstein-Kronecker series for such elliptic curve as Coleman functions on the elliptic curve. We then prove $p$-adic analogues of the first and second Kronecker limit formulas by using the distribution relation of the Kronecker theta function. △ Less

Submitted 17 June, 2014; v1 submitted 25 July, 2008; originally announced July 2008.

Comments: v2. The current version is the synthesis of §1-§3 of the first version of this article with the content of arXiv:0807.4008 "The Kronecker limit formulas via the distribution relation." §4,§5 of the first version of this paper will be treated in a subsequent article

MSC Class: 11G55; 11G07; 11G15; 14F30; 14G10

Journal ref: Nagoya Math. J. 219 (2015), 269--302

Pentagon and hexagon equations

Authors: Hidekazu Furusho

Abstract: The author will prove that Drinfel'd's pentagon equation implies his two hexagon equations in the Lie algebra, pro-unipotent, pro-$l$ and pro-nilpotent contexts. The author will prove that Drinfel'd's pentagon equation implies his two hexagon equations in the Lie algebra, pro-unipotent, pro-$l$ and pro-nilpotent contexts. △ Less

Submitted 6 October, 2007; v1 submitted 5 February, 2007; originally announced February 2007.

Comments: 10 pages

Journal ref: Annals of Mathematics, Vol. 171 (2010), No. 1, 545-556

Regularization and generalized double shuffle relations for p-adic multiple zeta values

Authors: Hidekazu Furusho, Amir Jafari

Abstract: We will introduce a regularization for $p$-adic multiple zeta values and show that the generalized double shuffle relations hold. This settles a question raised by Deligne, given as a project in Arizona winter school 2002. Our approach is to use the theory of Coleman functions on the moduli space of genus zero curves with marked points and its compactification. The main ingredients are the analy… ▽ More We will introduce a regularization for $p$-adic multiple zeta values and show that the generalized double shuffle relations hold. This settles a question raised by Deligne, given as a project in Arizona winter school 2002. Our approach is to use the theory of Coleman functions on the moduli space of genus zero curves with marked points and its compactification. The main ingredients are the analytic continuation of Coleman functions to the normal bundle of divisors at infinity and definition of a special tangential base point on the moduli space. △ Less

Submitted 21 November, 2005; v1 submitted 31 October, 2005; originally announced October 2005.

Algebraic cycles and motivic generic iterated integrals

Authors: Hidekazu Furusho, Amir Jafari

Abstract: Following the work of Gangl, Goncharov and Levin in [GGL], we will give a combinatorial framework for motivic study of iterated integrals on the affine line. We will show that under a certain genericity condition these combinatorial objects yield to elements in the motivic Hopf algebra constructed in Bloch-Kriz [BK]. It will be shown that the Hodge realization of these elements coincides with th… ▽ More Following the work of Gangl, Goncharov and Levin in [GGL], we will give a combinatorial framework for motivic study of iterated integrals on the affine line. We will show that under a certain genericity condition these combinatorial objects yield to elements in the motivic Hopf algebra constructed in Bloch-Kriz [BK]. It will be shown that the Hodge realization of these elements coincides with the Hodge structure induced from the fundamental torsor of path of punctured affine line. △ Less

Submitted 18 June, 2005; originally announced June 2005.

p-adic multiple zeta values II -- tannakian interpretations

Authors: Hidekazu Furusho

Abstract: We establish a tannakian formalism of $p$-adic multiple polylogarithms and $p$-adic multiple zeta values introduced in our previous paper via a comparison isomorphism between a de Rham fundamental torsor and a rigid fundamental torsor of the projective line minus three points and also discuss its Hodge and etale analogues. As an application we give a way to erase log poles of $p$-adic multiple p… ▽ More We establish a tannakian formalism of $p$-adic multiple polylogarithms and $p$-adic multiple zeta values introduced in our previous paper via a comparison isomorphism between a de Rham fundamental torsor and a rigid fundamental torsor of the projective line minus three points and also discuss its Hodge and etale analogues. As an application we give a way to erase log poles of $p$-adic multiple polylogarithms and introduce overconvergent $p$-adic multiple polylogarithms which might be $p$-adic multiple analogue of Zagier's single-valued complex polylogarithms. △ Less

Submitted 22 September, 2006; v1 submitted 7 June, 2005; originally announced June 2005.

Comments: 34 pages

The double shuffle relations for p-adic multiple zeta values

Authors: Amnon Besser, Hidekazu Furusho

Abstract: We give a proof of double shuffle relations for $p$-adic multiple zeta values by developing higher dimensional version of tangential base points and discussing a relationship with two (and one) variable $p$-adic multiple polylogarithms. We give a proof of double shuffle relations for $p$-adic multiple zeta values by developing higher dimensional version of tangential base points and discussing a relationship with two (and one) variable $p$-adic multiple polylogarithms. △ Less

Submitted 17 March, 2006; v1 submitted 13 October, 2003; originally announced October 2003.

Comments: 27 pages

MSC Class: 11G55; 11S80

p-adic multiple zeta values I -- p-adic multiple polylogarithms and the p-adic KZ equation

Authors: Hidekazu Furusho

Abstract: Our main aim in this paper is to give a foundation of the theory of $p$-adic multiple zeta values. We introduce (one variable) $p$-adic multiple polylogarithms by Coleman's $p$-adic iterated integration theory. We define $p$-adic multiple zeta values to be special values of $p$-adic multiple polylogarithms. We consider the (formal) $p$-adic KZ equation and introduce the $p$-adic Drinfel'd associ… ▽ More Our main aim in this paper is to give a foundation of the theory of $p$-adic multiple zeta values. We introduce (one variable) $p$-adic multiple polylogarithms by Coleman's $p$-adic iterated integration theory. We define $p$-adic multiple zeta values to be special values of $p$-adic multiple polylogarithms. We consider the (formal) $p$-adic KZ equation and introduce the $p$-adic Drinfel'd associator by using certain two fundamental solutions of the $p$-adic KZ equation. We show that our $p$-adic multiple polylogarithms appear as coefficients of a certain fundamental solution of the $p$-adic KZ equation and our $p$-adic multiple zeta values appear as coefficients of the $p$-adic Drinfel'd associator. We show various properties of $p$-adic multiple zeta values, which are sometimes analogous to the complex case and are sometimes peculiar to the $p$-adic case, via the $p$-adic KZ equation. △ Less

Submitted 28 September, 2003; v1 submitted 6 April, 2003; originally announced April 2003.

Comments: 28 pages

MSC Class: 11S80; 33B30

The multiple zeta value algebra and the stable derivation algebra

Authors: Hidekazu Furusho

Abstract: The MZV algebra is the graded algebra over ${\bold Q}$ generated by all multiple zeta values. The stable derivation algebra is a graded Lie algebra version of the Grothendieck-Teichmüller group. We shall show that there is a canonical surjective $\bold Q $-linear map from the graded dual vector space of the stable derivation algebra over $\bold Q$ to the new-zeta space, the quotient space of the… ▽ More The MZV algebra is the graded algebra over ${\bold Q}$ generated by all multiple zeta values. The stable derivation algebra is a graded Lie algebra version of the Grothendieck-Teichmüller group. We shall show that there is a canonical surjective $\bold Q $-linear map from the graded dual vector space of the stable derivation algebra over $\bold Q$ to the new-zeta space, the quotient space of the sub-vector space of the MZV algebra whose grade is greater than 2 by the square of the maximal ideal. As a corollary, we get an upper-bound for the dimension of the graded piece of the MZV algebra at each weight in terms of the corresponding dimension of the graded piece of the stable derivation algebra. If some standard conjectures by Y. Ihara and P. Deligne concerning the structure of the stable derivation algebra hold, this will become a bound conjectured in Zagier's talk at 1st European Congress of Mathematics. Via the stable derivation algebra, we can compare the new-zeta space with the $l$-adic Galois image Lie algebra which is associated with so the Galois representation on the pro-$l$ fundamental group of $\bold P ^1_ {\bar{\bold Q}}-{0,1,\infty}$ . △ Less

Submitted 13 February, 2003; v1 submitted 30 November, 2000; originally announced November 2000.

Comments: 20 pages, to be appeared in Publ. Res. Inst. Math. Sci

MSC Class: 11M41