Centralizer Realization of Cartan Subalgebras in $L^*$-Algebras

Definitions and mathematical statement

For a Lie algebra $L$ and $x\in L$, define the centralizer of $x$ in $L$ by \[ C_L(x):=\{y\in L:[y,x]=0\}. \] An $L^*$-algebra is understood broadly as a Hilbert Lie algebra equipped with an involution compatible with its Hilbert inner product and Lie bracket. The supplied record does not specify the scalar field, the precise involution convention, whether simplicity excludes only closed ideals or all ideals, or the definition of a Cartan subalgebra. These conventions must be recovered from the cited report before the statement can be made fully unambiguous.

With $L^*$-algebra, simplicity, and Cartan subalgebra interpreted according to that report, the question is: for every simple $L^*$-algebra $L$ and every Cartan subalgebra $\mathfrak h\subseteq L$, does there exist $x\in\mathfrak h$ such that \[ \mathfrak h=C_L(x)? \] Equivalently, must there exist $x\in\mathfrak h$ for which \[ \forall y\in L,\qquad [y,x]=0\ \Longleftrightarrow\ y\in\mathfrak h? \] The centralizer here is taken in the whole algebra $L$. No separability or finite-dimensionality hypothesis is supplied; none is added to this draft.

Short English statement

Does every Cartan subalgebra of every simple $L^*$-algebra consist exactly of the elements commuting with some single element of that Cartan subalgebra? The source's conventions for these algebras and their Cartan subalgebras remain to be confirmed.

Sources

• Supplied local UnsolvedMath registry record, permanent ID $30001626$, source problem code catalogue entry, in the Oberwolfach Reports Open Problems collection. No individual proposer is identified; the supplied proposed year is 2010.
• Supplied source citation: Infinite Dimensional Lie Theory (2011), Oberwolfach Reports, pp. 2977--3042, DOI 10.4171/owr/2010/51. Source URL and supplied literature source labeled "original OWR report": https://doi.org/10.4171/owr/2010/51. The supplied background describes this report as documenting workshop discussions and open problems.
• Literature assessment dated 2026-08-21: the supplied curation labels the question open and states that existing classifications of Cartan subalgebras do not establish the centralizer property in general. This is supplied dated curation, not an independently verified literature assessment; its status and cited claims require independent verification.
• The registry labels the statement corrected_verified and reports a manual semantic, typographic, and LaTeX review. These are supplied editorial assertions, not independent mathematical verification of this draft.