7
$\begingroup$

Let $V$ be a finite dimensional vector space, and let $G_k(V)$ be the Grassmannian of $k$-dimensional subspaces of $V$. Let $T$ be the disjoint union of all these $k$-dimensional subspaces and let $\pi:T\rightarrow G_k(V)$ be the natural map sending each point $x \in S$ to $S$. Then $T$ has a unique smooth manifold structure making it into a smooth rank-$k$ vector bundle over $G_k(V)$, with $\pi$ as a projection and with the vector space structure on each fiber inherited from $V$. $T$ is called the tautological vector bundle over $G_k(V).$

What I want to prove is that tautological vector bundle over $G_1(\mathbb{R^2})$ is isomorphic to the Möbius bundle.

(This is a problem from Introduction to Smooth Manifolds by Lee and Möbius bundle is defined as in Lee's book, page 105. Also I took the definition of the tautological vector bundle over $G_k(V)$ from Lee's book as well.)

$\endgroup$
  • $\begingroup$ What ways do you know of showing two bundles are isomorphic? $\endgroup$ – Mariano Suárez-Álvarez Dec 10 '11 at 0:05
  • $\begingroup$ @MarianoSuárez-Alvarez: Writing a smooth bundle isomorphism between them. I do not know if it is enough to show that the transition functions are the same. $\endgroup$ – Karatug Ozan Bircan Dec 10 '11 at 0:51
  • 4
    $\begingroup$ Can you see that $G_1(\mathbb R^2) \cong \mathbb RP^1 \cong \mathbb S^1$? It's only a step from there, to construct an isomorphism explicitly. $\endgroup$ – Sam Dec 10 '11 at 0:54
  • $\begingroup$ @Sam: Now I see what I need to show. Thanks! $\endgroup$ – Karatug Ozan Bircan Dec 10 '11 at 11:47
4
$\begingroup$

As @Sam pointed out $G_1(\mathbb{R^2}) \cong \mathbb{RP^1} \cong \mathbb{S^1}$. Now, writing a smooth bundle isomorphism is not so hard.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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