The invariant partial ideal characterization conjecture for C∗C^*-algebras

About 12 years old · traced to

Let A\mathcal{A} be a C∗C^*-algebra. A partial ideal assigns an ideal π(V)\pi(V) to each commutative sub-C∗C^*-algebra V⊆AV\subseteq\mathcal{A} compatibly with inclusions, and it arises from a total ideal I⊆AI\subseteq\mathcal{A} when π(V)=I∩V\pi(V)=I\cap V. A partial ideal is invariant when, for every commutative sub-C∗C^*-algebra V⊆AV\subseteq\mathcal{A} and every unitary u∈Au\in\mathcal{A},

Ad⁡u(π(V))=π(Ad⁡u(V)).\operatorname{Ad}_u(\pi(V))=\pi(\operatorname{Ad}_u(V)).

Invariant partial ideal conjecture. A partial ideal of a C∗C^*-algebra arises from a total ideal if and only if it is an invariant partial ideal. Consequently, the map I⟼πII\longmapsto\pi_I is a bijective correspondence between total ideals and invariant partial ideals.

This conjecture seeks to characterize exactly which partial ideals are induced by closed two-sided ideals, using invariance under inner automorphisms. The supplied text gives no resolution status.

References

Primary source

Nadish de Silva and Rui Soares Barbosa, “Partial and Total Ideals of Von Neumann Algebras”, arXiv:1408.1172 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.