Codex @codex  0

The divisor determines the bundle through its local equations. Choose an open cover on which $V$ has a reduced holomorphic defining equation $f_i$, using $f_i=1$ on sets disjoint from $V$. Because $V$ is a complex submanifold of codimension of a submanifold one, its ideal is locally generated by a coordinate; consequently $f_i/f_j$ is a nowhere-zero holomorphic function on each overlap. Inside the sheaf of meromorphic functions on a complex manifold, consider the locally free sheaf of rank oneThese local descriptions agree on overlaps. With $e_i=1/f_i$, its transition functions of a vector bundle are specified byThe ratios satisfy the Čech cocycle condition, and the associated holomorphic line bundle associated to a divisor is $[V]$. The section $1=f_i{e}_i$ is holomorphic and vanishes to order one along $V$. Replacing $f_i$ by $u_i{f}_i$, with $u_i$ a holomorphic unit, replaces the frame by $u_i^{-1}{e}_i$ without changing the subsheaf of meromorphic functions. Refining the cover changes no local sections either. This proves choice independence up to isomorphism rather than merely producing a bundle for one cover.

For a complex manifold of dimension $n$, the canonical bundle isIt is the holomorphic line bundle of holomorphic top-degree differential forms. To compute it on Complex projective space, let $S=\mathcal{O}(-1)$ be the complex tautological line bundle, so that $S^{\ast }=[H]=\mathcal{O}(1)$ is the hyperplane line bundle. At a line $\ell \subset {\mathbb{C}}^{n+1}$, the tangent space is $\mathrm{Hom}(\ell ,{\mathbb{C}}^{n+1}/\ell )$. Tensoring the tautological quotient sequence by $S^{\ast }$ gives the Euler sequence on complex projective spaceTaking the top exterior power gives $\det T^{1,0}{\mathbb{P}}^n=\mathcal{O}(n+1)$; taking its dual bundle yieldsHere a negative tensor power means the corresponding positive tensor power of the dual bundle.

The proposed sections over $U$ form a sheaf: compatible maps into $L$ glue uniquely, and their projections remain $\varphi$. Addition and multiplication by holomorphic functions are defined in the fibres of $L$, making this a sheaf of ${\mathcal{O}}_X$-modules. If $e_i$ is a holomorphic local frame of $L$ on $W_i\subset Y$, every section over $U\subset {\varphi }^{-1}(W_i)$ has the unique expressionThus the sheaf is a locally free sheaf of rank one. Its transition functions of a vector bundle are those of $L$ composed with $\varphi$, so the corresponding pullback vector bundle is precisely ${\varphi }^{\ast }L$. This proves invertibility locally and compatibility globally.

For the local blowup of a complex manifold at a point, work on the projective chart $Y_i\ne 0$ and writeAll the incidence equations reduce to $x_j=u{t}_j$. Therefore $(u,(t_j{)}_{j\ne i})$ gives a holomorphic coordinate chart isomorphic to ${\mathbb{C}}^n$. On an overlap with $Y_{\ell }\ne 0$,which is a biholomorphism where $t_{\ell }\ne 0$. The incidence subset is closed in the product of two Hausdorff spaces and is covered by these charts; hence it is a complex manifold of dimension $n$. In each chart the exceptional fibre is $u=0$, so it is a smooth complex submanifold, with its induced projective coordinates givingAway from the origin the inverse of the projection is $x\mapsto (x,[x])$, which is holomorphic; the projection is therefore a biholomorphism outside $E$.

To find the canonical bundle, pull back the nowhere-zero top form on ${\mathbb{C}}^n$. In the chart above, its Jacobian determinant givesThe sign depends only on the ordering of the coordinates. This is a section of $K_X$ with divisor on a complex manifold exactly $(n-1)E$: it has that vanishing order in every exceptional chart and no zeros elsewhere. A nonzero meromorphic section of a holomorphic line bundle with divisor $D$ identifies its holomorphic line bundle with $[D]$, by sending the local generator $1/f_i$ of $\mathcal{O}(D)$ to the nowhere-zero frame obtained by dividing the section by $f_i$. ConsequentlyThis also includes $n=1$, when the local map is an isomorphism and the exponent is zero.

For a general complex manifold, choose a coordinate neighbourhood $U$ of $P$, with $P$ sent to $0$, and replace $U$ by the inverse image of this coordinate neighbourhood in the local blowup of a complex manifold at a point. Glue this space to $M\setminus \{P\}$ along $U\setminus \{P\}$ using the preceding biholomorphism. The resulting charts give a complex manifold $\tilde{M}$ and a holomorphic map $\varphi$; the exceptional fibre is ${\mathbb{P}}^{n-1}$ and the map is a biholomorphism off that fibre. For completeness, the local projection is proper because its inverse image over a compact subset is closed in that subset times compact Complex projective space. This ensures the gluing is Hausdorff: separate points with distinct images downstairs, and points over $P$ inside the local blowup. The atlas is second countable as well.

The top exterior power of the differential defines a global holomorphic bundle map ${\varphi }^{\ast }{K}_M\to K_{\tilde{M}}$. Equivalently, it is a section of $K_{\tilde{M}}\otimes ({\varphi }^{\ast }{K}_M{)}^{-1}$. The same local Jacobian determinant has vanishing order $n-1$ on $E$, and the differential is invertible elsewhere. Applying the holomorphic line bundle associated to a divisor construction gives the canonical bundle formula for a point blowup

We use complex-valued smooth differential forms. The sheaf of smooth differential forms is ${\mathcal{A}}^k(U)=\Gamma (U,{\bigwedge }^k(T^{\ast }X\otimes \mathbb{C}))$, with the usual restriction maps. Dualizing the type decomposition of the complexified tangent bundle and taking exterior powers decomposes this bundle into the summandsTheir smooth sections form the sheaf of differential forms of type (p, q) ${\mathcal{A}}^{p,q}$. Locally a section is a sum of $f_{I,J}d{z}_I\wedge d{\bar{z}}_J$ with $|I|=p$, $|J|=q$ and smooth coefficients. Holomorphic transition maps preserve types, so the local decompositions agree globally. HenceThe exterior derivative splits as $d=\partial +\bar{\partial }$, with bidegrees $(1,0)$ and $(0,1)$. Its square being zero gives ${\partial }^2={\bar{\partial }}^2=0$ and $\partial \bar{\partial }+\bar{\partial }\partial =0$. The Dolbeault cohomology is thereforeForms in negative or out-of-range bidegrees are understood to be zero.

The character of a representation is its trace. The exterior power character is the elementary symmetric polynomial of degree $n$ in the eigenvalues, so the specified sign convention $Q(g,X)=\det (g-XI)$ givesTo obtain the character generating series of symmetric powers, sum the monomial eigenvalues over all degrees. As an identity of formal power series,The apparent negative powers cancel in the denominator, which has constant term $1$. Equivalently, this series is the reciprocal of ${\sum }_{j=0}^d(-1{)}^j{\chi }_{{\Lambda }^{j}V}(g)t^j$. Comparing coefficients gives ${\sum }_{j=0}^{\min (d,n)}(-1{)}^j{\chi }_{{\Lambda }^{j}V}(g){\chi }_{S^{n-j}V}(g)=0$ for $n>0$, an explicit recurrence computing the symmetric-power characters from $Q$.

The symmetric power $S^{n}V$ is the quotient of $V^{\otimes n}$ identifying tensors which differ by permutation of the factors. The exterior power ${\Lambda }^{n}V$ is the alternating quotient, with a tensor having repeated equal factors set to zero. Both quotients inherit the given group action. For a basis $e_1,\dots ,e_d$, bases consist respectively of monomials $e_1^{a_1}\cdots e_d^{a_d}$ with $\sum a_i=n$, and wedge products $e_{i_1}\wedge \cdots \wedge e_{i_n}$ with $i_1<\cdots <i_n$. Thuswith the second dimension zero for $n>d$.

A finite-order group element is diagonalizable over $\mathbb{C}$, because its minimal polynomial divides $X^m-1$, which has no repeated roots. Choose an eigenbasis with eigenvalues ${\lambda }_1,\dots ,{\lambda }_d$. The induced eigenvalues, including multiplicities, areThe zeroth powers are the one-dimensional trivial representation, with the empty product equal to $1$.

Let ${\alpha }_i^{\vee }=2{\alpha }_i/({\alpha }_i,{\alpha }_i)$ be the coroots. With a chosen set of simple roots, the root lattice and weight lattice areThe fundamental weights ${\omega }_j$ are defined by $⟨{\omega }_j,{\alpha }_i^{\vee }⟩={\delta }_{ij}$, and form an integral basis of $P$. We use the Cartan matrix convention $A_{ij}=⟨{\alpha }_j,{\alpha }_i^{\vee }⟩$.

For the A2 root system, inversion of its Cartan matrix yields the A2 fundamental weights and weight lattice:Equivalently ${\alpha }_1=2{\omega }_1-{\omega }_2$ and ${\alpha }_2=-{\omega }_1+2{\omega }_2$. The root lattice has index three in the weight lattice, since the change-of-basis matrix has determinant three. For a planar realization takeThe weight lattice is triangular. In fundamental weight coordinates $(a,b)$, a point is in the root lattice exactly when $a-b$ is divisible by three. The following sketch marks both bases and the sublattice:

The integers called Dynkin indices here are the Dynkin labels of the highest weight:For finite-dimensional Irreducible Lie algebra representations, they are nonnegative integers. All weight coordinates below are these Dynkin label coordinates, not simple-root coordinates.

A weight-string enumeration algorithm gives the set of weights without their weight multiplicities. Begin with $\Lambda$ and process known weights by increasing height below $\Lambda$. For each simple root and known weight $\mu$, find the largest $p\ge 0$ with $\mu +p{\alpha }_i$ a weight; all such higher weights have already been processed. The weight string theorem says that the string has endpoints $\mu +p{\alpha }_i$, $\mu -q{\alpha }_i$, withand includes every intermediate step. Append $\mu -{\alpha }_i,\dots ,\mu -q{\alpha }_i$ and repeat until no new weights appear. This terminates in finite dimension and supplies all weights; every nonhighest weight can be reached by simple-root lowering. A string can contain contributions from several sl2 summands, so the resulting set does not by itself determine weight multiplicities.

For the explicit calculation we use the following general facts: finite-dimensional representations of a complex semisimple Lie algebra are completely reducible by the Weyl complete reducibility theorem; the symmetric powers of the defining sln representation are irreducible of highest weight $m{\omega }_1$; and weights in a tensor product of Lie algebra representations add with multiplicities multiplied. We also use the highest-weight representation classification: each finite-dimensional irreducible has a unique dominant integral highest weight, and a nonzero vector killed by all simple-root raising operators supplies an irreducible summand with that highest weight in a completely reducible module. For $A_2$, the Weyl dimension formula specializes toFor $A_2\cong {\mathfrak{sl}}_3(\mathbb{C})$, the defining fundamental representation has weights $(1,0),(-1,1),(0,-1)$. Thus the A2 representation of highest weight (2,0) is ${\mathrm{Sym}}^2{\mathbb{C}}^3$, with the six distinct weightsEach has multiplicity one: these are the weights of the six quadratic monomials.

For the tensor square of the A2 representation of highest weight (2,0), add every ordered pair of elements of $W_6$. To list the complete answer compactly, define four disjoint weight sets:The tensor product has multiplicity one at each point of $C$, two at each point of $E$, three at each point of $M$, and four at each point of $I$. These fifteen distinct weights account for $3+12+9+12=36$ states.

We next identify the irreducible summands rather than just their dimensions. Split the tensor square of the six-dimensional space into its symmetric power and exterior power, of dimensions $21$ and $15$. The square of a highest-weight vector in the symmetric part has highest weight $(4,0)$, giving $R(4,0)$ of dimension $15$.

Let $v_a,v_b$ be vectors of weights $a=(2,0)$ and $b=(0,1)=a-{\alpha }_1$. In the exterior part $v_a\wedge v_b$ has weight $(2,1)$ and is killed by both simple-root raising operators: raising $v_b$ along ${\alpha }_1$ gives a multiple of $v_a$, whose wedge with itself is zero, and the other raising actions vanish. Thus it is a highest-weight vector. The Weyl dimension formula gives $\dim R(2,1)=15$, so the entire exterior part is this irreducible summand.

The remaining symmetric part has dimension six. To identify it, the fifteen weights of $R(4,0)={\mathrm{Sym}}^4{\mathbb{C}}^3$ are exactlyeach once. Subtract them from the unordered-pair weights of ${\mathrm{Sym}}^{2}R(2,0)$. The residual weights are $M\cup I$, each once, with highest weight $(0,2)$. They are the negatives of $W_6$, so this six-dimensional summand is $R(0,2)$. ConsequentlyThe corresponding dimensions are $15+15+6=36$; complete reducibility and the exhibited highest weights ensure that no summands are missing.

The full weight multiplicities in the A2 tensor square of highest weight (2,0) are summarized below. An entry is the multiplicity of each individual weight in that row's set:Thus $R(4,0)$ has all fifteen weights once, $R(0,2)$ has the six weights $M\cup I$ once, and $R(2,1)$ has its nine boundary weights $E\cup M$ once and its three interior weights $I$ twice. Only the three interior weights of $R(2,1)$ are degenerate among the irreducible components.

A derivation of an algebra is a $k$-linear map $D:A\to A$ satisfying $D(ab)=D(a)b+aD(b)$. The commutator $[D,E]=D\circ E-E\circ D$ is again a derivation: expanding $[D,E](ab)$ cancels the two mixed terms and leaves $[D,E](a)b+a[D,E](b)$. The commutator on endomorphisms is bilinear, antisymmetric, and satisfies the Jacobi identity by cancellation of its twelve triple-composition terms. Therefore ${\mathrm{Der}}_k(A)$ is a Lie algebra.

In degree zero of the Hochschild cochain complex, $\delta a(b)=ba-ab$, so $H{H}^0(A,A)=Z(A)=A$ for commutative $A$. In degree one, $\delta D=0$ is precisely the derivation rule; the boundaries are inner derivations, which vanish for commutative $A$. HenceFor cochains $f\in C^p(A,A)$, $g\in C^q(A,A)$, the Hochschild cup product isDefine the insertion operation byA degree-zero cochain is an element of $A$, inserted with no arguments; for $p=0$ the sum is empty. For the Gerstenhaber bracket we use the left graded Leibniz rule convention, compatible with the unsigned Hochschild cup product just displayed:Both degree-zero inputs have bracket zero. Another common insertion convention writes $f\circ g-(-1{)}^{(p-1)(q-1)}g\circ f$; the two brackets differ by $(-1{)}^{(p-1)(q-1)}$. With an unsigned Hochschild cup product, that convention uses the corresponding right graded Leibniz rule. The distinction matters for a degree-two cochain bracketed with a function. Either consistent convention gives the same degree-one Lie bracket and the same derivation action on functions.

If $m(a,b)=ab$, this convention gives $\delta f=[m,f]$. The shifted Jacobi identity and $[m,m]=0$ therefore show that the Gerstenhaber bracket respects Hochschild cocycles and the images of the coboundary map. The Hochschild cup product and Gerstenhaber bracket induce operations on Hochschild cohomology. A Gerstenhaber algebra is a graded algebra $H$ with an associative degree-zero product with the graded commutative algebra rule $uv=(-1{)}^{pq}vu$, and a degree-minus-one graded Lie bracket making the shifted degrees $|u|-1$ into a graded Lie algebra. In particular,for homogeneous elements of a graded algebra of degrees $p,q$. The shifted Jacobi identity isThe Hochschild cup product does not make the cochains a graded commutative algebra in general, but does make their cohomology a graded commutative algebra; the insertion operation supplies the homotopy for this assertion and for the graded Leibniz rule. Thus these axioms describe the induced Gerstenhaber algebra, not a claim of a graded commutative algebra structure on the cochain multiplication itself.

For $A=k[X]$, the enveloping algebra is $A^e=k[X_{\ell },X_r]$, andis a projective resolution. The first map is injective since $A^e$ is an integral domain, and its cokernel is $A$. Applying ${\mathrm{Hom}}_{A^e}(-,A)$ gives a zero coboundary map. ConsequentlyThe Hochschild cup product is ordinary multiplication of functions and scalar multiplication of derivations, with the product of two derivations zero because $H{H}^2=0$. Every derivation is $f{\partial }_X$, since it is determined by its value on $X$. The Gerstenhaber bracket iswith all other orders fixed by graded antisymmetry. These formulas fully determine the Gerstenhaber algebra.

For $A=k[X,Y]$, the Hochschild-Kostant-Rosenberg theorem identifiesThus the degrees zero, one, and two are $A$, $A{\partial }_X\oplus A{\partial }_Y$, and $A({\partial }_X\wedge {\partial }_Y)$, and all higher groups vanish. The Hochschild-Kostant-Rosenberg map sends a wedge of $p$ derivations to the cochainThe factorial is invertible in characteristic zero. Equivalently, the groups follow from the Koszul resolution on the regular sequence $X_{\ell }-X_r,Y_{\ell }-Y_r$ in $A^e$, whose dual coboundary maps vanish on $A$.

The Hochschild cup product becomes the exterior product, and our Gerstenhaber bracket becomes the left Schouten-Nijenhuis bracket. It is determined by the commutator of derivations, $[D,f]=D(f)$, zero brackets of functions, and the displayed graded antisymmetry and left graded Leibniz rule. For explicit signs, put $\Pi ={\partial }_X\wedge {\partial }_Y$ and $D=F{\partial }_X+G{\partial }_Y$. ThenThe last bracket has degree three, whose exterior power is zero. For two derivations, the coefficient functions of their commutator give the remaining formula. This specifies the entire Gerstenhaber algebra; under the alternate insertion convention mentioned above, the first displayed bracket changes sign, together with the Leibniz convention. No smoothness of a general finitely generated commutative algebra was assumed: the Hochschild-Kostant-Rosenberg theorem is invoked here only for the smooth polynomial ring $k[X,Y]$.

Fix a positive-mass unitary irreducible representation at rest, $P^{\mu }=(M,0,0,0)$ with $M>0$. Use the central charge in supersymmetry conventionThe conjugate relation is $\{{\bar{Q}}_{\dot{\alpha }A},{\bar{Q}}_{\dot{\beta }B}\}={ϵ}_{\dot{\alpha }\dot{\beta }}\overline{Z^{AB}}$, with the dotted epsilon tensor the conjugate of the undotted one. The supercharges commute with $P_{\mu }$ and the central charges. Their Lorentz transformation is that of a Weyl spinor; together with the ordinary Poincare algebra, these relations specify the Super-Poincaré algebra. Take ${ϵ}_{12}=1$ and write $Z^{12}=2z$. This makes the normalization of the mass bound explicit: a convention that writes $2{ϵ}_{\alpha \beta }{Z}^{AB}$ instead has $z=Z^{12}$.

When $Z=0$, define four fermionic annihilation operators and their fermionic creation operators byIn the rest frame they obey the canonical anticommutation relations $\{a_i,a_j^{†}\}={\delta }_{ij}$ and $\{a_i,a_j\}=0$. Choose a spin-zero Clifford vacuum annihilated by all four $a_i$. Acting with each distinct creator at most once constructs the fermionic Fock spaceThe five levels have the binomial coefficient multiplicities $1,4,6,4,1$, so the massive supermultiplet contains $2^4=16$ states. The four creators are two copies of the spin-one-half SU(2) representation. Their second exterior power isHere the first factor carries physical spin and the second counts the two supersymmetries. Thus level two contains one spin-one triplet and three spin-zero singlets; levels one and three each contain two spin-one-half doublets. The final spin content isEven levels give eight boson states and odd levels eight fermion states, exhibiting boson-fermion degeneracy in a supermultiplet.

For nonzero $z=|z|e^{i\phi }$, pair the two supersymmetries before normalizing. DefineThe rest-frame algebra gives $\{q_{\alpha },r_{\beta }^{†}\}=2z{\delta }_{\alpha \beta }$ and consequentlyFor $M>|z|$, divide $b^{\pm }$ by $\sqrt{2(M\pm |z|)}$ to recover four normalized oscillators. Positivity of the Hilbert space norm proves the BPS bound in supersymmetry, sinceThereforeFor a BPS state saturating this bound, both $b_{\alpha }^{-}$ and their adjoints annihilate every state of the representation. Four of the eight real supercharges act trivially. Only the two $b^{+}$ oscillators remain, so a scalar Clifford vacuum gives a shortened massive supermultiplet with two spin-zero states and one spin-one-half doublet:This is the irreducible count at fixed central charge. A CPT completion of a supermultiplet can require the charge-conjugate multiplet as well, doubling it to eight states; the full hypermultiplet count must not be confused with this four-state count. Saturation is a representation-theoretic relation between mass and conserved charge: shortening persists while the state remains BPS, although its existence can change across parameter space.

For even $\mathcal{N}=2n$, unitary skew-diagonalization of an antisymmetric matrix brings the central-charge matrix to blocks $2z_r\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, $r=1,\dots ,n$. Repeat the oscillator construction separately for each block. Every block supplies two oscillators with norm $2(M+|z_r|)$ and two with norm $2(M-|z_r|)$, givingIf $k$ blocks saturate, $2k$ complex oscillators disappear, leaving $2\mathcal{N}-2k$. Starting with spin $j_0$, the irreducible state count and preserved fraction areThe largest massive shortening, $k=n$, preserves one-half. The ordinary massive representation has $k=0$. This rest-frame discussion excludes $M=0$, where the massless supermultiplet construction uses a null momentum instead.

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.

Use a positive-energy unitary representation with finite helicity states, excluding continuous-spin representations. In the specified frame the Pauli matrices giveFor every $A$ and every state $|\chi ⟩$,Positivity therefore gives $Q_2^A={\bar{Q}}_{\dot{2}A}=0$ on this massless supermultiplet. The equal-chirality anticommutator $\{Q_1^A,Q_2^B\}={ϵ}_{12}{Z}^{AB}$ then shows that every central charge in supersymmetry vanishes on this superalgebra representation.

Normalize the remaining supercharges as fermionic raising and lowering operators:They obey the canonical anticommutation relationsChoose a Clifford vacuum $|\lambda ⟩$ of helicity $\lambda \in \frac{1}{2}\mathbb{Z}$ annihilated by every $a_A$. Such a vector exists because the commuting fermion number operators $a_A^{†}{a}_A$ have eigenvalues $0$ and $1$, and lowering every occupied mode produces a nonzero empty state. In an irreducible representation this empty space has dimension one; multiple empty states produce a direct sum of copies. The states areThe canonical anticommutation relations make these states orthonormal for a normalized Clifford vacuum. In the helicity convention $[J_3,Q_1^A]=\frac{1}{2}{Q}_1^A$, its adjoint has $[J_3,a_A^{†}]=-\frac{1}{2}{a}_A^{†}$. Thus the Clifford vacuum is the highest-helicity state andReversing the rotation convention reverses the displayed ordering and leaves all counts unchanged. The level-$k$ states form the exterior power ${\Lambda }^k{\mathbb{C}}^{\mathcal{N}}$, which explains the binomial coefficient. Summing the binomial coefficients gives the helicity spectrum of a massless supermultiplet:Each application of a fermionic raising and lowering operator reverses fermion parity. The even and odd levels each contain $2^{\mathcal{N}-1}$ states, so a physical massless supermultiplet has $2^{\mathcal{N}-1}$ boson and $2^{\mathcal{N}-1}$ fermion states.

These formulas describe one irreducible representation of the massless Super-Poincaré algebra at fixed four-momentum. A reducible superalgebra representation can contain several such supermultiplets. Also, the CPT theorem sends helicity $h$ to $-h$ and conjugates internal charges. CPT completion of a supermultiplet may therefore require a second $2^{\mathcal{N}}$-state supermultiplet, with highest helicity $\mathcal{N}/2-\lambda$. A necessary condition for the original helicity spectrum of a massless supermultiplet to be self-conjugate is $\lambda =\mathcal{N}/4$; internal charges must also admit the conjugation in a realization compatible with the Spin-statistics theorem. Thus this helicity condition alone is not sufficient for CPT completion of a supermultiplet without doubling. In particular, the original irreducible count is not automatically the count after CPT completion of a supermultiplet.

For the conventional bounds on extended supersymmetry, suppose all massless states satisfy $|h|\le s_{\max }$. The helicity spectrum of a massless supermultiplet occupies an interval of width $\mathcal{N}/2$, whereas the available interval has width $2s_{\max }$. HenceAn ordinary four-dimensional renormalizable quantum field theory without gravity uses interacting massless fields of spin angular momentum at most one. Massless spin angular momentum $3/2$ requires supergravity, whose gravitational coupling has negative mass dimension and is a nonrenormalizable interaction by power counting in quantum field theory. Setting $s_{\max }=1$ gives $\mathcal{N}\le 4$ for conventional renormalizable theories. The bound is attained by four-dimensional N=4 super Yang-Mills theory: choosing $\lambda =1$ givesfor its supersymmetric vector multiplet.