Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

A tour of noncommutative spectral theories

Manuel Reyes

TL;DR

This survey analyzes how the classical commutative spectrum $\operatorname{Spec} R$ motivates noncommutative generalizations, presenting several distinct approaches (prime ideals, prime left ideals, primes from division rings via matrix ideals, and module-category spectra) that recover $\operatorname{Spec} R$ when $R$ is commutative but diverge in the noncommutative setting. It highlights a fundamental obstruction to functorially extending the spectrum to all rings: any such functor that agrees with $\operatorname{Spec}$ on commutative rings must send $\mathbb{M}_n(k)$ to the empty set for $n\ge 3$, a consequence illuminated via a universal construction based on prime partial ideals and a Kochen–Specker-type coloring argument. The paper introduces the universal partial-spectrum $\mathrm{p\text{-}Spec}$ and shows that all putative functorial extensions factor through it, implying no nontrivial universal functor exists under current formulations. It concludes with a discussion of the implications for noncommutative geometry, suggesting that progress may lie in nonclassical notions of

Abstract

This is a survey of noncommutative generalizations of the spectrum of a ring, written for the Notices of the American Mathematical Society.

A tour of noncommutative spectral theories

TL;DR

This survey analyzes how the classical commutative spectrum motivates noncommutative generalizations, presenting several distinct approaches (prime ideals, prime left ideals, primes from division rings via matrix ideals, and module-category spectra) that recover when is commutative but diverge in the noncommutative setting. It highlights a fundamental obstruction to functorially extending the spectrum to all rings: any such functor that agrees with on commutative rings must send to the empty set for , a consequence illuminated via a universal construction based on prime partial ideals and a Kochen–Specker-type coloring argument. The paper introduces the universal partial-spectrum and shows that all putative functorial extensions factor through it, implying no nontrivial universal functor exists under current formulations. It concludes with a discussion of the implications for noncommutative geometry, suggesting that progress may lie in nonclassical notions of

Abstract

This is a survey of noncommutative generalizations of the spectrum of a ring, written for the Notices of the American Mathematical Society.
Paper Structure (14 sections, 3 theorems, 25 equations)

This paper contains 14 sections, 3 theorems, 25 equations.

Table of Contents

  1. Introduction
  2. Basic examples of noncommutative rings
  3. Commutative spectral theory
  4. The spectrum as a bridge from algebra to geometry
  5. Spectral theories for noncommutative rings
  6. Prime ideals
  7. Prime left ideals
  8. Primes from division rings
  9. Primes from module categories
  10. Noncommutative spectrum functors
  11. A universal functor
  12. From partial ideals to quantum colorings
  13. Further remarks
  14. Outlook

Key Result

Theorem 4.2

Let $F \colon \mathop{\mathrm{\mathsf{Ring}}}\nolimits^\mathrm{op} \to \mathop{\mathrm{\mathsf{Set}}}\nolimits$ be a functor such that there are natural bijections $F(C) \cong \mathop{\mathrm{Spec}}\nolimits(C)$ for every commutative ring $C$. Then $F(\mathbb{M}_n(\mathbb{C})) = 0$ for every $n \geq

Theorems & Definitions (3)

  • Theorem 4.2: Reyes:obstructing
  • Theorem 4.4: KochenSpecker
  • Theorem 4.5: BMR:KS