Equivariant Brauer and Picard groups and a Chase-Harrison-Rosenberg exact sequence

DOI10.1016/J.JALGEBRA.2006.06.003MaRDI QIDQ863371zbMATH OpenOpenAlexFDO

Authors David Crocker, Iain Raeburn, Dana P. Williams

Publication date 26 January 2007

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2006.06.003

equivariant Brauer group equivariant Picard group principal \(\mathbb{T}\)-bundle

Brauer groups (algebraic aspects) (16K50) Homological methods in functional analysis (exact sequences, right inverses, lifting, etc.) (46M18)

Review text

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)\).

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Equivariant Brauer and Picard groups and a Chase-Harrison-Rosenberg exact sequence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q863371)