GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109...
Transcript of GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109...
![Page 1: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/1.jpg)
GoBack
![Page 2: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/2.jpg)
Algebraic group actions onnoncommutative spectra
Special Session on Brauer Groups, Quadratic Forms, AlgebraicGroups, and Lie Algebras — NCSU 04/04/2009
Martin LorenzTemple University, Philadelphia
![Page 3: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/3.jpg)
Overview
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
• Background: enveloping algebras and quantized coordinatealgebras
![Page 4: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/4.jpg)
Overview
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
• Background: enveloping algebras and quantized coordinatealgebras
• Tool: the Amitsur-Martindale ring of quotients
![Page 5: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/5.jpg)
Overview
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
• Background: enveloping algebras and quantized coordinatealgebras
• Tool: the Amitsur-Martindale ring of quotients
• Rational and primitive ideals
![Page 6: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/6.jpg)
Overview
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
• Background: enveloping algebras and quantized coordinatealgebras
• Tool: the Amitsur-Martindale ring of quotients
• Rational and primitive ideals
• Stratification of the prime spectrum (if time)
![Page 7: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/7.jpg)
References
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
• “Group actions and rational ideals”,Algebra and Number Theory 2 (2008), 467-499
• “Algebraic group actions on noncommutative spectra”,Transformation Groups (to appear)
Both articles & the pdf file of this talk available on my web page:
http://math.temple.edu/˜lorenz/
![Page 8: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/8.jpg)
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
I will work / base field � = �
![Page 9: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/9.jpg)
Background
![Page 10: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/10.jpg)
Enveloping algebras
Algebraic group actions on noncommutative spectra NCSU 04/04/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 → End�(V )
![Page 11: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/11.jpg)
Enveloping algebras
Algebraic group actions on noncommutative spectra NCSU 04/04/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 12: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/12.jpg)
Dixmier’s Problem 11
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
from Algebres enveloppantes, 1974 :
![Page 13: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/13.jpg)
Dixmier’s Problem 11
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
• Problem 11 for k solvable, char � = 0
Dixmier, 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 � = 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 14: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/14.jpg)
Dixmier’s Problem 11
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
• Problem 11 for k solvable, char � = 0
Dixmier, 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 � = 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 15: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/15.jpg)
Dixmier’s Problem 11
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
• under weaker Goldie hypotheses / char � 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 16: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/16.jpg)
Quantum groups
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Goal: For R = Oq(�
n),Oq(Mn),Oq(G) . . . a quantized coordinatering, describe
Spec R = {prime ideals of R} ⊇ Prim R
![Page 17: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/17.jpg)
Quantum groups
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Goal: For R = Oq(�
n),Oq(Mn),Oq(G) . . . a quantized coordinatering, describe
Spec R = {prime ideals of R} ⊇ Prim R
Typically, some algebraic torus T acts rationally by �-algebraautomorphisms on R; so have
Spec R −→ SpecT R = {T -stable primes of R}
P �→ P : T =⋂g∈T
g.P
![Page 18: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/18.jpg)
Quantum groups
Algebraic group actions on noncommutative spectra NCSU 04/04/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 19: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/19.jpg)
Quantum groups
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
� T -stratification of Spec R( Goodearl & Letzter, . . . ; see the monograph by Brown & Goodearl )
Spec R =⊔
I∈SpecT R
SpecI R
?
![Page 20: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/20.jpg)
Notation
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
For the remainder of this talk,
R denotes an associative �-algebra (with 1)
G is an affine algebraic �-group acting rationally on R;so R is a �[G]-comodule algebra.
Equivalently, we have a rational representation
ρ = ρR : G→ Aut�-alg(R) ⊆ GL(R)
![Page 21: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/21.jpg)
Tool: The Amitsur-Martindale ringof quotients
![Page 22: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/22.jpg)
Original references
Algebraic group actions on noncommutative spectra NCSU 04/04/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 23: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/23.jpg)
The definition
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
In brief,
Qr(R) = lim−→I∈E
Hom(IR, RR)
where E = E (R) is the filter of all I � R such that l. annR I = 0.
![Page 24: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/24.jpg)
The definition
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
In brief,
Qr(R) = lim−→I∈E
Hom(IR, RR)
where E = E (R) is the filter of all I � 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 ′ on
some J ⊆ I ∩ I ′, J ∈ E .
![Page 25: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/25.jpg)
The definition
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
In brief,
Qr(R) = lim−→I∈E
Hom(IR, RR)
where E = E (R) is the filter of all I � R such that l. annR I = 0.
Addition and multiplication of Qr(R) come from addition andcomposition of R-module maps.
![Page 26: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/26.jpg)
The definition
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
In brief,
Qr(R) = lim−→I∈E
Hom(IR, RR)
where E = E (R) is the filter of all I � R such that l. annR I = 0.
Sending r ∈ R to the equivalence class of λr : R→ R, x �→ rx,yields an embedding of R as a subring of Qr(R).
![Page 27: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/27.jpg)
Extended centroid
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Defn: The extended centroid of R is defined by
C(R) = Z Qr(R)
center
Fact: If R is prime then C(R) is a �-field.
![Page 28: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/28.jpg)
Examples
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
• If R is simple, or a finite product of simple rings, then
Qr(R) = R
![Page 29: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/29.jpg)
Examples
Algebraic group actions on noncommutative spectra NCSU 04/04/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 30: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/30.jpg)
Examples
Algebraic group actions on noncommutative spectra NCSU 04/04/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 31: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/31.jpg)
Rational Ideals
![Page 32: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/32.jpg)
Definition
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Want: an intrinsic characterization of “primitivity”, ideally
in detail . . .
![Page 33: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/33.jpg)
Definition
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
“coeur”
“Herz”
“heart”
“core”
Definition: • Recall that C(R/P ) is a �-field for any P ∈Spec R. We call P rational if C(R/P ) = �.
![Page 34: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/34.jpg)
Definition
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
“coeur”
“Herz”
“heart”
“core”
Definition: • Recall that C(R/P ) is a �-field for any P ∈Spec R. We call P rational if C(R/P ) = �.
• Put RatR = {P ∈ Spec R | P is rational }; so
RatR ⊆ Spec R
![Page 35: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/35.jpg)
Connection with irreducible representations
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Given an irreducible representation f : R→ End�(V ), let P = Ker fbe the corresponding primitive ideal of R.
![Page 36: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/36.jpg)
Connection with irreducible representations
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Given an irreducible representation f : R→ End�(V ), let P = Ker fbe the corresponding primitive ideal of R.
• There always is an embedding of �-fields
C(R/P ) ↪→ Z (EndR(V ))
![Page 37: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/37.jpg)
Connection with irreducible representations
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Given an irreducible representation f : R→ End�(V ), let P = Ker fbe the corresponding primitive ideal of R.
• There always is an embedding of �-fields
C(R/P ) ↪→ Z (EndR(V ))
• Typically, EndR(V ) = � (“weak Nullstellensatz”); in this case
PrimR ⊆ RatR
![Page 38: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/38.jpg)
Examples
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
The weak Nullstellensatz holds for
• R any affine �-algebra, � uncountable Amitsur
• R an affine PI-algebra Kaplansky
• R = U(g) “Quillen’s Lemma”
• R = �Γ with Γ polycyclic-by-finite Hall, L.
• many quantum groups: Oq(�n), Oq(Mn(�)), Oq(G), . . .
![Page 39: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/39.jpg)
Examples
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
The weak Nullstellensatz holds for
• R any affine �-algebra, � uncountable Amitsur
• R an affine PI-algebra Kaplansky
• R = U(g) “Quillen’s Lemma”
• R = �Γ with Γ polycyclic-by-finite Hall, L.
• many quantum groups: Oq(�n), Oq(Mn(�)), Oq(G), . . .
In fact, in all these examples except the first, it has been shownthat, under mild restrictions on � or q,
PrimR = RatR
![Page 40: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/40.jpg)
Group action: G-prime and G-rational ideals
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
The G-action on R induces actions on {ideals of R}, Spec R, Rat R,. . . . As usual, G\? denotes the orbit sets in question.
Definition: A proper G-stable ideal I � R is called G-prime ifA,B �
G-stabR , AB ⊆ I ⇒ A ⊆ I or B ⊆ I. Put
G-Spec R = {G-prime ideals of R}
![Page 41: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/41.jpg)
Group action: G-prime and G-rational ideals
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Propn The assignment γ : P �→ P :G =⋂g∈G
g.P yields
surjections
Spec R
can.����
γ �� �� G-Spec R
G\ Spec R
�� �������������
![Page 42: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/42.jpg)
Group action: G-prime and G-rational ideals
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Definition: Let I ∈ G-Spec R. The group G acts on C(R/I)and the invariants C(R/I)G are a �-field. We call IG-rational if C(R/I)G = �. Put
G-RatR = {G-rational ideals of R}
![Page 43: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/43.jpg)
Group action: G-prime and G-rational ideals
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Definition: Let I ∈ G-Spec R. The group G acts on C(R/I)and the invariants C(R/I)G are a �-field. We call IG-rational if C(R/I)G = �. 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 �→⋂g∈G
g.P
![Page 44: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/44.jpg)
Noncommutative spectra
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Spec R
can.
�������������������������
γ : P �→P :G=⋂
g∈G g.P
�� �����������������������
Rat R
����������
������������������
������
�� ������
����
���
� �
��
G\ Spec R �� �� G-Spec R
G\RatR ∼=��
� �
��
G-RatR� �
��
![Page 45: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/45.jpg)
Noncommutative spectra
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Spec R
can.
�������������������������
γ : P �→P :G=⋂
g∈G g.P
�� �����������������������
Rat R
����������
������������������
������
�� ������
����
���
� �
��
G\ Spec R �� �� G-Spec R
G\RatR ∼=��
� �
��
G-RatR� �
��
Spec R carries the Jacobson-Zariski topology: closed subsets arethose of the form V(I) = {P ∈ Spec R | P ⊇ I} where I ⊆ R.
![Page 46: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/46.jpg)
Noncommutative spectra
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Spec R
can.
�������������������������
γ : P �→P :G=⋂
g∈G g.P
�� �����������������������
Rat R
����������
������������������
������
�� ������
����
���
� �
��
G\ Spec R �� �� G-Spec R
G\RatR ∼=��
� �
��
G-RatR� �
��
� 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 47: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/47.jpg)
Local closedness
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Recall: locally closed = open ∩ closed
![Page 48: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/48.jpg)
Local closedness
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Theorem 2 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 49: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/49.jpg)
Local closedness
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Theorem 2 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.
Proof of Cor: P :G ∈ G-Spec R is locally closed by Theorem 2, andhence so is its preimage under f : RatR ↪→ Spec R
γ→ G-Spec R.Finally, f−1(P:G) = G.P by Theorem 1.
![Page 50: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/50.jpg)
Stratification of the primespectrum
![Page 51: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/51.jpg)
Goal
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Spec R
can.
�������������������������
γ : P �→P :G=⋂
g∈G g.P
�� �����������������������
Rat R
����������
������������������
������
�� ������
����
���
� �
��
G\ Spec R �� �� G-Spec R
G\RatR ∼=��
� �
��
G-RatR� �
��
Next, we turn to the map γ . . .
![Page 52: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/52.jpg)
Goal
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Recall: γ : Spec R� G-Spec R yields the G-stratification of Spec R
Spec R =⊔
I∈G-Spec R
SpecI R
Main goal: describe the G-strata
SpecI R = γ−1(I) = {P ∈ Spec R | P :G = I}
![Page 53: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/53.jpg)
Goal
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
For simplicity, I assume G to be connected; so �[G] is a domain.In particular,
G-Spec R = SpecG R = {G-stable primes of R}
![Page 54: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/54.jpg)
The rings TI
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
For a given I ∈ G-Spec R, put Fract �[G]
TI = C(R/I)⊗ �(G)
This is a commutative domain, a tensor product of two fields.
![Page 55: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/55.jpg)
The rings TI
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
For a given I ∈ G-Spec R, put Fract �[G]
TI = C(R/I)⊗ �(G)
This is a commutative domain, a tensor product of two fields.
G-actions: • on C(R/I) via the given action ρ : G →Aut�-alg(R)
• on �(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 56: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/56.jpg)
The rings TI
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
For a given I ∈ G-Spec R, put Fract �[G]
TI = C(R/I)⊗ �(G)
This is a commutative domain, a tensor product of two fields.
PutSpecG TI = {(ρ⊗ ρr)(G)-stable primes of TI}
![Page 57: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/57.jpg)
Stratification Theorem
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Theorem 3 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 ⊗ �(G)) as �(G)-fields;
(d) rationality: P is rational ⇐⇒ TI/c(P ) = �(G).
![Page 58: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/58.jpg)
Stratification Theorem
Algebraic group actions on noncommutative spectra NCSU 04/04/2009
Theorem 3 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 ⊗ �(G)) as �(G)-fields;
(d) rationality: P is rational ⇐⇒ TI/c(P ) = �(G).
Cor: Rational ideals are maximal in their strata
![Page 59: GoBack - Temple Universitylorenz/talks/Raleigh.pdf · enveloppante, Bull. Soc. Math. France 109 (1981), 403–426. Sur la classification des ideaux primitifs des alg´ ebres enveloppantes`,](https://reader034.fdocuments.in/reader034/viewer/2022042406/5f20b497c15bc6696a6b6736/html5/thumbnails/59.jpg)
Rudolf Rentschler (PhD 1967 Munich)
Algebraic group actions on noncommutative spectra NCSU 04/04/2009