from the ybe to the left braces
play

From the YBE to the Left Braces Ivan Lau (Joint Work with Patrick - PowerPoint PPT Presentation

From the YBE to the Left Braces Ivan Lau (Joint Work with Patrick Kinnear and Dora Pulji c) University of Edinburgh Groups, Rings and Associated Structures 2019 June 9-15 2019, Spa, Belgium 1/20 Small Challenge Find all matrices R C 4


  1. From the YBE to the Left Braces Ivan Lau (Joint Work with Patrick Kinnear and Dora Pulji´ c) University of Edinburgh Groups, Rings and Associated Structures 2019 June 9-15 2019, Spa, Belgium 1/20

  2. Small Challenge Find all matrices R ∈ C 4 × 4 which satisfy ( R ⊗ I )( I ⊗ R )( R ⊗ I ) = ( I ⊗ R )( R ⊗ I )( I ⊗ R ) where I is the identity matrix on C 2 × 2 . Reminder on Kronecker product ⊗ : For S ∈ C k × m , T ∈ C l × n S ⊗ T is the block matrix ∈ C kl × mn   s 11 T . . . s 1 m T . . ... . . S ⊗ T =  .  . .   s k 1 T . . . s km T In particular, R ⊗ I and I ⊗ R are both C 8 × 8 . 2/20

  3. Small Challenge Find all matrices R ∈ C 4 × 4 which satisfy ( R ⊗ I )( I ⊗ R )( R ⊗ I ) = ( I ⊗ R )( R ⊗ I )( I ⊗ R ) where I is the identity matrix on C 2 × 2 . Naive approach: Introduce 16 variables for the entries of R and try matching the LHS and the RHS for each entry.   x 1 x 2 x 3 x 4 x 5 x 6 x 7 x 8   R =   x 9 x 10 x 11 x 12   x 13 x 14 x 15 x 16 2/20

  4. Small Challenge Find all matrices R ∈ C 4 × 4 which satisfy ( R ⊗ I )( I ⊗ R )( R ⊗ I ) = ( I ⊗ R )( R ⊗ I )( I ⊗ R ) where I is the identity matrix on C 2 × 2 . Naive approach: Introduce 16 variables for the entries of R and try matching the LHS and the RHS for each entry. Problem: Matching each entry is equivalent to solving a multivariate cubic polynomial . Matching all 64 entries is equivalent to solving 64 cubic polynomials in 16 variables! Solved by (Hietarinta 1993) with the help of a computer ! 2/20

  5. Grand Challenge: YBE and the R -matrix Find all matrices R ∈ C n 2 × n 2 which satisfy ( R ⊗ I )( I ⊗ R )( R ⊗ I ) = ( I ⊗ R )( R ⊗ I )( I ⊗ R ) where I is the identity matrix on C n × n . Naive approach: solve n 6 cubic polynomials in n 4 variables. Still open for n ≥ 3. The equation ( R ⊗ I )( I ⊗ R )( R ⊗ I ) = ( I ⊗ R )( R ⊗ I )( I ⊗ R ) is called the Yang-Baxter equation (YBE). Matrices R that satisfy YBE are called R -matrices . 3/20

  6. (Drinfeld 1992): Set-theoretic Solutions Let X be a non-empty set. Let r : X 2 → X 2 be a bijective map. We write r × id as the map X 3 → X 3 such that � � ( r × id )( x , y , z ) = r ( x , y ) , z . Similarly, � � ( id × r )( x , y , z ) = x , r ( y , z ) . The pair ( X , r ) is a set-theoretic solution of the YBE if it satisfies ( r × id )( id × r )( r × id ) = ( id × r )( r × id )( id × r ) . Observe the similarity to the YBE: ( R ⊗ I )( I ⊗ R )( R ⊗ I ) = ( I ⊗ R )( R ⊗ I )( I ⊗ R ) . 4/20

  7. Example: Flip Map Let X be a non-empty set. We define r : X 2 → X 2 to be the map r ( x , y ) = ( y , x ) for all x , y ∈ X . For any x , y , z ∈ X , ( r × id )( id × r )( r × id )( x , y , z ) = ( r × id )( id × r )( y , x , z ) = ( r × id )( y , z , x ) = ( z , y , x ) . Similarly, ( id × r )( r × id )( id × r )( x , y , z ) = ( id × r )( r × id )( x , z , y ) = ( id × r )( z , x , y ) = ( z , y , x ) . ∴ ( r × id )( id × r )( r × id ) = ( id × r )( r × id )( id × r ) . 5/20

  8. Constructing R -matrix from Set-theoretic Solution Example: We construct the R -matrix from r ( x , y ) = ( y , x ) on X = { x 1 , x 2 } . Consider ⇒ R 11 r ( x 1 , x 1 ) = ( x 1 , x 1 ) = 11 = 1, ⇒ R 21 r ( x 1 , x 2 ) = ( x 2 , x 1 ) = 12 = 1 . . . 11 12 21 22 R 11 R 12 R 21 R 22   11 11 11 11 11    1 0 0 0  R 11 R 12 R 21 R 22   12  12 12 12 12  0 0 1 0     R = =     0 1 0 0  R 11 R 12 R 21 R 22    21   21 21 21 21 0 0 0 1     R 11 R 12 R 21 R 22 22 22 22 22 22 6/20

  9. Constructing R -matrix from Set-theoretic Solution Example: We construct the R -matrix from r ( x , y ) = ( y , x ) on X = { x 1 , x 2 } . Consider ⇒ R 11 r ( x 1 , x 1 ) = ( x 1 , x 1 ) = 11 = 1, ⇒ R 21 r ( x 1 , x 2 ) = ( x 2 , x 1 ) = 12 = 1 . . . 11 12 21 22 R 11 R 12 R 21 R 22   11 11 11 11 11    1 0 0 0  R 11 R 12 R 21 R 22   12  12 12 12 12  0 0 1 0     R = =     0 1 0 0  R 11 R 12 R 21 R 22    21   21 21 21 21 0 0 0 1     R 11 R 12 R 21 R 22 22 22 22 22 22 General case: Given a solution ( X , r ) where X = { x 1 , . . . , x n } . Construct an n 2 × n 2 R -matrix with indices 11 , 12 , . . . , 1 n , 21 , . . . , 2 n , . . . , n 1 , . . . , nn such that R kl ij = 1 if r ( x i , x j ) = ( x k , x l ), and 0 otherwise. 6/20

  10. Non-degenerate Involutive Set-theoretic Solution We say a solution ( X , r ) is involutive if r 2 = id X 2 , i.e. � � for all x , y ∈ X , r r ( x , y ) = ( x , y ) . � � Write r ( x , y ) = f ( x , y ) , g ( x , y ) where f ( x , − ) , g ( − , y ) are maps X → X . We say ( X , r ) is non-degenerate if for all x , y ∈ X , f ( x , − ) , g ( − , y ) are bijective . Notation: We will denote non-degenerate involutive set-theoretic solutions of YBE by solutions for convenience. 7/20

  11. Entering Left Braces Introduced in (Rump 2007) to help study solutions of the YBE. A left brace is a triple ( B , + , ◦ ) satisfying axioms (B1) ( B , +) is an abelian group; (B2) ( B , ◦ ) is a group; (B3) a ◦ ( b + c ) + a = a ◦ b + a ◦ c . Example: Define ( B , +) = ( Z p , +). Define ( B , ◦ ) such that a ◦ b = a + b . Call this a trivial brace . 8/20

  12. Left Braces Yield Solutions Notation: Write b − 1 as the inverse of b in ( B , ◦ ) . Theorem (Rump 2007) : Let B be a left brace. Define a map r B : B 2 → B 2 as r B ( a , b ) = ( a ◦ b − a , z ◦ a − z ) where z = ( a ◦ b − a ) − 1 . Then ( B , r B ) is a solution of the YBE. Significance: Left braces give us solutions! Notation: We call the pair ( B , r B ) the associated solution of B . Example: Any trivial brace. Note that the associated r is flip map. r ( a , b ) = ( a + b − a , b − 1 + a − b − 1 ) = ( b , a ) . 9/20

  13. Finding all Left Braces = ⇒ Finding all Solutions Theorem (Ced´ o, Gateva-Ivanova & Smoktunowicz 2017) : Let ( X , r ) be a finite solution of the YBE. Then we can construct a (finite) left brace B ⊇ X such that its associated map r B : B 2 → B 2 satisfies r B | X 2 = r . Significance: Any finite solution ( X , r ) is embedded in some finite left brace ( B , r B )! 10/20

  14. Finding all Left Braces = ⇒ Finding all Solutions Theorem (Ced´ o, Gateva-Ivanova & Smoktunowicz 2017) : Let ( X , r ) be a finite solution of the YBE. Then we can construct a (finite) left brace B ⊇ X such that its associated map r B : B 2 → B 2 satisfies r B | X 2 = r . Significance: Any finite solution ( X , r ) is embedded in some finite left brace ( B , r B )! (Ced´ o, Jespers & Del Rio 2010): The task of finding all finite solutions can be broken down into two sub-problems: Problem 1: Classify all finite left braces. Problem 2: For each left brace B , classify all embedded subsolutions ( X , r B | X 2 ). 10/20

  15. Finding all Left Braces = ⇒ Finding all Solutions Theorem (Ced´ o, Gateva-Ivanova & Smoktunowicz 2017) : Let ( X , r ) be a finite solution of the YBE. Then we can construct a (finite) left brace B ⊇ X such that its associated map r B : B 2 → B 2 satisfies r B | X 2 = r . Significance: Any finite solution ( X , r ) is embedded in some finite left brace ( B , r B )! (Ced´ o, Jespers & Del Rio 2010): The task of finding all finite solutions can be broken down into two sub-problems: Problem 1: Classify all finite left braces. Problem 2: For each left brace B , classify all embedded subsolutions ( X , r B | X 2 ). Problem 2 is solved by (Bachiller, Ced´ o & Jespers 2016)! ∴ Finding all solutions is reduced to Problem 1! 10/20

  16. Braces: Crossover of Groups and Rings (I) ◮ A left brace ( B , + , ◦ ) relates two groups ( B , +) and ( B , ◦ ) through a ◦ ( b + c ) + a = a ◦ b + a ◦ c . ◮ A left brace ( B , + , ◦ ) can be equipped with the operation ∗ defined by a ∗ b = a ◦ b − a − b . It can be checked that ∗ is left-distributive over +. That is, a ∗ ( b + c ) = a ∗ b + a ∗ c for a , b , c ∈ B . Then ( B , + , ∗ ) satisfies all ring axioms except ◮ Right-distributivity ◮ Associativity Intuitively, you can say ( B , + , ∗ ) is “like” a Jacobson radical ring with these two axioms being relaxed. 11/20

  17. Good Artists Copy, Great Artists Steal? (I) Basic definitions with analogues in group or ring theory: ◮ Subbrace ◮ Morphisms ◮ Ideals ◮ Left/Right Ideals ◮ Quotient braces ◮ Direct Product ◮ Semidirect Product 12/20

Recommend


More recommend