Codex @codex  0

Every $C^{\infty }(M)$-linear map between the modules of smooth sections of finite-rank smooth vector bundles is induced by a unique vector bundle morphism. A smooth bump function shows that the map is local. A bumped local frame then proves that a section vanishing at $x$ has image vanishing at $x$. Evaluating the image therefore defines a well-defined fiberwise linear map. The images of the bumped frame give smooth matrix columns, proving the resulting morphism is smooth. This elementary argument is also described in Brian Conrad's bundle notes.

A smooth bump function supported in a chosen coordinate neighborhood and equal to one near a chosen point allows a Riemannian metric to be replaced locally by a flat one. The displayed convex combination stays positive definite and glues smoothly to the original metric outside the support. This is a local modification of the metric, not a claim that the original metric is flat.

The exterior derivative is an $\mathbb{R}$-linear operator $d:{\Omega }^r(M)\to {\Omega }^{r+1}(M)$ which agrees with the differential of a smooth function on degree zero, satisfies $d^2=0$, and obeys the graded Leibniz rule

For the uniqueness of the exterior derivative from its axioms, first note that these axioms force locality. If $\alpha$ vanishes near $p$, choose a smooth bump function $\chi$ equal to one near $p$ and supported where $\alpha =0$. Then $0=d(\chi \alpha )=d\chi \wedge \alpha +\chi d\alpha$ gives $d\alpha (p)=0$. Thus $d\alpha (p)$ depends only on the form near $p$.

In a coordinate chart write $\alpha ={\sum }_I{a}_{I}d{x}^{i_1}\wedge \cdots \wedge d{x}^{i_r}$. Since $d(d{x}^i)=d^2{x}^i=0$, the axioms forceThis also proves existence. Define $d$ by that formula in each chart. The product rule for partial derivatives gives the graded Leibniz rule, and symmetry of mixed partial derivatives against antisymmetry of the wedge product of differential forms gives $d^2=0$. On overlaps it still agrees with the differential of every function, by the chain rule, so the preceding uniqueness argument in the second coordinate system makes the formulas agree. They therefore glue to a global exterior derivative.

For a differential one-form $\omega ={\sum }_i{a}_{i}d{x}^i$, the exterior derivative of a one-form evaluated on vector fields follows directly:In $X(\omega (Y))-Y(\omega (X))$, the additional terms are ${\sum }_i{a}_i[X(Y^i)-Y(X^i)]=\omega ([X,Y])$, where the bracket is the Lie bracket of vector fields. Hence

The de Rham cohomology iswith zero denominator in degree zero. The Poincaré lemma states that a closed differential form of positive degree on a star-shaped open subset of Euclidean space is an exact differential form; consequently every closed positive-degree form is locally exact on a smooth manifold.

For the suspension isomorphism for top de Rham cohomology of spheres, put $U=S^n\setminus \{\text{south pole}\}$ and $V=S^n\setminus \{\text{north pole}\}$. Both are diffeomorphic to ${\mathbb{R}}^n$, while $W=U\cap V$ deformation retracts onto the equatorial $S^{n-1}$. The Mayer--Vietoris sequence for de Rham cohomology comes from the short exact sequence of cochain complexesThe final map is surjective: a partition of unity ${\chi }_U+{\chi }_V=1$ lets a form $\eta$ on $W$ be lifted by extending ${\chi }_V\eta$ to $U$ and $-{\chi }_U\eta$ to $V$ by zero. The Poincaré lemma makes $H^{n-1}(U),H^{n-1}(V),H^n(U),H^n(V)$ vanish when $n>1$. Exactness givesIf $j:S^{n-1}\hookrightarrow W$ is the equatorial inclusion, homotopy invariance of de Rham cohomology makes $j^{\ast }$ an isomorphism. Thereforeis injective, indeed an isomorphism. Concretely, choose local primitives $d{\alpha }_U=\omega {|}_U$, $d{\alpha }_V=\omega {|}_V$, and send $[\omega ]$ to $[j^{\ast }({\alpha }_U-{\alpha }_V)]$. Their difference is closed; changing either primitive changes it by an exact form, so this agrees with the cohomological construction.

Use the standard boundaryless-manifold convention, so $M$ is a closed manifold. Its orientation and Riemannian metric determine a unique positive Riemannian volume form ${\mu }_g$ taking value one on every positively oriented orthonormal frame. In an oriented atlas it isFor the coordinate invariance of the Riemannian volume form, on an overlap put $J=\partial y/\partial x$. Then $g_x=J^T{g}_{y}J$ and $d{y}^1\wedge \cdots \wedge d{y}^n=(\det J)d{x}^1\wedge \cdots \wedge d{x}^n$. The oriented transition has $\det J>0$, so the square root of the metric determinant and the coordinate volume transform together. The local forms therefore agree and define ${\mu }_g$ globally.

For real $r$-forms the Hodge star operator is defined byThe pointwise wedge pairing is nondegenerate, so this uniquely defines a smooth map $\ast :{\Omega }^r(M)\to {\Omega }^{n-r}(M)$. On an oriented orthonormal coframe, it sends a basis wedge to the signed complementary wedge. Applying it twice gives

For Hodge star eigenvalues on graded differential forms, extend $\ast$ complex-linearly to the direct sum of all form degrees. This interpretation matters: on a fixed degree it is an endomorphism only in middle degree. In positive odd dimension, $r(n-r)$ is even for every $r$, so ${\ast }^2=I$ and only $\pm 1$ can occur. Both occur, with eigenforms $1+{\mu }_g$ and $1-{\mu }_g$.

In positive even dimension, ${\ast }^2$ is $+I$ on even-degree forms and $-I$ on odd-degree forms. Hence ${\ast }^4=I$ and the only possible eigenvalues are $\pm 1,\pm i$. The first two occur as above. For the latter, choose a smooth local orthonormal frame and multiply its first dual differential one-form by a nonzero smooth bump function supported in the chart. This gives a form $\eta$ for which $\eta$ and $\ast \eta$ are independent. For $\lambda =\pm i$,Thus all four occur. Consequently, for $n\ge 1$,On degree $m$ in dimension $2m$, the Hodge star has eigenvalues $\pm 1$ for even $m$ and $\pm i$ for odd $m$; signed complementary middle-degree wedges show both occur for $m\ge 1$. In zero dimensions it is multiplication by the signed unit volume at each point, so only the signs actually present occur.

For Hodge integration by parts in arbitrary degree, let $\alpha \in {\Omega }^{r-1}(M)$ and $\beta \in {\Omega }^r(M)$. The graded Leibniz rule and Stokes theorem on the closed manifold giveUsing the given codifferential and the square of the Hodge star,Thereforewhich proves that $\delta$ is the formal adjoint of $d$. The complex version inserts conjugation in the usual Hermitian inner product.

The Hodge decomposition theorem gives an $L^2$-orthogonal decompositionwhere ${\mathcal{H}}^k(M)=\ker \Delta$ is finite dimensional and consists of the harmonic differential forms. Each de Rham cohomology class has a unique harmonic representative. Equivalently, with harmonic projection $P_{\mathcal{H}}$ there is a smooth Green operator of the Hodge Laplacian $G$ satisfying $\Delta G=G\Delta =I-P_{\mathcal{H}}$.

The solvability condition for the Hodge Poisson equation isNecessity follows from $⟨\Delta \alpha ,h⟩=⟨\alpha ,\Delta h⟩=0$. Conversely the orthogonality condition gives $P_{\mathcal{H}}\beta =0$, so ${\alpha }_0=G\beta$ solves the Poisson equation for differential forms.

The nonnegativity of the Hodge Laplacian identityidentifies its kernel with closed and coclosed forms. Thus the affine space of solutions of the Hodge Poisson equation isFor completeness, if a closed form is decomposed as $\omega =h+d\xi +\delta \zeta$, then $d\delta \zeta =0$, and $\Vert \delta \zeta {\Vert }^2=⟨\zeta ,d\delta \zeta ⟩=0$. Hence its cohomology class is represented by $h$. An exact harmonic form $h=d\xi$ must vanish, since $\Vert h{\Vert }^2=⟨\delta h,\xi ⟩=0$. This proves the canonical isomorphism ${\mathcal{H}}^k(M)\cong H_{\mathrm{dR}}^k(M)$, so the solution set is an affine space whose translation vector space is isomorphic to the requested de Rham cohomology.

Here “bumpy” means a nowhere locally homogeneous metric, not the different convention concerning nondegenerate closed geodesics. A smooth Riemannian metric has this property if every local isometry between connected open subsets is the identity on its domain; in particular, no two distinct open subsets are isometric. The Sunada local isometry lemma states that, on a compact smooth manifold without boundary of dimension at least two, such Riemannian metrics form a residual set and are dense in the $C^{\infty }$ topology. The dimension restriction matters: in dimension one, arclength coordinates always give nontrivial local isometries.

An element $j_x^{k}f$ of the jet bundle of maps $J^k(M,N)$ records the source point $x$, target value $f(x)$ and all derivatives through order $k$. If $\dim M=m$ and $\dim N=n$, there are $\left(\genfrac{}{}{0ex}{}{m+r-1}{r}\right)$ derivative multi-indices of order $r$, and $n$ components for each one. ThusFor the projection $j_x^{k}f\mapsto (x,f(x))$ onto $M\times N$, the fiber has dimension $n((\genfrac{}{}{0ex}{}{m+k}{k})-1)$. In source and target coordinates its Taylor coefficients identify it withThis is a coordinate-dependent identification for $k>1$, since a change of coordinates mixes different derivative orders. For $k=1$ the fiber is canonically $\mathrm{Hom}(T_{x}M,T_{y}N)$; for higher orders, truncation to the previous jet bundle of maps is an affine bundle modeled on ${\mathrm{Sym}}^k(T_x^{\ast }M)\otimes T_{y}N$. For $k=0$ the fiber is a point.

The density assertion in the printed question requires distinct closed domains. Literally, for $i=k$, the identity is an isometry for every Riemannian metric, so ${\mathcal{S}}_{ii}$ is the whole metric space and its complement is empty. Merely indexing the same closed ball twice has the same defect. The intended assertion is for distinct embedded closed balls $K_i={\overline{U}}_i$ and $K_k={\overline{U}}_k$, with an isometry meaning an onto diffeomorphism preserving the metric. The proof below establishes precisely this corrected assertion.

Distinct embedded closed balls are regular closed sets, so at least one of $\mathrm{int}{K}_i\setminus K_k$ and $\mathrm{int}{K}_k\setminus K_i$ contains a nonempty open set. Indeed, if both were empty, taking closures would give both inclusions and hence equality. Interchange the labels if necessary and choose a nonzero nonnegative smooth bump function $\eta$ supported in $\mathrm{int}{K}_i\setminus K_k$. For any given Riemannian metric $g$, make the localized volume perturbationThe Riemannian volume form satisfies $d{V}_{g_t}=e^{mt\eta }d{V}_g$. ThereforeIf the original volumes agree, every sufficiently small $t>0$ makes them unequal. If they already disagree, continuity preserves that inequality for sufficiently small $t$. An onto isometry must preserve volume, so each of these perturbed Riemannian metrics belongs to $\mathcal{C}{\mathcal{S}}_{ik}$. Finally $g_t\to g$ in $C^{\infty }$: all derivatives of $e^{2t\eta }-1$ tend to zero uniformly on compact sets. This proves density of $\mathcal{C}{\mathcal{S}}_{ik}$ for distinct closed balls, in fact in every positive dimension. The localized volume perturbation settles this particular density claim directly. It also does not imply the stronger Sunada local isometry lemma by itself, since a general local isometry need not send one preselected basis ball onto another.

Let $p=|a|$, $q=|b|$ and $r=|ab|$ denote element orders. Remove three points from an oriented sphere. Its fundamental group has peripheral generators ${\gamma }_a,{\gamma }_b,{\gamma }_c$ with ${\gamma }_a{\gamma }_b{\gamma }_c=1$. Send them to $a,b,(ab{)}^{-1}$. Since $a,b$ generate $T$, the kernel defines a connected regular covering of the punctured sphere with degree $|T|$ and deck transformation group $T$.

Complete the lifted punctures by disks. Above the three removed points the monodromy cycles have lengths $p,q,r$, respectively, and the disk projection has the local form $z\mapsto z^p$, $z^q$ or $z^r$. This gives a closed connected oriented topological surface $M$ and an orientation-preserving $T$-action. At the three kinds of filled-in points the stabiliser subgroups are conjugates of $⟨a⟩$, $⟨b⟩$ and $⟨ab⟩$, respectively. Every other point has trivial stabiliser subgroup. Orders equal to one simply correspond to unbranched filled points.

The punctured sphere has Euler characteristic $-1$, so its cover has Euler characteristic $-|T|$. Filling the ends adds $|T|/p+|T|/q+|T|/r$ disks. This proves the formula for the branched surface action from two generators:

For a subgroup $U$, its quotient map is always regular as a branched quotient. It is an ordinary unbranched normal covering map exactly when $U$ acts freely, that is,Necessity follows from the listed stabiliser subgroups. Conversely, these conditions eliminate every possible nontrivial point stabiliser. A free finite action gives a covering space, and its deck transformations are $U$, acting transitively on each fibre; hence the cover is normal. In this caseThe condition $U⊴T$ concerns regularity of the different map $U\backslash M\to T\backslash M$; it is not needed for $M\to U\backslash M$ when the action of $U$ is free.

For the specified order-$96$ group, $p=q=3$. Set $c=ab$ and $z=c^3$. Since $z$ has order two, $c^6=1$ and $c^3\ne 1$, so $|c|$ is either two or six. The order-two alternative would make the displayed formula give $\chi (M)=96(1/3+1/3+1/2-1)=16$. That is impossible for a connected closed oriented topological surface, whose Euler characteristic is $2-2g\le 2$. Thus $|c|=6$, and

Each $U_i$ has order eight. By Lagrange's theorem, it contains no element of order three or six, so it meets all conjugates of $⟨a⟩$ and $⟨b⟩$ trivially. In $⟨c⟩$, the only nonidentity element whose order divides eight is $z=c^3$. Since $z$ is central, it is also the unique such element in every conjugate of $⟨c⟩$, and it is excluded from both $U_i$ by hypothesis. Both subgroup actions are therefore free. The quotients are closed oriented surfaces with

The branched-cover construction supplies a smooth structure, with the stabilisers acting by rotations in the disk charts. Average a smooth Riemannian metric over $T$ to make the whole action isometric. The Gassmann equivalence of $U_1,U_2$ then gives isospectral manifolds: for every upstairs eigenspace with character ${\chi }_{\lambda }$, its downstairs multiplicities are $|U_i{|}^{-1}{\sum }_{u\in U_i}{\chi }_{\lambda }(u)$, and these are equal because the two subgroups have equal intersection sizes with every conjugacy class. This proves the spectral assertion for any such invariant metric.

To guarantee nonisometry, choose the invariant metric with curvature markers distinguishing finite-cover quotients. Here are the geometric details, since nonconjugacy alone would not guarantee nonisometry for an arbitrary metric. Choose a small disk in the free locus of the $T$-action, with all its translates disjoint. In that disk choose three noncollinear points in a geodesically convex neighbourhood. Supported conformal smooth bump functions can give them three distinct high values as strict Gaussian curvature maxima, occurring nowhere else in the unmodified metric. Arrange these three maxima as one tight cluster, much closer to each other than to any translated cluster, and copy the same modification to every translate. Curvature and its first few derivatives can be adjusted by the second and higher derivatives of the conformal factor; narrow bumps give high distinguished curvature with small change in metric distances. Further small supported perturbations remove accidental maxima of these exact heights. Thus the resulting metric remains smooth and $T$-invariant, and its marked clusters are intrinsic and uniquely labelled by their three curvature values.

Any proposed quotient isometry $F:U_1\backslash M\to U_2\backslash M$ must carry a whole labelled cluster to another. Lift its restriction near that cluster to the corresponding two marked disks in $M$, and identify these disks using the appropriate group element $t\in T$. The resulting local isometry fixes all three marked points. Its differential at the first point fixes the two independent directions of the unique geodesics to the other two; hence it is the identity, and the local isometry itself is the identity near that point. If $p_i:M\to U_i\backslash M$ are the quotient maps, we therefore haveon an open set. Both sides are local isometries on the connected complete Riemannian surface $M$. A local isometry is determined along each geodesic by its value and differential at the initial point, so the equality propagates to all of $M$.

For $u\in U_1$, this equality implies $p_2\circ tu=p_2\circ t$. Evaluating at a free point of the $T$-action shows $tu{t}^{-1}\in U_2$; equivalently these maps differ by a deck transformation of $p_2$. Thus $t{U}_1{t}^{-1}\subseteq U_2$, and equality of subgroup orders gives equality. This contradicts their assumed nonconjugacy. For this marked invariant metric the two quotients are nonisometric, isospectral Riemannian surfaces of genus two. No constant-curvature requirement is imposed or used.

The expression $d\varphi (X)$ is in general a vector field along a map, rather than a vector field on $M$. Its intended meaning in the required formula is pointwise evaluation of the vector-bundle-valued differential form $\nabla s$:using the canonical identification $({\varphi }^{\ast }E{)}_p=E_{\varphi (p)}$. This interpretation works for every smooth map, including a constant map or a map with self-intersections.

Choose a frame of a vector bundle over $U$, written as a row $e=(e_1,\dots ,e_r)$. Define its connection one-form $\Omega$ byfor component columns $u$. The pulled-back frame $e^{\varphi }=({\varphi }^{\ast }{e}_1,\dots ,{\varphi }^{\ast }{e}_r)$ is a frame of a vector bundle over ${\varphi }^{-1}U$. For any component column $v$ of smooth functions on that open set, defineHere the matrix entries of ${\varphi }^{\ast }\Omega$ are ordinary pullbacks of a differential form. The displayed operator is linear and satisfies the Leibniz rule, hence is locally a connection on a vector bundle.

To prove these local operators glue, change the original frame of a vector bundle to $\tilde{e}=eh$. Expanding $\nabla (ehu)$ gives the change of frame of a vector-bundle connectionThe pullback of a differential form and the chain rule giveThis is precisely the required transformation law for the pulled-back frame ${\tilde{e}}^{\varphi }=e^{\varphi }(h\circ \varphi )$. Thus the definitions agree and give a global pullback connection.

For $s=eu$, substitute $v=u\circ \varphi$ in the defining formula and use $d(u\circ \varphi )(X)=du(d\varphi (X))$. This proves the required identity. Conversely that identity fixes ${\nabla }_X^{\prime }({\varphi }^{\ast }{e}_a)$; the Leibniz rule then fixes the derivative of every ${\sum }_a{v}^a{\varphi }^{\ast }{e}_a$, proving uniqueness. If the identity is initially imposed only on global sections of a vector bundle, multiply each local frame section by a smooth bump function equal to one near the point in question and supported in $U$, and extend by zero. These global sections agree with the frame locally, so the same uniqueness argument applies. The pullback connection exists and is unique.

We use the following existence and uniqueness statement for parallel transport: for a smooth affine connection, a smooth curve $\gamma :[0,1]\to M$, an initial time $t_0$ and a vector $v\in T_{\gamma (t_0)}M$, there is a unique smooth vector field along a map $V$ on the whole curve satisfying $D_{t}V=0$ and $V(t_0)=v$. In a frame of a vector bundle this is the linear ordinary differential equation $\dot{V}=-\Gamma (\dot{\gamma })V$. Its smooth coefficient matrix is bounded on every compact time subinterval in a trivializing neighborhood, and the linear existence theorem gives a solution throughout that subinterval. A finite subdivision of $[0,1]$ into such neighborhoods and uniqueness patch the solutions. No completeness hypothesis on $M$ is needed.

For arbitrary fields $U,V$ along a curve, the definition of the induced covariant derivative of the metric tensor givesThis can also be checked by differentiating $g_{ij}(\gamma (t))U^i(t)V^j(t)$ and substituting the formula in part (a). If $\nabla$ is a metric connection and $V$ is parallel, it follows that $d(g(V,V))/dt=0$. Positivity of the Riemannian metric makes $|V|=\sqrt{g(V,V)}$ constant. Thus parallel transport preserves lengths.

Conversely assume every parallel field along every smooth curve has constant length. Fix $p\in M$ and arbitrary $x,v\in T_{p}M$. Choose a curve through $p$ with velocity $x$ at an interior time $t_0$. Explicitly, in a coordinate chart $z$ centered at $p$, take $\gamma (t)=z^{-1}(h(t)d{z}_p(x))$, where $h(t_0)=0$, $h^{\prime }(t_0)=1$, and $h$ has sufficiently small amplitude and support near $t_0$. A smooth bump function produces such $h$, so the curve is defined on all of $[0,1]$ and remains inside the chart. By the stated parallel transport theorem there is a parallel field with $V(t_0)=v$. Evaluating the derivative of its squared length givesFor fixed $x$, the bilinear form $B_x(v,w)=({\nabla }_{x}g{)}_p(v,w)$ is symmetric. Its diagonal values vanish, so polarization identity givesSince $p,x,v,w$ were arbitrary, $\nabla g=0$. A connection is metric-compatible if and only if all parallel fields have constant length. Polarization also shows that its parallel transport preserves all inner products, not just lengths.

Here a nowhere locally homogeneous metric means a smooth Riemannian metric with no nonidentity local isometry: an isometry between open subsets must fix every point of its domain. This is the strong local-rigidity meaning of “bumpy” used in this question, not the different convention about nondegenerate closed geodesics. Sunada's local isometry lemma states that, on a closed smooth manifold of dimension at least two, such Riemannian metrics form a residual subset of the space of smooth Riemannian metrics and are dense in its $C^{\infty }$ topology. In dimension one this conclusion is false: arclength coordinates give local translations for every Riemannian metric.

For maps $M^m\to N^n$, the jet bundle of maps $J^k(M,N)$ records the source point, the target value and all derivatives through order $k$. There are $\left(\genfrac{}{}{0ex}{}{m+k}{k}\right)$ monomials of total degree at most $k$ in $m$ variables. HenceOver $(x,y)\in M\times N$, the value is already fixed, so the fibre has dimensionIn local coordinates it is the space of Taylor series coefficients of orders one through $k$, represented by a direct sum of symmetric powers, ${⨁}_{r=1}^k{\mathrm{Sym}}^r(T_x^{\ast }M)\otimes T_{y}N$. This direct sum identification is coordinate-dependent for $k>1$: higher derivatives mix with lower ones under nonlinear coordinate changes. Intrinsically, the truncation to order $k-1$ is an affine bundle modeled on ${\mathrm{Sym}}^k(T_x^{\ast }M)\otimes T_{y}N$. For $k=1$ the fibre is canonically $\mathrm{Hom}(T_{x}M,T_{y}N)$.

For the density assertion as printed, an isometry ${\overline{U}}_i\to {\overline{U}}_j$ is a bijective Riemannian isometry. A localized volume perturbation suffices; it is not necessary to prove the stronger generic local-rigidity lemma afresh. We take the coordinate-ball basis without repetitions, and each $U_i$ as the interior of its smooth closed-ball closure. Distinct such domains have a nonempty open difference in at least one direction. Indeed, if both were contained in the other's closure, their regular-open property $U=\mathrm{int}\overline{U}$ would make them equal.

Fix any Riemannian metric $g$. If the two domains have unequal volumes, they cannot be isometric, so $g$ already lies in the desired complement. Otherwise, after interchanging the two indices if necessary, choose a nonnegative nonzero smooth bump function $\psi$ supported in $U_i\setminus {\overline{U}}_j$, and setThese are positive-definite smooth Riemannian metrics tending to $g$ in the $C^{\infty }$ topology as $ϵ\to 0$. Their Riemannian volume forms satisfy $d{V}_{g_{ϵ}}=e^{mϵ\psi }d{V}_g$. The Riemannian metric and volume on $U_j$ are unchanged, whereasFor every sufficiently small $ϵ>0$, the volumes differ. Thus no isometry of the two closed domains exists, provingThe volume difference is continuous in the smooth topology, so the unequal-volume Riemannian metrics even form an open dense subset of this complement. The regular-open assumption is also needed to justify this literal closed-domain assertion. As written, requiring only that each closure be a closed ball permits two distinct basis members with the same closure. For example in ${\mathbb{R}}^m$, adjoin $U=B(0,1)$ and $V=B(0,1)\setminus \{0\}$ to a countable basis of a topology of coordinate balls. Both are open and both closures are the same closed ball. The identity is an isometry of those closures for every Riemannian metric, so the indicated complement is empty. Thus the conclusion needs distinct closures, as in the usual basis of genuine coordinate balls used above. The no-repetitions convention is necessary as well: if the indexed basis repeats a domain, its identity map is always an isometry and the asserted complement for those two indices is empty. This volume argument concerns isometries onto the specified whole domains; the stronger assertion excluding arbitrary local isometries is the separate Sunada lemma stated above.

The space of smooth differential forms of degree $p$ isThus a form assigns smoothly to each point an alternating $p$-linear function on its tangent space. Here ${\Omega }^0(M)=C^{\infty }(M)$, and forms of degree greater than $\dim M$ vanish. The wedge product of differential forms gives the graded exterior algebra of forms.

The exterior derivative is an $\mathbb{R}$-linear map of degree one satisfying the following axioms: $df(X)=X(f)$ for functions; for a $p$-form $\alpha$,and $d^2=0$. The sign is the graded Leibniz rule.

To construct it, write in a coordinate chartThis formula is linear, agrees with differentiation on functions and obeys the graded Leibniz rule. Its square vanishes because symmetric second partial derivatives are contracted against antisymmetric wedge products.

The construction is independent of the chart. For coordinates $y^j=y^j(x)$, the chain rule gives $d{y}^j={\sum }_i({\partial }_i{y}^j)d{x}^i$, and the coordinate formula gives $d(d{y}^j)=0$ by equality of mixed partial derivatives. Consequently, expressing a form as ${\sum }_I{b}_{I}d{y}^I$ and applying the $x$-coordinate formula gives exactly ${\sum }_{I}d{b}_I\wedge d{y}^I$, the $y$-coordinate formula. The local constructions agree on overlaps and therefore define a global exterior derivative.

For uniqueness, first derive locality from the axioms. If $\alpha$ vanishes near $p$, choose a smooth bump function $\chi$ supported in that neighborhood and equal to one near $p$. Then $\chi \alpha =0$, andimplies $(d\alpha {)}_p=0$. Thus the value depends only on the local germ of $\alpha$. Local coordinate functions can be extended using bump functions, so the same axioms apply to their germs. Since $d(d{x}^i)=d^2{x}^i=0$, the graded Leibniz rule forces precisely the coordinate formula above. The exterior derivative exists and is unique, as expressed by uniqueness of the exterior derivative from its axioms.

Define the pointwise representation of one-forms by vector-field functionals byIt is $\mathbb{R}$-linear, its value is a smooth function, and $X_p=0$ implies $\theta (\omega )(X)(p)=0$. Moreoverso it is a map of $C^{\infty }(M)$-modules. This is the properly typed scalar-multiplication property: the same symbol for a form and its associated functional is understood through $\theta$.

To construct its inverse, let $\alpha \in W$ and $v\in T_{p}M$. Choose a global smooth vector field $X$ with $X_p=v$; a local coordinate field multiplied by a smooth bump function supplies such an extension. SetThis is well-defined: if $X_p=Y_p$, then $X-Y$ vanishes at $p$, so $\alpha (X-Y)(p)=0$. Real linearity of $\alpha$ makes ${\omega }_p$ a covector. In fact the pointwise vanishing assumption also forcesbecause $(f-f(p))X$ vanishes at $p$. Thus $\alpha (fX)=f\alpha (X)$ for every smooth $f$, even though only real linearity was initially imposed.

It remains to prove smoothness, rather than assume continuity of an abstract linear map. Near a fixed point, choose global fields $E_1,\dots ,E_n$ equal to the coordinate basis on a smaller neighborhood, using a bump function equal to one there. On that neighborhood,All coefficients are smooth by the definition of $W$, so $\omega$ is a smooth differential one-form. The construction holds near every point, hence gives $\omega \in {\Omega }^1(M)$ with $\alpha (X)=\omega (X)$ globally.

Every tangent vector can be realized by a global field, so $\theta (\omega )=0$ forces $\omega =0$. The inverse just constructed gives surjectivity. The evaluation map is a natural $C^{\infty }(M)$-module isomorphism ${\Omega }^1(M)\cong W$. No auxiliary metric or connection was chosen.

A Riemannian metric is a smooth field of positive-definite symmetric bilinear forms $g_x$ on the tangent spaces, equivalently a smooth section of ${\mathrm{Sym}}^2{T}^{\ast }M$ with that positivity. Its musical isomorphism isNondegeneracy makes every fiber map an isomorphism. In coordinates the map has matrix $g_{ij}$, and its inverse ${♯}_g$ has matrix $g^{ij}$. Smoothness of the inverse follows from the inverse-matrix formula and the nonvanishing determinant. Both maps cover the identity on $M$, giving a smooth vector bundle isomorphism.

For local flattening of a Riemannian metric, choose a manifold chart neighborhood $V$ around $p$ with closure contained in $U$, and let $h={\varphi }^{\ast }\delta$ on $V$. Choose a smooth bump function $0\le \chi \le 1$, with compact support in $V$ and equal to one on a smaller neighborhood $W$ of $p$. SetThe formulas glue smoothly because the modification is supported strictly inside $V$. A convex combination of positive-definite forms is positive definite. On $W$ the metric is exactly $h$, so $\varphi$ gives an isometry to a Euclidean open subset. Outside $U$ the original metric remains unchanged.

Geodesic completeness means that every geodesic with arbitrary initial point and tangent vector extends for every real affine parameter. On each connected component, the Hopf-Rinow theorem equates this with completeness of the Riemannian distance.

The Euclidean-end claim needs a compact-core interpretation that is absent from its literal hypotheses. Indeed, $M=\{x\in {\mathbb{R}}^n:|x|>1\}$ with $n\ge 2$, $X=\varnothing$ and $g=\delta$ satisfy those hypotheses. The geodesic $\gamma (t)=(2-t)e_1$ reaches the missing unit sphere at $t=1$ and cannot continue within $M$. Thus the printed assumptions alone do not prove completeness.

Here is the intended compact-core completeness for a Euclidean end. Write $\Phi :M\setminus X\to \{|x|>1\}$ for the end coordinates and assume additionally thatis compact for every sufficiently large $R$. Choose such an $R$ beyond the metric transition and large enough to include the initial point of a geodesic. Its speed $s$ is constant. On every segment outside $K_R$, the Euclidean radius changes at a rate at most $s$, so over a finite parameter interval it cannot exceed $R+sT$. The full segment therefore stays in the compact set $K_{R+sT}$. Its velocities also stay in a compact subset of $TM$, since their metric norm is fixed and the base set is compact. The smooth geodesic ordinary differential equation consequently extends past any supposed finite endpoint. The reversed-time argument is identical. This proves completeness under the compact-core condition, and explains exactly what the exterior-of-a-ball counterexample lacks.

For upward stability of Riemannian completeness, lengths of all curves satisfy $L_{\tilde{g}}\ge L_g$, hence $d_{\tilde{g}}\ge d_g$. A $d_{\tilde{g}}$-Cauchy sequence is therefore $d_g$-Cauchy and has a limit $p$ because $g$ is complete. Smooth positive-definite metrics induce the manifold topology. More explicitly, on a small coordinate ball around $p$, $\tilde{g}$ has a bounded largest matrix eigenvalue, so the coordinate straight segment gives $d_{\tilde{g}}(p,q)\le C|\varphi (q)-\varphi (p)|$. Thus convergence to $p$ is also in $d_{\tilde{g}}$. That distance is complete, and Hopf-Rinow yieldsFor disconnected $M$, apply this argument on each component.

The exterior derivative is an $\mathbb{R}$-linear map $d:{\Omega }^p(M)\to {\Omega }^{p+1}(M)$, agrees with the differential $df$ of a smooth function, satisfies the graded Leibniz rule $d(\alpha \wedge \beta )=d\alpha \wedge \beta +(-1{)}^p\alpha \wedge d\beta$ for $\alpha \in {\Omega }^p(M)$, and has $d^2=0$. These properties determine it locally and hence globally. To see locality directly, if a differential form $\alpha$ vanishes near $x$, choose a smooth bump function $\chi$ equal to one near $x$ and supported where $\alpha =0$. The identity $d(\chi \alpha )=d\chi \wedge \alpha +\chi d\alpha$ gives $(d\alpha {)}_x=0$. Thus global forms can be computed using local extensions in a manifold chart.

In coordinates write $\alpha ={\sum }_I{a}_{I}d{x}^{i_1}\wedge \cdots \wedge d{x}^{i_p}$. Since $d(d{x}^i)=d^2{x}^i=0$, the graded Leibniz rule forcesThis is the uniqueness of the exterior derivative from its axioms. The coordinate formula also establishes existence: it has the stated properties, and the chain rule shows that coordinate changes give the same operator.

The de Rham cohomology is the real quotient vector spaceThus a cohomology class records a closed differential form modulo an exact differential form. In degree zero there are no exact forms; closed functions are locally constant. The Poincaré lemma says that every closed form of positive degree on a star-shaped open subset of ${\mathbb{R}}^n$ is exact, and hence that positive-degree closed forms are locally exact on a smooth manifold.

For the first de Rham cohomology of the two-sphere, let $U=S^2\setminus \{N\}$ and $V=S^2\setminus \{S\}$. Stereographic projection identifies each with ${\mathbb{R}}^2$, so a closed one-form $\alpha$ has primitives $f_U,f_V$. On the connected overlap $U\cap V$, the derivative of $f_U-f_V$ is zero, so this difference is a constant. Subtracting that constant from $f_U$ makes the primitives agree. They glue to a global smooth primitive. Therefore $H_{\mathrm{dR}}^1(S^2)=0$.

Let $q:S^2\to {\mathbb{RP}}^2$ be the double covering map and $a$ the antipodal map. The pullback of a differential form identifies forms downstairs with $a$-invariant forms upstairs. Averaging $(\eta +a^{\ast }\eta )/2$ commutes with $d$. If an invariant form is exact upstairs, averaging its primitive proves it exact downstairs. Conversely an invariant cohomology class has an invariant representative by the same averaging. This proves the de Rham cohomology of a finite quotient identification $H_{\mathrm{dR}}^p({\mathbb{RP}}^2)\cong H_{\mathrm{dR}}^p(S^2{)}^{a^{\ast }}$. In degree zero the sphere is connected and $a^{\ast }$ fixes constants; degree one is zero; in degree two the granted action is multiplication by $-1$, whose invariant real subspace is zero. Forms of degree greater than two vanish. HenceThis is real de Rham cohomology; it does not detect the integral two-torsion of the real projective plane.

A fiber metric on a real vector bundle $E\to M$ is a smoothly varying positive-definite inner product on each fiber. Choose a trivializing open cover $\{U_i\}$ and a smooth partition of unity $\{{\rho }_i\}$ subordinate to it. The partition theorem gives nonnegative functions summing to one, a locally finite family of subsets of supports, and $\mathrm{supp}{\rho }_i\subset U_i$; the usual Hausdorff second-countable smooth manifold hypotheses ensure this theorem applies. Transfer the Euclidean inner product to each local vector bundle trivialization, obtaining $h_i$, and setEach weighted term extends smoothly by zero outside $U_i$, and local finiteness makes the sum smooth in every vector bundle trivialization. At each $x$ some weight is positive, so $h_x(v,v)>0$ for every nonzero $v$. This proves existence of a fiber metric, with no orientability or triviality assumption.

A vector bundle morphism covering the identity is a smooth map $F:E^{\prime }\to E^{\prime \prime }$ that preserves base points and is a linear map on each fiber. Its induced map on the module of smooth sections is $s\mapsto F\circ s$, and is $C^{\infty }(M)$-linear. We prove the converse by constructing bundle morphisms from maps of smooth sections.

First the given map $\alpha$ is local. If a global section $s$ vanishes on a neighborhood of $x$, take a smooth bump function $\chi$ supported there with $\chi =1$ near $x$. Then $\chi s=0$, so $\chi \alpha (s)=\alpha (\chi s)=0$, and hence $\alpha (s)(x)=0$. Thus sections agreeing near $x$ have images agreeing at $x$.

Choose a local frame $e_1,\dots ,e_r$ on $U$, and a bump function equal to one on a smaller neighborhood $V$ of $x$ and supported in $U$. Multiplying the frame by that bump and extending by zero gives global smooth sections $t_j$ whose restrictions to $V$ are the frame. If $s(x)=0$, write $s=\sum a_j{e}_j$ on $V$. A second bump extends each $a_j$ to a global smooth function ${\tilde{a}}_j$ agreeing near $x$. By locality and $C^{\infty }(M)$-linearity,Every fiber vector $v\in E_x^{\prime }$ is the value of a global smooth section, by the same bumped-frame construction. Define $F_x(v)=\alpha (s)(x)$ for any such section. The just-proved vanishing statement makes this well-defined. The maps $F_x$ are linear maps, and locally their matrix columns are the smooth sections $\alpha (t_j)$ in a frame of $E^{\prime \prime }$. Thus $F$ is smooth, is a vector bundle morphism, and satisfies $\alpha (s)=F\circ s$. Fiberwise evaluation also proves uniqueness.

Finally apply the fiber metric construction to the tangent bundle. A Riemannian metric $g$ defines the musical isomorphismPositive definiteness makes it a fiberwise bijection; its inverse is smooth because inverse metric matrices vary smoothly. Hence $TM$ and $T^{\ast }M$ are isomorphic as real smooth vector bundles on every such manifold. The isomorphism depends on the chosen metric and is not canonical.

For fixed-design nonparametric regression, let $x_i=i/n$ and $K_h(u)=h^{-1}K(u/h)$. The degree-$p$ local polynomial estimator takes the fitted intercept ${\hat{m}}_h(x;p)={\hat{\beta }}_0$, whereUse a nonnegative regression kernel and an invertible local polynomial Gram matrix to obtain a unique fit. For $p=0$, solving the single weighted least squares normal equation gives the local constant estimator:At the interior point $x_0$, use the standard unit-integral regression kernel convention ${\mu }_0(K)=1$. Otherwise the leading variance below is $R(K)/(nh{\mu }_0(K{)}^2)$; unlike a kernel density estimator, the local constant estimator itself is unchanged by rescaling $K$.