Noncommutative Gelfand Duality: the algebraic case

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.