1
$\begingroup$

Let $A_{4,1}$ be a Lie algebra of dimension four such that non-vanishing Lie brackets on $A_{4,1}$ are given by $$[e_2,\, e_4]= e_1, \: [e_3,\, e_4]= e_2.$$ Furthermore, we observe that the Lie algebra $A_{4,1}$ is a three step nilpotent Lie algebra and it admit a three dimensional abelian ideal $\mathfrak{n}$ generated by $\{e_1,\, e_2, e_3\}$ which can be presented as follows $$\mathfrak{n}\simeq\displaystyle\left\{ \begin{pmatrix} x & 0 & 0 \\ 0 & y & 0 \\ 0 & 0 & z \end{pmatrix}, x,\,y,\,z,\,\in \mathbb{R}\displaystyle\right\}.$$ Next, we consider the Lie subalgebra $\mathfrak{h}:=< e_4>$ and thus $\mathfrak{n} \cap \mathfrak{h}=\{0\}$. Therefore the Lie algebra is isomorphic to the semi-direct product $\mathfrak{n} \rtimes_{\varphi} \mathfrak{h}$ with respect to the map \begin{eqnarray*} \varphi \; : \mathfrak{h} &\longrightarrow & \mbox{der}(\mathfrak{n}) \\ e_{4} & \longmapsto & \varphi(e_4) \end{eqnarray*} such that \begin{eqnarray*} \varphi(e_4)(e_1) &=& ad_{e_4}(e_1)=0,\qquad \varphi(e_4)(e_2) = ad_{e_4}(e_2)=-e_{1}\\ \varphi(e_4)(e_3) &=& ad_{e_4}(e_3)=-e_2. \end{eqnarray*} This implies that $\varphi(te_4)=\begin{pmatrix} 0 & -t & 0 \\ 0 & 0 & -t\\ 0 & 0 & 0 \end{pmatrix}$ for some $t \in \mathbb{R}$.

My question is how to express an element in $\mathfrak{n} \rtimes_{\varphi} \mathfrak{h}$ by using matrix. More precisely, if we have a pair of elements $(A,t) \in \mathfrak{n} \rtimes_{\varphi} \mathfrak{h}$ where $A$ is a matrix in $\mathfrak{n}$ which has the form $$\begin{pmatrix} x & 0 & 0 \\ 0 & y & 0\\ 0 & 0 & z \end{pmatrix}$$ for some $x,\,y,\,z \in \mathbb{R}$. How can i represent $(A,t) \in \mathfrak{n} \rtimes_{\varphi} \mathfrak{h}$ as a matrix and how can i express the exponential function $ \exp : \mathfrak{n} \rtimes_{\varphi} \mathfrak{h} \to \mathit{N} \rtimes_{\phi} \mathfrak{h}$ where $Lie (\mathit{N} )= \mathfrak{n}$ and $Lie(\varphi)=\phi$.

I really need the answer of these questions, and i need of your remaks. Thank you!

$\endgroup$

closed as off-topic by მამუკა ჯიბლაძე, abx, Vladimir Dotsenko, YCor, Stefan Kohl May 6 '18 at 15:22

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – მამუკა ჯიბლაძე, abx, Vladimir Dotsenko
If this question can be reworded to fit the rules in the help center, please edit the question.

  • $\begingroup$ An obvious change of basis yields the nonzero brackets $[u_1,u_i]=u_{i+1}$ for $i=2,3$. This yields a grading with $u_i$ of degree $i$, and hence embeds into a 5-dim Lie algebra with an additional element $t$ with $[t,u_i]=iu_i$, with trivial center, so the adjoint action of the latter works. $\endgroup$ – YCor May 6 '18 at 12:02
0
$\begingroup$

If you're looking for a representation of your Lie algebra as an upper-triangular one, I would advice you not to try representing commutator elements (such as $e_1$ and $e_2$) as diagonal matrices. What about $$\begin{pmatrix} 0 & t & 0 & x \\ 0 & 0 & t & y \\ 0 & 0 & 0 & z \\ 0 & 0 & 0 & 0 \end{pmatrix}$$

$\endgroup$
  • $\begingroup$ Are you asking me to solve your homework here? $\endgroup$ – Uri Bader May 6 '18 at 11:22
  • $\begingroup$ No, Uri Bader. I just try to explain to you that i need to understand the process because i must find the solution of other cases. $\endgroup$ – user123423 May 6 '18 at 11:35
  • $\begingroup$ I don't understand your question precisely. I think if you are looking for a higher level understanding or computational method, you should try to formulate a more precise question and post it separately. This site is usually intolerance for questions asking others to make a standard computation. $\endgroup$ – Uri Bader May 6 '18 at 11:43
  • $\begingroup$ I post the situation that i have and i ask how can i trait it. I really research to understand not to make a standard computation. $\endgroup$ – user123423 May 6 '18 at 11:52

Not the answer you're looking for? Browse other questions tagged or ask your own question.