The invariant partial ideal characterization conjecture for CC^*-algebras

Let A\mathcal{A} be a CC^*-algebra. A partial ideal assigns an ideal π(V)\pi(V) to each commutative sub-CC^*-algebra VAV\subseteq\mathcal{A} compatibly with inclusions, and it arises from a total ideal IAI\subseteq\mathcal{A} when π(V)=IV\pi(V)=I\cap V. A partial ideal is invariant when, for every commutative sub-CC^*-algebra VAV\subseteq\mathcal{A} and every unitary uAu\in\mathcal{A},

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

Invariant partial ideal conjecture. A partial ideal of a CC^*-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.

Sources & referencesView supporting material

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.