English

Partial generalized crossed products, Brauer groups and a comparison of seven-term exact sequences

Rings and Algebras 2024-11-04 v1

Abstract

Given a unital partial action α\alpha of a group GG on a commutative ring RR we denote by PicSRα(R) {\bf PicS} _{R^{\alpha}}(R) the Picard monoid of the isomorphism classes of partially invertible RR-bimodules, which are central over the subring RαRR^{\alpha} \subseteq R of α\alpha-invariant elements, and consider a specific unital partial representation Θ:GPicSRα(R),\Theta : G \to {\bf PicS} _{R^{\alpha}}(R), along with the abelian group C(Θ/R)\mathcal {C}(\Theta/R) of the isomorphism classes of partial generalized crossed products related to Θ,\Theta, which already showed their importance in obtaining a partial action analogue of the Chase-Harrison-Rosenberg seven-term exact sequence. We give a description of C(Θ/R)\mathcal {C}(\Theta/R) in terms partial generalized products of the form D(fΘ)\mathcal D(f \Theta) where ff is partial 11-cocycle of GG with values in a submonoid of PicSRα(R). {\bf PicS}_{R^{\alpha}}(R). Assuming that GG is finite and that RαRR^{\alpha} \subseteq R is a partial Galois extension, we prove that any Azumaya RαR^\alpha-algebra, containing RR as a maximal commutative subalgebra, is isomorphic to a partial generalized crossed product. Furthermore, we show that the relative Brauer group B(R/Rα)\mathcal B(R/R^\alpha) can be seen as a quotient of C(Θ/R)\mathcal {C}(\Theta/R) by a subgroup isomorphic to the Picard group of R.R. Finally, we prove that the analogue of the Chase-Harrison-Rosenberg sequence, obtained earlier for partial Galois extensions of commutative rings, can be derived from a recent seven-term exact sequence established in a non-commutative setting.

Keywords

Cite

@article{arxiv.2411.00494,
  title  = {Partial generalized crossed products, Brauer groups and a comparison of seven-term exact sequences},
  author = {Mikhailo Dokuchaev and Hector Pinedo and Itailma Rocha},
  journal= {arXiv preprint arXiv:2411.00494},
  year   = {2024}
}