0
$\begingroup$

Let $G$ be a Poisson–Lie group with Poisson bivector field $\pi$. Let $\pi^{R} \colon G \longrightarrow \bigwedge^2 \mathfrak{g}$ be defined by $$\pi^R (x) = (d_x R_{x^{-1}} \otimes d_x R_{x^{-1}}) \pi (x), \quad x \in G$$ where $R_x \colon G \longrightarrow G$ denotes the right multiplication by $x$. Then it is easy to show that for any $x, y \in G$, $$\pi^R (xy) = \pi^R (x) + (\text {Ad}_x \otimes \text {Ad}_x) \pi^R (y) \,.$$ Let $\delta := d_e \pi^R \colon \mathfrak{g} \longrightarrow \bigwedge^2 \mathfrak{g}$. Then Etingof claimed that $\delta$ satisfies $1$-cocycle condition given by $$\delta ([a,b]) = [\delta (a), b \otimes 1 + 1 \otimes b] + [a \otimes 1 + 1 \otimes a, \delta (b)]$$ for any $a,b \in \mathfrak{g}$. The proof of that is given as follows by the Lemma 2.1 with $\pi^R$ replaced by $\overline{\Pi}$:

enter image description here

Could anyone shed some light on the last equality? I am absolutely clueless as to how did the author reach the desired conclusion. Any help in this regard would be warmly appreciated.

Thanks for your time.

$\endgroup$
5
  • 1
    $\begingroup$ It may be that this is more appropriate for MSE $\endgroup$
    – FShrike
    Commented Dec 14, 2022 at 17:24
  • $\begingroup$ But in MSE nobody ventured to answer my question @FShrike. Could you please help me by letting me know what has been done at last by taking the difference to get the desired equality. Etingof is a bit unclear here. $\endgroup$ Commented Dec 14, 2022 at 17:26
  • $\begingroup$ @FShrike$:$ Please look at here math.stackexchange.com/q/4594130/778190 $\endgroup$ Commented Dec 14, 2022 at 17:29
  • 3
    $\begingroup$ I know none of the theory but the reason that post has no interaction is because it is a picture and two sentences. MSE expects minimal usage of pictures and maximal usage of explanation, thoughts, context: it's hard to shed light when readers don't know why you're in the dark $\endgroup$
    – FShrike
    Commented Dec 14, 2022 at 17:32
  • $\begingroup$ @FShrike$:$ I have clearly mentioned there where I am struggling in. $\endgroup$ Commented Dec 14, 2022 at 17:33

0

You must log in to answer this question.

Browse other questions tagged .