Relative Dixmier Property

• Relative Dixmier property is a framework extending Dixmier’s classical averaging theorem, unifying rigidity phenomena in operator algebras and Poisson geometry.
• It employs compact convex semigroup techniques and minimal idempotent extraction to ensure that unitarily averaged orbits intersect the relative commutant.
• Applications include classification of subfactors, cancellation in Poisson algebras, and rigidity of automorphism groups in involutive algebra settings.

The relative Dixmier property is a generalization and unification of classical rigidity phenomena for endomorphisms and averaging procedures in noncommutative algebra, operator algebra, and Poisson geometry. Originally motivated by Dixmier’s celebrated averaging theorem for von Neumann algebras, the relative version encompasses several variants:

• The weak relative Dixmier property for inclusions of operator algebras, where unitarily averaged orbits intersect the relative commutant,
• Relative Dixmier automorphism properties for algebras with involution or Poisson structure, regulating injectivity and surjectivity of endomorphisms relative to subalgebras, coactions, or tensor extensions. Modern developments center on compact convex semigroup techniques, improved fixed-point theorems, and applications to structural rigidity, cancellation phenomena, and the absence of nontrivial symmetries.

1. Foundational Concepts and Formal Definitions

The relative Dixmier property manifests in several interrelated scenarios:

(a) Weak Relative Dixmier Property for von Neumann Algebra Inclusions

Given an inclusion $M \subset N$ of von Neumann algebras equipped with a faithful normal conditional expectation $E: N \to M$, the inclusion is said to have the weak relative Dixmier property if for every $x \in N$, the weak$^*$-closed convex hull of its $\mathcal{U}(M)$-orbit meets the relative commutant $M'\cap N$: $$\mathcal{C}_x = \overline{ \{ u x u^* \mid u \in \mathcal{U}(M) \} }^{w^*} \cap (M' \cap N) \neq \emptyset.$$ This generalizes the classical Dixmier averaging theorem ($M = N$), which ensures the orbit meets the center of $N$. The relative version requires only intersection with the relative commutant (Marrakchi, 2019).

(b) Relative Dixmier Property for Endomorphisms

In Poisson and noncommutative algebra, let $\mathcal{A}$, $\mathcal{R}$ be classes of Poisson $\Bbbk$-algebras. The pair $(\mathcal{A}, \mathcal{R})$ satisfies the relative Dixmier property if for all $A_1, A_2 \in \mathcal{A}$, $R \in \mathcal{R}$, every injective Poisson algebra morphism

$f: A_1 \to A_2 \otimes R$

has image $\operatorname{im} f = A_2 \otimes \Bbbk$. For $R = \Bbbk$, this recovers the standard Dixmier (bijectivity) property (Huang et al., 26 Jan 2026).

(c) Starred (Relative) Dixmier Property for Involutive Algebras

For an involutive algebra $(A, \alpha)$ (e.g., Weyl algebra with exchange involution), the property asserts that every algebra endomorphism commuting with the involution $\alpha$ is an automorphism—rigidifying the endomorphism structure by symmetries (Valqui et al., 2014).

2. Averaging Mechanisms and Semigroup Machinery

Averaging in operator algebra is formalized via compact convex semigroups of unital completely positive (ucp) maps:

• For $M \subset N$, define the convex semigroup $D(M, N) \subset \operatorname{UCP}(N)$ as the weak$^*$-closed convex hull of all inner automorphisms by unitaries in $\mathcal{U}(M)$: $$D(M, N) = \overline{\mathrm{conv} \{ \operatorname{Ad}(u) : u \in \mathcal{U}(M) \} }^{w^*}.$$
• The minimal idempotent elements within such a semigroup are pivotal. Marrakchi improved Ellis’ classical lemma by showing that for a minimal idempotent $e$, $x e = e = e x$ for all $x$, delivering a two-sided absorbing property (Marrakchi, 2019).

This framework is mirrored in Poisson and algebraic settings, where morphisms and coactions are controlled via invariants (e.g., $u_{\mathrm{good}}$, $u_{\mathrm{firm}}$) and filtration techniques (Huang et al., 26 Jan 2026).

3. Main Results and Theorems

Area	Main Result	Reference
von Neumann algebra inclusion	All inclusions with faithful expectation have weak relative Dixmier property	(Marrakchi, 2019, Isono, 25 Aug 2025)
Poisson algebras	Several tensor products of potential/tori are relatively Dixmier	(Huang et al., 26 Jan 2026)
Weyl algebra, involution	Starred Dixmier: $\alpha$-endomorphisms are automorphisms	(Valqui et al., 2014)

Operator Algebraic Case

Marrakchi’s Theorem (Marrakchi, 2019): If $M \subset N$ admits a faithful normal expectation, then the weak relative Dixmier property holds for $M \subset N$.

Isono’s Extension (Isono, 25 Aug 2025): For inclusions with only a faithful normal semifinite operator-valued weight, every positive $x \in M$ with finite weight satisfies the weak relative Dixmier property.

Poisson and Algebraic Case

Relative Dixmier for Poisson Potentials (Huang et al., 26 Jan 2026): Tensor products of certain isolated-singularity Poisson algebras and simple Poisson tori possess the relative Dixmier property for large classes of Poisson domains.

Starred (Relative) Dixmier in $A_1$ (Valqui et al., 2014): Every $\alpha$-endomorphism is an automorphism, mirroring similar rigidity in the Poisson and commutative Jacobian setting.

4. Structural Consequences and Applications

The relative Dixmier property underpins a variety of rigidity and structural results:

• Classification of Intermediate Subfactors: In crossed product situations, the property facilitates a Galois correspondence by ensuring any intermediate inclusion is accounted for by group structure (Isono, 25 Aug 2025).
• Cancellation Problem: In Poisson geometry, the property ensures that tensoring with appropriate Poisson domains preserves isomorphism classes, preventing “hidden isomorphisms” (Huang et al., 26 Jan 2026).
• Absence of Hidden Symmetries: Involving Hopf coactions or group actions, the relative Dixmier property forces any coaction to be trivial under suitable hypotheses on the acting Hopf algebra (Huang et al., 26 Jan 2026).
• Intertwining and Solidity: For type III von Neumann factors, the weak relative Dixmier property is instrumental in formulating and proving intertwining-by-bimodule criteria and extension of relative solidity theorems (Isono, 25 Aug 2025).
• Automorphism Groups: Finiteness and rigidity of automorphism groups for certain classes of Poisson algebras follow as direct corollaries (Huang et al., 26 Jan 2026).

5. Examples, Counterexamples, and Limitations

Examples

• Tracial von Neumann inclusions: The tracial weak relative Dixmier property follows directly from center-valued trace averaging.
• Simple Poisson tori: Every Poisson endomorphism is an automorphism for uniparameter tori with nondegenerate bracket (Huang et al., 26 Jan 2026).
• Weyl algebra with involution: The starred Dixmier property holds for $A_1(K)$ with exchange involution (Valqui et al., 2014).

Counterexamples and Subtleties

• Failure under localization: The relative Dixmier property can fail for localizations of Poisson algebras; injective non-surjective endomorphisms may exist (Huang et al., 26 Jan 2026).
• Relative vs. absolute: Some algebras are Dixmier but not relatively Dixmier for all base extensions; e.g., rank-2 Poisson torus is not $\Bbbk[t^{\pm1}]$-Dixmier (Huang et al., 26 Jan 2026).

Open Problems

• Strong relative Dixmier property: Whether the convex hull meets the center of the relative commutant remains unresolved in general (Marrakchi, 2019).
• Poisson conjecture: Full Dixmier property for tensor powers of Poisson Weyl algebras $W_n$ is open for $n > 1$ (Huang et al., 26 Jan 2026).
• Bicentralizer problem in type III factors: The weak relative Dixmier property for core-inclusions is equivalent to bicentralizer triviality, a longstanding type III question (Marrakchi, 2019).

6. Broader Significance and Methodological Advances

The extension of the Dixmier property to relative settings achieves several goals:

• Unification: Establishes a common framework underlying averaging theorems, automorphism rigidity, and the absence of hidden symmetry.
• Semigroup-analytic techniques: The use of compact convex semigroups and improved idempotent extraction leverages results from abstract harmonic analysis and topological dynamics (notably Ellis’ lemma and its convex refinements) (Marrakchi, 2019).
• Structural rigidity in representation theory and operator algebras: The relative Dixmier property systematically excludes the existence of exotic endomorphisms and group actions, sharpening the structure theory of noncommutative and Poisson algebras (Huang et al., 26 Jan 2026).

Recent results show the property’s robustness under tensoring for wide classes of algebras and its essential role in transferring finite-dimensional rigidity into infinite-dimensional or noncommutative contexts. The property’s interaction with questions about cancellation, Hopf actions, and intermediate subfactors suggests extensive future reach in algebraic, geometric, and analytical directions.