Intereting Posts

What is $\lim_{n\to\infty}2^n\sqrt{2-\sqrt{2+\sqrt{2+\dots+\sqrt{p}}}}$ for $negative$ and other $p$?
Random sum of random variables
Prove the map has a fixed point
Are weak derivatives and distributional derivatives different?
Where is the mistake in proving 1+2+3+4+… = -1/12?
Iterated integral question
Number of solutions of $x^2=1$ in $\mathbb{Z}/n\mathbb{Z}$
How to solve exact equations by integrating factors?
Integral $\int_0^1 \ln(x)^n \operatorname{Ei}(x) \, dx$
Olympiad-style question about functions satisfying condition $f(f(f(n))) = f(n+1) + 1$
How to prove the inequality between mathematical expectations?
Why must the decimal representation of a rational number in any base always either terminate or repeat?
Normal distribution tail probability inequality
Numerical estimates for the convergence order of trapezoidal-like Runge-Kutta methods
Formula for sequence $0, 0, 0, 0, 1, 0, 0, 0, 0, 1,\ldots$

Hallo fellow mathematicians.

I try to understand why the normal bundle of

$\mathbb{PR}^n$ is isomorphic (in the category of vector bundles) to the tautological line Bundle. More aptly, why $\nu_{\mathbb{RP}^{n+1}}^{\beta} \mathbb{RP}^n \cong L, \text{ where } L$ denotes the tautological line bundle over $\mathbb{RP}^n$ and $ \beta \colon \mathbb{RP}^n \rightarrow \mathbb{RP}^{n+1} $ the inclusion induced by the inclusion $\mathbb{R}^{n+1} \subset \mathbb{R}^{n+2}$.

I followed a few loose ends until now.

One of them:

(1) In this script (pdf) I found a proof (p.8). I just don’t understand, how that is supposed to be suffice as proof. Afaik under trivialisations I could identify every vector bundle of the same dimension, so what seals the proof here?

Another idea I came up with:

- Map Surjective on a Disk
- Fundamental group of $S^2$ with north and south pole identified
- Formula relating Euler characteristics $\chi(A)$, $\chi(X)$, $\chi(Y)$, $\chi(Y \cup_f X)$ when $X$ and $Y$ are finite.
- connected sums of closed orientable manifold is orientable
- Fundamental theorem of Algebra using fundamental groups.
- Why aren't these loops homotopic?

(2) On $\mathbb{PR}^{n+1}$ we have a riemannian metric, i.e. the tangent bundle allows a presentation as the whitney-sum: $\nu_{\mathbb{RP}^{n+1}}^{\beta} \mathbb{RP}^n \oplus T \mathbb{PR}^n \cong T\mathbb{RP}^{n+1}|_{\mathbb{PR}^n} $. According to Husemoller (Fibre Bundles, Theorem 2.7) we now (analogous to this) that two vector bundles – in order to be isomorphic – have to have cohomologous transition functions, i.e. they are related in a certain way to each other. Afaik we can split the transition functions of $T\mathbb{PR}^{n+1}$ into the direct sum (in the sense that $\phi_{ij}(p)=\begin{matrix}

\phi_{ij}^1(p) & 0 \\

0 & \phi_{ij}^2(p)

\end{matrix} $ is the transition function of $T\mathbb{PR}^{n+1}$, where $ \phi_{ij}^1$ is the trans. function of $T\mathbb{PR}^{n}$ and $ \phi_{ij}^2 $ the is trans. function of the normal bundle). As soon as I try to compute all this I encounter problems. So I took the transition functions of the “standard” atlas of $\mathbb{RP}^n$, i.e. with $U_i:=\{[x_1:\dots x_n]|x_i \neq 0 \}$ the transition function is $\phi_j \circ \phi_i^{-1} (y^1, \dots y^n)=(\frac{y^1}{y^j}, \dots \frac{y^{i-1}}{y^{j}}, \frac{1}{y^j}, \frac{y^{i+1}}{y^j}, \dots,\frac{y^n}{y^j})$. When I pass this to the Jacobian (which is the transition function of the tangent bundle, right?) things get ugly.

(3) Another idea I had (which is… regressing I suppose) is to use the orientiability of $\mathbb{RP}^{2n}$ and $\mathbb{RP}^{2n+1}$ and their stiefel whitney classes, which inplies in every case, that the normal bundle is not trivial. But now I would have to show that a line bundle is either trivial or isomorphic to the tautological bundle over $\mathbb{RP}^n$. Is that even true?

I’m very greatful for any help you may be able to provide. If I made a mistake, you are more than welcome to correct me.

- Higher homology group of Eilenberg-Maclane space is trivial
- Reference request: Vector bundles and line bundles etc.
- Symmetric monoidal products that preserve limits and colimits
- Topologies in a Riemannian Manifold
- In differential geometry, is there established notation for the stuff that $\mathbb{R}^n$ is equipped with?
- Topology of manifolds
- If $F:M\to N$ is a smooth embedding, then so is $dF:TM\to TN$.
- How to introduce stress tensor on manifolds?
- How to compare the K-theory and singular cohomology of a classifying space
- The relation between homotopy equivalence and contractible mapping cone?

Yes it is true, that $\omega_1:Vect_1X \to H^1(X;Z/2)$ is an isomorphism for general (paracompact) $X$. Hence you have to show that the normal bundle is not trivial. To do that note that $L\to X$ is trivial iff orientable iff $L_0$ disconnected (if $X$ is connected).

Now we have a very natural identification of the total space of $L$, namely $RP^{n+1}-*$ where we choose a point in the interior of the attached $n+1$-disk. So we have $L_0=(RP^{n+1}-*)-RP^n=D^{n+1}-*$, hence connected.

Intuitively speaking, we use that the attaching map $S^n \to RP^n$ is the two fold covering, which gives you the easy situation, that you have 2 ways to go out from the zero section, which both end in the same component $L_0$. Maybe imagine the normal bundle as $RP^n$ and gluing $S^n\times [0,1)$ along it.

*Edit concerning the first sentence of this answer.*

So consider we have the following:

$$

\begin{array}{ccc}

[X,RP^\infty] && \\

\downarrow & \searrow&\\

Vect_1X &\xrightarrow{\omega_1}&H^1(X;Z/2)

\end{array}

$$

Observe that the diagonal map ${[f] \mapsto f^*\alpha}$ is the map which makes the Eilenberg Maclane isomorphism. But this triangle is so natural that it easily commutes and since the vertical map is an isomorphism, we get an isomorphism on the horizontal map. Those are all set-theoretic isomorphisms, i.e. bijections. Now note that $Vect_1X$ becomes a group under $\otimes$ and that the Stiefel Whitney class behaves nicely. So we get a group isomorphism $Vect_1X \cong H^1(X;Z/2)$. Hence there is up to isomorphism only *one* non trivial line bundle, where we already know one, namely the tautological one. That is why it suffices to show that our line bundle is of non-trivial isomorphism type.

Now note that for a line bundle being of trivial type is equivalent to being orientable. A continous choice of orientation, gives you by renormalizing a nowhere vanishing section, i.e. a trivialization. For the other direction note that a trivialization gives you a continous choice of a basis.

- Are projections onto closed complemented subspaces of a topological vector space always continuous?
- A confusing excersice about Bayes' rule
- Find this angle, in terms of variables
- If N is elementary nilpotent matrix, show that N Transpose is similar to N
- Rational Exponent
- Integers that satisfy $a^3= b^2 + 4$
- If $E$ has measure zero, then does $E^2$ have measure zero?
- Prove that $\gcd(3^n-2,2^n-3)=\gcd(5,2^n-3)$
- Self-Studying Measure Theory and Integration
- Show that $A_n$ is the kernel of a group homomorphism of $S_n \rightarrow \{−1,1\}$.
- Convergence of characteristic functions to $1$ on a neighborhood of $0$ and weak convergence
- High school math definition of a variable: the first step from the concrete into the abstract…
- Prove that if $n|5^n + 8^n$, then $13|n$ using induction
- How to tell if some power of my integer matrix is the identity?
- Interpreting the significance of Darboux's Theorem