Bimodule Structure in Von Neumann Inclusions

• The bimodule structure of von Neumann algebra inclusions is a framework where closed M-bimodules are defined via left and right multiplication using weak* and Bures topologies.
• Methodologies include analyzing crossed product constructions, regular inclusions with twisted products, and spectral synthesis in Cartan MASA pairs.
• Key implications involve extension theorems for module maps, classification of intermediate algebras, and insights into operator algebra invariants.

A von Neumann algebra inclusion $M \subseteq N$ gives rise to a rich structure of bimodules, playing a central role in the analysis of both the relative position of $M$ inside $N$ and the representation-theoretic and cohomological properties of the inclusion. The theory of bimodules over von Neumann algebra inclusions has developed distinct flavors depending on the ambient category: inclusions via crossed products with discrete group actions, regular inclusions of finite factors, Cartan subalgebra pairs, and more general settings such as graph products and finite-index inclusions. Essential to these analyses are the corresponding classification results—describing all $M$-bimodules inside $N$ that are closed in an appropriate topology (weak* or Bures)—and the consequences for extension theorems for module maps, connections to spectral theory, and invariants of operator algebras.

1. Foundational Notions: Bimodules, Topologies, and Crossed Products

Let $M$ be a von Neumann algebra acting on a separable Hilbert space, and $N$ a larger von Neumann algebra containing $M$. An $M$-bimodule $X \subseteq N$ is a linear subspace closed under left and right $M$-multiplication, i.e., $M X M \subseteq X$. Topologies on $N$ relevant for the study of bimodules include:

• The weak* topology (ultraweak), central in von Neumann algebra theory.
• The Bures topology, determined by the seminorms $p_\varphi(x) = \varphi(E(x^*x))^{1/2}$ for $\varphi \in M_*$ and conditional expectation $E:N \to M$.

For $N = M \rtimes_\alpha G$ the crossed product associated to an outer action of a discrete group $G$ by $*$-automorphisms on $M$, every $y\in N$ has a Fourier series $y = \sum_{g\in G} y_g \lambda_g$, with $y_g = E_M(y \lambda_{g^{-1}})$ and $\lambda_g$ the implementing unitaries. In this context, convergence in the Bures topology is fundamental for analysis of subspaces and bimodules (Cameron et al., 2014).

2. Classification of Bimodules in Crossed Product Inclusions

A central structure theorem asserts that the lattice of $M$-bimodules $X$ with $M \subseteq X \subseteq M\rtimes G$, which are closed in the Bures topology (or weak* if $G$ has the approximation property (AP)), is canonically parametrized by subsets of $G$ (Cameron et al., 2014, Cameron et al., 2016). Specifically, for each $S \subseteq G$,

$$X_S = \overline{{\rm span}^{\,B}}\,\{m\lambda_g : m\in M,\ g\in S\}$$

is a Bures-closed $M$-bimodule, and $S\mapsto X_S$ gives a bijection between all subsets of $G$ and all Bures-closed $M$-intermediate bimodules (provided outerness and AP). For crossed products by properly outer actions, Bures-closed and weak* closed $M$-bimodules coincide if $G$ has the Haagerup–Kraus AP (Cameron et al., 2014, Cameron et al., 2016). The analogous result for intermediate von Neumann subalgebras asserts that they correspond to families $\{z_g\}_{g\in G}$ of central projections in $M$ satisfying $z_e=1$, $z_g = \alpha_g(z_{g^{-1}})$, and $z_g z_{gh} = z_g \alpha_g(z_h)$. The intermediate algebra is

$$N = \overline{{\rm span}^{w^*}} \{ M z_g g : g\in G \}$$

with conditional expectation $E_N(x) = \sum_{g\in G} x_g z_g g$ (Cameron et al., 2016).

3. Module Structure in Regular Inclusions of Finite Factors

For a regular inclusion $M \subseteq N$ of II$_1$ factors, "regular" meaning $N$ is generated by the normalizer group $$\mathcal N(M\subset N) = \{ u\in U(N) : u M u^* = M \}$$, the ambient algebra admits a twisted crossed product decomposition $N \simeq Q\rtimes_\omega G$, where $Q=W^*(M, M'\cap N)\cong M\otimes (M'\cap N)$ and $G = \mathcal N(M\subset N)/U(Q)$, with $u_g u_h = \omega(g,h) u_{gh}$ for a suitable $U(Q)$-valued 2-cocycle $\omega$.

Every $x\in N$ admits a Fourier series $x = \sum_{g\in G} x_g u_g$, $x_g = E_Q(x u_g^*)\in Q$, converging in $L^2$ and weak*. If $X$ is a weak*-closed $Q$-bimodule in $N$, for each $g$, the ideal $J_g := Q\cap (X u_g^{-1})$ is weak*-closed in $Q$ and $x_g \in J_g$ (Cameron et al., 2014). The general classification is:

$$X = \overline{{\rm span}^{w^*}} \{ J_g u_g : g\in G \}$$

where any family of weak*-closed ideals $\{J_g\}$ yields such a $Q$-bimodule, and each is determined uniquely in this manner (Cameron et al., 2014).

4. Analytic and Algebraic Frameworks: Bures-topology, Cartan MASAs, and Spectral Synthesis

The Bures topology, generated by seminorms associated to conditional expectations, plays a central role in the structure theory of bimodules. For a Cartan inclusion $(M,D)$ where $D$ is a MASA and $N(M,D)$ the w*-generating normalizer, the lattice of Bures-closed $D$-bimodules is in bijection with projections in the bimodule commutant von Neumann algebra $Z = (\pi_\omega(D) \cup J\pi_\omega(D)J)''$ (Cameron et al., 2012). Each Bures-closed bimodule is determined by its support projection in $Z$, and every intermediate von Neumann algebra containing $D$ is Bures-closed and synthetic (i.e., w*-span of its normalizers and its Bures closure coincide).

These results are further extended via spectral synthesis: every Bures-closed $D$-bimodule in this context arises from a support projection in a maximal abelian subalgebra, and this structure is mirrored in the algebraic approach of inverse semigroup extensions for Cartan pairs, where the lattice of Bures-closed bimodules corresponds to spectral sets in the associated Cartan inverse monoid (Donsig et al., 2014).

5. Extension Theorems and Uniqueness

A core application of the above structure theorems is the extension of module isomorphisms. Generalizing Mercer's theorem for Cartan bimodule algebras, every surjective, w*-continuous, isometric $M$-bimodule map $\phi: X \to X$ on a w*-closed $M$-bimodule $X \subseteq M \rtimes_\alpha G$ extends uniquely to a $*$-automorphism of the von Neumann algebra $W^*(X)$, provided $\phi$ is also an $M$-bimodule map (Cameron et al., 2014, Cameron et al., 2016). An analogous extension result holds for regular inclusions $M\subset N$ of II$_1$ factors: any w*-continuous surjective isometry of a w*-closed $Q$-bimodule generating $N$ (which restricts to a $*$-automorphism of $Q$ fixing $M$) extends uniquely to a $*$-automorphism of $N$ (Cameron et al., 2014). The norming property of $M$ (or a MASA $D$) is decisive in guaranteeing continuity and uniqueness of such extensions (Cameron et al., 2012).

6. Connections to Hilbert Module Theory and Advanced Applications

Hilbert von Neumann bimodules (operator spaces closed under left and right multiplication by two von Neumann algebras) provide the framework for analyzing inclusions via Stinespring dilations, internal tensor products (Connes fusion), and Jones' basic construction for finite-index extensions (Bikram et al., 2011). Bimodule categories encode the operation of induction and restriction for subalgebras as well as the Morita-theoretic picture underpinning $L^2$-invariants and homology. The underlying bimodule and fusion structures generalize in graph product von Neumann algebras, where precise direct sum decompositions for induced-subgraph inclusions reveal the multiplicities and types of standard fusion bimodules as summands, enabling explicit classification of relative amenability and the factor/diffuse/fullness properties (Charlesworth et al., 2024).

Applications include the construction of new singly generated II$_1$ factors via crossed products, with precise control over the Shen invariant $\mathcal G(M)$: for outer actions, $\mathcal G(M\rtimes G)\leq \mathcal G(M)$, so singly generated factors yield singly generated crossed products (Cameron et al., 2014).

7. Summary Table: Classification Mechanisms for Bimodules over Inclusions

Context	Bimodule Parametrization	Reference
Crossed product $M \rtimes G$ (AP)	Subsets $S\subseteq G$ / central projections $\{z_g\}$	(1401.33551606.02327)
Regular inclusion $M \subset N$	Families of w*-closed ideals $\{J_g\}$ in $Q$	(Cameron et al., 2014)
Cartan MASA $(M,D)$	Projections in abelian algebra $Z$	(Cameron et al., 2012)
Inverse semigroup (Cartan)	Spectral sets in Cartan inverse monoid $S$	(Donsig et al., 2014)
Induced subgraphs in graph products	Direct sums of standard fusion bimodules $\mathcal H_U$	(Charlesworth et al., 2024)

These classification results facilitate a comprehensive understanding of the lattice of bimodules arising from von Neumann algebra inclusions and underpin a wide range of extension, synthesis, and analytic results in operator algebra theory.