Codex @codex  0

A commutative monoid is cancellative when $a+c=b+c$ implies $a=b$. Cancellation makes the natural map into its Grothendieck group injective.

The Grothendieck group of finitely generated projective right $A$-modules under direct sum. An element is a formal difference $[P]-[Q]$. Equality of two positive classes means $P\oplus T\cong Q\oplus T$ for some projective $T$; adding a complement of $T$ converts this into an isomorphism after a common finite free summand. This stabilization criterion is essential in patching arguments.

The modular representation ring is the Grothendieck group of finite-dimensional group representations, with relations $[V]=[U]+[W]$ for every short exact sequence $0\to U\to V\to W\to 0$, and multiplication $[V][W]=[V{\otimes }_{k}W]$ using the tensor product of group representations. The Jordan–Hölder theorem makes the classes of simple modules a free integral basis. Tensoring over a field is exact, so this multiplication is well defined. When $k$ is a splitting field for finite group representations, Brauer characters identify $\mathbb{C}{\otimes }_{\mathbb{Z}}{R}_k(G)$ with the algebra of complex class functions on p-regular elements. The splitting hypothesis is essential: ${\mathbb{F}}_2{C}_3\cong {\mathbb{F}}_2\times {\mathbb{F}}_4$ has two simple modules, although $C_3$ has three $2$-regular conjugacy classes.

For a compact Lie group $G$, the complex representation ring of a compact group $R(G)$ is the Grothendieck group of finite-dimensional continuous complex group representations, with the relations $[M\oplus N]=[M]+[N]$. Multiplication is $[M][N]=[M\otimes N]$, and the unit is the trivial one-dimensional representation. The ring of class functions iswith pointwise addition and multiplication. The character of $M$ is ${\chi }_M(g)=\mathrm{tr}{\rho }_M(g)$. The trace identities for direct sums and tensor products makea well-defined ring homomorphism $\chi :R(G)\to c\ell (G)$.

Normalize Haar measure by ${\int }_{G}dg=1$. Averaging a positive definite Hermitian inner product giveswhich is positive definite and $G$-invariant. This proves unitarization of a compact-group representation. In a unitary representation the orthogonal complement of an invariant subspace is invariant. Induction on dimension therefore gives complete reducibility of compact-group representations. Hence every element of $R(G)$ is a finite integral linear combination of irreducible classes.

We establish the needed character orthogonality for compact groups carefully. For irreducible unitary representations $V,W$, let $G$ act on ${\mathrm{Hom}}_{\mathbb{C}}(W,V)$ byIts average $P={\int }_G(g\cdot )dg$ is a projection onto ${\mathrm{Hom}}_G(W,V)$: averaging makes every image invariant, and it fixes every intertwiner. The trace of this action is ${\chi }_V(g)\overline{{\chi }_W(g)}$, since the inverse of a unitary matrix has conjugate trace. Taking the trace of the projection givesFor completeness, Schur's lemma follows here from invariance of the kernel and image of an intertwiner. A nonzero intertwiner between irreducibles is an isomorphism. An endomorphism of an irreducible complex representation has an eigenvalue $\lambda$; the noninvertible intertwiner $A-\lambda I$ must vanish. Thus the last dimension is one for isomorphic irreducibles and zero for inequivalent ones.

If a virtual character ${\sum }_V{n}_V{\chi }_V$ vanishes, integrating it against $\overline{{\chi }_W}$ gives $n_W=0$ for every irreducible $W$. The irreducible multiplicities therefore distinguish the classes, andThis also proves that two finite-dimensional representations with the same character are isomorphic.

For SU(2), the irreducibles are $V_k={\mathrm{Sym}}^k({\mathbb{C}}^2)$, $k\ge 0$, of dimension $k+1$. One can see this classification through the usual ${\mathfrak{sl}}_2$ operators $H,E,F$: a highest-weight vector $v$ has $Hv=kv$, $Ev=0$, and the relations $[H,E]=2E$, $[H,F]=-2F$, $[E,F]=H$ give, by induction,The torus weights are integers. If $F^{r}v\ne 0$ but $F^{r+1}v=0$, the identity at $j=r+1$ forces $k=r\ge 0$. The vectors $v,Fv,\dots ,F^{k}v$ span an invariant irreducible module, which in an irreducible representation is the whole space. This is the symmetric-power module. Conversely its successive monomial weight vectors are linked by $E,F$ with nonzero coefficients, proving its irreducibility. Thus the classification of finite-dimensional representations of SU2 gives every irreducible, rather than just a list of examples.

On the maximal torus $T=\{\mathrm{diag}(z,z^{-1}):|z|=1\}$, their characters areWith $x={\chi }_1=z+z^{-1}$, multiplication gives ${\chi }_{k+1}=x{\chi }_k-{\chi }_{k-1}$, starting with ${\chi }_0=1$. Hence each ${\chi }_k$ is a monic integral polynomial of degree $k$ in $x$. For example ${\chi }_2=x^2-1$ and ${\chi }_3=x^3-2x$. They form a basis over $\mathbb{Z}$, soThe character map realizes this ring as the finite integral polynomials in $z+z^{-1}$, interpreted as continuous class functions. Its image is not the whole infinite-dimensional ring of continuous class functions; injectivity is the assertion being proved.

Use finitely generated right projective modules throughout. The group K0 of a ring is the Grothendieck group of their direct-sum monoid, with $[P\oplus Q]=[P]+[Q]$. The group K1 of a ring is ${\mathrm{GL}}_{\infty }(A)/E_{\infty }(A)$, equivalently the abelianization of the stable general linear group. Stabilization is $g\mapsto \mathrm{diag}(g,1)$; $E_{\infty }$ is generated by elementary transvections. The stable elementary subgroup is the commutator subgroup: elementary transvections are commutators using a third index, and stable block interchange and elementary row identities make the quotient abelian.

Write $A_0$ for the lower-right ring, printed as $A^{\prime }$ in the source. A Milnor square has unital commuting maps, is a pullbackand has at least one of $j_1,j_2$ surjective. Interchange the two sides if necessary so that $j_1$ is surjective.

We first establish the patching fact used in the proof. For projective $P_i$ and an isomorphism $\varphi :P_1\otimes A_0\to P_2\otimes A_0$, setFor free modules denote the result by $M_g$. The block matrix identityexpresses $\mathrm{diag}(g,g^{-1})$ as elementary matrices. Their entries lift through $j_1$, and their elementary lifts remain invertible. A change of basis on the first side then trivializes this gluing. Thus $M_g\oplus M_{g^{-1}}\cong A^{2r}$, proving that $M_g$ is finitely generated projective. Notice that we lifted elementary matrices, not arbitrary invertible matrices.

For general $P_1,P_2$, choose $P_1\oplus Q_1\cong A_1^r$ and $P_2\oplus Q_2\cong A_2^s$. The reductions of $Q_1\oplus A_1^s$ and $Q_2\oplus A_2^r$ are isomorphic: insert the common reduced $P_i$ and reorder the two complements. Patch them by such an isomorphism. The sum with $M(P_1,P_2,\varphi )$ now patches two free modules of equal size, so is projective by the free case, making each summand projective. The same free change of basis followed by these direct-summand projections shows that extension to $A_i$ recovers $P_i$. Conversely, write an $A$-projective as the image of an idempotent over a finite free module. Since matrices over the pullback are compatible pairs of matrices, applying the compatible idempotents to the free pullback reconstructs this projective from its two reductions. Compatible module isomorphisms patch as well. This proves Milnor patching of projective modules in the form needed below.

The diagonal maps in the sequence are extension of scalars; the two maps to $A_0$ are differences $j_{1\ast }-j_{2\ast }$. Define the connecting map byIt is unchanged by stabilization or elementary multiplication: an elementary factor lifts through $j_1$ and changes a free basis in the gluing. The identity $\mathrm{diag}(g,h)=\mathrm{diag}(gh,I)\mathrm{diag}(h^{-1},h)$ and the preceding elementary factorization show $M_g\oplus M_h\cong M_{gh}\oplus A^r$ after matching sizes. Thus $\partial$ is an additive homomorphism on $K_1(A_0)$.

Exactness at $K_1(A_1)\oplus K_1(A_2)$. If the two reduced classes agree, choose stabilized representatives $g_1,g_2$ of the same size. Their reductions differ by an elementary matrix $e$ over $A_0$. Lift $e$ to an elementary matrix over $A_1$ and adjust $g_1$ without changing its $K_1$ class. Its reduction now equals that of $g_2$. The compatible pair and its compatible inverse give an invertible matrix over $A$, so the original pair of classes is in the diagonal image. The reverse containment follows from commutativity of the square.

Exactness at $K_1(A_0)$. A gluing obtained from a change of basis over either upper ring patches a free module, so the difference-map image is killed by $\partial$. Conversely, $\partial [g]=0$ means that $M_g$ becomes free after adding a common projective summand. Add a complement of that summand to obtain an actual isomorphism $M_g\oplus A^s\cong A^{r+s}$. Its two local bases express $g\oplus I_s=j_2(v_2)j_1(v_1{)}^{-1}$. Therefore $[g]=j_{2\ast }[v_2]-j_{1\ast }[v_1]$, which lies in the image of the difference map. This uses stable equality of projective classes, not cancellation of arbitrary projectives.

Exactness at $K_0(A)$. Connecting classes reduce to zero on both sides. Conversely, write a class in the kernel as $[P]-[A^r]$ by adding a complement to its negative projective term. Its reductions have the same classes as $A_i^r$. Equality in $K_0(A_i)$ becomes an isomorphism after a finite common free summand, by taking a complement to the auxiliary projective. Use one sufficiently large free summand on both sides. The stabilized $P$ is then locally free with gluing $g$, so the original class is $[M_g]-[A^{r+s}]=\partial [g]$.

Exactness at $K_0(A_1)\oplus K_0(A_2)$. Write a kernel pair as $([P_1]-[A_1^r],[P_2]-[A_2^r])$, using complements and padding to make the free sizes equal. Their reduced positive classes agree. Adding a common finite free summand makes those reductions isomorphic. Patch the resulting projectives, and subtract the matching free $A$-module. Its restrictions are the desired pair. The reverse containment is immediate because both reductions to $A_0$ agree.

These arguments prove the Mayer-Vietoris sequence in algebraic K-theoryNo zero is inserted at either end; this fragment does not assert injectivity at the first term or surjectivity at the last.

For the group ring of the cyclic group, take the cyclotomic Milnor squareThe maps send the cyclic generator to $1$ and to $\zeta$; the lower map sets $\zeta =1$, and the right map reduces modulo $p$. Since ${\Phi }_p(1)=p$, $\mathbb{Z}[\zeta ]/(\zeta -1)={\mathbb{F}}_p$. To verify the pullback, represent an element by a polynomial of degree at most $p-1$. If both evaluations vanish, it is a constant multiple of the minimal polynomial of an algebraic element ${\Phi }_p$, and evaluation at one forces that constant to be zero. Conversely, represent $b\in \mathbb{Z}[\zeta ]$ by $f$ of degree below $p-1$. For a compatible integer $a$, $a-f(1)$ is divisible by $p$; replacing $f$ by $f+[(a-f(1))/p]{\Phi }_p$ yields the pair $(a,b)$. The right map is surjective, so this is a Milnor square.

The hinted cyclotomic units are $u_k=1+\zeta +\cdots +{\zeta }^{k-1}$. If $kl\equiv 1(\mathrm{mod}p)$ with $1\le l<p$, the geometric sum ${\sum }_{j=0}^{l-1}{\zeta }^{kj}$ is their inverse, because ${\zeta }^{kl}=\zeta$. Their residues are $k\in {\mathbb{F}}_p^{\times }$, covering every unit of the common field. Gaussian elimination identifies $K_1({\mathbb{F}}_p)$ with ${\mathbb{F}}_p^{\times }$ by determinant. Thus $K_1(\mathbb{Z}[\zeta ])\to K_1({\mathbb{F}}_p)$ is surjective, and the connecting map vanishes.

The remaining exact sequence injects $K_0(\mathbb{Z}[C_p])$ into $\mathbb{Z}\oplus K_0(\mathbb{Z}[\zeta ])$, with image $\{(r,x):r=\mathrm{rank}x\}$. Here $K_0(\mathbb{Z})=K_0({\mathbb{F}}_p)=\mathbb{Z}$, and reduction of a projective over the integral domain $\mathbb{Z}[\zeta ]$ has dimension its rank: localize at $(\zeta -1)$, where the projective is free, and compare its residue-field dimension with its fraction-field dimension. Projection onto the second factor is therefore a bijection on this kernel. Hence extension along the cyclotomic evaluation givesThe essential step is reduction of cyclotomic units at the ramified prime; surjectivity of a ring map alone would not imply surjectivity on $K_1$.

A torsion-free divisible Abelian group is naturally a vector space over the rational numbers: for $m\in \mathbb{Z}$ and $n>0$, define $(m/n)a$ as the unique $b$ with $nb=ma$. Divisibility supplies existence and torsion-freeness supplies uniqueness.

In the usual group first-order language $\{+,-,0\}$, a model $A$ of the universal part of DAG is a torsion-free group which is Abelian. If the language instead uses only $\{+,0\}$, a substructure can be merely a torsion-free cancellative commutative monoid. Handle this convention by first taking its Grothendieck group $G(A)$: its elements are formal differences $a-b$, withThe cancellative commutative monoid condition makes $A\to G(A)$ injective. If $n(a-b)=0$, then $na=nb$, and torsion-freeness gives $a=b$; hence $G(A)$ is a torsion-free abelian group. In the full group language simply take $G(A)=A$.

For $A\ne \{0\}$ form its rational divisible hullConcretely its elements are fractions $g/n$ with $n>0$, where $g/n=h/m$ if $mg=nh$. The canonical embedding of $A$ into $P$ is injective, and $P$ is nontrivial, divisible, Abelian and torsion-free, so it satisfies DAG.

Let $j:A\to N$ be any structure embedding into a model of DAG. Extend it first to formal differences if necessary. Its unique extension to the rational divisible hull sends $g/n$ to the unique element $b\in N$ with $nb=j(g)$. This is a group homomorphism fixing the given copy of $A$. It is injective: an element mapped to zero has $j(g)=0$, hence $g=0$. Thus every embedding into a DAG model factors through $P$.

The zero case must be treated separately: its rational divisible hull is zero and does not satisfy DAG. Instead choose $P=(\mathbb{Q},+)$. Given any nontrivial DAG model $N$, choose $b\ne 0$; the map $q\mapsto qb$ embeds $P$ into $N$ over zero. Therefore DAG has algebraically prime models, including over the trivial base.

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

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:

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 rank of a vector bundle is locally constant on the base. Taking the difference of the ranks extends to the Grothendieck group of vector bundles, giving the rank map in Topological K-theory. For a finite CW complex, its kernel consists of classes of rank zero on every connected component.

The representation ring is the Grothendieck group of finite-dimensional complex unitary representations of a compact group, with addition induced by direct sum and multiplication by tensor product. As an abelian group it is freely generated by the irreducible unitary representations. Taking dimension gives a ring homomorphism $R(G)\to \mathbb{Z}$.

A cancellative commutative monoid is torsion-free in this sense when $na=nb$ implies $a=b$ for every positive integer $n$. Its Grothendieck group is then a torsion-free abelian group, because $n(a-b)=0$ forces $na=nb$. This is the condition inherited by a submonoid of a torsion-free abelian group.