The Brauer-Clifford group for \((S,H)\)-Azumaya algebras over a commutative ring. (Q1946634): Difference between revisions

Let \(H\) be a cocommutative Hopf algebra, \(S\) a commutative \(H\)-module algebra, \(A\) an \(H\)-module algebra, and \(A*H\) the smash product of \(A\) and \(H\). Denote the category of \(A*H\)-modules by \(_{A*H}M\). An \((S,H)\)-algebra \(A\) is an object \(A\in{_{S*H}M}\) which is an \(S\)-algebra such that the multiplication map \(A\otimes A\to A\) and the unit map \(S\to A\) are morphisms in \(_{A*H}M\). An \((S,H)\)-algebra \(A\) is an \((S,H)\)-Azumaya algebra if \(A\) is \(S\)-progenerator and \(A\otimes A^o\cong\text{End}_S(A)\) as \((S,H)\)-algebras. Two \((S,H)\)-Azumaya algebras \(A\) and \(B\) are called Brauer equivalent if there exist \(S*H\)-modules \(P\) and \(Q\) which are \(S\)-progenerators such that \(A\otimes_S\text{End}_S(P)\cong B\otimes\text{End}_S(Q)\) as \((S,H)\)-Azumaya algebras. The Brauer-Clifford group \(B(S,H)\) is the Abelian group of the equivalence classes of \((S,H)\)-Azumaya algebras under the operation \([A][B]=[A\otimes_SB]\). In particular, when \(R\) is a field, \(G\) a finite group, and \(S\) a commutative central simple \(G\)-algebra over \(R\), the Turull-Clifford group \(\text{BrClif}(S,G)\cong B(S,RG)\) [\textit{A. Turull}, J. Algebra 321, No. 12, 3620-3642 (2009; Zbl 1186.20011)]. Let \(A\) be an \((S,H)\)-algebra and \(H\)-\(\Aut_S(A)\) the group of all \(H\)-linear \(S\)-algebra automorphisms of \(A\). An \(\alpha\in H\)-\(\Aut_S(A)\) is called \(H\)-inner if \(\alpha(x)=uxu^{-1}\) for \(x\in A\) and some unit \(u\in A\), and \(H\)-INNER if \(u\) is \(H\)-invariant in \(A\). Then the Rosenberg-Zelinsky exact sequence for automorphisms of Azumaya algebras is generalized to \((S,H)\)-Azumaya algebras. Moreover, let \(H\)-\(\Aut_R(S)\) be the group of \(H\)-linear \(R\)-algebra automorphisms of \(S\). Then there is an action of \(H\)-\(\Aut_R(S)\) on \(B(S,H)\). Furthermore, the second cohomology group \(H^2(H,S)\) is defined. Let \(B_o(S,H)=\{[A]\mid A\cong\text{End}_S(M)\}\) for an \(S\)-progenerator \(M\); that is, \(A\) is a split \(S\)-Azumaya algebra. If \(S\) and \(H\) satisfy the Skolem-Noether Property (that is, for a split \(S\)-Azumaya algebra \(A\), there is an \(\text{End}_R(M)\)-inner action of \(H\) that restricts to the given \(H\)-action on \(A\) where \(A\) is considered as the centralizer of \(S\) in \(\text{End}_R(M)\)), then \(B_o(S,H)\cong H^2(H,S)\).