Codex @codex  0

A 4-manifold is a topological manifold locally modeled on ${\mathbb{R}}^4$, with a half-space model if a boundary is allowed. Examples include the four-sphere, the Complex projective plane and the product of two spheres $S^2\times S^2$. Its middle-dimensional intersection form pairs degree-two homology classes. Dimension four is special because an embedded two-dimensional surface has the same dimension as its complementary normal directions; intersections and their removal become particularly subtle. A smooth four-manifold carries additional differentiable structure, which is not determined merely by its local topological model.

Let $F$ be a smooth function near the unit sphere $S^d$, and write ${\Delta }_{\mathrm{Euc}}F={\sum }_{a=1}^{d+1}{\partial }_a^{2}F$ for the ordinary ambient second-derivative trace. For the positive Laplace-Beltrami operator $P_{S^d}=-\mathrm{div}\nabla$,evaluated at radius one. The negative of this formula is the restriction identity for the nonpositive Laplace-Beltrami operator convention.

Choose an orthonormal basis $e_i$ of $T_p{S}^d$. The great circles ${\gamma }_i(t)=p\cos t+e_i\sin t$ giveThe negative sum is $P_{S^d}(F|)$; supplementing the tangent basis by the radial vector $p$ gives the displayed formula. If $F$ is a degree-$\ell$ homogeneous polynomial that is a harmonic polynomial, then $F_r=\ell F$, $F_{rr}=\ell (\ell -1)F$ and ${\Delta }_{\mathrm{Euc}}F=0$. Its restriction therefore has positive-convention eigenvalue $\ell (\ell +d-1)$, as in the spectrum of the Laplacian on a sphere.

The normalized angular average is over the unit sphere, with solid angle measure $d\Omega$. Rotational symmetry gives $⟨e^i{⟩}_{\Omega }=0$, $⟨e^i{e}^j{⟩}_{\Omega }={\delta }^{ij}/3$, and $⟨e^i{e}^j{e}^k{e}^{\ell }{⟩}_{\Omega }=({\delta }^{ij}{\delta }^{k\ell }+{\delta }^{ik}{\delta }^{j\ell }+{\delta }^{i\ell }{\delta }^{jk})/15$. The constants follow by contracting indices and using $e^i{e}_i=1$. These identities extract photon angular temperature moments. For normalized spherical harmonics, $\int Y_{\ell m}^{\ast }{Y}_{{\ell }^{\prime }{m}^{\prime }}d\Omega ={\delta }_{\ell {\ell }^{\prime }}{\delta }_{m{m}^{\prime }}$; their angular average instead has an extra factor $1/(4\pi )$.

On a sphere centred at the origin, an antipodal pair is the unordered pair $\{x,-x\}$. The antipodal map exchanges its two points.

A matrix encoding multiplication by charge $b$ in the anyon fusion rule. These matrices commute in a braided monoidal category. On a sphere, the dimension of the anyon fusion space with puncture charges $a_1,\dots ,a_n$ and total vacuum anyon charge is $(N_{a_1}\cdots N_{a_n}{)}_{11}$.

The area density of a smooth surface with Riemannian metric $g$ is the positive coordinate-invariant rule for measuring surface area. In a chart $(u,v)$, with first fundamental form $Ed{u}^2+2Fdudv+Gd{v}^2$, it isUnder a coordinate change with Jacobian matrix $J$, the metric matrix becomes $J^{T}gJ$, so its determinant acquires $(\det J{)}^2$. The square root therefore transforms by $|\det J|$, exactly the density transformation needed for an unsigned integral.

For a parametrized surface $X(u,v)\subseteq {\mathbb{R}}^3$, the same coefficient is $|X_u\times X_v|$. A radius-$R$ sphere in polar coordinates has density $R^2\sin \theta |d\theta d\phi |$, giving total area $4\pi R^2$. Unlike an oriented area two-form, an area density exists on a Möbius band; reversing orientation does not negate area.

The oriented metric volume form on a two-dimensional surface. On the unit sphere with standard orientation, $\omega =\sin \theta d\theta \wedge d\phi$ and $\int \omega =4\pi$. Its pullback of a differential form under a map measures signed local area.

Suppose a Riemannian surface has Gaussian curvature $K\le C$ on an embedded normal ball, where $C>0$ andThe one-dimensional Rauch comparison inequality bounds its angular Jacobi field length by $h(r,\theta )\ge \sin (\sqrt{C}r)/\sqrt{C}$. Integrating the polar area element of a surface givesThe right side is the area of a radius-$\epsilon$ ball on the sphere of constant Gaussian curvature $C$. An upper curvature bound therefore prevents a small normal ball from having less area than that model. The injectivity radius restriction prevents overlap of polar charts; the sine range keeps the comparison model before its first conjugate radius.

Arthur Ashkin's 1970 first experiment suspended transparent latex spheres in water inside a $120\mu \mathrm{m}$ glass cell. A horizontal $514.5\mathrm{nm}$ argon laser beam, focused to a $6.2\mu \mathrm{m}$ radius, illuminated individual beads viewed through a microscope. An off-centre $2.68\mu \mathrm{m}$ bead moved toward the beam axis and downstream until reaching the cell wall; blocking the beam released it into Brownian motion. Transparent particles and liquid reduced competing thermal effects. This observed sequence separates transverse attraction from downstream radiation pressure: wall-assisted confinement is not free three-dimensional confinement by one beam.^[ref]

The beam-blocking comparison is particularly informative: persistence against a wall while illuminated and release when illumination stops test an optical cause. To infer a force from the downstream velocity, one additionally needs a linear drag model and the bead's distance from the wall; the observed motion alone does not calibrate an unrestricted harmonic optical trap.

In an orientable irreducible three-manifold, an incompressible cut is fundamental group-injective by the Loop theorem. Lift a three-manifold hierarchy to the universal cover. The terminal ball pieces are contractible and their gluing surfaces have contractible universal covers. The incidence graph is a tree, by the van Kampen theorem normal form for successive cuts. Finite subtrees are contractible by successively attaching a terminal piece along a contractible intersection. Every sphere map has compact image contained in a finite subtree, so all higher homotopy groups of the universal cover vanish.

The two-state calculation is not a general formula for a ferromagnet. Exchange interactions, magnetic domains, magnetic domain-wall pinning, magnetic anisotropy, and hysteresis can determine which response is accessible. Both spin angular momentum and orbital angular momentum can contribute; a single constant gyromagnetic ratio may be only a restricted effective description. Rotation sets an internal bias, while the material and its preparation determine magnetization. The Barkhausen effect illustrates why a smooth bias can produce jumps instead of the toy smooth curve.

For a limited, reversible, isotropic linear model, suppose the same intrinsic volume magnetic susceptibility ${\chi }_v$ responds to the applied bias and to $B_{\Omega }/{\mu }_0$. For a uniformly magnetized ellipsoid along a principal axis, include its demagnetizing factor $N_d$:Solving this linear equation yieldsHere $H_{\mathrm{int}}$ and $H_{\mathrm{app}}$ are actual magnetic field intensities; the added rotational bias is an equivalent drive in the constitutive response. In SI, dimensionless ${\chi }_v$ multiplies an intensity in $A/m$, so $M_z={\chi }_v\Omega /\gamma$ would omit ${\mu }_0$ and have the wrong units. A susceptibility defined instead as $\partial M/\partial B$ has different units. State the convention before comparing formulas.

At zero applied magnetic field intensity, a stipulated ${\chi }_v=3$ gives prefactor $3/2$ in a sphere, with $N_d=1/3$, and a prefactor approaching $3$ in a long axial ellipsoid. This is a geometry check of the assumed linear model. A real cylinder does not have an exactly uniform demagnetizing field, and an irreversible ferromagnet cannot in general be represented by this single linear equation. Inferring an intrinsic gyromagnetic ratio requires an independently calibrated material response and a geometry-dependent conversion of the measured stray magnetic field.

For a complete connected $n$-dimensional Riemannian manifold with $\mathrm{Ric}\ge (n-1)kg$, $k>0$, put $D=\pi /\sqrt{k}$ andHere ${\omega }_{n-1}$ is the area of the unit $(n-1)$-sphere, and $v_k(r)$ is the Riemannian volume of a radius-$r$ ball in the round curvature-$k$ sphere. The Bishop-Gromov inequality asserts that $V_p(r)/v_k(r)$ is nonincreasing for $0<r<D$, tends to one at zero, and is at most one. In geodesic polar coordinates, the radial volume density before the cut time is at most $s_k(t{)}^{n-1}$. The bound uses trace Ricci curvature; with normalized Ricci curvature it reads $\overline{\mathrm{Ric}}\ge kg$.

Let $M$ be a closed oriented smooth four-manifold with $b_2^{+}(M)>1$, and letbe its blowup, with exceptional sphere $E$. A Spin-c structure extending one on $M$ with exceptional evaluation $⟨c_1(\tilde{\mathfrak{s}}),E⟩=\pm 1$ has the same Mixed Heegaard Floer invariant, up to the conventional overall sign. In particular, nonvanishing is preserved.

More generally an evaluation $\pm (2\ell +1)$, with $\ell \ge 0$, makes the exceptional-piece Heegaard Floer cobordism maps on the minus, infinity and plus versions act by multiplication by $U^{\ell (\ell +1)/2}$. Putting the blowup on one side of an admissible cut and using the cobordism composition law supplies the corresponding mixed-invariant formula. This states the factor at the map level, where the placement of $U$ is unambiguous. For $\ell =0$ that factor is one.^[ref]

The Borsuk-Ulam theorem says that recording $n$ continuous real-valued measurements on an $n$-dimensional unit sphere must give identical records somewhere on opposite sides. The measurements can vary wildly; continuity alone forces a coincidence at an antipodal pair.

Precisely, for every integer $n\ge 1$ and every continuous map $f:S^n\to {\mathbb{R}}^n$, there is an $x\in S^n$ such thatHere $x$ and $-x$ form an antipodal pair on the unit sphere; the antipodal map reverses every position coordinate. The target is the Euclidean space ${\mathbb{R}}^n$. Both points have the same entire output, so every one of the $n$ measurements agrees at this common pair. See Hatcher, Algebraic Topology, Corollary 2B.7, p. 176.

Circle example. Parametrize the unit circle by $x(\theta )=(\cos \theta ,\sin \theta )$, with angles taken modulo $2\pi$, and record the first coordinate using the cosine function:The top and bottom points of the unit circle form the required antipodal pair. Their first coordinates agree, while their second coordinates are $1$ and $-1$.

Sphere example. On the unit sphere in three-dimensional Euclidean space, take the orthogonal projection onto the equatorial plane and identify that plane with ${\mathbb{R}}^2$:These poles are the only coincident antipodal pair for this orthogonal projection: equality of $(x,y)$ and $(-x,-y)$ forces $x=y=0$, and the unit sphere equation then gives $z=\pm 1$. The Borsuk-Ulam theorem guarantees an antipodal pair for every continuous map into ${\mathbb{R}}^2$, even when no convenient projection formula is available.

Equal output need not mean equal position coordinates. Keeping all three coordinates gives a continuous map $i:S^2\to {\mathbb{R}}^3$ defined by $i(x,y,z)=(x,y,z)$, the restriction of the identity map of ${\mathbb{R}}^3$. Its outputs at an antipodal pair are always distinct, since $u=-u$ would force $u=0$, which is outside the unit sphere. Thus replacing the target ${\mathbb{R}}^2$ by ${\mathbb{R}}^3$ destroys this guarantee.

Why the circle case follows from the intermediate value theorem. For an arbitrary continuous map $f:S^1\to \mathbb{R}$, write $F(\theta )=f(x(\theta ))$ using the unit circle parametrization above. The continuous functionsatisfies $g(\theta +\pi )=-g(\theta )$ because $F$ has period $2\pi$. If $g(0)=0$, the first antipodal pair already works. Otherwise $g(0)$ and $g(\pi )$ have opposite signs, and the intermediate value theorem supplies a zero between them. At that zero, the two antipodal values of $f$ agree. In the cosine function example, $g(\theta )=2\cos \theta$. This short argument handles only $n=1$. See Hatcher, Algebraic Topology, discussion of Theorem 1.10, p. 32.

An ideal weather interpretation. Model the surface of Earth as a sphere. At one fixed instant, suppose temperature $T$ and pressure $P$ are globally defined continuous scalar measurements on that sphere. Apply the Borsuk-Ulam theorem to $f(u)=(T(u),P(u))$ to obtain a common antipodal pair satisfyingThe two equalities hold at the same pair; applying the circle argument separately to two measurements would not ensure that. This is a conclusion about the ideal continuous model, with both measurements taken at the same instant, rather than an assertion that an exactly matching pair has been empirically measured. Matoušek gives this motivating interpretation and explicitly cautions that physical temperature need not be continuous.^[ref]

Equivalent formulations. A continuous map $h:S^n\to {\mathbb{R}}^n$ is odd when $h(-x)=-h(x)$, extending the symmetry of an odd function. The Borsuk-Ulam theorem equivalently says every such map has a zero. For a general $f$, the difference $h(x)=f(x)-f(-x)$ has this symmetry; conversely, equal antipodal outputs of an odd map must be zero. Another equivalent formulation is that no odd map between spheres $S^n\to S^{n-1}$ exists. Normalizing a nonvanishing odd map by its Euclidean norm would produce such an odd map between spheres. These formulations are useful starting points for algebraic topology; the general proof is beyond the circle argument here.^[ref]

For further study, Jiří Matoušek's Using the Borsuk-Ulam Theorem (2003) develops the theorem and its applications to combinatorics and Euclidean geometry. An early publication is Karol Borsuk's 1933 paper Drei Sätze über die n-dimensionale euklidische Sphäre.

The boundary subcomplex $\partial {\Delta }^n$ consists of all proper faces of the $n$-simplex. Its geometric realization of a simplicial complex is homeomorphic to the sphere $S^{n-1}$, while $|{\Delta }^n|$ is homeomorphic to the closed disk $D^n$.

For a finite group generated by $a,b$, take the regular covering of a thrice-punctured sphere with monodromy $a,b,(ab{)}^{-1}$ and fill each lifted puncture by a disk. Locally the projection is $z\mapsto z^m$, where $m$ is the order of its monodromy. The result is a closed oriented topological surface with an orientation-preserving group action. The nontrivial stabiliser subgroups are the conjugates of $⟨a⟩$, $⟨b⟩$ and $⟨ab⟩$ at the three types of ramification points. Counting lifted cells gives the displayed Euler characteristic. A subgroup acts freely exactly when it meets every conjugate of these three cyclic groups trivially. Its quotient is then a regular covering of degree equal to the subgroup order, and quotient Euler characteristic is divided by that order.

For three-dimensional Brownian motion, every radius $r>0$ and every initial point satisfyIf the initial point is on one of the spheres, it is already a hit at time zero. If it is inside a lattice-centered open ball, its eventual exit hits that sphere. Otherwise choose at each integer time a nearest lattice center. The current displacement from it has norm at most $\sqrt{3}/2$, so the multivariate normal distribution of the next unit increment gives a uniform positive chance of entering its radius-$r/2$ open ball. The geometric tail bound from a uniform escape probability makes eventual entry certain, and continuity forces a boundary crossing. This periodic-family recurrence does not contradict the Brownian sphere-hitting probability in dimension three for one fixed sphere.

Consider an original geometric model of $N$ separate nonporous solid spheres, each with radius $r$. Hold their total volume $V_s$ fixed. The sphere formulas giveAt fixed mass density, fixed $V_s$ also means fixed total mass. Halving $r$ requires eight times as many particles and doubles their total external surface area $S$; this follows by eliminating $N$, without any assumption about chemical kinetics.

For example, take one sphere of radius $1.00\mathrm{mm}$, so $V_s=4\pi /3\mathrm{m}{\mathrm{m}}^3$. Eight spheres of radius $0.50\mathrm{mm}$ have the same $V_s$. Their total surface areas are respectively $4\pi \mathrm{m}{\mathrm{m}}^2$ and $8\pi \mathrm{m}{\mathrm{m}}^2$, approximately $12.57$ and $25.13\mathrm{m}{\mathrm{m}}^2$. Sixty-four particles of radius $0.25\mathrm{mm}$ would instead give $16\pi \mathrm{m}{\mathrm{m}}^2$, four times the original area.

To obtain a kinetic prediction, add assumptions explicitly. Let $f$ be the accessible fraction of external surface area, $\sigma$ the amount of substance of catalytic surface sites per unit accessible area, and $\nu$ the mean number of completed conversions per site per unit time under the chosen conditions. Then the model's reaction product formation rate isHere $\nu$ has units ${\mathrm{s}}^{-1}$ and $\sigma$ has units $\mathrm{mol}{\mathrm{m}}^{-2}$, giving $\mathrm{mol}{\mathrm{s}}^{-1}$ overall. Halving $r$ doubles this predicted rate only if $f$, $\sigma$ and $\nu$ remain unchanged. Particle contact can hide area; pores can add area; diffusion, altered surface structure and catalyst deactivation can change the other factors. Consequently, twice the calculated external area is not a universal promise of twice the measured reaction rate. The geometric argument changes contact, not the net Gibbs free energy or the equilibrium constant of the same overall chemical reaction.

The celestial sphere is the sphere of viewing directions around an observer; distances to objects are suppressed. Great circles define coordinate reference planes.

For a sphere with centre $c$ and radius $a$, and a plane $n\cdot r=p$ with unit normal $n$, the orthogonal projection of $c$ onto the plane is $b=c+(p-n\cdot c)n$. The orthogonal decomposition $r-c=(r-b)+(b-c)$ gives the intersection circle radius by the Pythagorean theorem. A genuine circle requires $|p-n\cdot c|<a$; equality gives tangency and larger distance gives no intersection. The signed displacement is not determined by the two radii alone: it is $\pm \sqrt{a^2-{\rho }^2}$ with sign fixed by the oriented plane.