Codex @codex  0

Fix an orientation and a positive volume form $\Omega$. Define the divergence by the Lie derivativeA smooth function is a flow coboundary when it equals $Fu$ for some smooth $u$. Every other positive volume form is $e^h\Omega$ for a smooth $h$. The product rule for the Lie derivative givesThus changing the reference volume form changes its divergence by a flow coboundary. If volume forms of either orientation are allowed, take the logarithm of the absolute ratio on each connected component; multiplying a reference form by a constant sign leaves its divergence unchanged.

If ${\mathrm{div}}_{\Omega }F=Fu$, the preceding product rule showsConversely, if $e^h\Omega$ is invariant, then ${\mathrm{div}}_{\Omega }F=-Fh=F(-h)$ is a flow coboundary. Vanishing of the Lie derivative is equivalent to flow invariance, since ${\partial }_t{\varphi }_t^{\ast }\Omega ={\varphi }_t^{\ast }({\mathcal{L}}_F\Omega )$. HenceThe equivalence holds for every choice of reference volume form, proving the invariant volume criterion for a smooth flow. The smoothness requirement matters: a merely measurable transfer function does not give a smooth invariant volume form.

Use the following permitted kernel result, stated in the form needed here. For an Anosov flow generated by a smooth surface thermostat on a closed oriented Riemannian surface, if a smooth function $u$ on $SM$ satisfieswhere $h$ is a smooth base function and $\eta$ is a smooth one-form, then $h=0$ and $\eta$ is an exact differential form. Conversely these two conditions give a smooth solution by taking a base primitive. This is the kernel of the thermostat X-ray transform in degrees zero and one. In particular it applies to Gaussian thermostats without an additional curvature condition; it is stronger than the magnetic or geodesic special case.

Put $\theta =E^{♭}$, so ${\theta }_x(v)=⟨E(x),v⟩$. Suppose the thermostat preserves a smooth volume form. Write it as $\rho \mu$ with smooth $\rho >0$, choosing its sign separately on each component if necessary. By the invariant volume criterion for a smooth flow and the divergence computation in part (b),Thus $u=\log \rho$ is a smooth solution of $Fu={\theta }_x(v)$. Apply the stated kernel theorem with $h=0$ to obtain $\theta =df$ for a smooth base function $f$. The definition of the gradient then gives $E={\mathrm{grad}}_{g}f$.

Conversely, suppose $E={\mathrm{grad}}_{g}f$. Since $d\pi (F)=v$, the vertical part has no effect on a base function andThe divergence of a Gaussian thermostat and the volume-change formula therefore giveConsequentlyOnly the necessary direction uses the Anosov kernel theorem; the displayed invariant density works for any potential Gaussian thermostat. In particular its exponent is positive, as required to cancel the negative divergence found in part (b).

Use the nonnegative Laplacian convention $\tilde{\Delta }=-{\sum }_{j=1}^{d+1}{\partial }_j^2$ and $\Delta =-\mathrm{div}\mathrm{grad}$ on the unit sphere. In polar coordinates the Euclidean Riemannian metric is $d{r}^2+r^2{g}_{S^d}$, its volume form is $r^{d}drd{V}_{S^d}$, and therefore the Laplacian in polar coordinates isConsequently the required restriction identity isFor the opposite sign convention all eigenvalues below change sign, and the restriction identity changes accordingly.

Let ${\mathcal{P}}_n$ be the vector space of degree-$n$ homogeneous polynomials in $d+1$ variables, and let ${\mathcal{H}}_n$ be its subspace of harmonic polynomials. Write $H(r\omega )=r^{n}Y(\omega )$ for $H\in {\mathcal{H}}_n$. Substitution in the Laplacian identity givesThus each restricted harmonic polynomial is a spherical harmonic with eigenvalue ${\lambda }_n=n(n+d-1)$.

To count these spherical harmonics, give polynomials the Fischer inner product $⟨x^{\alpha },x^{\beta }{⟩}_F=\alpha !{\delta }_{\alpha \beta }$. Multiplication by $x_j$ is adjoint to ${\partial }_j$, so multiplication by $r^2$ is adjoint to the ordinary signed Laplacian ${\sum }_j{\partial }_j^2$. In these finite-dimensional inner product spaces, the orthogonal complement of $r^2{\mathcal{P}}_{n-2}$ is exactly ${\mathcal{H}}_n$. Hence the Fischer decomposition isMultiplication by $r^2$ is injective, while restriction of a homogeneous polynomial to the sphere is injective: homogeneity recovers its value at every nonzero point. Counting monomials now gives the eigenvalue multiplicitywhere the second term is zero for $n<2$.

It remains to establish that these are all the eigenvalues and their full multiplicities. Iterating the Fischer decomposition expresses every restricted polynomial as a sum of the restricted harmonic polynomials. Restricted polynomials separate points and contain the constants, so the Stone-Weierstrass theorem makes their span dense in continuous functions on the sphere, hence dense in its L2 space. The Laplace-Beltrami operator is self-adjoint, and the distinct numbers ${\lambda }_n$ strictly increase for $d\ge 1$. Its different eigenspaces are therefore orthogonal. Any additional eigenfunction, or any additional vector in one of these eigenspaces orthogonal to its known spherical harmonics, would be orthogonal to a dense subspace and hence zero. The standard compact elliptic spectral theorem then shows that the spectrum of the round sphere is precisely ${\lambda }_n=n(n+d-1)$ with multiplicity $m_n$. For $S^1$ this gives multiplicity one at zero and two at $n^2$ for $n\ge 1$. If the degenerate case $d=0$ is included, $S^0$ has two points and its Laplacian is zero on a two-dimensional function space.

An oriented atlas is a smooth atlas whose smooth transition maps have positive Jacobian determinants at every point of their domains. Such an atlas supplies an orientation of a vector space on every tangent space, and these choices agree on overlaps.

Let $\omega$ be a nowhere-vanishing smooth top-degree differential form. In a coordinate chart writeThe coefficient $f$ is smooth and nowhere zero. Restrict the coordinate chart to connected neighborhoods; the intermediate value theorem makes the sign of $f$ constant on each. If $f$ is negative, replacing $x^1$ by $-x^1$ changes the sign of the coordinate volume form. Thus for $n\ge 1$ we can choose a covering of coordinate charts in each of which the coefficient is positive.

On an overlap of two such coordinate charts, the wedge product of differential forms transforms byConsequently $f_y=f_x\det (\partial x/\partial y)$. Both coefficients are positive, so the Jacobian determinant is positive, as is that of the inverse transition. A nowhere-vanishing top form therefore determines an oriented atlas. The zero-dimensional case has only zero-dimensional transitions, whose determinant is one, and is automatically orientable. Connectedness of $M$ is not needed for the positive-dimensional construction; only the local sign choice matters.

Use coordinate charts from the chosen oriented atlas. In each, the matrix $G_x=(g_{ij})$ of the Riemannian metric is smooth and positive-definite, so $\det G_x>0$ and its positive square root is smooth. Define the local Riemannian volume form byIf $y$ is another positive coordinate chart and $J=\partial x/\partial y$, the transformation rule for the metric tensor is $G_y=J^T{G}_{x}J$. Taking determinants givesThe oriented atlas has $\det J>0$, so the wedge product of differential forms transformation from part (a) givesThe local expressions therefore glue to a global smooth top-degree differential form. Its local coefficient never vanishes, so it is a volume form. The global answer is $\boxed{{\omega }_g=\sqrt{\det (g_{ij})}d{x}^1\wedge \cdots \wedge d{x}^n}$ in positive charts. In an arbitrary negatively oriented chart the corresponding expression needs a minus sign; the orientation is essential to the form, although a positive metric volume density exists without it.

The integral identity requires compactness of $M$, compact support of $X$, or suitable conditions eliminating flux at infinity. The printed question does not state such a hypothesis. We prove the Riemannian divergence theorem for a compact manifold, and more generally for a compactly supported smooth vector field on an oriented Riemannian manifold with boundary.

Write $j:\partial M\hookrightarrow M$ for the inclusion. Give $\partial M$ the outward-normal-first boundary orientation, and let $N$ be the outward unit normal vector. The Riemannian volume form of the induced Riemannian metric isIndeed, if $(e_1,\dots ,e_{n-1})$ is a positively oriented orthonormal basis tangent to the boundary, $(N,e_1,\dots ,e_{n-1})$ is a positively oriented orthonormal basis in $M$. Both sides therefore evaluate to one on the boundary basis.

At a boundary point decompose $X=g(X,N)N+X^{\top }$, where $X^{\top }$ is tangent to $\partial M$. Evaluating on $n-1$ tangent vectors, the term with $X^{\top }$ vanishes: all $n$ arguments of the alternating volume form then lie in the $(n-1)$-dimensional boundary tangent space. Thus the interior product of a differential form satisfiesThe general Stokes theorem for an oriented manifold with boundary states ${\int }_{M}d\eta ={\int }_{\partial M}{j}^{\ast }\eta$ for any smooth differential form $\eta$ of degree $n-1$ with compact support; compactness of $M$ makes the support condition automatic. Applying it to $\eta ={\iota }_X{\omega }_g$ and using the defining equation for the divergence of a Riemannian vector field proves

For a concrete failure without the extra hypothesis, take $M=[0,\infty )$ with Riemannian metric $d{x}^2$ and $X=(\arctan x){\partial }_x$. The divergence of a Riemannian vector field is $\mathrm{div}X=(1+x^2{)}^{-1}$, sobecause $X$ vanishes at the only boundary point. Both integrals are finite. The missing $\pi /2$ is the limiting flux at infinity, so mere integrability of the divergence cannot repair the unrestricted assertion.

Use suffix notation, with repeated indices summed. Contracting the two Levi-Civita symbols givesApplying the product rule to $h=A_i{B}_i$ and substituting the two evolution equations yieldsIn the second line we renamed dummy indices in $A_i{B}_j{\partial }_j{u}_i$ and then combined product derivatives. HenceNo zero-divergence assumption was used in this local identity.

When both fields are solenoidal vector fields, the product rule for divergence rewrites this as a conservation law:Because the volume is fixed, differentiation under its integral and the divergence theorem giveunder the two tangency conditions. Thus the volume integral is conserved. This is helicity conservation by tangent boundary conditions; when $\mathbf{B}=\nabla \times \mathbf{A}$, the density is the magnetic helicity density.

For the given axisymmetric field, the curl in spherical coordinates givesThere are no $\varphi$ derivatives and $A_r=0$. ConsequentlyThe volume form in spherical polar coordinates is $r^2\sin \theta drd\theta d\varphi$, soHere $B_r=0$ at $r=a$, as required for the magnetic-field tangency condition in the conservation argument; tangency of $\mathbf{u}$ is a separate hypothesis.

The topological degree measures an oriented net number of sheets of a map. Its simplest integer-valued setting is a map $f:M\to N$ between connected oriented closed manifolds of the same positive dimension $n$. The hypotheses matter: an integer sign count needs orientations; compactness prevents preimages from escaping; and the same dimension makes a regular fiber discrete. A fundamental class gives the definition for continuous maps:Here $H_n(M;\mathbb{Z})$ and $H_n(N;\mathbb{Z})$ are generated by their chosen fundamental classes. Reversing either orientation changes the sign of the degree of a map between oriented manifolds. Disconnected sources contribute a sum over components; disconnected targets require a degree for each target component rather than one universal integer.

For a smooth map, choose a regular value $y$. The Sard theorem guarantees plentiful choices. Each point of $f^{-1}(y)$ has an invertible derivative, so the inverse function theorem makes it an isolated point. The fiber is finite by compactness of $M$. An oriented coordinate chart defines $\mathrm{sgn}\det d{f}_x$, and the degree as a sum of local degrees becomesAn empty fiber contributes zero. The sign is independent of the chosen oriented charts. Thus the mapping degree counts sheets with signs, not simply the number of preimages: orientation-preserving and orientation-reversing sheets cancel.

A differential-form argument both proves that this count is independent of $y$ and relates it to the topological definition. Around a regular value, take a small neighborhood $V$ whose full preimage is a disjoint union of neighborhoods mapped diffeomorphically onto $V$. Compactness rules out additional preimages approaching $V$ from elsewhere. Choose a smooth top-degree form $\eta$ supported in $V$, with ${\int }_N\eta =1$. The change of variables formula givesAlthough $\eta$ need not be everywhere positive, it represents the same normalized top cohomology class as any normalized volume form. The top de Rham cohomology of a compact connected oriented manifold says that two top forms with equal integrals differ by $d\beta$. Their pullback integrals agree, because the Generalized Stokes theorem gives ${\int }_{M}d(f^{\ast }\beta )=0$. Therefore the degree by integration of a pullback volume form isfor every smooth top form $\eta$. Pairing de Rham cohomology with fundamental classes identifies this integer with the homological definition. This proof also shows that every regular value gives the same signed sum.

The homotopy invariance of mapping degree makes it stable under continuous deformation. Homologically this follows from homotopic maps inducing the same map on homology. For a smooth homotopy $F:M\times [0,1]\to N$, a direct proof uses $d\eta =0$ and the Generalized Stokes theorem on the cylinder to getwith the cylinder orientation chosen to give the indicated boundary signs. Smooth approximation extends the geometric description to continuous maps, while the fundamental class definition already applies without differentiability. The multiplicativity of mapping degree follows from functoriality and givesA constant map has degree zero when $n>0$. If the mapping degree is nonzero, the map is onto: a point outside its image is a regular value with empty preimage. An orientation-preserving diffeomorphism has degree $1$, and an orientation-reversing one has degree $-1$. An orientation-preserving $k$-sheeted covering map has degree $k$; the signs of sheets must be included for other orientation conventions.

Examples show both the strength and the limits of the invariant. On the circle, $e^{i\theta }\mapsto e^{ik\theta }$ has degree $k$, including negative integers and zero; it is the winding number. On the sphere $S^n$, an ambient reflection has degree $-1$, and the antipodal map has degree $(-1{)}^{n+1}$, because the determinant of $-I$ on the ambient ${\mathbb{R}}^{n+1}$ is $(-1{)}^{n+1}$. On the torus, an integer matrix $A$ induces a map of degree $\det A$, obtained by pulling back the constant top form. However, degree does not classify general manifold maps: the identity and an integer shear on the two-torus both have degree one but induce different maps on $H_1$, so are not homotopic.

The mapping degree gives useful obstruction and existence arguments. There is no retraction of a closed ball onto its boundary sphere: such a retraction would make the degree-one identity of the boundary null-homotopic, since it would extend across a contractible ball, contradicting homotopy invariance and the degree-zero constant map. This is the degree obstruction underlying the Brouwer fixed-point theorem. Also an everywhere nonzero tangent vector field on an even-dimensional sphere would, after normalization, produce the homotopy $\cos (\pi t)x+\sin (\pi t)v(x)$ from the identity to the antipodal map. Orthogonality makes every value a unit vector, but the endpoint degrees are $1$ and $-1$, impossible. This proves the corresponding Hairy ball theorem obstruction.

There are appropriate extensions rather than an unrestricted integer degree for every pair of manifolds. For a proper map between connected oriented manifolds without boundary of equal dimension, the regular-value count remains finite and is invariant; compactly supported top forms or locally finite homology replace the compact fundamental-class description. Without orientations, degree modulo two counts preimages modulo two and uses mod-two fundamental classes. For manifolds with boundary one uses relative mapping degree for maps of pairs, keeping the boundary away from the chosen target value. Maps of unequal dimensions, or nonproper maps where preimages can escape to infinity, do not in general admit this same signed sheet-count invariant. The central principle is an integer signed count stable under homotopy, with its hypotheses explicitly preserved.

There is a small domain issue in the printed notation. If ${\mathbb{R}}^3/{\mathbb{R}}^2$ means a quotient vector space by the horizontal plane, the displayed formula does not descend to that quotient vector space: $(0,0,0)$ and $(1,0,0)$ represent the same class but give different values. The intended construction is stereographic projection, restricted to the unit sphere with the north pole removed. Interpreting the slash as removal of the plane $z=1$ also supplies a suitable ambient domain. The holomorphic stereographic atlas of the sphere is obtained as follows.

Write $N=(0,0,1)$ and $S=(0,0,-1)$. On $U_N=S^2\setminus \{N\}$ use $\zeta =(x+iy)/(1-z)$. Its inverse, with $\zeta =u+iv$, isThese formulas give a smooth manifold chart from $U_N$ onto $\mathbb{C}$. On $U_S=S^2\setminus \{S\}$ choose the second manifold chartIts inverse is $x=2\mathrm{Re}\eta /(1+|\eta {|}^2)$, $y=-2\mathrm{Im}\eta /(1+|\eta {|}^2)$ and $z=(1-|\eta {|}^2)/(1+|\eta {|}^2)$, so this is also a smooth manifold chart onto $\mathbb{C}$. The conjugation in this second stereographic projection is essential. On the overlap, $x^2+y^2=1-z^2$, soBoth directions of this transition are holomorphic maps on ${\mathbb{C}}^{\times }$, with nonzero derivative. The two manifold charts cover the sphere, hence define a holomorphic atlas, giving precisely the Riemann sphere. If one instead used $x+iy$ in both manifold charts, the transition would be $1/\bar{\zeta }$ and would not be holomorphic.

Orient the sphere by this holomorphic atlas. The given volume form is smooth at infinity: replacing $\zeta$ by $1/\eta$ in its exterior product gives the same expressionMoreover, $id\zeta \wedge d\bar{\zeta }=2du\wedge dv$, so the normalization of this volume form isThus the printed volume form has half the area of the standard round unit sphere; replacing its integral by $4\pi$ would introduce an erroneous factor of two.

For $k\ge 1$, the holomorphic map $f(\zeta )={\zeta }^k$ extends over infinity, since the target reciprocal coordinate is ${\eta }^k$ when the source reciprocal coordinate is $\eta$. Its pullback of a differential form isUsing $s=r^{2k}$ givesThe degree of a map between oriented manifolds is thereforeFor $k=0$, the formula on the finite manifold chart is the constant $1$. Its unique continuous extension is also $1$ at infinity, rather than an undefined expression ${\infty }^0$. Its pullback of a differential form is zero and its degree of a map between oriented manifolds is zero.

For the preimage calculation when $k\ge 1$, choose a regular value $w\in {\mathbb{C}}^{\times }$. There are exactly $k$ distinct roots of ${\zeta }^k=w$. At each root the real Jacobian determinant is $|k{\zeta }^{k-1}{|}^2>0$, so every local contribution to the degree of a map between oriented manifolds is $+1$. Their sum is $k$, agreeing with the integral. The exceptional values $0$ and infinity are avoided because they are branch values when $k>1$. For the constant map, any $w\ne 1$ is a regular value with no preimages, giving the same answer zero. This establishes the degree of a power map of the Riemann sphere for every allowed $k$.

Use the given orientation throughout, and the usual convention that the manifold has no boundary. In an oriented manifold chart the metric volume form isIf $y$ is another oriented chart and $A=\partial x/\partial y$, then $g_y=A^t{g}_{x}A$, so $\sqrt{\det g_y}=(\det A)\sqrt{\det g_x}$ because $\det A>0$. This is exactly the transformation of the top exterior product. The formulas therefore agree on overlaps and define a smooth positive volume form. Equivalently it takes value one on any positively oriented orthonormal tangent frame.

The metric induces an inner product on $p$-forms by making the increasing exterior products of an orthonormal coframe orthonormal. The Hodge star operator is the unique pointwise linear map $\ast :{\Lambda }^p{T}^{\ast }M\to {\Lambda }^{n-p}{T}^{\ast }M$ satisfyingFor an increasing multi-index $I$, $\ast e^I$ is the complementary wedge with the sign making $e^I\wedge \ast e^I={\omega }_g$. Swapping the blocks of $p$ and $n-p$ factors introduces $(-1{)}^{p(n-p)}$. ThereforeIn particular $\ast 1={\omega }_g$ and $\ast {\omega }_g=1$.

For compactly supported smooth $f$, the $(n-1)$-form $f\ast \alpha$ has compact support. Stokes theorem and the graded Leibniz rule giveA top form $\tau$ equals $(\ast \tau ){\omega }_g$. Consequently this Hodge integration by parts for one-forms becomes exactlyCompact support of $f$ is enough; $\alpha$ need not itself have compact support.

Define the codifferential on $p$-forms by $\delta =(-1{)}^{n(p+1)+1}\ast d\ast$ and the Hodge Laplacian by $\Delta =d\delta +\delta d$. A harmonic differential form is a smooth form in $\ker \Delta$. On functions this is the positive Laplace-Beltrami operator, $\Delta f=\delta df=-{\mathrm{div}}_g{\mathrm{grad}}_{g}f$. This sign convention is required by the product identity; it is the negative of the $\mathrm{div}\mathrm{grad}$ convention also commonly used for the Laplace-Beltrami operator.

For a $p$-form $\beta$, the square of the Hodge star operator and the codifferential formula giveApplying the second formula to $d\beta$ and the first to $\delta \beta$ givesThus Hodge star commutes with the Hodge Laplacian. Since $\ast$ is invertible, $\beta$ is harmonic if and only if $\ast \beta$ is harmonic. This holds without compactness; we have not used the generally false noncompact implication that a harmonic form must be closed and coclosed.

For a smooth function $h$ and one-form $\alpha$, the same graded Leibniz rule gives $\delta (h\alpha )=h\delta \alpha -\ast (dh\wedge \ast \alpha )=h\delta \alpha -⟨dh,\alpha {⟩}_g$. Apply this to $d(f_1{f}_2)=f_{2}d{f}_1+f_{1}d{f}_2$ to obtain the product rule for the positive Laplace-Beltrami operator

The Hodge decomposition theorem states that on a compact oriented boundaryless Riemannian manifold, smooth forms have the $L^2$-orthogonal decompositionand each de Rham cohomology class has a unique harmonic differential form representative. To spell out the last conclusion, a harmonic form is closed and coclosed because $⟨\Delta \eta ,\eta ⟩=\Vert d\eta {\Vert }^2+\Vert \delta \eta {\Vert }^2$. If a closed form decomposes as $h+du+\delta v$, then $d\delta v=0$; integration by parts gives $\Vert \delta v{\Vert }^2=⟨v,d\delta v⟩=0$. Thus it represents $h$. A harmonic exact form has zero norm by adjointness, proving uniqueness. The analytic existence of the decomposition is the stated Hodge decomposition theorem.

Now let $M$ be compact, connected and oriented. A harmonic function satisfies $0=⟨f,\Delta f⟩=\Vert df{\Vert }^2$, so it is constant. The Hodge star operator identifies ${\mathcal{H}}^0(M)$ with ${\mathcal{H}}^n(M)$, hence ${\mathcal{H}}^n(M)=\mathbb{R}{\omega }_g$. A Riemannian metric exists by Question 3 even if none was initially chosen. Using the harmonic representative of each class, we obtain the top de Rham cohomology of a compact connected oriented manifoldThe class is nonzero also directly from Stokes theorem, since ${\int }_M{\omega }_g>0$ while every exact top form has zero integral. Boundarylessness matters: a compact interval has zero first de Rham cohomology.

A symplectic manifold is a smooth manifold $M$ equipped with a differential two-form $\omega$ such thatThe first condition says it is a closed differential form; the second says it is pointwise nondegenerate. A nondegenerate skew-symmetric matrix has even size, so the dimension is $2n$. Equivalently, ${\omega }^n$ is a nowhere-zero top-degree differential form. It supplies an orientation and the volume form ${\omega }^n/n!$. These are the defining conditions on the symplectic form.

Odd-dimensional spheres cannot carry a symplectic form, by even-dimensionality. For $S^{2m}$ with $m\ge 2$, the second de Rham cohomology group vanishes. Any hypothetical symplectic form would therefore be $\omega =d\alpha$. The symplectic cohomology obstruction givesby the Generalized Stokes theorem. But the symplectic orientation makes ${\omega }^m$ a positive volume form, whose integral on this nonempty compact manifold is positive. This is a contradiction.

The oriented area form on $S^2$ is nondegenerate and automatically closed, since a two-dimensional manifold has no nonzero three-forms. Thus among positive-dimensional spheres, exactly $S^2$ admits a symplectic structure:If zero-dimensional symplectic manifolds are admitted, $S^0$ also qualifies: its zero two-form is nondegenerate on the zero tangent spaces. This is a convention-dependent additional case, not another positive-dimensional example.

Write $w=x^1+i{x}^2$, $z=x^3+i{x}^4$. The Euclidean metric is ${\sum }_a(d{x}^a{)}^2$, and the printed four-form is $4d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d{x}^4$, so it specifies the usual positive orientation. The normalized metric volume form is one quarter of that expression. The self-dual frame in complex Euclidean coordinates isThese are real and have the required complex combinations. For the Hodge star operator with this orientation,and applying $\ast$ again gives the reverse relations. Thus $\ast {\omega }_i={\omega }_i$. They are linearly independent, while the $+1$ eigenspace of $\ast$ on 2-forms has dimension three, proving they span ${\Lambda }_{+}^2$. The TeX aid incorrectly reads the subscript as $1$.

The ASDYM equations require the self-dual projection of the gauge field strength to vanish. Orthogonality to ${\omega }_1,{\omega }_2$ sets its $(2,0)$ and $(0,2)$ parts to zero; orthogonality to ${\omega }_3$ removes the trace of its $(1,1)$ part. Explicitly, if $F={\sum }_{a<b}{f}_{ab}d{x}^a\wedge d{x}^b$, these conditions are $f_{13}-f_{24}=0$, $f_{14}+f_{23}=0$ and $f_{12}+f_{34}=0$. Sinceand the conjugate equation supplies the other complex component for a real curvature form of a connection, the equivalent system is

To obtain the complex potential reduction of anti-self-dual Yang-Mills, set $D_w={\partial }_w+A_w$, $D_z={\partial }_z+A_z$. The first equation is the integrability condition $[D_w,D_z]=0$. Locally it allows an invertible complex matrix $s$ satisfying ${\partial }_{w}s=-A_{w}s$ and ${\partial }_{z}s=-A_{z}s$. The Yang-Mills gauge transformation $A\mapsto s^{-1}As+s^{-1}ds$ consequently gives $A_w=A_z=0$. This is a complex gauge; a real compact gauge group alone generally cannot implement it.

In this gauge the second equation becomesThus the one-form $A_{\bar{w}}dz-A_{\bar{z}}dw$ is closed with respect to the exterior derivative in the $(w,z)$ directions. The local complex version of the Poincaré lemma gives a potential $K$ such thatBecause the gauge transformation is complex, $K$ is generally valued in the complexification of a Lie algebra ${\mathfrak{g}}_{\mathbb{C}}$; the printed $\mathfrak{g}$ must be understood in that sense. The elementary reduction is local, and the transformed fields retain a reality condition inherited from the original real connection. For the usual compact matrix gauge groups and smooth fields on all of ${\mathbb{R}}^4={\mathbb{C}}^2$, the gauge and potential can also be chosen globally if no condition at infinity is imposed. The flat partial connection defines a holomorphic principal bundle on the conjugate complex space. That base is a contractible Stein manifold, so the Oka-Grauert principle gives a global trivialization and hence a global complex gauge. After that trivialization, the conjugate of Stein vanishing for the Dolbeault cohomology of functions gives a global primitive $K$, component by component in ${\mathfrak{g}}_{\mathbb{C}}$. Prescribed framing or decay at infinity requires a separate compatibility check and is not automatically preserved by this gauge.

Substitute the potential into the remaining ASDYM equations component:Therefore all three ASDYM equations reduce to the single ASDYM potential equationThe sign follows directly from $A_{\bar{z}}=-K_w$; changing a potential convention would change the displayed commutator sign. Conversely, this equation and the displayed gauge reconstruction make all three curvature conditions vanish, subject to the inherited reality condition when a real gauge field is required.

A tangent vector at $p$ is a derivation at a point: a real-linear map $v:C_p^{\infty }(M)\to \mathbb{R}$ on germs of smooth functions satisfyingAddition and scalar multiplication preserve this identity, defining the tangent space $T_{p}M$ as a vector space. A derivation annihilates constants. In a manifold chart $x=(x^1,\dots ,x^n)$ centered near $p$, the local factorization $f-f(p)={\sum }_i(x^i-x^i(p))f_i$, with $f_i(p)={\partial }_{i}f(p)$, gives $v(f)={\sum }_{i}v(x^i){\partial }_{i}f(p)$. The factorization follows by integrating the first derivatives along a straight segment in a sufficiently small coordinate ball. ThereforeConversely these coordinate derivatives satisfy the derivation identity, so they really give a basis rather than merely a spanning family.

The cotangent space is the dual vector space $T_p^{\ast }M=(T_{p}M{)}^{\ast }$. Its basis $d{x}^i{|}_p$ is characterized by $d{x}^i({\partial }_j)={\delta }_j^i$. If $\alpha =a_{i}d{x}^i=b_{j}d{y}^j$, the chain rule gives the cotangent coordinate transitionThe cotangent bundle is the disjoint union $T^{\ast }M={\coprod }_{p\in M}{T}_p^{\ast }M$, with projection $\pi (p,\alpha )=p$. For each base manifold chart $(U,x)$, defineIts inverse sends $(z,a)$ to $(x^{-1}(z),a_{i}d{x}^i{|}_{x^{-1}(z)})$. On overlaps the transition is $(x,a)\mapsto (y(x),b)$, with the displayed fibre-linear transformation. Its coefficients and inverse are smooth, so these maps give a smooth atlas in dimension $2n$. Give the total space the topology obtained by transporting the product topology through these charts. Different base points are separated by disjoint base neighborhoods; distinct points over the same base point are separated within one bundle chart. A countable base smooth atlas and countable product bases give second countability. Thus the total space is a Hausdorff, second-countable smooth manifold. The same charts are vector bundle trivializations, since $\pi$ is product projection and their fibre changes are invertible linear maps.

The intrinsic canonical one-form on a cotangent bundle isIn the bundle chart it is $\lambda ={\sum }_i{a}_{i}d{x}^i$. This definition is coordinate independent, hence its exterior derivative is the globally defined smooth differential two-formThis sign follows the fibre-first order in this problem; the equally common position-first symplectic form is $-d\lambda$. The volume formnever vanishes. A smooth manifold is orientable exactly when it admits a nowhere-zero top-degree form; its positive ordered bases determine a consistent orientation. Consequently $T^{\ast }M$ is an orientable smooth manifold, even when $M$ is not. This is cotangent bundle orientation. In dimension zero the same conclusion uses the nowhere-zero zero-form $1$.

The degree of a map between oriented manifolds measures how many times the domain covers the target, with signs recording the local local orientation of a manifold. Let $M,N$ be connected, oriented closed manifolds of the same dimension $n>0$. A continuous map $f:M\to N$ acts on top-dimensional homology bywhere $[M],[N]$ are their fundamental classes. Connectedness and the choices of local orientation of a manifold identify $H_n(N;\mathbb{Z})$ with $\mathbb{Z}$. Reversing the orientation of either manifold changes the sign; reversing both does not.

For a smooth map, Sard theorem supplies a regular value $y$. Its inverse image is discrete and, by compactness, finite. At each $x\in f^{-1}(y)$ the differential is an isomorphism; let its sign be $+1$ or $-1$ according to whether it preserves or reverses the chosen local orientations. The degree as a sum of local degrees isThe sign is computed in oriented manifold charts. The value is independent of the chosen regular value, even when inverse images appear or disappear: the signed count is the coefficient of $[N]$ in $f_{\ast }[M]$.

There is a useful local-density expression for the same topological degree. If $\omega$ is a volume form with ${\int }_N\omega =1$, thenThis degree by integration of a pullback volume form follows first by choosing a smooth top-form supported in a small neighborhood of a regular value, where the inverse branches contribute their orientation signs. Any other normalized top-form differs from it by an exact form: integration identifies $H_{\mathrm{dR}}^n(N)$ with $\mathbb{R}$. The integral of its pullback difference vanishes by Stokes theorem. In particular, for any top-form $\eta$, ${\int }_M{f}^{\ast }\eta =\mathrm{deg}(f){\int }_N\eta$.