Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Noncommutative Gelfand Duality: the algebraic case

Federico Bambozzi, Matteo Capoferri, Simone Murro

TL;DR

This work develops a noncommutative analogue of Gelfand duality by constructing a noncommutative spectrum for connective dg‑algebras and embedding rings into a category of pre-ringed spaces via a functor that is faithful but not generally full. Central to the construction is a homotopical Zariski topology built from homotopical epimorphisms, with a fine variant enabling comparison to Grothendieck’s spectrum in favorable commutative cases; a key outcome is the relative spectrum that recovers Grothendieck’s spectrum for finitely generated commutative $f C$‑algebras. The paper identifies foundational obstacles, notably the non-sheaf nature of the NC structure presheaf and the incompatibility of finite presentation across commutative and noncommutative settings, and proposes descendable presheaves as a natural replacement that still yields a local-to-global reconstruction via comonadic descent. Examples across commutative and noncommutative rings illustrate the spectrum’s behavior and contrast with Grothendieck’s spectrum, highlighting Morita invariance and how spectral data encodes representation-theoretic structure. Collectively, the results set a rigorous algebraic base for studying geometric properties of quantum spacetimes and open avenues toward a full noncommutative derived geometric language.

Abstract

The goal of this paper is to define a notion of non-commutative Gelfand duality. Using techniques from derived algebraic geometry, we show that the category of rings is anti-equivalent to a subcategory of pre-ringed sites, inspired by Grothendieck's work on commutative rings. Our notion of spectrum, although formally reminiscent of the Grothendieck spectrum, is new. Remarkably, an appropriately refined relative version of our spectrum agrees with the Grothendieck spectrum for finitely generated commutative algebras over the complex numbers, among others. This work aims to represent the starting point for a rigorous study of geometric properties of quantum spacetimes.

Noncommutative Gelfand Duality: the algebraic case

TL;DR

This work develops a noncommutative analogue of Gelfand duality by constructing a noncommutative spectrum for connective dg‑algebras and embedding rings into a category of pre-ringed spaces via a functor that is faithful but not generally full. Central to the construction is a homotopical Zariski topology built from homotopical epimorphisms, with a fine variant enabling comparison to Grothendieck’s spectrum in favorable commutative cases; a key outcome is the relative spectrum that recovers Grothendieck’s spectrum for finitely generated commutative ‑algebras. The paper identifies foundational obstacles, notably the non-sheaf nature of the NC structure presheaf and the incompatibility of finite presentation across commutative and noncommutative settings, and proposes descendable presheaves as a natural replacement that still yields a local-to-global reconstruction via comonadic descent. Examples across commutative and noncommutative rings illustrate the spectrum’s behavior and contrast with Grothendieck’s spectrum, highlighting Morita invariance and how spectral data encodes representation-theoretic structure. Collectively, the results set a rigorous algebraic base for studying geometric properties of quantum spacetimes and open avenues toward a full noncommutative derived geometric language.

Abstract

The goal of this paper is to define a notion of non-commutative Gelfand duality. Using techniques from derived algebraic geometry, we show that the category of rings is anti-equivalent to a subcategory of pre-ringed sites, inspired by Grothendieck's work on commutative rings. Our notion of spectrum, although formally reminiscent of the Grothendieck spectrum, is new. Remarkably, an appropriately refined relative version of our spectrum agrees with the Grothendieck spectrum for finitely generated commutative algebras over the complex numbers, among others. This work aims to represent the starting point for a rigorous study of geometric properties of quantum spacetimes.

Paper Structure

This paper contains 42 sections, 43 theorems, 220 equations.

Table of Contents

  1. Introduction and main result
  2. Algebraic geometry and the spectrum of a commutative ring.
  3. Motivation and heuristics for noncommutative dualities.
  4. Reyes's no-go theorem.
  5. Main result.
  6. Challenges and novelty.
  7. Future outlook.
  8. Structure of the paper.
  9. Preliminaries
  10. The homotopy category of algebras
  11. Categories of algebras
  12. Finitely presented algebras
  13. Reformulation in terms of algebraic theories
  14. Homotopical algebras
  15. Modules over homotopical rings
  16. ...and 27 more sections

Key Result

Theorem 1.1

The category ${\mathbf{Rings}}_{\mathbb Z}$ is anti-equivalent to a subcategory of pre-ringed sites$\mathbf{PreRingSites}$ (as per Definition defn:pre-ringed_space).

Theorems & Definitions (138)

  • Theorem 1.1: Classical form of noncommutative Gelfand duality
  • Proposition 2.1
  • Proposition 2.2
  • Proposition 3.1
  • proof
  • Definition 3.2: Objects of finite presentation
  • Example 3.3
  • Proposition 3.4
  • proof
  • Corollary 3.5
  • ...and 128 more