Definition

Let MM be a and choose a ]] φ\varphi. The continuous core of MM, relative to φ\varphi, is the

cφ(M)=MσφRc_\varphi(M)=M\rtimes_{\sigma^\varphi}\mathbb R

by the . It carries a θ:Rcφ(M)\theta:\mathbb R\curvearrowright c_\varphi(M) and a distinguished τφ\tau_\varphi, determined by the dual weight, with τφθs=esτφ\tau_\varphi\circ\theta_s=e^{-s}\tau_\varphi under the Fourier convention used here.

Independence of the weight

Another ψ\psi gives a crossed product cψ(M)c_\psi(M) canonically isomorphic to cφ(M)c_\varphi(M) after incorporating the . The isomorphism fixes the embedded copy of MM and intertwines the dual actions. Consequently the continuous core is usually written c(M)c(M) when only this canonical isomorphism class matters, even though its concrete presentation uses a weight.

Semifiniteness and type III algebras

The core is semifinite even when MM is type III and therefore has no faithful normal semifinite trace itself. This converts modular scaling into ordinary tracial integration on a larger algebra. Homogeneous measurable operators in the core form the , while the dual action on its center defines the .

Conventions and scope

Some authors use the opposite modular action or Fourier character. Then the dual action is time-reversed and the trace-scaling formula contains ese^s instead of ese^{-s}. These paired conventions produce isomorphic cores. The continuous core should not be confused with the algebraic core of a crossed product or with the core domain of a closed unbounded operator.

References
  1. Masamichi Takesaki, Theory of Operator Algebras II, Springer, 2003. Publisher DOI record. Relevant: Chapters X and XII on crossed products, dual weights, and the continuous decomposition.
  2. Alain Connes and Masamichi Takesaki, “The Flow of Weights on Factors of Type III,” Tohoku Mathematical Journal 29 (1977), 473–575. DOI record. Relevant: §§4–5 on the core, its dual action, and the flow of weights.