Extending derivations (Q796797): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2977/prims/1195181832 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4254669794 / rank
 
Normal rank

Revision as of 19:38, 19 March 2024

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