Codex @codex  0

We use the James reduced product theorem and the Bott–Samelson theorem: if $X$ is a connected based CW complex with free integral homology, then $JX\to \Omega \Sigma X$ is a weak equivalence, and its induced Pontryagin ring isHere $\Sigma$ is the reduced suspension, $T$ is the tensor algebra, and the multiplication is induced by concatenating James words, hence by concatenating loops. Taking $X=S^{2n}$ supplies a single generator $x$ of degree $2n$, sois free, with one generator in every degree $2nk$ and zero in the other degrees.

The diagonal makes this a homology coalgebra. The generator $x$ is a primitive homology class:There are no nontrivial lower positive degrees in which its reduced diagonal could land. Compatibility of the diagonal with loop multiplication givesThe degree of $x$ is even, so the two tensor factors commute without a Koszul sign rule.

The universal coefficient theorem for cohomology has no Ext terms here because homology is free. Let $a_k$ be the cohomology class dual to $x^k$, with $a_0=1$ and $|a_k|=2nk$. The cup product is dual to the diagonal, henceTherefore the integral cohomology ring is the divided power algebraExplicitly $H^{2nk}=\mathbb{Z}{a}_k$ for $k\ge 0$, and all other cohomology groups vanish. In particular $a_1^k=k!a_k$: over the integers this is not a polynomial ring on $a_1$. This is the integral cohomology of an odd-sphere loop space.

For the requested homology multiplication, use the homology cross product followed by concatenation:The constant loop gives the degree-zero unit. Loop concatenation is associative up to homotopy, which suffices for associativity on homology; Moore loops can make the space-level operation strictly associative. The Künneth theorem identifies the tensor-product homology because its groups are free abelian groups. The Bott–Samelson theorem identifies this product with word multiplication, so $x^i\ast x^j=x^{i+j}$. The Pontryagin ring of an odd-sphere loop space has presentationWith only one generator the tensor algebra has the indicated polynomial presentation. The homology product and the divided-power cohomology product are different operations.

$\boxed{{\mathbb{Z}}^4\text{ is not a nontrivial free product}.}$ In a nontrivial free product, nonidentity elements $g,h$ from different factors satisfy $gh\ne hg$, since these are distinct alternating normal forms. Such a group is not an abelian group, whereas the free abelian group ${\mathbb{Z}}^4$ is abelian.

The ordinary Poincare duality statement here is for a compact manifold without boundary, of dimension $d$, oriented over the field $F$. Its fundamental class $[M{]}_F$ induces isomorphismsfor every $q$. For a manifold with boundary the appropriate statement is Poincare-Lefschetz duality with relative groups; the ordinary pairing need not be nondegenerate. Over a field, the universal coefficient theorem for cohomology identifies $H^{d-q}(M;F)$ with the full dual of $H_{d-q}(M;F)$. The cap-cup evaluation identity and duality therefore makea perfect pairing. Explicitly, a nonzero $a$ has a nonzero cap product, and a linear functional $b$ on its homology group takes a nonzero value on that product. The same argument in the other variable proves nonsingularity. On the whole graded cohomology, define $B(a,b)$ by taking the degree-$d$ part of $a⌣b$ before evaluation. For a nonzero component $a_q$ choose $b$ homogeneous of degree $d-q$ to pair nontrivially with it. All other components contribute zero in degree $d$. This proves that the Poincare duality pairing is a nondegenerate bilinear form on $H^{\ast }(M;F)$; it need not be symmetric on all degrees.

Put $r=2n+1$, so $r$ is positive and odd, and orient each $S^r\times S^r$ by its product orientation. The Künneth theorem gives integral cohomology $\mathbb{Z}$ in degrees zero and $2r$, ${\mathbb{Z}}^2$ in degree $r$, and zero elsewhere. Its two degree-$r$ generators $\alpha ,\beta$ have ${\alpha }^2={\beta }^2=0$, $\alpha \beta$ equal to its top orientation class, and $\beta \alpha =-\alpha \beta$.

For a connected sum of oriented manifolds, excision and the long exact sequence for deleting a ball show that deleting a ball removes the top homology class and leaves all lower positive homology groups unchanged. The boundary sphere represents zero in the punctured manifold: it is the boundary of its relative fundamental chain. In the Mayer–Vietoris sequence for the two punctured pieces joined along the separating sphere, the orientation class of the connected sum maps onto that sphere's class. The intermediate positive groups are consequently the direct sums of the groups of the two original manifolds. This also covers $r=1$, where the sphere is a circle and the boundary-class observation is necessary in the middle degree. Iterating and applying the universal coefficient theorem for cohomology givesHere $g\ge 1$; under the conventional extension $W_0=S^{2r}$ the same formula holds with a zero middle group.

Let $\omega$ be the top cohomological orientation class. The connected-sum pinch map to the wedge of the $g$ sphere products gives degree-one projections to each summand. Pull back the two factor classes from summand $i$ to obtain ${\alpha }_i,{\beta }_i$. Their product is $\omega$, since the projection has degree one. Classes from different wedge summands have zero positive-degree cup products, and graded commutativity of the cup product supplies the reversed sign. Thus the full cohomology ring of a connected sum of odd-dimensional sphere products is the graded free abelian group just displayed with multiplicationThe unit is $1$, and $\omega$ times any positive-degree class is zero by dimension. This describes all products, including ${\omega }^2=0$.

The smooth involution is a diffeomorphism, since it is its own inverse. Its fixed set is closed; discreteness and compactness therefore make it finite. The supplied positivity of $\det (I-D{f}_x)$ makes every fixed point nondegenerate with local index $+1$. The Lefschetz-Hopf fixed-point theorem then givesIndeed the degree-zero and top-degree traces are both one, because the manifold is connected and $f$ preserves its orientation; the middle degree is odd.

On $V=H^r(W_g;\mathbb{R})$, the form $\Omega (a,b)=⟨a⌣b,[W_g]⟩$ is a nondegenerate alternating bilinear form by Poincare duality and the oddness of $r$. Thus it is a symplectic vector space of dimension $2g$. Naturality and orientation preservation show that $T$ preserves $\Omega$, and $T^2=I$. For the eigenspaces of a symplectic involution, write $V=V_{+}\oplus V_{-}$: the polynomial $(t-1)(t+1)$ has distinct roots over $\mathbb{R}$. If $v_{+}\in V_{+}$ and $v_{-}\in V_{-}$, then $\Omega (v_{+},v_{-})=\Omega (T{v}_{+},T{v}_{-})=-\Omega (v_{+},v_{-})$, so the two vector subspaces are orthogonal. Each restricted form is nondegenerate, since a vector annihilating its own vector subspace also annihilates the other and hence all of $V$. Their dimensions are therefore even, say $\dim V_{+}=2a$, $\dim V_{-}=2b$, with $a+b=g$. ConsequentlyThis proves the fixed-point congruence for an involution on an odd-sphere connected sum:

Each factor is a free abelian group of rank two. Take the infinite symmetric generating setThe Bass-Serre tree has an edge $e_g$ joining $gA$ to $gB$ for every $g\in A\ast B$. Indeed, the normal form theorem for a free product gives $A\cap B=\{1\}$, so a nonempty coset intersection consists of exactly one element. Let $m_g$ be the midpoint of $e_g$ and send the Cayley vertex $g$ to $m_g$.

Two distinct edges $e_g,e_h$ share an endpoint precisely when $g^{-1}h\in A\setminus \{1\}$ or $g^{-1}h\in B\setminus \{1\}$. This is exactly adjacency in the Cayley graph for $S$. A path in that graph therefore gives a path between the midpoints of the same length in the tree. Conversely, the unique tree segment between two edge midpoints passes through a succession of adjacent edges and gives a Cayley path of that length. Hence, on vertices,All edge midpoints occur, and every tree point is within $1/2$ of one of them. Extending along Cayley edges gives a quasi-isometry of the metric graphs; ambiguity from folding the cliques at a tree vertex costs only a bounded additive error. This is the free product with factor generating set construction.

For finite generating sets the answer changes. Use $S_0=\{a,a^{\prime },b,b^{\prime }{\}}^{\pm 1}$. The retraction $A\ast B\to A$ killing $B$ sends every generator to a generator of $A$ or to the identity. Therefore the restriction of $d_{S_0}$ to $A$ is exactly the standard ${\ell }^1$ word metric on ${\mathbb{Z}}^2$.

In this grid, take vertices $(0,0),(2N,0),(0,2N)$. Use the two axis segments as two sides, and the path from $(2N,0)$ through $(2N,2N)$ to $(0,2N)$ as the third. All are metric geodesics in the whole Cayley graph, by the retraction argument. The corner $(2N,2N)$ is at distance $2N$ from either of the other sides. These metric geodesic triangles are arbitrarily thick, so this Cayley graph is not a Gromov-hyperbolic metric space.

A tree is $0$-hyperbolic. Hyperbolicity is invariant under quasi-isometry for metric geodesic spaces, and all finite word metrics on this group are equivalent. Consequently no Cayley graph for a finite generating set is quasi-isometric to any tree, including a locally infinite one.

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

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.

Take the free abelian group $G={\mathbb{Z}}^2$, whose rank of a group is two, and its finite-index subgroup $H=2\mathbb{Z}\times \mathbb{Z}$. The subgroup has index two and is again isomorphic to ${\mathbb{Z}}^2$, so its rank is two. The Nielsen–Schreier formula would instead give $1+2(2-1)=3$. Henceis a counterexample.

Let $T$ be the surface with boundary obtained by deleting the interiors of the $n$ disks. By excision,so $H_2(S,T)\cong {\mathbb{Z}}^n$ and the other relative groups vanish. In the long exact sequence in relative homology, the mapsends an orientation class to $(1,\dots ,1)$, up to an overall choice of sign. It is therefore injective and has cokernel ${\mathbb{Z}}^{n-1}$. Exactness gives $H_2(T)=0$ and a short exact sequenceThis sequence splits because its right-hand group is a free abelian group. Since $T$ is connected, we obtain

The Bott isomorphism is multiplication by the Bott element $\beta \in {\tilde{K}}^0(S^2)$:Together with the suspension isomorphism andit gives the Complex K-theory of a sphere

Letbe a CW filtration in which each quotient $Y_r/Y_{r-1}$ is a wedge of even-dimensional spheres. The six-term exact sequence in Topological K-theory, the sphere calculation, and induction giveand a short exact sequence whose new summand in $K^0(Y_r)$ is free abelian on the newly attached cells. Every such extension splits as an extension of free abelian groups, so $K^0(Y)$ is free, with one generator for each cell. This proves the Complex K-theory of an even-cell complex result.

The exterior product definesFor a point it is the identity. Attaching one layer of even cells gives corresponding exact sequences on the source and target; the sphere case is the suspension isomorphism, and induction with the Five lemma proves that the product map remains an isomorphism. This is the Künneth theorem for complex K-theory with an even-cell factor.

For a mapping torus $T_f$, the K-theory Wang sequence of a mapping torus containsWhen $K^{-1}(Z)=0$, exactness gives

For $Z={\mathbb{CP}}^2\times {\mathbb{CP}}^2$, the Complex K-theory of complex projective space and the K-theory Künneth isomorphism giveThe factor swap interchanges $x$ and $y$. Its invariant subgroup has the basisIt follows that the K-theory of the mapping torus of the factor swap on two complex projective planes is

A nonzero element of a free abelian group is primitive when it is part of an integral basis, equivalently when some homomorphism to $\mathbb{Z}$ takes it to one. Its coordinates have greatest common divisor one. This lattice meaning differs from a primitive homology class in the coalgebra sense.