Equivariant Brauer and Picard groups and a Chase-Harrison-Rosenberg exact sequence (Q863371): Difference between revisions

Let \(R\) be a commutative ring with Picard group \(P( R) \) and Brauer group \(B( R) .\) Suppose that \(S/R\) is a Galois extension with group \(G\). Then there is a map \(B( R) \to B( S) \) given by \(A\mapsto S\otimes_{R}A\) whose kernel is denoted \(B( S/R) \) and is called the relative Brauer group. The sequence \[ \begin{multlined} 1\to H^{1}( G,U( S) ) \to P( R) \to P( S) ^{G}\to H^{2}( G,U( S) ) \to B( S/R) \\ \to H^{1}( G,P( S) ) \to H^{3}( G,U( S) ) \end{multlined} \] is the well-known Chase-Harrison-Rosenberg exact sequence, where \(U( S) \) is the group of units of \(S\). In this paper, the authors focus on the case where \(S=C( X) ,\) the ring of complex-valued continuous functions on a locally compact space \(X\). Given such an \(X\), the set of all isomorphism classes \([p,E] \) of (locally trivial) principal \(\mathbb{T}\)-bundles \(p:E\to X\) is a group, denoted \(\text{Pic}(X) .\) In the case where \(X\) is compact, we have \(\text{Pic}(X) \cong\text{Pic}(C(X))\). A \(\mathbb{T}\)-bundle \(p:E\to X\) is equivariant if there is a left \(G\)-action ``lt'' on \(E\) such that \(\text{lt}_{s}(ze) =z\)lt\(_{s}(e) \) and \(p(\text{lt}_{s}(e))=s\cdot p(e) \) for \(z\in\mathbb{T}\), \(e\in E\) and \(s\in G\). Two such bundles \(p:E\to X\) and \(q:F\to X\) are isomorphic if there exists a \(G\)-equivariant bundle isomorphism \(E\to F\). The group of all such classes is the equivariant Picard group and is denoted \(\text{Pic}_{G}(X)\). Let Br\(_{G}( X) \) be the group whose elements are the Morita equivalence classes of pairs \((A,\alpha)\), where \(A\) is a continuous-trace \(C^{\ast}\)-algebra with spectrum \(X\) and \(\alpha\) an action of \(G\) on \(A\) which induces the given action of \(G\) on \(X\). The result of this paper is the establishment of an analogous exact sequence \[ \begin{multlined} 1\to H^{1}(G,C(X,\mathbb{T}))\to\text{Pic}_{G}(X)\to\text{Pic}(X)^{G}\to H^{2}(G,C(X,\mathbb{T}))\to\ker F\\ \to H^{1}(G,\text{Pic}(X))\to H^{3}(G,C(X,\mathbb{T})), \end{multlined} \] where \(F([A,\alpha])=[A]:\text{Br}_{G}( X) \to\text{Br}(X)\). Applications are then given. Suppose that \((G,X) \) is a second countable locally compact transformation group such that \(G\) acts freely and transitively on \(X\). Then \(\text{Pic}(G\backslash X)\cong\text{Pic}_{G}(X)\), the isomorphism being explicitly given. Thus we can replace \(\text{Pic}_{G}(X) \) with \(\text{Pic}(G\backslash X)\) in the sequence above. On the other hand, in the case where \(G\) acts trivially on \(X\), we have \(\text{Pic}_{G}(X)\cong\text{Hom}(G,C(X,(\mathbb{T})))\oplus\text{Pic}(X)\).