Non-commutative coordinate rings and stacks (Q4460733)

The goal of this paper is to have a version of Connes' construction in the algebraic setting and to study the relationship between algebraic stacks and non-commutative algebra. It is different from the idea of studying non-commutative algebraic geometry via stacks developed by \textit{M. Kontsevich} and \textit{A. L. Rosenberg} [in: The Gelfand Mathematical Seminars, 1996--1999, 85--108 (2000; Zbl 1003.14001)]. So, this article may be of interest both to non-commutative algebraists and algebraic geometers interested in stacks. After a background on bimodules, groupoids and coarse moduli schemes, the authors establish a natural correspondence between smooth proper 1-dimensional Deligne-Mumford stacks of finite type over \(k\) which are generically schemes and smooth non-commutative curves which do not possess a projective generator. The correspondence is given by taking the category of coherent sheaves on the stack. Then, the authors study how skew group rings and path algebras can be realized as non-commutative coordinate rings of semigroupoid schemes. They also construct other examples using a computational tool called \(d\)-matrix. The paper contains some general results on the relationship between stacks and their non-commutative coordinate rings. The authors show that fibre products of stacks correspond to tensor products of coordinate rings. Finally, the main results of this paper show how the non-commutative coordinate ring construction yields a correspondence between Morita equivalence classes of hereditary orders on smooth curves and smooth Deligne-Mumford curves which are schemes generically.