Necessity conjecture for the CYBE solutions in the constructed ansatz

Let Ψi(u)\Psi^i(u) and Θi(u)\Theta^i(u), i=1,,ni=1,\ldots,n, be the formal Laurent series or smooth functions occurring in the theorem, and let α,βR\alpha,\beta\in{\mathbb R}. Define

φij(u,v)=Θi(u)Ψj(v)Θj(v)Ψi(u).\varphi^{ij}(u,v)=\Theta^i(u)\Psi^j(v)-\Theta^j(v)\Psi^i(u).

The theorem gives a sufficient condition for φij(u,v)\varphi^{ij}(u,v) to solve the classical Yang–Baxter equation, namely

Ψs(u)Θi(u)usΘs(u)Ψi(u)us=αΘi(u)+βΨi(u),i=1,,n.\Psi^s(u)\frac{\partial\Theta^i(u)}{\partial u^s}-\Theta^s(u)\frac{\partial\Psi^i(u)}{\partial u^s}=\alpha\Theta^i(u)+\beta\Psi^i(u),\quad i=1,\ldots,n.

Necessity conjecture. All solutions of the classical Yang–Baxter equation are described by the preceding ansatz and differential-equation condition. The statement is presented as the necessity part of the preceding sufficient-condition theorem; the source supplies no evidence resolving it.

Sources & referencesView supporting material

Primary source

Ognyan S. Stoyanov, “Poisson Diffeomorphism Groups”, arXiv:math/0012042 (2000).

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.