1
$\begingroup$

While reading manifold theory I stuck to this problem: $V$ be a vector space with \dim V<\infty over $\mathbb{R}$ and $GL(V)$ be the group of all linear isomorphisms of $V$ into itself. A basis $e_1,\dots,e_n$ for $V$ induces a bijection $GL_n(\mathbb{R}\longrightarrow GL(V),$ $[a^i_j]\mapsto (e_j\mapsto\sum_{i}a^i_je_i),$ making $GL(V)$ into a $\mathcal{C}^{\infty}$ manifold, which we denote temporarily by $GL(V)_e$.

If $GL(V)_u$ is the manifold structure induced from the basis $u_1,\dots,u_n$ then how would you show they are diffeomorphic? Also I am not clearly understanding about the manifold structure of $GL(V)$, will be pleased for detail reply.

Would you give me the maximal atlas on $GL(V)$, coordinate charts, and $\mathcal{C}^{\infty}$ compatible maps? I guess If I some how get the those maps say $\phi_e$ and $\phi_u$ then $\phi_e o\phi_u$ would be a map by change of basis matrix $u$ to $e$ which wil be the diffeomorphism?

  • 0
    yes, I know that2012-04-25

1 Answers 1

3

I think the point is that if you have two of these maps $\varphi, \psi\colon GL_n(\mathbb R) \to GL(V)$ determined by bases $\{e_1, \ldots, e_n\}$ and $\{f_1, \ldots, f_n\}$ then $\psi^{-1} \circ \varphi$ is a diffeomorphism: it is conjugation by the base change matrix $B = (b_{ij})$, where $e_j = \sum_{i = 1}^n b_{ij}f_i$. So the smooth structure does not depend on the basis that you choose.

  • 1
    Note also that the set of $n \times n$ matrices, and hence the open subset $GL_n(\mathbf R)$, has a global chart. Writing out a maximal atlas doesn't seem possible, but what the calculation I've done above shows you is that all of these global charts that you can give are contained in the same maximal atlas, so you can use whichever you like.2012-04-25