Is There a Simple Way to Show GL(n,C) is a Lie Group?

In summary, the conversation discusses the approach of showing that is isomorphic to a subgroup of , which is a smooth manifold. The hint is to replace each complex number in the matrix with a matrix block. The goal is to show that the map is a group isomorphism. One approach is to consider the first two rows and columns of the matrices and prove that the multiplication works for the rest of the rows/columns. Another approach is to show that the product and inversion are smooth, using the fact that they are polynomials on the entries. The calculation for ##T
  • #1
ergospherical
1,073
1,366
Homework Statement
As per title
Relevant Equations
N/A
I'd like to clarify a few things; the approach is basically just to show that is isomorphic to a subgroup of which is a smooth manifold (since is an open subset of , so its pre-image under the continuous determinant map is a smooth manifold.)

The hint is to consider replacing each with a matrix block . To show this map is a group isomorphism means to show that , right? So I could write (summation implied over repeated suffices)I tried to write the affect of the map on the elements explicitly, i.e. but this becomes a mess to work out . I think it is clear, by considering e.g. a matrix , that it works, but there is surely a better approach?
 
Last edited:
Physics news on Phys.org
  • #2
For two nxn matrices (which expand to 2nx2n) you should be able to convince yourself that if you just look at the first two rows of X and the first two columns of Y, that if the multiplication works out that it will work out for the rest of the rows) columns. Then you have a much more tractable problem, just pick an arbitrary 2x2 block in the result and check that e.g. the top left entry is the sum of product of real parts of the original n complex numbers minus sum of the product of the imaginary parts.
 
  • Like
Likes ergospherical
  • #3
Part of the longer way , in showing product and inversion are smooth is using that both of these are polynomials on the entries. And for a Lie Group, a subgroup is also a Lie Group if it's a closed subgroup.
 
  • #4
Multiplication are linear polynomials, hence analytic. Inversion, too, extended by the inverse of the determinants as a factor. But they are quotients of polynomials without singularity, hence analytic as well.

Here is the calculation for
https://www.physicsforums.com/insights/pantheon-derivatives-part-iv/

It contains the derivative of the determinant.
 
Last edited:
  • Informative
Likes ergospherical

Similar threads

Replies
11
Views
1K
Replies
3
Views
2K
Replies
1
Views
1K
Replies
36
Views
2K
Replies
1
Views
1K
Replies
1
Views
3K
Replies
3
Views
1K
Replies
1
Views
1K
Back
Top