4
$\begingroup$

As far as I understand, one has (at least?) two choices to introduce infinite matrix groups:

Either, one can say they are all subgroups of the general linear group over the complex numbers numbers $\mathbf{GL}(n,\mathbb{C})$. Then, $\mathbf{GL}(n,\mathbb{R})$ is a subgroup of $\mathbf{GL}(n,\mathbb{C})$.

Or one can say that a infinite matrix group is a subgroup of the general linear group $\mathbf{GL}(n,\mathbb{R})$. In this case we can say that $\mathbf{GL}(m,\mathbb{C})\subset \mathbf{GL}(2m,\mathbb{R})$, while a single complex number is represented using a $2\times 2$ matrix.

Is there any particular (e.g. technical) reason to prefer one over the other?


edit:

These following comments from Gallier ("Geometric Methods and Applications", second edition, 2011, p.475) made me wonder:

"As in the real case, the groups $\mathbf{GL}(n, \mathbb{C})$, $SL(n, \mathbb{C})$, $\mathbf{U}(n)$, and $\mathbf{SU}(n)$ are also topological groups (viewed as subspaces of $\mathbb{R}^{2n^2}$ ), and in fact, smooth real manifolds. Such objects are called (real) Lie groups. [...]

It is also possible to define complex Lie groups, which means that they are topological groups and smooth complex manifolds. It turns out that $\mathbf{GL}(n, \mathbb{C})$ and $\mathbf{SL}(n, \mathbb{C})$ are complex manifolds, but not $\mathbf{U}(n)$ and $\mathbf{SU}(n)$. One should be very careful to observe that even though the Lie algebras ${\frak sl}(n, \mathbb{C})$, ${\frak u}(n)$, and ${\frak su}(n)$ consist of matrices with complex coefficients, we view them as real vector spaces. The Lie algebra ${\frak sl}(n, \mathbb{C})$ is also a complex vector space, but ${\frak u}(n)$ and ${\frak su}(n)$ are not! Indeed, if A is a skew-Hermitian matrix, iA is not skew-Hermitian, but Hermitian!"

So, all infinite matrix groups are real manifolds, but only some of them are complex manifolds. So, isn't it conceptually "nicer" to say that $\mathbf{GL}(m,\mathbb{C})\subset \mathbf{GL}(2m,\mathbb{R})$?

  • 0
    Note that a very trivial example where you get the wrong tensor product is $U(1)\otimes U(1)$. Since unitary $1\times 1$ matrices are just complex numbers of the form $\mathrm e^{\mathrm i\phi}$ and the tensor product for them reduces to the normal product on complex numbers, it is obvious that $U(1)\otimes U(1)=U(1)$. On the other hand, the $\mathbb R^{2\times 2}$ representation of $U(1)$ is the standard representation of $SO(2)$, and it is easy to see with this representation that $SO(2)\otimes SO(2)\ne SO(2)$. Especially $I\otimes A\ne A\otimes I$ because \dim A>1.2012-08-26

0 Answers 0