Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

To find the Lie algebra of the Heisenberg group $H$, which we know to consist of upper triangular matrices, we see that exponentials of all strictly upper triangular matrices are in $H$. I do not get the following could you explain?

"On the other hand if $X$ is any matrix such that $e^{tX}$ is upper triangular, then all the entries of $X=\frac{d}{dt}|_{t=0}e^{tX}$ which are on or below diagonal must be zero so that $X$ is upper triangular"

Thus the Lie algebra of the Heisenberg group is the space of all $3\times 3$ real matrices which are strictly upper triangular.

share|cite|improve this question
If possible, it would help if you could correct the English. As it stands, I get the impression that you're not using the usual definition of the Heisenberg group, in which the matrices have $1$s on the diagonal, but that may be an artefact of the missing articles and lack of subject/verb number congruence. – joriki Sep 18 '12 at 9:06
I've attempted to correct the English (please check if it preserved the intented meaning). Indeed a mention of entries $1$ on the diagonal still seems missing. – Marc van Leeuwen Sep 18 '12 at 9:48
up vote 6 down vote accepted

Suppose you know that $e^{tX}$ is in the Heisenberg group for all $t$. Then this means that

$$e^{tX} = \left(\begin{array}{ccc} 1 & a(t) & b(t) \\ 0 & 1 & c(t) \\ 0 & 0 & 1 \end{array}\right)$$

where $a(t),b(t),c(t)$ are smooth functions. Now if you take the derivative of $e^{tX}$ at $t = 0$, you are taking the derivative of the individual components of the matrix on the right. This means that

$$\frac{d}{dt}e^{tX}\bigg|_{t = 0} = X =\left(\begin{array}{ccc} \frac{d}{dt}1 & a'(0) & b'(0) \\ 0 & \frac{d}{dt}1 & c'(0) \\ 0 & 0 & \frac{d}{dt}1 \end{array}\right) = \left(\begin{array}{ccc} 0 & a'(0) & b'(0) \\ 0 & 0 & c'(0) \\ 0 & 0 & 0\end{array}\right).$$

$a'(0), b'(0)$ and $c'(0)$ are just real numbers and the calculation above shows that $X$ is strictly upper triangular.

share|cite|improve this answer

The statement you cite is not true, but can be made so by adding "for all $t$" and "with entries $1$ on the diagonal" to the hypothesis. The examples of $\begin{pmatrix}0&1&0\\-1&0&0\\0&0&0\end{pmatrix}$ with $t=2\pi$, respectively of any diagonal matrix, show the necessity of these additions.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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