pure braid group - boise state university step references pure braid group hannah lewis. pure braid...

24
Pure Braid Group Hannah Lewis Definition Geometric Algebraic Concatenation Pn Semi-direct Product Braid Combing New Presentation Normal Form Word Problem Conjugacy Problem Next Step References Pure Braid Group Hannah Lewis

Upload: hathu

Post on 21-Apr-2018

219 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

Pure Braid Group

Hannah Lewis

Page 2: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

DefinitionGeometricAlgebraicConcatenation

Pn

Semi-direct ProductBraid Combing

New PresentationNormal FormWord ProblemConjugacy Problem

Next Step

References

Page 3: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

At the center of a crypto system is a mathematical trapdoor, thatis, a computational problem that is easy to do in one direction(encryption) but hard to do in reverse (decryption).Mathematicians search for trapdoors that involve computations innon-commutative structures that provide more security in cryptosystems. One such problem is the conjugacy problem in grouptheory. I have been studying the conjugacy problem in the purebraid group.

Page 4: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

There are two ways to look at the braid group Bn

I Geometrically

I Algebraically

Page 5: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

DefinitionGeometrically, an n-braid is a collection of n disjoint strings wherethe endpoints are fixed.

In Bn the endpoints can be permuted.In Pn the endpoints are not permuted.So Pn is the kernel in the homomorphism g : Bn → Snthat sends a braid to the appropriate permutation of theendpoints. In particular, Pn is a normal subgroup of Bn of index n!.

Figure 1: Braid

Page 6: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

DefinitionGeometrically, an n-braid is a collection of n disjoint strings wherethe endpoints are fixed.

In Bn the endpoints can be permuted.In Pn the endpoints are not permuted.So Pn is the kernel in the homomorphism g : Bn → Snthat sends a braid to the appropriate permutation of theendpoints. In particular, Pn is a normal subgroup of Bn of index n!.

Figure 1: Braid

Page 7: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

DefinitionGeometrically, an n-braid is a collection of n disjoint strings wherethe endpoints are fixed.

In Bn the endpoints can be permuted.In Pn the endpoints are not permuted.So Pn is the kernel in the homomorphism g : Bn → Snthat sends a braid to the appropriate permutation of theendpoints. In particular, Pn is a normal subgroup of Bn of index n!.

Figure 1: Braid

Page 8: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

DefinitionGeometrically an n-braid is a collection of n disjoint strings wherethe endpoints are fixed.

In Bn the endpoints can be permuted.In Pn the endpoints are not permuted.So Pn is the kernel in the homomorphism g : Bn → Snthat sends a braid to the appropriate permutation of theendpoints. In particular, Pn is a normal subgroup of Bn of index n!.

Figure 2: Pure Braid

Page 9: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

Bn has a presentation:〈σ1, ...σn−1 |σiσi+1σi = σi+1σiσi+1, σiσj = σjσi 〉where i = 1, ..., n − 2, j = 1, ..., n − 1, |i − j | > 1

In B3:

In any Bn, σi ’s continue to correspond to the simplest non trivialbraids with one crossing between two adjacent strands.

Page 10: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

Bn has a presentation:〈σ1, ...σn−1 |σiσi+1σi = σi+1σiσi+1, σiσj = σjσi 〉where i = 1, ..., n − 2, j = 1, ..., n − 1, |i − j | > 1In B3:

In any Bn, σi ’s continue to correspond to the simplest non trivialbraids with one crossing between two adjacent strands.

Page 11: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

Bn has a presentation:〈σ1, ...σn−1 |σiσi+1σi = σi+1σiσi+1, σiσj = σjσi 〉where i = 1, ..., n − 2, j = 1, ..., n − 1, |i − j | > 1In B3:

In any Bn, σi ’s continue to correspond to the simplest non trivialbraids with one crossing between two adjacent strands.

Page 12: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

Definition (Multiplication in Pn and Bn)Concatenation of braids. This works both geometrically andalgebraically.

w1 = σ−11 σ−2

3 σ2σ−13

w2 = σ−11 σ3

w1 × w2 = σ−11 σ−2

3 σ2σ−13 σ−1

1 σ3

Page 13: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

In Pn, if one forgets the nth strand of an n braid, one obtains ann − 1 braid. Thus we have a homomorphism:

f : Pn → Pn−1

The kernel of f , denoted by kerf , turns out to be a free group onn − 1 generators.

In fact we have an isomorphism:

kerf → π1(D − {p1, ..., pn−1}) = F (α1, ..., αn−1)

In P3: this looks like:

Page 14: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

In Pn, if one forgets the nth strand of an n braid, one obtains ann − 1 braid. Thus we have a homomorphism:

f : Pn → Pn−1

The kernel of f , denoted by kerf , turns out to be a free group onn − 1 generators.In fact we have an isomorphism:

kerf → π1(D − {p1, ..., pn−1}) = F (α1, ..., αn−1)

In P3: this looks like:

Page 15: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

Because we also know that Pn−1 is a subgroup of Pn, the purebraid group on n strands can be written as a semi-direct product:

Pn = F (α1, ..., αn−1) o Pn−1

This can be used to inductively produce presentations of Pn. Forthis we need a presentation of Pn−1, and we need to understandhow Pn−1 acts of the free group F .The first interesting case isn = 3.

Page 16: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

P2 is infinite cyclic generated by z = σ21

This leads to a presentation for P3:

P3 =< α1, α2, z | zα1z−1 = w1, zα2z

−1 = w2 >,

We need to understand how to write w1 and w2 in terms of α1

and α2. It turns out that:w1 = α−1

1 α−12 α1α2α1

w2 = α−11 α2α1

Recall that: α1 = σ22 , α2 = σ2σ

21σ−12

The expressions for w1 and w2 are obtained by combing theappropriate braids.For ease of notation α1 = x , α2 = y .

Page 17: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

Page 18: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

In summary, we obtain the presentation:

〈x , y , z | zxz−1 = x−1y−1xyx , zyz−1 = x−1yx〉

where x = σ22 , y = σ2σ

21σ−12 , z = σ2

1 If we set c = z−1x−1y−1, weobtain the presentation:

< x , y , c |xc = cx , yc = cy >

This shows that P3 is a direct product

F (x , y)× 〈c〉.

Page 19: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

Normal FormMove all the c’s to the right using the following relations:xc = cxyc = cy

Page 20: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

Word ProblemAfter putting the word in normal form and free reductions, if theresult is the empty word, then the braid is trivial.

Page 21: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

Conjugacy Problem

Suppose we have two words, w1 and w2. We write these words innormal form:

w1 = u1cm1 ,w2 = u2c

m2 ,where ui ∈ F (x , y)

w1 ∼ w2 if and only if m1 = m2 and u1 ∼ u2 in F (x , y)

Recall the conjugacy problem in the free group:Given two words, w1, w2 in F (x , y), cyclically reduce wi to w ′i .Then, w1 ∼ w2 ⇔ w ′2 is a cyclic permutation of w ′1.

Page 22: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

Conjugacy Problem

Suppose we have two words, w1 and w2. We write these words innormal form:

w1 = u1cm1 ,w2 = u2c

m2 ,where ui ∈ F (x , y)

w1 ∼ w2 if and only if m1 = m2 and u1 ∼ u2 in F (x , y)

Recall the conjugacy problem in the free group:Given two words, w1, w2 in F (x , y), cyclically reduce wi to w ′i .Then, w1 ∼ w2 ⇔ w ′2 is a cyclic permutation of w ′1.

Page 23: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

Now that we have generators for P3, we can say:P4 = F (α1, α2, α3) o 〈x , y , c | xc = cx , yc = cy〉Then we start combing the braids

xα1x−1, xα2x

−1, xα3x−1, yα1y

−1, yα2y−1...

Page 24: Pure Braid Group - Boise State University Step References Pure Braid Group Hannah Lewis. Pure Braid Group ... Next Step References Normal Form Move all the c’s to the right using

Pure Braid Group

Hannah Lewis

Definition

Geometric

Algebraic

Concatenation

Pn

Semi-direct Product

Braid Combing

New Presentation

Normal Form

Word Problem

Conjugacy Problem

Next Step

References

I J. G. Boiser. Computational Problems in the Braid Group.Masters Thesis. San Diego State University. 2009.

I D. Rolfsen. Tutorial on the Braid Group. in Braids:Introductory Lectures on Braids, Configurations and TheirApplications, Lecture Note Series, Institute for MathematicalSciences, National University of Sinapore. Vol 19. WorldScinetific. 2009.