simple ambiskew polynomial rings - page web d’andre …leroy.perso.math.cnrs.fr/congres...
TRANSCRIPT
![Page 1: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/1.jpg)
Simple ambiskew polynomial rings
David Jordan
School of Mathematics and Statistics, University of Sheffield
David A. Jordan and Imogen E. Wells,Journal of Algebra, Volume 382, (2013) 46-70
![Page 2: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/2.jpg)
skew polynomial rings
base ring AA[x ;α, δ]α is a ring endomorphism of A.δ is a (left) α-derivation of A:
δ(ab) = α(a)δ(b) + δ(a)b.
As a group under +, A[x ;α, δ] = A[x ] but
xr = α(r)x + δ(r).
Special cases: α = idA (A[x ; δ]); δ = 0 (A[x ;α]).From now on k denotes a field.
![Page 3: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/3.jpg)
skew polynomial rings
base ring AA[x ;α, δ]α is a ring endomorphism of A.δ is a (left) α-derivation of A:
δ(ab) = α(a)δ(b) + δ(a)b.
As a group under +, A[x ;α, δ] = A[x ] but
xr = α(r)x + δ(r).
Special cases: α = idA (A[x ; δ]); δ = 0 (A[x ;α]).From now on k denotes a field.
![Page 4: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/4.jpg)
skew polynomial rings
base ring AA[x ;α, δ]α is a ring endomorphism of A.δ is a (left) α-derivation of A:
δ(ab) = α(a)δ(b) + δ(a)b.
As a group under +, A[x ;α, δ] = A[x ] but
xr = α(r)x + δ(r).
Special cases: α = idA (A[x ; δ]); δ = 0 (A[x ;α]).From now on k denotes a field.
![Page 5: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/5.jpg)
skew polynomial rings
base ring AA[x ;α, δ]α is a ring endomorphism of A.δ is a (left) α-derivation of A:
δ(ab) = α(a)δ(b) + δ(a)b.
As a group under +, A[x ;α, δ] = A[x ] but
xr = α(r)x + δ(r).
Special cases: α = idA (A[x ; δ]); δ = 0 (A[x ;α]).From now on k denotes a field.
![Page 6: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/6.jpg)
skew polynomial rings
base ring AA[x ;α, δ]α is a ring endomorphism of A.δ is a (left) α-derivation of A:
δ(ab) = α(a)δ(b) + δ(a)b.
As a group under +, A[x ;α, δ] = A[x ] but
xr = α(r)x + δ(r).
Special cases: α = idA (A[x ; δ]); δ = 0 (A[x ;α]).From now on k denotes a field.
![Page 7: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/7.jpg)
Simple A[x ; δ]
A is δ-simple if there is no non-zero proper ideal I of Awith δ(I) ⊆ I.δ is inner if ∃a ∈ A such that δ(r) = ar − ra ∀ r ∈ A, outerotherwise.Theorem: Let A be a k -algebra, where char k = 0. A[x ; δ]is simple iff A is δ-simple and δ is outer.Examples
A = k [y ], δ = d/dy , xy − yx = 1 (the first Weylalgebra).A = k [y , z]: there are examples of δ with A δ-simple,due to many people, most notably Bergman andCoutinho.
There exists a more complex simplicity criterion incharacteristic p.
![Page 8: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/8.jpg)
Simple A[x ; δ]
A is δ-simple if there is no non-zero proper ideal I of Awith δ(I) ⊆ I.δ is inner if ∃a ∈ A such that δ(r) = ar − ra ∀ r ∈ A, outerotherwise.Theorem: Let A be a k -algebra, where char k = 0. A[x ; δ]is simple iff A is δ-simple and δ is outer.Examples
A = k [y ], δ = d/dy , xy − yx = 1 (the first Weylalgebra).A = k [y , z]: there are examples of δ with A δ-simple,due to many people, most notably Bergman andCoutinho.
There exists a more complex simplicity criterion incharacteristic p.
![Page 9: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/9.jpg)
Simple A[x ; δ]
A is δ-simple if there is no non-zero proper ideal I of Awith δ(I) ⊆ I.δ is inner if ∃a ∈ A such that δ(r) = ar − ra ∀ r ∈ A, outerotherwise.Theorem: Let A be a k -algebra, where char k = 0. A[x ; δ]is simple iff A is δ-simple and δ is outer.Examples
A = k [y ], δ = d/dy , xy − yx = 1 (the first Weylalgebra).A = k [y , z]: there are examples of δ with A δ-simple,due to many people, most notably Bergman andCoutinho.
There exists a more complex simplicity criterion incharacteristic p.
![Page 10: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/10.jpg)
Simple A[x ; δ]
A is δ-simple if there is no non-zero proper ideal I of Awith δ(I) ⊆ I.δ is inner if ∃a ∈ A such that δ(r) = ar − ra ∀ r ∈ A, outerotherwise.Theorem: Let A be a k -algebra, where char k = 0. A[x ; δ]is simple iff A is δ-simple and δ is outer.Examples
A = k [y ], δ = d/dy , xy − yx = 1 (the first Weylalgebra).A = k [y , z]: there are examples of δ with A δ-simple,due to many people, most notably Bergman andCoutinho.
There exists a more complex simplicity criterion incharacteristic p.
![Page 11: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/11.jpg)
Simple A[x ; δ]
A is δ-simple if there is no non-zero proper ideal I of Awith δ(I) ⊆ I.δ is inner if ∃a ∈ A such that δ(r) = ar − ra ∀ r ∈ A, outerotherwise.Theorem: Let A be a k -algebra, where char k = 0. A[x ; δ]is simple iff A is δ-simple and δ is outer.Examples
A = k [y ], δ = d/dy , xy − yx = 1 (the first Weylalgebra).A = k [y , z]: there are examples of δ with A δ-simple,due to many people, most notably Bergman andCoutinho.
There exists a more complex simplicity criterion incharacteristic p.
![Page 12: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/12.jpg)
Simple A[x ; δ]
A is δ-simple if there is no non-zero proper ideal I of Awith δ(I) ⊆ I.δ is inner if ∃a ∈ A such that δ(r) = ar − ra ∀ r ∈ A, outerotherwise.Theorem: Let A be a k -algebra, where char k = 0. A[x ; δ]is simple iff A is δ-simple and δ is outer.Examples
A = k [y ], δ = d/dy , xy − yx = 1 (the first Weylalgebra).A = k [y , z]: there are examples of δ with A δ-simple,due to many people, most notably Bergman andCoutinho.
There exists a more complex simplicity criterion incharacteristic p.
![Page 13: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/13.jpg)
Discussion point
What is the easiest example of a simple skew polynomialring of the form R[x ;α, δ] with α outer?There is an example due to Cozzens, reproduced over 5pages of the 1975 book by Faith and Cozzens, of a simplering D[x ;α, δ] where D is a division ring and α is injectivebut not surjective.There are known simplicity results due to Lam, Leroy ±Jain when R is a division ring and to Lam, Leroy, Leung,Matczuk when R is simple.
![Page 14: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/14.jpg)
Discussion point
What is the easiest example of a simple skew polynomialring of the form R[x ;α, δ] with α outer?There is an example due to Cozzens, reproduced over 5pages of the 1975 book by Faith and Cozzens, of a simplering D[x ;α, δ] where D is a division ring and α is injectivebut not surjective.There are known simplicity results due to Lam, Leroy ±Jain when R is a division ring and to Lam, Leroy, Leung,Matczuk when R is simple.
![Page 15: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/15.jpg)
Discussion point
What is the easiest example of a simple skew polynomialring of the form R[x ;α, δ] with α outer?There is an example due to Cozzens, reproduced over 5pages of the 1975 book by Faith and Cozzens, of a simplering D[x ;α, δ] where D is a division ring and α is injectivebut not surjective.There are known simplicity results due to Lam, Leroy ±Jain when R is a division ring and to Lam, Leroy, Leung,Matczuk when R is simple.
![Page 16: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/16.jpg)
ambiskew polynomial rings
The data: a k -algebra A,two commuting k -automorphisms of A, α and γ, β := α−1γ,v ∈ A such that va = γ(a)v ∀ a ∈ A and γ(v) = v (v isγ-normal),ρ ∈ k\{0}.Form A[y ;α] and set β(y) = ρy so that β ∈ Autk (A[y ;α]).The ambiskew polynomial ring R = R(A, α, v , ρ) is theiterated skew polynomial ring A[y ;α][x ; β, δ], whereδ(A) = 0 and δ(y) = v .
ya = α(a)y for all a ∈ A,xa = β(a)x for all a ∈ A andxy = ρyx + v .
![Page 17: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/17.jpg)
ambiskew polynomial rings
The data: a k -algebra A,two commuting k -automorphisms of A, α and γ, β := α−1γ,v ∈ A such that va = γ(a)v ∀ a ∈ A and γ(v) = v (v isγ-normal),ρ ∈ k\{0}.Form A[y ;α] and set β(y) = ρy so that β ∈ Autk (A[y ;α]).The ambiskew polynomial ring R = R(A, α, v , ρ) is theiterated skew polynomial ring A[y ;α][x ; β, δ], whereδ(A) = 0 and δ(y) = v .
ya = α(a)y for all a ∈ A,xa = β(a)x for all a ∈ A andxy = ρyx + v .
![Page 18: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/18.jpg)
ambiskew polynomial rings
The data: a k -algebra A,two commuting k -automorphisms of A, α and γ, β := α−1γ,v ∈ A such that va = γ(a)v ∀ a ∈ A and γ(v) = v (v isγ-normal),ρ ∈ k\{0}.Form A[y ;α] and set β(y) = ρy so that β ∈ Autk (A[y ;α]).The ambiskew polynomial ring R = R(A, α, v , ρ) is theiterated skew polynomial ring A[y ;α][x ; β, δ], whereδ(A) = 0 and δ(y) = v .
ya = α(a)y for all a ∈ A,xa = β(a)x for all a ∈ A andxy = ρyx + v .
![Page 19: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/19.jpg)
ambiskew polynomial rings
The data: a k -algebra A,two commuting k -automorphisms of A, α and γ, β := α−1γ,v ∈ A such that va = γ(a)v ∀ a ∈ A and γ(v) = v (v isγ-normal),ρ ∈ k\{0}.Form A[y ;α] and set β(y) = ρy so that β ∈ Autk (A[y ;α]).The ambiskew polynomial ring R = R(A, α, v , ρ) is theiterated skew polynomial ring A[y ;α][x ; β, δ], whereδ(A) = 0 and δ(y) = v .
ya = α(a)y for all a ∈ A,xa = β(a)x for all a ∈ A andxy = ρyx + v .
![Page 20: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/20.jpg)
ambiskew polynomial rings
The data: a k -algebra A,two commuting k -automorphisms of A, α and γ, β := α−1γ,v ∈ A such that va = γ(a)v ∀ a ∈ A and γ(v) = v (v isγ-normal),ρ ∈ k\{0}.Form A[y ;α] and set β(y) = ρy so that β ∈ Autk (A[y ;α]).The ambiskew polynomial ring R = R(A, α, v , ρ) is theiterated skew polynomial ring A[y ;α][x ; β, δ], whereδ(A) = 0 and δ(y) = v .
ya = α(a)y for all a ∈ A,xa = β(a)x for all a ∈ A andxy = ρyx + v .
![Page 21: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/21.jpg)
ambiskew polynomial rings
The data: a k -algebra A,two commuting k -automorphisms of A, α and γ, β := α−1γ,v ∈ A such that va = γ(a)v ∀ a ∈ A and γ(v) = v (v isγ-normal),ρ ∈ k\{0}.Form A[y ;α] and set β(y) = ρy so that β ∈ Autk (A[y ;α]).The ambiskew polynomial ring R = R(A, α, v , ρ) is theiterated skew polynomial ring A[y ;α][x ; β, δ], whereδ(A) = 0 and δ(y) = v .
ya = α(a)y for all a ∈ A,xa = β(a)x for all a ∈ A andxy = ρyx + v .
![Page 22: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/22.jpg)
ambiskew polynomial rings
The data: a k -algebra A,two commuting k -automorphisms of A, α and γ, β := α−1γ,v ∈ A such that va = γ(a)v ∀ a ∈ A and γ(v) = v (v isγ-normal),ρ ∈ k\{0}.Form A[y ;α] and set β(y) = ρy so that β ∈ Autk (A[y ;α]).The ambiskew polynomial ring R = R(A, α, v , ρ) is theiterated skew polynomial ring A[y ;α][x ; β, δ], whereδ(A) = 0 and δ(y) = v .
ya = α(a)y for all a ∈ A,xa = β(a)x for all a ∈ A andxy = ρyx + v .
![Page 23: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/23.jpg)
Examples
A = k , α = γ = idA1(k), the first Weyl algebra: xy − yx = 1, ρ = v = 1.the quantum plane: xy = qyx , ρ = q, v = 0.the quantised Weyl algebra Aq
1(k): xy − qyx = 1,ρ = q, v = 1.
A = k [h]: U(sl2),particular examples due to Witten,Woronowicz, Podles, Kirkman/Small, general classes dueto Smith, Rueda, Le Bruyn, Benkart/Roby (down-upalgebras), Cassidy/Shelton (generalized down-upalgebras).
![Page 24: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/24.jpg)
Examples
A = k , α = γ = idA1(k), the first Weyl algebra: xy − yx = 1, ρ = v = 1.the quantum plane: xy = qyx , ρ = q, v = 0.the quantised Weyl algebra Aq
1(k): xy − qyx = 1,ρ = q, v = 1.
A = k [h]: U(sl2),particular examples due to Witten,Woronowicz, Podles, Kirkman/Small, general classes dueto Smith, Rueda, Le Bruyn, Benkart/Roby (down-upalgebras), Cassidy/Shelton (generalized down-upalgebras).
![Page 25: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/25.jpg)
Examples
A = k , α = γ = idA1(k), the first Weyl algebra: xy − yx = 1, ρ = v = 1.the quantum plane: xy = qyx , ρ = q, v = 0.the quantised Weyl algebra Aq
1(k): xy − qyx = 1,ρ = q, v = 1.
A = k [h]: U(sl2),particular examples due to Witten,Woronowicz, Podles, Kirkman/Small, general classes dueto Smith, Rueda, Le Bruyn, Benkart/Roby (down-upalgebras), Cassidy/Shelton (generalized down-upalgebras).
![Page 26: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/26.jpg)
Examples
A = k , α = γ = idA1(k), the first Weyl algebra: xy − yx = 1, ρ = v = 1.the quantum plane: xy = qyx , ρ = q, v = 0.the quantised Weyl algebra Aq
1(k): xy − qyx = 1,ρ = q, v = 1.
A = k [h]: U(sl2),particular examples due to Witten,Woronowicz, Podles, Kirkman/Small, general classes dueto Smith, Rueda, Le Bruyn, Benkart/Roby (down-upalgebras), Cassidy/Shelton (generalized down-upalgebras).
![Page 27: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/27.jpg)
Examples
A = k , α = γ = idA1(k), the first Weyl algebra: xy − yx = 1, ρ = v = 1.the quantum plane: xy = qyx , ρ = q, v = 0.the quantised Weyl algebra Aq
1(k): xy − qyx = 1,ρ = q, v = 1.
A = k [h]: U(sl2),particular examples due to Witten,Woronowicz, Podles, Kirkman/Small, general classes dueto Smith, Rueda, Le Bruyn, Benkart/Roby (down-upalgebras), Cassidy/Shelton (generalized down-upalgebras).
![Page 28: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/28.jpg)
Examples
A = k , α = γ = idA1(k), the first Weyl algebra: xy − yx = 1, ρ = v = 1.the quantum plane: xy = qyx , ρ = q, v = 0.the quantised Weyl algebra Aq
1(k): xy − qyx = 1,ρ = q, v = 1.
A = k [h]: U(sl2),particular examples due to Witten,Woronowicz, Podles, Kirkman/Small, general classes dueto Smith, Rueda, Le Bruyn, Benkart/Roby (down-upalgebras), Cassidy/Shelton (generalized down-upalgebras).
![Page 29: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/29.jpg)
Examples
A = k , α = γ = idA1(k), the first Weyl algebra: xy − yx = 1, ρ = v = 1.the quantum plane: xy = qyx , ρ = q, v = 0.the quantised Weyl algebra Aq
1(k): xy − qyx = 1,ρ = q, v = 1.
A = k [h]: U(sl2),particular examples due to Witten,Woronowicz, Podles, Kirkman/Small, general classes dueto Smith, Rueda, Le Bruyn, Benkart/Roby (down-upalgebras), Cassidy/Shelton (generalized down-upalgebras).
![Page 30: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/30.jpg)
Examples
A = k [K ±1]: Uq(sl2)
A = k [b, c]: Oq(M2(k))
very recent and with combinatorial motivationA = k [h,K ±1]: augmented down-up algebras(Terwilliger/Worawannatoi, combinatorial motivation)
By iteration, higher quantized Weyl algebras.
![Page 31: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/31.jpg)
Examples
A = k [K ±1]: Uq(sl2)
A = k [b, c]: Oq(M2(k))
very recent and with combinatorial motivationA = k [h,K ±1]: augmented down-up algebras(Terwilliger/Worawannatoi, combinatorial motivation)
By iteration, higher quantized Weyl algebras.
![Page 32: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/32.jpg)
Examples
A = k [K ±1]: Uq(sl2)
A = k [b, c]: Oq(M2(k))
very recent and with combinatorial motivationA = k [h,K ±1]: augmented down-up algebras(Terwilliger/Worawannatoi, combinatorial motivation)
By iteration, higher quantized Weyl algebras.
![Page 33: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/33.jpg)
Examples
A = k [K ±1]: Uq(sl2)
A = k [b, c]: Oq(M2(k))
very recent and with combinatorial motivationA = k [h,K ±1]: augmented down-up algebras(Terwilliger/Worawannatoi, combinatorial motivation)
By iteration, higher quantized Weyl algebras.
![Page 34: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/34.jpg)
Casimir elements
Suppose there exists a γ-normal element u ∈ A such thatv = u − ρα(u).z := xy − u = ρ(yx − α(u)) is such that zy = ρyz,zx = ρ−1xz, za = γ(a)z for all a ∈ A and zu = uz.Hence zR = Rz and R is not simple.If such a u exists then it is a splitting element, z is aCasimir element and R is conformal; otherwise R issingular.
![Page 35: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/35.jpg)
Casimir elements
Suppose there exists a γ-normal element u ∈ A such thatv = u − ρα(u).z := xy − u = ρ(yx − α(u)) is such that zy = ρyz,zx = ρ−1xz, za = γ(a)z for all a ∈ A and zu = uz.Hence zR = Rz and R is not simple.If such a u exists then it is a splitting element, z is aCasimir element and R is conformal; otherwise R issingular.
![Page 36: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/36.jpg)
Casimir elements
Suppose there exists a γ-normal element u ∈ A such thatv = u − ρα(u).z := xy − u = ρ(yx − α(u)) is such that zy = ρyz,zx = ρ−1xz, za = γ(a)z for all a ∈ A and zu = uz.Hence zR = Rz and R is not simple.If such a u exists then it is a splitting element, z is aCasimir element and R is conformal; otherwise R issingular.
![Page 37: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/37.jpg)
Casimir elements
Suppose there exists a γ-normal element u ∈ A such thatv = u − ρα(u).z := xy − u = ρ(yx − α(u)) is such that zy = ρyz,zx = ρ−1xz, za = γ(a)z for all a ∈ A and zu = uz.Hence zR = Rz and R is not simple.If such a u exists then it is a splitting element, z is aCasimir element and R is conformal; otherwise R issingular.
![Page 38: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/38.jpg)
The elements v (m)
For m ≥ 1, v (m) :=∑m−1
l=0 ρlαl(v).
In particular v (1) = v . v (0) := 1.Each v (m) is γ-normal.For m ≥ 1,
xym− ρmymx = v (m)ym−1 and
xmy − ρmyxm = xm−1v (m).
In the conformal case, v (m) = u − ρmαm(u).
![Page 39: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/39.jpg)
The elements v (m)
For m ≥ 1, v (m) :=∑m−1
l=0 ρlαl(v).
In particular v (1) = v . v (0) := 1.Each v (m) is γ-normal.For m ≥ 1,
xym− ρmymx = v (m)ym−1 and
xmy − ρmyxm = xm−1v (m).
In the conformal case, v (m) = u − ρmαm(u).
![Page 40: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/40.jpg)
The elements v (m)
For m ≥ 1, v (m) :=∑m−1
l=0 ρlαl(v).
In particular v (1) = v . v (0) := 1.Each v (m) is γ-normal.For m ≥ 1,
xym− ρmymx = v (m)ym−1 and
xmy − ρmyxm = xm−1v (m).
In the conformal case, v (m) = u − ρmαm(u).
![Page 41: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/41.jpg)
The elements v (m)
For m ≥ 1, v (m) :=∑m−1
l=0 ρlαl(v).
In particular v (1) = v . v (0) := 1.Each v (m) is γ-normal.For m ≥ 1,
xym− ρmymx = v (m)ym−1 and
xmy − ρmyxm = xm−1v (m).
In the conformal case, v (m) = u − ρmαm(u).
![Page 42: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/42.jpg)
Simplicity criterion for R
Theorem: Suppose that char k = 0. The ring R is simple ifand only if
1 A is α-simple;2 R is singular;3 for all m ≥ 1, v (m) is a unit of A.
There is a more complex simplicity criterion incharacteristic p.
![Page 43: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/43.jpg)
Simplicity criterion for R
Theorem: Suppose that char k = 0. The ring R is simple ifand only if
1 A is α-simple;2 R is singular;3 for all m ≥ 1, v (m) is a unit of A.
There is a more complex simplicity criterion incharacteristic p.
![Page 44: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/44.jpg)
Simplicity criterion for R
Theorem: Suppose that char k = 0. The ring R is simple ifand only if
1 A is α-simple;2 R is singular;3 for all m ≥ 1, v (m) is a unit of A.
There is a more complex simplicity criterion incharacteristic p.
![Page 45: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/45.jpg)
Simplicity criterion for R
Theorem: Suppose that char k = 0. The ring R is simple ifand only if
1 A is α-simple;2 R is singular;3 for all m ≥ 1, v (m) is a unit of A.
There is a more complex simplicity criterion incharacteristic p.
![Page 46: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/46.jpg)
Examples of α-simplicity
A a field extension of k e.g. k = R, A = C, α(z) = z.A = k [t ], α(t) = t + 1, char k = 0.In this case asplitting element u always exists, of degree 1 + deg vif ρ = 1 and deg v if ρ , 1.A = k [t±1], α(t) = qt , q ∈ k ∗ not a root of unity.A = kG, G = 〈t〉 cyclic of order n, α(t) = εt , ε ∈ k aprimitive nth root of unity.A simple e.g. iterating the ambiskew construction.
![Page 47: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/47.jpg)
Examples of α-simplicity
A a field extension of k e.g. k = R, A = C, α(z) = z.A = k [t ], α(t) = t + 1, char k = 0.In this case asplitting element u always exists, of degree 1 + deg vif ρ = 1 and deg v if ρ , 1.A = k [t±1], α(t) = qt , q ∈ k ∗ not a root of unity.A = kG, G = 〈t〉 cyclic of order n, α(t) = εt , ε ∈ k aprimitive nth root of unity.A simple e.g. iterating the ambiskew construction.
![Page 48: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/48.jpg)
Examples of α-simplicity
A a field extension of k e.g. k = R, A = C, α(z) = z.A = k [t ], α(t) = t + 1, char k = 0.In this case asplitting element u always exists, of degree 1 + deg vif ρ = 1 and deg v if ρ , 1.A = k [t±1], α(t) = qt , q ∈ k ∗ not a root of unity.A = kG, G = 〈t〉 cyclic of order n, α(t) = εt , ε ∈ k aprimitive nth root of unity.A simple e.g. iterating the ambiskew construction.
![Page 49: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/49.jpg)
Examples of α-simplicity
A a field extension of k e.g. k = R, A = C, α(z) = z.A = k [t ], α(t) = t + 1, char k = 0.In this case asplitting element u always exists, of degree 1 + deg vif ρ = 1 and deg v if ρ , 1.A = k [t±1], α(t) = qt , q ∈ k ∗ not a root of unity.A = kG, G = 〈t〉 cyclic of order n, α(t) = εt , ε ∈ k aprimitive nth root of unity.A simple e.g. iterating the ambiskew construction.
![Page 50: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/50.jpg)
Examples of α-simplicity
A a field extension of k e.g. k = R, A = C, α(z) = z.A = k [t ], α(t) = t + 1, char k = 0.In this case asplitting element u always exists, of degree 1 + deg vif ρ = 1 and deg v if ρ , 1.A = k [t±1], α(t) = qt , q ∈ k ∗ not a root of unity.A = kG, G = 〈t〉 cyclic of order n, α(t) = εt , ε ∈ k aprimitive nth root of unity.A simple e.g. iterating the ambiskew construction.
![Page 51: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/51.jpg)
Examples of α-simplicity
A a field extension of k e.g. k = R, A = C, α(z) = z.A = k [t ], α(t) = t + 1, char k = 0.In this case asplitting element u always exists, of degree 1 + deg vif ρ = 1 and deg v if ρ , 1.A = k [t±1], α(t) = qt , q ∈ k ∗ not a root of unity.A = kG, G = 〈t〉 cyclic of order n, α(t) = εt , ε ∈ k aprimitive nth root of unity.A simple e.g. iterating the ambiskew construction.
![Page 52: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/52.jpg)
Examples
If char k = 0, A1(k) is, of course, simple: v (m) = m,u − α(u) = 0.
Aq1(k) is not simple when q , 1: u = 1/(1 − q),
u − qα(u) = 1.
![Page 53: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/53.jpg)
Examples
If char k = 0, A1(k) is, of course, simple: v (m) = m,u − α(u) = 0.
Aq1(k) is not simple when q , 1: u = 1/(1 − q),
u − qα(u) = 1.
![Page 54: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/54.jpg)
Examples
Consider C as an R-algebra with α(z) = z and γ = idC.Taking v = a + ib we get the R-algebra R generated byi , x and y subject to the relations
i2 = −1, xi = −ix , yi = −iy , xy − ρyx = a + ib.
R is singular if and only if either ρ = 1 and a , 0 orρ = −1 and b , 0.By the condition on v (m), R is simple if and only if eitherρ = 1 and a , 0 or ρ = −1 and b , 0.If v = 1 = ρ, where xy − yx = 1, then v (m) = m and ifv = i and ρ = −1, where xy + yx = i , then v (m) = im.
![Page 55: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/55.jpg)
Examples
Consider C as an R-algebra with α(z) = z and γ = idC.Taking v = a + ib we get the R-algebra R generated byi , x and y subject to the relations
i2 = −1, xi = −ix , yi = −iy , xy − ρyx = a + ib.
R is singular if and only if either ρ = 1 and a , 0 orρ = −1 and b , 0.By the condition on v (m), R is simple if and only if eitherρ = 1 and a , 0 or ρ = −1 and b , 0.If v = 1 = ρ, where xy − yx = 1, then v (m) = m and ifv = i and ρ = −1, where xy + yx = i , then v (m) = im.
![Page 56: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/56.jpg)
Examples
Consider C as an R-algebra with α(z) = z and γ = idC.Taking v = a + ib we get the R-algebra R generated byi , x and y subject to the relations
i2 = −1, xi = −ix , yi = −iy , xy − ρyx = a + ib.
R is singular if and only if either ρ = 1 and a , 0 orρ = −1 and b , 0.By the condition on v (m), R is simple if and only if eitherρ = 1 and a , 0 or ρ = −1 and b , 0.If v = 1 = ρ, where xy − yx = 1, then v (m) = m and ifv = i and ρ = −1, where xy + yx = i , then v (m) = im.
![Page 57: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/57.jpg)
Examples
Consider C as an R-algebra with α(z) = z and γ = idC.Taking v = a + ib we get the R-algebra R generated byi , x and y subject to the relations
i2 = −1, xi = −ix , yi = −iy , xy − ρyx = a + ib.
R is singular if and only if either ρ = 1 and a , 0 orρ = −1 and b , 0.By the condition on v (m), R is simple if and only if eitherρ = 1 and a , 0 or ρ = −1 and b , 0.If v = 1 = ρ, where xy − yx = 1, then v (m) = m and ifv = i and ρ = −1, where xy + yx = i , then v (m) = im.
![Page 58: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/58.jpg)
Example with A = k [t±1]
If q ∈ k ∗ is not a root of unity and 0 , n ∈ Z then thek -algebra generated by t±1, x and y subject to therelations
yt = qty ,xt = q−1tx
xy − q−nyx = tn.
is simple.
![Page 59: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/59.jpg)
Example with A = kG, G finite cyclicLet char k = 0, n ≥ 2 and ε ∈ k be a primitive nth root ofunity.R: k -algebra generated by t , x , y subject to
tn = 1, yt = εty , xt = ε−1tx ,xy − ρyx = c0 + c1t + c2t2 + . . .+ cn−1tn−1.
R is generically simple. For example when n = 2, ε = −1and ρ = 1 the relations become
t2 = 1, yt = −ty , xt = −tx ,xy − yx = c0 + c1t .
Here R is simple if and only if c1 , 0 and c0 , ±mc1 for allodd m ≥ 1.You might recognise this as a symplectic reflectionalgebra.
![Page 60: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/60.jpg)
Example with A = kG, G finite cyclicLet char k = 0, n ≥ 2 and ε ∈ k be a primitive nth root ofunity.R: k -algebra generated by t , x , y subject to
tn = 1, yt = εty , xt = ε−1tx ,xy − ρyx = c0 + c1t + c2t2 + . . .+ cn−1tn−1.
R is generically simple. For example when n = 2, ε = −1and ρ = 1 the relations become
t2 = 1, yt = −ty , xt = −tx ,xy − yx = c0 + c1t .
Here R is simple if and only if c1 , 0 and c0 , ±mc1 for allodd m ≥ 1.You might recognise this as a symplectic reflectionalgebra.
![Page 61: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/61.jpg)
Example with A = kG, G finite cyclicLet char k = 0, n ≥ 2 and ε ∈ k be a primitive nth root ofunity.R: k -algebra generated by t , x , y subject to
tn = 1, yt = εty , xt = ε−1tx ,xy − ρyx = c0 + c1t + c2t2 + . . .+ cn−1tn−1.
R is generically simple. For example when n = 2, ε = −1and ρ = 1 the relations become
t2 = 1, yt = −ty , xt = −tx ,xy − yx = c0 + c1t .
Here R is simple if and only if c1 , 0 and c0 , ±mc1 for allodd m ≥ 1.You might recognise this as a symplectic reflectionalgebra.
![Page 62: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/62.jpg)
Example with A = kG, G finite cyclicLet char k = 0, n ≥ 2 and ε ∈ k be a primitive nth root ofunity.R: k -algebra generated by t , x , y subject to
tn = 1, yt = εty , xt = ε−1tx ,xy − ρyx = c0 + c1t + c2t2 + . . .+ cn−1tn−1.
R is generically simple. For example when n = 2, ε = −1and ρ = 1 the relations become
t2 = 1, yt = −ty , xt = −tx ,xy − yx = c0 + c1t .
Here R is simple if and only if c1 , 0 and c0 , ±mc1 for allodd m ≥ 1.You might recognise this as a symplectic reflectionalgebra.
![Page 63: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/63.jpg)
Example with A = kG, G finite cyclicLet char k = 0, n ≥ 2 and ε ∈ k be a primitive nth root ofunity.R: k -algebra generated by t , x , y subject to
tn = 1, yt = εty , xt = ε−1tx ,xy − ρyx = c0 + c1t + c2t2 + . . .+ cn−1tn−1.
R is generically simple. For example when n = 2, ε = −1and ρ = 1 the relations become
t2 = 1, yt = −ty , xt = −tx ,xy − yx = c0 + c1t .
Here R is simple if and only if c1 , 0 and c0 , ±mc1 for allodd m ≥ 1.You might recognise this as a symplectic reflectionalgebra.
![Page 64: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/64.jpg)
Simple higher quantized Weyl algebras
Suppose char k = 0 and let Λ = (λi ,j) be n × n such thatλj ,i = λ−1
i ,j for 1 ≤ i , j ≤ n.The k -algebra generated byx1, y1, . . . , xn, yn subject to the relations
yjyi = λj ,iyiyj , 1 ≤ i < j ≤ n;
yjxi = λi ,jxiyj , 1 ≤ i < j ≤ n;
xjyi = λi ,jyixj , 1 ≤ i < j ≤ n;
xjxi = λj ,ixixj , 1 ≤ i < j ≤ n;
xjyj − yjxj = 1, 1 ≤ j ≤ n,
is simple. These are iterated ambiskew polynomial ringsand special cases of a more general construction.
![Page 65: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/65.jpg)
Simple higher quantized Weyl algebras
Suppose char k = 0 and let Λ = (λi ,j) be n × n such thatλj ,i = λ−1
i ,j for 1 ≤ i , j ≤ n.The k -algebra generated byx1, y1, . . . , xn, yn subject to the relations
yjyi = λj ,iyiyj , 1 ≤ i < j ≤ n;
yjxi = λi ,jxiyj , 1 ≤ i < j ≤ n;
xjyi = λi ,jyixj , 1 ≤ i < j ≤ n;
xjxi = λj ,ixixj , 1 ≤ i < j ≤ n;
xjyj − yjxj = 1, 1 ≤ j ≤ n,
is simple. These are iterated ambiskew polynomial ringsand special cases of a more general construction.
![Page 66: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/66.jpg)
Simple higher quantized Weyl algebras
Suppose char k = 0 and let Λ = (λi ,j) be n × n such thatλj ,i = λ−1
i ,j for 1 ≤ i , j ≤ n.The k -algebra generated byx1, y1, . . . , xn, yn subject to the relations
yjyi = λj ,iyiyj , 1 ≤ i < j ≤ n;
yjxi = λi ,jxiyj , 1 ≤ i < j ≤ n;
xjyi = λi ,jyixj , 1 ≤ i < j ≤ n;
xjxi = λj ,ixixj , 1 ≤ i < j ≤ n;
xjyj − yjxj = 1, 1 ≤ j ≤ n,
is simple. These are iterated ambiskew polynomial ringsand special cases of a more general construction.
![Page 67: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/67.jpg)
Removing the Casimir barrier
Suppose that R is conformal so that the Casimir elementz is a barrier to simplicity. It can be removed by invertingz = xy − u to form S := RZ := R{z i } or factoring out z toform T := R/zR. There are simplicity criteria for both Sand T .
![Page 68: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/68.jpg)
Simplicity criterion for S
Theorem: The ring S = RZ is simple if and only if thefollowing hold:
1 A is {α, γ}-simple;2 there do not exist c ∈ A and m, j ∈ Z, with m and j not
both 0, such that γ(c) = ρmc,α(c) = ρjc andcγj(a) = αm(a)c ∀a ∈ A;
3 for all m ≥ 1, there exists n such that un∈ v (m)A.
![Page 69: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/69.jpg)
Simplicity criterion for S
Theorem: The ring S = RZ is simple if and only if thefollowing hold:
1 A is {α, γ}-simple;2 there do not exist c ∈ A and m, j ∈ Z, with m and j not
both 0, such that γ(c) = ρmc,α(c) = ρjc andcγj(a) = αm(a)c ∀a ∈ A;
3 for all m ≥ 1, there exists n such that un∈ v (m)A.
![Page 70: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/70.jpg)
Simplicity criterion for S
Theorem: The ring S = RZ is simple if and only if thefollowing hold:
1 A is {α, γ}-simple;2 there do not exist c ∈ A and m, j ∈ Z, with m and j not
both 0, such that γ(c) = ρmc,α(c) = ρjc andcγj(a) = αm(a)c ∀a ∈ A;
3 for all m ≥ 1, there exists n such that un∈ v (m)A.
![Page 71: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/71.jpg)
Simplicity criterion for S
Theorem: The ring S = RZ is simple if and only if thefollowing hold:
1 A is {α, γ}-simple;2 there do not exist c ∈ A and m, j ∈ Z, with m and j not
both 0, such that γ(c) = ρmc,α(c) = ρjc andcγj(a) = αm(a)c ∀a ∈ A;
3 for all m ≥ 1, there exists n such that un∈ v (m)A.
![Page 72: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/72.jpg)
Examples
Examples with S simple:
the quantum torus k [x±1, y±1 : xy = qyx ], q is not aroot of unity.Aq
1 when xy − yx is inverted and q is not a root ofunity;localizations of non-simple higher quantized Weylalgebras;A = k [h], α(h) = h + 1, γ = id, ρ not a root of unity,A = k [h±1], α(h) = qh, γ = id, v = h, S is simple ifand only if the subgroup of k ∗ generated by q and ρ isfree abelian of rank 2.
![Page 73: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/73.jpg)
Examples
Examples with S simple:
the quantum torus k [x±1, y±1 : xy = qyx ], q is not aroot of unity.Aq
1 when xy − yx is inverted and q is not a root ofunity;localizations of non-simple higher quantized Weylalgebras;A = k [h], α(h) = h + 1, γ = id, ρ not a root of unity,A = k [h±1], α(h) = qh, γ = id, v = h, S is simple ifand only if the subgroup of k ∗ generated by q and ρ isfree abelian of rank 2.
![Page 74: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/74.jpg)
Examples
Examples with S simple:
the quantum torus k [x±1, y±1 : xy = qyx ], q is not aroot of unity.Aq
1 when xy − yx is inverted and q is not a root ofunity;localizations of non-simple higher quantized Weylalgebras;A = k [h], α(h) = h + 1, γ = id, ρ not a root of unity,A = k [h±1], α(h) = qh, γ = id, v = h, S is simple ifand only if the subgroup of k ∗ generated by q and ρ isfree abelian of rank 2.
![Page 75: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/75.jpg)
Examples
Examples with S simple:
the quantum torus k [x±1, y±1 : xy = qyx ], q is not aroot of unity.Aq
1 when xy − yx is inverted and q is not a root ofunity;localizations of non-simple higher quantized Weylalgebras;A = k [h], α(h) = h + 1, γ = id, ρ not a root of unity,A = k [h±1], α(h) = qh, γ = id, v = h, S is simple ifand only if the subgroup of k ∗ generated by q and ρ isfree abelian of rank 2.
![Page 76: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/76.jpg)
Examples
Examples with S simple:
the quantum torus k [x±1, y±1 : xy = qyx ], q is not aroot of unity.Aq
1 when xy − yx is inverted and q is not a root ofunity;localizations of non-simple higher quantized Weylalgebras;A = k [h], α(h) = h + 1, γ = id, ρ not a root of unity,A = k [h±1], α(h) = qh, γ = id, v = h, S is simple ifand only if the subgroup of k ∗ generated by q and ρ isfree abelian of rank 2.
![Page 77: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/77.jpg)
Factor out z
Abusing notation, in T := R/zR,
ya = α(a)y for all a ∈ A,xa = β(a)x for all a ∈ A and
xy = u ; yx = α(u).
This is a (generalized) generalized Weyl algebra in thesense of Bavula.
![Page 78: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/78.jpg)
Simplicity criterion for T
Theorem: T is simple if and only if1 A is α-simple;2 αm is outer for all m ≥ 1;3 u is regular;4 uA + αm(u)A = A for all m ≥ 1.
![Page 79: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/79.jpg)
Simplicity criterion for T
Theorem: T is simple if and only if1 A is α-simple;2 αm is outer for all m ≥ 1;3 u is regular;4 uA + αm(u)A = A for all m ≥ 1.
![Page 80: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/80.jpg)
Simplicity criterion for T
Theorem: T is simple if and only if1 A is α-simple;2 αm is outer for all m ≥ 1;3 u is regular;4 uA + αm(u)A = A for all m ≥ 1.
![Page 81: Simple ambiskew polynomial rings - PAGE WEB D’ANDRE …leroy.perso.math.cnrs.fr/Congres 2013/TALKS/Jordan.pdf · 2013-06-28 · Discussion point What is the easiest example of a](https://reader030.vdocument.in/reader030/viewer/2022041200/5d335a6088c993bb3c8cb872/html5/thumbnails/81.jpg)
Simplicity criterion for T
Theorem: T is simple if and only if1 A is α-simple;2 αm is outer for all m ≥ 1;3 u is regular;4 uA + αm(u)A = A for all m ≥ 1.