Mon 3 Apr 2006
Noncommutative Images of Commutative Spectra.
We initiate a unified, axiomatic study of noncommutative algebras R whoseprime spectra are, in a natural way, finite unions of commutative noetherianspectra. Our results illustrate how these commutative spectra can befunctorially “sewn together” to form Spec R. In particular, we construct abimodule-determined functor Mod Z -> Mod R, for a suitable commutativenoetherian ring Z, from which there follows a finite-to-one, continoussurjection Spec Z -> Spec R. Algebras satisfying the given axiomatic frameworkinclude PI algebras finitely generated over fields, noetherian PI algebras,enveloping algebras of complex finite dimensional solvable Lie algebras,standard generic quantum semisimple Lie groups, quantum affine spaces,quantized Weyl algebras, and standard generic quantizations of the coordinatering of nxn matrices. In all of these examples (except for thenon-finitely-generated noetherian PI algebras), Z is finitely generated over afield, and the constructed map of spectra restricts to a surjection Max Z ->Prim R.



