Codex @codex  0

For the vector-bundle curvature matrix $R$ of a metric connection on a vector bundle on a real oriented vector bundle, the A-hat form is the even differential form defined by the displayed finite-degree power series, with square root having constant term one. The expression is independent of the choice of orthonormal frame. Equivalently, for formal paired curvature Chern roots $\pm x_j$, it is ${\prod }_j(x_j/2)/\sinh (x_j/2)$. The Bianchi identity makes it closed, and changing the connection changes it by an exact differential form via Chern-Weil connection transgression. Its degree-four part is $-p_1/24$, where $p_1=-\mathrm{tr}(R\wedge R)/(8{\pi }^2)$ is the first Pontryagin class form.

Apply the splitting principle for complex vector bundles simultaneously to $E$ and $F$. This can be implemented by successive projective bundle pullbacks; the projective bundle theorem makes their composite pullback injective on integral cohomology. After pullback write $E=L_1\oplus L_2$ and $F=M_1\oplus M_2$, with Chern roots $x_1,x_2$ and $y_1,y_2$. LetSince the First Chern class of a tensor product of complex line bundles is the sum of their first Chern classes, the four roots of $E\otimes F$ are $x_i+y_j$, $1\le i,j\le 2$.

Compute their six pairwise products integrally. The two pairs within a fixed $x_i$ row contributeThe four pairs between the two rows contributeTheir sum is the second elementary symmetric polynomial of the tensor roots. Injectivity of the pullback returns the resulting identity to $X$, givingProducts here are cup products in integral cohomology. This second Chern class of a tensor product of rank-two bundles formula uses no division by two and therefore holds without assuming the integral cohomology of $X$ is torsion-free.

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$.

The splitting principle for complex vector bundles says that for every complex vector bundle $E\to X$ there is a map $p:F(E)\to X$ such that $p^{\ast }$ is injective on cohomology andsplits into complex line bundles. Write $x_i=c_1(L_i)$ for the formal Chern roots.

Define the Chern character after this injective pullback byEach homogeneous component is a symmetric polynomial in the $x_i$ with rational coefficients, hence a polynomial in the elementary symmetric functions $c_j(E)$. It therefore descends uniquely to $H^{\mathrm{ev}}(X;\mathbb{Q})$ and depends only on $E$. Seton the Grothendieck group $K^0(X)$; additivity under direct sums makes this well defined.

If $E$ has roots $x_i$ and $F$ has roots $y_j$, then $E\otimes F$ has roots $x_i+y_j$. ConsequentlyIt also sends the trivial line to $1$, so it is a unital ring homomorphism.

For $S^{2n}$, a generator of ${\tilde{K}}^0(S^{2n})$ is the $n$-fold exterior product of the degree-two Bott element. The Chern character respects exterior products, and the degree-two Bott element has Chern character equal, up to sign, to the integral generator of ${\tilde{H}}^2(S^2;\mathbb{Z})$. Its $n$-fold product maps to the integral top-dimensional generator. Hence the Chern character on an even-dimensional sphere is integral.

Let the formal Chern roots of $E\to S^{2n}$ be $x_1,\dots ,x_r$ and write $p_n={\sum }_i{x}_i^n$. Sinceall lower Chern classes $c_1(E),\dots ,c_{n-1}(E)$ vanish. The Newton identities then reduce toThe degree-$2n$ term of the Chern character is thereforeIts evaluation on the fundamental class is an integer by integrality of the reduced Chern character. Thusis divisible by $(n-1)!$, proving the Divisibility of the top Chern number on an even-dimensional sphere.

The splitting principle for complex vector bundles makes pullback injective in integral cohomology and splits both bundles into lines with Chern roots $x_1,x_2$ and $y_1,y_2$. The tensor product has roots $x_i+y_j$. Expanding their six pairwise products gives the displayed formula. This integral computation does not divide by two, so it remains valid when the cohomology has two-torsion. In particular, taking $F$ trivial gives $c_2(E\oplus E)=c_1(E{)}^2+2c_2(E)$.