a uniform model for kirillov reshetikhin crystals
play

A uniform model for Kirillov-Reshetikhin crystals Cristian Lenart 1 - PowerPoint PPT Presentation

A uniform model for Kirillov-Reshetikhin crystals Cristian Lenart 1 Satoshi Naito 2 Daisuke Sagaki 3 Anne Schilling 4 Mark Shimozono 5 1 State University of New York, Albany 2 Tokyo Institute of Technology 3 University of Tsukuba 4 University of


  1. A uniform model for Kirillov-Reshetikhin crystals Cristian Lenart 1 Satoshi Naito 2 Daisuke Sagaki 3 Anne Schilling 4 Mark Shimozono 5 1 State University of New York, Albany 2 Tokyo Institute of Technology 3 University of Tsukuba 4 University of California, Davis 5 Virginia Tech FPSAC, June 26, 2013 Based on arXiv:1211.2042 and a forthcoming sequel.

  2. Macdonald polynomials P ( x;q, 0) λ Ion ’03 affine ={types A−D−E} Demazure LNSSS characters Fourier− Littelmann ’06 Fourier− Schilling− (graded characters of) Shimozono ’07 Kirillov−Reshetikhin modules

  3. Macdonald polynomials P ( x;q, 0) λ Ion ’03 affine ={types A−D−E} Demazure LNSSS characters Fourier− Littelmann ’06 Fourier− Schilling− (graded characters of) Shimozono ’07 Kirillov−Reshetikhin modules Theorem (LNSSS 2012) For all untwisted affine root systems, P λ ( x ; q , 0) = X λ ( x ; q ) , where X λ ( x ; q ) is the (graded) character of a tensor product of one-column Kirillov-Reshetikhin (KR) modules.

  4. Summary P x;q,t Ram−Yip formula for ( ) λ uniform models for KR crystals X x; q P λ ( x;q, ( ) 0) = λ (the quantum alcove model)

  5. Summary P x;q,t Ram−Yip formula for ( ) λ uniform models for KR crystals X x; q P λ ( x;q, ( ) 0) = λ (the quantum alcove model) computational applications R energy function combinatorial −matrix

  6. Kashiwara’s crystals Colored directed graphs encoding certain representations V of the quantum group U q ( g ) as q → 0.

  7. Kashiwara’s crystals Colored directed graphs encoding certain representations V of the quantum group U q ( g ) as q → 0. Kashiwara (crystal) operators are modified versions of the e i , � Chevalley generators (indexed by the simple roots): � f i .

  8. Kashiwara’s crystals Colored directed graphs encoding certain representations V of the quantum group U q ( g ) as q → 0. Kashiwara (crystal) operators are modified versions of the e i , � Chevalley generators (indexed by the simple roots): � f i . Fact. V has a crystal basis B (vertices) = ⇒ in the limit q → 0 we have � f i , � e i : B → B ⊔ { 0 } , e i b ′ = b b → b ′ . � f i b = b ′ ⇐ ⇒ � ⇐ ⇒

  9. Kirillov–Reshetikhin (KR) crystals Correspond to certain finite -dimensional representations (not highest weight) of affine Lie algebras � g .

  10. Kirillov–Reshetikhin (KR) crystals Correspond to certain finite -dimensional representations (not highest weight) of affine Lie algebras � g . The corresponding crystals have arrows � f 0 , � f 1 , . . . .

  11. Kirillov–Reshetikhin (KR) crystals Correspond to certain finite -dimensional representations (not highest weight) of affine Lie algebras � g . The corresponding crystals have arrows � f 0 , � f 1 , . . . . Labeled by p × q rectangles, so they are denoted B p , q .

  12. Kirillov–Reshetikhin (KR) crystals Correspond to certain finite -dimensional representations (not highest weight) of affine Lie algebras � g . The corresponding crystals have arrows � f 0 , � f 1 , . . . . Labeled by p × q rectangles, so they are denoted B p , q . We only consider column shapes B p , 1 .

  13. Tensor products of KR crystals Definition. Given a composition p = ( p 1 , p 2 , . . . ), let B ⊗ p = B p 1 , 1 ⊗ B p 2 , 1 ⊗ . . . .

  14. Tensor products of KR crystals Definition. Given a composition p = ( p 1 , p 2 , . . . ), let B ⊗ p = B p 1 , 1 ⊗ B p 2 , 1 ⊗ . . . . The crystal operators are defined on B ⊗ p by a tensor product rule.

  15. Tensor products of KR crystals Definition. Given a composition p = ( p 1 , p 2 , . . . ), let B ⊗ p = B p 1 , 1 ⊗ B p 2 , 1 ⊗ . . . . The crystal operators are defined on B ⊗ p by a tensor product rule. Fact. B ⊗ p is connected (with the 0-arrows).

  16. Models for KR crystals: type A (1) n − 1 ( � sl n ) Fact. We have as classical crystals (without the 0-arrows): B p , 1 ≃ B ( ω p ) , where ω p = (1 , . . . , 1 , 0 , . . . , 0) = (1 p ) .

  17. Models for KR crystals: type A (1) n − 1 ( � sl n ) Fact. We have as classical crystals (without the 0-arrows): B p , 1 ≃ B ( ω p ) , where ω p = (1 , . . . , 1 , 0 , . . . , 0) = (1 p ) . The vertices of this crystal are labeled by strictly increasing fillings of the Young diagram/column (1 p ) with 1 , . . . , n .

  18. Models for KR crystals: type A (1) n − 1 ( � sl n ) Fact. We have as classical crystals (without the 0-arrows): B p , 1 ≃ B ( ω p ) , where ω p = (1 , . . . , 1 , 0 , . . . , 0) = (1 p ) . The vertices of this crystal are labeled by strictly increasing fillings of the Young diagram/column (1 p ) with 1 , . . . , n . The action of the crystal operators: � � � � f n − 1 f 1 f 2 f 0 1 − → 2 − → . . . n − 1 − − → n − → 1 .

  19. Models for KR crystals: types B (1) n , C (1) n , D (1) n Fact. There are more involved type-specific models (based on Kashiwara–Nakashima columns).

  20. Models for KR crystals: types B (1) n , C (1) n , D (1) n Fact. There are more involved type-specific models (based on Kashiwara–Nakashima columns). Goal. Uniform model for all types A (1) n − 1 – G (1) 2 , based on the corresponding finite root systems A n − 1 – G 2 .

  21. The energy function It originates in the theory of exactly solvable lattice models.

  22. The energy function It originates in the theory of exactly solvable lattice models. The energy function defines a grading on the classical components (no 0-arrows) of B = B ⊗ p (Schilling and Tingley).

  23. The energy function It originates in the theory of exactly solvable lattice models. The energy function defines a grading on the classical components (no 0-arrows) of B = B ⊗ p (Schilling and Tingley). More precisely, D B : B → Z ≥ 0 satisfies the following conditions: ◮ it is constant on classical components (0-arrows removed);

  24. The energy function It originates in the theory of exactly solvable lattice models. The energy function defines a grading on the classical components (no 0-arrows) of B = B ⊗ p (Schilling and Tingley). More precisely, D B : B → Z ≥ 0 satisfies the following conditions: ◮ it is constant on classical components (0-arrows removed); ◮ it decreases by 1 along certain 0-arrows.

  25. The energy function It originates in the theory of exactly solvable lattice models. The energy function defines a grading on the classical components (no 0-arrows) of B = B ⊗ p (Schilling and Tingley). More precisely, D B : B → Z ≥ 0 satisfies the following conditions: ◮ it is constant on classical components (0-arrows removed); ◮ it decreases by 1 along certain 0-arrows. Goal. A more efficient uniform calculation, based only on the combinatorial data associated with a crystal vertex

  26. The energy function It originates in the theory of exactly solvable lattice models. The energy function defines a grading on the classical components (no 0-arrows) of B = B ⊗ p (Schilling and Tingley). More precisely, D B : B → Z ≥ 0 satisfies the following conditions: ◮ it is constant on classical components (0-arrows removed); ◮ it decreases by 1 along certain 0-arrows. Goal. A more efficient uniform calculation, based only on the combinatorial data associated with a crystal vertex (type A : Lascoux–Sch¨ utzenberger charge statistic).

  27. Setup: finite root systems Root system Φ ⊂ V = R r .

  28. Setup: finite root systems Root system Φ ⊂ V = R r . Reflections s α , α ∈ Φ .

  29. Setup: finite root systems Root system Φ ⊂ V = R r . Reflections s α , α ∈ Φ . Example. Type A n − 1 . V = ( ε 1 + . . . + ε n ) ⊥ in R n = � ε 1 , . . . , ε n � ( r = n − 1). Φ = { α ij = ε i − ε j = ( i , j ) : 1 ≤ i � = j ≤ n } .

  30. The Weyl group W = � s α : α ∈ Φ � .

  31. The Weyl group W = � s α : α ∈ Φ � . Length function: ℓ ( w ) .

  32. The Weyl group W = � s α : α ∈ Φ � . Length function: ℓ ( w ) . Example. Type A n − 1 . W = S n , s ε i − ε j = ( i , j ) is the transposition t ij .

  33. The Weyl group W = � s α : α ∈ Φ � . Length function: ℓ ( w ) . Example. Type A n − 1 . W = S n , s ε i − ε j = ( i , j ) is the transposition t ij . The quantum Bruhat graph on W is the directed graph with labeled edges α w − → ws α ,

  34. The Weyl group W = � s α : α ∈ Φ � . Length function: ℓ ( w ) . Example. Type A n − 1 . W = S n , s ε i − ε j = ( i , j ) is the transposition t ij . The quantum Bruhat graph on W is the directed graph with labeled edges α w − → ws α , where ℓ ( ws α ) = ℓ ( w ) + 1 (Bruhat graph) , or ℓ ( ws α ) = ℓ ( w ) − 2 ht ( α ∨ ) + 1 ( ht ( α ∨ ) = � ρ, α ∨ � ) .

  35. The Weyl group W = � s α : α ∈ Φ � . Length function: ℓ ( w ) . Example. Type A n − 1 . W = S n , s ε i − ε j = ( i , j ) is the transposition t ij . The quantum Bruhat graph on W is the directed graph with labeled edges α w − → ws α , where ℓ ( ws α ) = ℓ ( w ) + 1 (Bruhat graph) , or ℓ ( ws α ) = ℓ ( w ) − 2 ht ( α ∨ ) + 1 ( ht ( α ∨ ) = � ρ, α ∨ � ) . Comes from the multiplication of Schubert classes in the quantum cohomology of flag varieties QH ∗ ( G / B ) (Fulton and Woodward).

  36. Bruhat graph for S 3 : 321 α α 12 23 231 312 α α 13 13 α α 23 12 213 132 α α 12 23 123

Recommend


More recommend