Noncommutative Discriminants of Quantum Cluster Algebras Kurt - PowerPoint PPT Presentation

Noncommutative Discriminants of Quantum Cluster Algebras Kurt Trampel Joint work with Bach Nguyen and Milen Yakimov Louisiana State University Maurice Auslander Distinguished Lectures and International Conference 2018 Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 1 / 14

Overview Background 1 Discriminants Quantum cluster algebras Quantum cluster algebras at a root of unity 2 Definition Certain subalgebras Main results Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 2 / 14

Uses of the discriminant of an algebra The discriminant has been used in: determining automorphism groups and solving isomorphism problems for certain PI algebras. [Ceken, Palmieri, Wang, and Zhang] solving the Zariski cancellation problem ( A [ T ] ≃ B [ T ] ⇒ A ≃ B ) in certain cases. [Bell and Zhang] classifing the Azumaya locus of certain algebras. [Brown and Yakimov] Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 3 / 14

Uses of the discriminant of an algebra The discriminant has been used in: determining automorphism groups and solving isomorphism problems for certain PI algebras. [Ceken, Palmieri, Wang, and Zhang] solving the Zariski cancellation problem ( A [ T ] ≃ B [ T ] ⇒ A ≃ B ) in certain cases. [Bell and Zhang] classifing the Azumaya locus of certain algebras. [Brown and Yakimov] Issue The discriminant can be very difficult to compute directly. Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 3 / 14

Discriminant d n ( R / C ) Say R is a free, finite rank n module over a subalgebra C ⊂ Z ( R ). Then the embedding R ֒ → M n ( C ) gives a trace map tr Mn ( C ) tr : R ֒ → M n ( C ) − − − − → C . The discriminant of R over C is defined by � � d n ( R / C ) := C × det tr ( y i y j ) where { y 1 , · · · , y n } is a C -basis of R Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 4 / 14

Quantum cluster algebras [Berenstein and Zelevinsky] A ( � A q ( M , � B ) B ) Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 5 / 14

Quantum cluster algebras [Berenstein and Zelevinsky] A ( � A q ( M , � B ) B ) Ambient field Frac( Z [ x 1 , . . . , x N ]) F = Frac( T q (Λ)) T q (Λ) = Z [ q ± 1 2 ]-algebra with basis X f , f ∈ Z N and relations X f X g = q Λ( f , g ) X f + g 2 Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 5 / 14

Quantum cluster algebras [Berenstein and Zelevinsky] A ( � A q ( M , � B ) B ) Ambient field Frac( Z [ x 1 , . . . , x N ]) F = Frac( T q (Λ)) T q (Λ) = Z [ q ± 1 2 ]-algebra with basis X f , f ∈ Z N and relations X f X g = q Λ( f , g ) X f + g 2 Seeds x , � ( M , � B ) with compatibility between M and � ( � B ) B φ M : Z N → F such that T q (Λ M ) ֒ − → F (1) M ( f ) = φ ( f ) (2) F ≃ Frac( T q (Λ m )) Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 5 / 14

Quantum cluster algebras [Berenstein and Zelevinsky] A ( � A q ( M , � B ) B ) Mutation k ∈ ex ⊂ [1 , N ] x , � x ′ , � x , � b k , s ME s , E s � B ′ ) B ) = ( ρ M µ k ( � B ) = ( � µ k ( � BF s ) x k replaced by µ k M ( e i ) = M ( e i ), i � = k bik | bik | � + � bik > 0 x bik < 0 x i i µ k M ( e k ) = M ( − e k + [ b k ] + ) + M ( − e k − [ b k ] − ) x k Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 6 / 14

Quantum cluster algebras [Berenstein and Zelevinsky] A ( � A q ( M , � B ) B ) Mutation k ∈ ex ⊂ [1 , N ] x , � x ′ , � x , � b k , s ME s , E s � B ′ ) B ) = ( ρ M µ k ( � B ) = ( � µ k ( � BF s ) x k replaced by µ k M ( e i ) = M ( e i ), i � = k bik | bik | � + � bik > 0 x bik < 0 x i i µ k M ( e k ) = M ( − e k + [ b k ] + ) + M ( − e k − [ b k ] − ) x k The algebras inv ⊂ [1 , N ] \ ex B , inv ) = Z [ q ± 1 A ( � A q ( M , � 2 ]-subalgebra of F B , inv ) = Z -subalgebra generators: M ( e j ) − 1 for j ∈ inv generators: x − 1 for j ∈ inv j x for ( x ′ , � B ′ ) ∼ ( x , � M ′ ( e j ) for ( M ′ , � B ′ ) ∼ ( M , � x ′ j ∈ � B ) B ) Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 6 / 14

Quantum cluster algebras at a root of unity 1 2 by a primitive ℓ th root of unity ǫ 1 Replace q 2 Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 7 / 14

Quantum cluster algebras at a root of unity 1 2 by a primitive ℓ th root of unity ǫ 1 Replace q 2 Construct F = Frac( T ǫ (Λ)) and root of unity toric frames M : Z N → F Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 7 / 14

Quantum cluster algebras at a root of unity 1 2 by a primitive ℓ th root of unity ǫ 1 Replace q 2 Construct F = Frac( T ǫ (Λ)) and root of unity toric frames M : Z N → F Have seeds ( M , � B , Λ) with compatibility conditions. Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 7 / 14

Quantum cluster algebras at a root of unity 1 2 by a primitive ℓ th root of unity ǫ 1 Replace q 2 Construct F = Frac( T ǫ (Λ)) and root of unity toric frames M : Z N → F Have seeds ( M , � B , Λ) with compatibility conditions. Mutation similar to before µ k ( M , � b k , s ME s , E s � B , Λ) = ( ρ M BF s , E T s Λ E s ) Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 7 / 14

Quantum cluster algebras at a root of unity 1 2 by a primitive ℓ th root of unity ǫ 1 Replace q 2 Construct F = Frac( T ǫ (Λ)) and root of unity toric frames M : Z N → F Have seeds ( M , � B , Λ) with compatibility conditions. Mutation similar to before µ k ( M , � b k , s ME s , E s � B , Λ) = ( ρ M BF s , E T s Λ E s ) B , Λ , inv ) is the Z [ ǫ ± 1 A ǫ ( M , � 2 ]-subalgebra of F generated by M ( e j ) − 1 , j ∈ inv and by all M ′ ( e j ) of ( M ′ , � B ′ , Λ ′ ) ∼ ( M , � B , Λ) Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 7 / 14

Some central elements Lemma B , Λ), then M ′ ( e j ) ℓ ∈ A ǫ ( M , � If ( M ′ , � B ′ , Λ ′ ) ∼ ( M , � B , Λ) is central. Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 8 / 14

Some central elements Lemma B , Λ), then M ′ ( e j ) ℓ ∈ A ǫ ( M , � If ( M ′ , � B ′ , Λ ′ ) ∼ ( M , � B , Λ) is central. Proposition For a quantum seed ( M , � B , Λ) and ℓ coprime to a finite set of integers dependent on � B , � b ik > 0 ( M ( e i ) ℓ ) b ik + � b ik < 0 ( M ( e i ) ℓ ) | b ik | ( µ k M ( e k )) ℓ = M ( e k ) ℓ Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 8 / 14

Some central elements Lemma B , Λ), then M ′ ( e j ) ℓ ∈ A ǫ ( M , � If ( M ′ , � B ′ , Λ ′ ) ∼ ( M , � B , Λ) is central. Proposition For a quantum seed ( M , � B , Λ) and ℓ coprime to a finite set of integers dependent on � B , � b ik > 0 ( M ( e i ) ℓ ) b ik + � b ik < 0 ( M ( e i ) ℓ ) | b ik | ( µ k M ( e k )) ℓ = M ( e k ) ℓ Recall � + � b ik < 0 x | b ik | b ik > 0 x b ik i i x ′ k = x k Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 8 / 14

A familiar central subalgebra Theorem (Nguyen–Yakimov–T.) The (classical) cluster algebra A ( � B , inv ) embeds into the center of A ǫ ( M , � B , Λ , inv ) . Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 9 / 14

A familiar central subalgebra Theorem (Nguyen–Yakimov–T.) The (classical) cluster algebra A ( � B , inv ) embeds into the center of A ǫ ( M , � B , Λ , inv ) . Moreover the exchange graphs of A ( � B , inv ) , A q ( M q , � B , inv ) , and A ǫ ( M , � B , Λ , inv ) all coincide. Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 9 / 14

Certain subalgebras A ǫ (Θ) Θ is a set of seeds such that every two seeds are connected by sequence of mutations and every nonfrozen direction is mutated at least one time. µ 2 ( M , � µ 1 ( M , � Θ : B ) B ) ( M , � B ) µ 3 µ 2 ( M , � µ 3 ( M , � B ) B ) Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 10 / 14

Certain subalgebras A ǫ (Θ) Θ is a set of seeds such that every two seeds are connected by sequence of mutations and every nonfrozen direction is mutated at least one time. A ǫ (Θ) ⊂ A ǫ ( M , � B , Λ , inv ) is the subalgebra that is generated by cluster variables from seeds in Θ and the inverted frozen variables. µ 2 ( M , � µ 1 ( M , � Θ : B ) B ) ( M , � B ) µ 3 µ 2 ( M , � µ 3 ( M , � B ) B ) Kurt Trampel (LSU) Disc. of Quantum Cluster Algebras Auslander Conference 2018 10 / 14