mutation of type d friezes
play

Mutation of type D friezes Ana Garcia Elsener and Khrystyna - PowerPoint PPT Presentation

Mutation of type D friezes Ana Garcia Elsener and Khrystyna Serhiyenko University of Kentucky November 24, 2019 Spring 2016, Banff Problem: Define and study mutation of friezes that is compatible with cluster mutation,


  1. Mutation of type D friezes Ana Garcia Elsener and Khrystyna Serhiyenko University of Kentucky November 24, 2019

  2. Spring 2016, Banff Problem: Define and study mutation of friezes that is compatible with cluster mutation, [Baur-Faber-Graz-S-Todorov] for type A .

  3. � � � � � � � � � � � Friezes Let B be a cluster-tilted algebra of finite type. A frieze is an assignment of positive integers F ( M ) for every element M of ind B and ind B [ 1 ] , subject to mesh relations. B 1 B 1 B 1 � C A C A C A B 2 B 2 B 3 F ( A ) F ( C ) − ∏ F ( B i ) = 1

  4. � � � � � � � � � � � � Frieze of type A B = k ( 1 → 2 → 3 ) Frieze of type A P 1 [ 1 ] 3 2 1 2 2 2 1 ⋯ 2 1 ⋯ ⋯ ⋯ 3 3 1 P 2 [ 1 ] 3 2 1 1 4 1 2 P 1 [ 1 ] 2 P 3 [ 1 ] 3 3

  5. � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � Frieze of type D B 1 2 4 4 5 5 5 2 4 1 5 P 5 [ 1 ] 4 4 3 3 5 2 2 5 4 1 4 P 4 [ 1 ] ⋯ ⋯ 4 1 4 3 3 5 2 1 4 2 5 1 4 4 4 1 2 3 3 1 4 3 3 2 5 3 P 3 [ 1 ] P 2 [ 1 ] 4 1 4 ⋯ ⋯ 2 3 5 2 2 5 4 P 4 [ 1 ] 1 4 ⋯ ⋯ 4 1 4 3 3 4 2 3 2 1 4 7 5 5 1 3 ⋯ ⋯ 5 17 8 2 2 5 6 3 3 1 3 ⋯ ⋯ 2 9 1 3 1 ⋯ ⋯

  6. � � � � � � Bijections Theorem. [Conway-Coxeter, Baur-Marsh, Caldero-Chapoton, BMRRT, Schiffler, ...] triangulations of → { cluster-tilted alg. → { (unitary) friezes { punctured disks } ← of type A and D } ← of type A and D } polygons and once- ● → ● → ● frieze of type A ● ● frieze of type D ● ● ●

  7. Bijections Theorem. [Conway-Coxeter, Baur-Marsh, Caldero-Chapoton, BMRRT, Schiffler, ...] triangulations of → { cluster-tilted alg. → { (unitary) friezes { punctured disks } ← of type A and D } ← of type A and D } polygons and once- Given a cluster-tilted algebra B and M ∈ mod B F ( M ) = ∑ χ ( Gr dim N M ) and F ( P i [ 1 ]) = 1 N ⊆ M In type A we have F ( M ) = ∑ N ⊆ M 1

  8. Bijections Theorem. [Conway-Coxeter, Baur-Marsh, Caldero-Chapoton, BMRRT, Schiffler, ...] triangulations of → { cluster-tilted alg. → { (unitary) friezes { punctured disks } ← of type A and D } ← of type A and D } polygons and once- Given a cluster-tilted algebra B and M ∈ mod B F ( M ) = ∑ χ ( Gr dim N M ) and F ( P i [ 1 ]) = 1 N ⊆ M In type A we have F ( M ) = ∑ N ⊆ M 1 Problem: Define and study mutation of friezes that is compatible with cluster mutation.

  9. Mutation of F F F F type A X Y X 1 e 1 b friezes Z Z Z Z 2 a 1 a 2 a 1 c X 1 d X Y F F F F Theorem. [Baur-Faber-Graz-S-Todorov] Let m be an entry in a frieze of type A and m ′ the entry at the same place after mutation at arc a . Then δ a ( m ) = m − m ′ is given by: If m ∈ X then δ a ( m ) = [ π + 1 ( m ) − π + 2 ( m )][ π − 1 ( m ) − π − 2 ( m )] If m ∈ Y then δ a ( m ) = − [ π + 2 ( m ) − 2 π + 1 ( m )][ π − 2 ( m ) − 2 π − 1 ( m )] p ( m ) + π ↑ p ( m ) − 3 π ↓ If m ∈ Z then δ a ( m ) = π ↓ s ( m ) π ↓ s ( m ) π ↑ p ( m ) π ↑ p ( m ) If m ∈ F then δ a ( m ) = 0. π ∗ ( m ) are certain projections of m onto the boundary of Z . [Result relies heavily on the representation theory of modules of type A .]

  10. From type D to type A This approach appears in [Essonana Magnani] to study cluster variables in type D as cluster variables in type A . Type D Glued Type D 4 2 3 2 1 4 2 4 2 3 2 1 4 2 ⋯ 7 5 5 1 3 7 ⋯ ⋯ 7 5 5 1 3 7 ⋯ 5 17 8 2 2 5 17 5 17 8 2 2 5 17 ⋯ 6 3 3 1 3 2 ⋯ ⋯ 12 27 3 3 3 12 ⋯ ⋯ 2 9 1 3 1 6 ⋯ Next, complete this glued type D pattern to a frieze of type A such that this completion behaves well with mutations. The precise operation is easily seen on the level of surface triangulations.

  11. From type D to type A Let T be a triangulation of a once punctured disk, and let i be an arc of T attached to the puncture. Then we obtain a new polygon with triangulation by cutting S at i and gluing two copies of the cut surface at i as follows. 1 ′ = 1 1 4 i 1 i 1 i 2 i 2 ′ i i 2 5 2 2 3 4 4 3 ′ 3 i 2 3 i 1 5 ′ 4 ′ 2 5 5 1 S 1 S 2 i i

  12. From type D to type A The frieze of type A coming from cutting S has lots of symmetry R = R ′ correspond to arcs in S attached to the puncture, A = A ′ , and contains the glued type D as a sub-pattern A ∪ B . A ′ A R ′ R B B C 1 i 1 i C C R R ′ B A A ′ Theorem. [Garcia Elsener - S] Let arc a ∈ T such that a / = i . Then mutation at a of the type D frieze is obtained by ungluing the pattern µ a µ a ′ ( A ∪ B ) in the corresponding type A frieze. Note: a / = i is not an obstruction, because we can always choose to cut at a different arc.

  13. Pattern G T Type A frieze A ′ A R ′ R B B coming from C cutting S at i 1 i 1 i C C R R ′ B A A ′ Pattern G T : ⋯ ⋯ 1 1 1 1 1 1 1 1 1 1 only has b c entries of A ′ R A R ′ A B type D frieze c b ⋯ 1 i 1 i 1 1 1 1

  14. Mutation of type D friezes R r 1 r 2 r 3 r 4 1 c ′ 1 b ′ 1 d ′ 2 a ′ 1 a ′ B 1 e ′ Y D 1 e B Z D 1 a 2 a A ′ X D I 1 d 1 b 1 c A r 1 r 2 r 3 r 4 Theorem. [Garcia Elsener - S] Let m be an entry in G T and a / = i . Then δ a ( m ) = m − m ′ is given by: If m ∈ X D then δ a ( m ) = [ ρ + 1 ( m ) − ρ + 2 ( m )][ ρ − 1 ( m ) − ρ − 2 ( m )] If m ∈ Y D then δ a ( m ) = − [ ρ + 2 ( m ) − 2 ρ + 1 ( m )][ ρ − 2 ( m ) − 2 ρ − 1 ( m )] If m ∈ Z D then δ a ( m ) = ρ ↓ s ( m ) ρ ↓ p ( m ) + ρ ↑ s ( m ) ρ ↑ p ( m ) − 3 ρ ↓ p ( m ) ρ ↑ p ( m ) If m ∈ F D then δ a ( m ) = 0. A ( m ) ′ + ρ − If m ∈ I then m ′ = ρ + R ( m ) ′ ρ + R ( m ) ′ ρ − A ( m ) ′ . ρ ∗ ( m ) are certain projections of m onto the boundary of Z D or R or A .

  15. Question: Can we realize this operation of going from type D to type A on the level of the corresponding module categories? Thank you!

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend