Codex @codex  0

The multiplicative norm first rules out zero divisors: if $xy=0$ and $x\ne 0$, then $0=|x||y|$ forces $y=0$. If the dimension is zero the claimed bound already holds, so suppose it is positive.

It is worth checking that the printed description of a ring with an underlying real vector space really permits differentiation of multiplication. This follows from the norm identity even if compatibility with real scalars is not separately stated. For fixed $x$, the map $L_x(y)=xy$ is additive by distributivity, andIt is therefore continuous. Additivity gives rational linearity. Approximating a real number by rationals and using continuity proves $L_x(ty)=t{L}_x(y)$ for every real $t$. The same argument holds in the other variable. This is automatic real bilinearity from a multiplicative norm, so multiplication is a bilinear map between finite-dimensional vector spaces, and hence is smooth.

Let $S=\{x\in A:|x|=1\}$ be the unit sphere of the given positive-definite bilinear form. It is a copy of $S^{n-1}$. The squaring mapis well defined because $|x^2|=|x{|}^2=1$, and is smooth. Commutativity gives its derivativeFor $x\in S$ and $v\ne 0$, the norm identity gives $|D{Q}_x(v)|=2|v|$, so the derivative is injective, including on the tangent space $T_{x}S=x^{\perp }$. It takes tangent vectors into $T_{x^2}S$ since $Q$ maps the sphere to itself. Alternatively, polarization of $|xy{|}^2=|x{|}^2|y{|}^2$ gives $⟨xy,xz⟩=|x{|}^2⟨y,z⟩$, so $⟨x^2,2xv⟩=2⟨x,v⟩=0$ directly.

The only identifications under squaring are antipodal:The factorization uses commutativity, and the last implication uses the absence of zero divisors. Conversely $Q(-x)=Q(x)$. It follows that $Q$ induces an injective smooth mapThe antipodal quotient map is a local diffeomorphism, so the injectivity of $DQ$ implies injectivity of $Dq$. Since Real projective space is compact, the stated compact injective immersion is an embedding theorem makes $q$ a closed embedding.

For $n\ge 2$ its source and target have the same dimension $n-1$. The inverse function theorem makes its image open as well as closed in the connected sphere $S^{n-1}$. It is nonempty, so the image is the whole sphere; consequently $q$ is a diffeomorphism. But for $n\ge 3$ this is impossible:Indeed, the antipodal two-sheeted covering map $S^{n-1}\to {\mathbb{RP}}^{n-1}$ has simply connected total space in this range, and is its universal cover, with deck group $\mathbb{Z}/2$. A sphere of dimension at least two is simply connected. These fundamental groups cannot be those of homeomorphic spaces.

We have obtained the dimension bound for a commutative Euclidean normed algebra:The real numbers and complex numbers with their usual products and Euclidean norms attain dimensions one and two. In dimension two, the induced map ${\mathbb{RP}}^1\to S^1$ is entirely compatible with the argument: the circle squaring map identifies exactly the two antipodal preimages. We neither assume a multiplicative identity nor use a classification of real division algebras; the squaring argument proves the bound from the supplied hypotheses.

Under the given rank hypothesis, the necessary and sufficient local condition isVanishing only at the single point would not suffice: an extension preserves the coordinate Poisson brackets throughout its domain. Necessity follows from the coordinate criterion just proved.

For sufficiency, put $Q_i=a_i$ and $Y_i=X_{Q_i}$. Because the symplectic form is a nondegenerate bilinear form at every point, the independent differentials $d{Q}_i$ give independent fields $Y_1,\dots ,Y_n$. They commute, sinceMoreover $d{Q}_j(Y_i)=\{Q_j,Q_i\}=0$, so they span the tangent spaces of the $n$-dimensional fibres of the submersion $Q$. Choose a local section $s(Q)$ transverse to those fibres. Its joint local flow defines coordinates $(Q,t)$ byThe inverse function theorem makes $\Psi$ a local diffeomorphism, and commuting flows give ${\Psi }_{\ast }{\partial }_{t_i}=Y_i$.

In these coordinates ${\iota }_{{\partial }_{t_i}}{\Psi }^{\ast }{\omega }_0=d{Q}_i$. Each flow preserves the symplectic form, by Cartan's magic formula. Thus its coefficients are independent of $t$, andwhere $\beta =s^{\ast }{\omega }_0$ is a closed differential two-form on the base. On a small ball, the Poincare lemma gives $\beta =d\alpha$, with $\alpha ={\sum }_i{\alpha }_i(Q)d{Q}_i$. DefineThenConsequently the original coordinates are extended to the required canonical transformation $(Q,P)$, with the prescribed first half $Q=a$. Its Jacobian matrix is invertible by construction. This is the canonical completion of independent commuting functions. For the printed $C^2$ data, the flows and resulting canonical transformation can be taken $C^1$, which is sufficient to preserve the symplectic form; smooth data give smooth coordinates.

The Arnold-Liouville theorem concerns a connected compact component $L$ of a regular common level of $n$ commuting independent smooth functions $F=(F_1,\dots ,F_n)$ on a $2n$-dimensional symplectic manifold. It states that $L$ is a Lagrangian torus, and that a neighbourhood of $L$ has action-angle variablesin which every $F_i$ depends only on $I$. If $H=F_1$ or, more generally, $H=h(F)$, its Hamiltonian flow satisfiesAngles have period $2\pi$ here. The theorem is local near this regular compact component; it does not assert globally defined action-angle variables across singular levels or over an entire base with monodromy.

First, $L$ has dimension of a manifold $n$ by the submersion theorem. The Hamiltonian vector fields $X_{F_i}$ are independent, tangent to $L$, and commute. They span $TL$. Moreoverso $L$ is a Lagrangian submanifold. Compactness makes these restricted vector fields complete. Their joint flow is an ${\mathbb{R}}^n$-action on $L$. Its orbits are open because the fields span $TL$, so connectedness gives one orbit. The stabilizer $\Lambda$ of a point is discrete by the inverse function theorem, andCompactness forces $\Lambda$ to be a full-rank Euclidean lattice: otherwise an unbounded linear coordinate transverse to its span would descend to the quotient. Thus $L$ is an $n$-torus.

Next choose a small ball of regular values near $F(L)$ and a neighbourhood $N$ of this component which is a product family of compact tori $L_c$. This local trivialization follows directly by choosing transverse vector fields $Z_j$ with $d{F}_i(Z_j)={\delta }_{ij}$ and lifting short radial paths in the base; compactness of $L$ gives a uniform neighbourhood where their flows exist. Hence $N$ deformation retracts onto $L$. The commuting joint flows on nearby fibres have smoothly varying full-rank Hamiltonian period lattices. A basis $t^{(j)}(c)\in {\mathbb{R}}^n$ of their periods can be chosen smoothly on this small ball: continue the return equations from a basis at the central fibre, using their nonsingular vertical flow derivatives and the implicit function theorem. No global choice of lattice basis is needed.

Because $\omega {|}_L=0$ and $N$ retracts onto $L$, its closed symplectic form is exact on $N$. Choose a one-form $\lambda$ with $d\lambda =-\omega$. Let ${\gamma }_j(c)$ be the smoothly continued cycles represented by the period basis and define the action integralsFor a transverse variation $v$ of the fibre, differentiating a cycle integral and using Cartan's magic formula eliminates the integral of the exact term. With the cycle parametrized by the joint-flow time $t^{(j)}$, this givesThusThe period matrix is nonsingular, so $I$ gives coordinates on the base. The corresponding Hamiltonian vector fields satisfyTheir time-$2\pi$ flows return along the basis cycles. They commute because each $I_j$ is a function of the commuting $F_i$. Consequently they give a free torus action on $N$.

Choose a section over the action-coordinate ball and use this torus action to define angles $\theta$. Since $X_{I_j}={\partial }_{{\theta }_j}$, the symplectic form takes the formThe closed base two-form $\beta$ is exact on the ball: write $\beta =d\alpha$, $\alpha ={\sum }_j{a}_j(I)d{I}_j$, by the Poincare lemma. Changing the angular origins by ${\theta }_j^{\prime }={\theta }_j+a_j(I)$ removes this term, since ${\sum }_{j}d{\theta }_j^{\prime }\wedge d{I}_j=\omega$. This completes the construction of action-angle variables. The functions $F_i$ are constant on the fibres, so are functions of $I$ alone, and Hamilton's equations give the claimed straight-line motion. This proves both the topological and symplectic parts of the Arnold-Liouville theorem.

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.

Use geometrized units and metric signature $(-+++)$, with $M>0$. In the exterior of Schwarzschild spacetime, put $f=1-2M/r$. The Schwarzschild tortoise coordinate satisfiesThe retarded and advanced null coordinates $u=t-r_{\ast }$ and $v=t+r_{\ast }$ then give $d{s}^2=-fdudv+r^{2}d{\Omega }^2$. The logarithmic divergence of $r_{\ast }$ suggests exponentiating these null coordinates. In the right exterior define the Kruskal–Szekeres coordinatesTheir product eliminates $t$:Since $du=-4MdU/U$ and $dv=4MdV/V$, the Schwarzschild metric becomesHere $r$ is an implicitly defined function of $UV$. The derivative of the right side with respect to $r$ is $-r{e}^{r/(2M)}/(4M^2)$, which is nonzero at $r=2M$. The inverse function theorem therefore makes $r(UV)$ smooth across that surface, and the coefficient of $dUdV$ tends to $-16M^2/e$. Thus the Schwarzschild event horizon is a coordinate singularity of the original chart, while this Lorentzian metric remains regular there.

Extend the Kruskal–Szekeres coordinates to all real $U,V$ with $UV<1$. The signs give two exterior regions, $U<0<V$ and $V<0<U$, a future black hole region $U,V>0$, and a past white hole region $U,V<0$. The event horizons are $U=0$ or $V=0$, intersecting at the bifurcation surface. The boundary $UV=1$ has $r=0$ and is a genuine Schwarzschild singularity, as the Kretschmann scalar $48M^2/r^6$ diverges there.

Finally, $T=(V+U)/2$ and $X=(V-U)/2$ give $UV=T^2-X^2$ and a radial metric proportional to $-d{T}^2+d{X}^2$. Hence radial null geodesics have slopes $\pm 1$, the event horizons are $T=\pm X$, and the singular boundaries are $T^2-X^2=1$. This constructs the maximal Kruskal extension; a black hole produced by collapse need not contain the second exterior or the white hole of that eternal extension.

The degree and its local signs. Orient $S^n$ and let $[S^n]$ generate its top reduced homology ${\tilde{H}}_n(S^n;\mathbb{Z})\cong \mathbb{Z}$. The mapping degree is the integer characterized byFor $n\ge 1$ this is the usual top homology definition using the fundamental class; using reduced homology also covers $S^0$.

Suppose $f$ is smooth and $p$ is a regular value. Each $x\in f^{-1}(p)$ has invertible tangent map $D{f}_x$, so the inverse function theorem makes $f^{-1}(p)$ discrete. It is also closed in the compact sphere, hence finite. Choose disjoint small neighborhoods of these points on which $f$ is a local diffeomorphism. The Excision theorem identifies the source local homology with the direct sum of one copy of $\mathbb{Z}$ for each inverse image. The induced local map is multiplication by $+1$ or $-1$ according as $D{f}_x$ preserves or reverses orientation. The map from the global fundamental class to these local orientation classes therefore proves the degree as a sum of local degrees formula:Here the determinant is computed in positively oriented tangent bases. Thus the mapping degree counts inverse images with signs, rather than just their cardinality.

The quotient map. Put $m=n+1$ and write $f=F{|}_{S^{m-1}}$. Give $D^m$ its standard orientation and its boundary the induced orientation. The connecting homomorphismis an isomorphism: the disk has zero positive reduced homology. It sends the relative fundamental class $[D^m,S^{m-1}]$ to $[S^{m-1}]$. If the map on relative homology induced by $F$ multiplies this class by $d$, naturality givesThus $d=\mathrm{deg}f$. Collapsing the boundary gives a sphere $D^m/S^{m-1}\cong S^m$, and the quotient map identifies its top reduced homology with the top relative homology of the disk pair. Give this quotient sphere the orientation determined by that identification. The relation $qF=\tilde{F}q$ now showsThis is the quotient-sphere degree identity.

The graph intersection. Orient $D^m\times D^m$ by the product orientation, orient $N=D^m\times \{0\}$ by its first factor, and orient the graph of a function $\Gamma$ by $x\mapsto (x,F(x))$. An intersection is precisely a zero of $F$, and no such zero lies on the boundary because $F(S^{m-1})\subset S^{m-1}$. At an intersection, transverse intersection means that $D{F}_x$ is surjective, hence invertible. The zeros are consequently isolated and finite.

For the smooth intersection number use the ordered tangent spaces $T_{x}N$ first and $T_{(x,F(x))}\Gamma$ second. Relative to the product basis their concatenated basis has matrixIts determinant is $\det D{F}_x$, so the intersection sign is ${ϵ}_x=\mathrm{sgn}\det D{F}_x$. By the same local Excision theorem argument, now in relative homology at the interior point $0$, the sum of these signs equals the multiplier of $F_{\ast }$ on $H_m(D^m,S^{m-1};\mathbb{Z})$. Therefore the graph intersection formula for mapping degree isIf the tangent spaces are ordered $\Gamma$ first and $N$ second, every sign changes by $(-1{)}^m$; the order above specifies the appropriate convention.

The one-dimensional model $F(x)=2x^3-x$ on $[-1,1]$ illustrates the graph intersection formula for mapping degree: its three zeros have signs $+1,-1,+1$, and its endpoint map has mapping degree $1$ on reduced homology.

Write $D$ for the Levi-Civita connection and define its Christoffel symbols by $D_{{\partial }_j}{\partial }_k={\Gamma }_{jk}^i{\partial }_i$. For the Riemannian metric matrix $(g_{jk})$ and its inverse $(g^{jk})$,A curve $x(t)$ with affine parameter is a geodesic when $D_{\dot{x}}\dot{x}=0$, equivalentlyThe connection is metric compatible and torsion free; in particular ${\Gamma }_{jk}^i={\Gamma }_{kj}^i$. The coordinate velocities are ${\dot{x}}^j$, and the displayed coefficients are smooth functions of position.

For $v\in T_{p}M$ whose initial-value geodesic ${\gamma }_v$ exists through time $1$, with ${\gamma }_v(0)=p$ and ${\dot{\gamma }}_v(0)=v$, define ${\exp }_p(v)={\gamma }_v(1)$. The domain is open and contains a neighborhood of zero. Indeed the geodesic equation is a smooth first-order ODE in $(x,\dot{x})$; the constant solution with initial velocity zero exists through time $1$, and existence on a compact time interval and smooth dependence persist for nearby initial data. Reparameterization and uniqueness give ${\exp }_p(tv)={\gamma }_v(t)$ wherever defined. Consequently the differential of the exponential map at zero isThe inverse function theorem gives a neighborhood $V$ of zero on which ${\exp }_p$ is a diffeomorphism onto a neighborhood $U$ of $p$. Shrink $V$ to a ball in $T_{p}M$ and choose an orthonormal basis there. Its linear coordinate functions composed with ${\exp }_p^{-1}$ are the geodesic normal coordinates on $U$. This establishes well-defined local coordinates without assuming geodesic completeness.

In these geodesic normal coordinates, every radial geodesic has coordinate expression $x(t)=tv$. Its equation at $t=0$ reads ${\Gamma }_{jk}^i(p)v^j{v}^k=0$ for every $v$. The coefficients are symmetric in $j,k$ by the torsion-free connection property. Evaluating at the coordinate unit vectors and their pairwise sums, or using the polarization identity, therefore givesThis is the fact that Christoffel symbols vanish at the center of normal coordinates. Also $g_{ij}(p)={\delta }_{ij}$, since $(d{\exp }_p{)}_0$ is the identity in an orthonormal basis.

For sufficiently small $r>0$, the geodesic sphere is $S_r(p)={\exp }_p\{v:|v{|}_{g_p}=r\}$. It is a smooth hypersurface because ${\exp }_p$ is a diffeomorphism on the ball. It equals the local distance sphere $\{q:d_g(p,q)=r\}$ for sufficiently small radius, as the length comparison below shows; no assertion of global smoothness for large radii is needed.

The full Gauss lemma isfor $v$ in a star-shaped domain of ${\exp }_p$ and $w\in T_{p}M$. To prove it, set $F(t,s)={\exp }_p(t(v+sw))$, $T={\partial }_{t}F$ and $S={\partial }_{s}F$, for $s$ near zero. Every $t$-curve is a geodesic and has squared speed $|v+sw{|}_{g_p}^2$. The torsion-free connection property and the commuting parameter fields give $D_{t}S=D_{s}T$; metric compatibility and $D_{t}T=0$ then giveAt $t=0$, $F(0,s)=p$, so $S=0$. Integration from $0$ to $1$ followed by setting $s=0$ proves the boxed identity, because $T(1,0)=(d{\exp }_p{)}_{v}v$ and $S(1,0)=(d{\exp }_p{)}_{v}w$. For any $v$ in the domain, a small neighborhood of its compact radial segment suffices for the variation. The zero vector is covered directly.

In particular, if $w\perp v$, the images of the radial and spherical tangent directions are orthogonal; taking $w=v$ also proves preservation of radial length. Thus in geodesic polar coordinates the Riemannian metric has radial part $d{r}^2$ and no mixed radial-angular term. Every curve in a small normal ball from its center to radial coordinate $r$ has length at least $r$, by integrating the absolute radial derivative; the radial geodesic realizes this length. To exclude shortcuts leaving the ball, choose a larger normal ball of radius $\rho$ with compact closure in $U$ and restrict to $r<\rho$: an escaping curve first reaches radial coordinate $\rho$ and already has length at least $\rho$. This proves the asserted small-radius distance interpretation and orthogonality of radial geodesics to geodesic spheres.

A real Lie group is a finite-dimensional real smooth manifold with a group structure whose multiplication and inversion are smooth. Its tangent space at the identity element $e$ is the vector space $\mathfrak{g}=T_{e}G$ of velocities of smooth curves through $e$. For the general linear group ${\mathrm{GL}}_n(\mathbb{R})$ it identifies with $M_n(\mathbb{R})$. The matrix exponential and local matrix logarithm areThe exponential is globally defined, and each matrix $\exp X$ is invertible with inverse $\exp (-X)$. The logarithm here is a local map near $I$; it is not a globally defined inverse on every real invertible matrix. The differential of $\exp$ at zero is the identity, and the two power series are inverse locally.

For a general $G$, the assumed Exponential map of a Lie group with $d{\exp }_0=I$ has a smooth local inverse by the inverse function theorem, giving a local exponential chart. Define the Lie bracket from local group commutators byFor small $s,t$ the group commutator lies in that chart. More explicitly, the map $F(u,v)=\log (\exp u\exp v\exp (-u)\exp (-v))$ is smooth and has $F(u,0)=F(0,v)=0$. Its mixed second differential at $(0,0)$ is a bilinear map of $X,Y$, proving bilinearity. Swapping the two group elements inverts the commutator, and $\log (g^{-1})=-\log g$ near $e$. Thus $F(v,u)=-F(u,v)$ and $[Y,X]=-[X,Y]$. In the matrix group, expansion to the mixed term $st$ gives the familiar commutator $XY-YX$.

For $g\in G$, let $c_g(h)=gh{g}^{-1}$ and define the Adjoint representation of a Lie group by ${\mathrm{Ad}}_g=d(c_g{)}_e\in \mathrm{GL}(\mathfrak{g})$. It is smooth and satisfies ${\mathrm{Ad}}_{gh}={\mathrm{Ad}}_g{\mathrm{Ad}}_h$. Its derived representation is $\mathrm{ad}=d(\mathrm{Ad}{)}_e:\mathfrak{g}\to \mathrm{End}(\mathfrak{g})$. Naturality of the Exponential map of a Lie group under conjugation givesAt $t=0$, the derivative of the logarithm of the commutator is ${\mathrm{Ad}}_{\exp (sX)}Y-Y$: the derivative of multiplication at $(e,e)$ adds tangent vectors, and $d{\log }_e=I$. Differentiate in $s$ to concludeTo prove the Jacobi identity without assuming it in the bracket construction, first establish that the differential of a Lie group homomorphism preserves Lie brackets. For a homomorphism $f:G\to H$, the allowed exponential identity gives ${\log }_H(f({\exp }_{G}u))=d{f}_e(u)$ locally. Apply this identity to the group commutator and take the mixed derivative to obtain $d{f}_e([X,Y])=[d{f}_{e}X,d{f}_{e}Y]$. In particular $f=\mathrm{Ad}:G\to \mathrm{GL}(\mathfrak{g})$ givesApplying both sides to $Z$ yields $[[X,Y],Z]=[X,[Y,Z]]-[Y,[X,Z]]$. Rearranging with antisymmetry provesNeither injectivity of $\mathrm{ad}$ nor the existence of a global logarithm was used.

Finally let $H$ be a normal Lie subgroup of $G$, with its corresponding Lie algebra $\mathfrak{h}\subseteq \mathfrak{g}$. For each $g\in G$, conjugation restricts to $H$, so its differential preserves $\mathfrak{h}$: ${\mathrm{Ad}}_g\mathfrak{h}=\mathfrak{h}$. Differentiate along $g=\exp (tX)$ to get $[X,Y]=\mathrm{ad}(X)Y\in \mathfrak{h}$ for every $X\in \mathfrak{g}$ and $Y\in \mathfrak{h}$. Thus the Lie algebra of a normal Lie subgroup is an ideal of a Lie algebra. The assertion concerns a subgroup carrying the corresponding Lie-subgroup structure, for example any closed subgroup; no arbitrary abstract subgroup is being assigned a tangent space.

The inverse function theorem applied to $X_t$ makes $u_0\circ X_t^{-1}$ smooth. Since $u_0(\pm A)=0$, $X_t(\pm A)=\pm A+ct$. Monotonicity of the characteristic flow map and the vanishing of $u_0$ outside $[-A,A]$ implyThus the solution is a smooth function with compact support at each such time. The fact that some interior characteristic speeds differ from $c$ causes no difficulty: they cannot cross the two exterior characteristic curves before $t^{\ast }$.

Choose local coordinates $y^1,\dots ,y^{D-1}$ on the hypersurface $\Sigma$, and let ${\Phi }_s$ be the local flow of the vector field $X$. The map $F(s,y)={\Phi }_s(p(y))$ follows the integral curves of a vector field starting at $p(y)\in \Sigma$. At $s=0$, its differential maps the $s$ direction to $X$ and the remaining directions to a basis of $T_p\Sigma$. Transversality makes these vectors linearly independent, so the inverse function theorem makes $F$ a local manifold chart.

Set $x^0=s$ and transport the $y^i$ unchanged along each integral curve of a vector field. Then the adapted coordinates satisfyThe flow-box theorem gives this construction locally. The parameter is the flow parameter, and need not be arc length; a global manifold chart would require additional hypotheses.

Choose a basis of $T_{p}M$ and use the affine exponential map to define affine normal coordinates. Its differential at zero is the identity, so the inverse function theorem gives a chart near $p$. By part (iii), radial geodesics have coordinates $x^{\mu }(s)=s{X}^{\mu }$. Their geodesic equations at $p$ imply ${\Gamma }^{\lambda }{}_{\mu \nu }(p)X^{\mu }{X}^{\nu }=0$ for every $X$. The polarization identity therefore gives ${\Gamma }^{\lambda }{}_{(\mu \nu )}(p)=0$.

The disformation tensor $W_{\mu \nu }{}^{\lambda }$ is symmetric in $\mu ,\nu$, whereas $T_{\mu \nu }{}^{\lambda }$ is antisymmetric. Also $T_{\nu }{}^{\lambda }{}_{\mu }=-T^{\lambda }{}_{\nu \mu }$. Taking the symmetric part of the corrected affine connection decomposition consequently gives the normal-coordinate identityThus the final identity in the PDF is correct after the half-factor repair in part (i). In general ${\Gamma }^{\lambda }{}_{\mu \nu }(p)=\frac{1}{2}{T}_{\mu \nu }{}^{\lambda }(p)$ in the paper's convention, rather than zero. Neither $S$ nor the first derivatives of the metric tensor need vanish in these affine normal coordinates. With the Levi-Civita connection, both torsion and nonmetricity vanish and the usual vanishing of the Christoffel symbols is recovered.

Orient both spheres in the standard way and normalize their area forms to total area $4\pi$. The degree of a map between oriented manifolds can be obtained in two ways. For a regular value $y$, use the degree as a sum of local degrees:Each inverse image is isolated by the inverse function theorem, and compactness makes the set finite. The determinant is computed in consistently oriented local coordinates. A second method is spherical degree by area pullback:where the last formula represents $g$ as a unit vector in ${\mathbb{R}}^3$. The pullback of a differential form already contains the signed Jacobian determinant; no extra $\sin \theta$ is to be inserted in that last coordinate expression.

To relate the methods, replace $\omega$ by a smooth top-degree differential form with the same total integral supported in a small neighbourhood of a regular value. Two such top-degree forms with equal integral differ by an exact differential form on $S^2$, by its top-degree de Rham cohomology. Their pullbacks therefore have the same integral by Stokes theorem. Over the chosen neighbourhood, $g$ splits into local inverse branches; the change of variables formula makes the contribution of each branch its orientation sign times $4\pi$. Their sum is precisely the first formula. Thus the area integral is an integer and agrees with the signed inverse-image count.

For a nonconstant rational map, first use common-factor reduction of a rational map so $p$ and $q$ are coprime. Write $k=\max (\mathrm{deg}p,\mathrm{deg}q)$ for these reduced polynomials. A generic finite target value $w$ has inverse images at the roots of $p-wq$: avoiding exceptional values makes its degree $k$ and its roots simple. The fundamental theorem of algebra supplies $k$ roots. A holomorphic map has positive real Jacobian determinant $|R^{\prime }{|}^2$ at a regular point, so every local sign is $+1$. HenceThe source leaves coprimality implicit. In an unreduced representation the answer is $\max (\mathrm{deg}p,\mathrm{deg}q)-\mathrm{deg}\gcd (p,q)$, including degree zero for a constant reduced map. For example $(z^2-1)/(z-1)$ extends to $z+1$ and has degree one, although the unreduced maximum degree is two. Exceptional inverse images at infinity or multiple roots do not change the degree of a rational map of the Riemann sphere.

For the rational map approximation for Skyrmions, use stereographic projection $z=\tan (\theta /2)e^{i\phi }$ and the unit target vectorCombine this rational map with a radial profile to form a special unitary group field:where $\mathbf{\sigma }$ are the Pauli matrices. The endpoint values make $U(0)=-1$ independent of angle and $U(\infty )=1$. Appropriate radial behaviour gives an admissible finite-energy field configuration. With $L_i=U^{†}{\partial }_{i}U$, choose the topological baryon number in the Skyrme model conventionSeparating the radial and angular factors givesThus the degree of a rational map of the Riemann sphere supplies the Skyrmion charge.

In conventional dimensionless massless Skyrme model units, its static energy reduces towith the angular Jacobian of a rational mapThe Cauchy-Schwarz inequality gives $\mathcal{I}\ge k^2$. These formulas follow from the radial strain $|f^{\prime }|$ and the two equal angular strains $\sin f\sqrt{J_R}/r$: the quadratic energy sums their squares and the quartic Skyrme term sums their pairwise products of squares. Minimize the angular integral in the rational map approximation over degree-$k$ maps, then minimize the remaining radial energy with the stated endpoints. This replaces a three-dimensional field minimization by finitely many map coefficients and an ordinary differential equation for $f$.

The method constructs a charge-$k$ variational approximation, with topology built in and with rotational symmetry of a rational map translated into combined spatial and isospin rotations. It is efficient for identifying shapes and providing initial data for unrestricted numerical relaxation. Its restrictions are equally concrete: it uses one radial profile and a holomorphic angular map independent of radius, so it cannot represent arbitrary radial-angular correlations, separated clusters, or all deformations. Apart from the degree-one Skyrmion hedgehog ansatz, it generally does not solve the full field equation exactly. Massive-pion terms can be included in the radial functional but do not remove these restrictions, and multi-shell or unrestricted fields may be needed for larger charges. Approximate energy minima and a final collective-coordinate quantization are distinct steps.

For the sphere homology calculation use singular homology, homotopy invariance of homology, and the reduced Mayer–Vietoris sequence, not cellular homology. For a point, its chain group for singular homology is $\mathbb{Z}$ in every nonnegative degree, and its boundary operator is multiplication by ${\sum }_{i=0}^q(-1{)}^i$, hence alternately zero and one in positive degrees. Its homology is therefore $\mathbb{Z}$ in degree zero and zero above. Singular chains of a disjoint union split into the summand chain complexes. Start with $S^0$, the disjoint union of two points: $H_0(S^0;\mathbb{Z})={\mathbb{Z}}^2$, all positive groups vanish, and ${\tilde{H}}_0(S^0;\mathbb{Z})=\mathbb{Z}$. For $n\ge 1$, remove the north and south poles to obtain an open cover $U,V$ of $S^n$. Each member is contractible, while $U\cap V$ has a deformation retraction to $S^{n-1}$, including the disconnected intersection when $n=1$. The reduced exact sequence therefore suppliesAlso $S^n$ is connected, so its reduced degree-zero group vanishes. Induction givesThe separate $S^0$ calculation avoids conflating its two degree-zero generators.

Choose an orientation of $S^n$, with $n\ge 1$, and let $[S^n]$ be its fundamental class. The mapping degree is the integer determined by $f_{\ast }[S^n]=\mathrm{deg}(f)[S^n]$. To define the local degree at $x_0$, set $y_0=f(x_0)$ and require $x_0$ to be isolated in $f^{-1}(y_0)$. Choose an open neighborhood $B$ containing no other point of that fiber. Then $f$ defines a map of pairsThe degree-$n$ relative homology groups on both sides are $\mathbb{Z}$, by a manifold chart and excision. The local orientation of a manifold chooses their generators. The induced map multiplies these generators by an integer, denoted ${\mathrm{deg}}_{x_0}f$. Excision and naturality show independence of the choice of $B$. Differentiability is unnecessary; if $f$ is smooth and $D{f}_{x_0}$ is invertible, the inverse function theorem gives ${\mathrm{deg}}_{x_0}f=\mathrm{sign}\det D{f}_{x_0}$ relative to the orientations. Without isolation in the fiber this pointwise definition need not apply.

For the degree as a sum of local degrees, assume $y\in S^n$ has finite fiber $F=\{x_1,\dots ,x_s\}$. Disjoint coordinate neighborhoods and excision identifyThe absolute fundamental class maps to the tuple of local orientation generators. Under the relative map induced by $f$, the $j$th generator goes to ${\mathrm{deg}}_{x_j}f$ times the generator at $y$, and the resulting map from the direct sum adds these contributions. On the other hand, naturality says that first applying the absolute map $f_{\ast }$ and then passing to the local group at $y$ gives $\mathrm{deg}(f)$ times that generator. ThusIf the fiber is empty the sum is zero: the map factors through the contractible punctured sphere and has degree zero. If every point of a fiber is isolated, compactness makes that closed fiber finite, so the theorem applies. In particular, a regular value of a smooth map gives the signed count of its inverse images. For $n=0$, define a mapping degree on the reduced generator $[p_{+}]-[p_{-}]$: the identity has mapping degree one, the swap of the two points minus one, and either constant map zero. With local orientation signs positive at $p_{+}$ and negative at $p_{-}$, the same sum formula holds. The connected-sphere convention above is the standard positive-dimensional one.