• Aucun résultat trouvé

Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras

N/A
N/A
Protected

Academic year: 2021

Partager "Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras"

Copied!
28
0
0

Texte intégral

(1)

HAL Id: hal-01427741

https://hal.archives-ouvertes.fr/hal-01427741v2

Submitted on 17 May 2017

HAL

is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or

L’archive ouverte pluridisciplinaire

HAL, est

destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires

Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras

V Bui, G Duchamp, Ngoc Minh

To cite this version:

V Bui, G Duchamp, Ngoc Minh. Structure of Polyzetas and Explicit Representation on Transcen- dence Bases of Shuffle and Stuffle Algebras. Journal of Scientific Computing, Springer Verlag, 2016,

�10.1016/j.jsc.2016.11.007�. �hal-01427741v2�

(2)

Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras

V.C. Bui

,

, G. H. E. Duchamp

, V. Hoang Ngoc Minh

,

Hue University of Sciences, 77 - Nguyen Hue street - Hue city, Vietnam

Institut Galilée, LIPN - UMR 7030, CNRS - Université Paris 13, F-93430 Villetaneuse, France,

Université Lille II, 1, Place Déliot, 59024 Lille, France

Abstract

Polyzetas, indexed by words, satisfy shuffle and quasi-shuffle identities. In this respect, one can explore the multiplicative and algorithmic (locally finite) proper- ties of their generating series. In this paper, we construct pairs of bases in duality on which polyzetas are established in order to compute local coordinates in the infinite dimensional Lie groups where their non-commutative generating series live. We also propose new algorithms leading to the ideal of polynomial relations, homogeneous in weight, among polyzetas (the graded kernel) and their explicit representation (as data structures) in terms of irreducible elements.

Keywords: Poincaré-Birkhoff-Witt basis; transcendence basis; Schützenberger’s factorization; noncommutative generating series; shuffle algebra; polyzetas.

1. Introduction

This paper will provide transparent arguments and proofs for results presented at the International Symposium on Symbolic and Algebraic Computation confer- ence, Bath, 6-9 July, 2015 [6].

For any composition, s = ( s

1

, . . . , s

r

) , the polyzetas [10] (also called multiple zeta values [33]) are defined by the following convergent series

ζ ( s

1

, . . . , s

r

) ∶= ∑

n1>...>nr>0

n

1s1

. . . n

rsr

, for s

1

> 1. (1) Any composition s ∈ ( N

+

)

r

can be associated to words of the form w = x

s011

x

1

. . . x

s0r1

x

1

∈ X

x

1

(resp. w = y

s1

. . . y

sr

∈ Y

) [20, 21], where X

(resp.

Y

) is the free monoid generated by the alphabet X = { x

0

, x

1

} (resp. Y = { y

s

}

s1

)

(3)

admitting 1

X

(resp. 1

Y

) as unit. The weight of composition s is defined the pos- itive integer s

1

+ . . . + s

r

which correspond to the length, denoted by ∣ w ∣ (resp. the sum of indexes, denoted by ( w ) ), of its associated word on X (Y ).

Using concatenation, shuffle and quasi-shuffle products, in Section 2,

1. we will recall the definition of Hopf algebras ( Q ⟨ X ⟩ , ● , 1

X

, ∆

⊔⊔

, e ) and ( Q ⟨ Y ⟩ , ● , 1

Y

, ∆ , e ) .

2. we will equip X with the (total) ordering x

0

< x

1

and denoting L ynX , the set of Lyndon words over X, the

1

PBW-basis { P

w

}

wX

will be ex- panded over the basis { P

l

}

l∈LynX

, of the free Lie algebra L ie

Q

⟨ X ⟩ . Its dual basis { S

w

}

wX

contains the pure transcendence basis of the algebra ( Q ⟨ X ⟩ ,

⊔⊔

, 1

X

) denoted by { S

l

}

l∈LynX

[29].

3. similarly, equipping Y with the (total) ordering y

1

> y

2

> y

3

> . . . and denoting L ynY the set of Lyndon words over Y , the basis { Π

l

}

l∈LynY

, of the free Lie algebra of primitive elements

2

, and its associated PBW-basis { Π

w

}

wY

will be proposed. The dual basis { Σ

w

}

wY

is polynomial and contains also a pure transcendence basis of the algebra ( Q ⟨ Y ⟩ , , 1

Y

) denoted by { Σ

l

}

l∈LynY

[5, 23, 24].

4. we then establish the two following expressions of the diagonal series D

X

∶= ∑

wX

w ⊗ w = ∏

l∈LynX

exp ( S

l

⊗ P

l

) , (2) D

Y

∶= ∑

wY

w ⊗ w = ∏

l∈LynY

exp ( Σ

l

⊗ Π

l

) . (3) From these, in Section 3,

1. we will consider two generating series of polyzetas

3

[21, 20, 23, 24]:

Z

⊔⊔

∶= ∏

l∈LynX X

exp ( ζ ( S

l

) P

l

) and Z ∶= ∏

l∈LynY {y1}

exp ( ζ ( Σ

l

) Π

l

) .(4)

1PBW : Poincaré-Birkhoff-Witt.

2P is a primitive element if∆ (P) =1Y⊗P+P⊗1Y.

3The coefficients ofZ⊔⊔ (resp.Z ) represent the finite parts of the asymptotic expansions of the polylogarithms{Liw}w∈X (resp. the harmonic sums{Hw}w∈Y), at1(resp. at+∞), in the scale of comparison{(1−z)−alogb((1−z)1)}a∈Z,b∈N(resp.{NaHb1(N)}a∈Z,b∈N) [23].

(4)

2. we have also defined a third one

4

, Z

γ

[11], which satisfies, via Schützen- berger’s factorization

5

on the completed Hopf algebra [23, 24] ,

Z

γ

= e

γy1

Z . (5)

3. in order to identify the local coordinates of Z

⊔⊔

(and Z ), on a group of associators [23, 24], we will rely on the following comparison (see [11])

Z

γ

= B ( y

1

) π

Y

( Z

⊔⊔

) , where B ( y

1

) = exp ( γy

1

− ∑

k2

(− 1 )

k1

ζ ( k )

k y

1k

) . (6) Here, π

Y

∶ Q ⊕ Q ⟪ X ⟫ x

1

Ð→ Q ⟪ Y ⟫ is the linear projection

6

mapping x

s011

x

1

. . . x

s0r1

x

1

to y

s1

. . . y

sr

.

By cancellation

7

[23, 24], (5) and (6) yield the following identity Z = B

( y

1

) π

Y

( Z

⊔⊔

) , where B

( y

1

) = exp (∑

k2

( − 1 )

k−1

ζ ( k )

k y

k1

) . (7) 4. simultaneously, algorithms will be also implemented in Maple to represent polyzetas

8

in terms of irreducible polyzetas producing algebraic relations among the local coordinates

9

{ ζ ( S

l

)}

l∈LynX X

(and { ζ ( Σ

l

)}

l∈LynY {y1}

) [7].

To end this section, let us point out some crucial points of our purposes : 1. Similar tables

10

for { ζ ( l )}

l∈LynXX

have been obtained up to weight 10 [20],

12 [1] and 16 [31]. These differ from the zig-zag relation among the moulds of formal polyzetas, due to Ecalle [15], i.e. the commutative generating se- ries of symbolic polyzetas (Boutet de Monvel [4] and Racinet [17] have also given equivalent relations for the noncommutative generating series of symbolic polyzetas, see also [10]) producing linear relations and base them- selves on regularized double shuffle relation [2, 25, 27] and from identities among associators, due to Drinfel’d [12, 13, 19].

4The coefficients ofZγ represent the finite parts of the asymptotic expansions of{Hw}w∈Y, in the scale of comparison{Nalogb(N)}a∈Z,b∈N[11]. Here,γdenotes the Euler’s constant.

5Also called MRS factorization after Mélançon, Reutenauer and Schützenberger.

6It can be extended toQ⟪X⟫with the conventionπY(w) =0for eachwending byx0.

7Not byspecificationγto0.

8running on a computer Core(TM)i5-4210U CPU @ 1.70GHz, up to weight12[7].

9Since, in (4), onlyconvergentpolyzetas arise then we do not need any regularization process.

10They form a Gröbner basis of the ideal of polynomial relations among the convergent polyze- tas and the ranking of this basis is based mainly on the order of Lyndon words [1, 20, 31]. For that, this basis is also called Gröbner-Lyndon basis.

(5)

2. In the classical theory of finite-dimensional Lie groups, every ordered basis of the Lie algebra provides a system of local coordinates in a suitable neigh- borhood of the unity of the group via an ordered product of one-parameter groups corresponding to the ordered basis [32]. In this work, we get a per- fect analogue of this picture for Hausdorff groups, through Schützengerger’s factorization, this doesn’t depend on regularization (see the next remark).

Moreover, through the bridge equation (6) relating two elements on these groups and by identification of local coordinates, in infinite dimension, of their L.H.S. and R.H.S. (which involve only convergent polyzetas) we get again a confirmation of Zagier’s conjecture, up to weight 12. This is not a consequence of regularized double-shuffle relation (see the next remarks).

3. Of course, the generating series given in (4) and (5) induce, as already shown in [23, 24], three morphisms of (shuffle and quasi-shuffle) algebras, studied earlier in [21, 22, 11] and constructed in [23, 24]

ζ

⊔⊔

∶ ( Q ⟨ X ⟩ ,

⊔⊔

, 1

X

) Ð→ ( R, ., 1

R

) , (8) ζ ∶ ( Q ⟨ Y ⟩ , , 1

Y

) Ð→ ( R, ., 1

R

) , (9) γ

∶ ( Q ⟨ Y ⟩ , , 1

Y

) Ð→ ( R, ., 1

R

) , (10) which satisfy, for any u = x

s011

x

1

. . . x

s0r1

x

1

∈ x

0

X

x

1

and v = π

Y

( u ) ,

ζ

⊔⊔

( u ) = ζ ( v ) = γ

v

= ζ ( s

1

, . . . , s

r

) (11) and the algebraic generators of length 1 satisfy (see Footnotes 3, 4)

ζ

⊔⊔

( x

0

) = ζ

⊔⊔

( x

1

) = ζ ( y

1

) = 0 and γ

y1

= γ. (12) Hence, ζ

⊔⊔

, ζ and γ

are characters of (shuffle and quasi-shuffle) Hopf algebras, and their graphs, written as series, respectively read [22, 11]

wX

ζ

⊔⊔

( w ) w = Z

⊔⊔

, ∑

wY

ζ ( w ) w = Z , ∑

wY

γ

w

w = Z

γ

(13) and

11

Z

⊔⊔

= ( ζ

⊔⊔

⊗ Id

X

)D

X

, Z = ( ζ ⊗ Id

Y

)D

Y

, Z

γ

= ( γ

⊗ Id

Y

)D

Y

. 4. By (4), for any u, v ∈ L ynX X and u

= π

Y

( u ) , v

= π

Y

( y ) , one has

ζ

⊔⊔

( u ) ζ

⊔⊔

( v ) = ζ

⊔⊔

( u

⊔⊔

v ) and ζ ( u

) ζ ( v

) = ζ ( u

v

) . (14) By (7), for any l ∈ L ynX X and l

= π

Y

( l ) , one has on the other hand

11They are group-like :∆⊔⊔(Z⊔⊔) =Z⊔⊔⊗Z⊔⊔,∆ (Z ) =Z ⊗Z ,∆γ(Zγ) =Zγ⊗Zγ.

(6)

i) ζ

⊔⊔

( x

1⊔⊔

l − x

1

l ) = − ζ

⊔⊔

( x

1

l ) = − ⟨ Z

⊔⊔

∣ x

1

l ⟩ , ii) ζ ( y

1

l

− y

1

l

) = − ζ ( y

1

l

) = − ⟨ Z ∣ y

1

l

⟩ , iii) ⟨ B

( y

1

) ∣ y

1

⟩ = 0.

This means that since (7) is equivalent to (6) then, for the quasi-shuffle product, the regularization to γ is equivalent to the regularization to 0 [23, 24] and this yields immediately the family of regularized double shuffle relations considered in [1, 2, 17, 20, 27, 31] (see also [4, 10, 25, 26, 30]).

Our method is then quite different with [4, 10, 30] for which their authors suggest the simultaneous regularization the divergent polyzetas ζ

?

( 1 ) to the indeterminate

12

T . But by this way, they obtain relations among polyzetas which are formal because they depend mainly on numerical values

13

of T . 2. Background

2.1. Generalities

Let w = y

s1

. . . y

sk

∈ Y

, the length and the weight of the word w are defined respectively by the numbers ∣ w ∣ = k and ( w ) = s

1

+ . . . + s

k

.

Let us define the commutative product on

14

QY , denoted by µ (see [9, 16]),

∀ y

s

, y

t

∈ Y, µ ( y

s

, y

t

) = y

s+t

, (15) or its dual coproduct, ∆

µ

, defined by

∀ y

s

∈ Y, ∆

µ

y

s

=

s

1

i=1

y

i

⊗ y

si

(16)

satisfying,

∀ x, y, z ∈ Y, ⟨ ∆

µ

x ∣ y ⊗ z ⟩ = ⟨ x ∣ µ ( y, z )⟩ . (17) Let Q ⟨ Y ⟩ be equipped by

1. The concatenation ● (or by its associated coproduct, ∆

).

12i.e. ζ⊔⊔(x0) =ζ⊔⊔(x1) = ζ (y1) = T (to compare with (12)) and sinceT is transcendent overRthen it can be suitable to be specialized to0, as effectively done in [17, 27].

13Since theR-algebra of polyzetas is not aR[T]-algebra then how to precise these values ?

14QY denotes theQ-vector space generated by the alphabetY, as a basis.

(7)

2. The shuffle product, i.e. the commutative product defined by [29], for any y

s

, y

t

∈ Y and u, v, w ∈ Y

w

⊔⊔

1

Y

= 1

Y∗ ⊔⊔

w = w,

y

s

u

⊔⊔

y

t

v = y

s

( u

⊔⊔

y

t

v ) + y

t

( y

s

u

⊔⊔

v ) (18) or by its associated coproduct, ∆

⊔⊔

, defined, on the letters by,

∀ y

s

∈ Y, ∆

⊔⊔

y

s

= y

s

⊗ 1

Y

+ 1

Y

⊗ y

s

(19) and extended so as to make it a homomorphism for the concatenation prod- uct. It satisfies

∀ u, v, w ∈ Y

, ⟨ ∆

⊔⊔

w ∣ u ⊗ v ⟩ = ⟨ w ∣ u

⊔⊔

v ⟩ . (20) 3. The quasi-shuffle product, i.e. the commutative product defined by [25], for

any y

s

, y

t

∈ Y and u, v, w ∈ Y

, w 1

Y

= 1

Y

w = w,

y

s

u y

t

v = y

s

( u y

t

v ) + y

t

( y

s

u v ) + µ ( y

s

, y

t

)( u v ) (21) or by its associated coproduct, ∆ , defined, on the letters by,

∀ y

s

∈ Y, ∆ y

s

= ∆

⊔⊔

y

s

+ ∆

µ

y

s

(22) and extended so as to make it a homomorphism for the concatenation prod- uct. It satisfies

∀ u, v, w ∈ Y

, ⟨ ∆ w ∣ u ⊗ v ⟩ = ⟨ w ∣ u v ⟩ . (23) Note that ∆

⊔⊔

and ∆ are morphisms from Q ⟨ Y ⟩ for the concatenation but

µ

is not (for example ∆

µ

( y

12

) = y

1

⊗ y

1

, whereas ∆

µ

( y

1

)

2

= 0).

Hence, with the counit e defined by, for any P ∈ Q ⟨ Y ⟩ , e ( P ) = ⟨ P ∣ 1

Y

⟩ , we get two pairs of mutually dual bialgebras

H

⊔⊔

= ( Q ⟨ Y ⟩ , ● , 1

Y

, ∆

⊔⊔

, e ) , H

⊔⊔

= ( Q ⟨ Y ⟩ ,

⊔⊔

, 1

Y

, ∆

, e ) , (24) H = ( Q ⟨ Y ⟩ , ● , 1

Y

, ∆ , e ) , H

= ( Q ⟨ Y ⟩ , , 1

Y

, ∆

, e ) . (25) Let us then consider the following diagonal series

15

D

⊔⊔

= ∑

wY

w ⊗ w and D = ∑

wY

w ⊗ w. (26)

15Of course, we have (set theoretically)D⊔⊔ = D , but their structural treatments will be different.

(8)

Here, in D

⊔⊔

and D , the operation on the right factor of the tensor product is the concatenation, and the operation on the left factor is the shuffle and the quasi- shuffle, respectively.

By the Cartier-Quillen-Milnor and Moore (CQMM in the sequel) theorem [9], the connected N-graded, co-commutative Hopf algebra H

⊔⊔

is isomorphic to the enveloping algebra of the Lie algebra of its primitive elements which is L ie

Q

⟨ Y ⟩ : H

⊔⊔

≅ U(L ie

Q

⟨ Y ⟩) and H

⊔⊔

≅ U(L ie

Q

⟨ Y ⟩)

. (27) Hence, denoting ( l

1

, l

2

) the standard factorization

16

of l ∈ L ynX X, let us con- sider

1. the PBW-Lyndon basis { P

w

}

wY

constructed recursively as follows [29]

⎧⎪⎪⎪⎪

⎨⎪⎪⎪ ⎪⎩

P

ys

= y

s

for y

s

∈ Y,

P

l

= [ P

l1

, P

l2

] for l ∈ L ynY Y, st ( l ) = ( l

1

, l

2

) , P

w

= P

li11

. . . P

lik

k

for

w=li11...likk ,

with

l1,...,lk∈LynY, l1>...>lk.

(28)

Example 1. i ) Considering on the alphabet Y ∶

P

y1

= y

1

, P

y2

= y

2

, P

y2y1

= y

2

y

1

− y

1

y

2

, P

y3y1y2

= y

3

y

1

y

2

− y

2

y

3

y

1

+ y

2

y

1

y

3

− y

1

y

3

y

2

. ii ) Considering on the alphabet X = { x

0

, x

1

} , x

0

< x

1

P

x1

= x

1

, P

x0x1

= x

0

x

1

− x

1

x

0

, P

x0x21

= x

0

y

21

− 2x

1

x

0

x

1

+ y

21

x

0

, P

x2

0x21x0x1

= x

20

x

21

x

0

x

1

− x

20

x

31

x

0

+ 2x

0

x

1

x

0

x

21

x

0

+ 2x

1

x

0

x

1

x

0

x

0

x

1

− x

21

x

30

x

1

+ x

21

x

20

x

1

x

0

− x

0

x

1

x

20

x

21

− 2 x

0

, 1 x

1

x

0

x

1

x

0

+ x

0

x

31

x

20

+ x

1

x

30

x

21

− 2x

1

x

20

x

1

x

0

x

1

− x

1

x

0

x

21

x

20

. 2. and, by duality

17

, the basis { S

w

}

wY

of ( Q ⟨ Y ⟩ ,

⊔⊔

) , i.e.

∀ u, v ∈ Y

, ⟨ P

u

∣ S

v

⟩ = δ

u,v

. (29)

16A couple of Lyndon words(l1, l2)is called the standard factorization oflifl=l1l2andl2is the smallest nontrivial proper right factor ofl(for the lexicographic order).

17The dual family,i.e.the set of coordinates forming a basis in the algebraic dual which is here the space of noncommutative series, but as the enveloping algebra under consideration is graded in finite dimensions (by the multidegree), these series are in fact multi-homogeneous polynomials.

(9)

This linear basis can be computed recursively as follows [29]

⎧⎪⎪⎪⎪

⎪⎪ ⎨⎪⎪⎪

⎪⎪⎪⎩

S

ys

= y

s

, for y

s

∈ Y,

S

l

= y

s

S

u

, for l = y

s

u ∈ L ynY, S

w

= S

l⊔⊔1 i1⊔⊔

. . .

⊔⊔

S

l⊔⊔ik

k

i

1

! . . . i

k

!

for w = l

1i1

. . . l

kik

, with

l

1

, . . . , l

k

∈ L ynY, l

1

> . . . > l

k

.

(30)

Example 2. i ) Considering on the alphabet Y ∶

S

y1

= y

1

, S

y2

= y

2

, S

y2y1

= y

2

y

1

, S

y3y1y2

= y

3

y

2

y

1

+ y

3

y

1

y

2

. ii ) Considering on the alphabet X ∶

S

x1

= x

1

, S

x0x1

= x

0

x

1

, S

x0x21

= x

0

x

21

, S

x2

0x21x0x1

= x

20

x

21

x

0

x

1

+ 3x

20

x

1

x

0

x

21

+ 6x

30

x

31

.

Similarly, by CQMM theorem, the connected N-graded, co-commutative Hopf algebra H is isomorphic to the enveloping algebra of its primitive elements:

Prim (H ) = Im ( π

1

) = span

Q

{ π

1

( w )∣ w ∈ Y

} , (31) where, for any w ∈ Y

, π

1

( w ) is obtained as follows [23, 24]

π

1

( w ) = w +

(w)

k=2

( − 1 )

k−1

k ∑

u1,...,ukY+

⟨ w ∣ u

1

. . . u

k

⟩ u

1

. . . u

k

. (32) Note that (32) is equivalent to the following identity

w = ∑

k0

1

k! ∑

u1,...,ukY

⟨ w ∣ u

1

. . . u

k

⟩ π

1

( u

1

) . . . π

1

( u

k

) . (33)

In particular, for any y

s

∈ Y , the primitive polynomial π

1

( y

s

) is given by π

1

( y

s

) = y

s

+

s i=2

( −1 )

i1

l ∑

j1,...,ji1,j1+...+ji=s

y

j1

. . . y

ji

. (34) Example 3. π

1

( y

1

) = y

1

, π

1

( y

2

) = y

2

12

y

12

, π

1

( y

3

) = y

3

12

( y

1

y

2

+ y

2

y

1

) +

13

y

13

. As previously, the expressions (34) are equivalent to

y

s

= ∑

i≥1

1 i! ∑

s1+...+si=s

π

1

( y

s1

) . . . π

1

( y

si

) , y

s

∈ Y . (35)

(10)

Example 4.

y

1

= π

1

( y

1

) , y

2

= π

1

( y

2

) + 1

2! π

1

( y

1

)

2

, y

3

= π

1

( y

3

) + 1

2! ( π

1

( y

1

) π

1

( y

2

) + π

1

( y

2

) π

1

( y

1

)) + 1

3! π

1

( y

1

)

3

.

Now let us consider the (endo-)morphism of algebras φ ∶ ( Q ⟨ Y ⟩ , ● ) → ( Q ⟨ Y ⟩ , ● ) verifying φ ( y

k

) = π

1

( y

k

) , it can be shown that it this an automorphism of Q ⟨ Y ⟩ . Then [24],

i) φ realizes an isomorphism from the bialgebra ( Q ⟨ Y ⟩ , ● , ∆

⊔⊔

, e ) to the bial- gebra ( Q ⟨ Y ⟩ , ● , ∆ , e ) .

ii) we have the following commutative diagram Q ⟨ Y ⟩

⊔⊔ //

φ

Q ⟨ Y ⟩ ⊗ Q ⟨ Y ⟩

φφ

Q ⟨ Y ⟩

//

Q ⟨ Y ⟩ ⊗ Q ⟨ Y ⟩ .

iii) ∆ ○ φ = φ ⊗ φ ○ ∆

⊔⊔

.

iv) H ≅ U ( Prim (H )) and H

≅ U( Prim (H ))

.

v) the dual bases { Π

w

}

wY

and { Σ

w

}

wY

of respectively U ( Prim (H )) and U ( Prim (H ))

can be obtained as images, by respectively φ and φ ˇ

1

, of respectively { P

w

}

wY

and { S

w

}

wY

.

More precisely,

1. the PBW-Lyndon basis { Π

w

}

wY

for U( Prim (H )) constructed recur- sively as follows

18

[5, 23, 24]

⎧⎪⎪⎪⎪

⎨⎪⎪⎪ ⎪⎩

Π

ys

= π

1

( y

s

) for y

s

∈ Y,

Π

l

= [ Π

l1

, Π

l2

] for l ∈ L ynY Y, st ( l ) = ( l

1

, l

2

) , Π

w

= Π

il1

1

. . . Π

ilk

k

for

w=li11 ...likk ,

with

l1,...,lk∈LynY, l1>...>lk.

(36) Example 5.

Π

y1

= y

1

, Π

y2

= y

2

12

y

12

, Π

y2y1

= y

2

y

1

− y

1

y

2

,

Π

y3y1y2

= y

3

y

1

y

2

12

y

3

y

13

− y

2

y

21

y

2

+

14

y

2

y

41

− y

1

y

3

y

2

+

12

y

1

y

3

y

12

+

12

y

21

y

22

12

y

12

y

2

y

12

− y

2

y

3

y

1

+

12

y

22

y

12

+ y

2

y

1

y

3

+

12

y

21

y

3

y

1

12

y

31

y

3

+

14

y

14

y

2

.

18In other words, the family{Πw}w∈Y is the images of the family{Pw}w∈Y by the isomor- phism of bialgebrasφ[24].

(11)

2. and, by duality, the basis { Σ

w

}

wY

of (Q ⟨ Y ⟩ , ), i.e.

∀ u, v ∈ Y

, ⟨ Π

u

∣ Σ

v

⟩ = δ

u,v

. (37) This linear basis can be computed recursively as follows

19

[5, 23, 24]

⎧⎪⎪⎪⎪

⎪⎪⎪⎪ ⎨⎪⎪⎪

⎪⎪⎪⎪⎪

Σ

ys

= y

s

, for y

s

∈ Y, Σ

l

= ∑

(☆)

1

i! y

sk1+...+ski

Σ

l1...ln

, for l = y

s1

. . . y

sk

∈ L ynY, Σ

w

= Σ

l i1

1

. . . Σ

l ik

k

i

1

! . . . i

k

! , for w = l

i11

. . . l

ikk

, with l

1

> . . . > l

k

∈ L ynY.

(38)

In ( ☆ ) , the sum is taken over all { k

1

, . . . , k

i

} ⊂ { 1, . . . , k } and all l

1

≥ . . . ≥ l

n

such that ( y

s1

, . . . , y

sk

) ⇐

( y

sk1

, . . . , y

ski

, l

1

, . . . , l

n

) , where ⇐

denotes the transitive closure of the relation on standard sequences, denoted by ⇐ [5].

Example 6.

Σ

y1

= y

1

, Σ

y2

= y

2

, Σ

y2y1

= y

2

y

1

+

12

y

3

,

Σ

y3y1y2

= y

3

y

2

y

1

+ y

3

y

1

y

2

+ y

32

+

12

y

4

y

2

+

13

y

6

+

12

y

5

y

1

.

We insist on the fact that, the families { Σ

l

}

l∈LynY

and { S

l

}

l∈LynX

are basically different in the sense of they make two systems of local coordinate and two lists of irreducible elements (like Groebner-Lyndon basis, see below Table 1. In fact we have in general π

X

( Σ

l

) ≠ S

πXl

, i.e. almost l ∈ L ynY and π

Y

( S

l

) ≠ Σ

πYl

i.e.

almost l ∈ L ynX . This does not occur with the Lyndon words themselves, which was provided in [20], because π

Y

( l ) ∈ L ynY for any l ∈ L ynX.

2.2. Local coordinates

Following Wei-Norman’s theorem [32], we know that for a given (finite di- mensional) Lie group

20

G, its Lie algebra g, and a basis B = ( b

i

)

1in

of g, there exists a neighbourhood W of 1

G

(in G) and n local coordinate k -valued

21

analytic functions

W → k , ( t

i

)

1in

19In other words, the family{Σw}w∈Y is the image of the family{Sw}w∈Y by the (linear) automorphismφˇ1[24].

20Real (withk=R) or complex (withk=C).

21See footnote above.

(12)

such that, for all g ∈ W , g =

1in

e

ti(g)bi

= e

t1(g)b1

. . . e

tn(g)bn

.

The proof relies on the fact that, ( t

1

, . . . , t

n

) → e

t1(g)b1

. . . e

tn(g)bn

is a local diffeo- morphism from k

n

to G at a neighbourhood of 0.

Example 7 (Wei-Norman in finite dimensions). Let M ∈ Gl

+

( 2, R ) (Gl

+

( 2, R ) denote the connected component of 1 in the Lie group Gl ( 2, R ) (it is the group of matrices with positive determinant)

M = ( a

11

a

12

a

21

a

22

)

In order to perform the decomposition, we will “go back to identity” by computing M T DU = I, where I stands for the identity matrix and T is upper unitriangular, D diagonal strictly positive and U unitary, then M = U

1

D

1

T

1

will be the Iwasawa [3] decomposition of M.

1. (orthogonalization) we perform block-computation on the columns of M to obtain an orthogonal matrix

M Ð→ ( a

11

a

12

a

21

a

22

)( 1 t

1

0 1 ) = M T = ( a

(111)

a

(121)

a

(211)

a

(221)

) = ( C

1(1)

C

2(1)

) = M

1

.

the both of columns are orthogonal if t

1

= −

a11a12+a21a22

a211+a221

. 2. (normalization) We normalize M

1

,

M

2

= ( C

1(1)

C

2(1)

) ⎛

1

∣∣C1(1)∣∣

0

0

1

∣∣C2(1)∣∣

⎠ = M

1

D

= M

1

e

log(∣∣C1(1)∣∣)

1 0 0 0

log(∣∣C2(1)∣∣)

0 0 0 1

.

3. (unitarization) As the columns of M

2

form an orthogonal basis and as det ( M

2

) > 0, one can write

M

2

= ( a

(112)

a

(122)

a

(212)

a

(222)

) = ( cos ( t

2

) − sin ( t

2

) sin ( t

2

) cos ( t

2

) ) = e

t2

0 1

− 1 0

,

and as M

2

is in a neighbourhood of I

2

, one has t

2

= arctan (

aa2111

) .

(13)

4. (summary)

M T D = M

2

= e

arctan(a21a11)

0 1

− 1 0

, hence

M = e

arctan(

a21

a11)(01 10)

D

1

T

1

= e

arctan(

a21

a11)(01 10)

e

log(∣∣C1∣∣)(

1 0

0 0)

e

log(∣∣C

(1)

2 ∣∣)(00 01)

e

⟨C1∣C2⟩

∣∣C1∣∣2 (00 10)

. One then gets a Wei-Norman decomposition of M with respect to the basis of the Lie algebra gl ( 2, R ) : ( 0 1

− 1 0 ) , ( 1 0

0 0 ) , ( 0 0

0 1 ) , ( 0 1 0 0 ) .

Now, in infinite dimensions, i.e. here within the algebra of double series (whose support is Y

⊗ Y

) endowed with the law

⊔⊔

⊗● ˆ , we have Schützenberger’s factorization(s) [29] as a perfect analogue of Wei-Norman’s theorem for the group of group-like series. For D

⊔⊔

D

⊔⊔

=

l∈LynY

exp ( S

l

⊗ P

l

) ∈ H

⊔⊔

⊗ ˆ H

⊔⊔

;

or with the law ⊗● ˆ , we also have the extension of Schützenberger’s factorization for D is then [5, 23, 24]

D =

l∈LynY

exp ( Σ

l

⊗ Π

l

) ∈ H

⊗ ˆ H .

These can be used to provide a system of local coordinates on the Hausdorff group (i.e. group of group-like elements

22

). Applying these factorizations to the multiple zeta functions ζ

⊔⊔

, ζ , or to Z

⊔⊔

and Z (which are all group-like), we have the representations

23

Z

⊔⊔

=

l∈LynXX

e

ζ(Sl)Pl

, and Z =

l∈LynY∖{y1}

e

ζ(Σl)Πl

.

It means that, all relations among polyzetas which can be seen here will be taken from relations among their local coordinates. Our method is due to identity (7) to reduce relations between the two systems of local coordinates { ζ ( S

l

)}

l∈LynX

and { ζ ( Σ

l

)}

l∈LynY

.

22These series are, in fact, characters for⊔⊔(resp. )

23The dual bases{Pl}l∈LynX and{Sl}l∈LynX are computed by (28), (30).

(14)

3. Structure of polyzetas

3.1. Representations of polynomials on bases

The aim of this subsection is to provide a method to represent any polynomial of Q ⟨ Y ⟩ in terms of each base { P

w

}

wY

, { S

w

}

wY

, { Π

w

}

wY

or { Σ

w

}

wY

.

Recall that the bases { P

w

}

wY

and { Π

w

}

wY

are homogeneous and upper tri- angular, the bases { S

w

}

wY

and { Σ

w

}

wY

are homogeneous and lower triangu- lar

24

. Without loss of generality we can assume that P ∈ Q ⟨ Y ⟩ is a homogeneous polynomial of weight n, we now represent P in terms of the basis { Σ

w

}

wY

by the following algorithm.

Algorithm 1

INPUT: A homogeneous polynomial P of weight n.

OUTPUT: The representation of P in terms of the basis { Σ

w

}

wY

.

Step 1. We choose the leading term

25

of P , assumed λ

1

w

1

. Expressing the word w

1

as follows

w

1

= Σ

w1

+ ∑

v<w1,(v)=n

α

v

v. (39)

The polynomial P can now be rewritten in the form P = λ

w1

Σ

w1

+ ∑

v<w1,(v)=n

β

v

v. (40)

Step 2. We repeat Step 1 with P now understood as the polynomial ∑

v<w1,(v)=n

β

v

v , and so on until the last monomial which admits the smallest word of weight n, y

n

, and we really have y

n

= Σ

yn

. At last, by re-putting the coefficients, we will obtain the representation of the original in form that

P = ∑

vw1,(v)=n

λ

v

Σ

v

. (41)

Example 8. P ∶= 2y

1

y

2

− 1 / 2y

3

.

Step 1. Since Σ

y1y2

= y

1

y

2

+ y

2

y

1

+ y

3

, we replace y

1

y

2

with Σ

y1y2

− y

2

y

1

− y

3

in P P = 2Σ

y1y2

− 2y

2

y

1

− 5 / 2y

3

.

24w.r.t the words and the lexicographic ordering, for example,Σw=w+∑v<w,(v)=(w)αvv.

25This term includes the greatest word in the support ofPand its coefficient.

Références

Documents relatifs

of the UML meta-model with its closed-world assumption are incidental, and it is valid to generate an OWL representation that follows open-world RDF and OWL assumptions. An ontology

In this paper, we study the representation theory of KΣ ′ (W n ) whenever R = K is a field of any characteristic: simple modules, radical, projective modules, Cartan matrix.... We

The only general description of q-characters of simple U q (Lg)-modules, due to Ginzburg and Vasserot for type A [30] and to Nakajima in general [49], uses intersection cohomology

We prove that the product of two dual semicanonical basis vectors ρ Z ′ and ρ Z ′′ is again a dual semicanonical basis vector provided the closure of the direct sum of

Lusztig’s description of the canonical basis of f in type A (1) in [L1] implies that this basis can be naturally identified with the set of isomorphism classes of simple objects of

More precisely it is conjectured there that θ V(λ) admits a canonical basis which is naturally identified with the set of isomorphism classes of simple objects of a category of

Collecting the results of Theorem 10.1, Theorem 10.3 and Proposition 16.2 we can now state the following parametrization of the indecomposable irreducible components of varieties

This property is actually already true for FQSym: the coproduct of FQSym is not compatible, in general, with the Hopf algebra structure of shuffle or tensors algebras (this