-
Non-Commutative Integration
Authors:
Masamichi Takesaki
Abstract:
We will show that if $\sM$ is a factor, then for any pair $\f, \p\in\sMdsup$ of normal positive linear functionals on $\sM$, the inequality: $$ \lrnorm{\f}\leq \lrnorm{\p} $$ is equivalent to the fact that there exist a countable family $\lrbrace{\ffdi: i\in I}\subset \sMdsup$ in $\sMdsup$ and a family $\lrbrace{\udi: i\in I}ı\sM$ of partial isometries in \cM such that…
▽ More
We will show that if $\sM$ is a factor, then for any pair $\f, \p\in\sMdsup$ of normal positive linear functionals on $\sM$, the inequality: $$ \lrnorm{\f}\leq \lrnorm{\p} $$ is equivalent to the fact that there exist a countable family $\lrbrace{\ffdi: i\in I}\subset \sMdsup$ in $\sMdsup$ and a family $\lrbrace{\udi: i\in I}ı\sM$ of partial isometries in \cM such that $$ \f=\sumd{i\in I} \ffdi,\quad \sumd{i\in I} \udi{\ffdi}\udius\leq \p, \quad \text{and} \quad \udius\udi=s\lr{\ffdi}, i\in I, $$ where $s(ω), ω\in\sMdsup$, means the support projection of $ω$. Furthermore, if $\lrnorm{\f}=\lrnorm{\p}$, then the equality replaces the inequality in the second statement. In the case that $\sM$ is not of type \threeonec the family of partial isometries can be replaced by a family of unitaries in \cMp One cannot expect to have this result in the usual integration thoery. To have a similar result, one needs to bring in some kind of non-commutativity. Let $\lrbrace{X, μ}$ be a $\sig$-finite semifinite measure space and $G$ be an ergodic group of automorphisms of $\linflr{X, μ}$, then for a pair $f$ and $g$ of $μ$-integrable positive functions on $X$, the inequality: $$ \int_X f(x)\txd μ(x)\leq \int_X g(x)\txd μ(x) $$ is equivalent to the existence of a countable families $\lrbrace{\fdi: i\in I}\subset L^1(X, μ)$ of positive integrable functions and $\lrbrace{\gdi: i\in I}$ in $G$ such that $$ f=\sumd{i\in I} \fdi\quad\text{and}\quad \sumd{i\in I} \gdi\lr{\fdi}\leq g, $$ where the summation and inequality are all taken in the oredered Banach space $L^1(X, μ)$ and the action of $G$ on $\lonelr{X, μ}$ is defined through the duality between $\linflr{X, μ}$ and $\lonelr{X, μ}$, i.e.,
\lr{\g(f)}(x)&=f\lr{\g\inv x}\frac{\txdμ\scirc \g\inv}{\txdμ}(x), \quad f\in\lonelr{X, μ}.
△ Less
Submitted 26 August, 2012;
originally announced August 2012.
-
Outer Actions of a Discrete Amenable Group on Approximately Finite Dimensional Factors III, The Type $\text{III}_λ$ Case, $\pmb{0<λ<1}$, Examples
Authors:
Yoshikazu Katayama,
Masamichi Takesaki
Abstract:
In this last article of the series on outer actions of a countable dicrete amenable group on AFD factors, we analyze outer actions of a countable discrete free abelian group on an AFD factor of type $\text{III}_λ$, $0<λ< 1$, and compute outer conjugacy invariants. As a byproduct, we discover the asymmetrization technique for coboundary condition on a $\Bbb T$-valued cocycle of a torsion free abe…
▽ More
In this last article of the series on outer actions of a countable dicrete amenable group on AFD factors, we analyze outer actions of a countable discrete free abelian group on an AFD factor of type $\text{III}_λ$, $0<λ< 1$, and compute outer conjugacy invariants. As a byproduct, we discover the asymmetrization technique for coboundary condition on a $\Bbb T$-valued cocycle of a torsion free abelian group, which might have been known by the group cohomologists. As the asymmetrization technique gives us a very handy criteria for coboundaries, we present it here in detail in the second section.
△ Less
Submitted 21 March, 2009;
originally announced March 2009.
-
Outer Actions of a Discrete Amenable Group on Approximately Finite Dimensional Factors II, the III$_λ$-Case, $λ\neq 0$
Authors:
Yoshikazu Katayama,
Masamichi Takesaki
Abstract:
To study outer actions $\a$ of a group $G$ on a factor $\sM$ of type {\threel}, $0<\la<1$, we study first the cohomology group of a group with the unitary group of an abelian {\vna} as a coefficient group and establish a technique to reduce the coefficient group to the torus $\T$ by the Shapiro mechanism based on the groupoid approach. We then show a functorial construction of outer actions of a…
▽ More
To study outer actions $\a$ of a group $G$ on a factor $\sM$ of type {\threel}, $0<\la<1$, we study first the cohomology group of a group with the unitary group of an abelian {\vna} as a coefficient group and establish a technique to reduce the coefficient group to the torus $\T$ by the Shapiro mechanism based on the groupoid approach. We then show a functorial construction of outer actions of a {\cdag} on an AFD factor of type {\threel}, sharpening the result in \cite{KtT2: \S4}. The periodicity of the flow of weights on a factor $\sM$ of type {\threel} allows us to introduce an equivariant commutative square directly related to the discrete core. But this makes it necessary to introduce an enlarged group $\Aut(\sM)_\txm$ relative to the modulus homomorphism $\txm=\mod: \Aut(\sM)\mapsto \rt'z$. We then discuss the reduced {\mhjr}, which allows us to describe the invariant of outer action $\a$ in a simpler form than the one for a general AFD factor: for example, the cohomology group $\tH_{\txm, \fs}^\out(G, N, \T)$ of modular obstructions is a compact abelian group. Making use of these reductions, we prove the classification result of outer actions of $G$ on an {\AFD} factor $\sM$ of type \threel.
△ Less
Submitted 25 March, 2006;
originally announced March 2006.
-
Outer actions of a countable discrete amenable group on approximately finite dimensional factors I, General Theory
Authors:
Yoshikazu Katayama,
Masamichi Takesaki
Abstract:
We associate a cohomological invariant to each outer action of a group on a factor, and classify them by the invariant in the case that the group is a countable discrete amenable group and the factor is appoximately finite dimensional. The invariant defined for the group Out(M)=Aut(M)/Int(M) is called the intrinsic modular obstruction. The invariant for an outer action alpha is given as the pull…
▽ More
We associate a cohomological invariant to each outer action of a group on a factor, and classify them by the invariant in the case that the group is a countable discrete amenable group and the factor is appoximately finite dimensional. The invariant defined for the group Out(M)=Aut(M)/Int(M) is called the intrinsic modular obstruction. The invariant for an outer action alpha is given as the pull back of the intrinsic modular obstruction, which is called the modular obstruction of alpha and denoted by Ob_m(alpha). This is the first part of the theory and presents general theory. In the case that the factor is not of type III_0, the invariant is substantially simplified. These cases and examples will be discussed in forthcoming paper.
△ Less
Submitted 13 May, 2003; v1 submitted 31 January, 2003;
originally announced January 2003.
