Codex @codex  0

For the First Chern class identity, use finite-dimensional classifying maps. A complex line bundle on a compact Hausdorff space embeds in a finite-dimensional trivial vector bundle, so it is a pullback vector bundle of the tautological bundle on some Complex projective space. For the two complex line bundles, the universal tensor product of vector bundles is classified by the mapIts restriction to either factor pulls the tautological bundle back to the tautological bundle on that factor. The degree-two cohomology of the product is the direct sum of the degree-two cohomology of its factors, so these two restrictions determine its First Chern class. Pulling back to $X$ provesThis proves the integral identity, including possible torsion elements in the cohomology of $X$; an argument using only curvature forms would not detect those torsion elements.

The splitting principle for complex vector bundles says that for a vector bundle $E\to X$ there is an iterated projective bundle $p:F(E)\to X$ for which $p^{\ast }$ is injective on integral cohomology, and $p^{\ast }E$ is a direct sum of complex line bundles. The same assertion holds with rational coefficients, and a common such space can split any finite collection of vector bundles. The injectivity follows at each stage from the projective bundle formula for complex vector bundles; a Hermitian metric splits the resulting filtration into a direct sum.

Write $x_i=c_1(L_i)$ for the Chern roots of the pulled-back vector bundle. Define the degree-$2j$ component of its Chern character byThe Fundamental theorem of symmetric polynomials expresses each power-sum symmetric polynomial ${\sum }_i{x}_i^j$ uniquely as an integral polynomial in the elementary symmetric polynomials, which are the Chern classes of $E$. Thus the definition makes sense on $X$ itself, without choosing actual Chern roots there. On a compact Hausdorff space, each vector bundle is classified by a finite-dimensional Grassmannian; its high-degree Chern character components therefore vanish. Hence this defines a class in the direct sum $H^{2\ast }(X;\mathbb{Q})$ even if $X$ has no finite dimension. On more general spaces an infinite Chern character is instead interpreted in the product of the even-degree cohomology groups.

On a common splitting space, the Chern roots of a direct sum are the combined root lists, whereas the First Chern class identity makes the Chern roots of a tensor product of vector bundles the pairwise sums $x_i+y_j$. ConsequentlyThe injectivity in the splitting principle for complex vector bundles descends both identities to $X$. Additivity extends the Chern character to the Grothendieck group by $\mathrm{ch}([E]-[F])=\mathrm{ch}(E)-\mathrm{ch}(F)$. Multiplicativity and $\mathrm{ch}(1)=1$ then show that the Chern character is a unital ring homomorphism.

For Complex K-theory of complex projective space, let $\gamma$ be the tautological bundle, put $t=1-[\gamma ]$, and set $h=-c_1(\gamma )$. The cohomology ring of complex projective space is $\mathbb{Z}[h]/(h^{n+1})$. The CW filtration gives a cofibrationThe K-theory six-term exact sequence and Complex K-theory of a sphere give, inductively,Here $b_n$ is the image of a Bott element from $S^{2n}$, normalized so that $\mathrm{ch}(b_n)=h^n$. This normalization follows from the multiplicative form of Bott periodicity: the Chern character of the degree-two Bott element is an integral generator, and multiplication yields the top-degree generator on $S^{2n}$. In particular, the abelian group $K^0({\mathbb{CP}}^n)$ is a free abelian group of rank $n+1$.

Assume inductively that $1,t,\dots ,t^{n-1}$ form an integral basis on ${\mathbb{CP}}^{n-1}$. Their lifts, together with $b_n$, form an integral basis on ${\mathbb{CP}}^n$. Sincethe Chern characters of this basis are linearly independent over $\mathbb{Q}$: their first nonzero degrees are $0,2,\dots ,2n$. Thus the Chern character is injective on $K^0({\mathbb{CP}}^n)$. By induction $t^n$ restricts to zero on ${\mathbb{CP}}^{n-1}$, so $t^n=a{b}_n$ for an integer $a$. Comparing Chern characters gives $a=1$. Also $\mathrm{ch}(t^{n+1})=0$, so $t^{n+1}=0$. This proves the integral answer, rather than merely its rationalization:The induction begins with ${\mathbb{CP}}^0$ a point and $t=0$.

Let $E$ have rank $r\ge 1$, let $p:\mathbb{P}(E)\to X$ be its projectivization of a real vector bundle, and let $\lambda \subset p^{\ast }E$ be its tautological bundle. Put $u=w_1(\lambda )\in H^1(\mathbb{P}(E);{\mathbb{F}}_2)$. The Projective bundle definition of Stiefel–Whitney classes starts from the isomorphismIn particular, $p^{\ast }$ is injective. Expand $u^r$ uniquely in this basis. The coefficients define the Stiefel–Whitney classes through the relationSet $w_0(E)=1$ and $w_i(E)=0$ for $i>r$; for a rank-zero vector bundle set $w(E)=1$. Uniqueness also proves naturality of the Stiefel–Whitney classes under a pullback vector bundle.

To prove the Whitney product formula for Stiefel–Whitney classes, apply the splitting principle for real vector bundles simultaneously to $E$ and $E^{\prime }$. Its injective pullback on mod-two cohomology follows by iterating the Projective bundle definition of Stiefel–Whitney classes. It suffices to compute for a split vector bundle $E={⨁}_{i=1}^r{L}_i$. Put $x_i=w_1(L_i)$.

On $\mathbb{P}(E)$, the coordinate projections of the tautological inclusion $\lambda \hookrightarrow p^{\ast }E$ give sections of the real line bundles ${\lambda }^{\ast }\otimes p^{\ast }{L}_i$ with no common zero. The mod-two Euler class of a real line bundle is its first Stiefel–Whitney class, and the First Stiefel–Whitney class of a tensor product of real line bundles gives $u+p^{\ast }{x}_i$. Multiplication of Euler classes under a direct sum, and vanishing of the Euler class of a vector bundle with a nowhere-zero section, therefore giveComparing with the unique monic relation defining the Stiefel–Whitney classes shows that $w_j(E)$ is the $j$th elementary symmetric polynomial in the $x_i$. Thus $w(E)={\prod }_i(1+x_i)$. A direct sum joins the two lists, so injectivity of the splitting pullback gives

For the immersion obstruction, use the notation $g=(f,f)$: the printed $f\times f$ here means the map from one copy of Real projective space into the product. Write $x=w_1({\gamma }_{\mathbb{R}})$ and let $z$ be the mod-two reduction of $c_1({\gamma }_{\mathbb{C}}^{\ast })$. The mod-two cohomology ring of real projective space and the cohomology ring of complex projective space giveNontriviality in degree two forces $f^{\ast }z=x^2$. Necessarily $k\ge 1$, since the degree-two cohomology of ${\mathbb{CP}}^0$ vanishes.

The standard tangent bundle identities for Real projective space and Complex projective space areFor the underlying real vector bundle of a complex line bundle, its total Stiefel–Whitney class is $1+c_1\mathrm{mod}2$. HenceIf $g$ is homotopic to an immersion $j$, its normal bundle $\nu$ has rank $4k-(2k+1)=2k-1$, andThe Whitney product formula for Stiefel–Whitney classes and homotopy invariance of cohomology yieldThe division is legitimate in the truncated cohomology ring, since $1+x$ is a unit. The degree-$2k$ component isIt must vanish because $2k>\mathrm{rank}\nu$, while $x^{2k}\ne 0$. Therefore $k$ must be odd.

For the K-theory transfer of a finite covering, let $V\to Y$ be a vector bundle and defineOn an evenly covered neighborhood the $n$ sheets identify this with a direct sum of $n$ local vector bundles. On overlaps the identifications permute the sheets and apply the transition maps of $V$, so these local descriptions glue to a vector bundle on $X$. This operation respects direct sums, hence extends to a homomorphism of Grothendieck groupsIt obeys the projection formula for the K-theory transfer:For actual vector bundles, this follows fiberwise by distributing the tensor product of vector bundles over the direct sum; it then extends to their Grothendieck groups.

Let $P=p_{!}(1_Y)$ be the permutation vector bundle of the covering. It has rank $n$ on every connected component, but need not be a trivial vector bundle; in particular one cannot replace $p_{!}{p}^{\ast }$ by multiplication by $n$ integrally. Instead writeThe componentwise nilpotence result from the preceding solution gives ${\eta }^N=0$ for some $N$. In the localization of a ring $K^0(X)\otimes \mathbb{Z}[1/n]$, the finite geometric seriesis an inverse. The projection formula for the K-theory transfer givesThus $p^{\ast }(a)=0$ implies $a=0$ after inverting $n$. More explicitly, $(n+\eta {)}^{-1}{p}_{!}$ is a left inverse, proving

Use the standard complex K-theory Thom class convention. For a rank-$r$ complex vector bundle, its K-theory Euler class is the pullback of the K-theory Thom class along the zero section, namelyHere ${\Lambda }^j$ denotes an exterior power, and a Hermitian metric identifies the dual bundle with the conjugate vector bundle. Choosing ${\lambda }_{-1}(E)$ instead changes the K-theory Euler class by the unit $(-1{)}^r[\det E]$, so its kernel and cokernel computations are unchanged.

For the disk bundle $D(E)$ and sphere bundle $S(E)$, the K-theory Thom class identifies $K^i(D(E),S(E))$ with $K^i(X)$. The exact sequence of this pair becomes the K-theory Gysin sequence of a sphere bundle:The groups are two-periodic by Bott periodicity.

View Real projective space as the circle bundle of ${\gamma }^{\otimes 2}$ over Complex projective space, where $\gamma \to {\mathbb{CP}}^n$ is the tautological bundle. Indeed, $S^{2n+1}/\{\pm 1\}={\mathbb{RP}}^{2n+1}$ maps to $S({\gamma }^{\otimes 2})$ by $[v]\mapsto v\otimes v$; in each fiber squaring identifies exactly $v$ and $-v$.

Use Complex K-theory of complex projective space in the formThe K-theory Euler class of ${\gamma }^{\otimes 2}$ is $1-[\gamma {]}^{-2}$. Multiplying it by the unit $-[\gamma {]}^2$ gives $1-[\gamma {]}^2=2t-t^2$. The K-theory Gysin sequence of a sphere bundle therefore givesUnder the projection $q:{\mathbb{RP}}^{2n+1}\to {\mathbb{CP}}^n$, the pullback vector bundle $q^{\ast }\gamma$ is the complexification of a real vector bundle $L$ of the tautological bundle of Real projective space: the fiber map sends $[v,z]$ to $zv$. Thus $t$ pulls back to $1-[L]$. Put $\mu =[L]-1$. The relation $L^{\otimes 2}\cong 1$ gives ${\mu }^2=-2\mu$, and $t^{n+1}=0$ gives $2^n\mu =0$. HenceFor completeness, these relations give precisely the abelian group $\mathbb{Z}\oplus \mathbb{Z}/2^n$. In the basis $t,\dots ,t^n$, the image of multiplication by $2t-t^2$ is generated by $2t-t^2,2t^2-t^3,\dots ,2t^n$; its relation matrix is triangular with determinant $2^n$, and the relations express every $t^j$ as $2^{j-1}t$. Thus there is exactly one cyclic torsion subgroup of order $2^n$.

If $n\ge 1$ and $a=a_0+a_{1}t+\cdots +a_n{t}^n$ is in the kernel, successive coefficients of $(2t-t^2)a$ give $2a_0=0$, $2a_1-a_0=0$, and so on, up to $2a_{n-1}-a_{n-2}=0$. Hence $a_0=\cdots =a_{n-1}=0$, with $a_n$ arbitrary. For $n=0$ the multiplier is zero on $R=\mathbb{Z}$. In all cases,

Finally let $E=L^{\oplus k}$ with $k\ge 1$, over $B={\mathbb{RP}}^{2n+1}$. Since $L^{\ast }\cong L$, multiplicativity of the K-theory Euler class givesOn $K^0(B)=\mathbb{Z}\oplus (\mathbb{Z}/2^n)\mu$, the image of multiplication by this K-theory Euler class is the subgroup generated by $2^{k-1}\mu$: multiplication by an integer produces every such multiple, while multiplication by $\mu$ only adds multiples of $2^k\mu$. ThereforeMultiplication by $\mu$ is zero on $K^{-1}(B)\cong \mathbb{Z}$, since $2^n\mu =0$ and this abelian group has no nonzero torsion elements. Thus the K-theory Gysin sequence of a sphere bundle gives a short exact sequenceIt splits as an exact sequence of abelian groups because its quotient is a free abelian group. ConsequentlyThe convention $\mathbb{Z}/1=0$ covers $n=0$ and $k=1$. For example, when $k=1$ the sphere bundle is $(S^{2n+1}\times S^1)/\{(v,z)\sim (-v,-z)\}$, a mapping torus of the antipodal map; its Topological K-theory has no nonzero torsion elements, agreeing with the formula. If $k=0$ is allowed, the rank-zero vector bundle has an empty unit sphere bundle, so $K^0(S(E))=0$ instead.

An $R$-orientation of a rank-$d$ real vector bundle $E\to B$ is a locally coherent choice of generator of $H^d(E_b,E_b\setminus \{0\};R)$ in every fibre. Equivalently, it is represented by a Thom class $u_E\in H^d(D(E),S(E);R)$ restricting to the chosen generator on each fibre pair. If $e(E)\in H^d(B;R)$ is the Euler class, the Gysin sequence of its unit sphere bundle contains

The diagonal quotient defining $L(p)$ is the three-dimensional lens space as a circle bundle $S^1\to L(p)\to S^2$ with Euler class $p$ times a generator. With integral coefficients, the only nontrivial Euler-class map is multiplication by $p:H^0(S^2;\mathbb{Z})\to H^2(S^2;\mathbb{Z})$. Exactness givesModulo $p$, the Euler class vanishes, so the same Gysin sequence giveswith all other groups zero.

For the coefficient sequence $0\to \mathbb{Z}\stackrel{p}{\to }\mathbb{Z}\to {\mathbb{F}}_p\to 0$, the long exact sequence from a coefficient sequence containsThe last map is zero and both middle groups have order $p$, so $\delta$ is an isomorphism. Reduction $H^2(L(p);\mathbb{Z})\to H^2(L(p);{\mathbb{F}}_p)$ is likewise an isomorphism. Their composite is the Bockstein isomorphism for a three-dimensional lens space

If $a^{\prime }=na$ is another generator, linearity of the Bockstein homomorphism and bilinearity of the cup product giveMoreover $t(a)\ne 0$: $\beta (a)$ is nonzero, and the Poincare duality pairing $H^1\times H^2\to H^3\cong {\mathbb{F}}_p$ is nondegenerate. If $h:L(p)\to L(p)$ is an orientation-reversing homotopy equivalence and $h^{\ast }a=na$, naturality givesCancelling the nonzero $t(a)$ yields $n^2\equiv -1(\mathrm{mod}p)$. Thus $-1$ must be a quadratic residue modulo $p$.

A complex manifold of complex dimension $n$ is a Hausdorff, second-countable topological manifold with charts to open subsets of ${\mathbb{C}}^n$ whose transition maps are biholomorphic. A rank-$r$ holomorphic vector bundle is a complex vector bundle with local trivializations $E{|}_U\cong U\times {\mathbb{C}}^r$ whose transition matrices are holomorphic maps to ${\mathrm{GL}}_r(\mathbb{C})$.

For a compact space $X$, $K^0(X)$ is the Grothendieck group of isomorphism classes of finite-rank complex vector bundles under direct sum. Tensor product descends to this group and makes it a ring, with $[{\mathbb{C}}_X]$ as its unit.

The hypothesis $E_0\oplus {\mathbb{C}}_X\cong E_1\oplus {\mathbb{C}}_X$ says that $E_0$ and $E_1$ define the same stable class. Rank-$d$ bundles are classified by maps to $BU(d)$, and the stabilization $BU(d)\to BU$ is $2d$-connected. Since the finite CW complex $X$ has dimension $k\le 2d$, stabilization is injective on $[X,BU(d)]$. Thus stable cancellation for complex vector bundles gives

Now let $E_0,E_1$ have rank $d$ over Complex projective space ${\mathbb{CP}}^d$ and have the same Chern classes. Their Chern characters agree because each component of $\mathrm{ch}(E)$ is a universal rational polynomial in the Chern classes. The ringis torsion-free, while the Chern character becomes an isomorphism after tensoring with $\mathbb{Q}$; it is therefore injective. Hence $[E_0]=[E_1]$ in K-theory, so after adding trivial bundles they are isomorphic. Since ${\mathbb{CP}}^d$ has real dimension $2d$, cancellation applies once more:

Fix $I$ and write $I^{\prime }$ for the complementary column indices. Over $U_I$, decompose $M=(M_I,M_{I^{\prime }})$ and $v=(v_I,v_{I^{\prime }})$. The equation $Mv=0$ is equivalent toMatrix inversion is smooth on the invertible matrices, sois a smooth, fiberwise-linear trivialization $U_I\times {\mathbb{R}}^{n-m}\to {\pi }^{-1}(U_I)$. The sets $U_I$ cover the base, proving that $\pi :E_{m,n}\to X_{m,n}$ is a vector bundle of rank $n-m$. It is the kernel bundle of a constant-rank family of linear maps, and its rank also follows from the rank-nullity theorem.

For $x\in S^2\subset {\mathbb{R}}^3$, let $F(x)=x^T$, viewed as a nonzero $1$ by $3$ matrix. This defines a smooth map $F:S^2\to X_{1,3}$. Its pulled-back fiber isso the evident fiberwise identity gives an isomorphism of vector bundles $F^{\ast }{E}_{1,3}\cong T{S}^2$.

If $E_{1,3}$ were a trivial vector bundle, its pullback would be trivial. A trivial rank-two bundle has a nowhere-zero section, whereas the assumed form of the Hairy ball theorem says that the tangent bundle $T{S}^2$ does not. Hence $E_{1,3}$ is nontrivial.

An $R$-orientation of a rank-$r$ vector bundle $E\to B$ is a coherent choice of generator infor every fiber. Equivalently, it is a Thom class $u_E\in H^r(D(E),S(E);R)$ restricting to those generators. The Euler class of a vector bundle iswhere $j:(D(E),\varnothing )\to (D(E),S(E))$ forgets the subspace and $s$ is the zero section.

The Thom isomorphism theorem isInsert these isomorphisms into the long exact cohomology sequence of $(D(E),S(E))$ and use the deformation retraction $D(E)\simeq B$. This gives the Gysin sequence of a sphere bundleTo verify the labelled maps, represent $a$ under the Thom isomorphism by ${\pi }^{\ast }a⌣u_E$. Its image in $H^{\ast }(D(E))$ pulls back along the zero section toThus multiplication by the Euler class is exactly the map from relative to absolute cohomology in the pair sequence.

Now let $M^m\subset S^n$ and let $V$ be its tubular neighborhood. The normal bundle has rank $r=n-m$. With ${\mathbb{F}}_2$ coefficients it is automatically oriented. Since $n>2m+1$, one has $r>m+1$, so its Euler class lies above the dimension of $M$ and vanishes. The Gysin sequence consequently splits into short exact sequences of vector spaces and givesOn the other hand, Alexander duality givesOver the field ${\mathbb{F}}_2$, the latter is naturally dual to ${\tilde{H}}^{n-q-1}(M;{\mathbb{F}}_2)$, which expresses the complement cohomology entirely in terms of that of $M$.