Definition

Let an GG act point-ultraweakly continuously on a MM by α\alpha. The dual action on the is the point-ultraweakly continuous action of the G^\widehat G

α^:G^Aut(MαG)\widehat\alpha:\widehat G\longrightarrow \operatorname{Aut}(M\rtimes_\alpha G)

determined by

α^χ(πα(x))=πα(x),α^χ(λ(t))=χ(t)λ(t).\widehat\alpha_\chi(\pi_\alpha(x))=\pi_\alpha(x),\qquad \widehat\alpha_\chi(\lambda(t)) =\overline{\chi(t)}\,\lambda(t).

Thus it fixes the coefficient algebra pointwise and multiplies the canonical group unitary of tt by its Fourier character.

Existence and uniqueness

The displayed assignments preserve the covariance relation and therefore extend from integrated covariant operators to normal automorphisms of the . Character multiplication gives an action, and ultraweak density of the integrated core gives uniqueness. When G=RG=\mathbb R and χs(t)=eist\chi_s(t)=e^{ist}, the convention above reads α^s(λ(t))=eistλ(t)\widehat\alpha_s(\lambda(t))=e^{-ist}\lambda(t).

Duality

Crossing again by G^\widehat G recovers MM, stabilized by B(L2(G))\mathcal B(L^2(G)), through Takesaki duality. The corresponding double-dual action remembers the original action up to the standard inner correction. This makes the dual action structural data rather than an arbitrary symmetry of the crossed product Nakagami–Takesaki, Chapters 1–2.

Relation to other dual actions

The formula resembles the , but the topology and ambient algebra differ: point-ultraweak continuity and normal automorphisms are used here. For nonabelian GG, the replacement is generally a dual coaction rather than an action of a Pontryagin dual group.

References
  1. Yoshiomi Nakagami and Masamichi Takesaki, Duality for Crossed Products of von Neumann Algebras, Lecture Notes in Mathematics 731, Springer, 1979. Publisher DOI record. Relevant: Chapters 1–2 on actions, coactions, crossed products, and duality.
  2. Masamichi Takesaki, Theory of Operator Algebras II, Springer, 2003. Publisher DOI record. Relevant: Chapter X on dual actions and Takesaki duality.