GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109...
Transcript of GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109...
![Page 1: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/1.jpg)
GoBack
![Page 2: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/2.jpg)
Prime ideals and group actions“Hopf Algebras and Related Topics” – USC 02/15/2009
Martin LorenzTemple University, Philadelphia
![Page 3: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/3.jpg)
Thank you
Prime ideals and group actions USC 02/15/2009
Downloaded By: [Temple University] At: 15:03 28 January 2009
![Page 4: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/4.jpg)
Thank you
Prime ideals and group actions USC 02/15/2009
![Page 5: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/5.jpg)
Thank you
Prime ideals and group actions USC 02/15/2009
![Page 6: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/6.jpg)
Overview
Prime ideals and group actions USC 02/15/2009
• Background: enveloping algebras and quantized coordinatealgebras
![Page 7: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/7.jpg)
Overview
Prime ideals and group actions USC 02/15/2009
• Background: enveloping algebras and quantized coordinatealgebras
• Tool: actions of algebraic groups, a brief reminder
![Page 8: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/8.jpg)
Overview
Prime ideals and group actions USC 02/15/2009
• Background: enveloping algebras and quantized coordinatealgebras
• Tool: actions of algebraic groups, a brief reminder
• Tool: the Amitsur-Martindale ring of quotients
![Page 9: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/9.jpg)
Overview
Prime ideals and group actions USC 02/15/2009
• Background: enveloping algebras and quantized coordinatealgebras
• Tool: actions of algebraic groups, a brief reminder
• Tool: the Amitsur-Martindale ring of quotients
• Rational and primitive ideals
![Page 10: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/10.jpg)
Overview
Prime ideals and group actions USC 02/15/2009
• Background: enveloping algebras and quantized coordinatealgebras
• Tool: actions of algebraic groups, a brief reminder
• Tool: the Amitsur-Martindale ring of quotients
• Rational and primitive ideals
• Stratification of the prime spectrum
![Page 11: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/11.jpg)
References
Prime ideals and group actions USC 02/15/2009
• “Group actions and rational ideals”,Algebra and Number Theory 2 (2008), 467-499
• “Algebraic group actions on noncommutative spectra”,posted at http://arXiv.org/abs/0809.5205
Both articles & the pdf file of this talk available on my web page:
http://math.temple.edu/˜lorenz/
![Page 12: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/12.jpg)
Prime ideals and group actions USC 02/15/2009
I will work / base field k = k
![Page 13: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/13.jpg)
Background
![Page 14: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/14.jpg)
Enveloping algebras
Prime ideals and group actions USC 02/15/2009
Goal : For R = U(g), the enveloping algebra of a finite-dim’l Liealgebra g, describe
Prim R = {primitive ideals of R}
kernels of irreducible (generally infinite-dimensional)
representations R → Endk(V )
![Page 15: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/15.jpg)
Enveloping algebras
Prime ideals and group actions USC 02/15/2009
Jacques Dixmier (* 1924)
in Reims, Dec. 2008
• former secretary of Bourbaki
• Ph.D. advisor of A. Connes, M. Duflo, . . .
• author of several influential monographs:
Les algebres d’operateurs dans l’espace hilbertien:algebres de von Neumann, Gauthier-Villars, 1957
Les C∗-algebres et leurs representations,Gauthier-Villars, 1969
Algebres enveloppantes, Gauthier-Villars, 1974
![Page 16: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/16.jpg)
Dixmier’s Problem 11
Prime ideals and group actions USC 02/15/2009
from Algebres enveloppantes, 1974 :
![Page 17: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/17.jpg)
Dixmier’s Problem 11
Prime ideals and group actions USC 02/15/2009
• Problem 11 for k solvable, char k = 0Dixmier , Sur les ideaux generiques dans les algebres enveloppantes,Bull. Sci. Math. (2) 96 (1972), 17–26. existence: (a)
Borho, Gabriel, Rentschler , Primideale in Einhullenden auflosbarer Lie-Algebren,Springer Lect. Notes in Math. 357 (1973). uniqueness: (b)
• for noetherian or Goldie rings R / char k = 0:Mœglin & Rentschler
Orbites d’un groupe algebrique dans l’espace des ideaux rationnels d’une algebreenveloppante, Bull. Soc. Math. France 109 (1981), 403–426.
Sur la classification des ideaux primitifs des algebres enveloppantes, Bull. Soc. Math.France 112 (1984), 3–40.
Sous-corps commutatifs ad-stables des anneaux de fractions des quotients desalgebres enveloppantes; espaces homogenes et induction de Mackey, J. Funct. Anal.69 (1986), 307–396.
Ideaux G-rationnels, rang de Goldie, preprint, 1986.
![Page 18: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/18.jpg)
Dixmier’s Problem 11
Prime ideals and group actions USC 02/15/2009
• Problem 11 for k solvable, char k = 0Dixmier , Sur les ideaux generiques dans les algebres enveloppantes,Bull. Sci. Math. (2) 96 (1972), 17–26. existence: (a)
Borho, Gabriel, Rentschler , Primideale in Einhullenden auflosbarer Lie-Algebren,Springer Lect. Notes in Math. 357 (1973). uniqueness: (b)
• for noetherian or Goldie rings R / char k = 0:Mœglin & Rentschler
Orbites d’un groupe algebrique dans l’espace des ideaux rationnels d’une algebreenveloppante, Bull. Soc. Math. France 109 (1981), 403–426.
Sur la classification des ideaux primitifs des algebres enveloppantes, Bull. Soc. Math.France 112 (1984), 3–40.
Sous-corps commutatifs ad-stables des anneaux de fractions des quotients desalgebres enveloppantes; espaces homogenes et induction de Mackey, J. Funct. Anal.69 (1986), 307–396.
Ideaux G-rationnels, rang de Goldie, preprint, 1986.
![Page 19: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/19.jpg)
Dixmier’s Problem 11
Prime ideals and group actions USC 02/15/2009
• under weaker Goldie hypotheses / char k arbitrary:N. Vonessen
Actions of algebraic groups on the spectrum of rational ideals,J. Algebra 182 (1996), 383–400.
Actions of algebraic groups on the spectrum of rational ideals. II,J. Algebra 208 (1998), 216–261.
![Page 20: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/20.jpg)
Quantum groups
Prime ideals and group actions USC 02/15/2009
Goal : For R = Oq(kn),Oq(Mn),Oq(G) . . . a quantized coordinatering, describe
Spec R = {prime ideals of R} ⊇ Prim R
![Page 21: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/21.jpg)
Quantum groups
Prime ideals and group actions USC 02/15/2009
Goal : For R = Oq(kn),Oq(Mn),Oq(G) . . . a quantized coordinatering, describe
Spec R = {prime ideals of R} ⊇ Prim R
Typically, some algebraic torus T acts rationally by k-algebraautomorphisms on R; so have
Spec R −→ SpecT R = {T -stable primes of R}
P 7→ P : T =⋂
g∈T
g.P
![Page 22: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/22.jpg)
Quantum groups
Prime ideals and group actions USC 02/15/2009
T -stratification of Spec R( Goodearl & Letzter, . . . ; see the monograph by Brown & Goodearl )
Spec R =⊔
I∈SpecT R
SpecI R
{P ∈ Spec R | P : T = I}
![Page 23: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/23.jpg)
Quantum groups
Prime ideals and group actions USC 02/15/2009
T -stratification of Spec R( Goodearl & Letzter, . . . ; see the monograph by Brown & Goodearl )
Spec R =⊔
I∈SpecT R
SpecI R
?
![Page 24: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/24.jpg)
Tool: Algebraic Groups
![Page 25: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/25.jpg)
Definition
Prime ideals and group actions USC 02/15/2009
There an anti-equivalence of categories
{affine algebraicgroups /k }
≃{
comm. affine reducedHopf k-algebras
}
G = Homk-alg(k[G], k) ↔ k[G]
![Page 26: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/26.jpg)
Definition
Prime ideals and group actions USC 02/15/2009
There an anti-equivalence of categories
{affine algebraicgroups /k }
≃{
comm. affine reducedHopf k-algebras
}
G = Homk-alg(k[G], k) ↔ k[G]
Equivalently, affine algebraic groups are precisely the closedsubgroups of GLn for some n:
GLn, SLn, Tn, Un, Dn, On, . . .all finite groups
![Page 27: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/27.jpg)
Rational representations
Prime ideals and group actions USC 02/15/2009
For any affine algebraic k-group G,
G-modules ≡ k[G]-comodules
Comodule structure map ∆M : M → M ⊗ k[G]
m 7→∑
m0 ⊗m1
![Page 28: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/28.jpg)
Rational representations
Prime ideals and group actions USC 02/15/2009
For any affine algebraic k-group G,
G-modules ≡ k[G]-comodules
Comodule structure map ∆M : M → M ⊗ k[G]
m 7→∑
m0 ⊗m1
We obtain a linear representation ρM : G→ GL(M) by
g.m =∑
m0〈g,m1〉
Representations arising in the way are called rational.
![Page 29: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/29.jpg)
Notation
Prime ideals and group actions USC 02/15/2009
For the remainder of this talk,
R denotes an associative k-algebra (with 1)
G is an affine algebraic k-group acting rationally on R;so R is a k[G]-comodule algebra.
Equivalently, we have a rational representation
ρ = ρR : G→ Autk-alg(R) ⊆ GL(R)
![Page 30: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/30.jpg)
Tool: The Amitsur-Martindale ringof quotients
![Page 31: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/31.jpg)
The definition
Prime ideals and group actions USC 02/15/2009
In brief,
Qr(R) = lim−→I∈E
Hom(IR, RR)
where E = E (R) is the filter of all I E R such that l. annR I = 0.
![Page 32: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/32.jpg)
The definition
Prime ideals and group actions USC 02/15/2009
In brief,
Qr(R) = lim−→I∈E
Hom(IR, RR)
where E = E (R) is the filter of all I E R such that l. annR I = 0.
Explicitly, elements of Qr(R) are equivalence classes of rightR-module maps
f : IR → RR (I ∈ E ) ,
the map f being equivalent to f ′ : I ′
R → RR (I ′ ∈ E ) if f = f ′ onsome J ⊆ I ∩ I ′, J ∈ E .
![Page 33: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/33.jpg)
The definition
Prime ideals and group actions USC 02/15/2009
In brief,
Qr(R) = lim−→I∈E
Hom(IR, RR)
where E = E (R) is the filter of all I E R such that l. annR I = 0.
Addition and multiplication of Qr(R) come from addition andcomposition of R-module maps.
![Page 34: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/34.jpg)
The definition
Prime ideals and group actions USC 02/15/2009
In brief,
Qr(R) = lim−→I∈E
Hom(IR, RR)
where E = E (R) is the filter of all I E R such that l. annR I = 0.
Sending r ∈ R to the equivalence class of λr : R→ R, x 7→ rx,yields an embedding of R as a subring of Qr(R).
![Page 35: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/35.jpg)
Extended centroid and central closure
Prime ideals and group actions USC 02/15/2009
Defs & Facts : • The extended centroid of R is defined by
C(R) = Z Qr(R)
Here Z denotes the center. If R is prime thenC(R) is a k-field.
![Page 36: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/36.jpg)
Extended centroid and central closure
Prime ideals and group actions USC 02/15/2009
Defs & Facts : • The extended centroid of R is defined by
C(R) = Z Qr(R)
Here Z denotes the center. If R is prime thenC(R) is a k-field.
• Put R = RC(R) ⊆ Qr(R). The algebra R issaid to be centrally closed if R = R. If R issemiprime then R is centrally closed.
![Page 37: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/37.jpg)
Original references
Prime ideals and group actions USC 02/15/2009
for prime rings R:
W. S. Martindale, III , Prime rings satisfying a generalizedpolynomial identity, J. Algebra 12 (1969), 576–584.
for general R:
S. A. Amitsur , On rings of quotients, Symposia Math., Vol. VIII,Academic Press, London, 1972, pp. 149–164.
![Page 38: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/38.jpg)
Examples
Prime ideals and group actions USC 02/15/2009
• If R is simple , or a finite product of simple rings, then
Qr(R) = R
![Page 39: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/39.jpg)
Examples
Prime ideals and group actions USC 02/15/2009
• If R is simple , or a finite product of simple rings, then
Qr(R) = R
• For R semiprime right Goldie ,
Qr(R) = {q ∈ Qcl(R) | qI ⊆ R for some I ⊳ R with annR I = 0}
classical quotient ring of R
In particular,
C(R) = ZQcl(R)
![Page 40: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/40.jpg)
Examples
Prime ideals and group actions USC 02/15/2009
• R = U(g)/I a semiprime image of the enveloping algebra of afinite-dimensional Lie algebra g. Then
Qr(R) = { ad g-finite elements of Qcl(R) }
![Page 41: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/41.jpg)
Rational Ideals
![Page 42: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/42.jpg)
Definition
Prime ideals and group actions USC 02/15/2009
Want : an intrinsic characterization of “primitivity”, ideally
in detail . . .
k k
![Page 43: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/43.jpg)
Definition
Prime ideals and group actions USC 02/15/2009
“coeur”
“Herz”
“heart”
“core”
Definition : • Recall that C(R/P ) is a k-field for any P ∈ Spec R.We call P rational if C(R/P ) = k.
![Page 44: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/44.jpg)
Definition
Prime ideals and group actions USC 02/15/2009
“coeur”
“Herz”
“heart”
“core”
Definition : • Recall that C(R/P ) is a k-field for any P ∈ Spec R.We call P rational if C(R/P ) = k.
• Put Rat R = {P ∈ Spec R | P is rational }; so
Rat R ⊆ Spec R
![Page 45: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/45.jpg)
Connection with irreducible representations
Prime ideals and group actions USC 02/15/2009
Given an irreducible representation f : R→ Endk(V ), let P = Ker fbe the corresponding primitive ideal of R.
kk
![Page 46: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/46.jpg)
Connection with irreducible representations
Prime ideals and group actions USC 02/15/2009
Given an irreducible representation f : R→ Endk(V ), let P = Ker fbe the corresponding primitive ideal of R.
• There always is an embedding of k-fields
C(R/P ) → Z (EndR(V ))
k
![Page 47: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/47.jpg)
Connection with irreducible representations
Prime ideals and group actions USC 02/15/2009
Given an irreducible representation f : R→ Endk(V ), let P = Ker fbe the corresponding primitive ideal of R.
• There always is an embedding of k-fields
C(R/P ) → Z (EndR(V ))
• Typically , EndR(V ) = k (“weak Nullstellensatz”); in this case
PrimR ⊆ RatR
![Page 48: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/48.jpg)
Examples
Prime ideals and group actions USC 02/15/2009
The weak Nullstellensatz holds for
• R any affine k-algebra, k uncountable Amitsur
• R an affine PI-algebra Kaplansky
• R = U(g) “Quillen’s Lemma”
• R = kΓ with Γ polycyclic-by-finite Hall, L.
• many quantum groups: Oq(kn), Oq(Mn(k)), Oq(G), . . .
k
![Page 49: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/49.jpg)
Examples
Prime ideals and group actions USC 02/15/2009
The weak Nullstellensatz holds for
• R any affine k-algebra, k uncountable Amitsur
• R an affine PI-algebra Kaplansky
• R = U(g) “Quillen’s Lemma”
• R = kΓ with Γ polycyclic-by-finite Hall, L.
• many quantum groups: Oq(kn), Oq(Mn(k)), Oq(G), . . .
In fact, in all these examples except the first, it has been shownthat, under mild restrictions on k or q,
PrimR = RatR
![Page 50: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/50.jpg)
Group action: G-primes
Prime ideals and group actions USC 02/15/2009
The G-action on R yields actions on { ideals of R }, Spec R, RatR,. . . . As usual, G\? denotes the orbit sets in question.
Definition : A proper G-stable ideal I ⊳ R is called G-prime ifA,B E
G-stabR , AB ⊆ I ⇒ A ⊆ I or B ⊆ I. Put
G-Spec R = {G-prime ideals of R}
![Page 51: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/51.jpg)
Group action: G-primes
Prime ideals and group actions USC 02/15/2009
Prop n The assignment γ : P 7→ P :G =⋂
g∈G
g.P yields
surjections
Spec R
can.����
γ // // G-Spec R
G\ Spec R
77 77ooooooooooo
![Page 52: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/52.jpg)
Group action: G-rational ideals
Prime ideals and group actions USC 02/15/2009
Definition : Let I ∈ G-Spec R. The group G acts on C(R/I)and the invariants C(R/I)G are a k-field. We call IG-rational if C(R/I)G = k. Put
G-RatR = {G-rational ideals of R}
![Page 53: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/53.jpg)
Group action: G-rational ideals
Prime ideals and group actions USC 02/15/2009
Definition : Let I ∈ G-Spec R. The group G acts on C(R/I)and the invariants C(R/I)G are a k-field. We call IG-rational if C(R/I)G = k. Put
G-RatR = {G-rational ideals of R}
The following result solves Dixmier’s Problem # 11 (a),(b) forarbitrary algebras.
Theorem 1 G\RatRbij.−→ G-RatR
∈ ∈
G.P 7→⋂
g∈G
g.P
![Page 54: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/54.jpg)
Noncommutative spectra
Prime ideals and group actions USC 02/15/2009
Spec R
can.
{{{{xxxxxxxxxxxxxxxxxxxxx
γ : P 7→P :G=⋂
g∈G g.P
"" ""FFFFFFFFFFFFFFFFFFFFF
Rat R
xxxxxxxxxx
||||xxxxxxxxxx
EEEEEEEE
EE
"" ""EEEE
EEEE
EEE
� ?
OO
G\ Spec R // // G-Spec R
G\RatR∼=
//� ?
OO
G-RatR� ?
OO
![Page 55: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/55.jpg)
Noncommutative spectra
Prime ideals and group actions USC 02/15/2009
Spec R
can.
{{{{xxxxxxxxxxxxxxxxxxxxx
γ : P 7→P :G=⋂
g∈G g.P
"" ""FFFFFFFFFFFFFFFFFFFFF
Rat R
xxxxxxxxxx
||||xxxxxxxxxx
EEEEEEEE
EE
"" ""EEEE
EEEE
EEE
� ?
OO
G\ Spec R // // G-Spec R
G\RatR∼=
//� ?
OO
G-RatR� ?
OO
Spec R carries the Jacobson-Zariski topology: closed subsets arethose of the form V(I) = {P ∈ Spec R | P ⊇ I} where I ⊆ R.
![Page 56: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/56.jpg)
Noncommutative spectra
Prime ideals and group actions USC 02/15/2009
Spec R
can.
{{{{xxxxxxxxxxxxxxxxxxxxx
γ : P 7→P :G=⋂
g∈G g.P
"" ""FFFFFFFFFFFFFFFFFFFFF
Rat R
xxxxxxxxxx
||||xxxxxxxxxx
EEEEEEEE
EE
"" ""EEEE
EEEE
EEE
� ?
OO
G\ Spec R // // G-Spec R
G\RatR∼=
//� ?
OO
G-RatR� ?
OO
։ is a surjection whose target has the final topology,
→ is an inclusion whose source has the induced topology, and∼= is a homeomorphism, from Thm 1
![Page 57: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/57.jpg)
Noncommutative spectra
Prime ideals and group actions USC 02/15/2009
Spec R
can.
{{{{xxxxxxxxxxxxxxxxxxxxx
γ : P 7→P :G=⋂
g∈G g.P
"" ""FFFFFFFFFFFFFFFFFFFFF
Rat R
xxxxxxxxxx
||||xxxxxxxxxx
EEEEEEEE
EE
"" ""EEEE
EEEE
EEE
� ?
OO
G\ Spec R // // G-Spec R
G\RatR∼=
//� ?
OO
G-RatR� ?
OO
Next, we turn to Spec R and the map γ . . .
![Page 58: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/58.jpg)
Stratification of the primespectrum
![Page 59: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/59.jpg)
Goal #1
Prime ideals and group actions USC 02/15/2009
Recall : γ : Spec R։ G-Spec R, P 7→ P : G =⋂
g∈G g.P , yields theG-stratification of Spec R
Spec R =⊔
I∈G-Spec R
SpecI R
Goal #1 : describe the G-strata
SpecI R = γ−1(I) = {P ∈ Spec R | P :G = I}
![Page 60: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/60.jpg)
Goal #1
Prime ideals and group actions USC 02/15/2009
For simplicity, I assume G to be connected ; so k[G] is a domain.In particular,
G-Spec R = SpecG R = {G-stable primes of R}
![Page 61: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/61.jpg)
The rings TI
Prime ideals and group actions USC 02/15/2009
For a given I ∈ G-Spec R, put Fract k[G]
TI = C(R/I)⊗ k(G)
This is a commutative domain, a tensor product of two fields.
![Page 62: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/62.jpg)
The rings TI
Prime ideals and group actions USC 02/15/2009
For a given I ∈ G-Spec R, put Fract k[G]
TI = C(R/I)⊗ k(G)
This is a commutative domain, a tensor product of two fields.
G-actions: • on C(R/I) via the given action ρ : G→ Autk-alg(R)
• on k(G) by the right and left regular actionsρr : (x.f)(y) = f(yx) and ρℓ : (x.f)(y) = f(x−1y)
• on TI by ρ⊗ ρr and Id⊗ρℓ ←− commute
![Page 63: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/63.jpg)
The rings TI
Prime ideals and group actions USC 02/15/2009
For a given I ∈ G-Spec R, put Fract k[G]
TI = C(R/I)⊗ k(G)
This is a commutative domain, a tensor product of two fields.
PutSpecG TI = {(ρ⊗ ρr)(G)-stable primes of TI}
![Page 64: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/64.jpg)
Stratification Theorem
Prime ideals and group actions USC 02/15/2009
Theorem 2 Given I ∈ G-Spec R, there is a bijection
c : SpecI R −→ SpecG TI
having the following properties:
(a) G-equivariance: c(g.P ) = (Id⊗ρℓ)(g)(c(P ));
(b) inclusions: P ⊆ P ′ ⇐⇒ c(P ) ⊆ c(P ′);
(c) hearts: C (TI/c(P )) ∼= C (R/P ⊗ k(G)) as k(G)-fields;
(d) rationality: P is rational ⇐⇒ TI/c(P ) = k(G).
![Page 65: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/65.jpg)
Stratification Theorem
Prime ideals and group actions USC 02/15/2009
Theorem 2 There is a bijection
c : SpecI R −→ SpecG TI
having the following properties:
(a) G-equivariance: c(g.P ) = (Id⊗ρℓ)(g)(c(P ));
(b) inclusions: P ⊆ P ′ ⇐⇒ c(P ) ⊆ c(P ′);
(c) hearts: C (TI/c(P )) ∼= C (R/P ⊗ k(G)) as k(G)-fields;
(d) rationality: P is rational ⇐⇒ TI/c(P ) = k(G).
Cor : Rational ideals are maximal in their strata
![Page 66: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/66.jpg)
Goal #2: Finiteness of G-Spec R
Prime ideals and group actions USC 02/15/2009
Assume that R sats the Nullstellensatz : weak Nullstellensatz &Jacobson property
e.g., R affine noetherian / uncountable k, affine PI, . . .semiprime =
⋂primitives
![Page 67: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/67.jpg)
Goal #2: Finiteness of G-Spec R
Prime ideals and group actions USC 02/15/2009
Assume that R sats the Nullstellensatz : weak Nullstellensatz &Jacobson property
Prop n The following are equivalent:
(a) G-Spec R is finite;
(b) G has finitely many orbits in RatR;
(c) R sats (1) ACC for G-stable semiprime ideals,(2) the Dixmier-Mœglin equivalence, and(3) G-Rat R = G-Spec R.
locally closed = primitive = rational
![Page 68: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/68.jpg)
Goal #2: Finiteness of G-Spec R
Prime ideals and group actions USC 02/15/2009
Example : If G is an algebraic torus then a sufficient condition forthe equality G-Spec R = G-Rat R is
dimk Rλ ≤ 1 for all λ ∈ X(G)
For a commutative domain R, this is also necessary.
Cor (classical) Let R be an affine commutative domain / k
and let G be an algebraic k-torus acting rationally on R. Then:
G-Spec R is finite ⇐⇒ dimk Rλ ≤ 1 for all λ ∈ X(G).
![Page 69: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/69.jpg)
Local closedness
Prime ideals and group actions USC 02/15/2009
Recall: locally closed = open ∩ closed
Theorem 3 If P ∈ RatR then:
{P} loc. cl. in Spec R ⇐⇒ {P :G} loc. cl. in G-Spec R
![Page 70: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/70.jpg)
Local closedness
Prime ideals and group actions USC 02/15/2009
Recall: locally closed = open ∩ closed
Theorem 3 If P ∈ RatR then:
{P} loc. cl. in Spec R ⇐⇒ {P :G} loc. cl. in G-Spec R
Cor If P ∈ Rat R is loc. closed in Spec R then the orbit G.Pis open in its closure in RatR.
![Page 71: GoBack - Temple Universitylorenz/talks/PrimeIdeals.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6738/html5/thumbnails/71.jpg)
Rudolf Rentschler (PhD 1967 Munich)
Prime ideals and group actions USC 02/15/2009