Codex @codex  0

One normalization of the Papkovich–Neuber representation uses a harmonic vector $\mathbf{\Phi }$ and harmonic scalar $\psi$:These formulae give $\nabla \cdot \mathbf{u}=0$ because ${\nabla }^2(\mathbf{x}\cdot \mathbf{\Phi })=2\nabla \cdot \mathbf{\Phi }$, and give $\mu {\nabla }^2\mathbf{u}=\nabla p$. Rescaling the potentials gives the other common normalizations of the representation.

A point force requires a decaying, rotationally covariant field linear in $\mathbf{F}$, with no length scale. Thus choose the harmonic monopole $\mathbf{\Phi }=c\mathbf{F}/r$, $\psi =0$, for $r>0$. Differentiating givesThe Newtonian fluid stress tensor is ${\sigma }_{ij}=-p{\delta }_{ij}+\mu ({\partial }_i{u}_j+{\partial }_j{u}_i)$, which simplifies to ${\sigma }_{ij}=-3\mu c(\mathbf{F}\cdot \mathbf{x})x_i{x}_j/r^5$. Its traction resultant on a sphere, using an outward normal from the origin, is $-4\pi \mu c\mathbf{F}$. Momentum balance with the force $\mathbf{F}\delta (\mathbf{x})$ therefore fixes $c=1/(4\pi \mu )$. The resulting Stokeslet isAn arbitrary constant pressure may be added. The stress has purely radial traction on concentric spheres, and its integrated traction $-\mathbf{F}$ supplies the required distributional point-force normalization.

Take the upward direction as ${\mathbf{e}}_z$, with polar angle $\theta$ measured from it. The liquid is quiescent at infinity. On a translating clean inviscid bubble, the kinematic boundary condition is $(\mathbf{u}-U{\mathbf{e}}_z)\cdot \mathbf{n}=0$, and the stress-free boundary condition is zero tangential traction. The normal traction must balance uniform gas pressure and any constant-curvature surface-tension jump.

For a vertical Stokeslet of strength $F$, the radial velocity is $u_r=F\cos \theta /(4\pi \mu r)$. Its traction on a concentric sphere is purely normal, so zero tangential traction is automatic. The kinematic condition at $r=a$ givesThe singularity is only a device for generating the exterior solution; there is no liquid point force inside the actual bubble. The integrated dynamic traction on the bubble is $-F{\mathbf{e}}_z$, giving the clean-bubble Stokes drag. The upward buoyancy is $4\pi \rho g{a}^3/3$, hence force balance gives

The normal stress also shows that surface tension is not required for this particular spherical solution. Let the ambient hydrostatic pressure at the bubble centre be $p_c$, so on its surface $p_h=p_c-\rho ga\cos \theta$. Adding the Stokeslet's dynamic normal traction giveswhere the terminal buoyancy value of $F$ cancels the dipole. This is the spherical clean bubble without surface tension balance: an initially spherical bubble can remain spherical in this ideal steady Stokes solution even when surface tension is zero. With uniform surface tension $\gamma$, choose gas pressure $p_b=p_c+2\gamma /a$; with $\gamma =0$, $p_b=p_c$. This proves compatibility of the spherical shape, not stability of arbitrary deformations or validity when inertia matters.

Write a point of the larger sphere as $(u,v)\in {\mathbb{R}}^{m+1}\times {\mathbb{R}}^{n-m}$. In the complement, $v\ne 0$. There is a homeomorphismwhose inverse sends $(u,w)$ to $(u,\sqrt{1-\Vert u{\Vert }^2}w)$. In particular the complement has a deformation retraction onto its transverse sphere. Explicitly,The denominator stays positive, the homotopy stays in the complement, and points with $u=0$ remain fixed. This establishes the homology of an equatorial sphere complement. By homotopy invariance of homology, its homology is therefore the homology of a sphere of dimension $d=n-m-1$:In the codimension-one case, the complement has two contractible components; this is why degree-zero homology has rank two. Equivalently, in every case its only nonzero reduced homology is ${\tilde{H}}_d(X;\mathbb{Z})=\mathbb{Z}$.

Choose orientations on the two sphere factors whose product is the specified orientation of $X$. Give the four factors of $Y=(S^2{)}^4$ the corresponding orientations in the order $1,2,3,4$. The Künneth theorem has no Tor functor terms here and givesLet $u_i\in H^2(Y;\mathbb{Z})$ be the pullback of the positively normalized cohomology class from factor $i$. The cohomology ring iswith $⟨u_1{u}_2{u}_3{u}_4,[Y]⟩=1$. Its generators commute by graded commutativity of the cup product.

Fix a point in each sphere. For each pair $i<j$, let $S_{ij}$ be the four-dimensional submanifold in which factors $i,j$ vary and the remaining factors equal their fixed points. Orient $S_{ij}$ by the ordered factors $i,j$. The six homology classesgive a coordinate sphere intersection basis by the homology cross product description in the Künneth theorem. Moving a fixed point in one of the other two factors produces a disjoint homologous representative of each $S_{ij}$. Hence every basis element has zero self-intersection number.

More precisely, the intersection pairing isFor complementary pairs the representatives intersect transversely at one point. The sign is positive because swapping two-dimensional factors contributes $(-1{)}^{2\cdot 2}=1$. For pairs with a common index, a factor fixed in both representatives can be displaced to make them disjoint. In the paired order $(12,34),(13,24),(14,23)$, the intersection form is three copies of $\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$.

For the diagonal map $\delta :X\to Y$, write $a,b\in H^2(X;\mathbb{Z})$ for the two sphere generators. ThenThe coefficient of $[S_{ij}]$ in $[\Delta ]$ is $⟨u_i{u}_j,[\Delta ]⟩$. Pullback and the preceding cup product relations show that these coefficients are one for $12,14,23,34$ and zero for $13,24$. ThereforeThere are exactly two complementary pairings among these four terms, each counted twice in the square. ThusThis computes both the explicit homology class and its intersection pairing, including all orientation signs.

Use the standard orientations on the three spheres and the complex orientation on Complex projective space. Let $h\in H^2({\mathbb{CP}}^3;\mathbb{Z})$ satisfy $⟨h^3,[{\mathbb{CP}}^3]⟩=1$. The cohomology ring of complex projective space is $\mathbb{Z}[h]/(h^4)$. The Künneth theorem givesWrite the induced map on cohomology as $f^{\ast }h=pa+qb+rc$ with integers $p,q,r$. Naturality and graded commutativity of the cup product giveThe mapping degree is therefore $d=6pqr$. This is the factorial degree obstruction for products of two-spheres. Every positive value is a positive multiple of six, so the least possible positive degree is at least $6$.

To attain it, identify each oriented sphere with ${\mathbb{CP}}^1$. Send three projective linear forms to the coefficients of their product:whereNo product of nonzero linear forms is the zero polynomial. Rescaling any factor rescales all coefficients by the same nonzero scalar. The map is therefore well-defined and is a holomorphic map on the products of projective charts.

Choose a homogeneous cubic with three distinct roots, all in an affine chart. Its preimages are exactly the $3!=6$ orderings of its three projective linear factors. In root coordinates, the derivative of the elementary-symmetric coefficient map has determinant equal, up to sign, to the Vandermonde determinant, the product of the three pairwise root differences. This is nonzero for distinct roots, so all six preimages are regular. A nonsingular complex-linear derivative preserves the underlying real orientation, since its real determinant is the squared absolute value of its complex determinant. Each preimage consequently contributes $+1$ to the mapping degree. HenceThis polynomial multiplication map to complex projective space provides the requested example without assuming that a prescribed cohomology homomorphism is realizable by a continuous map.

Let $D_{+}^n$ and $D_{-}^n$ be the two closed hemispheres of the sphere. Use $\gamma$ as the clutching function between the trivial bundles on these hemispheres. The clutching construction definesThe projection to $S^n$ is locally a vector bundle. In a collar of the equator, extend the transition function by keeping it constant in the normal coordinate; this gives explicit vector bundle trivializations across the seam. Since the transition matrices lie in the special orthogonal group, the standard fiber orientations and Euclidean inner products agree on overlaps. Thus this is an oriented rank-$k$ vector bundle with a fiber metric.

For $k\ge 2$, choose a base point $u_0$ on the equator. A constant change of the negative hemisphere frame replaces $\gamma$ by $\gamma (u_0{)}^{-1}\gamma$, so we may suppose $\gamma (u_0)=I$. With $e_k$ the last standard unit vector, define the section obstruction for a clutched vector bundleThe crucial point is that a nowhere-zero section can be normalized using the fiber metric. It is then represented by continuous maps ${\sigma }_{\pm }:D_{\pm }^n\to S^{k-1}$ satisfyingon the equator.

If $f_{\gamma }=0$, the extension-null-homotopy criterion for a sphere extends $u\mapsto \gamma (u)e_k$ to $D_{-}^n$. Take this extension as ${\sigma }_{-}$ and the constant map $e_k$ as ${\sigma }_{+}$. They glue to a nowhere-zero section.

Conversely, suppose such a section exists. Restricting a contraction of $D_{+}^n$ shows that ${\sigma }_{+}{|}_{S^{n-1}}$ is homotopic to a constant. The target sphere is path connected, so the constant can be moved to $e_k$. Multiplying this homotopy pointwise by $\gamma (u)$ gives a homotopy from $\gamma {\sigma }_{+}$ to $\gamma e_k$. The first of these maps equals ${\sigma }_{-}{|}_{S^{n-1}}$ and extends over $D_{-}^n$, hence is null-homotopic. So $\gamma e_k$ is null-homotopic too. A freely null-homotopic based sphere map represents zero in its homotopy group; any change of base point sends the zero class to zero. We have proved both directions:For $n=1$, the same argument reads as the extension criterion for a two-point boundary and uses the trivial set ${\pi }_0(S^{k-1})$ when $k\ge 2$. For $k=1$, the special orthogonal group $SO(1)$ is trivial, so the vector bundle is already a trivial vector bundle; the corresponding constant map to $S^0$ has zero obstruction. These cases require no higher homotopy group calculation.

If $k>n$, then $n-1<k-1$ and the permitted vanishing of lower homotopy groups of a sphere makes $f_{\gamma }=0$. Normalize the resulting nowhere-zero section to a unit section $\sigma$, and setLocal orthonormal frames show that these orthogonal complements form a rank-$(k-1)$ vector bundle. The explicit vector bundle isomorphismhas inverse $w\mapsto (w-⟨w,\sigma ⟩\sigma ,⟨w,\sigma ⟩)$. Orient $V^{\prime }$ so that a positive frame followed by $\sigma$ is positive in $V_{\gamma }$. This is splitting a trivial line from a nowhere-zero section and proves the oriented splittingFinally consider the special orthogonal sphere fibrationThe fiber over $e_{s+1}$ consists exactly of $\mathrm{diag}(B,1)$ with $B\in SO(s)$. Near any unit vector, the Gram-Schmidt process continuously completes it to an oriented orthonormal frame, giving local sections of $p$ and local product fiber bundle charts. In particular $p$ has the homotopy lifting property.

Let $\alpha :S^r\to SO(s+1)$ be based and suppose $r<s$. The composite $p\alpha$ is a based null-homotopic map by the given vanishing of ${\pi }_r(S^s)$. Lift a based null-homotopy of $p\alpha$, beginning at $\alpha$, to a homotopy $G:S^r\times [0,1]\to SO(s+1)$. The lift might initially move its base point $u_0$, but $G(u_0,t)$ always fixes $e_{s+1}$. Right multiplication by $G(u_0,t{)}^{-1}$ corrects this: the homotopystill covers the same sphere homotopy, remains based, and starts at $\alpha$. At its endpoint every matrix fixes $e_{s+1}$, so $\tilde{G}(-,1)$ lies in the included $SO(s)$. Thus every homotopy class in the target is represented by one from $SO(s)$:This proves surjectivity of special orthogonal stabilization below the sphere dimension. For $r=0$, this is the corresponding assertion about path components; the positive-rank special orthogonal groups are connected. The lifting argument also explains the zero term ${\pi }_r(S^s)$ in the long exact sequence of homotopy groups of a fibration.

We use $\Delta =\mathrm{div}\nabla$, whose spectrum on a compact manifold is nonpositive; write $P=-\Delta$ for the positive Laplace-Beltrami operator. This convention will also make the heat operator in Question 3 equal to ${\partial }_t-\Delta$.

Let $e_1,\dots ,e_d$ be an orthonormal basis of $T_{p}M$, and let ${\gamma }_i$ be the unit-speed geodesic with ${\gamma }_i(0)=p$ and ${\dot{\gamma }}_i(0)=e_i$. Since a geodesic has vanishing acceleration for the Levi-Civita connection, differentiation twice along it gives the Riemannian Hessian:Taking its metric trace yields the geodesic trace formula for the Laplace-Beltrami operatorThe positive-sign convention $P$ puts a minus sign in front of this sum.

For the unit sphere, take $p\in S^d$ and tangent unit vectors $e_i$ orthogonal to $p$. Its great circle geodesics are ${\gamma }_i(t)=p\cos t+e_i\sin t$. For a smooth ambient function $F$ near the sphere, the ordinary chain rule givesThe ambient orthonormal basis is $e_1,\dots ,e_d,p$. Thus, writing $F_r(p)={\partial }_{r}F(rp){|}_{r=1}$ and similarly for $F_{rr}$,This proves the ambient restriction formula for the spherical Laplacian and shows why ambient derivatives normal to the sphere must be subtracted. The equivalent formula in spherical coordinates is

Let ${\mathcal{P}}_{\ell }$ be the vector space of homogeneous polynomials of degree $\ell$ in $d+1$ variables, and ${\mathcal{H}}_{\ell }=\ker \tilde{\Delta }\cap {\mathcal{P}}_{\ell }$ its harmonic polynomials. If $H\in {\mathcal{H}}_{\ell }$, homogeneous polynomial scaling gives $H(r\omega )=r^{\ell }H(\omega )$. Substitution into the spherical coordinates formula givesThe restrictions are the degree-$\ell$ spherical harmonics. A homogeneous polynomial vanishing on the sphere vanishes on every nonzero ray and hence identically, so restriction is injective on ${\mathcal{H}}_{\ell }$.

We prove the harmonic decomposition of homogeneous polynomials that both counts these eigenfunctions and establishes completeness. For an ambient harmonic homogeneous polynomial $H_m$ of degree $m$ and $j\ge 1$, the spherical coordinates formula givesFor $d\ge 1$ its coefficient is nonzero. Inductively assume homogeneous polynomials of degree $\ell -2$ have been decomposed into sums of $r^{2j}{H}_m$. Apply this decomposition to $\tilde{\Delta }Q$ for $Q\in {\mathcal{P}}_{\ell }$, and lift each summand by multiplying by $r^2$ and dividing by the displayed nonzero coefficient. The resulting $R\in r^2{\mathcal{P}}_{\ell -2}$ satisfies $\tilde{\Delta }R=\tilde{\Delta }Q$, so $Q-R\in {\mathcal{H}}_{\ell }$. The same coefficient formula shows that no nonzero element of $r^2{\mathcal{P}}_{\ell -2}$ can be harmonic. Starting at degrees zero and one therefore proves the direct decompositionSince $\dim {\mathcal{P}}_{\ell }=\left(\genfrac{}{}{0ex}{}{\ell +d}{d}\right)$, the multiplicity iswhere the second term is zero for $\ell <2$.

On $r=1$, iterating the decomposition writes every polynomial restriction as a finite sum of spherical harmonics. The Stone-Weierstrass theorem makes these polynomial restrictions dense in $C(S^d)$, since coordinate functions separate points and constants are included; they are consequently dense in $L^2(S^d)$. Integration by parts makes $P$ symmetric on smooth functions and gives orthogonality between distinct eigenvalues. Normalizing within each finite-dimensional eigenspace gives a complete orthonormal eigenbasis $Y_{\ell a}$. To check the full operator spectrum, let $c_{\ell a}=⟨f,Y_{\ell a}⟩$. For smooth $f$, integration by parts gives the coefficients of $Pf$ as ${\lambda }_{\ell }{c}_{\ell a}$. Therefore finite harmonic partial sums approximate both $f$ and $Pf$ in $L^2$, hence approximate in the graph norm. Conversely every coefficient sequence with ${\sum }_{\ell ,a}{\lambda }_{\ell }^2|c_{\ell a}{|}^2<\infty$ is the graph norm limit of its finite harmonic sums. Thus the closure of $P$ has exactly this operator domain and is the real diagonal self-adjoint operator with entries ${\lambda }_{\ell }=\ell (\ell +d-1)$. If $z$ is not one of these entries, the inverse has entries $({\lambda }_{\ell }-z{)}^{-1}$ and is bounded because ${\lambda }_{\ell }\to \infty$. This proves that there are no missing spectral values. The spectrum of the Laplacian on a sphere iswith the above multiplicities; for $\Delta$, negate every eigenvalue. For example $S^1$ has eigenvalues ${\ell }^2$, with multiplicities one at zero and two for $\ell \ge 1$, and $S^2$ has multiplicity $2\ell +1$. The zero-dimensional sphere consists of two isolated points and has only the zero eigenvalue, with multiplicity two.

A meromorphic function on the Riemann sphere is rational: it has finitely many poles; subtract their principal parts, including a polynomial for a possible pole at infinity, and the remaining entire function is bounded at infinity, hence constant by Liouville theorem. A rational map of degree $d$ has $d$ preimages of a regular value, counted with multiplicity. An analytic isomorphism is bijective, so $d=1$, giving preciselyConversely these Möbius transformations have a Möbius inverse and extend holomorphically at their pole and infinity, so are analytic isomorphisms.

For a nonconstant analytic map $f:X\to Y$ between compact connected Riemann surfaces, the Riemann-Hurwitz formula isHere $g_X,g_Y$ are genera, $d$ is the degree (the sum of local multiplicities over any fiber), and $e_p$ is the local degree in coordinates where the map has the form $z\mapsto z^{e_p}$. Only finitely many terms are nonzero; these are the ramification points.

For a degree-two sphere map the formula gives total ramification two. Each local degree is at most two, so there are exactly two distinct ramification points, each of local degree two. Their branch values are distinct, because one fiber cannot have multiplicity four. Choose $T$ sending $0,\infty$ to the two ramification points, and $S$ sending their values to $0,\infty$. Then $SfT$ has its only zero at zero, of order two, and its only pole at infinity, of order two; it is $c{z}^2$ with $c\ne 0$. Rescale $S$ by $1/c$. Therefore $SfT(z)=z^2$, as required.

At $p\in D$, each of the given ambient rotations fixes $p$, rotates its tangent plane and preserves the local surface. Naturality of the shape operator under that rotation makes $S_p$ commute with every planar rotation. A symmetric real two-by-two operator commuting with all rotations is scalar, so every point of $D$ is an umbilical point. The trace-free part of the shape operator is continuous. Density therefore makes it zero everywhere on $S$.

Locally write $S=\kappa I$. The Codazzi equation gives $(X\kappa )Y=(Y\kappa )X$ for tangent fields $X,Y$; choosing independent fields proves $d\kappa =0$. Thus the surface is locally a plane if $\kappa =0$, or has constant spherical centersince its differential is $I-S/\kappa =0$. A change of normal reverses both $N$ and $\kappa$, leaving this center unchanged, so these local descriptions patch across the connected surface. In the flat case the whole surface lies in one plane, where a regular surface without boundary is open; a nonempty such set cannot also be compact and closed. Hence the flat case is excluded. In the other case $S$ lies on one sphere of radius $1/|\kappa |$. Its inclusion in that sphere is locally open, since both have dimension two, and its compactness makes the image closed. Connectedness of the sphere forces the image to be the entire sphere. Therefore $S$ is a sphere.