A \(C^*\)-algebraic Schoenberg theorem (Q791846): Difference between revisions

Let \({\mathfrak A}\) be a \(C^*\)-algebra, G a compact abelian group, \(\tau\) an action of G by *-automorphisms of \({\mathfrak A},{\mathfrak A}^{\tau}\) the fixed point algebra of \(\tau\) and \({\mathfrak A}_ F\) the dense sub-algebra of G-finite elements in \({\mathfrak A}\). Further let H be a linear operator from \({\mathfrak A}_ F\) into \({\mathfrak A}\) which commutes with \(\tau\) and vanishes on \({\mathfrak A}^{\tau}\). We prove that H is a complete dissipation if and only if H is closable and its closure generates a \(C_ 0\)-semigroup of completely positive contractions. These complete dissipations are classified in terms of certain twisted negative definite maps from the dual group \(\hat G\) into dissipative operators affiliated with the center of the multiplier algebra of \({\mathfrak A}^{\tau}\). We also argue that the complete dissipation property is strictly stronger than the usual dissipation property, except in special circumstances such as when \({\mathfrak A}\) is abelian.