Some exact sequences associated with adjunctions in bicategories. Applications

Gómez-Torrecillas, J.; Mesablishvili, B.

doi:10.1090/tran/7625

Some exact sequences associated with adjunctions in bicategories. Applications
HTML articles powered by AMS MathViewer

by J. Gómez-Torrecillas and B. Mesablishvili PDF

Trans. Amer. Math. Soc. 371 (2019), 8255-8295 Request permission

Abstract:

We prove that the classical result asserting that the relative Picard group of a faithfully flat extension of commutative rings is isomorphic to the first Amitsur cohomology group still is valid in the realm of symmetric monoidal categories. To this end, we build some group exact sequences from an adjunction in a bicategory, which are of independent interest. As a particular byproduct of the evolving theory, we prove a version of Hilbert’s theorem 90 for cocommutative coalgebra coextensions (=surjective homomorphisms).

References

Jiří Adámek, Horst Herrlich, and George E. Strecker, Abstract and concrete categories, Pure and Applied Mathematics (New York), John Wiley & Sons, Inc., New York, 1990. The joy of cats; A Wiley-Interscience Publication. MR 1051419
Jean Bénabou, Introduction to bicategories, Reports of the Midwest Category Seminar, Springer, Berlin, 1967, pp. 1–77. MR 0220789
Gabriella Böhm and Kornél Szlachányi, Hopf algebroid symmetry of abstract Frobenius extensions of depth 2, Comm. Algebra 32 (2004), no. 11, 4433–4464. MR 2102458, DOI 10.1081/AGB-200034171
Francis Borceux, Handbook of categorical algebra. 1, Encyclopedia of Mathematics and its Applications, vol. 50, Cambridge University Press, Cambridge, 1994. Basic category theory. MR 1291599
S. U. Chase, D. K. Harrison, and Alex Rosenberg, Galois theory and Galois cohomology of commutative rings, Mem. Amer. Math. Soc. 52 (1965), 15–33. MR 195922
S. U. Chase and Alex Rosenberg, Amitsur cohomology and the Brauer group, Mem. Amer. Math. Soc. 52 (1965), 34–79. MR 195923
Juan Cuadra, Juan Ramon García Rozas, Blas Torrecillas, and Fred Van Oystaeyen, On the Brauer group of a cocommutative coalgebra, Comm. Algebra 29 (2001), no. 1, 67–83. MR 1842482, DOI 10.1081/AGB-100000785
J. Cuadra and F. Van Oystaeyen, Invariants of coalgebras, Ring theory and algebraic geometry (León, 1999) Lecture Notes in Pure and Appl. Math., vol. 221, Dekker, New York, 2001, pp. 147–171. MR 1844089
Brian Day, Paddy McCrudden, and Ross Street, Dualizations and antipodes, Appl. Categ. Structures 11 (2003), no. 3, 229–260. MR 1990034, DOI 10.1023/A:1024236601870
L. El Kaoutit and J. Gómez-Torrecillas, Invertible unital bimodules over rings with local units, and related exact sequences of groups, J. Algebra 323 (2010), no. 1, 224–240. MR 2564836, DOI 10.1016/j.jalgebra.2009.09.009
L. El Kaoutit and J. Gómez-Torrecillas, Invertible unital bimodules over rings with local units, and related exact sequences of groups, II, J. Algebra 370 (2012), 266–296. MR 2966839, DOI 10.1016/j.jalgebra.2012.07.035
Bojana Femić, Villamayor-Zelinsky sequence for symmetric finite tensor categories, Appl. Categ. Structures 25 (2017), no. 6, 1199–1228. MR 3720408, DOI 10.1007/s10485-017-9492-0
Bojana Femić, Eilenberg-Watts theorem for 2-categories and quasi-monoidal structures for module categories over bialgebroid categories, J. Pure Appl. Algebra 220 (2016), no. 9, 3156–3181. MR 3486296, DOI 10.1016/j.jpaa.2016.02.009
J. M. Fernández Vilaboa, E. Villanueva Novoa, and R. González Rodríguez, The exact sequence $\textrm {Pic}(\scr C)\to \textrm {Pic}(\scr C’)\to K_1A(F)\to B(\scr C)\to B(\scr C’)$ for a monoidal functor between closed categories, Comm. Algebra 26 (1998), no. 9, 2727–2743. MR 1635909, DOI 10.1080/00927879808826307
J. Gómez-Torrecillas and B. Mesablishvili, A bicategorical version of Masuoka’s theorem, Algebr. Represent. Theory 15 (2012), no. 1, 147–194. MR 2872486, DOI 10.1007/s10468-010-9238-2
Alexander Grothendieck, Technique de descente et théorèmes d’existence en géométrie algébrique. I. Généralités. Descente par morphismes fidèlement plats, Séminaire Bourbaki, Vol. 5, Soc. Math. France, Paris, 1995, pp. Exp. No. 190, 299–327 (French). MR 1603475
Peter T. Johnstone, Sketches of an elephant: a topos theory compendium. Vol. 2, Oxford Logic Guides, vol. 44, The Clarendon Press, Oxford University Press, Oxford, 2002. MR 2063092
André Joyal and Ross Street, Braided tensor categories, Adv. Math. 102 (1993), no. 1, 20–78. MR 1250465, DOI 10.1006/aima.1993.1055
Teruo Kanzaki, On generalized crossed product and Brauer group, Osaka Math. J. 5 (1968), 175–188. MR 241469
G. M. Kelly and Ross Street, Review of the elements of $2$-categories, Category Seminar (Proc. Sem., Sydney, 1972/1973) Lecture Notes in Math., Vol. 420, Springer, Berlin, 1974, pp. 75–103. MR 0357542
Saunders Mac Lane, Categories for the working mathematician, 2nd ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR 1712872
Saunders Mac Lane and Robert Paré, Coherence for bicategories and indexed categories, J. Pure Appl. Algebra 37 (1985), no. 1, 59–80. MR 794793, DOI 10.1016/0022-4049(85)90087-8
Akira Masuoka, Corings and invertible bimodules, Tsukuba J. Math. 13 (1989), no. 2, 353–362. MR 1030220, DOI 10.21099/tkbjm/1496161160
Bachuki Mesablishvili, Monads of effective descent type and comonadicity, Theory Appl. Categ. 16 (2006), No. 1, 1–45. MR 2210664
Yôichi Miyashita, An exact sequence associated with a generalized crossed product, Nagoya Math. J. 49 (1973), 21–51. MR 320080
Robert Paré and Dietmar Schumacher, Abstract families and the adjoint functor theorems, Indexed categories and their applications, Lecture Notes in Math., vol. 661, Springer, Berlin, 1978, pp. 1–125. MR 514193
D. Quillen, Module theory over nonunital rings, notes, 1997.
Neantro Saavedra Rivano, Catégories Tannakiennes, Lecture Notes in Mathematics, Vol. 265, Springer-Verlag, Berlin-New York, 1972 (French). MR 0338002
Mitsuhiro Takeuchi, On Villamayor and Zelinsky’s long exact sequence, Mem. Amer. Math. Soc. 33 (1981), no. 249, iv+178. MR 631959, DOI 10.1090/memo/0249
O. E. Villamayor and D. Zelinsky, Brauer groups and Amitsur cohomology for general commutative ring extensions, J. Pure Appl. Algebra 10 (1977/78), no. 1, 19–55. MR 460308, DOI 10.1016/0022-4049(77)90027-5
Enrico M. Vitale, A Picard-Brauer exact sequence of categorical groups, J. Pure Appl. Algebra 175 (2002), no. 1-3, 383–408. Special volume celebrating the 70th birthday of Professor Max Kelly. MR 1935985, DOI 10.1016/S0022-4049(02)00142-1