---
title: Relative Dixmier Property
url: https://www.emergentmind.com/topics/relative-dixmier-property
type: topic
---

# Relative Dixmier Property

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 [1907.00615]. 

### (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 [2601.18249].

### (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 [1401.5141].

## 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 [1907.00615].

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 [2601.18249].

## 3. Main Results and Theorems

| Area                            | Main Result                                                | Reference      |
|----------------------------------|------------------------------------------------------------|---------------|
| von Neumann algebra inclusion    | All inclusions with faithful expectation have weak relative Dixmier property | [1907.00615], [2508.17592] |
| Poisson algebras                | Several tensor products of potential/tori are relatively Dixmier | [2601.18249] |
| Weyl algebra, involution         | Starred Dixmier: \(\alpha\)-endomorphisms are automorphisms | [1401.5141]   |

### Operator Algebraic Case

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

**Isono’s Extension ([2508.17592])**: 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 ([2601.18249])**: 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\) ([1401.5141])**: 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 [2508.17592].
- **Cancellation Problem:** In Poisson geometry, the property ensures that tensoring with appropriate Poisson domains preserves isomorphism classes, preventing “hidden isomorphisms” [2601.18249].
- **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 [2601.18249].
- **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 [2508.17592].
- **Automorphism Groups:** Finiteness and rigidity of automorphism groups for certain classes of Poisson algebras follow as direct corollaries [2601.18249].

## 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 [2601.18249].
- **Weyl algebra with involution:** The starred Dixmier property holds for \(A_1(K)\) with exchange involution [1401.5141].

### Counterexamples and Subtleties
- **Failure under localization:** The relative Dixmier property can fail for localizations of Poisson algebras; injective non-surjective endomorphisms may exist [2601.18249].
- **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 [2601.18249].

### Open Problems
- **Strong relative Dixmier property:** Whether the convex hull meets the *center* of the relative commutant remains unresolved in general [1907.00615].
- **Poisson conjecture:** Full Dixmier property for tensor powers of Poisson Weyl algebras \( W_n \) is open for \( n > 1 \) [2601.18249].
- **Bicentralizer problem in type III factors:** The weak relative Dixmier property for core-inclusions is equivalent to bicentralizer triviality, a longstanding type III question [1907.00615].

## 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) [1907.00615].
- **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 [2601.18249].

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.

Source: https://www.emergentmind.com/topics/relative-dixmier-property