Weak Dixmier Approximation Theorem

• Weak Dixmier Approximation Theorem is an averaging principle in operator algebras where convex combinations of unitary conjugates converge to central or relatively central elements.
• The theorem’s relative form employs conditional expectations and ucp maps to drive elements toward the relative commutant in von Neumann inclusions.
• In C*-algebra settings, associated concepts like Dixmier and Magajna sets link trace conditions with uniform finite averaging techniques for central approximations.

The weak Dixmier approximation theorem is a family of averaging principles in operator algebras asserting that an element can be driven, by convex combinations of unitary conjugates or related unital completely positive averages, toward central data. In the von Neumann algebra setting, the classical form says that the convex hull of the unitary orbit of an element meets the center; in finite factors, the target is the scalar trace. Relative versions replace the center by a relative commutant for an inclusion $N\subset M$. In $C^*$-algebra theory, closely related results are typically formulated through Dixmier sets, weak centrality, local averaging criteria, and uniform finite averaging estimates rather than under a single universal title (Marrakchi, 2019, Ozawa, 2013, Archbold et al., 2016).

1. Classical formulation and the meaning of “weak”

For a von Neumann algebra $M$, the classical Dixmier phenomenon concerns the unitary orbit

$\{uxu^*:u\in \mathcal U(M)\}$

of an element $x\in M$. In the weak form recalled in the relative literature, one asks that

$$\overline{\operatorname{co}^{\,w^*}\bigl(\{uxu^*:u\in\mathcal U(M)\}\bigr)}\cap Z(M)\neq \varnothing,$$

where $Z(M)=M'\cap M$ is the center. This is the absolute case $N=M$ of the relative formulation. In a finite factor $(\mathcal M,\tau)$, the conclusion specializes to the scalar trace: $$\tau(X)I \in \overline{\operatorname{conv}\{U^*XU : U\in \mathcal U(\mathcal M)\}}.$$ The closure depends on the ambient formulation: in finite von Neumann algebras and factors one often uses norm closure for self-adjoint elements, while weak-operator or ultraweak closure also appears in general formulations (Marrakchi, 2019, Wen et al., 2023).

The adjective “weak” does not have a completely uniform role across the literature. In the relative von Neumann algebra setting, it refers to weak$C^*$0 or $C^*$1-weak closure of the convex hull. In $C^*$2-algebra theory, the closest analogues are frequently norm-closed Dixmier sets

$C^*$3

together with exact or approximate intersection with the center. This difference in formulation is part of the reason the phrase “weak Dixmier approximation theorem” functions more as a thematic label than as a single canonical theorem across all operator-algebraic settings (Archbold et al., 2021, Archbold et al., 2016).

2. Relative weak Dixmier approximation for inclusions of von Neumann algebras

For an inclusion $C^*$4 of von Neumann algebras, Popa’s weak relative Dixmier property requires that for every $C^*$5,

$C^*$6

Here the averaging unitaries come only from $C^*$7, and the limiting object lies in the relative commutant $C^*$8. Marrakchi proved that every inclusion of von Neumann algebras with faithful normal conditional expectation has this property. Equivalently, if $C^*$9 is faithful normal, then $M$0 has the weak relative Dixmier property (Marrakchi, 2019).

A central structural reformulation uses the weak$M$1-closed convex semigroup

$M$2

generated by the inner automorphisms $M$3, $M$4. The fixed-point algebra of this semigroup is

$M$5

and the inclusion $M$6 has the weak relative Dixmier property if and only if $M$7 contains a conditional expectation onto $M$8. This is stronger than a pointwise intersection statement, because a single map $M$9 then sends every $\{uxu^*:u\in \mathcal U(M)\}$0 into $\{uxu^*:u\in \mathcal U(M)\}$1 (Marrakchi, 2019).

The proof uses compact convex semigroups of ucp maps and an improvement of Ellis’ lemma. For a compact convex semigroup $\{uxu^*:u\in \mathcal U(M)\}$2, every minimal idempotent $\{uxu^*:u\in \mathcal U(M)\}$3 satisfies

$\{uxu^*:u\in \mathcal U(M)\}$4

Applied to $\{uxu^*:u\in \mathcal U(M)\}$5, this rigidity shows that a faithful minimal idempotent is automatically a conditional expectation onto the fixed-point algebra. The difficult case is when $\{uxu^*:u\in \mathcal U(M)\}$6 is a type $\{uxu^*:u\in \mathcal U(M)\}$7 factor. There the key lemma states that for a faithful normal state $\{uxu^*:u\in \mathcal U(M)\}$8 on $\{uxu^*:u\in \mathcal U(M)\}$9,

$x\in M$0

with $x\in M$1 viewed as the ucp map $x\in M$2. The construction uses an irreducible AFD type $x\in M$3 subfactor with expectation together with Connes–Størmer transitivity (Marrakchi, 2019).

The theorem pinpoints the expectation hypothesis as decisive. Without expectation, the relative property can fail: $x\in M$4 has the weak relative Dixmier property if and only if $x\in M$5 is AFD, and for a type $x\in M$6 factor $x\in M$7, the inclusion of its continuous core has the weak relative Dixmier property if and only if $x\in M$8 has trivial bicentralizer. It was already elementary when $x\in M$9 is tracial or when there exists a faithful normal state $$\overline{\operatorname{co}^{\,w^*}\bigl(\{uxu^*:u\in\mathcal U(M)\}\bigr)}\cap Z(M)\neq \varnothing,$$0 with $$\overline{\operatorname{co}^{\,w^*}\bigl(\{uxu^*:u\in\mathcal U(M)\}\bigr)}\cap Z(M)\neq \varnothing,$$1, but Marrakchi’s theorem shows that the full expected case is always covered (Marrakchi, 2019).

3. Local $$\overline{\operatorname{co}^{\,w^*}\bigl(\{uxu^*:u\in\mathcal U(M)\}\bigr)}\cap Z(M)\neq \varnothing,$$2-algebraic variants: Dixmier sets, Magajna sets, and quotient criteria

For a unital $$\overline{\operatorname{co}^{\,w^*}\bigl(\{uxu^*:u\in\mathcal U(M)\}\bigr)}\cap Z(M)\neq \varnothing,$$3-algebra $$\overline{\operatorname{co}^{\,w^*}\bigl(\{uxu^*:u\in\mathcal U(M)\}\bigr)}\cap Z(M)\neq \varnothing,$$4, a unitary mixing operator is a map

$$\overline{\operatorname{co}^{\,w^*}\bigl(\{uxu^*:u\in\mathcal U(M)\}\bigr)}\cap Z(M)\neq \varnothing,$$5

with $$\overline{\operatorname{co}^{\,w^*}\bigl(\{uxu^*:u\in\mathcal U(M)\}\bigr)}\cap Z(M)\neq \varnothing,$$6, $$\overline{\operatorname{co}^{\,w^*}\bigl(\{uxu^*:u\in\mathcal U(M)\}\bigr)}\cap Z(M)\neq \varnothing,$$7, and $$\overline{\operatorname{co}^{\,w^*}\bigl(\{uxu^*:u\in\mathcal U(M)\}\bigr)}\cap Z(M)\neq \varnothing,$$8. The associated Dixmier set of $$\overline{\operatorname{co}^{\,w^*}\bigl(\{uxu^*:u\in\mathcal U(M)\}\bigr)}\cap Z(M)\neq \varnothing,$$9 is

$Z(M)=M'\cap M$0

the norm-closed convex hull of the unitary orbit. The algebra $Z(M)=M'\cap M$1 has the Dixmier property exactly when

$Z(M)=M'\cap M$2

The local theory isolates individual elements: $Z(M)=M'\cap M$3 is a Dixmier element if $Z(M)=M'\cap M$4, and $Z(M)=M'\cap M$5 belongs to the approximate class $Z(M)=M'\cap M$6 if $Z(M)=M'\cap M$7 (Archbold et al., 2021).

A parallel weak-centrality theory replaces unitary mixing by unital completely positive elementary operators

$Z(M)=M'\cap M$8

The corresponding Magajna set

$Z(M)=M'\cap M$9

gives the local weak-centrality classes $N=M$0 and $N=M$1. Since every unitary mixing operator is a unital completely positive elementary operator,

$N=M$2

hence

$N=M$3

The paper emphasizes that exact central averaging and mere distance zero need not coincide for general elements, although they do coincide for selfadjoint ones (Archbold et al., 2021).

The geometric object controlling this theory is the multifunction

$N=M$4

built from quotient numerical ranges. For Magajna averaging, a central element $N=M$5 lies in $N=M$6 exactly when $N=M$7 for all $N=M$8. Theorem 3.3 states that for $N=M$9,

$(\mathcal M,\tau)$0

where $(\mathcal M,\tau)$1 is $(\mathcal M,\tau)$2, $(\mathcal M,\tau)$3 is $(\mathcal M,\tau)$4, and $(\mathcal M,\tau)$5 is $(\mathcal M,\tau)$6 for all $(\mathcal M,\tau)$7; if $(\mathcal M,\tau)$8 is selfadjoint, then all three are equivalent (Archbold et al., 2021).

For genuine Dixmier averaging, traces enter. If

$(\mathcal M,\tau)$9

then Proposition 4.2 characterizes exact central values $$\tau(X)I \in \overline{\operatorname{conv}\{U^*XU : U\in \mathcal U(\mathcal M)\}}.$$0 by the simultaneous conditions

$$\tau(X)I \in \overline{\operatorname{conv}\{U^*XU : U\in \mathcal U(\mathcal M)\}}.$$1

and

$$\tau(X)I \in \overline{\operatorname{conv}\{U^*XU : U\in \mathcal U(\mathcal M)\}}.$$2

Theorem 4.4 gives the approximate version: $$\tau(X)I \in \overline{\operatorname{conv}\{U^*XU : U\in \mathcal U(\mathcal M)\}}.$$3 if and only if the tracial value function exists on $$\tau(X)I \in \overline{\operatorname{conv}\{U^*XU : U\in \mathcal U(\mathcal M)\}}.$$4, lies in $$\tau(X)I \in \overline{\operatorname{conv}\{U^*XU : U\in \mathcal U(\mathcal M)\}}.$$5 there, and $$\tau(X)I \in \overline{\operatorname{conv}\{U^*XU : U\in \mathcal U(\mathcal M)\}}.$$6 on $$\tau(X)I \in \overline{\operatorname{conv}\{U^*XU : U\in \mathcal U(\mathcal M)\}}.$$7. Again, if $$\tau(X)I \in \overline{\operatorname{conv}\{U^*XU : U\in \mathcal U(\mathcal M)\}}.$$8 is selfadjoint, approximate and exact central averaging coincide. This is one of the sharpest elementwise formulations of weak Dixmier-type approximation in the $$\tau(X)I \in \overline{\operatorname{conv}\{U^*XU : U\in \mathcal U(\mathcal M)\}}.$$9-setting (Archbold et al., 2021).

4. Traces, weak centrality, QTS, and uniform averaging

A global characterization of the Dixmier property for unital $C^*$00-algebras states that $C^*$01 has the Dixmier property if and only if it is weakly central and satisfies specific tracial conditions on maximal quotients. More precisely, weak centrality means that the map

$C^*$02

is injective, and the tracial conditions require quotientwise uniqueness and factorization behavior for tracial states. When $C^*$03 has the singleton Dixmier property, there is a unique center-valued trace $C^*$04 and

$C^*$05

The same work gives a distance formula: $C^*$06 is the minimum $C^*$07 such that $C^*$08 for all tracial states and

$C^*$09

for all maximal ideals $C^*$10. This makes the geometry of Dixmier approximation explicitly trace- and quotient-controlled (Archbold et al., 2016).

The uniform Dixmier property strengthens existence to uniform finite averaging. It requires that for every $C^*$11 there exists $C^*$12 such that for all $C^*$13 one can choose unitaries $C^*$14 with

$C^*$15

Equivalently, there exist constants $C^*$16, with $C^*$17 and $C^*$18, such that for every self-adjoint $C^*$19,

$C^*$20

for some central $C^*$21. Von Neumann algebras satisfy this uniform property, but not all $C^*$22-algebras with the Dixmier property do. The literature also supplies broad sufficient conditions, such as finite radius of comparison-by-traces (Archbold et al., 2016).

Ozawa’s trace-sensitive theorem provides a complementary form of weak Dixmier approximation. For a unital $C^*$23-algebra $C^*$24, the following are equivalent: $C^*$25 has the QTS property, meaning every non-zero quotient of $C^*$26 has a tracial state; and for every $C^*$27 and $C^*$28 with

$C^*$29

there are $C^*$30 such that

$C^*$31

In particular, if $C^*$32 for all $C^*$33, then

$C^*$34

If $C^*$35 has a unique tracial state $C^*$36, applying this to $C^*$37 yields the scalar weak Dixmier conclusion

$C^*$38

Under nuclearity, QTS is equivalent to symmetric amenability, so the trace-controlled averaging property is tied to a global homological regularity condition (Ozawa, 2013).

5. Exact finite averaging in type $C^*$39 factors

In type $C^*$40 factors, the weak Dixmier approximation phenomenon admits a sharp exact strengthening. Given a type $C^*$41 factor $C^*$42 and finitely many operators $C^*$43, there exist mutually orthogonal nonzero projections $C^*$44 such that

$C^*$45

for all $C^*$46 and all $C^*$47. Equivalently, there exists a unitary $C^*$48 such that

$C^*$49

This is strictly stronger than weak Dixmier approximation: it gives exact equality instead of approximation, uses a single finite cyclic average, and works simultaneously for a finite family (Wen et al., 2023).

The proof reduces to the self-adjoint trace-zero case, treats the two-variable case by block decompositions, and then proceeds by induction. Its structural ingredients are the factor property, the diffuse trace, maximal abelian subalgebras, polar decomposition, and repeated reduction to balanced $C^*$50 and $C^*$51 block forms. A key splitting lemma states that if $C^*$52, then $C^*$53 and $C^*$54 can be split into equal-trace halves

$C^*$55

with

$C^*$56

This allows the off-diagonal structure to be arranged so that exact blockwise trace cancellation becomes possible (Wen et al., 2023).

The applications show how far exact finite averaging goes beyond mere approximation. Every trace-zero element in a type $C^*$57 factor is a single commutator, every self-adjoint trace-zero element is a single self-commutator, every self-adjoint element is a linear combination of $C^*$58 projections, and every operator in a finite factor decomposes as

$C^*$59

with $C^*$60 normal and $C^*$61 nilpotent. These consequences depend on exact elimination of diagonal blocks, not on asymptotic convex-hull arguments (Wen et al., 2023).

6. Operator-valued weights, type $C^*$62 subfactors, and the modern relative theory

A further extension replaces conditional expectations by faithful normal semifinite operator-valued weights. If

$C^*$63

is an inclusion of von Neumann algebras with faithful normal semifinite operator-valued weight

$C^*$64

then every positive element $C^*$65 with $C^*$66 satisfies

$C^*$67

Writing

$C^*$68

the stronger statement is that there exists a single ucp map

$C^*$69

such that

$C^*$70

When $C^*$71 is a faithful normal conditional expectation, $C^*$72, so Marrakchi’s theorem is recovered (Isono, 25 Aug 2025).

The proof separates semifinite and type $C^*$73 parts. In the semifinite case, one uses a faithful normal semifinite invariant weight and an $C^*$74-minimization argument on a weakly closed convex hull. In the type $C^*$75 case, the core mechanism is different: the $C^*$76-finite algebra $C^*$77 is shown to be stable under averaging, minimal idempotents in the weak Dixmier semigroup are combined with a Choi–Effros product argument, and a rigidity computation forces the image algebra into the relative commutant. A decisive estimate is the operator-valued-weight inequality

$C^*$78

for $C^*$79 and $C^*$80, which ensures that averaging preserves the integrable domain (Isono, 25 Aug 2025).

This operator-valued-weight version is especially significant in type $C^*$81 theory. Applied inside the basic construction $C^*$82, it produces nonzero elements in relative commutants that remain finite for the canonical operator-valued weight, and this is the averaging step needed for a type $C^*$83 reformulation of Popa’s intertwining criterion without tracial assumptions. The same work applies the theorem to an extension of Ozawa’s relative solidity theorem to the type $C^*$84 setting and to a Galois-type correspondence for crossed products by totally disconnected groups (Isono, 25 Aug 2025).

Across these forms, the weak Dixmier approximation theorem is best understood not as a single isolated statement but as an organizing principle: central or relatively central information is extracted from an element by averaging its unitary orbit, with the relevant closure, target algebra, and admissible averaging operators determined by the ambient category—finite factor, general von Neumann inclusion, unital $C^*$85-algebra, or operator-valued-weight setting. The modern theory shows that the decisive obstructions are tracial data, quotient numerical ranges, and the presence or absence of conditional expectations or operator-valued weights (Marrakchi, 2019, Archbold et al., 2021, Archbold et al., 2016, Ozawa, 2013, Isono, 25 Aug 2025).