## THE BETTI SIDE OF THE DOUBLE SHUFFLE THEORY. III. BITORSOR STRUCTURES

## BENJAMIN ENRIQUEZ AND 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 the discrete and prop versions of the 'Betti' group of the double shuffle bitorsor.

## Contents

| Introduction   | Introduction                                                   |   2 |
|----------------|----------------------------------------------------------------|-----|
| 1.             | Torsors and bitorsors                                          |   3 |
| 1.1.           | Bitorsors                                                      |   3 |
| 1.2.           | From torsors to bitorsors                                      |   6 |
| 1.3.           | Some torsors and their interrelations                          |   6 |
| 2.             | The bitorsor G DR , B ( k ) and its actions                    |   6 |
| 2.1.           | The group ( G B ( k ) , /circleasterisk )                      |   7 |
| 2.2.           | Actions of the group ( G B ( k ) , /circleasterisk )           |   8 |
| 2.3.           | A bitorsor structure on G DR , B ( k )                         |   9 |
| 2.4.           | Actions of the bitorsor G DR , B ( k )                         |  10 |
| 3.             | Subbitorsors of G DR , B ( k )                                 |  11 |
| 3.1.           | G DR , B quad ( k ) as a subbitorsor of G DR , B ( k )         |  11 |
| 3.2.           | Stab (∆ ˆ W , DR / B )( k ) as a subbitorsor of G DR , B ( k ) |  12 |
| 3.3.           | Stab (∆ ˆ M , DR / B )( k ) as a subbitorsor of G DR , B ( k ) |  13 |
| 3.4.           | DMR DR , B ( k ) as a subbitorsor of G DR , B ( k )            |  14 |
| 3.5.           | DMR µ ( k ) as a subbitorsor of G DR , B ( k )                 |  14 |
| 3.6.           | M ( k ) as a subbitorsor of G DR , B ( k )                     |  15 |
| 3.7.           | Groups corresponding to some torsors and their interrelations  |  15 |
| 3.8.           | Scheme-theoretic and Lie algebraic aspects                     |  15 |
| 3.9.           | Relation with Hopf algebra and coalgebra isomorphism bitorsors |  17 |
| 4.             | Equivalent definitions of DMR B ( k ) and its Lie algebra      |  19 |
| 4.1.           | Equivalent definition of DMR B ( k )                           |  19 |
| 4.2.           | Equivalent definition of dmr B                                 |  21 |
| 5.             | A discrete group DMR B                                         |  22 |
| 5.1.           | Definition of DMR B                                            |  22 |
| 5.2.           | Computation of DMR B                                           |  22 |
| 6.             | Pro- p aspects                                                 |  26 |
| 6.1.           | Pro- p and prounipotent completions of discrete groups         |  26 |
| 6.2.           | Results on GT p                                                |  30 |
| 6.3.           | A pro- p analogue DMR B p of the group scheme DMR B ( - )      |  31 |
| References     | References                                                     |  32 |

## Introduction

This paper is a sequel of [EF1, EF2]. The main result of this series of papers is the proof, independent of [F], of the inclusion of the torsor of associators M ( k ) over a commutative Q -algebra k into the torsor DMR DR B , ( k ) of solutions of the double shuffle equations over the same algebra. This is obtained by constructing in [EF1] pairs of algebra coproducts ∆ ˆ W , ? and of module coproducts ∆ ˆ M , ? , ? ∈ { B DR , by studying their relation with associators, and by , } studying in [EF2] the relations of M ( k ) and DMR DR B , ( k ) with the torsors of isomorphisms Stab ( ˆ ∆ W , DR B / )( k ) and Stab ( ˆ ∆ M , DR B / )( k ) related to these coproducts.

It is well-known that the category of torsors (i.e. pairs ( G,X ), where G is a group and X is a set with a free and transitive action of G ) is equivalent to that of bitorsors (i.e. triples ( G,X,H ) where ( G,X ) is a torsor and H is a group with a right action on X , free, transitive and commuting with the action of G ). An example of a bitorsor is the set of associators M ( k ), where G (resp. H ) is the Grothendieck-Teichm¨ller group u GT ( k ) (resp. GRT ( k )). Related examples of torsors are the 'double shuffle' pairs ( DMR DR ( k ) , DMR DR B , ( k )) and ( DMR 0 ( k ) , DMR µ ( k )), with µ ∈ k × (see [R, EF2]).

The primary purpose of this paper is an explicit construction of the corresponding bitorsor structures. This is obtained in Theorem 3.14, (a), together with the analogous explicit constructions for the stabilizer torsors Stab ( ˆ ∆ W , DR B / )( k ) and Stab ( ˆ ∆ M , DR B / )( k ). In particular, the double shuffle counterpart DMR B ( k ) of the group GT ( k ) is obtained in terms of a stabilizer of the coproduct ∆ ˆ M , B (Lemma-Definition 3.10).

↦

↦

The other results of the paper are concerned with the study of the group DMR B ( k ). We study its relation with the group GT ( k ) (Theorem 3.14, (b)). We give an equivalent definition of DMR B ( k ) in terms of group-like elements for the coproduct ∆ ˆ M , B ( § 4). Analogously to what is done in [D] for the group scheme k → GT ( k ), we construct and study discrete and prop versions of the group scheme k → DMR B ( k ) ( §§ 5, 6).

The identification of the bitorsor structure of the torsor DMR DR B , ( k ), obtained in Theorem 3.14, (a), is based on its relation with a stabilizer torsor (see [EF2], § 3.1) and with the identification of the bitorsor of a stabilizer torsor (Lemma 1.10). The computation of the discrete analogue DMR B of DMR B ( k ) ( § 5.2) is based on the study of the discrete version ∆ M , B of the coproduct ∆ ˆ M , B . In order to establish the main properties of its prop version DMR B p ( § 6.3), we recall some basics on prop groups ( 6.1), and prove statements of [D] on the pro-§ p analogue GT p of GT ( k ) ( § 6.2).

The material is distributed as follows: § 1 is devoted to basic material on torsors and bitorsors, § 2 is devoted to the construction of an explicit bitorsor G DR B , ( k ) related to the twisted Magnus group, § 3 is devoted to the construction of several subbitorsors of G DR B , ( k ) and to the first main result (Theorem 3.14), namely the construction of a bitorsor structure on DMR DR B , ( k ) and of the group DMR B ( k ), § 4 is devoted to an equivalent definition of this group, § 5 is devoted

to the definition and computation of a discrete analogue of DMR B ( k ), and § 6 is devoted to the construction of its prop analogue.

↦

Notation. In all the paper, k is a commutative and associative Q -algebra with unit. For A an algebra, we denote by A × the group of its invertible elements. For a ∈ A (resp. u ∈ A × ), we denote by /lscript a (resp. Ad ) the self-map of u A given by x → ax (resp. x → uxu -1 ).

↦

Acknowledgements. The collaboration of both authors has been supported by grant JSPS KAKENHI JP15KK0159 and JP18H01110.

## 1. Torsors and bitorsors

In § 1.1, we recall the formalism of torsors. We introduce the category of bitorsors in § 1.2 and recall its equivalence with the category of torsors. In § 1.3, we recall the main torsors of [EF2] and their interrelations.

- 1.1. Bitorsors. Recall from [EF2] the definitions of a (left) torsor, of a morphism between two torsors, of a subtorsor of a torsor (Definition 2.1), of the preimage of a subtorsor by a torsor morphism (Lemma 2.2), of the intersection of two subtorsors of a torsor (Lemma 2.3), of the trivial torsor G G attached to a group G (Lemma 2.4), of the torsor injection inj a : H H → G G attached to a group inclusion H ⊂ G and an element a ∈ G (Lemma 2.5), of a stabilizer subtorsor (Lemma 2.6).

Definition 1.1. (see [G], Chap. III, Definition 1.5.3) (a) A bitorsor G X H is a triple ( G,X,H ), where X is a set and G and H are groups, equipped with commuting left and right actions of G and H on X , which are both free and transitive.

- (b) If G X H and G ′ X ′ H ′ are bitorsors, a bitorsor morphism G X H → G ′ X ′ H ′ is the data of a map X → X ′ and of compatible group morphisms G → G ′ and H → H ′ .
- (c) A subbitorsor of the bitorsor G ′ X ′ H ′ is the data of a subset X of X ′ and of subgroups G,H of G , H ′ ′ , such that the inclusions build up a torsor morphism G X H → G ′ X ′ H ′ , which is then a bitorsor inclusion .

We will use the expressions 'the torsor X ' (resp. 'the bitorsor X ') to designate a torsor G X (resp. a bitorsor G X H ).

Lemma 1.2. Let G X H → G ′ X ′ H ′ ← G ′′ X ′′ H ′′ be a diagram of a bitorsors. Let G ′′′ (resp. X ′′′ , H ′′′ ) be the fibered product of G (resp. X H , ) and G ′′ (resp. X ′′ , H ′′ ) above G ′ (resp. X ′ , H ′ ). Then either X ′′′ is empty, or G ′′′ X ′′′ H ′′′ is a bitorsor, called the fibered product of G X H and

G ′′ X ′′ H ′′ above G ′ X ′ H ′ , denoted X ′ × X X ′′ and fitting in a commutative diagram of bitorsors

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00444v5-figure-8a1c18e3-1ef4-42ef-9bd7-2739fc5121bc.jpg)

/d15

/d15

/d15

/d47

/d47

If G ′′ X ′′ H ′′ is a subbitorsor of G ′ X ′ H ′ and X ′′′ is nonempty, then G ′′′ X ′′′ H ′′′ is a subbitorsor of of G X H , called the preimage of G ′′ X ′′ H ′′ by the torsor morphism G X H → G ′ X ′ H ′ .

Proof.

$$P r o o f. \text{ Obvious}.$$

## Definition 1.3. We call a commutative square

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00444v5-figure-eeb0d25d-98eb-4e6b-94c9-ccc4d40eef4c.jpg)

/d15

/d15

/d15

/d47

/d47

of bitorsors Cartesian iff there is an isomorphism to bitorsors A → B × D C such that the diagram

/d47

/d47

/d79

/d79

/d15

/d15

/d111

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00444v5-figure-632df554-9e81-48d9-82ba-8011b184e341.jpg)

D

/d111

commutes.

Lemma 1.4. Let G X H be a bitorsor and let G ′ X ′ H ′ and G ′′ X ′′ H ′′ be subbitorsors. Then either X ′ ∩ X ′′ is empty, or G ′ ∩ G ′′ X ′ ∩ X ′′ H ′ ∩ H ′′ is a subbitorsor of G X H , called the intersection of both bitorsors.

Proof. Obvious.

$$\Box$$

Lemma 1.5. A group isomorphism i : G ′ → G gives rise to a bitorsor G G G ′ , where G acts on the left on itself, and the right action of G ′ on G is given by g · g ′ := gi g ( ′ ) . The bitorsor G G G corresponding to i being the identity map of G is called the trivial bitorsor attached to G .

Proof. Obvious.

$$\Box$$

Lemma 1.6. Let G be a group and H be a subgroup. For any a ∈ G , there is a torsor inclusion inj a : H H H → G G G where the first (resp. second, third) component is the inclusion H ↪ → G (resp. the map h → ha -1 , the group morphism H → G h , → aha -1 ).

↦

↦

## Proof. Obvious.

$$\Box$$

↦

The map a → inj a ( G G G ) sets up a map G/H →{ subbitorsors of G G G } .

If C is a category, we denote by Iso C ( O,O ′ ) the set of isomorphisms between two objects O and O ′ and by Aut C ( O ) the group of automorphisms of an object O .

/d35

/d35

Definition 1.7. The bitorsor attached to a pair of isomorphic objects O,O ′ of a category C is Bitor( O,O ′ ) := Aut C ( O ) Iso C ( O , O ′ ) Aut C ( O ′ ) . An action of a bitorsor on the pair ( O,O ′ ) is a morphism from this bitorsor to Bitor( O,O ′ ).

↦

↦

↦

Lemma 1.8. Let C be a category and let O,O ′ be objects. Let i : G ′ → G be a group isomorphism and let G → Aut ( C O ) , G ′ → Aut ( C O ′ ) be group morphisms, denoted g → g O and g ′ → g ′ O ′ . Let i O ,O ′ ∈ Iso C ( O , O ′ ) be such that for any g ′ ∈ G ′ , one has i ( g ′ ) O = i O O ′ ◦ g ′ O ′ ◦ ( i O O ′ ) -1 . Then a bitorsor morphism G G G ′ → Bitor( O,O ′ ) is given by the above group morphisms and the map G → Iso C ( O , O ′ ) , g → g O ◦ i O O ′ .

Proof. Obvious.

/square

Lemma 1.9. Let G X H be a bitorsor acting on a pair ( O,O ′ ) of isomorphic objects of a k -linear tensor category C . Then for any n, m ≥ 0 , (Hom ( C O ⊗ n , O ⊗ m ) , Hom ( C O ′⊗ n , O ′⊗ m )) is a pair of isomorphic k -modules, equipped with an action of G X H .

↦

↦

↦

Proof. If the action on ( O,O ′ ) is denoted G /owner g → g O ∈ Aut ( C O ), X /owner x → x O ,O ′ ∈ Iso C ( O , O ′ ), H /owner h → h O ′ ∈ Aut ( C O ′ ), then the action on this pair of modules is as follows: g ∈ G acts by Hom C ( O ⊗ n , O ⊗ m ) /owner f → g ⊗ m O ◦ f ◦ ( g ⊗ n O ) -1 , h ∈ H acts by Hom C ( O ′⊗ n , O ′⊗ m ) /owner f ′ → h ⊗ m O ′ ◦ f ′ ◦ ( h ⊗ n O ′ ) -1 , x ∈ X acts by Hom C ( O ′⊗ n , O ′⊗ m ) /owner f ′ → x ⊗ m O ,O ′ ◦ f ′ ◦ ( x ⊗ n O ,O ′ ) -1 ∈ Hom ( C O ⊗ n , O ⊗ m ). /square

↦

↦

↦

Lemma 1.10. Let G X H be a bitorsor acting on a pair ( V, W ) of isomorphic k -modules. If ( v, w ) ∈ V × W , then either Stab X ( v, w ) := { x ∈ X x w | · = v } is empty, or Stab G ( v ) Stab X ( v, w ) Stab H ( w ) is a subbitorsor of G X H , called the stabilizer bitorsor of ( v, w ) , where Stab G ( v ) := { g ∈ G g v | · = v } and Stab H ( w ) := { h ∈ H h | · w = w } .

Proof. Similar to that of [EF2], Lemma 2.6.

$$\Box$$

Lemma 1.11. Let C be a Q -linear neutral Tannakian category and let ω , ω 1 2 : C → Vec Q be two fiber functors. The set Iso ⊗ ( ω , ω 2 1 ) is a bitorsor under the left and right actions of Aut ⊗ ( ω 1 ) and Aut ⊗ ( ω 2 ) .

Proof. Obvious.

$$\Box$$

↦

↦

Define a right torsor X H to be a pair ( X,H ) of a set X and a group H acting freely and transitively on X from the right. This gives rise to a torsor H op X . Let Tor and Bitor be the categories of torsors and bitorsors. Then there are two functors Bitor → Tor , defined on objects by G X H → G X and G X H → H op X .

- 1.2. From torsors to bitorsors. For G X a torsor, define Aut G ( X ) to be subgroup of the permutation group of X acting on the right which commute with all the elements of G . Then Aut G ( X ) is a group, equipped with a right action on X which commutes with the left action of G .

↦

Lemma 1.12. (a) The assignment G X → Aut G ( X ) defines a functor Tor → Gp from the category of torsors to that of groups. The group Aut G ( X ) will be called the 'group attached to the torsor G X '.

↦

↦

(b) If G X is a torsor, then the right action of Aut G ( X ) defines a bitorsor structure G X Aut G ( X ) on it. The assignment G X → G X Aut G ( X ) defines a functor Tor → Bitor , quasi-inverse to the functor Bitor → Tor , G X H → G X . In particular, if G X H is a bitorsor, then there is a canonical isomorphism H /similarequal Aut G ( X ) .

Proof. See [G], Chap. III, Proposition 1.5.1.

$$\Box$$

Lemma 1.13. If G X H is a bitorsor and if G ′ X ′ H ′ , G ′′ X ′′ H ′′ are subbitorsors of G X H such that G ′ X ′ is a subtorsor of G ′′ X ′′ , then H ′ ⊂ H ′′ (inclusion of subgroups of H ).

Proof. Any element x ∈ X gives rise to a group isomorphism Ad x -1 : G → H , defined by the identity g · x = x · Ad x -1 ( g ) for any g ∈ G x , ∈ X . If G ′ X ′ H ′ is a subbitorsor of G X H and if x ∈ X ′ , then Ad x -1 restricts to a group isomorphism G ′ → H ′ . Likewise, Ad x -1 restricts to a group isomorphism G ′′ → H ′′ . Then the subgroup H ′ (resp. H ′′ ) of H is the image of the subgroup G ′ (resp. G ′′ ) of G by Ad x -1 . As G ′ ⊂ G ′′ , this implies H ′ ⊂ H ′′ . /square

- 1.3. Some torsors and their interrelations. In [EF2], we introduced a 'twisted Magnus' torsor G DR B , ( k ) ( § 2.2), together with its subtorsors G DR B , quad ( k ) ( § 2.3), Stab ( ˆ ∆ X , DR B / )( k ) ( X ∈ {W M} , ) ( §§ 2.6, 2.7), M ( k ) ( § 2.4 and [D]), and DMR DR B , ( k ) ( § 2.5), which is constructed using the torsor DMR µ ( k ) for µ ∈ k × ([R]) and contains it as a subtorsor.

In § 3.1, Theorem 3.1, we showed the following relations between these subtorsors:

- (1) inclusion M ( k ) ↪ → DMR DR B , ( k );
- (2) equality DMR DR B , ( k ) = Stab ( ˆ ∆ M , DR B / )( k ) ∩ G DR B , quad ( k );
- (3) inclusion Stab ( ˆ ∆ M , DR B / )( k ) ↪ → Stab ( ˆ ∆ W , DR B / )( k ).

The main purpose of this paper is the explicit computation of the groups attached to these torsors in the sense of Lemma 1.12, (a), as well as the study of their interrelations. This will make explicit the bitorsor structures attached to these torsors by Lemma 1.12, (b).

- 2. The bitorsor G DR B , ( k ) and its actions

In § 2.1, we construct a Betti counterpart ( G B ( k ) , /circleasterisk ) of the variant G DR ( k ) from [EF2] of the 'twisted Magnus group' from [R]. In § 2.2, we construct actions of G B ( k ), which are the Betti counterparts of the actions of G DR ( k ) from [EF2], § 1.6. In § 2.3, we show how to use G B ( k )

for upgrading the torsor structure G DR B , ( k ) into a bitorsor one, and in § 2.4, we show how the actions of § 2.2 and of [EF2], § 1.6 can be combined to construct an action of the bitorsor G DR B , ( k ).

## 2.1. The group ( G B ( k ) , /circleasterisk ) .

2.1.1. The group ( G V ( ˆ B ) , · ) . Let V B be the k -algebra introduced in [EF1], § 2.1, and let ( F i V B ) i ≥ 0 be the decreasing algebra filtration on it defined in [EF1], § 2.1. Let ∆ V , B : V B → V ( B ) ⊗ 2 be the morphism of filtered k -algebras introduced in [EF1], § 2.3. Then ( V B , ∆ V , B ) is a Hopf algebra. In [EF1], § 2.5, we introduced the topological Hopf algebra ( ˆ V B , ˆ ∆ V , B ) obtained by completion with respect to the filtrations.

Denote by G V ( B ) (resp. G V ( ˆ B )) be the group of group-like elements of the Hopf algebra ( V B , ∆ V , B ) (resp. ( ˆ V B , ˆ ∆ V , B )); we denote by · its product. According to [EF1], § 2.1, the Hopf algebra ( V B , ∆ V , B ) is the group algebra k F 2 , where F 2 is the free group with generators X ,X 0 1 , which leads to the equality G V ( B ) = F 2 . Then the natural morphism G V ( B ) →G V ( ˆ B ) can be identified with the morphism from F 2 to its k -prounipotent completion.

↦

2.1.2. The automorphisms aut V , (1) B , ( µ,g ) and aut V , (10) B , ( µ,g ) . Let ˆ V B 1 := 1 + F 1 ˆ V B ⊂ V ˆ B . For a ∈ V ˆ B 1 , log( a ) may be expanded as a series in a -1 and therefore makes sense as an element of F 1 ˆ V B . If now µ ∈ k , exp( µ log( a )) may be expanded as a series in µ log( a ) and therefore makes sense as an element of ˆ V B 1 . This defines a self-map of ˆ V B 1 , denoted a → a µ , which restricts to a self-map of G V ( ˆ B ).

For ( µ, g ) ∈ k × ×G V ( ˆ B ), one checks that there is a unique automorphism aut V , (1) B , ( µ,g ) of the topological k -algebra ˆ V B , such that

↦

$$\text{(2.1.1)} & & \text{aut} _ { ( \mu, g ) } ^ { \mathcal { V }, ( 1 ), B } \colon X _ { 0 } \mapsto g \cdot X _ { 0 } ^ { \mu } \cdot g ^ { - 1 }, \ \ X _ { 1 } \mapsto X _ { 1 } ^ { \mu }$$

↦

and a unique automorphism aut V , (10) B , ( µ,g ) of the topological k -module ˆ V B , such that

$$\forall a \in \hat { \mathcal { V } } ^ { B }, \ \ a u t _ { ( \mu, g ) } ^ { \mathcal { V }, ( 1 0 ), B } ( a ) = \ a u t _ { ( \mu, g ) } ^ { \mathcal { V }, ( 1 ), B } ( a ) \cdot g.$$

2.1.3. The group ( G B ( k ) , /circleasterisk ) .

Lemma 2.1. The product /circleasterisk given by

$$( \mu, g ) \circledast ( \mu ^ { \prime }, g ^ { \prime } ) \coloneqq ( \mu \mu ^ { \prime }, \text{aut} _ { ( \mu, g ) } ^ { \mathcal { V }, ( 1 0 ), \mathbf B } ( g ^ { \prime } ) )$$

defines a group structure on G B ( k ) := k × ×G V ( ˆ B ) .

Proof. When ( µ, g ) ∈ G B ( k ), aut V , (1) B , ( µ,g ) is an automorphism of the Hopf algebra ( ˆ V B , ˆ ∆ V , B ), which implies that for any g ′ ∈ G V ( ˆ B ), aut V , (1) B , ( µ,g ) ( g ′ ) ∈ G V ( ˆ B ). It follows that aut V , (10) B , ( µ,g ) ( g ′ ) ∈ G V ( ˆ B ), and therefore that /circleasterisk is a well-defined map G B ( k ) 2 → G B ( k ), which restricts to a map G V ( ˆ B 2 ) → G V ( ˆ B ). The fact that ( G V ( ˆ B ) , /circleasterisk ) is a group can be proved analogously to [R], Proposition 3.1.6. The group k × acts on ˆ V B by µ · X i := X µ i for i = 0 1. , This induces an

action of k × on ( G V ( ˆ B ) , /circleasterisk ); one checks that ( G B ( k ) , /circleasterisk ) is the corresponding semidirect product, the injections k × ↪ → G B ( k ) and G V ( ˆ B ) ↪ → G B ( k ) being given by µ → ( µ, 1) and g → (1 , g ). /square

↦

↦

2.2. Actions of the group ( G B ( k ) , /circleasterisk ) . We denote by k -alg (resp. k -mod) the category of k -algebras (resp. k -modules).

Definition 2.2. (see [EF2], Definition 1.1) If A is a k -algebra and M is a left A -module, then Aut( A,M ) is the set of pairs ( α, θ ) ∈ Aut k -alg ( A ) × Aut k -mod ( M ), such that for any a ∈ A , m ∈ M , one has θ am ( ) = α a θ m ( ) ( ); this is a subgroup of Aut k -alg ( A ) × Aut k -mod ( M ).

↦

Lemma 2.3. For ( µ, g ) ∈ G B ( k ) , the pair (aut V , (1) B , ( µ,g ) , aut V , (10) B , ( µ,g ) ) belongs to Aut( ˆ V B , ˆ V B ) (in which ˆ V B is viewed as the left regular module over itself). The map ( G B ( k ) , /circleasterisk ) → Aut( ˆ V B , ˆ V B ) , ( µ, g ) → (aut V , (1) B , ( µ,g ) , aut V , (10) B , ( µ,g ) ) is a group morphism.

↦

↦

Proof. The proof of the first statement is similar to that of the corresponding statement in Lemma 1.10 of [EF2]. The fact that ( G B ( k ) , /circleasterisk ) → Aut k -alg ( ˆ V B ), ( µ, g ) → aut V , (1) B , ( µ,g ) (resp. ( G B ( k ) , /circleasterisk ) → Aut k -mod ( ˆ V B ), ( µ, g ) → aut V , (10) B , ( µ,g ) ) is a group morphism is proved similarly to Lemma 1.8 (resp. Lemma 1.9) in [EF2]. These facts imply the second statement. /square

Lemma 2.4. (see [EF2] , Lemma 1.2) In the situation of Definition 2.2, let A 0 be a subalgebra of A 0 and M 0 be an A -submodule of M . The set Aut( A,M A ,M | 0 0 ) of pairs ( α, θ ) ∈ Aut( A,M ) such that α (resp. θ ) restricts to an automorphism of A 0 (resp. of M 0 ) is a subgroup of Aut( A,M ) , moreover there is a natural group morphism Aut( A,M A ,M | 0 0 ) → Aut( A , M/M 0 0 ) .

Let ˆ W B be the topological k -subalgebra of ˆ V B ) defined in [EF1], § 2.5; it is given by ˆ W B = k 1 ⊕V ˆ B ( X 1 -1). View ˆ V B as the left regular topological module over itself; then ˆ V B ( X 0 -1) is a topological submodule. According to [EF1], § 2.5, we denote the corresponding quotient topological ˆ V B -module by ˆ M B and by 1 B the class of 1 in this module; according to [EF1], § 2.5, the restriction of ˆ M B to ˆ W B is free of rank one, generated by 1 B .

Lemma-Definition 2.5. If ( µ, g ) ∈ G B ( k ) , then (aut V , (1) B , ( µ,g ) , aut V , (10) B , ( µ,g ) ) is in Aut( ˆ V B , ˆ V B |W ˆ B , ˆ V B ( X 0 -1)) .

We denote by (aut W , (1) B , ( µ,g ) , aut M , (10) B , ( µ,g ) ) the corresponding element of Aut( ˆ W B , ˆ M B ) (see Lemma 2.4). The map taking ( µ, g ) to this element is a group morphism ( G B ( k ) , /circleasterisk ) → Aut( ˆ W B , ˆ M B ) .

Proof. It follows from ˆ W B = k 1 ⊕V ˆ B ( X 1 -1), from aut V , (1) B , ( µ,g ) ( X 1 ) = X µ 1 for any ( µ, g ) ∈ G B ( k ), and from X µ 1 -1 = f µ ( X 1 -1) · ( X 1 -1), where f µ ( ) := ((1 + t t ) µ -1) /t ∈ k [[ t ]] for any µ ∈ k × , that aut V , (1) B , ( µ,g ) restricts to an automorphism of ˆ W B for any ( µ, g ) ∈ G B ( k ).

If ( µ, g ) ∈ G B ( k ) and v ∈ V ˆ B , then aut V , (10) B , ( µ,g ) ( v · ( X 0 -1)) = aut V , (1) B , ( µ,g ) ( v · ( X 0 -1)) · g = aut V , (1) B , ( µ,g ) ( v ) · g · ( X µ 0 -1) = aut V , (10) B , ( µ,g ) ( v f ) µ ( X 0 -1) · ( X 0 -1); this implies that aut V , (10) B , ( µ,g ) restricts to an automorphism of ˆ V B ( X 0 -1). /square

Recall that ˆ V B is freely generated, as a topological algebra, by log X 0 and log X 1 ; for g ∈ V ˆ B , we denote by { log X , 0 log X 1 } ∗ → k the map such that g = ∑ w ∈{ log X , 0 log X 1 } ∗ ( g w w | ) , where { log X , 0 log X 1 } ∗ is the set of (possibly empty) words in log X , 0 log X 1 .

Definition 2.6. For g ∈ V ˆ B , Γ g ∈ k [[ t ]] × is the series given by

$$\Gamma _ { g } ( t ) \coloneqq \exp ( \sum _ { n \geq 1 } ( - 1 ) ^ { n + 1 } ( g | ( \log X _ { 0 } ) ^ { n - 1 } \log X _ { 1 } ) t ^ { n } / n ).$$

↦

↦

Definition 2.7. (see [EF2], Definition 1.1) If A is a k -algebra and if G → Aut k -alg ( A ), g → α g is a group morphism, a cocycle of G in A equipped with g → α g is a map G → A × , g → c g such that c gg ′ = c g · α g ( c g ′ ) for any g, g ′ ∈ G .

↦

↦

↦

↦

Lemma 2.8. The map Γ : G B ( k ) → V ( ˆ B ) × , ( µ, g ) → Γ -1 g ( -log X 1 ) , is a cocycle of ( G B ( k ) , /circleasterisk ) in ˆ V B equipped with ( µ, g ) → aut V , (1) B , ( µ,g ) . This map corestricts to a map Γ : G B ( k ) → W ( ˆ B ) × , which is a cocycle of the same group in ˆ W B equipped with ( µ, g ) → aut W , (1) B , ( µ,g ) .

Proof.

The proof is similar to that of Lemmas 1.12 and 1.13 in [EF2]. /square

Lemma-Definition 2.9. For ( µ, g ) ∈ G B ( k ) , set Γ aut W , (1) B , ( µ,g ) := Ad Γ -1 g ( -log X 1 ) ◦ aut W , (1) B , ( µ,g ) ∈ Aut k - alg ( ˆ W B ) , Γ aut M , (10) B , ( µ,g ) := /lscript Γ -1 g ( -log X 1 ) ◦ aut M , (10) B , ( µ,g ) ∈ Aut k - mod ( ˆ M B ) . Then the pair ( aut Γ W , (1) B , ( µ,g ) , Γ aut M , (10) B , ( µ,g ) ) belongs to Aut( ˆ W B , ˆ M B ) and the map ( G B ( k ) , /circleasterisk ) → Aut( ˆ W B , ˆ M B ) is a group morphism.

Proof. Lemma 1.4 in [EF2] gives conditions for a cocycle to be used for twisting a group morphism G → Aut( A,M ). Lemmas 2.8 and 2.5 show that these conditions are fulfilled. /square

2.3. A bitorsor structure on G DR B , ( k . ) The group ( G DR ( k ) , /circleasterisk ) is defined in [EF2], § 1.6.1. Recall that G DR ( k ) = k × ×G V ( ˆ DR ) (equality of sets), where ( ˆ V DR , ˆ ∆ V , DR ) is the topological Hopf algebras from [EF1], § 1.3, and the product /circleasterisk is defined in [EF2], § 1.6.1. In [EF1], § 3.3, we defined an isomorphism iso V : ˆ V B →V ˆ DR of topological k -algebras.

Lemma 2.10. iso V is an isomorphism of topological Hopf algebras.

↦

Proof. This follows from iso V : X i → exp( e i ) for i = 0 1, and from the fact the , X i (resp. e i ) is group-like (resp. primitive) for ∆ ˆ V , B (resp. ˆ ∆ V , DR ). /square

Lemma 2.11. The map iso V restricts to group isomorphisms iso G : ( G V ( ˆ B ) , /circleasterisk ) → G V ( ( ˆ DR ) , /circleasterisk ) and iso G : ( G B ( k ) , /circleasterisk ) → ( G DR ( k ) , /circleasterisk ) , given by the map G B ( k ) = k × × G V ( ˆ DR ) id × iso G → k × × G V ( ˆ DR ) = G DR ( k ) .

Proof. The fact that iso G and iso G are bijections follows from Lemma 2.10. The compatibility of these maps with the products /circleasterisk on both sides follows from comparison of their constructions, given respectively in § 2.1.3 and [EF2], § 1.6.1. /square

Definition 2.12. The bitorsor G DR B , ( k ) is the structure obtained by applying Lemma 1.5 to the group isomorphism from Lemma 2.11.

The underlying set of this bitorsor is G DR ( k ), the left action is that of G DR ( k ) on itself, and the right action is that of G B ( k ) on G DR ( k ) given by ( µ, g ) · ( µ , g ′ ′ ) := ( µ, g ) /circleasterisk iso G ( µ , g ′ ′ ). The corresponding torsor coincides therefore with the torsor G DR B , ( k ) from [EF2], Definition 2.8.

## 2.4. Actions of the bitorsor G DR B , ( k . )

Definition 2.13. We define k -alg-mod to be the category whose objects are the pairs ( A,M ), where A is a k -algebra and M is A -module, and such that a morphism ( A,M ) → ( A , M ′ ′ ) is a pair of an algebra morphism A → A ′ and a compatible k -module morphism M → M ′ .

In [EF1], § 1.3, we defined the topological k -subalgebra of ˆ V DR by ˆ W DR := k 1 ⊕ V ˆ DR e 1 , the ˆ V DR -module ˆ M DR := ˆ V DR / ˆ V DR e 0 , and its element 1 DR defined as the class of 1, and showed that ˆ M DR is freely generated by 1 DR as a ˆ W DR -module. Recall from [EF1], § 3.3 that the isomorphism iso V induces compatible isomorphisms iso W : ˆ W B → W ˆ DR of topological k -algebras and iso M : ˆ M →M B ˆ DR of topological k -modules.

Lemma 2.14. For ω ∈ { B DR , } , the pair ( ˆ W ω , ˆ M ω ) , in which the second component is viewed as a left module over the first, is an object of k - alg - mod , which will be denoted ( ˆ W M , ˆ ) ω . An isomorphism iso W M , : ( ˆ W M , ˆ ) B → W M ( ˆ , ˆ ) DR is given by the pair (iso W , iso M ) .

Proof. The first statement follows from [EF1], §§ 1.3 and 2.5. The second statement follows from [EF1], § 3.3. /square

In [EF2], Lemma 1.14, we defined a group morphism

↦

$$( G ^ { \text{DR} } ( { \mathbf k } ), \circledast ) \to A u t _ { \mathbf k \text{-alg-mod} } ( ( \hat { \mathcal { W } }, \hat { \mathcal { M } } ) ^ { \text{DR} } ), \ \ ( \mu, g ) \mapsto ( \Gamma u t _ { ( \mu, g ) } ^ { \mathcal { W }, ( 1 ), \text{DR} }, \ \Gamma u t _ { ( \mu, g ) } ^ { \mathcal { M }, ( 1 0 ), \text{DR} } ).$$

↦

Lemma 2.15. The conditions of Lemma 1.8 are satisfied in case of the group isomorphism iso G : G B ( k ) → G DR ( k ) , of the isomorphism iso W M , : ( ˆ W M , ˆ ) B → W M ( ˆ , ˆ ) DR in k - alg - mod , and of the group morphisms G ω ( k ) /owner ( µ, g ) → ( aut Γ W , (1) ,ω ( µ,g ) , Γ aut M , (10) ,ω ( µ,g ) ) ∈ Aut k - alg - mod (( ˆ W M , ˆ ) ω ) for ω ∈ { B DR , } .

Proof. This follows from the identities aut V , ( α , ) DR iso G ( µ,g ) = iso V ◦ aut V , ( α , ) B ( µ,g ) ◦ (iso V -) 1 for any ( µ, g ) ∈ G B ( k ), where α ∈ { 1 10 , } , which follow from comparison of the definitions of aut V , ( α , ) B ( µ,g ) and aut V , ( α , ) DR ( µ,g ) in § 2.1.2 and in [EF2], § 1.6.2, and from Γ iso G ( g ) ( ) = Γ t g ( ) for t g ∈ G B ( k ). /square

In [EF2], Definition 1.15, we defined, for any ( µ, g ) ∈ G DR ( k ), isomorphisms Γ comp W , (1) ( µ,g ) = Γ aut W , (1) DR , ( µ,g ) ◦ iso W ∈ Iso k -alg ( ˆ W B , ˆ W DR ) and Γ comp M , (10) ( µ,g ) = aut Γ M , (10) DR , ( µ,g ) ◦ iso M ∈ Iso k -mod ( ˆ M M B , ˆ DR ).

Lemma 2.16. The map G DR ( k ) → Iso k - alg - mod (( ˆ W M , ˆ ) B , ( ˆ W M , ˆ ) DR ) underlying the bitorsor morphism G DR B , ( k ) → Bitor(( ˆ W M , ˆ ) DR , ( ˆ W M , ˆ ) B ) arising from Lemma 2.15 is

↦

$$( \mu, g ) \mapsto ( ^ { \Gamma } \text{comp} _ { ( \mu, g ) } ^ { \mathcal { W }, ( 1 ) }, \text{ } ^ { \Gamma } \text{comp} _ { ( \mu, g ) } ^ { \mathcal { M }, ( 1 0 ) } ).$$

Proof. Immediate.

/square

## 3. Subbitorsors of G DR B , ( k )

In this section, we explicitly construct the bitorsors attached to the torsors of [EF2], by constructing Betti counterparts of their underlying groups; this is done in § 3.1 (resp. § 3.2, § 3.3, § 3.4, § 3.5) for the 'linear and quadratic conditions' torsor G DR B , quad ( k ) (resp. the stabilizer torsors Stab ( ˆ ∆ W , DR B / )( k ), Stab ( ˆ ∆ M , DR B / )( k ), the double shuffle torsors DMR DR B , ( k ) and DMR µ ( k )), and this construction is recalled from [D] in § 3.6 for the case of the torsor of associators M ( k ). In § 3.7, we derive from the relations of the torsors of [EF2] certain relations between the Betti counterparts of the underlying groups. We make explicit the Lie algebras of these groups and their interrelations in § 3.8. Finally, we make explicit the relations of the stabilizer bitorsors Stab ( ˆ ∆ W , DR B / )( k ), Stab ( ˆ ∆ M , DR B / )( k ) with coalgebra and Hopf algebra bitorsors ( § 3.9).

3.1. G DR B , quad ( k ) as a subbitorsor of G DR B , ( k . )

3.1.1. The group ( G B quad ( k ) , /circleasterisk ) .

## Definition 3.1. We set

$$G _ { q u a d } ^ { B } ( { \mathbf k } ) \coloneqq \{ ( \mu, g ) \in G ^ { B } ( { \mathbf k } ) \ | \ ( g | \log X _ { 0 } ) = ( g | \log X _ { 1 } ) = 0, \ \mu ^ { 2 } = 1 + 2 4 ( g | \log X _ { 0 } \log X _ { 1 } ) \}.$$

Lemma 3.2. G B quad ( k ) is a subgroup of ( G B ( k ) , /circleasterisk ) .

Proof. Define G B lin ( k ) to be the subset of all pairs ( µ, g ) of G B ( k ) such that ( g | log X 0 ) = ( g | log X 0 ) = 0. Then G B lin ( k ) = (iso G ) -1 ( G DR lin ( k )), where G DR lin ( k ) is the subgroup of ( G DR ( k ) , /circleasterisk ) defined in [EF2], proof of Lemma 2.10, therefore ( G B lin ( k ) , /circleasterisk ) is a subgroup of ( G B ( k ) , /circleasterisk ).

↦

Recall from [EF2], proof of Lemma 2.10, the group ( k × × k , · ), where ( µ, c ) · ( µ , c ′ ′ ) := ( µµ , c ′ + µ c 2 ′ ); it is the semidirect product corresponding to the action of k × on ( k , +) by λ · a := λ a 2 . The composed morphism ϕ quad ◦ iso G : G B lin ( k ) → ( k × × k , · ) is given by ( µ, g ) → ( µ, ( g | log X 0 log X 1 )), where ϕ quad : G DR lin ( k ) → ( k × × k , · ) is as in [EF2], proof of Lemma 2.10.

Onthe other hand, { ( µ, c ) | c = ( µ 2 -1) / 24 , µ ∈ k × } coincides with the subgroup Ad (1 , -1 / 24) ( k × ) of ( k × × k , · ), where k × is the subgroup { ( µ, 0) | µ ∈ k × } of ( k × × k , · ). Its preimage by the above group morphism is therefore a subgroup of ( G B lin ( k ) , /circleasterisk ). The result now follows from the fact that this preimage coincides with G B quad ( k ). /square

3.1.2. Bitorsor structure on G DR B , quad ( k ) . In [EF2], Definition 2.9, we introduced the subsets G DR B , quad ( k ) and G DR quad ( k ) of G DR ( k ), and in Lemma 2.10, proved that G DR quad ( k ) is a subgroup of G DR ( k ), and that G DR B , quad ( k ), equipped with the left action of this group, is a subtorsor of G DR B , ( k ).

Lemma 3.3. The right action of G B ( k ) on G DR ( k ) restricts to a free and transitive action of G B quad ( k ) on G DR B , quad ( k ) , so that this right action equips G DR B , quad ( k ) with the structure of a subbitorsor of the bitorsor G DR B , ( k ) .

Proof. Let i : G ′ → G be a group isomorphism and let H ⊂ G be a subgroup, and H ′ := i -1 ( H ) ⊂ G ′ . The i restricts to an isomorphism H ′ → H . This gives rise to bitorsors H H H ′ and G G G ′ (see Lemma 1.5); the natural inclusions give rise to a bitorsor inclusion H H H ′ ⊂ G G G ′ . A group morphism ϕ : H → K gives rise to group morphism ϕ ◦ i : H ′ → K and to a bitorsor morphism ϕ ϕ ϕ i ◦ : H H H ′ → K K K . Then a subgroup L ⊂ K and an element k ∈ K give rise to a bitorsor inclusion inj k : L L L ↪ → K K K (see Lemma 1.6). Then ( ϕ ϕ ϕ i ◦ ) -1 (inj k ( L L L )) is a subtorsor of H H H ′ , hence of G G G ′ . One has ( ϕ ϕ ϕ i ◦ ) -1 (inj k ( L L L )) = A B C , where A := ϕ -1 ( L ) ⊂ G C , := i -1 ◦ ϕ -1 (Ad ( k L )) ⊂ G ′ , B := ϕ -1 ( L k · -1 ) ⊂ G . This is summarized in the diagram of bitorsors

/d31

/d127

/d47

/d47

/d31

/d127

/d47

/d47

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00444v5-figure-3bc1211a-82db-4053-8480-a16879ee636c.jpg)

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d31

/d127

/d47

/d47

When i := iso G : G B ( k ) → G DR ( k ), H := G DR lin ( k ), H ′ := G B lin ( k ), K := ( k × × k , · ), ϕ := ϕ quad (see [EF2], proof of Lemma 2.3), L := k × = { ( µ, 0) | µ ∈ k × } , k := (1 , -1 / 24), one has A = ϕ -1 quad ( k × ) = G DR quad ( k ) by [EF2], Lemma 2.3, C = (iso V -) 1 ◦ ϕ -1 quad (Ad (1 , -1 / 24) ( k × )) = G B quad ( k ) by Lemma 3.2. One checks that k × · k -1 = { ( µ, c ) | c = µ / 2 24 } , which shows that B = ϕ -1 quad ( k × · k -1 ) = G DR B , ( k ). /square

3.2. Stab ( ˆ ∆ W , DR B / )( k ) as a subbitorsor of G DR B , ( k . )

↦

Lemma 3.4. The map G B ( k ) → Aut k -mod (Hom k -mod top ( ˆ W B , ( W B ) ⊗ ∧ 2 )) taking ( µ, g ) to F → ( aut Γ W , (1) B , ( µ,g ) ) ⊗ 2 ◦ F ◦ ( aut Γ W , (1) B , ( µ,g ) ) -1 defines an action of the group G B ( k ) on the k -module Hom k -mod top ( ˆ W B , ( W B ) ⊗ ∧ 2 ) .

Proof. Follows from Lemma-Definition 2.9.

$$\Box$$

Definition 3.5. Set Stab ( ˆ ∆ W , B )( k ) := Stab G B ( k ) ( ˆ ∆ W , B ). This is a subgroup of ( G B ( k ) , /circleasterisk ), equal to the set of ( µ, g ) ∈ G B ( k ), such that ( aut Γ W , (1) B , ( µ,g ) ) ⊗ 2 ◦ ˆ ∆ W , B = ˆ ∆ W , B ◦ Γ aut W , (1) B , ( µ,g ) .

In [EF2], Definitions 2.14 and 2.15, we introduced the subsets Stab ( ˆ ∆ W , DR B / )( k ) and Stab ( ˆ ∆ W , DR )( k ) of G DR ( k ), and in Lemma 2.16 and Theorem 3.1, proved that Stab ( ˆ ∆ W , DR )( k ) is a subgroup of G DR ( k ), and that Stab ( ˆ ∆ W , DR B / )( k ), equipped with the left action of this group, is a subtorsor of G DR B , ( k ).

Lemma 3.6. The right action of G B ( k ) on G DR ( k ) restricts to a free and transitive action of Stab ( ˆ ∆ W , B )( k ) on Stab ( ˆ ∆ W , DR B / )( k ) , so that this right action equips Stab ( ˆ ∆ W , DR B / )( k ) with the structure of a subbitorsor of the bitorsor G DR B , ( k ) .

Proof. One derives from § 2.4 an action of the bitorsor G DR B , ( k ) on the pair of isomorphic topological k -algebras ( ˆ W DR , ˆ W B ). Viewing this as a pair of objects of the tensor category k -mod top , and using Lemma 1.9, one obtains an action of the bitorsor G DR B , ( k ) on the pair of isomorphic k -modules (Hom k -mod top ( ˆ W DR , ( W DR ) ⊗ ∧ 2 ) , Hom k -mod top ( ˆ W B , ( W B ) ⊗ ∧ 2 )). Recall that ( ˆ ∆ W , DR , ˆ ∆ W , B ) is a pair of elements of this pair of modules. By Lemma 1.10, this gives rise to the stabilizer subbitorsor Stab G DR( ) k ( ˆ ∆ W , DR ) Stab G DR ( k ) ( ˆ ∆ W , DR , ˆ ∆ W , B ) Stab G B ( k ) ( ˆ ∆ W , B ) of G DR B , ( k ). /square

3.3. Stab ( ˆ ∆ M , DR B / )( k ) as a subbitorsor of G DR B , ( k . )

↦

Lemma 3.7. The map G B ( k ) → Aut k -mod (Hom k -mod top ( ˆ M B , ( M B ) ⊗ ∧ 2 )) taking ( µ, g ) to F → ( aut Γ M , (10) B , ( µ,g ) ) ⊗ 2 ◦ F ◦ ( aut Γ M , (10) B , ( µ,g ) ) -1 defines an action of the group G B ( k ) on the k -module Hom k -mod top ( ˆ W B , ( W B ) ⊗ ∧ 2 ) .

Proof. Follows from Lemma-Definition 2.9.

$$\Box$$

Definition 3.8. Set Stab ( ˆ ∆ M , B )( k ) := Stab G B ( k ) ( ˆ ∆ M , B ). This is a subgroup of ( G B ( k ) , /circleasterisk ), equal to the set of ( µ, g ) ∈ G B ( k ), such that ( aut Γ M , (10) B , ( µ,g ) ) ⊗ 2 ◦ ˆ ∆ M , B = ˆ ∆ M , B ◦ Γ aut M , (10) B , ( µ,g ) .

In [EF2], Definitions 2.17 and 2.18, we introduced the subsets Stab ( ˆ ∆ M , DR B / )( k ) and Stab ( ˆ ∆ M , DR )( k ) of G DR ( k ), and in Lemma 2.19 and Theorem 3.1, proved that Stab ( ˆ ∆ M , DR )( k ) is a subgroup of G DR ( k ), and that Stab ( ˆ ∆ M , DR B / )( k ), equipped with the left action of this group, is a subtorsor of G DR B , ( k ).

Lemma 3.9. The right action of G B ( k ) on G DR ( k ) restricts to a free and transitive action of Stab ( ˆ ∆ M , B )( k ) on Stab ( ˆ ∆ M , DR B / )( k ) , so that this right action equips Stab ( ˆ ∆ W , DR B / )( k ) with the structure of a subbitorsor of the bitorsor G DR B , ( k ) .

Proof. One derives from § 2.4 an action of the bitorsor G DR B , ( k ) on the pair of isomorphic topological k -algebras ( ˆ W DR , ˆ W B ). Viewing this as a pair of objects of the tensor category k -mod top , and using Lemma 1.9, one obtains an action of the bitorsor G DR B , ( k ) on the pair of isomorphic k -modules (Hom k -mod top ( ˆ W DR , ( W DR ) ⊗ ∧ 2 ) , Hom k -mod top ( ˆ W B , ( W B ) ⊗ ∧ 2 )). Recall that ( ˆ ∆ W , DR , ˆ ∆ W , B ) is a pair of elements of this pair of modules. By Lemma 1.10, this gives rise to the stabilizer subbitorsor Stab G DR( ) k ( ˆ ∆ W , DR ) Stab G DR ( k ) ( ˆ ∆ W , DR , ˆ ∆ W , B ) Stab G B ( k ) ( ˆ ∆ W , B ) of G DR B , ( k ). /square

3.4. DMR DR B , ( k ) as a subbitorsor of G DR B , ( k . )

Lemma-Definition 3.10. Set DMR B ( k ) := G B quad ( k ) ∩ Stab ( ˆ ∆ M , B )( k ) . Then DMR B ( k ) is a subgroup of ( G B ( k ) , /circleasterisk ) .

Proof. This follows from Lemma 3.2 and from the fact that Stab ( ˆ ∆ M , B )( k ) is a subgroup of ( G B ( k ) , /circleasterisk ). /square

In [EF2], Definition 2.12, we introduced the subsets DMR DR ( k ) and DMR DR B , ( k ) of G DR ( k ), and in Lemma 2.13, proved that DMR DR ( k ) is a subgroup of G DR ( k ), and that DMR DR B , ( k ), equipped with the left action of this group, is a subtorsor of G DR B , ( k ).

Lemma 3.11. The right action of G B ( k ) on G DR ( k ) restricts to a free and transitive action of DMR B ( k ) on DMR DR B , ( k ) , so that this right action equips DMR DR B , ( k ) with the structure of a subbitorsor of the bitorsor G DR B , ( k ) .

Proof. By Lemmas 1.4, 3.3 and 3.9, the intersection of the bitorsors G DR B , quad ( k ) and Stab ( ˆ ∆ M , DR B / )( k ) is a subbitorsor of G DR B , ( k ). The result then follows from DMR DR ( k ) = G DR quad ( k ) ∩ Stab ( ˆ ∆ M , DR )( k ) ⊂ G DR ( k ) and DMR DR B , ( k ) = G DR B , quad ( k ) ∩ Stab ( ˆ ∆ M , DR B / )( k ) ⊂ G DR ( k ), which follows from [EF2], Theorem 3.1, (a). /square

3.5. DMR µ ( k ) as a subbitorsor of G DR B , ( k . )

Lemma-Definition 3.12. Set DMR B 0 ( k ) := { g ∈ G V ( ˆ B ) | ( g | log X 0 ) = ( g | log X 1 ) = ( g | log X 0 log X 1 ) = 0 and ( aut Γ M , (10) B , ( µ,g ) ) ⊗ 2 ◦ ˆ ∆ M , B = ˆ ∆ M , B ◦ Γ aut M , (10) B , ( µ,g ) } . Then DMR B 0 ( k ) is a subgroup of ( G V ( ˆ B ) , /circleasterisk ) .

↦

Proof. The map ( µ, g ) → µ is a group morphism G B ( k ) → k × , whose kernel is equal to ( G V ( ˆ B ) , /circleasterisk ). Then DMR B 0 ( k ) is equal to the intersection of this kernel with DMR B ( k ), and is therefore the intersection of two subgroups of G B ( k ). /square

In [R], Racinet introduced the subsets DMR 0 ( k ) and DMR µ ( k ) of G V ( ˆ DR ) for any µ ∈ k , and proved that DMR 0 ( k ) is a subgroup of ( G V ( ˆ DR ) , /circleasterisk ), and that DMR µ ( k ), equipped with the left action of this group, is a subtorsor of G V ( ˆ DR ), viewed as a trivial torsor over itself. In [EF2], Lemma 2.14, we identified the torsor DMR µ ( k ) with a subtorsor of DMR DR B , ( k ), viewed as a torsor under the left action of DMR DR ( k ).

Lemma 3.13. The right action of DMR B ( k ) on DMR DR ( k ) restricts to a free and transitive action of DMR B 0 ( k ) on DMR µ ( k ) , so that this right action equips DMR µ ( k ) with the structure of a subbitorsor of the bitorsor DMR DR B , ( k ) .

↦

Proof. The maps ( µ, g ) → µ set up a bitorsor morphism from DMR DR ( k ) DMR DR B , ( k ) DMR B ( k ) to k × k × k × . Then { } 1 { µ } { } 1 is a subbitorsor of the latter torsor. Its preimage is therefore a

subbitorsor of the source bitorsor. The result follows from the identification of the preimage of kernel of DMR DR ( k ) → k × (resp. DMR B ( k ) → k × ) with DMR 0 ( k ) (resp. with DMR B 0 ( k )) and of the preimage of µ under the map DMR DR B , ( k ) → k × with DMR µ ( k ), obtained in the proof of Lemma 2.14 in [EF2]. /square

- 3.6. M ( k ) as a subbitorsor of G DR B , ( k . ) It follows from [D] that the subgroup GT op ( k ) ⊂ G B ( k ) is the group attached to M ( k ), viewed as a subtorsor of G DR B , ( k ) when equipped with the left action of GRT op ( k ). It follows that M ( k ), equipped with the commuting left and right actions of GRT ( k ) op and GRT ( k ) op , is a subbitorsor of G DR B , ( k ).

## 3.7. Groups corresponding to some torsors and their interrelations.

Theorem 3.14. (a) The group attached, in the sense of Lemma 1.12, (a), to the subtorsor Stab ( ˆ ∆ W , DR B / )( k ) (resp., Stab ( ˆ ∆ M , DR B / )( k ) , DMR DR B , ( k ) , DMR µ ( k ) ) of the torsor G DR B , ( k ) is the subgroup Stab ( ˆ ∆ W , B )( k ) (resp., Stab ( ˆ ∆ M , B )( k ) , DMR B ( k ) , DMR B 0 ( k ) ) of G B ( k ) .

- (b) The following inclusions hold between subgroups of G B ( k ) :

$$G T ^ { \text{op} } ( { \mathbf k } ) \subset DMR ^ { B } ( { \mathbf k } ) \subset Stab( \hat { \Delta } ^ { \mathcal { M }, B } ) ( { \mathbf k } ) \subset Stab( \hat { \Delta } ^ { \mathcal { W }, B } ) ( { \mathbf k } ).$$

Proof. (a) follows from the fact that for any bitorsor G X H , there is a unique group isomorphism H → Aut G ( X ) (see § 1.2). Then (b) follows from Lemma 1.13 from the present paper, Theorem 3.1 in [EF2] and Lemma-Definition 3.10 from the present paper. /square

Remark 3.15. [DeG] contains the construction of a Q -linear neutral Tannakian category T := MT( ) Z Q of mixed Tate motives over Z , equipped with 'Betti' and 'de Rham' fiber functors as in Lemma 1.8. It leads to the construction Iso ⊗ ( ω , ω B DR )( k ), which is a bitorsor under the left (resp. right) actions of Aut ⊗ ( ω B )( k ) (resp. Aut ⊗ ( ω DR )( k )). There is a morphism from this bitorsor to the associator bitorsor M ( k ) (see [Andr]), which in its turn is equipped with morphisms to the bitorsors of Lemmas 3.3, 3.6, 3.9, 3.11. This explains the namings 'De Rham' and 'Betti' and for the left and right sides of these bitorsors.

## 3.8. Scheme-theoretic and Lie algebraic aspects. The assignments

↦

(3.8.1) { Q -algebras } /owner k → G B ? ( k ) , ( G V ( ˆ B ) , /circleasterisk ) , GT ( k ) op , DMR B ?? ( k ) , Stab ( ˆ ∆ ??? DR , )( k ) ,

↦

where ? stands for no index or quad, ?? stands for no index or 0, ??? stands for M or W , are Q -group schemes. Recall that the Lie algebra of a Q -group scheme k → G ( k ) is defined as Ker( G ( Q [ /epsilon1 ] / /epsilon1 ( 2 )) → G ( Q )); it is a Q -Lie algebra. Let

$$\mathfrak { g } _ {? } ^ { B }, \ g _ { 0 } ^ { B }, \ g t ^ { \text{op} }, \ \partial m r _ {?? } ^ { B }, \ s t a b ( \hat { \Delta } ^ {???, B } ),$$

be the Lie algebras of the Q -group schemes (3.8.1).

Denote with an index Q the objects and morphisms of § 2.1 corresponding to k = Q . The primitive part of ˆ V B Q = ( Q F 2 ) ∧ with respect to ∆ ˆ V , B Q is the complete Lie algebra Lie F 2 ( Q ),

topologically generated by the free family log X 0 , log X 1 , where log is the logarithm map 1 + ( ˆ V B Q ) + → V ( ˆ B Q ) + .

↦

↦

Let D be the derivation of Lie F 2 ( Q ) defined by log X i → log X i , for i = 0 1. For , x ∈ Lie F 2 ( Q ), let D x be the derivation of Lie F 2 ( Q ) defined by log X 0 → [ x, log X 0 ], log X 1 → 0.

↦

Lemma 3.16 (see [D]) . (a) g B is a complete Lie algebra, of which gt op and g B 0 are complete Lie subalgebras.

(b) g B = Q ⊕ Lie F 2 ( Q ) , with Lie bracket 〈 ( ν, x ) , ( ν , x ′ ′ ) 〉 = νD x ( ′ ) -ν D x ′ ( ) + D x ( x ′ ) -D x ′ ( x ) -[ x, x ′ ] ; g B is the Lie subalgebra Lie F 2 ( Q ) .

(c) gt op is the subspace of g B defined by relations (5.5) to (5.7) in [D] .

For ( ν, x ) ∈ g B , set

(3.8.2) der V , (1) B , ( ν,x ) := νD + D x ∈ End Q ( ˆ V B Q ) , der V , (10) B , ( ν,x ) := νD + D x + r x ∈ End ( ˆ Q V B Q ) .

Then der V , (1) B , ( ν,x ) restricts to an endomorphism der W , (1) B , ( ν,x ) ∈ End ( ˆ Q W B Q ), and der V , (10) B , ( ν,x ) induces an endomorphism der M , (10) B , ( ν,x ) ∈ End ( ˆ Q M B Q ).

For x ∈ Lie F 2 ( Q ), set

$$\gamma _ { x } ( t ) \coloneqq \sum _ { n \geq 1 } ( - 1 ) ^ { n + 1 } ( x | ( \log X _ { 0 } ) ^ { n - 1 } \log X _ { 1 } ) t ^ { n } / n \in \mathbb { Q } [ [ t ] ]$$

and for ( ν, x ) ∈ g B , set

$$( 3. 8. 3 ) & & \Gamma _ { \text{der} } ^ { \mathcal { W }, ( 1 ), B } _ { ( \nu, x ) } \coloneqq \text{der} ^ { \mathcal { W }, ( 1 ), B } _ { ( \nu, x ) } - \text{ad} _ { \gamma _ { x } ( - \log X _ { 1 } ) } \in \text{End} _ { Q } ( \hat { \mathcal { W } } ^ { B } _ { Q } ),$$

$$( 3. 8. 4 ) & & \Gamma _ { \text{der} } ^ { \mathcal { M }, ( 1 0 ), B } _ { ( \nu, x ) } \coloneqq \text{der} ^ { \mathcal { M }, ( 1 0 ), B } _ { ( \nu, x ) } - \ell _ { \gamma _ { x } ( - \log X _ { 1 } ) } \in \text{End} _ { Q } ( \hat { \mathcal { M } } ^ { B } _ { \text{Q} } ).$$

Lemma 3.17. (a) g B quad , dmr B ?? and stab ( ˆ ∆ ??? B , ) are complete Lie subalgebras of g B .

- (b) g B quad = { ( ν, x ) ∈ g B | ( x | log X 0 ) = ( x | log X 1 ) = 0 , ν = 12( x | log X 0 log X 1 ) } .
- (c) stab ( ˆ ∆ W , B ) is the set of elements ( ν, x ) ∈ g B such that ( der Γ W , (1) B , ( ν,x ) ⊗ id+id ⊗ Γ der W , (1) B , ( ν,x ) ) ◦ ˆ ∆ W , B Q = ˆ ∆ W , B Q ◦ Γ der W , (1) B , ( ν,x ) (equality in Hom ( ˆ Q W B Q , ( W B Q ) ⊗ 2 , ∧ ) ).

(d) stab ( ˆ ∆ M , B ) is the set of elements ( ν, x ) ∈ g B such that ( der Γ M , (10) B , ( ν,x ) ⊗ id+id ⊗ Γ der M , (10) B , ( ν,x ) ) ◦ ˆ ∆ M , B Q = ˆ ∆ M , B Q ◦ Γ der M , (10) B , ( ν,x ) (equality in Hom ( ˆ Q M B Q , ( M B Q ) ⊗ 2 , ∧ ) ).

(e) dmr B = g B quad ∩ stab ( ˆ ∆ M , B ) and dmr B 0 = g B 0 ∩ g B quad ∩ stab ( ˆ ∆ M , B ) .

Proof. (b), (c), (d) are obtained by linearization. (e) follows from the equalities DMR B ( k ) = G B quad ( k ) ∩ Stab ( ˆ ∆ M , DR B / )( k ) and DMR B 0 ( k ) = DMR B ( k ) ∩ G V ( ( ˆ B ) , /circleasterisk ) (see Lemmas 3.10, 3.12). (a) follows from (b)-(e). /square

Remark 3.18. The endomorphisms der ? ( ν,x ) , Γ der ?? ( ν,x ) are Lie algebraic analogues of the automorphisms aut ? ( µ,g ) , Γ aut ?? ( µ,g ) , where ? (resp. ??) takes the values ( X , B , α ), with ( X , α ) in { V ( , (1)) , ( V , (10)) , ( W , (1)) , ( M , (10)) } (resp. in { W ( , (1)) , ( M , (10)) } ), in particular, any of the maps taking ( ν, x ) to one of these endomorphisms is a representation of g B .

Corollary 3.19. The following inclusions between Lie subalgebras of g B hold: (a) gt op ⊂ dmr B , (b) stab ( ˆ ∆ M , B ) ⊂ stab ( ˆ ∆ W , B ) .

$$\text{Proof. This follows directly from Theorem 3.14.}$$

3.9. Relation with Hopf algebra and coalgebra isomorphism bitorsors. Recall that a module-coalgebra over a (topological) k -Hopf algebra ( W, ∆ W ) is a coassociative counital (topological) k -coalgebra ( M, ∆ M ), equipped with a map W ⊗ M → M which both defines an action of W (viewed as an associative k -algebra) on M (viewed as a k -module) and a morphism of counital k -coalgebras ( W ⊗ M being equipped with the tensor product coalgebra structure). Denote by k -HAMC the category of pairs (( W, ∆ W ) , ( M, ∆ M )) of a k -Hopf algebra and a module-coalgebra over it. It fits in a commutative diagram of forgetful functors

(3.9.1)

/d111

/d111

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00444v5-figure-b44bdce4-30ab-4105-b002-5f8bc6e15c51.jpg)

/d15

/d15

/d15

/d15

/d15

/d111

/d111

/d47

/d47

where k -Hopf (resp. k -coalg, k -mod) is the category of k -Hopf algebras (resp. k -coalgebras, k -modules), in which the vertical functors are faithful. A pair of isomorphic objects in k -HAMC then induces a commutative diagram of isomorphism bitorsors, where the vertical maps are bitorsor inclusions.

↦

If C is a category and ω → X ω is a map { B DR , } → Ob( C ), let us denote by Iso C ( X DR B / ) the bitorsor of isomorphisms Iso C ( X ,X B DR ). If X ω is given by a tuple ( A ,B ,... ω ω ), we set ( A,B,... ) ω := ( A ,B ,... ω ω ).

Lemma 3.20. Let (( W , ω ∆ ω W ) , ( M , ω ∆ ω M )) , ω ∈ { B DR , } be a pair of isomorphic objects in k -HAMC such that M B is free of rank one over W B with generator 1 B M and such that ∆ B M (1 B M ) ∈ (( W B ) ⊗ 2 ) × · (1 B M ) ⊗ 2 . Then the commutative diagram of bitorsors

/d111

/d111

/d15

$$\begin{array} { c } I s o _ { k \text{-coalg} } ( ( M, \Delta _ { M } ) ^ { \text{DR} / B } ) \xleftarrow { \text{Iso} _ { k \text{-HAMC} } ( ( ( W, \Delta _ { W } ), ( M, \Delta _ { M } ) ) ^ { \text{DR} / B } ) } \\ \Big | \\ I s o _ { k \text{-mod} } ( M ^ { \text{DR} / B } ) \xleftarrow { \text{Iso} _ { k \text{-alg} \text{-mod} } ( ( W, M ) ^ { \text{DR} / B } ) } \end{array}$$

/d15

/d15

/d15

/d111

/d111

induced by the left square of (3.9.1) is Cartesian (see Definition 1.3).

Proof. The argument follows that of [EF2], § 3.4. Let ( c W , c M ) ∈ Iso k -alg-mod (( W,M ) DR B / ) be such that c M ∈ Iso k -coalg (( M, ∆ M ) DR B / ). Then for w ∈ W B ,

$$& c _ { W } ^ { \otimes 2 } ( \Delta _ { W } ^ { B } ( w ) ) \cdot c _ { M } ^ { \otimes 2 } ( \Delta _ { M } ^ { B } ( 1 _ { M } ^ { B } ) ) = c _ { M } ^ { \otimes 2 } ( \Delta _ { W } ^ { B } ( w ) \cdot \Delta _ { M } ^ { B } ( 1 _ { M } ^ { B } ) ) = c _ { M } ^ { \otimes 2 } ( \Delta _ { M } ^ { B } ( w \cdot 1 _ { M } ^ { B } ) ) = \Delta _ { M } ^ { \text{DR} } ( c _ { M } ( w \cdot 1 _ { M } ^ { B } ) ) \\ & = \Delta _ { M } ^ { \text{DR} } ( c _ { W } ( w ) \cdot c _ { M } ( 1 _ { M } ^ { B } ) ) = \Delta _ { W } ^ { \text{DR} } ( c _ { W } ( w ) ) \cdot \Delta _ { M } ^ { \text{DR} } ( c _ { M } ( 1 _ { M } ^ { B } ) ) = \Delta _ { W } ^ { \text{DR} } ( c _ { W } ( w ) ) \cdot c _ { M } ^ { \otimes 2 } ( \Delta _ { M } ^ { B } ( 1 _ { M } ^ { B } ) )$$

by the various axioms. Then c ⊗ 2 M (∆ B M (1 B M )) ∈ c ⊗ 2 M ((( W B ) ⊗ 2 ) × · (1 B M ) ⊗ 2 ) = c ⊗ 2 W ((( W B ) ⊗ 2 ) × ) · c M (1 B M ) ⊗ 2 ⊂ (( W DR ) ⊗ 2 ) × · c M (1 B M ) ⊗ 2 and which together with the fact that c M (1 B M ) is a generator of M DR as a free W DR -module implies c ⊗ 2 W (∆ B W ( w )) = ∆ DR W ( c W ( w )) therefore therefore c ⊗ 2 W ◦ ∆ B W ◦ c -1 W = ∆ DR W . It follows that the Hopf algebra structure on W B pulled back from the Hopf algebra structure of W DR has coproduct ∆ B W . The uniqueness of the counit in a coalgebra in a symmetric monoidal category (proved by dualyzing the standard argument proving the uniqueness of the unit in an algebra) and of the antipode in a bialgebra in such a category (based on the argument of [Sw], p. 71) then imply that the pull-back on W B of the Hopf algebra structure of W DR is the Hopf algebra structure of W B , therefore c W ∈ Iso k -Hopf ( W DR B / ) so ( c W , c M ) ∈ Iso k -HAMC ((( W, ∆ W ) , ( M, ∆ M )) DR B / ). /square

↦

↦

Lemma 3.21. (a) For ω ∈ { B DR , } , (( ˆ W ω , ∆ W ,ω ) , ( ˆ M ω , ∆ M ,ω )) is an object in k -HAMC . (b) The map ( µ, Φ) → ( Γ comp W , (1) ( µ, Φ) , Γ comp M , (10) ( µ, Φ) ) defines a bitorsor morphism G DR B , ( k ) → Iso k -alg-mod (( ˆ W M , ˆ ) DR B / ) . Its composition with the bitorsor morphism to Iso k -alg ( ˆ W DR B / ) (resp. Iso k -mod ( ˆ M DR B / ) ) is ( µ, Φ) → Γ comp M , (1) ( µ, Φ) .

Proof. The ω = DR part of (a) follows from §§ 1.1 and 1.2 in [EF1], and its ω = B part follows from §§ 2.1 and 2.4 in loc. cit . (b) follows from [EF2], Lemmas 1.21 to 1.24. /square

Lemma 3.21 leads to a diagram of bitorsors (3.9.2)

/d127

/d15

/d15

/d15

/d15

/d15

/d15

/d79

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00444v5-figure-32b2bb76-d9e2-4bff-bd01-c73ec083eeb7.jpg)

/d111

/d111

/d95

/d127

/d95

/d127

/d95

/d111

/d111

/d47

/d47

/d79

which, by denoting each of the bitorsors Iso k -C ( X DR B / ) of (3.9.2) by T C leads to a diagram of preimage subbitorsors of G DR B , ( k ):

$$( 3. 9. 3 ) \quad \ G ^ { \text{DR}, B } ( \mathbf k ) \times _ { T _ { \text{mod} } } T _ { \text{coal} g } \supset G ^ { \text{DR}, B } ( \mathbf k ) \times _ { T _ { \text{alg} \text{mod} } } T _ { \text{HAMC} } \subset G ^ { \text{DR}, B } ( \mathbf k ) \times _ { T _ { \text{alg} } } T _ { \text{Hopf} }$$

Lemma 3.22. (a) The subbitorsor G DR B , ( k ) × T mod T coalg of G DR B , ( k ) coincides with Stab ( ˆ ∆ M , DR B / )( k ) .

- (b) The subbitorsor G DR B , ( k ) × T alg T Hopf of G DR B , ( k ) coincides with Stab ( ˆ ∆ W , DR B / )( k ) .
- (c) The subbitorsors G DR B , ( k ) × T mod T coalg and G DR B , ( k ) × T alg-mod T HAMC of G DR B , ( k ) are equal.

Proof. (a) Let ( µ, Φ) ∈ G DR B , ( k ). Then ( µ, Φ) ∈ G DR B , ( k ) × T mod T coalg iff Γ comp M , (10) ( µ, Φ) : ( ˆ M B , ˆ ∆ M , B ) → M ( ˆ DR , ˆ ∆ M , DR ) is a coalgebra isomorphism. This implies the equality ( Γ comp M , (10) ( µ, Φ) ) ⊗ 2 ◦ ˆ ∆ M , B ◦ ( Γ comp M , (10) ( µ, Φ) ) -1 = ∆ ˆ M , DR . Therefore ( µ, Φ) ∈ Stab ( ˆ ∆ M , DR B / ). Conversely, if

/d47

/d47

( µ, Φ) ∈ Stab ( ˆ ∆ M , DR B / ), then the counital coalgebra structure on ˆ M B pulled back from that of ˆ M DR has coproduct ∆ ˆ M , B . By the uniqueness of the counit in a coalgebra, the counit of the pulled back coalgebra structure necessarily coincides with that of ˆ M B , therefore Γ comp M , (10) ( µ, Φ) is a coalgebra isomorphism, so that ( µ, Φ) ∈ G DR B , ( k ) × T mod T coalg .

- (b) The proof is similar to (a), using in addition to the uniqueness of the counit in a coalgebra, the uniqueness of the antipode in a bialgebra (see the argument of Lemma 3.20).

(c) Let ( µ, Φ) ∈ G DR B , ( k ). Then ( µ, Φ) ∈ G DR B , ( k ) × T alg-mod T HAMC iff ( Γ comp W , (1) ( µ, Φ) , Γ comp M , (10) ( µ, Φ) ) belongs to T HAMC . By Lemma 3.20, this condition is equivalent to the conjunction of

$$( ^ { \Gamma } \text{comp} _ { ( \mu, \Phi ) } ^ { \mathcal { W }, ( 1 ) }, ^ { \Gamma } \text{comp} _ { ( \mu, \Phi ) } ^ { \mathcal { M }, ( 1 0 ) } ) \in T _ { \text{alg-mod} }$$

and Γ comp W , (1) ( µ, Φ) ∈ T Hopf . Since ( Γ comp W , (1) ( µ, Φ) , Γ comp M , (10) ( µ, Φ) ) belongs to T alg-mod , this conjunction is equivalent to Γ comp W , (1) ( µ, Φ) ∈ T Hopf , i.e. ( µ, Φ) ∈ G DR B , ( k ) × T alg T Hopf . /square

The combination of Lemma 3.22 and (3.9.3) then enables one to recover the inclusion Stab ( ˆ ∆ M , DR B / ) ⊂ Stab ( ˆ ∆ W , DR B / ) of subbitorsors of G DR B , ( k ) (see Theorem 3.14).

One the other hand, it follows from Lemma 3.22 (a), (b) that the bitorsor inclusion M ( k ) ⊂ Stab ( ˆ ∆ M , DR )( k ) (see Theorem 3.14), which essentially relies on the geometric interpretation of ∆ M , DR (see [EF1]), is equivalent to the existence of a bitorsor morphism M ( k ) → Iso k -HAMC ((( ˆ W , ˆ ∆ W ) , ( ˆ M , ˆ ∆ M )) DR B / ) such that the diagram

/d127

/d47

/d47

/d95

/d127

/d95

/d15

/d15

/d47

/d47

/d15

/d15

$$M ( k ) \xrightarrow { \text{Iso} _ { k - H A M C } ( ( ( \hat { \mathcal { W } }, \hat { \Delta } ^ { \mathcal { W } } ), ( \hat { \mathcal { M } }, \hat { \Delta } ^ { \mathcal { M } } ) ) ^ { \text{DR} / B } ) } \\ G ^ { \text{DR}, B } ( k ) \xrightarrow { \text{Iso} _ { k - \text{alg-mod} } ( ( \hat { \mathcal { W } }, \hat { \mathcal { M } } ) ^ { \text{DR} / B } ) }$$

commutes.

## 4. Equivalent definitions of DMR B ( k ) and its Lie algebra

In this section, we prove that the group DMR B ( k ) can be given by a definition, alternative to Lemma-Definition 3.10 ( 4.1, Theorem 4.5). § This result should be viewed as a 'Betti' counterpart to [EF0], Theorem 1.2 and [EF2], Lemma 3.8. In § 4.2, we draw the Lie algebraic consequence of this result, which is a counterpart of [EF0], Theorem 3.1 and [EF2], Corollary 3.12, (b).

- 4.1. Equivalent definition of DMR B ( k . ) The following results are analogues of Lemmas 1.17 and 3.5 from [EF2].

↦

↦

Lemma 4.1. The map ( µ, g ) → Γ aut M , (10) B , ( µ,g ) exhibits the following compatibility with the map ( λ, ϕ ) → Γ comp M , (10) ( λ,ϕ ) and with the right action of G B ( k ) on G DR ( k ) (see Definition 2.12): for ( λ, ϕ ) ∈ G DR ( k ) and ( µ, g ) ∈ G B ( k ) , one has Γ comp M , (10) ( λ,ϕ ) /circleasterisk iso G ( µ,g ) = Γ comp M , (10) ( λ,ϕ ) ◦ Γ aut M , (10) B , ( µ,g ) .

↦

Proof. One combines the identity Γ aut M , (10) B , ( µ,g ) = (iso M -) 1 ◦ Γ aut M , (10) DR , iso G ( µ,g ) ◦ iso M with the identity (1.7.2) from the proof of Lemma 1.17 in [EF2] and with the group morphism property of the map ( G DR ( k ) , /circleasterisk ) → Aut k -mod ( ˆ M DR ), ( µ, g ) → Γ aut M , (10) DR , ( µ,g ) proved there.

Lemma 4.2. Let ( µ, g ) ∈ G B ( k ) , then Γ aut M , (10) B , ( µ,g ) (1 B ) = (Γ g ( -log X 1 ) -1 · g ) · 1 B .

Proof. One has Γ aut V , (10) B , ( µ,g ) (1 B ) = g by (2.1.2), which by Lemma-Definition 2.5 implies aut M , (10) B , ( µ,g ) (1 B ) = g · 1 B . Then Lemma-Definition 2.9 implies the result. /square

Lemma 4.3. Let ( λ, ϕ ) ∈ M ( k ) . If ( µ, g ) ∈ G B ( k ) , then the topological k -module isomorphism Γ comp M , (10) ( λ,ϕ ) : ˆ M → M B ˆ DR takes (Γ -1 g ( -log X 1 ) · g ) · 1 B to (Γ -1 ϕ /circleasterisk ( λ · iso G ( g )) ( -e 1 ) · ( ϕ /circleasterisk ( λ · iso G ( g )))) · 1 DR (with the notation as in [EF2] , § 1.6).

## Proof. One has

$$& ( \Gamma _ { \varphi \circledast ( \lambda \bullet \mathrm i s o ^ { G } ( g ) ) } ^ { - 1 } ( - e _ { 1 } ) \cdot ( \varphi \circledast ( \lambda \bullet \mathrm i s o ^ { G } ( g ) ) ) ) \cdot 1 _ { D R } = \, \Gamma _ { \text{comp} _ { ( \lambda, \varphi ) \circledast \mathrm i s o ^ { G } ( \mu, g ) } } ^ { \mathcal { M }, ( 1 0 ) } ( 1 _ { B } ) \\ & = \, \Gamma _ { \text{comp} _ { ( \lambda, \varphi ) } } ^ { \mathcal { M }, ( 1 0 ) } \circ \, \Gamma _ { \text{aut} _ { ( \mu, g ) } } ^ { \mathcal { M }, ( 1 0 ), B } ( 1 _ { B } ) = \, \Gamma _ { \text{comp} _ { \varphi } } ^ { \mathcal { M }, ( 1 0 ) } ( ( \Gamma _ { g } ^ { - 1 } ( - \log X _ { 1 } ) \cdot g ) \cdot 1 _ { B } ),$$

where the first equality follows from applying Lemma 3.5 from [EF2] to ( λ, ϕ ) /circleasterisk iso G ( µ, g ) = ( λµ, ϕ /circleasterisk ( λ · iso G ( g ))) (see [EF2], (1.6.2)), the second equality follows from applying Lemma 4.1 to 1 B , and the third one follows from applying Lemma 4.2 to ( µ, g ). /square

Lemma 4.4. Let ( λ, ϕ ) ∈ M ( k ) . The topological k -module isomorphism Γ comp M , (10) ( λ,ϕ ) : ˆ M → B ∼ ˆ M DR restricts to a bijection G M ( ˆ B ) ∼ →G M ( ˆ DR ) , where G denotes the group-like parts of ˆ M B (resp. ˆ M DR ) for ˆ ∆ M , B (resp. ˆ ∆ M , DR ).

Proof. This follows from the fact that Γ comp M , (10) ( λ,ϕ ) intertwines ∆ ˆ M , B and ∆ ˆ M , DR , see [EF1], Theorem 3.1 (a), (b) and Definition 2.17. /square

Theorem 4.5. DMR B ( k ) is equal to the set of G B ( k ) of pairs ( µ, g ) satisfying the following conditions:

- (1) (Γ -1 g ( -log X 1 ) · g ) · 1 B ∈ G M ( ˆ B ) , where Γ g is as in Definition 2.6;
- (2) ( g | log X 0 ) = ( g | log X 1 ) = 0 , µ 2 = 1 + 24( g | log X 0 log X 1 ) .

Proof. It follows from [D], Proposition 5.3 that M 1 ( Q ) = M ( Q ) ∩ { } × G V ( 1 ( ˆ DR )) is nonempty. Let us denote by (1 , ϕ ) ∈ M ( k ) the image of an element of M 1 ( Q ). Then, by [EF2], Theorem 3.1 (a), (1 , ϕ ) ∈ DMR DR B , ( k ).

Let ( µ, g ) ∈ G B ( k ). The right torsor property of DMR DR B , ( k ) under the action of DMR B ( k ) as in Definition 2.12 (see Lemma 3.11) implies the equivalence

$$( ( \mu, g ) \in D M R ^ { B } ( \mathbf k ) ) \iff ( ( 1, \varphi ) \circledast \text{iso} ^ { G } ( \mu, g ) \in D M R ^ { \text{DR}, B } ( \mathbf k ) ) ;$$

the equality (1 , ϕ ) /circleasterisk iso G ( µ, g ) = ( µ, ϕ /circleasterisk iso G ( g )) (see [EF2], (1.6.2)) and [EF2], Definition 2.12 implies the equivalence

$$( ( 1, \varphi ) \circledast \text{iso} ^ { G } ( \mu, g ) \in DMR ^ { \text{DR}, B } ( \mathbf k ) ) \iff ( \text{a} ) \text{ and } ( b ) ),$$

where (a), (b) are the following statements:

$$( \Gamma _ { \varphi \circledast \mathrm i s o ^ { \mathcal { G } } ( g ) } ^ { - 1 } ( - e _ { 1 } ) \cdot ( \varphi \circledast \mathrm i s o ^ { \mathcal { G } } ( g ) ) ) \cdot 1 _ { \mathrm D R } \in \mathcal { G } ( \hat { \mathcal { M } } ^ { \mathrm D R } )$$

$$( b ) \, ( 1, \varphi ) \otimes \underset { \sim \sim \sim } { \overset { r } { \sim } } ^ { \dots \dots } \underset { \sim \sim \sim } { \overset { r } { \sim } } ( \mu, g ) \in G _ { q u a d } ^ { \text{DR}, B } ( \mathbf k ).$$

The fact that G DR B , quad ( k ) G B quad ( k ) is a subtorsor of the right torsor G DR ( k ) G B ( k ) and the inclusions (1 , ϕ ) ∈ DMR DR B , ( k ) ⊂ G DR B , quad ( k ) imply the equivalence

$$( b ) \iff ( ( \mu, g ) \in G _ { \text{quad} } ^ { \text{B} } ( \mathbf k ) ).$$

Lemmas 4.3 and 4.4 imply the equivalence

$$( \mathbf a ) \, \Longleftrightarrow \, [ ( \Gamma _ { g } ^ { - 1 } ( - e _ { 1 } ) \cdot g ) \cdot 1 _ { B } \in \mathcal { G } ( \hat { \mathcal { M } } ^ { B } ) ].$$

The above equivalences combine into ( g ∈ DMR B ( k )) ⇐⇒ [(( µ, g ) ∈ G B quad ( k )) and (Γ -1 g ( -e 1 ) · g ) · 1 B ∈ G M ( ˆ B )], which by Definition 3.1 yields the announced equivalence. /square

## Remark 4.6. Be [EF1] Lemma 9.5 and Remark 9.6, we have

$$\Gamma _ { \varphi } ( t ) \Gamma _ { \varphi } ( - t ) = \frac { \mu t } { e ^ { \mu t / 2 } - e ^ { - \mu t / 2 } }$$

for ( µ, ϕ ) ∈ DMR DR B , ( k ). While for ( µ , ϕ ′ ′ ) := ( µ, ϕ ) · ( λ, g ) ∈ DMR DR B , ( k ) with ( µ, ϕ ) ∈ DMR DR B , ( k ) and ( λ, g ) ∈ DMR B ( k ), we have µ ′ = µλ and ( ϕ e ′ | k -1 0 e 1 ) = ( ϕ e | k -1 0 e 1 ) + µ k ( g | (log X 0 ) k -1 (log X 1 )). Hence we have Γ ϕ ′ ( )Γ t ϕ ′ ( -t ) = Γ ϕ ( )Γ t g ( µt )Γ ϕ ( -t )Γ ( g -µt , ) from which we learn that

$$\Gamma _ { g } ( t ) \Gamma _ { g } ( - t ) = \lambda \frac { e ^ { t / 2 } - e ^ { - t / 2 } } { e ^ { \lambda t / 2 } - e ^ { - \lambda t / 2 } }$$

for any ( λ, g ) ∈ DMR B ( k ).

Remark 4.7. Theorem 4.5 should be related to the following set of results. In [R], it is proved that a subset of G DR ( k ) defined by de Rham analogues of conditions (1) and (2) of Theorem 4.5 is a subgroup. This result is used in [EF0] to prove the equality of this subset with a stabilizer subgroup of G DR ( k ) (up to degree ≤ 2 conditions). Theorem 4.5, based on [EF0], is the Betti counterpart of this result; it implies in particular the Betti analogue of the result of [R], namely that that the subset of G B ( k ) defined by conditions (1) and (2) in Theorem 4.5 is a subgroup. Whereas the proof of this result is based on those of [EF0, R], the authors do not know of a proof independent of these results.

## 4.2. Equivalent definition of dmr B . For x ∈ Lie F 2 ( Q ), set

$$\gamma _ { x } ( t ) \coloneqq \sum _ { n \geq 1 } ( - 1 ) ^ { n + 1 } ( x | ( \log X _ { 0 } ) ^ { n - 1 } \log X _ { 1 } ) / n \in \mathbb { Q } [ [ t ] ].$$

Proposition 4.8. dmr B = { ( ν, x ) ∈ g B | ( x | log X 0 ) = ( x | log X 1 ) = 0 , ν = 12( x | log X 0 log X 1 ) , ( x + γ x ( -log X 1 )) · 1 B ∈ P M ( ˆ B Q ) } , where P M ( ˆ B Q ) := { m ∈ M | ˆ B Q ˆ ∆ M , B ( m ) = m ⊗ 1 B +1 B ⊗ m } .

Proof. This follows from the combination of Theorem 4.5 and the identification of dmr B with the kernel of the group morphism DMR B ( Q [ /epsilon1 ] / /epsilon1 ( 2 )) → DMR B ( Q ). /square

## 5. A discrete group DMR B

In § 5.1, we define a discrete group DMR B , which is an analogue of the discrete counterpart GT of the group scheme GT ( -), and we compute it in § 5.2 (see Proposition 5.10).

## 5.1. Definition of DMR B . Recall the group inclusions

$$G T ( \mathbb { Q } ) ^ { \text{op} } \hookrightarrow D M R ^ { \text{B} } ( \mathbb { Q } ) \hookrightarrow \mathbb { Q } ^ { \times } \ltimes F _ { 2 } ( \mathbb { Q } ).$$

The last of these groups contains the semigroup {± } 1 /multicloseleft F 2 . Then GT := GT ( Q ) ∩ {± } ( 1 /multicloseleft F 2 ) op is a semigroup (see [D], § 4), equal to {± } 1 (see [D], Proposition 4.1).

Define similarly a semigroup

$$D M R ^ { B } \coloneqq D M R ^ { B } ( \mathbb { Q } ) \cap ( \{ \pm 1 \} \ltimes F _ { 2 } ).$$

↦

5.2. Computation of DMR B . Let ev V : V B Q → Q F 1 be the algebra morphism induced by X 0 → 1, X 1 → X ( Q F 1 being the algebra of the free group F 1 with one generator X ). Since it takes X 0 -1 to 0, it induces a module morphism ev M : M → B Q Q F 1 compatible with the algebra morphism ev V . We denote by ev W : W B Q → Q F 1 the restriction of ev V to W B Q . Then ev M is also compatible with the algebra morphism ev W .

↦

Lemma 5.1. (a) ev W is a Hopf algebra morphism, its source being equipped with ∆ W , B and its target with the group Hopf algebra structure.

(b) ev M is a coalgebra morphism, its source being equipped with ∆ M , B and its target with the same structure as above.

↦

↦

↦

↦

Proof. By [EF1], Propositions 2.3 and 2.4, W B Q is generated by the elements Y ± n ( n &gt; 0), X ± 1 1 , where Y ± n := ( X ± 1 0 -1) n -1 X ± 1 0 (1 -X ± 1 1 ); ev W is such that X ± 1 1 → X ± 1 , Y ± n → 0 and the coproducts are such that X ± 1 1 → X ± 1 1 ⊗ X ± 1 1 , Y ± n → Y ± n ⊗ 1 + 1 ⊗ Y ± n + ∑ n ′ + n ′′ = n Y ± n ′ ⊗ Y ± n ′′ and X ± 1 → X ± 1 ⊗ X ± 1 ; all this implies (a). (a) implies the commutativity of the right square in

↦

/d111

/d111

/d47

/d47

/d15

/d15

/d111

/d111

/d15

/d15

/d47

/d47

/d15

/d15

$$\begin{array} { c } \mathcal { M } _ { Q } ^ { B } \xleftarrow { ( - ) \cdot 1 ^ { B } } \mathcal { W } _ { Q } ^ { B } \xrightarrow { e v ^ { w } } \mathbb { Q } F _ { 1 } \\ \Delta ^ { \mathcal { M }, B } _ { Q } \Big | \Big | _ { \Delta ^ { W, B } _ { Q } } ^ { \Delta ^ { W, B } } \Big | _ { \Delta _ { Q F _ { 1 } } } \\ ( \mathcal { M } _ { Q } ^ { B } ) ^ { \otimes 2 } \xleftarrow { ( \mathcal { M } _ { Q } ^ { B } ) ^ { \otimes 2 } } ( \mathcal { W } _ { Q } ^ { B } ) ^ { \otimes 2 } \xrightarrow { ( \mathbb { Q } F _ { 1 } ) ^ { \otimes 2 } } \end{array}$$

where ∆ Q F 1 is the coproduct of Q F 1 , while the commutativity of the left square follows from the definition of ∆ M , B . (b) then follows from the combination of these squares, and the fact that ( - · ) 1 B is a Q -vector space isomorphism. /square

↦

Since ev V is the algebra morphism underlying a group morphism F 2 → F 1 , it induces an algebra morphism ev V ∧ , : ˆ V B Q → ( Q F 1 ) ∧ . It follows that the morphisms ev X , X ∈ {W M} , induce morphisms ev X ∧ , between the completions of their sources and targets. We denote by iso : ( Q F 1 ) ∧ → Q [[ t ]] the isomorphism of topological Hopf algebras induced by X → e t .

Lemma 5.2. If g ∈ F 2 is such that (Γ -1 g ( -log X 1 ) g ) · 1 B ∈ G M ( ˆ B Q ) , then there exists λ ∈ Q such that Γ ( ) = g t e λt and g · 1 B ∈ G M ( B Q ) .

Proof. There exists a unique collection n, ( a i ) i ∈ [1 ,n ] , ( b i ) i ∈ [1 ,n ] , α, β , where n ≥ 0, the a , b i i are nonzero integers, and α, β are integers, such that

$$\stackrel { \lambda } { g } = X _ { 1 } ^ { \alpha } \$$

where ∏ n i =1 g i := g 1 · · · g n . One computes

$$\begin{array} {$$

Then ev W ( a ) = ev V ( a ) = X α + b 1 + ··· + b n . Since ev M ( g · 1 B ) = ev W ( a ), one obtains iso ◦ ev M ( g · 1 B ) = e ( α + b 1 + ··· + b n ) t . Then iso ◦ ev M (Γ ( g -log X 1 ) g · 1 B ) = iso ◦ ev W (Γ ( g -log X 1 )) · iso ◦ ev M ( g · 1 B ) = Γ -1 g ( -t ) e ( α + b 1 + ··· + b n ) t . Since iso ◦ ev M takes G M ( ˆ B Q ) to the set G ( Q [[ t ]]) of group-like elements of Q [[ t ]], Γ -1 g ( -t ) · e t ( α + b 1 + ··· + b n ) ∈ G ( Q [[ t ]]), and therefore Γ -1 g ( -t ) ∈ G ( Q [[ t ]]), so that there exists λ ∈ Q such that Γ g ( ) = t e λt .

Using the fact that e λ · log X 1 ∈ W ˆ B Q is group-like with respect to ∆ ˆ W , B , the module property of ∆ ˆ M , B with respect to ∆ ˆ W , B and (Γ -1 g ( -log X 1 ) g ) · 1 B ∈ G M ( ˆ B Q ), we obtain g · 1 B ∈ G M ( ˆ B Q ), therefore g · 1 B ∈ G M ( B Q ) as g · 1 B ∈ M B Q . /square

Set for a ∈ Z , Y a := X a 0 ( X 1 -1). One derives from [EF1], Proposition 2.3, that the algebra W B Q is presented by generators ( Y a ) a ∈ -{ } Z 0 , X ± 1 1 and relations X 1 · X -1 1 = X -1 1 · X 1 = 1. It follows that W B Q admits an algebra grading, for which deg( Y a ) = 1 for a ∈ Z - { } 0 and deg( X ± 1 1 ) = 0. For n ≥ 0, we denote by W n the part of W B Q of degree n . Then

$$\mathcal { W } _ { \mathbb { Q } } ^ { \mathrm B }$$

We also set W ≤ n := ⊕ m n ≤ W m .

Lemma 5.3. One has for any a &gt; 1 ,

(5.2.1)

$$\stackrel { \text{V.a.s.v.} } { \Delta ^ { W$$

Proof. As remarked in [EF1], proof of Proposition 2.4, the formal series s ± ( ) := 1+ t ∑ k ≥ 1 Y ± k t k are group-like for ∆ ˆ W , B . Then s ± ( ) = 1 + t tX ± 1 0 { 1 -t ( X ± 1 0 -1) } -1 (1 -X ± 1 1 ) = (1 + t -tX ± 1 0 ) -1 (1 + t -tX ± 1 0 X ± 1 1 ) = ˜ s ± ( u , ) where u := t/ (1 + t ) and ˜ s ± ( u ) := (1 -uX ± 1 0 ) -1 (1 -uX ± 1 0 X ± 1 1 ). It follows that the series ˜ s ± ( u ) are group-like. The expansions ˜ s ± ( u ) = 1 + ∑ k ≥ 1 u X k ± k 0 (1 -X ± 1 1 ) imply ˜ s + ( u ) = 1 -∑ k ≥ 1 u Y k k , which implies the first part of (5.2.1), and ˜ s -( u ) = 1+ ∑ k ≥ 1 u Y k -k X -1 1 , which together with the group-likeness of X 1 , implies its second part. /square

Remark 5.4. One can show that (5.2.1) remains valid for any a ∈ Z under the summation convention of [EF1], (2.4.9).

Lemma 5.5. The coproduct ∆ W , B : W → W B Q ( B Q ) ⊗ 2 is such that ∆ W , B ( W ≤ n ) ⊂ W ( ≤ n ) ⊗ 2 .

Proof. This follows that the equalities ∆ W , B ( X ± 1 1 ) = X ± 1 1 ⊗ X ± 1 1 and (5.2.1) for any a &gt; 0 (see [EF1], Proposition 2.4). /square

↦

↦

Lemma 5.6. There is an algebra morphism ∆ W , B mod : W B Q → W ( B Q ) ⊗ 2 , defined by X ± 1 1 → X ± 1 1 ⊗ X ± 1 1 and Y ± a →∓ ∑ a -1 a ′ =1 Y ± a ′ ⊗ Y ± ( a -a ′ ) for a &gt; 0 . Then ∆ W , B mod ( W n ) ⊂ W ⊗ 2 n and the diagram

(5.2.2)

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00444v5-figure-5643c198-e519-4dba-bce7-1990b9884e62.jpg)

/d15

/d15

/d15

/d47

/d47

commutes, where pr n : W ≤ n →W n is the projection on the highest degree component.

Proof. Immediate.

For a , . . . , a 1 n ∈ Z -{ } 0 , set

$$\mathcal { W } ( a _ { 1 }, \dots, a _ { n }$$

## Lemma 5.7.

$$\mathcal { W } _ { n } = \oplus _ { a _ { 1 }, \dots, a _ { n } \in \mathbb { Z } - \{ 0 \} } \mathcal { W } ( a _ { 1 }, \dots, a _ { n } )$$

Proof. This follows from the presentation of W B Q .

/square

For a ∈ Z -{ } 0 , set S a ( ) := { ( a , a ′ ′′ ) ∈ Z -{ } | 0 sgn( a ′ ) = sgn( a ′′ ) = sgn( a ) and a ′ + a ′′ = a } .

Lemma 5.8. For a , . . . , a 1 n ∈ Z -{ } 0 , one has

$$\Delta _ { \text{mod} } ^ { \mathcal { W }, \text{B} } ( \mathcal { W } ( a _ { 1 }, \dots, a _ { n } ) ) \subset \oplus _ { ( a _ { 1 } ^ { \prime }, a _ { 1 } ^ { \prime \prime } ) \in S ( a _ { 1 } ), \dots, ( a _ { n } ^ { \prime }, a _ { n } ^ { \prime \prime } ) \in S ( a _ { n } ) } \mathcal { W } ( a _ { 1 } ^ { \prime }, \dots, a _ { n } ^ { \prime } ) \otimes \mathcal { W } ( a _ { 1 } ^ { \prime \prime }, \dots, a _ { n } ^ { \prime \prime } ).$$

Proof. This follows from (5.2.1).

/square

/square

Lemma 5.9. Let g ∈ F 2 . Then g · 1 B ∈ G M ( B Q ) iff there exist α, β ∈ Z , such that g = X X α 1 β 0 .

Proof. The group Z 2 acts on the set F 2 by ( α, β ) · g := X gX α 1 β 0 . For n ≥ 0, set

$$( F _ { 2 } ) _ { n } \coloneqq \{ X _ { 0 } ^ { a _ { 1 } } X _ { 1 } ^ { b _ { 1 } } \cdots X _ { 0 } ^ { a _ { n } } X _ { 1 } ^ { b _ { n } } \ | \ a _ { 1 }, \dots, b _ { n } \in \mathbb { Z } - \{ 0 \} \} \subset F _ { 2 }.$$

Then the composition

$$\sqcup _ { n \geq 0 } ( F _ { 2 } ) _ { n } \rightarrow F _ { 2 } \rightarrow F _ { 2 } / \mathbb { Z } ^ { 2 }$$

is a bijection.

Set S := { g ∈ F 2 | g · 1 B ∈ G M ( B Q ) } . One checks that S is stable under the action of Z 2 . It follows that

$$S = \sqcup _ { n \geq 0 } \mathbb { Z } ^ { 2 } \bullet ( ( F _ { 2 } ) _ { n } \cap S ).$$

One has

$$( 5. 2. 4 ) & & ( F _ { 2 } ) _ { 0 } \cap S = \{ e \}.$$

We now compute ( F 2 ) n ∩ S for n &gt; 0. Let g ∈ ( F 2 ) n . Let a , b 1 1 , . . . , a n , b n ∈ Z -{ } 0 be such that g = X a 1 0 X b 1 1 · · · X a n 0 X b n 1 and set

$$( 5. 2. 5 ) & \quad \lambda \cdot \cdot \cdot \cdot \cdot \\ & w ( g ) \coloneqq 1 + \sum _ { i = 1 } ^ { n } X _ { 0 } ^ { a _ { 1 } } X _ { 1 } ^ { b _ { 1 } } \cdots X _ { 0 } ^ { a _ { i } } ( X _ { 1 } ^ { b _ { i } } - 1 ) \in \mathcal { W } _ { \mathbb { Q } } ^ { B }. \\ - - & \quad \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

The summand in the right-hand side of (5.2.5) corresponding to index i belongs to W ≤ i and 1 ∈ W 0 . It follows that w g ( ) ∈ W ≤ n and that

$$w ( g ) \equiv X _ { 0 } ^ { a _ { 1 } } X _ { 1 } ^ { b _ { 1 } } \cdots X _ { 0 } ^ { a _ { n } } ( X _ { 1 } ^ { b _ { n } } - 1 ) \bmod \mathcal { W } _ { \leq n - 1 }.$$

Moreover the elements X a 1 0 X b 1 1 · · · X a n 0 ( X b n 1 -1) and X a 1 0 ( X b 1 1 -1) · · · X a n 0 ( X b n 1 -1) of W ≤ n are equivalent mod W ≤ -n 1 . All this implies that

$$w ( g ) \equiv Y _ { a _ { 1 } } \cdot \varphi _ { b _ { 1 } } ( X _ { 1 } ) \cdots Y _ { a _ { n } } \cdot \varphi _ { b _ { n } } ( X _ { 1 } ) \bmod \mathcal { W } _ { \leq n - 1 },$$

/negationslash where for b ∈ Z -{ } 0 , we set ϕ b ( ) := ( t t b -1) / t ( -1) ∈ Z [ t, t -1 ]. (5.2.6) and the fact that for b = 0, ϕ b = 0 implies that

/negationslash

$$\text{pr} _ { n } ( w ( g ) ) \in \mathcal { W } ( a _ { 1 }, \dots, a _ { n } ) - \{ 0 \}.$$

Assume now that g ∈ ( F 2 ) n ∩ S . One has g · 1 B = w g ( ) · 1 B , therefore g · 1 B ∈ G M ( B Q ) is equivalent to the group-likeness of w g ( ) ∈ W B Q for ∆ W , B . Since w g ( ) ∈ W ≤ n , the diagram (5.2.2) implies

$$\Delta _ { \text{mod} } ^ { \mathcal { M }, \text{B} } ( \text{pr} _ { n } ( w ( g ) ) ) = \text{pr} _ { n } ( w ( g ) ) ^ { \otimes 2 }$$

(equality in W ⊗ 2 n ). By Lemma 5.8, the left-hand side of (5.2.8) belongs to

$$\oplus _ { ( a _ { 1 } ^ { \prime }, a _ { 1 } ^ { \prime \prime } ) \in S ( a _ { 1 } ), \dots, ( a _ { n } ^ { \prime }, a _ { n } ^ { \prime \prime } ) \in S ( a _ { n } ) } \mathcal { W } ( a _ { 1 } ^ { \prime }, \dots, a _ { n } ^ { \prime } ) \otimes \mathcal { W } ( a _ { 1 } ^ { \prime \prime }, \dots, a _ { n } ^ { \prime \prime } ) \subset ( \mathcal { W } _ { n } ) ^ { \otimes 2 },$$

while the right-hand side belongs to

$$\mathcal { W } ( a _ { 1 }, \dots, a _ { n } ) \otimes \mathcal { W } ( a _ { 1 }, \dots, a _ { n } ) \subset ( \mathcal { W } _ { n } ) ^ { \otimes 2 }.$$

By the direct sum decomposition

$$\mathcal { W } _ { n } ^ { \otimes 2 } = \oplus _ { ( ( a _ { 1 }, b _ { 1 } ), \dots, ( a _ { n }, b _ { n } ) ) \in ( ( \mathbb { Z } - \{ 0 \} ) ^ { 2 } ) ^ { n } } \mathcal { W } ( a _ { 1 }, \dots, a _ { n } ) \otimes \mathcal { W } ( b _ { 1 }, \dots, b _ { n } )$$

/negationslash and since (( a , a 1 1 ) , . . . , ( a n , a n )) / S a ∈ ( 1 ) × · · · × S a ( n ) (as ( a, a ) / S a ∈ ( ) for any a = 0), both sides of (5.2.8) should be zero, which contradicts (5.2.7). All this implies that ( F 2 ) n ∩ S = ∅ for n &gt; 0. Together with (5.2.3) and (5.2.4), this implies Lemma 5.9. /square

Proposition 5.10. There is an isomorphism DMR B /similarequal {± } 1 .

Proof. One obviously has { ± ( 1 1) , } ⊂ DMR . Let us prove the opposite inclusion. Let B

$$( \mu, g ) \in \text{DMR} ^ { \text{B} } ( \mathbb { Q } ) \cap ( \{ \pm 1 \} ^ { \times } \times F _ { 2 } ).$$

By Lemmas 5.2 and 5.9, the condition that Γ -1 g ( -log X 1 ) g · 1 B ∈ G M ( ˆ B Q ) implies that for some α, β ∈ Z , one has g = X X α 1 β 0 . The conditions ( g | log X 0 ) = ( g | log X 1 ) = 0 then imply α = β = 0, therefore g = 1. This proves Proposition 5.10. /square

Remark 5.11. Using the proof of Proposition 5.10, one can prove the stronger result DMR B ( Q ) ∩ ( Q × × F 2 ) = {± } 1 . Indeed, this proof implies that if ( µ, g ) belongs to this intersection, then g = 1. The condition µ 2 = 1 + 24( g | log X 0 log X 1 ) then implies that µ = ± 1.

Remark 5.12. Proposition 5.10 is consistent with the conjectural equality of Lie algebras grt 1 = dmr 0 . Indeed, this equality is equivalent to DMR DR ( -) = GRT ( -), which via the isomorphism i (1 Φ) , , Φ ∈ M 1 ( Q ) is equivalent to DMR B ( -) = GT ( -), which upon taking rational points and intersecting with {± }× 1 F 2 implies the equality DMR B = GT, which is Proposition 5.10.

## 6. Prop aspects

In this section, we first recall some material on the relation between the prop and prounipotent completions of discrete groups ( 6.1), § p being a prime number. In § 6.2, we recall the definition of the prop analogue GT p of the Grothendieck-Teichm¨ller group, and we use the u results of § 6.1 to prove a statement of [D] on the relations of GT p with GT ( Q p ) (Corollary 6.14); we also make precise the relation between GT p and the semigroup GT p introduced in [D] (Proposition 6.15). We then define a group DMR B p (see Definition 6.16) and show that it fits in a commutative diagram, which makes it into a natural prop analogue of the group scheme DMR B ( -) ( § 6.3).

## 6.1. Prop and prounipotent completions of discrete groups.

6.1.1. A morphism Γ ( p ) → Γ( Q p ) . If Γ is a group, we denote by Γ ( p ) its prop completion. If k is a Q -algebra, we denote by Γ( k ) the group of k -points of its prounipotent completion. We also denote by Lie(Γ) the Lie algebra of this prounipotent completion.

Lemma 6.1 ([HM], Lemma A.7) . Suppose that Γ is finitely generated discrete group, then there is a continuous homomorphism Γ ( p ) → Γ( Q p ) compatible with the morphisms from Γ to its source and target.

When Γ is the free group F n , this gives a continuous homomorphism F ( p ) n → F n ( Q p ).

6.1.2. Injectivity of F ( p ) n → F n ( Q p ) . Let Γ be a group. Define the Z p -algebra of Γ, denoted Z p [ [Γ] ], to be the inverse limit of the group algebras of the quotients of Γ which are p -groups with coefficients in Z p . This is a topological Hopf algebra. (When Γ is a prop group, Z p [ [Γ] ] coincides with the object introduced in [Se], p. 7.)

If H is a (topological) Hopf algebra, we denote by G ( H ) the group of its group-like elements.

Lemma 6.2. The group G ( Z p [ [Γ] ]) is equal to Γ ( p ) .

Proof. The group G ( Z p [ [Γ] ]) is the inverse limit of the groups of group-like elements of the group algebras Z p K , where K runs over all the quotients of Γ which are p -groups. As G ( Z p K ) is equal to K , G ( Z p [ [Γ] ]) is equal to the inverse limit of the finite quotients of Γ which are p -groups, therefore to Γ ( p ) . /square

↦

Lemma 6.3. Let A n ( ) := Z p 〈〈 t 1 , . . . , t n 〉〉 be the algebra of associative formal power series in variables t 1 , . . . , t n with coefficients in Z p , equipped with the topology of convergence of coefficients. Then A n ( ) has a Hopf algebra structure with coproduct given by t i → t i ⊗ 1+1 ⊗ t i + t i ⊗ t i for i = 1 , . . . , n . Let F n be the free group over generators X ,. . . , X 1 n . There is an isomorphism

$$F _ { n } ^ { ( p ) } \simeq \mathcal { G } ( A ( n ) )$$

↦

induced by X i → 1 + t i for i = 1 , . . . , n .

Proof. This follows from Lemma 6.2 combined with the isomorphism Z p [ [ F ( p ) n ] ] /similarequal A n ( ), see [Se], § I.1.5. Proposition 7. /square

Lemma 6.4. The map F ( p ) n → F n ( Q p ) is injective.

Proof. If k is a Q -algebra, there is an isomorphism ( k F n ) ∧ /similarequal k 〈〈 u , . . . , u 1 n 〉〉 , where each u i is primitive. Moreover, F n ( k ) = G (( k F n ) ∧ ), therefore

$$F _ { n } ( { \mathbf k } ) = \mathcal { G } ( { \mathbf k } \langle \langle u _ { 1 }, \dots, u _ { n } \rangle \rangle ).$$

↦

The result now follows from the specialization of this result for k = Q p , from the topological Hopf algebra inclusion Z p 〈〈 t 1 , . . . , t n 〉〉 ⊂ Q p 〈〈 u , . . . , u 1 n 〉〉 given by t i → e u i -1, and from Lemma 6.3. /square

6.1.3. Exact sequences of prop completions.

Lemma 6.5 ([I], see also [Andn]) . Let 1 → N → G → H → 1 be an exact sequence of discrete groups such that (i) ( G,N ) = ( N,N ) , and (ii) N is a free group of finite rank greater than 1 . Then the induced sequence of prop completions 1 → N ( p ) → G ( p ) → H ( p ) → 1 is exact.

For n ≥ 3, let K n be the Artin pure braid group with n strands. It is presented by generators x ij , 1 ≤ i &lt; j ≤ n and relations

$$( a _ { i j k }, x _ { i j } ) = ( a _ { i j k }, x _ { i k } ) = ( a _ { i j k }, x _ { j k } ) = 1, \ \ i < j < k, \ \ a _ { i j k } = x _ { i j } x _ { i k } x _ { j k },$$

$$( x _ { i j }, x _ { k l } ) = ( x _ { i l }, x _ { j k } ) = 1, \ \ ( x _ { i k }, x _ { i j } ^ { - 1 } x _ { j l } x _ { i j } ) \ \ i f \ \ i < j < k < l.$$

For any i ∈ [ [1 , n ] ], the elements x i 1 , . . . , x in of K n generate a subgroup isomorphic to F n -1 , and we have an exact sequence

$$& ( 6. 1. 1 ) & & 1 \to F _ { n - 1 } \to K _ { n } \to K _ { n - 1 } \to 1.$$

Lemma 6.6. If n ≥ 3 , then the exact sequence (6.1.1) induces a short exact sequence of prop groups:

$$1 \rightarrow F _ { n - 1 } ^ { ( p ) } \rightarrow K _ { n } ^ { ( p ) } \rightarrow K _ { n - 1 } ^ { ( p ) } \rightarrow 1.$$

Proof. Let P n +1 be the pure sphere group of the sphere with n +1 marked points (cf. [EF1]). It is known that P n +1 is isomorphic to the quotient K /Z K n ( n ) 2 , where Z K ( n ) is the center of K n .

↦

In [I], Proposition 2.3.1, it is shown that for any j ∈ [ [1 , n ] ] \{ } i , P n +1 is equal to the product 〈 ¯ x 1 i , . . . , x ¯ in 〉 · C x (¯ ij ), where the projection map K n → P n +1 is denoted g → ¯, g and where C x (¯ ij ) is the centralizer subgroup of ¯ x ij .

Since Z K ( n ) 2 is contained in C x ( ij ), K n is equal to the product 〈 x 1 i , . . . , x in 〉· C x ( ij ), where C x ( ij ) is the centralizer subgroup of x ij .

Then any k ∈ K n can be expressed as f · c , where f ∈ 〈 x 1 i , . . . , x in 〉 and c ∈ C x ( ij ). Then ( k, x ij ) = ( f · c, x ij ) = ( f, x ij ) ∈ ( F n -1 , F n -1 ). As this holds for any j ∈ [ [1 , n ] ] \{ } i , one obtains ( K ,F n n -1 ) ⊂ ( F n -1 , F n -1 ), therefore the equality of these subgroups of K n as the opposite inclusion is obvious.

One can therefore apply Lemma 6.5 to the exact sequence (6.1.1), which yields the result. /square

6.1.4. Exact sequences of prounipotent completions.

Lemma 6.7. Let k be a Q -algebra and let n ≥ 3 . The exact sequence (6.1.1) induces a short exact sequence of groups:

$$1 \to F _ { n - 1 } ( { \mathbf k } ) \to K _ { n } ( { \mathbf k } ) \to K _ { n - 1 } ( { \mathbf k } ) \to 1.$$

Proof. According to [D], any associator Φ ∈ M 1 ( Q ) and parenthesization P of a word with n identical letters gives rise to an isomorphism b P Φ : Lie( K n ) → ˆ , where t n t n is the graded Q -Lie

/negationslash algebra with degree one generators t ij , i = j ∈ [ [1 , n ] ] and relations t ji = t ij , [ t ik + t jk , t ij ] = 0, and [ t ij , t kl ] = 0 for i, j, k, l all distinct, and where ˆ t n is its degree completion.

The morphisms of (6.1.1) induce Lie algebra morphisms Lie( F n -1 ) → Lie( K n ) and Lie( K n ) → Lie( K n -1 ). One has a commutative diagram

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00444v5-figure-7eaf7671-9218-493e-b359-63d82f7f4e08.jpg)

/d15

/d15

/d15

/d47

/d47

↦

where P i is P with the i -th letter erased, and where the right vertical arrow is induced by the morphism t n → t n -1 , t ia → 0, t ab → t f ( a f ) ( b ) for a, b ∈ [ [1 , n ] ] - { } i , f being the increasing bijection [ [1 , n ] ] -{ } /similarequal i [ [1 , n -1] ].

↦

It follows from this diagram that b P Φ restricts to a Lie algebra morphism Lie( F n -1 ) → ˆ f n -1 , where ˆ f n -1 is the kernel of ˆ t n → ˆ t n -1 , which is the degree completion of the kernel of t n → t n -1 , a Lie algebra freely generated by the t ij , j ∈ [ [1 , n ] ] -{ } i . The abelianization of this morphism can be shown to be an isomorphism, therefore Lie( F n -1 ) → ˆ f n -1 is an isomorphism.

In the following diagram

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00444v5-figure-ca5903a8-e113-4185-9d87-2612ace6887d.jpg)

/d15

/d15

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

/d47

the top sequence is exact. Since the vertical arrows are isomorphisms and since the squares commute, it follows that the bottom sequence is exact. The result follows. /square

6.1.5. Injectivity of K ( p ) n → K n ( Q p ) .

Lemma 6.8. For any n ≥ 2 , the map K ( p ) n → K n ( Q p ) is injective.

Proof. The statement is obvious for n = 2 as K 2 /similarequal Z . One then proceeds by induction over n . Assume that the statement holds for n -1, then we have a natural morphism between two exact sequences, which makes the following diagram commutative

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00444v5-figure-7b7834e7-5df7-471e-aa47-0ba9a966c732.jpg)

/d15

/d15

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

/d47

.

The leftmost vertical map is injective by Lemma 6.4 and the rightmost vertical map is as well by the induction assumption, which shows that the middle vertical map is injective. /square

6.2. Results on GT p . Let F 2 be the free group with generators X ,X 0 1 (see § 2.1.1).

A semigroup structure is defined on Z p × F ( p ) 2 by ( λ , f 1 1 ) /circleasterisk ( λ , f 2 2 ) = ( λ λ , f 1 2 ), where

$$f ( X _ { 0 }, X _ { 1 } ) = f _ { 2 } ( f _ { 1 } ( X _ { 0 }, X _ { 1 } ) X _ { 0 } ^ { \lambda _ { 1 } } f _ { 1 } ( X _ { 0 }, X _ { 1 } ) ^ { - 1 }, X _ { 1 } ^ { \lambda _ { 1 } } ) f _ { 1 } ( X _ { 0 }, X _ { 1 } )$$

(this is the opposite of the product of [D], (4.11), with X ,X 0 1 replacing X,Y ).

$$\text{Lemma 6.9.} \text{ } ( \mathbb { Z } _ { p } ^ { \times } \times F _ { 2 } ^ { ( p ) }, \circledast ) \text{ is a subgroup of } ( G ^ { \text{B} } ( \mathbb { Q } _ { p } ), \circledast ) \text{ (see Lemma 2.1).}$$

Proof. Recall the subsets F 2 ( Q p ) = G ( Q p 〈〈 t 0 , t 1 〉〉 ) and 1 + Z p 〈〈 t 0 , t 1 〉〉 0 of Q p 〈〈 t 0 , t 1 〉〉 × . By Lemma 6.3, one has

$$F _ { 2 } ^ { ( p ) } = \mathcal { G } ( \mathbb { Q } _ { p } \langle \langle t _ { 0 }, t _ { 1 } \rangle \rangle ) \cap ( 1 + \mathbb { Z } _ { p } \langle \langle t _ { 0 }, t _ { 1 } \rangle \rangle _ { 0 } ) \subset \mathbb { Q } _ { p } \langle \langle t _ { 0 }, t _ { 1 } \rangle \rangle ^ { \times },$$

therefore

$$\mathbb { Z } _ { p } ^ { \times } \times F _ { 2 } ^ { ( p ) } = ( \mathbb { Q } _ { p } ^ { \times } \times \mathcal { G } ( \mathbb { Q } _ { p } \langle \langle t _ { 0 }, t _ { 1 } \rangle \rangle ) ) \cap ( \mathbb { Z } _ { p } ^ { \times } \times ( 1 + \mathbb { Z } _ { p } \langle \langle t _ { 0 }, t _ { 1 } \rangle \rangle _ { 0 } ) ) \subset \mathbb { Q } _ { p } ^ { \times } \times \mathbb { Q } _ { p } \langle \langle t _ { 0 }, t _ { 1 } \rangle \rangle ^ { \times },$$

Then Q × p × Q p 〈〈 t 0 , t 1 〉〉 × is equipped with the group structure

$$( \lambda, a ) \circledast ( \mu, b ) \coloneqq ( \lambda \mu, a ( t _ { 0 }, t _ { 1 } ) b ( ( 1 + t _ { 0 } ) ^ { \lambda } - 1, a ^ { - 1 } ( ( 1 + t _ { 1 } ) ^ { \lambda } - 1 ) a ) ),$$

and Q × p ×G ( Q p 〈〈 t 0 , t 1 〉〉 is then a subgroup, which identifies with G B ( Q p ) under the identifications X i = 1 + t i , i = 0 1. ,

Z × p × (1 + Z p 〈〈 t 0 , t 1 〉〉 0 ) is a sub-semigroup of ( Q × p × Q p 〈〈 t 0 , t 1 〉〉 × , /circleasterisk ). Let ( µ, b ) ∈ Z × p × (1 + Z p 〈〈 t 0 , t 1 〉〉 0 ) and let (1 /µ, a ) ∈ Q × p × Q p 〈〈 t 0 , t 1 〉〉 × be its inverse. One has then

$$a ( t _ { 0 }, t _ { 1 } ) b ( ( 1 + t _ { 0 } ) ^ { 1 / \lambda } - 1, a ^ { - 1 } [ ( 1 + t _ { 1 } ) ^ { 1 / \lambda } - 1 ] a ) = 1.$$

One shows by induction on n that

$$a \in 1 + \mathbb { Z } _ { p } \langle \langle t _ { 0 }, t _ { 1 } \rangle \rangle _ { 0 } + \mathbb { Q } _ { p } \langle \langle t _ { 0 }, t _ { 1 } \rangle \rangle _ { > n }.$$

For n = 0, this follows from (6.2.1). Assume that (6.2.2) holds for n . Then

$$b ( ( 1 + t _ { 0 } ) ^ { 1 / \lambda } - 1, a ^ { - 1 } [ ( 1 + t _ { 1 } ) ^ { 1 / \lambda } - 1 ] a ) \in 1 + \mathbb { Z } _ { p } \langle \langle t _ { 0 }, t _ { 1 } \rangle \rangle _ { 0 } + \mathbb { Q } _ { p } \langle \langle t _ { 0 }, t _ { 1 } \rangle \rangle _ { > n + 1 }.$$

(6.2.1) then implies (6.2.2) with n replaced by n + 1. Finally a ∈ 1 + Z p 〈〈 t 0 , t 1 〉〉 0 . It follows that Z × p × (1 + Z p 〈〈 t 0 , t 1 〉〉 0 ) is a subgroup of the group ( Q × p × Q p 〈〈 t 0 , t 1 〉〉 × , /circleasterisk ). It follows that Z × p × F ( p ) 2 is the intersection of two subgroups of this group, which implies the result. /square

$$\text{Lemma} \ 6. 1 0. \text{ The subgroup of invertible elements of} \left ( \mathbb { Z } _ { p } \times F _ { 2 } ^ { ( p ) }, \circledast \right ) \text{ is } \mathbb { Z } _ { p } ^ { \times } \times F _ { 2 } ^ { ( p ) }.$$

Proof. This follows from Lemma 6.9.

Consider the morphisms from F 2 to various groups given by the following table:

| name of morphism   | θ   | κ               | α 1       | α 2   | α 3   | α 4       | α 5       |
|--------------------|-----|-----------------|-----------|-------|-------|-----------|-----------|
| target group       | F 2 | F 2             | K 4       | K 4   | K 4   | K 4       | K 4       |
| image of X 0       | X 1 | X 1             | x 23 x 24 | x 12  | x 23  | x 34      | x 12 x 13 |
| image of X 1       | X 0 | ( X 0 X 1 ) - 1 | x 12      | x 23  | x 34  | x 13 x 23 | x 24 x 34 |

/square

The prop completions of these morphisms are denoted in the same way.

In [D], p. 846, GT p is defined as the set of all ( λ, f ) ∈ (1 + 2 Z p ) × F ( p ) 2 such that

(6.2.3)

fθ f

(

) = 1

,

κ

2

(

f

)(

X X

0

1

)

-

m

κ f

(

)

X

m

1

fX

m

0

= 1

,

α

1

(

f

)

α

3

(

f

)

α

5

(

f

)

α

2

(

f

)

α

4

(

f

) = 1

,

where m = ( λ -1) / 2 (equalities in F ( p ) 2 and K ( p ) 4 ) and GT ( Q p ) is the set of all ( λ, f ) ∈ Q × p × F 2 ( Q p ) such that the same identities hold in F 2 ( Q p ) and K 4 ( Q p ).

The subset GT p ⊂ Z p × F ( p ) 2 is shown to be a sub-semigroup; it is equipped with the structure opposite to that induced by Z p × F ( p ) 2 . The group GT p ⊂ GT p is then defined to be the group of invertible elements in GT p .

Corollary 6.11. GT = GT p p ∩ ( Z × p × F ( p ) 2 ) .

$$P r o o f. \text{ This follows from Lemma 6.10 and the definition of $GT_{p}$.}$$

$$\text{Proposition 6.12.} \text{ } G T _ { p } = G T ( \mathbb { Q } _ { p } ) \cap ( \mathbb { Z } _ { p } ^ { \times } \times F _ { 2 } ^ { ( p ) } ).$$

/negationslash

Proof. GT ( Q p ) is the subset of Q × p × F 2 ( Q p ) defined by the prounipotent versions of the conditions (6.2.3), while GT p is the subset of ((1 + 2 Z p ) ∩ Z × p ) × F ( p ) 2 = Z × p × F ( p ) 2 defined by the prop versions of the same conditions (the equality follows from 1 + 2 Z p = Z × p for p = 2, and 1 + 2 Z p = Z p for p = 2). Moreover, the inclusion K ( p ) 4 ⊂ K 4 ( Q p ) and the compatibilities of the prop and prounipotent completions of a given group morphism imply that an element of Z × p × F ( p ) 2 satisfies the prop version of (6.2.3) iff its image in Q × p × F 2 ( Q p ) satisfies its prounipotent version. /square

Remark 6.13. Proposition 6.12 shows that GT p is the intersection of two subgroups of G B ( Q p ) op , and is therefore a group.

Corollary 6.14 ([D], p. 846) . GT p ⊂ GT ( Q p ) .

$$\text{Proof. This immediately follows from Proposition 6.12.}$$

Proposition 6.15. GT = GT p p for p = 2 and GT = GT p p × Z p Z × p for p &gt; 2 .

Proof. This follows from Corollary 6.11 together with 1+2 Z p = Z × p for p = 2, and 1+2 Z p = Z p for p = 2. /square

/negationslash

6.3. A prop analogue DMR B p of the group scheme DMR B ( -) .

Definition 6.16. One sets

$$D M R _ { p } ^ { B } \coloneqq D M R ^ { B } ( \mathbb { Q } _ { p } ) \cap ( \mathbb { Z } _ { p } ^ { \times } \times F _ { 2 } ^ { ( p ) } ).$$

Lemma 6.17. DMR B p is a subgroup of G B ( Q p ) = ( Q × p × F 2 ( Q p ) , /circleasterisk ) .

$$& P r o o f. \text{ This follows from the fact that both DMR$^{B} (\mathbb { Q } _ { p } ) \text{ and } \mathbb { Z } _ { p } ^ { \times } \times F _ { 2 } ^ { ( p ) } \text{ are subgroups of } ( \mathbb { Q } _ { p } ^ { \times } \times \\ & F _ { 2 } ( \mathbb { Q } _ { p } ), \circledast ).$$

Proposition 6.18. The natural inclusions yield the following commutative diagram of groups, in which both squares are Cartesian

/d31

/d127

/d31

/d127

/d127

/d47

/d47

/d47

/d47

/d95

/d127

/d95

/d127

/d95

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00444v5-figure-59ff60d7-b457-4f61-a4d0-f8ba0ad0cf6f.jpg)

/d15

/d15

/d15

/d15

/d15

/d31

/d127

/d47

/d47

/d31

/d127

/d47

/d47

Proof.

The fact that the right square is Cartesian follows from the definition of DMR B p . Then GT ( Q p ) op ∩ DMR B p = GT ( Q p ) op ∩ ( DMR B ( Q p ) ∩ ( Z × p × F ( p ) 2 )) (by the definition of DMR B p ) = GT ( Q p ) op ∩ ( Z × p × F ( p ) 2 ) (by the inclusion of group schemes GT ( -) op ⊂ DMR B ( -)) = GT op p (by Proposition 6.12), so that the left square is Cartesian.

$$\Box$$

## References

[Andn] M.P. Anderson, Exactness properties of pro-finite functors , Topology 13 (1974), 229-239.

[Andr] Y. Andr´ e, Une introduction aux motifs (motifs purs, motifs mixtes, p´riodes). e Panoramas et Synth` eses, 17. Soci´t´ Math´matique de France, Paris, 2004. e e e

[B] N. Bourbaki, ´ l´ments E e de math´ ematique. Fasc. XXXVII. Groupes et alg` ebres de Lie. Chapitre II: Alg`bres de Lie libres. Chapitre III: Groupes de Lie, e Actualit´s Scientifiques et Industrielles, No. 1349. e Hermann, Paris, 1972.

[D] V. Drinfeld, On quasitriangular quasi-Hopf algebras and a group closely connected with Gal( Q Q / ), Leningrad Math. J. 2 (1991), no. 4, 829-860.

[DeG] P. Deligne, A. Goncharov, Groupes fondamentaux motiviques de Tate mixte. Ann. Sci. Ecole Norm. Sup. (4) 38 (2005), no. 1, 1-56.

[EF0] B. Enriquez, H. Furusho, A stabilizer interpretation of double shuffle Lie algebras. Int. Math. Res. Not. IMRN 2018, no. 22, 6870-6907.

[EF1] B. Enriquez, H. Furusho, The Betti side of the double shuffle theory. I. The harmonic coproduct. Selecta Math. (N.S.) 27 (2021), no. 5, Paper No. 79.

[EF2] B. Enriquez, H. Furusho, The Betti side of the double shuffle theory. II. Double shuffle relations for associators. Preprint arXiv:1807.07786, v5.

[F] H. Furusho, Double shuffle relation for associators. Ann. of Math. (2) 174 (2011), no. 1, 341-360.

[G] J. Giraud, Cohomologie non ab´ elienne. Die Grundlehren der mathematischen Wissenschaften, Band 179. Springer-Verlag, Berlin-New York, 1971.

[HM] R. Hain, M. Matsumoto, Weighted completion of Galois groups and Galois actions on the fundamental group of P 1 -{ 0 1 , , ∞} , Compositio Math. 139 (2003), no. 2, 119-167.

[I] Y. Ihara, Automorphisms of pure sphere braid groups and Galois representations , The Grothendieck Festschrift, Vol. II, 353-373, Progr. Math., 87, Birkh¨user Boston, Boston, MA, 1990. a

[R] G. Racinet, Doubles m´ elanges des polylogarithmes multiples aux racines de l'unit´. e Publ. Math. Inst. Hautes ´ tudes Sci., No. 95 (2002), 185-231. E

[Se] J.-P. Serre, Cohomologie galoisienne. Fifth edition. Lecture Notes in Mathematics, 5. Springer-Verlag, Berlin, 1994.

[Sw] M. Sweedler, Hopf algebras. Mathematics Lecture Note Series W. A. Benjamin, Inc., New York 1969.

Institut de Recherche Math´ ematique Avanc´e, UMR 7501, Universit´ de Strasbourg et CNRS, 7 e e rue Ren´ e Descartes, 67000 Strasbourg, France

Email address : enriquez@math.unistra.fr

THE BETTI SIDE OF THE DOUBLE SHUFFLE THEORY. III. BITORSOR STRUCTURES

Graduate School of Mathematics, Nagoya University, Furo-cho, Chikusa-ku, Nagoya, 464-8602, Japan

Email address : furusho@math.nagoya-u.ac.jp
Benjamin Enriquez Hidekazu Furusho
The Betti side of the double shuffle theory. III. Bitorsor structures
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.