Skip to main content
Notice removed Authoritative reference needed by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Authoritative reference needed by user56980
Bounty Started worth 50 reputation by user56980
edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
TeX
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Let $\mathfrak{g}$ be a real finite-dimensional Lie algebra, and let $r\in\wedge^2\mathfrak{g}$$r\in\bigwedge^2\mathfrak{g}$ be a solution of the Yang-Baxter equation. The Yang-BaxterYang–Baxter equation states that for all $x\in\mathfrak{g}$, $$\mathrm{ad}_x[r,r]=0,$$$$\operatorname{ad}_x[r,r]=0,$$ where $[r,r]$ represents the Schouten-NijenhuisSchouten–Nijenhuis bracket and the adjoint action $\mathrm{ad}_x$$\operatorname{ad}_x$ is extended to $\wedge^\ast\mathfrak{g}$$\bigwedge^\ast\mathfrak{g}$ as a derivation.

Now, consider a linear map $\delta:\mathfrak{g}\to\wedge^2\mathfrak{g}$$\delta:\mathfrak{g}\to\bigwedge^2\mathfrak{g}$, which is a 1-cocycle, meaning it satisfies the condition $$\delta([x,y])=\mathrm{ad}_x\delta(y)-\mathrm{ad}_y\delta(x).$$$$\delta([x,y])=\operatorname{ad}_x\delta(y)-\operatorname{ad}_y\delta(x).$$

I want to determine the conditions under which the 1-cocycle $\xi=\delta+\mathrm{ad}\,r$$\xi=\delta+\operatorname{ad} r$ defines a Lie bialgebra, i.e., the transpose map $\xi^t:\wedge^2\mathfrak{g}^\ast\to\mathfrak{g}^\ast$$\xi^t:\bigwedge^2\mathfrak{g}^\ast\to\mathfrak{g}^\ast$ defines a Lie bracket on the dual vector space $\mathfrak{g}^\ast$. In particular, is it necessary for $(\mathfrak{g}, \delta)$ to be a Lie bialgebra.?

A particular case I knownknow: if $\delta = \mathrm{ad}\,R$$\delta = \operatorname{ad} R$ is a 1-coboundary with $[R,R]$ ad-invariant, the condition is that the two Poisson tensors associated to $r$ and $R$ have to be compatible, i.e., their Schouten bracket is zero.

Let $\mathfrak{g}$ be a real finite-dimensional Lie algebra, and let $r\in\wedge^2\mathfrak{g}$ be a solution of the Yang-Baxter equation. The Yang-Baxter equation states that for all $x\in\mathfrak{g}$, $$\mathrm{ad}_x[r,r]=0,$$ where $[r,r]$ represents the Schouten-Nijenhuis bracket and the adjoint action $\mathrm{ad}_x$ is extended to $\wedge^\ast\mathfrak{g}$ as a derivation.

Now, consider a linear map $\delta:\mathfrak{g}\to\wedge^2\mathfrak{g}$, which is a 1-cocycle, meaning it satisfies the condition $$\delta([x,y])=\mathrm{ad}_x\delta(y)-\mathrm{ad}_y\delta(x).$$

I want to determine the conditions under which the 1-cocycle $\xi=\delta+\mathrm{ad}\,r$ defines a Lie bialgebra, i.e., the transpose map $\xi^t:\wedge^2\mathfrak{g}^\ast\to\mathfrak{g}^\ast$ defines a Lie bracket on the dual vector space $\mathfrak{g}^\ast$. In particular, is it necessary for $(\mathfrak{g}, \delta)$ to be a Lie bialgebra.

A particular case I known: if $\delta = \mathrm{ad}\,R$ is a 1-coboundary with $[R,R]$ ad-invariant, the condition is that the two Poisson tensors associated to $r$ and $R$ have to be compatible, i.e., their Schouten bracket is zero.

Let $\mathfrak{g}$ be a real finite-dimensional Lie algebra, and let $r\in\bigwedge^2\mathfrak{g}$ be a solution of the Yang-Baxter equation. The Yang–Baxter equation states that for all $x\in\mathfrak{g}$, $$\operatorname{ad}_x[r,r]=0,$$ where $[r,r]$ represents the Schouten–Nijenhuis bracket and the adjoint action $\operatorname{ad}_x$ is extended to $\bigwedge^\ast\mathfrak{g}$ as a derivation.

Now, consider a linear map $\delta:\mathfrak{g}\to\bigwedge^2\mathfrak{g}$, which is a 1-cocycle, meaning it satisfies the condition $$\delta([x,y])=\operatorname{ad}_x\delta(y)-\operatorname{ad}_y\delta(x).$$

I want to determine the conditions under which the 1-cocycle $\xi=\delta+\operatorname{ad} r$ defines a Lie bialgebra, i.e., the transpose map $\xi^t:\bigwedge^2\mathfrak{g}^\ast\to\mathfrak{g}^\ast$ defines a Lie bracket on the dual vector space $\mathfrak{g}^\ast$. In particular, is it necessary for $(\mathfrak{g}, \delta)$ to be a Lie bialgebra?

A particular case I know: if $\delta = \operatorname{ad} R$ is a 1-coboundary with $[R,R]$ ad-invariant, the condition is that the two Poisson tensors associated to $r$ and $R$ have to be compatible, i.e., their Schouten bracket is zero.

Source Link
user56980
  • 442
  • 2
  • 12

Particular Lie bialgebra structure

Let $\mathfrak{g}$ be a real finite-dimensional Lie algebra, and let $r\in\wedge^2\mathfrak{g}$ be a solution of the Yang-Baxter equation. The Yang-Baxter equation states that for all $x\in\mathfrak{g}$, $$\mathrm{ad}_x[r,r]=0,$$ where $[r,r]$ represents the Schouten-Nijenhuis bracket and the adjoint action $\mathrm{ad}_x$ is extended to $\wedge^\ast\mathfrak{g}$ as a derivation.

Now, consider a linear map $\delta:\mathfrak{g}\to\wedge^2\mathfrak{g}$, which is a 1-cocycle, meaning it satisfies the condition $$\delta([x,y])=\mathrm{ad}_x\delta(y)-\mathrm{ad}_y\delta(x).$$

I want to determine the conditions under which the 1-cocycle $\xi=\delta+\mathrm{ad}\,r$ defines a Lie bialgebra, i.e., the transpose map $\xi^t:\wedge^2\mathfrak{g}^\ast\to\mathfrak{g}^\ast$ defines a Lie bracket on the dual vector space $\mathfrak{g}^\ast$. In particular, is it necessary for $(\mathfrak{g}, \delta)$ to be a Lie bialgebra.

A particular case I known: if $\delta = \mathrm{ad}\,R$ is a 1-coboundary with $[R,R]$ ad-invariant, the condition is that the two Poisson tensors associated to $r$ and $R$ have to be compatible, i.e., their Schouten bracket is zero.