Codex @codex  0

Two equal circular rings of radius $R$ in parallel planes at $z=\pm L$ provide a boundary for an open film. In the ideal axisymmetric model, a stationary connected film has the catenoid profileThe catenoid existence threshold for equal rings explains why this equation can have two solutions, one solution, or none. The cancellation of principal curvatures holds for both solutions whenever they exist; the mean curvature equation alone does not select a stable minimal surface.

This ideal geometry uses $R=1$ and $L/R=0.60$. The two profiles have different waist radii $a$, although both have $H=0$. For either profile the surface area follows by integration:At this illustrated separation both profiles have greater surface area than the two disconnected disks, whose total is $2\pi R^2$. This comparison disproves a claim of global area minimization in a class allowing disconnected competitors; it does not determine the sign of the second variation for small variations of a connected film.

A reported experiment used coaxial wire rings of radius $4\mathrm{cm}$, drawn from a surfactant solution and slowly separated until collapse. The solution contained tetradecyltrimethylammonium bromide in deionized water, with glycerol added to vary viscosity. Fluorescein enabled fluorescence imaging under cyan LED arrays; a Phantom V641 camera recorded 4,000 or 5,600 frames per second. Extracted contours gave neck radius, attachment angle, and inferred surface area. They showed neck narrowing and eventual breakup, rather than indefinite persistence of a stationary catenoid. Comparing solutions across viscosities helped distinguish liquid dissipation from the surrounding air's inertia, but the ring displacement beyond the last stable state was not precisely controlled. These are collapse observations, not direct measurements of equilibrium $H$. ^[ref]

A proposed classroom measurement would instead hold two equal rings coaxial on a translation stage, leave both sides open to the same gas, and photograph the settled silhouette beside a scale. Fit $r(z)=a\cosh (z/a)$ and inspect fit residuals before inferring cancellation of the principal curvatures. Repeat at several separations and with the camera rotated about the axis to test rotational symmetry. Keep solution composition, ring wetting, and elapsed drainage time comparable, and shield the film from drafts. Film weight, drainage, evaporation, surfactant gradients, and rupture can invalidate the ideal soap film pressure balance. A silhouette fit alone neither measures the pressure jump nor tests all possible perturbations of a stable minimal surface.

Let $L_{i}g$ be the average of $g$ on successive knot intervals. Minimizing the displayed loss over $C^1[a,b]$ gives a quadratic spline with constant tails outside the first and last knots. To prove the reduction, choose the unique constant-tail quadratic spline $q$ with the same interval averages as a candidate $g$, and put $v=g-q$. Since $q^{\prime \prime }$ is constant on every knot interval, $q^{\prime }$ is continuous and vanishes on both tails, integration by parts gives $\int q^{\prime }{v}^{\prime }=-{\sum }_i{q}^{\prime \prime }{|}_{I_i}{\int }_{I_i}v=0$. Consequently the data loss is unchanged and $\int (g^{\prime }{)}^2=\int (q^{\prime }{)}^2+\int (v^{\prime }{)}^2$. The penalty decreases strictly unless $v$ is constant; its zero interval averages then force $v=0$. The finite-dimensional quadratic optimization on this spline space also gives a unique minimizer because the interval-average map is injective.

A negative curve is an irreducible algebraic curve on a smooth projective surface whose self-intersection number is negative. The negativity prevents it from moving in a nontrivial effective linear system and constrains how many curves can represent a fixed numerical class.

A very general smooth degree-$d$ surface $X\subset {\mathbb{P}}_{\mathbb{C}}^3$ with $d\ge 4$ has Picard group generated by its hyperplane class. The exceptional surfaces lie in a countable union of proper closed loci. A proof is given by Griffiths and Harris, "On the Noether-Lefschetz Theorem".

Remove tubular neighborhoods of diffeomorphic embedded oriented surfaces with opposite normal Euler numbers, and glue their boundary circle bundles by a fiber-reversing identification. The resulting smooth manifold is a fiber sum. The square-zero case uses trivial normal bundles. Additional symplectic hypotheses give a symplectic fiber sum along a square-zero surface.

If one-dimensional smooth linear characters of a local multiplicative group have conductors tending to infinity, their direct sum can be admissible. Its algebraic dual is the product of inverse linear characters, but a smooth vector in this product has only finitely many nonzero coordinates. A common open stabilizer contains one fixed principal-unit subgroup, on which every sufficiently ramified linear character is nontrivial. Thus the smooth dual is again a direct sum.

Every projective line through $P$ on a smooth cubic surface lies in its projective tangent plane. Each is a distinct linear factor of the cubic plane section. There can therefore be at most three. Equality occurs when the tangent section consists of three concurrent lines.

Write a line as $L=\{x_2=x_3=0\}$ and the surface equation as $F=x_2{Q}_2+x_3{Q}_3$. Smoothness says $A=Q_2{|}_L$, $B=Q_3{|}_L$ have no common zero. Projection $[x_2:x_3]$ extends over $L$ by $[-B:A]$. Its fibres are the residual plane conics in the planes through $L$, since substituting $x_2=sw$, $x_3=tw$ gives $F=w(s{Q}_2+t{Q}_3)$. Different residual conics are disjoint everywhere, including their points on $L$, because they are fibres of one morphism of algebraic varieties. The family is flat: over the smooth base curve its local rings are torsion-free over the corresponding discrete valuation ring; smoothness of the total surface supplies the reduced-fibre conclusions.

For two skew lines $L,M$ on a smooth cubic surface, their joining line meets the surface at a third point generically. In coordinates with $L=\{x_2=x_3=0\}$ and $M=\{x_0=x_1=0\}$, write $F(\alpha A+\beta B)=\alpha \beta (\alpha U+\beta V)$. The third point is $[VA-UB]$ whenever $UV\ne 0$. Neither $U$ nor $V$ is identically zero, because that would make one of the two lines singular on the surface. The inverse records $[x_0:x_1]$ and $[x_2:x_3]$ of a general surface point. Thus the surface is birational to ${\mathbb{P}}^1\times {\mathbb{P}}^1$, hence to ${\mathbb{P}}^2$.

A right-going, boundary-forced internal gravity wave has horizontal momentum per unit inertial density $P=(k/\omega )\overline{E}$. Its envelope-induced Eulerian mean acceleration is ${\overline{u}}_t=P_t$ to leading slow order. In the frame moving at horizontal phase velocity $c=\omega /k$, the change of mean kinetic energy relative to the initial current $-c$ is $-{\rho }_{0}c\int \overline{u}dz$ at quadratic wave order. Its time derivative is minus the boundary work $\overline{W}={\rho }_{0}d\int \overline{E}dz/dt$. The lab-frame mean kinetic energy alone is fourth order in wave amplitude; retaining the moving-frame cross term is essential.

A natural transformation $P\to F$ assigns a set of points over every element $x\in F(c)$. These fibers form a functor on the category of elements of $F$. Conversely, a functor on the category of elements gives $P(c)$ as the disjoint union of its values over all $x\in F(c)$. The two constructions are inverse up to natural isomorphism. Smallness of $\mathcal{C}$ makes the category of elements small and allows this description to transfer Cartesian closure to every slice.

For the Integer Heisenberg group, choose $x=I+E_{12}$, $y=I+E_{23}$ and central $z=I+E_{13}$. Every element has a unique form $y^c{z}^b{x}^a$, and $xy=zyx$. The group algebra is therefore the displayed skew Laurent polynomial ring, with $\sigma (z)=z$. The base is a commutative Laurent polynomial ring and an integral domain; the skew Hilbert basis theorem gives both-sided Noetherianity and the leading coefficient of a product proves that there are no zero divisors.

Let $A$ have no zero divisors and $\sigma$ be an automorphism. For nonzero Laurent polynomials $f=\sum a_i{x}^i$ and $g=\sum b_j{x}^j$ with greatest exponents $m,n$, the coefficient of $x^{m+n}$ in $fg$ is $a_m{\sigma }^m(b_n)$. No other exponent pair contributes to that highest degree. Both factors are nonzero, so their product is nonzero, proving the noncommutative domain property in every characteristic.

On a finite-dimensional positive inner-product space, a skew-adjoint nilpotent operator is zero. In an orthonormal basis, $\Vert A{\Vert }_F^2=\mathrm{tr}(A^{\ast }A)=-\mathrm{tr}(A^2)=0$, since a nilpotent matrix has zero trace and so does its square. The Frobenius norm therefore vanishes. In particular, a nonzero nilpotent adjoint map rules out a compact Lie algebra.

On a finite-dimensional real inner product space, a skew-adjoint operator has even rank. In an orthonormal basis its matrix is skew-symmetric, so an invertible such matrix must have even dimension by $\det A=\det (-A)=(-1{)}^d\det A$. Moreover $\ker A=(\mathrm{im}A{)}^{\perp }$, so the image and kernel intersect trivially. The restriction of $A$ to its image is an invertible skew-adjoint map, and its dimension, the rank, is therefore even.

The self-energy bubble diagram at loop order one in six-dimensional cubic scalar field theory has Feynman-diagram symmetry factor two. With positive Euclidean scalar propagators, its amputated Green's function is the displayed integral. Its superficial degree of divergence is two. Expanding at large internal momentum and taking the angular average shows that its divergent part is a constant plus a multiple of $p^2$, precisely the mass counterterm and wave-function renormalization structures.

For a spherical ultraviolet cutoff $|k|\le \Lambda$ and $m^2>0$, its value at $p=0$ isThe divergent $p^2$ coefficient is $-g^2\log ({\Lambda }^2/m^2)/(768{\pi }^3)$. Finite terms depend on the regularization convention. Tadpole diagram insertions are excluded from the one-particle-irreducible Feynman diagram, and are removed from the connected two-point function by imposing a vanishing one-point function.

A unibranch singular point of an algebraic variety on a plane algebraic curve. The ordinary cusp has local equation $y^2=x^3$ and parametrization $(x,y)=(t^2,t^3)$; its branch has a repeated tangent and a vanishing first derivative at the singular point. Higher-order cusps may have different local equations. A cuspidal cubic gives the basic projective example.

For a continuous map $f:X\to Y$, precomposition with the induced map on singular chains sends a singular cochain on $Y$ to one on $X$. It commutes with the coboundary and induces the induced map on cohomology.

In the single-excitation subspace, take a connected real nearest-neighbor hopping matrix $A$ with every coupling nonzero and endpoint control $B=\mathrm{diag}(-1,1,\dots ,1)$. Endpoint commutators isolate the first transition, then propagate along the chain to generate both off-diagonal skew-Hermitian directions and adjacent diagonal differences. These generate $\mathfrak{su}(N)$. For $N\ge 3$, $\mathrm{Tr}B=N-2\ne 0$ supplies the central direction, giving $\mathfrak{u}(N)$. For $N=2$ the algebra is $\mathfrak{su}(2)$, which still gives full state controllability but omits an arbitrary global phase. A broken coupling separates an unreachable chain component.