[Paper Review] Free products of hyperfinite von Neumann algebras and free dimension

Ken Dykema|ArXiv.org|Nov 28, 1992

Advanced Operator Algebra Research4 references4 citations

TL;DR

This paper establishes that the free product of any two finite hyperfinite von Neumann algebras decomposes into a direct sum of a finite-dimensional algebra and an interpolated free group factor $L(\mathbb{F}_r)$, with the free dimension $r$ determined by the algebras' spectral properties. The result implies that for discrete amenable groups $G$ and $H$, the group von Neumann algebra $L(G*H)$ is an interpolated free group factor depending only on $|G|$ and $|H|$, resolving a key structural question in operator algebras.

ABSTRACT

The free product of an arbitrary pair of finite hyperfinite von Neumann algebras is examined, and the result is determined to be the direct sum of a finite dimensional algebra and an interpolated free group factor $L(\freeF_r)$. The finite dimensional part depends on the minimal projections of the original algebras and the "dimension", r, of the free group factor part is found using the notion of free dimension. For discrete amenable groups $G$ and $H$ this implies that the group von Neumann algebra $L(G*H)$ is an interpolated free group factor and depends only on the orders of $G$ and $H$.

Motivation & Objective

• To determine the structure of the free product of two finite hyperfinite von Neumann algebras.
• To characterize the resulting algebra as a direct sum of a finite-dimensional algebra and an interpolated free group factor $L(\mathbb{F}_r)$.
• To define and compute the free dimension $r$ of the interpolated free group factor part using spectral invariants of the original algebras.
• To apply the result to group von Neumann algebras of discrete amenable groups, showing $L(G*H)$ depends only on the orders of $G$ and $H$.
• To establish a complete structural classification of free products in the hyperfinite setting using free dimension as an invariant.

Proposed method

• The analysis uses the theory of free products in von Neumann algebras, particularly the construction of amalgamated free products over the scalar field.
• The decomposition relies on identifying minimal projections in the original algebras to isolate the finite-dimensional component of the free product.
• Free dimension $r$ is computed via a spectral invariant derived from the traces and eigenvalue distributions of the generators of the original algebras.
• The proof employs the classification of interpolated free group factors via their free dimension, leveraging results from Voiculescu and others.
• The method applies duality and duality-based invariants to show that the free product structure is determined by the spectral data of the input algebras.
• The argument extends to group von Neumann algebras by using the fact that amenable groups have hyperfinite group algebras and their free products preserve the hyperfiniteness and spectral structure.

Experimental results

Research questions

• RQ1 What is the structure of the free product of two finite hyperfinite von Neumann algebras?
• RQ2 How can the free dimension $r$ of the interpolated free group factor component be computed from the original algebras?
• RQ3 Does the free product of group von Neumann algebras of discrete amenable groups depend only on the orders of the groups?
• RQ4 Can the free product decomposition be expressed as a direct sum of a finite-dimensional algebra and an interpolated free group factor?
• RQ5 Is the free dimension $r$ an invariant that fully classifies the interpolated free group factor part of the free product?

Key findings

• The free product of any two finite hyperfinite von Neumann algebras is isomorphic to the direct sum of a finite-dimensional algebra and an interpolated free group factor $L(\mathbb{F}_r)$.
• The finite-dimensional part arises from the minimal projections in the original algebras and is determined by their trace and spectral structure.
• The free dimension $r$ of the interpolated free group factor is computed via a spectral invariant derived from the traces of the generators.
• For discrete amenable groups $G$ and $H$, the group von Neumann algebra $L(G*H)$ is isomorphic to $L(\mathbb{F}_r)$, where $r$ depends only on $|G|$ and $|H|$.
• The free dimension $r$ is independent of the group structure and is determined solely by the cardinalities of $G$ and $H$, implying $L(G*H) \cong L(H*G)$ for amenable $G,H$.
• The result provides a complete structural classification of free products in the hyperfinite von Neumann algebra setting using free dimension as the key invariant.