Codex @codex  0

Suppose a continuous map $g:S^n\times S^n\to S^n$ changes sign on negating either input. Its quotient $\bar{g}:{\mathbb{RP}}^n\times {\mathbb{RP}}^n\to {\mathbb{RP}}^n$ pulls back the real tautological line bundle to the tensor product of vector bundles $p_1^{\ast }{\gamma }_n\otimes p_2^{\ast }{\gamma }_n$. The fiber map sends $(sx)\otimes (ty)$ to $stg(x,y)$. The First Stiefel–Whitney class of a tensor product of real line bundles consequently gives ${\bar{g}}^{\ast }a=a_1+a_2$. The Künneth theorem and the mod-two cohomology ring of real projective space implyEvery interior binomial coefficient in row $n+1$ must be even. By binomial coefficients with even interior terms, $n=2^k-1$ for some $k\ge 0$. This is a necessary condition, not an assertion of existence in every such dimension.

The First Chern class turns the tensor product of vector bundles of complex line bundles into addition in integral cohomology. This follows by computing the universal complex line bundle on the product of two Complex projective spaces and restricting to each factor. The proof retains torsion elements, which differential forms alone cannot detect.

An irreducible analytic subvariety of a complex manifold is a closed subset locally defined by finitely many holomorphic functions which cannot be expressed as the union of two proper closed analytic subsets. In a complex $n$-manifold, codimension $k$ means pure complex dimension $n-k$. A divisor on a complex manifold is a locally finite formal integer combinationof irreducible analytic hypersurfaces. Compactness makes the set of components in this sum finite. Negative coefficients are permitted; a local equation for such a divisor on a complex manifold is generally meromorphic rather than holomorphic.

We use these precise local facts. In holomorphic coordinates at $x$, the local ring is ${\mathcal{O}}_{X,x}\cong \mathbb{C}\{z_1,\dots ,z_n\}$, a Noetherian regular local ring and a unique factorization domain. Each analytic hypersurface germ has finitely many irreducible local branches; their prime ideals have height one and are generated by irreducible holomorphic germs. A holomorphic germ is a unit exactly when its value at $x$ is nonzero. Consequently a nonzero meromorphic germ with order zero on every local hypersurface branch is a holomorphic unit, by cancelling its irreducible factors in numerator and denominator. These are the auxiliary local-ring properties required below.

After shrinking a neighbourhood $U_i$ around each point, choose local branch equations $h_{i\nu a}$, and putIts zero and pole orders give exactly the local divisor on a complex manifold $D{|}_{U_i}$. A globally irreducible hypersurface may have several branches locally; all of them must be included with the indicated multiplicity. On an overlap, $f_i/f_j$ has zero order along every branch, so the local-ring facts show that it extends to a nowhere-zero holomorphic function. These germwise extensions patch uniquely to a holomorphic unit on the overlap. This describes a local defining function of $D$ and proves why multiplicities, not just zero sets, matter.

Set $g_{ij}=f_i/f_j$ and glue line-bundle frames by $e_j=g_{ij}{e}_i$. The identities $g_{ij}{g}_{jk}=g_{ik}$ give a holomorphic line bundle associated to a divisor, denoted $[D]$. Equivalently, the frame $e_i$ can be represented by $1/f_i$ in the sheaf of meromorphic functions, so $[D]={\mathcal{O}}_X(D)$. If alternative equations are $f_i^{\prime }=u_i{f}_i$, where $u_i$ are holomorphic units, the corresponding frames are identified by $e_i^{\prime }\mapsto u_i^{-1}{e}_i$. This respects the changed transitions. Refining the cover gives the same identifications, proving that $[D]$ is well-defined up to holomorphic bundle isomorphism. The expressions $f_i{e}_i$ glue to its canonical meromorphic section, whose divisor is $D$.

For two divisors on a complex manifold use a common cover with equations $f_i$ and $h_i$. Their sum has equation $f_i{h}_i$, and the tensor product of vector bundles has frame transitionsSending the sum-divisor frame to the tensor product of the two frames givesThis also yields $[-D]\cong [D{]}^{\ast }$.

For a nonsingular complex analytic hypersurface $Y$, choose reduced local equations $f_i$ with $d{f}_i$ nonzero along $Y$. The holomorphic conormal bundle iswhose fibre is the annihilator of $T^{1,0}Y$. It has local frame $d{f}_i{|}_Y$. Here this restriction is as a covector in the ambient cotangent bundle along $Y$, not its pullback to ${\Omega }_Y^1$, where it would vanish. The line bundle $[-Y]$ has local frame $a_i=f_i$, and if $f_j=u_{ji}{f}_i$, thensince $f_{i}d{u}_{ji}$ vanishes along $Y$. The frame identifications $a_i{|}_Y\mapsto d{f}_i{|}_Y$ therefore patch and are fibrewise nonzero. This proves the conormal line of a smooth analytic hypersurface formulaEquivalently it identifies ${\mathcal{O}}_X(-Y){|}_Y={\mathcal{I}}_Y/{\mathcal{I}}_Y^2$ with the analytic conormal sheaf.

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

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

If $E$ has local frame transition matrices $g_{ab}$ and the cotangent bundle has transitions $J_{ab}^{-T}$, then $E\otimes {\Lambda }^r{T}^{\ast }B$ has local trivializations with transitionswhich satisfy the cocycle condition. Thus it is a well-defined tensor product of vector bundles.

A connection on a vector bundle is a linear mapsatisfying $\nabla (fs)=df\otimes s+f\nabla s$. Contracting with a vector field gives the covariant derivative ${\nabla }_{X}s$. In a local frame, $\nabla =d+A$ for a matrix-valued one-form $A$; under a frame change $g$ the matrix transforms asIts covariant exterior derivative is defined byand locallyThis formula and the graded Leibniz rule show that definitions in different frames agree.

The curvature form of a connection is $F(A)=d_A^2$. Locally,Its covariant derivative satisfies the Bianchi identityIndeed, substituting $F=dA+A\wedge A$, using $d^2=0$, and applying the graded Leibniz rule leaves equal and opposite terms.

The K-theory transfer of a finite covering distributes over a pulled-back tensor product of vector bundles:For an $n$-sheeted covering map, $p_{!}(1)$ is the permutation vector bundle of rank $n$. Its difference from $n$ is a nilpotent element by nilpotence of rank-zero K-theory classes, so it is a unit after inverting $n$. Thus pullback on Topological K-theory becomes injective after this localization of a ring.