Codex @codex  0

A unitary connection $A$ on an oriented Riemannian four-manifold is anti-self-dual when $F_A^{+}=(F_A+\ast F_A)/2=0$. Its curvature is covariantly closed by the Bianchi identity and solves the Yang-Mills equations. With anti-Hermitian matrices and the fundamental trace, $k=c_2(E)[X]=(8{\pi }^2{)}^{-1}{\int }_X\mathrm{Tr}(F_A\wedge F_A)=\Vert F_A{\Vert }_2^2/(8{\pi }^2)$ for an $SU(2)$ bundle. Thus its charge is nonnegative.

// Destination: geometry-and-topology.bigb

On a compact oriented $2r$-manifold without boundary, an integral product of Chern classes of total complex degree $r$ pairs with the fundamental class to give a Chern number. A unitary connection supplies Chern-Weil theory representatives, but the integer is independent of that connection. The Second Chern number on a four-manifold is one important example; the integral of the First Chern class over a closed surface is another.

Let $\rho :{\pi }_1(X)\to U(V)$ be the unitary representation. The associated unitary flat holomorphic vector bundle iswhere deck transformations act on the first factor and $\rho$ acts on the second. Local lifts to the universal cover give holomorphic orthonormal frames with locally constant unitary transition matrices. The induced Hermitian metric is therefore well defined, and the induced flat unitary connection is its Chern connection.

Let $s$ be a global holomorphic section. In one of these parallel orthonormal frames write $s=(f_1,\dots ,f_r)$, where every $f_j$ is holomorphic. Its squared norm $u=|s{|}^2={\sum }_j|f_j{|}^2$ is a globally defined smooth function because the transition matrices are unitary. In a local complex coordinate,Choose any smooth conformal metric on the curve, locally $\kappa (z)|dz{|}^2$. Its Laplacian satisfiesOn the compact curve without boundary, Stokes theorem gives ${\int }_X\Delta ud\mathrm{vol}=0$. A continuous nonnegative function with zero integral vanishes everywhere, so each $f_j^{\prime }=0$. Thus the section is locally constant in every parallel frame and is globally parallel. This proves that holomorphic sections of a unitary flat bundle are parallel.

A parallel section is determined by its value $v$ at a chosen base point. Following it around a loop returns the value $\rho (\gamma )v$, so a global parallel section exists exactly when $\rho (\gamma )v=v$ for every $\gamma \in {\pi }_1(X)$. Conversely, such a fixed vector gives the constant equivariant section on $\tilde{X}$, which descends holomorphically. Evaluation and this construction are inverse linear maps, giving the canonical identificationUnitarity is what makes the local squared norms glue and the integrated nonnegative identity available; no assumption that the universal cover is compact is made.

The flat unitary connection on $E_V$ is its Chern connection, since it preserves the induced Hermitian metric and its $(0,1)$ part is the Dolbeault operator. Its curvature is zero. The trace-curvature formula for the degree of a holomorphic vector bundle therefore givesFor any positive-rank proper holomorphic subbundle $F\subset E_V$, equip $F$ with the induced metric and use the block-connection calculation of Question 4(a). Since the ambient curvature vanishes, its Chern curvature iswhere $B=bdz$ is the second fundamental form of a holomorphic subbundle. ConsequentlyThe term being integrated is nonnegative, so its sign gives the inequality for every such subbundle, not just for parallel subbundles. By the definition of a semistable holomorphic vector bundle,If semistability is formulated using coherent subsheaves instead, saturate a subsheaf on the smooth curve. The saturation has the same rank, at least as large a degree, and is a subbundle because a torsion-free sheaf on a smooth curve is locally free. The inequality for the saturated subbundle therefore also bounds the original subsheaf. Finally, equality for a subbundle forces $B=0$, so it is parallel; invariant subspaces of $V$ correspond to these degree-zero parallel subbundles. Semistability is the conclusion required here, rather than stability for every unitary representation.

Use the convention $\nabla =d+A$ with anti-Hermitian connection one-forms. For a unitary complex line bundle, $A$ is locally an $i\mathbb{R}$-valued one-form and $F_{\nabla }=dA$, since the Lie algebra is abelian. Under a change of unitary frame, the vector-bundle curvature transforms by conjugation, which is trivial for $U(1)$. Hence $F_{\nabla }$ is a globally defined imaginary-valued two-form, and $i{F}_{\nabla }$ is an ordinary real two-form. Equivalently, $\mathrm{End}(L)$ has its canonical scalar trivialization, so no nontrivial coefficient bundle remains.

Locally $d{F}_{\nabla }=d^{2}A=0$, and these equalities patch globally. If another unitary connection is ${\nabla }^{\prime }=\nabla +i\beta$ for a global real one-form $\beta$, thenThus the real vector-bundle curvature is closed and its de Rham cohomology class is independent of the unitary connection.

With the First Chern class normalization $c_1(L{)}_{\mathbb{R}}=[i{F}_{\nabla }/(2\pi )]$, the transverse section also identifies this class as $\mathrm{PD}[\Sigma ]$. Indeed, the complex orientation of each normal disk makes the section wind positively once around a transverse zero. The Euler class of the underlying oriented plane bundle counts these zeros with their induced orientation, and equals $c_1(L)$. This records the role of the section and orientation hypotheses; connection independence itself did not require choosing a section.

Start with any unitary connection ${\nabla }_0$. The Hodge decomposition theorem gives a unique real harmonic differential form $\eta$ representing $[i{F}_{{\nabla }_0}]$. Since they have the same de Rham cohomology class, $\eta -i{F}_{{\nabla }_0}=d\beta$ for a smooth real one-form $\beta$. Set $\nabla ={\nabla }_0-i\beta$. The vector-bundle curvature difference formula givesThis proves existence of a harmonic-curvature unitary line connection for any metric and any complex line bundle.

Two such unitary connections have the same vector-bundle curvature because harmonic representatives are unique. Their difference is therefore $i\gamma$ with $d\gamma =0$. When $b_1(X)=0$, write $\gamma =d\phi$ globally. The bundle gauge transformation $u=e^{i\phi }$ changes $\nabla$ to $u^{-1}\nabla u=\nabla +id\phi$. Thus the harmonic-curvature connection is unique up to gauge. On a general base, closed forms modulo the integral-period forms coming from circle-valued gauge transformations leave the torus $H^1(X;\mathbb{R})/(2\pi H^1(X;\mathbb{Z}))$ of possible gauge classes; the hypothesis removes this freedom.

The reverse-oriented Complex projective plane has intersection form $(-1)$, so $b^{+}=0$, while $b_1=0$. The Hodge star splits harmonic two-forms into self-dual and anti-self-dual subspaces, and their dimensions are the positive and negative indices of the intersection form. Therefore every harmonic two-form is an anti-self-dual two-form for every chosen metric.

By part (b), every complex line bundle has a unitary connection with harmonic real vector-bundle curvature, so this connection is an ASD connection. Conversely, an ASD connection on a complex line bundle has $dF=0$ and $d\ast F=-dF=0$, so its vector-bundle curvature is harmonic. The uniqueness in part (b) therefore applies to all ASD connections on that fixed complex line bundle. Each complex line bundle has exactly one gauge orbit of ASD connections.

Let $M$ be a closed manifold of even dimension $n=2m$, with a Riemannian metric and a spin structure. Let $S=S^{+}\oplus S^{-}$ be its spinor bundle, and let $W$ be a Hermitian vector bundle with a unitary connection of vector-bundle curvature $F^W=({\nabla }^W{)}^2$. We use Clifford multiplication satisfying $c(v)c(w)+c(w)c(v)=-2⟨v,w⟩$, so the Twisted Dirac operatoris self-adjoint and $D_W^{-}=(D_W^{+}{)}^{\ast }$. Here $(e_i)$ is an oriented local orthonormal basis and $(e^i)$ its dual. The Atiyah-Singer index theorem in this setting isThe second factor is the Chern character; the first is the A-hat formThe square root has constant term one. All functions of the vector-bundle curvature matrices mean power series truncated above the dimension of $M$. The brackets select the top-degree differential form. The Bianchi identity shows that these forms are closed, and Chern-Weil connection transgression shows that their de Rham cohomology classes do not depend on the chosen connections on a vector bundle.

The global step is supersymmetric quantum mechanics. On the Hilbert space $L^2(S\otimes W)$, take the grading operator $\Gamma$, the odd supercharge $D_W$, and the nonnegative Hamiltonian $H=D_W^2$. They obey $\Gamma D_W=-D_W\Gamma$ and $D_W^2=H$. The principal symbol of $D_W$ is invertible away from the zero covector, so elliptic regularity and Rellich-Kondrachov compactness theorem give a smooth discrete orthonormal eigenbasis for $H$, finite-dimensional eigenspaces, and a trace-class operator $e^{-tH}$ for $t>0$. Define its supertrace by $\mathrm{Str}A=\mathrm{Tr}(\Gamma A)$.

For every positive eigenvalue $\lambda$ of $H$, the map ${\lambda }^{-1/2}{D}_W$ is an isomorphism between its positive and negative grading eigenspaces, with inverse itself. Their contributions to the supertrace cancel. The zero eigenspaces are $\ker D_W^{+}$ and $\ker D_W^{-}$. ConsequentlyThis also proves independence of $t$ without differentiating an unbounded operator inside a trace. If $K_t$ is the heat kernel, the heat kernel trace formula givesThe remaining task is to compute this local integrand as $t\downarrow 0$.

Fix $p\in M$, use geodesic normal coordinates $x$, and trivialize $S\otimes W$ by radial parallel transport. Expanding $D_W^2$ at $p$ gives the Lichnerowicz formula for a twisted Dirac operator:Indeed the terms with identical indices give the rough Laplacian. The other terms are ${\sum }_{i<j}c(e^i)c(e^j)[{\nabla }_i,{\nabla }_j]$. Decompose this vector-bundle curvature into spin curvature and $F^W$; substituting the spin curvature into the Clifford algebra relations and the algebraic Bianchi identity leaves $\mathrm{Scal}/4$. Thus the calculation retains the curvature of the twisting bundle explicitly.

There is an especially strong cancellation in the spinor supertrace. With $\Gamma =i^{m}c(e^1)\cdots c(e^{2m})$, every ordered product of distinct Clifford generators of degree less than $2m$ has zero supertrace, whileFor an even product of lower degree, conjugate $\Gamma$ times that product by a missing Clifford generator: it changes sign, so its matrix trace is zero. An odd product exchanges the grading summands and also has zero supertrace. For the full product, $(c(e^1)\cdots c(e^{2m}){)}^2=(-1{)}^m$, and $\dim S=2^m$, giving the displayed constant.

To exploit this, identify the Clifford algebra as a filtered vector space with the exterior algebra by sending an ordered Clifford product to the corresponding wedge product of differential forms. Implement Getzler rescaling: put $x=\epsilon y$, $t={\epsilon }^{2}s$, multiply the degree-$k$ exterior component of the kernel by ${\epsilon }^{-k}$, and multiply the whole kernel by ${\epsilon }^{2m}$. A derivative and a Clifford generator have rescaling degree one; a coordinate has degree minus one. Clifford contractions lower the degree by two relative to the wedge product of differential forms, so the leading product becomes exterior multiplication.

In the radially parallel frame, the linear Taylor term of the connection is determined by its vector-bundle curvature: if $A_i$ is its matrix, then $A_i(x)=\frac{1}{2}{x}^j{F}_{ji}(p)+O(|x{|}^2)$. To check the coefficient, radial gauge means $x^i{A}_i=0$, and integration of $x^j{F}_{ji}$ along the radial segment gives $A_i(x)={\int }_0^{1}s{x}^j{F}_{ji}(sx)ds$. Combining this formula with the spin representation, the symmetries of Riemann curvature tensor, and the Lichnerowicz formula for a twisted Dirac operator, the rescaled square has leading modelHere $\mathcal{R}$ is the skew matrix of tangent-bundle curvature two-forms at $p$; changing the curvature-matrix sign convention changes the sign inside the covariant derivatives but not the determinant below. The coefficients act in $\Lambda T_p^{\ast }M\otimes \mathrm{End}(W_p)$. The scalar-curvature term has degree zero and disappears after multiplication by ${\epsilon }^2$; the linear spin-connection term and the Clifford action of $F^W$ have degree two and survive. Higher Taylor terms have smaller degree and disappear.

For clarity, the analytic meaning of this limiting calculation is the following. Construct the local heat kernel expansion to any fixed order and insert the Taylor expansion of the rescaled coefficients into its transport equations. At each exterior degree, the leading equation is the heat equation of ${\mathcal{H}}_p$; the remaining terms acquire positive powers of $\epsilon$. Equivalently, successive substitutions ingive the same expansion. Polynomial spatial factors are integrable against the local Gaussian kernels, and only finitely many exterior degrees exist. A cutoff outside a fixed normal neighbourhood contributes $O(e^{-c/t})$. Choosing the initial expansion order arbitrarily large bounds its differentiated remainder to any required order. This proves convergence of the rescaled diagonal kernel to the model diagonal kernel, uniformly in $p$ on the compact manifold. Its degree-$2m$ component has no net power of $\epsilon$, precisely the component detected by the spinor supertrace.

We can compute the model kernel rather than invoke a local index formula. Set $F=F_p^W$ and seek its kernel from the origin in the formThe scalar even exterior coefficients of $\mathcal{R}$ commute. On this ansatz the rotational first-order term vanishes because $Q$ is a function of ${\mathcal{R}}^2$. Expanding the model operator gives $-\sum {\partial }_i^2+\frac{1}{2}(\mathcal{R}y)\cdot \nabla +\frac{1}{16}{y}^T{\mathcal{R}}^{2}y+F$, so substitution into the heat equation givesThe Euclidean initial condition $Q(s)\sim s^{-1}I$, $a(s)\sim (4\pi s{)}^{-m}$ selectsThese expressions have well-defined power series at $\mathcal{R}=0$. This is the curvature version of the Gaussian calculation underlying the Mehler formula for Hermite functions.

At $s=1$, $y=0$, multiply the top exterior coefficient by the spinor supertrace constant. Since $(4\pi {)}^{-m}(-2i{)}^m=(2\pi i{)}^{-m}$, and every curvature factor is a two-form, the result isIntegration and the constant supertrace established above prove the boxed Atiyah-Singer index theorem. The mechanism is that odd symmetry pairs the nonzero spectrum globally, while the Clifford filtration makes the surviving local contribution an explicitly solvable curvature oscillator. Odd-dimensional spin Dirac operators have no canonical chiral index of this type; their self-adjoint Fredholm index is zero. For comparison of normalization conventions, Raphaël Ponge's local index calculation writes the same unnormalized curvature model and spinor supertrace constant.

A Chern number turns local curvature data into a global integer. Let $E\to M$ be a complex vector bundle over a compact oriented manifold without boundary, with a unitary connection represented locally by an anti-Hermitian matrix-valued one-form $A$. Its curvature form of a connection is $F=dA+A\wedge A$. The Chern-Weil theory representative of the total Chern class isThe coefficients are closed differential forms. They represent the images of integral Chern classes in de Rham cohomology. On an oriented $2r$-manifold, a product $c_{i_1}\cdots c_{i_s}$ with $i_1+\cdots +i_s=r$ pairs with the fundamental class to give a Chern number, an integer independent of the unitary connection.

For example,For an $SU(N)$ bundle with $N\ge 2$, $\mathrm{Tr}F=0$. On an oriented four-manifold the Second Chern number is thenusing the fundamental matrix trace and the stated anti-Hermitian convention. The trace-product correction is required for a general $U(N)$ bundle; it cannot simply be omitted. The sign of a physical instanton number also depends on the trace and orientation convention, so these conventions must accompany the formula.

The local origin of closure is the Bianchi identity $D_{A}F=0$ and the cyclic matrix trace: $d\mathrm{Tr}(F\wedge F)=0$. Independence of the connection one-form follows more concretely by varying a family $A_t$. Since ${\dot{F}}_t=D_{A_t}{\dot{A}}_t$, the Chern-Weil connection transgression isIts integral on a closed four-manifold is zero by the Generalized Stokes theorem. This proves connection independence of $q$; the integrality is the global Chern class statement, not merely a consequence of the local formula.

The local primitive of the Second Chern form is the Chern-Simons three-formHere we continue to use $SU(N)$, so $c_2=\mathrm{Tr}(F\wedge F)/(8{\pi }^2)$. The cubic coefficient is forced by the exterior derivative. In the graded cyclic matrix trace, $d\mathrm{Tr}(A^3)=3\mathrm{Tr}(dA\wedge A^2)$ and $\mathrm{Tr}(A^4)=0$, the latter because cycling one degree-one factor past the other three changes its sign. ThereforeMatrix-valued differential forms require both matrix order and the graded signs; treating all factors as commuting scalars would lose this derivation.

The Chern-Simons three-form depends on a local trivialization and is not itself gauge-invariant. For the Yang-Mills gauge transformation convention $A^g=g^{-1}Ag+g^{-1}dg$, set $u=g^{-1}dg$. The gauge change of the Chern-Simons three-form isThe last term is closed by the Maurer-Cartan equation. On a closed three-manifold its integral is an integer with the fundamental $SU(N)$ normalization. Consequently the Chern-Simons integral is naturally defined modulo integers, while its exponential $\exp (2\pi i\ell \int Y)$ is invariant under large Yang-Mills gauge transformations for integer level $\ell$.

This also explains why a nonzero Chern number is compatible with $dY=c_2$: $Y$ need not be a globally defined three-form. On $S^4$, trivialize over two hemispheres and let $A_N=A_S^g$ on their common equator $\Sigma =S^3$, oriented as the boundary of the northern hemisphere. The Generalized Stokes theorem and the gauge-change formula giveFor $SU(2)\cong S^3$, this is the degree of the transition map, with compatible group orientation; for $SU(N)$ it is the corresponding integer in ${\pi }_3(SU(N))$. Thus the Second Chern number measures the obstruction to choosing one trivialization over the whole four-sphere.

A simpler First Chern class example is a line bundle over $S^2$. Write $A=-ia$ and choose local real potentialsThey have common curvature $da=(k/2)\sin \theta d\theta \wedge d\varphi$, so ${\int }_{S^2}{c}_1=(2\pi {)}^{-1}\int da=k$. Their difference $a_N-a_S=kd\varphi$ corresponds to the transition function $e^{-ik\varphi }$, which is single-valued exactly when $k\in \mathbb{Z}$. This illustrates how the global integer arises from patching, rather than from an arbitrary flux normalization.

In physics, these constructions distinguish topological sectors of Yang-Mills instantons and relate four-dimensional characteristic densities to three-dimensional boundary actions. The Chern-Simons three-form itself gives a metric-independent gauge action in three dimensions. On a closed manifold its first variation isso its classical equation is $F=0$. The common thread is that a local expression in the connection one-form records global topology: curvature produces the invariant Chern number, while its local Chern-Simons three-form primitive retains gauge and boundary information.

A smooth self-adjoint projection $p:M\to M_N(\mathbb{C})$ of locally constant rank defines the Hermitian vector bundle $\mathrm{im}p$ inside the trivial bundle. Projecting the flat derivative gives the unitary connection $\nabla s=pds$ for $ps=s$. Differentiating $p^2=p$ gives $pdp=dp(1-p)$ and $pdpp=0$. For a section $s$, ${\nabla }^{2}s=pdp\wedge ds=p(dp{)}^{2}s$, proving the curvature formula. Relative to $\mathrm{im}p\oplus \ker p$, $dp$ is off-diagonal and $(dp{)}^2$ is diagonal. Therefore $d\mathrm{tr}(p(dp{)}^{2k})=\mathrm{tr}(dp{)}^{2k+1}=0$. These are explicit closed representatives of the Chern character.

On a spin manifold, tensor the spinor bundle $S$ with a Hermitian vector bundle $W$ carrying a unitary connection. Composing the induced tensor-product connection on a vector bundle with Clifford multiplication defines the twisted Dirac operator. In even dimension it maps $S^{+}\otimes W$ to $S^{-}\otimes W$ and conversely. On a closed manifold its chiral restriction $D_W^{+}:H^1(S^{+}\otimes W)\to L^2(S^{-}\otimes W)$ is a Fredholm operator.

A unitary representation of the fundamental group of a connected complex manifold gives a bundle $(\tilde{X}\times V)/{\pi }_{1}X$ with locally constant unitary transition matrices. Its induced flat unitary connection has $(0,1)$ part equal to its Dolbeault operator, so it is the Chern connection for the induced Hermitian metric. On a compact Riemann surface, zero curvature gives degree zero; the subbundle curvature inequality makes the bundle semistable.