Interacciones del Álgebra y la Geometría en el grupo de ... · PDF...

Post on 07-Feb-2018

213 views 0 download

Transcript of Interacciones del Álgebra y la Geometría en el grupo de ... · PDF...

Interacciones del Algebra y la Geometrıa en elgrupo de trenzas

Seminario PhDIMUS

Marta Aguilera

Universidad de Sevilla

27 de Junio, 2013

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 1 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Presentacion de Bn

Grupo de trenzas con n cuerdas Bn

Presentacion de Bn

Bn =

⟨σ1, σ2 . . . , σn−1 :

σiσj = σjσi |i − j | > 1σiσjσi = σjσiσj |i − j | = 1

⟩.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 2 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Presentacion de Bn

Grupo de trenzas con n cuerdas Bn

Generadores

Producto

Relaciones

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 3 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Presentacion de Bn

Grupo de trenzas con n cuerdas Bn

Generadores

ProductoProducto

Relaciones

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 3 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Presentacion de Bn

Grupo de trenzas con n cuerdas Bn

Generadores

ProductoProducto

Relaciones

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 3 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Presentacion de Bn

Grupo de trenzas con n cuerdas Bn

Generadores

ProductoRelaciones

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 3 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Presentacion de Bn

Grupo de trenzas con n cuerdas Bn

Generadores

ProductoRelaciones

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 3 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Presentacion de Bn

Grupo de trenzas con n cuerdas Bn

Generadores

ProductoRelaciones

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 3 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Presentacion de Bn

Problema de la palabra

¿Como saber si dos palabras representan la misma trenza?

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 4 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Estructura de Garside

Estructura de Garside: (Bn,B+n ,∆).

B+n monoide de trenzas positivas Orden parcial 4.

∆ ∈ B+n elemento de Garside.

[1,∆] genera Bn.τ(B+

n ) = ∆−1B+n ∆ = B+

nZ (Bn) = 〈∆2〉

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 5 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Estructura de Garside

Estructura de Garside: (Bn,B+n ,∆).

B+n monoide de trenzas positivas

Orden parcial 4.∆ ∈ B+

n elemento de Garside.

[1,∆] genera Bn.τ(B+

n ) = ∆−1B+n ∆ = B+

nZ (Bn) = 〈∆2〉

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 5 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Estructura de Garside

Estructura de Garside: (Bn,B+n ,∆).

B+n monoide de trenzas positivas Orden parcial 4.

∆ ∈ B+n elemento de Garside.

[1,∆] genera Bn.τ(B+

n ) = ∆−1B+n ∆ = B+

nZ (Bn) = 〈∆2〉

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 5 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Estructura de Garside

Estructura de Garside: (Bn,B+n ,∆).

B+n monoide de trenzas positivas Orden parcial 4.

∆ ∈ B+n elemento de Garside.

[1,∆] genera Bn.τ(B+

n ) = ∆−1B+n ∆ = B+

nZ (Bn) = 〈∆2〉

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 5 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Estructura de Garside

Estructura de Garside: (Bn,B+n ,∆).

B+n monoide de trenzas positivas Orden parcial 4.

∆ ∈ B+n elemento de Garside.

[1,∆] genera Bn.

τ(B+n ) = ∆−1B+

n ∆ = B+n

Z (Bn) = 〈∆2〉

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 5 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Estructura de Garside

Estructura de Garside: (Bn,B+n ,∆).

B+n monoide de trenzas positivas Orden parcial 4.

∆ ∈ B+n elemento de Garside.

[1,∆] genera Bn.τ(B+

n ) = ∆−1B+n ∆ = B+

n

Z (Bn) = 〈∆2〉

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 5 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Estructura de Garside

Estructura de Garside: (Bn,B+n ,∆).

B+n monoide de trenzas positivas Orden parcial 4.

∆ ∈ B+n elemento de Garside.

[1,∆] genera Bn.τ(B+

n ) = ∆−1B+n ∆ = B+

nZ (Bn) = 〈∆2〉

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 5 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Elementos simples en B3

[1,∆] en B3

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 6 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Elementos simples en B3

[1,∆] en B3

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 6 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Elementos simples en B3

[1,∆] en B3

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 6 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Elementos simples en B3

[1,∆] en B3

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 6 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Elementos simples en B3

[1,∆] en B3

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 6 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Elementos simples en B3

[1,∆] en B3

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 6 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Forma normal en Bn

Definicion

Forma normal en B+n

β = ∆r s1s2 . . . s`, r ∈ N

si ∈ [1,∆] mayor prefijo de sisi+1 . . . s`.

Lema

∀β ∈ Bn, ∃r ∈ N s.t . ∆rβ ∈ B+n .

DefinicionForma normal en Bn

∆rβ = s1s2 . . . s` F.N.⇒ β = ∆−r s1s2 . . . s` F.N.

r mınimo. Longitud canonica `(β) = `.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 7 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Forma normal en Bn

Definicion

Forma normal en B+n

β = ∆r s1s2 . . . s`, r ∈ N

si ∈ [1,∆] mayor prefijo de sisi+1 . . . s`.

Lema

∀β ∈ Bn, ∃r ∈ N s.t . ∆rβ ∈ B+n .

DefinicionForma normal en Bn

∆rβ = s1s2 . . . s` F.N.⇒ β = ∆−r s1s2 . . . s` F.N.

r mınimo. Longitud canonica `(β) = `.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 7 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Forma normal en Bn

Definicion

Forma normal en B+n

β = ∆r s1s2 . . . s`, r ∈ N

si ∈ [1,∆] mayor prefijo de sisi+1 . . . s`.

Lema

∀β ∈ Bn, ∃r ∈ N s.t . ∆rβ ∈ B+n .

DefinicionForma normal en Bn

∆rβ = s1s2 . . . s` F.N.

⇒ β = ∆−r s1s2 . . . s` F.N.

r mınimo. Longitud canonica `(β) = `.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 7 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Forma normal en Bn

Definicion

Forma normal en B+n

β = ∆r s1s2 . . . s`, r ∈ N

si ∈ [1,∆] mayor prefijo de sisi+1 . . . s`.

Lema

∀β ∈ Bn, ∃r ∈ N s.t . ∆rβ ∈ B+n .

DefinicionForma normal en Bn

∆rβ = s1s2 . . . s` F.N.⇒ β = ∆−r s1s2 . . . s` F.N.

r mınimo. Longitud canonica `(β) = `.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 7 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Forma normal en Bn

Definicion

Forma normal en B+n

β = ∆r s1s2 . . . s`, r ∈ N

si ∈ [1,∆] mayor prefijo de sisi+1 . . . s`.

Lema

∀β ∈ Bn, ∃r ∈ N s.t . ∆rβ ∈ B+n .

DefinicionForma normal en Bn

∆rβ = s1s2 . . . s` F.N.⇒ β = ∆−r s1s2 . . . s` F.N.

r mınimo.

Longitud canonica `(β) = `.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 7 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Forma normal en Bn

Definicion

Forma normal en B+n

β = ∆r s1s2 . . . s`, r ∈ N

si ∈ [1,∆] mayor prefijo de sisi+1 . . . s`.

Lema

∀β ∈ Bn, ∃r ∈ N s.t . ∆rβ ∈ B+n .

DefinicionForma normal en Bn

∆rβ = s1s2 . . . s` F.N.⇒ β = ∆−r s1s2 . . . s` F.N.

r mınimo. Longitud canonica `(β) = `.M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 7 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Forma normal en B3

stst+1 esta en FN ⇐⇒ (. . . σi)︸ ︷︷ ︸st

(σi . . .)︸ ︷︷ ︸st+1

LemaForma normal de β

β = ∆s (σ1)p1 σ1σ2 σ2σ1 . . . σ1σ2︸ ︷︷ ︸q1 factores

(σ2)p2 . . . (σ1)pr σ1σ2 · σ2σ1 . . . σ1σ2︸ ︷︷ ︸qr factores

s ∈ Z, pi ,qi ∈ N.

Escribiremos

(s; i ; p1,q1, . . .pr ,qr ) ∈ Z× {1,2} × N2r

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 8 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Forma normal en B3

stst+1 esta en FN ⇐⇒ (. . . σi)︸ ︷︷ ︸st

(σi . . .)︸ ︷︷ ︸st+1

LemaForma normal de β

β = ∆s (σ1)p1 σ1σ2 σ2σ1 . . . σ1σ2︸ ︷︷ ︸q1 factores

(σ2)p2 . . . (σ1)pr σ1σ2 · σ2σ1 . . . σ1σ2︸ ︷︷ ︸qr factores

s ∈ Z, pi ,qi ∈ N.

Escribiremos

(s; i ; p1,q1, . . .pr ,qr ) ∈ Z× {1,2} × N2r

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 8 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Forma normal en B3

stst+1 esta en FN ⇐⇒ (. . . σi)︸ ︷︷ ︸st

(σi . . .)︸ ︷︷ ︸st+1

LemaForma normal de β

β = ∆s (σ1)p1 σ1σ2 σ2σ1 . . . σ1σ2︸ ︷︷ ︸q1 factores

(σ2)p2 . . . (σ1)pr σ1σ2 · σ2σ1 . . . σ1σ2︸ ︷︷ ︸qr factores

s ∈ Z, pi ,qi ∈ N.

Escribiremos

(s; i ; p1,q1, . . .pr ,qr ) ∈ Z× {1,2} × N2r

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 8 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Trenzas rıgidas

Definicionβ ∈ B3 es rıgida si:

β = ∆2kσi . . . σi β = ∆2k+1σj . . . σi

Proposicion

β ∈ B3, ∃β ∼ β tal que β rıgida.`(β) es la mınima en [β].

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 9 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Trenzas rıgidas

Definicionβ ∈ B3 es rıgida si:

β = ∆2kσi . . . σi β = ∆2k+1σj . . . σi

Proposicion

β ∈ B3, ∃β ∼ β tal que β rıgida.

`(β) es la mınima en [β].

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 9 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como grupo de Garside

Trenzas rıgidas

Definicionβ ∈ B3 es rıgida si:

β = ∆2kσi . . . σi β = ∆2k+1σj . . . σi

Proposicion

β ∈ B3, ∃β ∼ β tal que β rıgida.`(β) es la mınima en [β].

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 9 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

DefinicionS superficie orientable

MCG(S) ={

Homeo+(S) mod isotopıa}

Ejemplo

MCG(S2) = {1}

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 10 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

DefinicionS superficie orientable

MCG(S) ={

Homeo+(S) mod isotopıa}

Ejemplo

MCG(S2) = {1}

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 10 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

DefinicionS superficie orientable

MCG(S) ={

Homeo+(S) mod isotopıa}

Ejemplo

MCG(S2) = {1}

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 10 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

DefinicionS superficie orientable

MCG(S) ={

Homeo+(S) mod isotopıa}

Ejemplo

MCG(S2) = {1}

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 10 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

DefinicionS superficie orientable

MCG(S) ={

Homeo+(S) mod isotopıa}

Ejemplo

MCG(S2) = {1}

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 10 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Ejemplo

T 2 ' R2/Z2

Aut(T 2) ' Aut(Z⊕ Z)

MCG(T 2) = SL2(Z)

¿Elementos fijos?

A =

(a bc d

) P(x) = x2 − tr(A)x + 1

tr(A)±√

tr(A)2 − 42

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 11 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Ejemplo

T 2 ' R2/Z2 Aut(T 2) ' Aut(Z⊕ Z)

MCG(T 2) = SL2(Z)

¿Elementos fijos?

A =

(a bc d

) P(x) = x2 − tr(A)x + 1

tr(A)±√

tr(A)2 − 42

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 11 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Ejemplo

T 2 ' R2/Z2 Aut(T 2) ' Aut(Z⊕ Z)

MCG(T 2) = SL2(Z)

¿Elementos fijos?

A =

(a bc d

) P(x) = x2 − tr(A)x + 1

tr(A)±√

tr(A)2 − 42

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 11 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Ejemplo

T 2 ' R2/Z2 Aut(T 2) ' Aut(Z⊕ Z)

MCG(T 2) = SL2(Z)

¿Elementos fijos?

A =

(a bc d

) P(x) = x2 − tr(A)x + 1

tr(A)±√

tr(A)2 − 42

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 11 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Ejemplo

T 2 ' R2/Z2 Aut(T 2) ' Aut(Z⊕ Z)

MCG(T 2) = SL2(Z)

¿Elementos fijos?

A =

(a bc d

)

P(x) = x2 − tr(A)x + 1 tr(A)±

√tr(A)2 − 42

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 11 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Ejemplo

T 2 ' R2/Z2 Aut(T 2) ' Aut(Z⊕ Z)

MCG(T 2) = SL2(Z)

¿Elementos fijos?

A =

(a bc d

) P(x) = x2 − tr(A)x + 1

tr(A)±

√tr(A)2 − 42

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 11 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Ejemplo

T 2 ' R2/Z2 Aut(T 2) ' Aut(Z⊕ Z)

MCG(T 2) = SL2(Z)

¿Elementos fijos?

A =

(a bc d

) P(x) = x2 − tr(A)x + 1

tr(A)±√

tr(A)2 − 42

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 11 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Si tr(A) = 0,1, A periodico. Ejemplo:(

1 −21 −1

)

Si tr(A) = 2, A reducible. Ejemplo:(

3 2−2 −1

)Si tr(A) > 2, A Anosov.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 12 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Si tr(A) = 0,1, A periodico. Ejemplo:(

1 −21 −1

)

Si tr(A) = 2, A reducible. Ejemplo:(

3 2−2 −1

)Si tr(A) > 2, A Anosov.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 12 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Si tr(A) = 0,1, A periodico. Ejemplo:(

1 −21 −1

)

Si tr(A) = 2, A reducible. Ejemplo:(

3 2−2 −1

)Si tr(A) > 2, A Anosov.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 12 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Si tr(A) = 0,1, A periodico. Ejemplo:(

1 −21 −1

)

Si tr(A) = 2, A reducible. Ejemplo:(

3 2−2 −1

)Si tr(A) > 2, A Anosov.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 12 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Si tr(A) = 0,1, A periodico. Ejemplo:(

1 −21 −1

)

Si tr(A) = 2, A reducible. Ejemplo:(

3 2−2 −1

)Si tr(A) > 2, A Anosov.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 12 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Si tr(A) = 0,1, A periodico. Ejemplo:(

1 −21 −1

)

Si tr(A) = 2, A reducible. Ejemplo:(

3 2−2 −1

)

Si tr(A) > 2, A Anosov.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 12 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Si tr(A) = 0,1, A periodico. Ejemplo:(

1 −21 −1

)

Si tr(A) = 2, A reducible. Ejemplo:(

3 2−2 −1

)

Si tr(A) > 2, A Anosov.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 12 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Toro

Si tr(A) = 0,1, A periodico. Ejemplo:(

1 −21 −1

)

Si tr(A) = 2, A reducible. Ejemplo:(

3 2−2 −1

)

Si tr(A) > 2, A Anosov.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 12 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

Bn = MCG(Dn, ∂Dn)

Bn/〈∆2〉 = MCG(Dn)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 13 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

Bn = MCG(Dn, ∂Dn)

Bn/〈∆2〉 = MCG(Dn)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 13 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

Bn = MCG(Dn, ∂Dn)

Bn/〈∆2〉 = MCG(Dn)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 13 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

Bn = MCG(Dn, ∂Dn)

Bn/〈∆2〉 = MCG(Dn)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 13 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

Bn = MCG(Dn, ∂Dn)

Bn/〈∆2〉 = MCG(Dn)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 13 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

Bn = MCG(Dn, ∂Dn)

Bn/〈∆2〉 = MCG(Dn)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 13 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

Bn = MCG(Dn, ∂Dn)

Bn/〈∆2〉 = MCG(Dn)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 13 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Mapping Class Group

Bn = MCG(Dn, ∂Dn)

Bn/〈∆2〉 = MCG(Dn)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 13 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso periodico ∃ k , s ∈ N tal que βk = ∆2s

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso periodico ∃ k , s ∈ N tal que βk = ∆2s

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso periodico ∃ k , s ∈ N tal que βk = ∆2s

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso periodico ∃ k , s ∈ N tal que βk = ∆2s

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso periodico ∃ k , s ∈ N tal que βk = ∆2s

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso reducible ∃C ⊆ Dn 1-variedad tal que β(C) = C.

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso reducible ∃C ⊆ Dn 1-variedad tal que β(C) = C.

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso reducible ∃C ⊆ Dn 1-variedad tal que β(C) = C.

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso reducible ∃C ⊆ Dn 1-variedad tal que β(C) = C.

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso reducible ∃C ⊆ Dn 1-variedad tal que β(C) = C.

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso reducible ∃C ⊆ Dn 1-variedad tal que β(C) = C.

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso reducible ∃C ⊆ Dn 1-variedad tal que β(C) = C.

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso reducible ∃C ⊆ Dn 1-variedad tal que β(C) = C.

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Caso reducible ∃C ⊆ Dn 1-variedad tal que β(C) = C.

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Teorema de clasificacion de Nielsen-Thurston

Teorema∀β ∈ Bn

β es periodica.β es reducible (no periodica).β es pseudo-Anosov.

Pseudo Anosov Fu,Fs ⊆ Dn foliaciones mesuradas transversas:

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 14 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Train tracks

Sea Γ un grafo tal que:

π1(Γ) = Fn.Vertices de valencia al menos 3.Tangentes bien definidas en los vertices.

DefinicionΓ es un train track para β si

β(Γ) ⊆ N(Γ) respetando tangencias.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 15 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Train tracks

Sea Γ un grafo tal que:π1(Γ) = Fn.

Vertices de valencia al menos 3.Tangentes bien definidas en los vertices.

DefinicionΓ es un train track para β si

β(Γ) ⊆ N(Γ) respetando tangencias.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 15 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Train tracks

Sea Γ un grafo tal que:π1(Γ) = Fn.Vertices de valencia al menos 3.

Tangentes bien definidas en los vertices.

DefinicionΓ es un train track para β si

β(Γ) ⊆ N(Γ) respetando tangencias.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 15 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Train tracks

Sea Γ un grafo tal que:π1(Γ) = Fn.Vertices de valencia al menos 3.Tangentes bien definidas en los vertices.

DefinicionΓ es un train track para β si

β(Γ) ⊆ N(Γ) respetando tangencias.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 15 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Train tracks

Sea Γ un grafo tal que:π1(Γ) = Fn.Vertices de valencia al menos 3.Tangentes bien definidas en los vertices.

DefinicionΓ es un train track para β si

β(Γ) ⊆ N(Γ) respetando tangencias.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 15 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Ejemplo β = σ1σ−12

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 16 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Ejemplo β = σ1σ−12

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 16 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Ejemplo β = σ1σ−12

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 16 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Ejemplo β = σ1σ−12

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 16 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Ejemplo β = σ1σ−12

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 16 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Informacion a partir de train tracks

(1 11 2

)

λ =3 +√

52

−→v λ =

(1 +√

52

,1

)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 17 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Informacion a partir de train tracks

(1 11 2

)λ =

3 +√

52

−→v λ =

(1 +√

52

,1

)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 17 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Informacion a partir de train tracks

(1 11 2

)λ =

3 +√

52

−→v λ =

(1 +√

52

,1

)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 17 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Informacion a partir de train tracks

(1 11 2

)λ =

3 +√

52

−→v λ =

(1 +√

52

,1

)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 17 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Representantes de [β]

β1 ∼ β2 ⇒ β1, β2 son del mismo tipo N.T.

Teorema (Murasugi)Todo β ∈ B3 es conjugada a:si β es periodica ∆s, ∆2s+1σ1 o ∆2sσ1σ2.

si β es reducible∆2sσk

1 , k > 0.∆s σ1σ2 . . . σ2σ1︸ ︷︷ ︸

k factores simples

, k > 0, s + k par.

si β es pseudo-Anosov (s; 1; p1,q1, . . . ,pr ,qr ), con s +∑

qj par.

Todos los representantes de Murasugi son rıgidos.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 18 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Representantes de [β]

β1 ∼ β2 ⇒ β1, β2 son del mismo tipo N.T.

Teorema (Murasugi)Todo β ∈ B3 es conjugada a:si β es periodica ∆s, ∆2s+1σ1 o ∆2sσ1σ2.

si β es reducible∆2sσk

1 , k > 0.∆s σ1σ2 . . . σ2σ1︸ ︷︷ ︸

k factores simples

, k > 0, s + k par.

si β es pseudo-Anosov (s; 1; p1,q1, . . . ,pr ,qr ), con s +∑

qj par.

Todos los representantes de Murasugi son rıgidos.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 18 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Representantes de [β]

β1 ∼ β2 ⇒ β1, β2 son del mismo tipo N.T.

Teorema (Murasugi)Todo β ∈ B3 es conjugada a:si β es periodica ∆s, ∆2s+1σ1 o ∆2sσ1σ2.

si β es reducible∆2sσk

1 , k > 0.∆s σ1σ2 . . . σ2σ1︸ ︷︷ ︸

k factores simples

, k > 0, s + k par.

si β es pseudo-Anosov (s; 1; p1,q1, . . . ,pr ,qr ), con s +∑

qj par.

Todos los representantes de Murasugi son rıgidos.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 18 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Representantes de [β]

β1 ∼ β2 ⇒ β1, β2 son del mismo tipo N.T.

Teorema (Murasugi)Todo β ∈ B3 es conjugada a:si β es periodica ∆s, ∆2s+1σ1 o ∆2sσ1σ2.

si β es reducible∆2sσk

1 , k > 0.∆s σ1σ2 . . . σ2σ1︸ ︷︷ ︸

k factores simples

, k > 0, s + k par.

si β es pseudo-Anosov (s; 1; p1,q1, . . . ,pr ,qr ), con s +∑

qj par.

Todos los representantes de Murasugi son rıgidos.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 18 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Representantes de [β]

β1 ∼ β2 ⇒ β1, β2 son del mismo tipo N.T.

Teorema (Murasugi)Todo β ∈ B3 es conjugada a:si β es periodica ∆s, ∆2s+1σ1 o ∆2sσ1σ2.

si β es reducible∆2sσk

1 , k > 0.∆s σ1σ2 . . . σ2σ1︸ ︷︷ ︸

k factores simples

, k > 0, s + k par.

si β es pseudo-Anosov (s; 1; p1,q1, . . . ,pr ,qr ), con s +∑

qj par.

Todos los representantes de Murasugi son rıgidos.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 18 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Bn como mapping class group

Pseudo-Anosov 3-braids.

Teorema (Handel)

Train track para β = (s; 1; p1,q1, . . . ,pr ,qr )

La matriz asociada es M:

M = Lp1 · Uq1 · Lp2 · · · Lpr · Uqr

L =

(1 01 1

)U =

(1 10 1

)Nota

` =r∑1

(pi + qi)

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 19 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ ∈ B3

TeoremaSL2(N) es un monoide libre.

SL2(N) = 〈L,U〉

Corolario

{Trenzas de longitud mınima en [β]}2:1� {SL2(N)}

CorolarioEl conjunto de posibles λ en B3:{

λ =T +√

T 2 − 42

T ∈ N, T ≥ 3

}

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 20 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ ∈ B3

TeoremaSL2(N) es un monoide libre.

SL2(N) = 〈L,U〉

Corolario

{Trenzas de longitud mınima en [β]}2:1� {SL2(N)}

CorolarioEl conjunto de posibles λ en B3:{

λ =T +√

T 2 − 42

T ∈ N, T ≥ 3

}

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 20 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ ∈ B3

TeoremaSL2(N) es un monoide libre.

SL2(N) = 〈L,U〉

Corolario

{Trenzas de longitud mınima en [β]}2:1� {SL2(N)}

CorolarioEl conjunto de posibles λ en B3:{

λ =T +√

T 2 − 42

T ∈ N, T ≥ 3

}

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 20 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ ∈ B3

PREGUNTASHecho: {λ} es discreto e infinito.

Pregunta: Relacion entre ` y λ.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 21 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ ∈ B3

PREGUNTASHecho: {λ} es discreto e infinito.Pregunta: Relacion entre ` y λ.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 21 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ ∈ B3

PREGUNTASHecho: {λ} es discreto e infinito.Pregunta: Relacion entre ` y λ.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 21 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ vs traza

TeoremaDado T , la palabra LU mas larga con traza T es

LUT−2 =

(1 T − 21 T − 1

).

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 22 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ vs traza

TeoremaDado T , la palabra LU mas larga con traza T es

LUT−2 =

(1 T − 21 T − 1

).

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 22 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ vs traza

TeoremaDado `, la palabra LU con mayor traza:

LU . . . LU =

(F`−1 F`F` F`+1

)LU . . . LUL =

(F`+1 F`F`+2 F`+1

)

F0 = 0, F1 = 1, F2 = 1, F3 = 2, F4 = 3 . . . numeros de Fibonacci.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 23 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ vs traza

TeoremaDado `, la palabra LU con mayor traza:

LU . . . LU =

(F`−1 F`F` F`+1

)LU . . . LUL =

(F`+1 F`F`+2 F`+1

)F0 = 0, F1 = 1, F2 = 1, F3 = 2, F4 = 3 . . . numeros de Fibonacci.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 23 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ vs traza

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 24 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ vs traza

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 24 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

λ vs traza

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 24 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

Teoremaβ ∈ B3 pseudo-Anosov, rıgida y long. canonica ` > 1:

12

(`+ 1 +

√(`+ 3) (`− 1)

)≤ λ,

λ ≤ φ` si ` es par.

λ ≤ F` +√

F 2` − 1 < 2√

5φ` si ` es impar.

φ = numero aureo.Fi = i -esimo numero de Fibonacci.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 25 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

Teoremaβ ∈ B3 pseudo-Anosov, rıgida y long. canonica ` > 1:

12

(`+ 1 +

√(`+ 3) (`− 1)

)≤ λ,

λ ≤ φ` si ` es par.

λ ≤ F` +√

F 2` − 1 < 2√

5φ` si ` es impar.

φ = numero aureo.Fi = i -esimo numero de Fibonacci.

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 25 / 26

Interacciones del Algebra y la Geometrıa en el grupo de trenzas Distribucion de λ

Muchas gracias

M. Aguilera (U. Sevilla) Seminario PhD, IMUS 27 de Junio, 2013 26 / 26