A ringed-space-like structure on coalgebras for noncommutative algebraic geometry

TL;DR

This paper develops a noncommutative algebraic geometry framework using ringed coalgebras, generalizing schemes over a field and establishing functorial relationships with classical algebraic structures.

Contribution

It introduces ringed coalgebras as a noncommutative analogue of schemes, connecting them with RFD algebras and schemes, and develops module theory in this context.

Findings

Fully faithful functors from RFD algebras and schemes to ringed coalgebras

Isomorphism of functors on finitely generated commutative algebras

Embedding of module categories into modules over ringed coalgebras

Abstract

Inspired by the perspective of Reyes' noncomutative spectral theory, we attempt to develop noncommutative algebraic geometry by introducing ringed coalgebras, which can be thought of as a noncommutative generalization of schemes over a field $k$. These objects arise from fully residually finite-dimensional(RFD) algebras introduced by Reyes and from schemes locally of finite type over $k$. The construction uses the Heyneman-Sweedler finite dual coalgebra and the Takeuchi underlying coalgebra. When $k$ is algebraically closed, the formation of ringed coalgebras gives a fully faithful functor out of the category of fully RFD algebras, as well as a fully faithful functor out of the category of schemes locally of finite type. The restrictions of these two functors to the category of (commutative) finitely generated algebras are isomorphic. Finally, we introduce modules over ringed coalgebras and show that the category of finitely generated modules on a fully RFD algebra and that of coherent sheaves on a scheme locally of finite type can, if $k$ is algebraically closed, be fully faithfully embedded into the category of modules over the corresponding ringed coalgebras.