Lie algebra "generated" by matrix-valued curve? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T04:14:33Z http://mathoverflow.net/feeds/question/93515 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/93515/lie-algebra-generated-by-matrix-valued-curve Lie algebra "generated" by matrix-valued curve? AlexArvanitakis 2012-04-08T19:52:24Z 2012-04-09T23:31:51Z <p>Let $A(t)$ be a $n\times n$-matrix-valued continuous (plus possibly other niceness conditions; see below) curve, with the matrix entries being complex in general. If I am not mistaken, $A(t)$ generates a minimal Lie algebra $\mathfrak{g}$ of matrices, in the sense that $\mathfrak{g}$ is the intersection of all $n\times n$ matrix Lie algebras containing $A(t)$ for all $t$. </p> <p>Now consider the equation $$\frac{d U(t,t_0)}{d t}=A(t) U(t,t_0)$$ with initial condition $$U(t_0,t_0)=\mathbf{1}_n$$ where $\mathbf{1}_n$ is the $n \times n$ unit matrix. </p> <p>I am interested in the matrix logarithms of $U(t,t_0)$ for arbitrarily large $t$. For $t$ close to $t_0$ at least one of them lies in $\mathfrak{g}$ because the condition $\int_{t_0}^t \|A(s)\| ds &lt; \pi$ is satisfied -as long as $A(t)$ is nice- and thus the Magnus series for the logarithm converges. For large $t$ I have no reason to expect that the Magnus series will continue to converge; however $U(t,t_0)$ has at least one logarithm, because the matrix exponential is surjective when considering matrices with complex-valued entries. My question is this:</p> <p>Where do the matrix logarithms of $U(t,t_0)$ lie? Is it possible that they all lie outside $\mathfrak{g}$?</p> <p>I would also appreciate it if anyone knows any good references dealing with these equations. Thank you!</p> <p>EDIT: Robert Bryant gave an example of a $U$ whose logarithm lies outside $\mathfrak{g}$. However one may extend $\mathfrak{g}$ by adding the unit matrix, so that that logarithm is now included. Would this $\mathfrak{g'}$ include at least one of the logarithms of $U(t,t_0)$ in general?</p> http://mathoverflow.net/questions/93515/lie-algebra-generated-by-matrix-valued-curve/93537#93537 Answer by Robert Bryant for Lie algebra "generated" by matrix-valued curve? Robert Bryant 2012-04-09T01:43:58Z 2012-04-09T23:31:51Z <p>It can't always be done. Take $n=2$, and start with a smooth curve $V:[0,1]\to SL(2,\mathbb{C})$ such that $V(0) = \mathbb{1}_2$ and $$V(1) = \pmatrix{-1&amp;1\\ 0&amp;-1}.$$</p> <p>Set $A(t) = V'(t)V(t)^{-1}$. Then $A:[0,1]\to{\frak{sl}}(2,\mathbb{C})$, and it satisfies $V'(t) = A(t)V(t)$ with $V(0) = \mathbb{1}_2$, but $V(1)$ is not the square of any element of $SL(2,\mathbb{C})$ and hence is not the exponential of any element of ${\frak{g}} = {\frak{sl}}(2,\mathbb{C})$.</p> <p><strong>Added after the question was edited:</strong> Giving yourself just the extra 'room' of adding the center of ${\frak{gl}}(n,\mathbb{C})$ to your algebra $\frak{g}$ won't do it. Here's a counterexample: Consider $SL(2,\mathbb{C})$ as a subgroup of $GL(3,\mathbb{C})$ in the obvious way, and let $W:[0,1]\to GL(3,\mathbb{C})$ be defined by $$W(t) = \pmatrix{V(t)&amp;0\\ 0&amp;1},$$ where $V$ is as above. Set $A(t) = W'(t)W(t)^{-1}$. Then $A:[0,1]\to {\frak{g}} = {\frak{sl}}(2,\mathbb{C})\subset {\frak{gl}}(3,\mathbb{C})$, and it satisfies $W'(t) = A(t)W(t)$ with $W(0) = \mathbb{1}_3$. But it is easy to see that $W(1)$ is not the exponential of any element of ${\frak{g}'} = \mathbb{C}\cdot\mathbb{1}_3\oplus {\frak{sl}}(2,\mathbb{C}) = \mathbb{C}\cdot\mathbb{1}_3\oplus {\frak{g}}$.</p>