1
$\begingroup$

I have a question about decomposing elements in $SL_2$ as a pair of elements in $SL_2^*$. Here $SL_2^*$ is the dual Poisson Lie group of $SL_2$ which is defined as follows.

Let $G$ be a Poisson-Lie group and $\mathfrak{g}$ its Lie algebra. Let $\langle \cdot, \cdot \rangle$ be the Killing form of on $\mathfrak{g}$. It is defined by \begin{align*} \langle x, y \rangle = \text{tr}(ad(x)ad(y)), \end{align*} where $x, y \in \mathfrak{g}$.

Let $\pi_{>0}$, $\pi_{<0}$ be projections of $\mathfrak{g}$ onto subalgebras spanned by positive and negative roots, $\pi_0$ be the projection onto the Cartan subalgebra $\mathfrak{h}$, and let $R = \pi_{>0} - \pi_{<0}$.

The double of $\mathfrak{g}$ is defined as $D(\mathfrak{g}) = \mathfrak{g} \oplus \mathfrak{g}$ which is equipped with an invariant non-degenerate bilinear form \begin{align} \langle \langle (\xi, \eta), (\xi', \eta') \rangle \rangle = \langle \xi, \xi' \rangle - \langle \eta, \eta' \rangle. \label{eq: bilinear form on Drinfeld double} \end{align} Define subalgebras $\mathfrak{d}_{\pm}$ of $D(\mathfrak{g})$ by $\mathfrak{d}_+ = \{ (\xi, \xi): \xi \in \mathfrak{g} \}$ and $\mathfrak{d}_- = \{ (R_+(\xi), R_-(\xi)): \xi \in \mathfrak{g} \}$, where $R_{\pm} \in \text{End}(\mathfrak{g})$ is given by $R_{\pm} = \frac{1}{2}(R \pm id)$. The Drinfeld double of $G$ is $D(G)=G \times G$.

The diagonal subgroup $\{(X,X): X \in G\}$ is a Poisson-Lie subgroup of $D(G)$ naturally isomorphic to $G$. The Lie algebra of $\{(X,X): X \in G\}$ is $\mathfrak{d}_+$.

The group $G^*$ whose Lie algebra is $\mathfrak{d}_-$ is a Poisson-Lie subgroup of $D(G)$ called the dual Poisson-Lie group of $G$.

In the case of $SL_2$, we have \begin{align*} G=\{ \left( \left( \begin{matrix} a & b \\ c & d \end{matrix} \right), \left( \begin{matrix} a & b \\ c & d \end{matrix} \right) \right): a,b,c,d \in \mathbb{C}, ad-bc=1 \} \end{align*} \begin{align} SL_2^*=G^* = \{ \left( \left( \begin{matrix} x & y \\ 0 & x^{-1} \end{matrix} \right), \left( \begin{matrix} x^{-1} & 0 \\ z & x \end{matrix} \right) \right): x \in \mathbb{C}^*, y, z \in \mathbb{C} \}. \end{align}

Generic elements $x\in SL_2$ can be decomposed as $x=x_+\cdot x_-^{-1}$, $(x_+,x_-) \in SL_2^*$.

Let \begin{align*} x = \left(\begin{array}{cc} a & b\\ c & d \end{array}\right). \end{align*}

The decomposition which satisfies $diag(x_+) \cdot diag(x_-) = 1$ and $x=x_+ \cdot x_-^{-1}$, $(x_+, x_-) \in SL_2^*$, is \begin{align} & x_+ = \left(\begin{array}{cc} \frac{1}{\sqrt{d}} & \frac{b}{\sqrt{d}}\\ 0 & \sqrt{d} \end{array}\right),\\ & x_- = \left(\begin{array}{cc} \sqrt{d} & 0\\ - \frac{c}{\sqrt{d}} & \frac{1}{\sqrt{d}} \end{array}\right). \end{align} But there are elements in $x_+, x_-$ which involve the square root of $d$. Are there some mistakes in my computations? Thank you very much.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.