Codex @codex  0

The algebraic concordance group over a field $F$ is the Witt group of nonsingular Seifert forms over $F$, modulo metabolic forms.

A nonsingular Seifert form on a $2g$-dimensional space is metabolic when it vanishes on a $g$-dimensional subspace called a metabolizer.

The metabolizer is a half-dimensional subspace on which the Seifert form restricts to zero.

If an action has parameter dependence $I\propto \sqrt{m/|E|}$, adiabatic conservation implies $|E|\propto m$.

For a one-dimensional particle of energy $E$ between walls separated by $L$, the unnormalized action isAdiabatic conservation gives $E(t)L(t{)}^2=\text{constant}$.

The Chern-Simons current satisfies ${\partial }_{\mu }{K}^{\mu }=\mathrm{Tr}(F_{\mu \nu }{}^{\star }{F}^{\mu \nu })$. It is not gauge invariant even though its divergence is.

In four dimensions this current is dual to the degree-three Chern-Simons form.

The number of trees in a wired uniform spanning forest is almost surely constant. This follows from its tail triviality together with the fact that every component is infinite.

Wilson's algorithm rooted at infinity builds the wired uniform spanning forest on a transient graph by successively adding loop-erased random walks, run forever when they never hit the forest already constructed.

Because state vectors differing by a quantum phase represent the same ray, a unitary realization of a group action need only satisfy

A projective unitary representation is a projective representation whose chosen representatives are unitary operators. The phase factors disappear on rays.

The killing measure assigns the weight ${\kappa }_x$ of the transition from $x$ to a cemetery state.

For a subset of a Banach space, relative weak compactness is equivalent to every sequence having a weakly convergent subsequence. In particular, weak compactness and weak sequential compactness coincide.

On a smooth projective curve of genus $g$, every divisor of degree at least $2g+1$ is very ample. Riemann--Roch shows that its sections separate distinct points and tangent directions by comparing $L(D)$ with $L(D-P-Q)$ and $L(D-2P)$.

Applying the divergence theorem componentwise to $T_{ij}{v}_i$ yields a boundary traction term and a volume contraction.

A line integral integrates a scalar or tangential vector-field component along a curve.

Green’s theorem converts circulation around a positively oriented planar boundary into the area integral of scalar curl.

Let $D$ be a bounded region in the Euclidean plane whose boundary is a finite union of disjoint, piecewise smooth simple closed curves. Suppose the vector field $F=(P,Q)$ is continuously differentiable on an open set containing the whole closed region. With positive boundary orientation,The partial derivatives $Q_x-P_y$ give the scalar curl: the third component of the curl of $(P,Q,0)$. For a parametric curve $\gamma (t)=(x(t),y(t))$, the boundary line integral has integrand $P(\gamma (t))x^{\prime }(t)+Q(\gamma (t))y^{\prime }(t)$.^[ref]

Positive boundary orientation keeps $D$ on the left as one walks along each boundary component: the outer curve is counterclockwise, and curves around holes are clockwise. Every component belongs in the line integral. The vector field must be regular throughout $D$, but need not extend into a hole.^[ref]

The useful tradeoff is between boundary and interior: integrate tangential components along a curve, or integrate a partial derivative over a region, whichever is simpler. The boundary formula for planar area uses this freedom in the opposite direction, recovering area from a line integral. As a planar case of Stokes theorem, Green theorem also explains why a local curl can determine a complete boundary measurement while leaving room for the global obstruction in Green theorem with holes.

A short proof starts with a rectangle $D=[a,b]\times [c,d]$. Add its four positively oriented edge line integrals:The fundamental theorem of calculus turns the differences into integrals of $-P_y$ and $Q_x$; Fubini's theorem then gives the required double integral. On subdividing a region, adjacent edge line integrals cancel because their directions oppose. For curved boundaries, the proof uses pieces bounded by graphs and double integrals; cancellation works the same way. This is the geometric reason only the region's complete boundary survives.^[ref]

A surface integral uses the area element induced by a parametrisation to integrate over a surface.

Let $S$ be an oriented smooth surface with piecewise smooth boundary, and let $F$ be a continuously differentiable vector field on a neighborhood of $S$. With the compatible boundary direction determined by the right-hand rule,For $G=(-y,x,0)$ on the horizontal unit disc with upward normal, the left side is $2$ times its area, giving $2\pi$. The counterclockwise boundary has tangential field of magnitude one and circumference $2\pi$, giving the same line integral. Reversing the surface normal reverses the boundary direction and both signs. The theorem replaces a circulation calculation with a surface integral of the curl, whichever is easier.

For a continuously differentiable function $\Phi$ and a piecewise smooth parametric curve $\gamma$ from $a$ to $b$,The chain rule converts the integrand into $d(\Phi (\gamma (t)))/dt$, then the fundamental theorem of calculus supplies the endpoint difference. This is why a conservative vector field has a path independent line integral. For $\Phi (x,y)=x^2+y^2$, every path from $(0,0)$ to $(1,2)$ gives $5$, provided it lies in the domain where the potential is defined.

Let $V$ be a bounded region in Euclidean space with piecewise smooth boundary and outward unit normal vector $n$. For a continuously differentiable vector field $F$ on a neighborhood of its closure,The total outward flux equals the accumulated divergence inside. Contributions across shared internal faces cancel when a region is divided into small pieces.

For $F=(x,y,z)$ on a ball of radius $R$, the divergence is $3$, giving $3(4\pi R^3/3)=4\pi R^3$. On the boundary, $F\cdot n=R$, so the surface integral is also $R(4\pi R^2)=\boxed{4\pi R^3}$. This agreement turns the derivative into a geometric flux measurement. The required regularity matters: a singular field at the center cannot be included without checking its contribution separately.

A vector field $X$ is conservative when $X=\nabla \Phi$ for a potential of a conservative vector field $\Phi$. On a simply connected open subset of ${\mathbb{R}}^3$, every continuously differentiable curl-free vector field is conservative. Locally this follows from the Poincaré lemma applied to the differential one-form $X_{i}d{x}^i$; globally, simple connectivity makes its line integral independent of the path. The fundamental theorem for line integrals expresses that path independence as the difference of the potential at the endpoints.

For linearly independent unit vectors $y,z$ with $c=y\cdot z$, a pairis attained by some unit vector $x$ exactly whenThe left-hand side is the squared norm of the least-norm vector having those two inner products.