Abstract
We define the notions of Azumaya category and Brauer group in category theory enriched over some very general base category V. We prove the equivalence of various definitions, in particular in terms of separable categories or progenerating bimodules. When V is the category of modules over a commutative ring R with unit, we recapture the classical notions of Azumaya algebra and Brauer group and provide an alternative, purely categorical treatment of those theories. But our theory applies as well to the cases of topological, metric or Banach modules, to the sheaves of such structures or graded such structures, and many other examples.
Similar content being viewed by others
References
Alonso Alvarez, J. N., Fernandez Vilaboa, J.M., Lopez Lopez, M. P., Villanueva Novoa, E. and Gonzalez Rodriguez, R.: A Picard-Brauer five term exact sequence for braided categories, in Rings, Hopf Algebras and Brauer Groups, Lecture Notes in Pure and Appl. Math. 197, Marcel Dekker, 1998.
Auslander, M. and Goldman, O.: The Brauer group of a commutative ring, Trans. Amer. Math. Soc. 97 (1960), 367-409.
Bass, H.: Algebraic K-Theory, Benjamin, 1968.
Bénabou, J.: Introduction to Bicategories, Lecture Notes in Math. 47, Springer, 1967, pp. 1-77.
Borceux, F.: Handbook of Categorical Algebra I: Basic Category Theory, Cambridge Univ. Press, Cambridge, 1994.
Borceux, F.: Handbook of Categorical Algebra II: Categories and Structures, Cambridge Univ. Press, Cambridge, 1994.
Day, B.: Note on compact closed categories, J. Austral. Math. Soc. 24-A (1977), 309-311.
Day, B. and Street, R.: Monoidal bicategories and Hopf algebroids, Advances in Mathematics 129 (1997), 99-157.
Borceux, F. and Dejean, D.: Cauchy completion in category theory, Cahiers de Topologie et Géométrie Differéntielle Catégorique XXVII(2) (1986), 133-145.
DeMeyer, F. and Ingraham, E.: Separable Algebras over Commutative Rings, Lecture Notes in Mathematics 181, Springer, 1971.
Gordon, R., Power, J. and Street, R.: Coherence for Tricategories, Memoirs of the American Mathematical Society 558, 1995.
Johnson, S. R.: Small Cauchy completions, Journal of Pure and Applied Algebra 62 (1989), 35-45.
Joyal, A. and Tierney, M.: An Extension of the Galois Theory of Grothendieck, Memoirs of the American Mathematical Society 309, 1984.
Kelly, G. M.: Basic Concepts of Enriched Category Theory, London Math. Soc. Lecture Notes Series 64, Cambridge Univ. Press, Cambridge, 1982.
Kelly, G. M. and Laplaza, M. L.: Coherence for compact closed categories, Journal of Pure and Applied Algebra 19 (1980), 193-213.
Knus, D. and Ojanguren, M.: Théorie de la descente et algèbres d'Azumaya, Lecture Notes in Mathematics 389, Springer, 1974.
Lawvere, F. W.: Metric spaces, generalized logic and closed categories, Rendiconti del Seminario Matematico e Fisico di Milano 43 (1973), 135-166.
Mitchell, B.: Separable Algebroids, Memoirs of the American Mathematical Society 57 (333), 1985.
Orzech, M. and Small, C.: The Brauer Group of Commutative Rings, Marcel Dekker, 1975.
Pareigis, B.: Non additive ring and module theory IV: The Brauer group of a symmetric monoidal category, Springer Lecture Notes in Mathematics 549 (1976), 112-133.
Street, R.: Absolute colimits in enriched categories, Cahiers de Topologie et Géométrie Différentielle Catégorique XXIV(4) (1983), 377-379.
Van Oystaeyen, F. and Zhang, Y.: The Brauer group of a braided monoidal category, Journal of Algebra 238 (1998), 96-128.
Vitale, E.: The Brauer and Brauer-Taylor groups of a symmetric monoidal category, Cahiers de Topologie et Géométrie Différentielle Catégorique XXXVII(2) (1996), 91-122.