Extending derivations (Q796797)

From MaRDI portal
Revision as of 14:02, 12 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Extending derivations
scientific article

    Statements

    Extending derivations (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1984
    0 references
    Let (\({\mathcal A},G,\tau)\) be a \(C^*\)-dynamical system, where G is a compact abelian group, \({\mathcal A}^{\tau}\) be the fixed point algebra, and \(\delta_ 0:{\mathcal D}_ 0\to {\mathcal A}^{\tau}\) be a \({}^*\)- derivation defined on a \({}^*\)-subalgebra \({\mathcal D}_ 0\) of \({\mathcal A}^{\tau}\). Suppose that there are unitaries \(u(\gamma)\) in each spectral subspace \({\mathcal A}^{\tau}(\gamma)\) (\(\gamma \in \hat G)\), such that \(u(0)=1\), \(u(\gamma_ 1)u(\gamma_ 2)u(\gamma_ 1+\gamma_ 2)^*\in {\mathcal D}_ 0\) and \(u(\gamma){\mathcal D}_ 0u(\gamma)^*\subseteq {\mathcal D}_ 0,\) and that there is a family of traces of \({\mathcal A}\) which separates the centre of \({\mathcal A}^{\tau}\). Then \(\delta_ 0\) extends to a \({}^*\)-derivation, commuting with G, on a domain including \(\{\) \(u(\gamma)\}\) if and only if (i) \(u(\gamma)\delta_ 0(u(\gamma)^*.u(\gamma))u(\gamma)^*-\delta_ 0(.)\) is a bounded inner derivation on \({\mathcal A}^{\tau}\), for all \(\gamma\) in \(\hat G\), and (ii) \(\phi [\delta_ 0(u(\gamma_ 1)^*u(\gamma_ 2)^*u(\gamma_ 1)u(\gamma_ 2))u(\gamma_ 2)^*u(\gamma_ 1)^*u(\gamma_ 2)u(\gamma_ 1)]=0\) for any trace \(\phi\) on \({\mathcal A}\), \(\gamma_ 1,\gamma_ 2\in \hat G\).
    0 references
    \(C^*\)-dynamical system
    0 references
    compact abelian group
    0 references
    fixed point algebra
    0 references
    \({}^*\)-derivation
    0 references
    bounded inner derivation
    0 references

    Identifiers