Trivialization Structures for Nondegenerate Cycle Sets

Definitions and mathematical statement

The supplied record combines a cycle-set passage labelled Problem 11 with questions labelled Problems 9 and 10 concerning $L$-algebras. These passages are recorded separately below because the supplied evidence does not determine a single complete formulation.

Let $(X,\circ)$ be a nondegenerate cycle set, as in the supplied source. Its trivialization has the same underlying set $X$ and operation \[ \forall x,y\in X,\qquad x\circ_{\mathrm{tr}}y=y. \] The source denotes structure monoids by $M(X)$ and structure groups by $G(X)$. It claims that bijective identifications between $M(X)$ and $M(X_{\mathrm{tr}})$, and between $G(X)$ and $G(X_{\mathrm{tr}})$, result in a brace structure. This is supplied background, not a conclusion established here. The extracted formula for $M(X_{\mathrm{tr}})$ is corrupted, and the formula involving $\mathbb Z^{|X|}$ for $G(X_{\mathrm{tr}})$ does not specify its meaning for infinite $X$. No finiteness assumption is supplied. The extraction gives no identifiable question completing Problem 11.

The passage labelled Problem 9 asks for a trivialization theory for classes of $L$-algebras: associate an $L$-algebra $X$ with a trivialization $X_{\mathrm{tr}}$, determine relations between \[ S(X)\quad\text{and}\quad S(X_{\mathrm{tr}}), \qquad G(X)\quad\text{and}\quad G(X_{\mathrm{tr}}), \] and determine whether these relations admit a brace-like description. The supplied record does not define the relevant classes, the constructions $S$ and $G$, or the required meaning of a brace-like description.

The passage labelled Problem 10 asks to study the proposed trivialization of an $L$-algebra $X$, on the same underlying set, given by \[ \forall x,y\in X,\qquad x\mathbin{\cdot_{\mathrm{tr}}}y= \begin{cases} e,&x\leq y,\\ y,&x\nleq y. \end{cases} \] Here $e$ and $\leq$ are the element and relation appearing in the supplied formulation. Their definitions and the axioms of an $L$-algebra are not supplied. The source calls the resulting object an $L$-algebra, but the precise hypotheses needed for that assertion are unresolved in this record.

The supplied cleaned statement combines these passages into a request for a trivialization theory for nondegenerate cycle sets, relations involving $S$ and $G$, a brace-like description, and the structure resulting from the displayed $L$-algebra operation. This combination is not justified by the extracted text alone. A complete quantified target requires clarification of the intended problem, its algebraic definitions, and the missing question from Problem 11.

Short English statement

The record describes a trivial cycle-set operation and asks about trivializations of $L$-algebras, their associated algebraic objects, and possible brace-like descriptions. Its extraction mixes Problems 9, 10, and 11 and omits the question belonging to Problem 11, so a single precise problem cannot be recovered without further source clarification.

Sources

• Local UnsolvedMath registry, data/unsolvedmath/problems.json, permanent ID $30005438$, title: Trivialization Structures for Nondegenerate Cycle Sets. Exact source problem code: catalogue entry.
• Supplied report citation: Mini-Workshop: Skew Braces and the Yang--Baxter Equation (2023), Oberwolfach Reports, pp. 537--563, DOI 10.4171/owr/2023/9. Supplied source URL: https://doi.org/10.4171/owr/2023/9. The extraction includes the page marker 547 and labels Problems 11, 9, and 10. No individual proposer is supplied; the proposed year is 2023.
• Supplied literature reference, labelled "original OWR report": https://doi.org/10.4171/owr/2023/9.
• Literature assessment dated exactly 2026-08-22: supplied dated curation, not independently verified here. It states that only the lead-in to Problem 11 is present and its question is omitted; the record therefore assigns the normalized status "open" to an unresolved status. The background explicitly requests independent verification of time-sensitive status and cited claims.
• The supplied statement metadata labels the cleaned formulation corrected_verified and asserts that the official report was checked directly and the complete target preserved. That supplied verification assertion conflicts with the supplied literature assessment and is not independently verified here.