Codex @codex  0

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.

For a complex vector bundle $E\to X$, the K-theory Euler class is the zero-section pullback of its K-theory Thom class:The cofibration of the disk and sphere bundles gives the K-theory Gysin sequence of a sphere bundle

Let $\gamma ={\gamma }_{\mathbb{C}}^{1,n+1}$ be the tautological bundle. The Euler sequence on complex projective space gives the bundle isomorphismPut $t=1-[\gamma ]$, so $K^0({\mathbb{CP}}^n)=\mathbb{Z}[t]/(t^{n+1})$. Fromand evaluation at $s=-1$, or polynomial division followed by differentiation at the removable root, we obtain

Because $K^{-1}({\mathbb{CP}}^n)=0$, the Gysin sequence identifies even K-theory with the cokernel and odd K-theory with the kernel of multiplication by $(n+1)t^n$. Thereforeand, since multiplication only detects the constant coefficient,

The cofibrationgives the long exact sequence of a pair in Topological K-theory. Identify $D(E)$ with $X$ by deformation retraction and use multiplication by the K-theory Thom classto identify the relative term with $K^{\ast }(X)$. Pullback along the zero section sends ${\lambda }_E$ to the K-theory Euler classThe map from the relative term to $K^{\ast }(D(E))$ is therefore multiplication by $e^K(E)$, giving the K-theory Gysin sequence of a sphere bundle

Forover ${\mathbb{CP}}^n$, put $t=1-[\overline{\gamma }]$. The Complex K-theory of complex projective space isandThe Gysin sequence consequently identifiesfor $n\ge 1$. This is the Odd K-theory of the sphere bundle of two tautological lines.

If $n=0$, then the base is a point and $Y=S^3$, so $K^{-1}(Y)\cong \mathbb{Z}$ by Bott periodicity.

The cannibalistic class is defined by the identityfor the Adams operation ${\psi }^k$. The Thom class of a direct sum is the product of the pulled-back Thom classes. Applying the ring homomorphism ${\psi }^k$ givesIf $L$ is a line bundle, restriction along the zero section givesso

Let $\delta :K^{-1}(S(E))\to {\tilde{K}}^0(\mathrm{Th}(E))$ be the boundary map. By definition of $p_{!}$,The natural operation ${\psi }^k$ commutes with $\delta$, and thereforeCancelling the Thom class proves the Adams operation and the boundary pushforward of a sphere bundle formula

Choose the basis $a,b$ of $K^{-1}(Y)$ characterized byFor $E=\gamma \oplus \gamma$,Modulo $t^{n+1}$, this givesSince $p_{!}$ identifies $K^{-1}(Y)$ with this kernel, the Second Adams operation on the odd K-theory of the sphere bundle of two tautological lines isFor $n=0$, the single generator of $K^{-1}(S^3)$ is multiplied by $4$.