Equivariant Brauer and Picard groups and a Chase-Harrison-Rosenberg exact sequence (Q863371): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:25, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Equivariant Brauer and Picard groups and a Chase-Harrison-Rosenberg exact sequence |
scientific article |
Statements
Equivariant Brauer and Picard groups and a Chase-Harrison-Rosenberg exact sequence (English)
0 references
26 January 2007
0 references
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)\).
0 references
equivariant Brauer group
0 references
equivariant Picard group
0 references
principal \(\mathbb{T}\)-bundle
0 references