Abstract
This paper concerns contravariant functors from the category of rings to the category of sets whose restriction to the full subcategory of commutative rings is isomorphic to the prime spectrum functor Spec. The main result reveals a common characteristic of these functors: every such functor assigns the empty set to \(\mathbb{M}_n (\mathbb{C})\) for n ⩾ 3. The proof relies, in part, on the Kochen-Specker Theorem of quantum mechanics. The analogous result for noncommutative extensions of the Gel’fand spectrum functor for C*-algebras is also proved.
Similar content being viewed by others
References
M. Artin and W. Schelter, Integral ring homomorphisms, Advances in Mathematics 39 (1981), 289–329.
B. van den Berg and C. Heunen, Noncommutativity as a colimit, Applied Categorical Structures (2011), available at http://dx.doi.org/10.1007/s10485-011-9246-3.
B. van den Berg and C. Heunen, No-go theorems for functorial localic spectra of noncom-mutative rings, arXiv:1101.5924, Proceedings of the 8th Workshop on Quantum Physics and Logic, to appear.
P. M. Cohn, The affine scheme of a general ring, in Applications of Sheaves (Proc. Res. Sympos. Appl. Sheaf Theory to Logic, Algebra and Anal., Univ. Durham, Durham, 1977), Lecture Notes in Mathematics, Vol. 753, Springer, Berlin, 1979, pp. 197–211.
K. R. Davidson, C*-Algebras by Example, Fields Institute Monographs, Vol. 6, American Mathematical Society, Providence, RI, 1996.
B. Fuglede, A commutativity theorem for normal operators, Proceedings of the National Academy of Sciences of the United States of America 36 (1950), 35–40.
O. Goldman, Rings and modules of quotients, Journal of Algebra 13 (1969), 10–47.
C. Heunen, N. P. Landsman and B. Spitters, A topos for algebraic quantum theory, Communications in Mathematical Physics 291 (2009), 63–110.
N. Jacobson, Schur’s theorems on commutative matrices, Bulletin of the American Mathematical Society 50 (1944), 431–436.
R. V. Kadison and J. R. Ringrose, Fundamentals of the Theory of Operator Algebras, Vol. I: Elementary Theory, Graduate Studies in Mathematics, Vol. 15, American Mathematical Society, Providence, RI, 1997, Reprint of the 1983 original.
S. Kochen and E. P. Specker, The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics 17 (1967), 59–87.
T. Y. Lam, Lectures on Modules and Rings, Graduate Texts in Mathematics, Vol. 189, Springer-Verlag, New York, 1999.
E. S. Letzter, On continuous and adjoint morphisms between non-commutative prime spectra, Proceedings of the Edinburgh Mathematical Society. Series II 49 (2006), 367–381.
S. Mac Lane, Categories for the Working Mathematician, second edn., Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York, 1998.
C. Procesi, Non commutative Jacobson-rings, Annali della Scuola Normale Superiore di Pisa (3) 21 (1967), 281–290.
A. L. Rosenberg, The left spectrum, the Levitzki radical, and noncommutative schemes, Proceedings of the National Academy of Sciences of the United States of America 87 (1990), 8583–8586.
A. L. Rosenberg, Noncommutative local algebra, Geometric and Functional Analysis 4 (1994), 545–585.
I. Schur, Zur Theorie vertauschbaren Matrizen, Journal für die Reine und Angewandte Mathematik 130 (1905), 66–76.
S. P. Smith, Subspaces of non-commutative spaces, Transactions of the American Mathematical Society 354 (2002), 2131–2171.
F.M. J. Van Oystaeyen and A. H. M. J. Verschoren, Non-commutative Algebraic Geometry: An Introduction, Lecture Notes in Mathematics, Vol. 887, Springer-Verlag, Berlin, 1981.
Author information
Authors and Affiliations
Corresponding author
Additional information
The author was supported by a Ford Foundation Predoctoral Diversity Fellowship at the University of California, Berkeley, and a University of California President’s Postdoctoral Fellowship at the University of California, San Diego.
Rights and permissions
About this article
Cite this article
Reyes, M.L. Obstructing extensions of the functor spec to noncommutative rings. Isr. J. Math. 192, 667–698 (2012). https://doi.org/10.1007/s11856-012-0043-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-012-0043-y