Strict outerness versus trivial bicentralizer for amenable group actions

Establish whether every faithful trace-preserving action of an amenable locally compact group on a II_1 factor has trivial bicentralizer if and only if it is strictly outer, namely whether $(M,\alpha)=\mathbb C1$ and faithfulness are equivalent to $M'\cap(M\rtimes_\alpha G)=\mathbb C1$.

Background

The paper defines the bicentralizer (M,α)(M,\alpha) of a continuous trace-preserving action α:GM\alpha:G\curvearrowright M on a tracial von Neumann algebra by asymptotic commutation with bounded nets that are uniformly almost invariant on compact subsets of GG. Triviality of this algebra is proposed as an analogue of the classical bicentralizer condition for type III factors.

For amenable groups, strict outerness is expressed by the triviality of the relative commutant in the crossed product, M(MαG)=C1M'\cap(M\rtimes_\alpha G)=\mathbb C1. The paper proves substantial special cases, including discrete groups and groups with a compact open subgroup, but leaves the general connected, noncompact case unresolved.

References

We formulate two conjectures highlighting the importance of the bicentralizer for the classification of actions of amenable groups on injective factors.

The classification of flows on $\mathrm{II}_1$ factors and Connes' bicentralizer problem  (2609.11462 - Houdayer et al., 10 Sep 2026) in Section 1, subsection “A bicentralizer theory for trace-preserving actions,” Conjecture A (labeled Conjecture \ref{letterconj trivial bicentralizer})

We formulate two conjectures highlighting the importance of the bicentralizer for the classification of actions of amenable groups on injective factors.

The classification of flows on $\mathrm{II}_1$ factors and Connes' bicentralizer problem  (2609.11462 - Houdayer et al., 10 Sep 2026) in Section 1, subsection “A bicentralizer theory for trace-preserving actions,” Conjecture B (labeled Conjecture \ref{letterconj classification})