Casimir Substitutes for Kac–Moody Enveloping Algebras

Definitions and mathematical statement

Write $L=\mathfrak{k}(A)$ for the Lie algebra intended in the supplied source. Its ground field $K$, the meaning and admissible range of $A$, and the construction of $\mathfrak{k}(A)$ are not specified in the supplied record. For a Lie algebra $L$ over a field $K$, its universal enveloping algebra is \[ U_K(L)=T_K(L)\big/\left\langle x\otimes y-y\otimes x-[x,y]:x,y\in L\right\rangle, \] where $T_K(L)=\bigoplus_{n\geq 0}L^{\otimes_K n}$ is the tensor algebra and the denominator is the two-sided ideal generated by the displayed relations.

The source asks: does there exist an element in $U_K(\mathfrak{k}(A))$, or in a suitable completion of this algebra, that serves as a substitute for the Casimir element?

This is an unresolved formulation rather than a fully specified existence assertion: the supplied record gives no defining properties for a "substitute for the Casimir element," no topology or filtration defining the completion, and no criterion for its suitability. It also does not specify whether the question concerns a particular $A$ or quantifies over a class of $A$. Consequently, the required properties and quantifiers cannot be made precise from the supplied evidence alone.

Short English statement

The question asks whether the enveloping algebra of $\mathfrak{k}(A)$, possibly after completion, contains an element playing the role of a Casimir element. The intended Lie algebra, admissible parameters, completion, and required Casimir-like properties need clarification before this becomes a precise mathematical existence problem.

Sources

• Local UnsolvedMath registry: supplied complete record for permanent ID $30006125$, source problem code catalogue entry, titled "Casimir Substitutes for Kac--Moody Enveloping Algebras," in the Oberwolfach Reports Open Problems collection. No individual proposer is supplied; the proposed year is recorded as 2024.
• Supplied report citation: Mini-Workshop: Infinite-Dimensional Kac-Moody Lie Algebras in Supergravity and M Theory (2025), Oberwolfach Reports, pp. 3055--3102, DOI 10.4171/owr/2024/53. https://doi.org/10.4171/owr/2024/53. This is report-level provenance; no exact problem page or named speaker is supplied.
• Supplied literature source, labeled "Kac--Moody OWR report": https://oa.tib.eu/renate/bitstreams/67fd7081-be76-40fb-956b-4f1194e2f4f8/download.
• Literature assessment dated exactly 2026-08-22: the supplied curation labels the question open and states that the report explicitly raises it, with no authoritative resolution found. This is supplied dated curation, not an independently verified literature assessment. The background explicitly requests independent verification of time-sensitive status and cited claims.
• The supplied registry labels the statement corrected_verified and reports that the official report was checked, the question isolated, and its notation repaired. These are supplied verification claims; no source visit or independent verification is asserted here.