Villamayor-Zelinsky sequence for symmetric finite tensor categories (Q1686706)

La notion classique de groupe de Brauer d'un corps commutatif a connu de nombreuses généralisations; l'une des plus vastes est celle de [\textit{F. Van Oystaeyen} and \textit{Y. Zhang}, J. Algebra 202, No. 1, 96--128 (1998; Zbl 0909.18005)] dont le cadre est le suivant. Soit \(\mathcal{C}\) une catégorie monoïdale fermée tressée, dont on note \(\otimes\) la structure monoïdale et \([-,-]\) le foncteur Hom interne. Une \textit{algèbre d'Azumaya} dans \(\mathcal{C}\) est une algèbre \(A\) de cette catégorie monoïdale telle que les morphismes canoniques \(A\otimes A^{op}\to [A,A]\) et \(A^{op}\otimes A\to [A,A]^{op}\) soient des isomorphismes. Le groupe de Brauer de \(\mathcal{C}\) est défini comme un quotient approprié (par une relation de type \textit{équivalence de Morita}) de la classe des algèbres d'Azumaya dans \(\mathcal{C}\), la loi de groupe étant induite par \(\otimes\). Lorsque le tressage de \(\mathcal{C}\) est symétrique, ce groupe est commutatif. Le groupe de \textit{Brauer-Picard} d'une catégorie tensorielle finie (c'est-à-dire d'une catégorie linéaire sur un corps commutatif possédant de bonnes propriétés de finitude) est une variante de cette construction en termes de \textit{bimodules}; dans le cas tressé le groupe de Brauer-Picard possède un sous-groupe remarquable, le groupe de Picard (qu'on peut aussi voir comme une sorte de groupe de Brauer). (Le lecteur non familier avec les nombreux prérequis sur les catégories tensorielles nécessaires à la lecture de l'article pourra consulter entre autres [\textit{P. Etingof} et al., Tensor categories. Providence, RI: American Mathematical Society (AMS) (2015; Zbl 1365.18001)].) L'auteur montre (\textit{Proposition 3.4}) que la catégorie appropriée de bimodules sur une catégorie tensorielle finie \textit{symétrique} \(\mathcal{C}\) est elle-même monoïdale \textit{symétrique}, de sorte que son groupe de Picard est abélien. Elle étudie ensuite certains aspects généraux des catégories en bimodules dans ce contexte (voir en particulier un énoncé relatif à la dualité: \textit{Corollary 4.10}). Elle construit enfin, dans la section 5 de l'article, une vaste généralisation de la \textit{cohomologie d'Amitsur} [\textit{S. A. Amitsur}, Trans. Am. Math. Soc. 90, 73--112 (1959; Zbl 0222.18018)] pour ces catégories tensorielles finies symétriques, pour laquelle elle construit et étudie (section 6) une suite exacte longue à la Villamayor-Zelinsky [\textit{O. E. Villamayor} and \textit{D. Zelinsky}, J. Pure Appl. Algebra 10, 19--55 (1977; Zbl 0383.13002)].