The hyperplane exact sequence for twisting sheaves identifies consecutive top-degree groups whenever the hyperplane's preceding-degree group vanishes. Induction on dimension, starting with the surjective restriction of constants to a point on ${\mathbf{P}}^1$, propagates the degree-zero top vanishing down to $m=-n$. Its top-degree surjections also propagate vanishing to every positive twist. This proof does not apply the negative-twist global-section formula to ${\mathbf{P}}^0$.

In the local Wilsonian effective action, retain the elementary chiral superfields and a nonzero infrared cutoff. Promote each coefficient in $W={\sum }_A{\lambda }_A{\mathcal{O}}_A(\Phi )$ to a chiral spurion. Holomorphy excludes ${\bar{\lambda }}_A$. Assigning $R({\Phi }_i)=0$ and $R({\lambda }_A)=2$ forces a regular perturbative term of R-charge two to be linear in these spurions. Ordinary flavor charges constrain its field monomial. The perturbative gauge-coupling independence of the Wilsonian superpotential removes gauge-dependent coefficients. With the gauge coupling zero, a single holomorphic vertex cannot close a loop through free $\Phi$-${\Phi }^{†}$ propagators; extra vertices would violate the spurion degree or holomorphy. Its coefficient is therefore the tree coefficient. Gauge anomalies of the formal R-symmetry are tracked by a transforming holomorphic gauge coupling. Keeping the infrared cutoff matters: singular one-particle-irreducible terms and elimination of entire massive fields are different operations.

The background-field holomorphy method is discussed in Seiberg's non-renormalization paper.

For a rank-two holomorphic vector bundle on a nonempty complex manifold, this map from ${\mathrm{Pic}}_{\mathrm{hol}}(X)\times \mathbb{Z}$ to ${\mathrm{Pic}}_{\mathrm{hol}}(\mathbb{P}(E))$ is injective. Fibre degree detects $n$. If $p^{\ast }M$ is trivial, a nonvanishing holomorphic section is constant along every compact projective fibre in a local bundle chart, so it descends to a nonvanishing section of $M$. The proof requires no global section of $p$.

For a holomorphic line bundle on a complex curve, a meromorphic section modulo sections holomorphic through a point is its principal part. In a local coordinate and holomorphic local frame it is represented by finitely many negative powers. A vanishing $H^1(X,\mathcal{O}(E))$ permits prescribed principal parts, by a cutoff followed by solving a global Dolbeault operator equation.

For a smooth subbundle $S$ of a Hermitian vector bundle $E$, orthogonal projection identifies $E/S$ smoothly with $S^{\perp }$. The quotient metric is $h_Q([v],[w])=h_E((I-{\pi }_S)v,(I-{\pi }_S)w)$. It is independent of representatives and positive definite. For a holomorphic subbundle the resulting smooth quotient metric is defined on the holomorphic quotient, but the orthogonal identification itself need not be holomorphic.

With a Hermitian form linear in its first slot, $H(s\otimes \bar{t})=h(s,t)$ is a complex-linear dual tensor. The original connection, its conjugate connection, the tensor product connection and the dual connection induce $D_0$. Its derivative is $(D_{0,V}H)(s\otimes \bar{t})=Vh(s,t)-h(D_{V}s,t)-h(s,D_{V}t)$. Consequently $D_{0}H=0$ is exactly metric compatibility.

For a Graphical Lasso solution with inverse $\hat{\Sigma }$, the unique minimizer of $\frac{1}{2}\Vert Wb-W^{-1}{S}_{-j,j}{\Vert }_2^2+\lambda \Vert b{\Vert }_1$, $W^2={\hat{\Sigma }}_{-j,-j}\succ 0$, is $b=-{\hat{\Omega }}_{-j,j}/{\hat{\Omega }}_{jj}$. The inverse identity gives ${\hat{\Sigma }}_{-j,j}={\hat{\Sigma }}_{-j,-j}b$, and the off-diagonal Graphical-Lasso Karush-Kuhn-Tucker conditions become the column Lasso conditions because the corresponding signs are opposite.

A safe dual-arrangement edge is one for which every edge on a path of length at most two from either endpoint is a good dual-arrangement edge. This stronger local condition supplies a two-cell-thick triangular strip. Only a bounded multiple of the original bad edges can be unsafe: trace a shortest path to the first bad edge and reverse it through degree-six intermediate vertices.

For an admissible family of gauge-fixing fermions, variation inserts a BRST-exact operator into normalized correlations. If the measured operators are BRST-closed, the graded BRST Ward identity makes that insertion vanish. This extends gauge-parameter independence to changes of the gauge functional itself, provided the action and measure preserve BRST symmetry and the change produces no boundary contribution. It is the perturbative statement; global gauge-orbit problems require additional analysis.

The scalar circle group action on ${\mathbb{C}}^{n+1}$ with the standard symplectic form has moment map $\mu =-|z{|}^2/2$ in the convention ${\iota }_{X_H}\omega =dH$. Reduction of the radius-$R$ sphere gives Complex projective space and the form ${\omega }_R=(i{R}^2/2)\partial \bar{\partial }\log (1+|w{|}^2)$. Its area on a complex projective line is $\pi R^2$. Thus $R=\sqrt{2}$ yields the Fubini-Study form normalized to projective-line area $2\pi$, while $R=1$ yields half that form. The Hopf fibration identifies the quotient.

Let $F$ be a formal group law over the valuation ring of a finite extension $K/{\mathbb{Q}}_p$, with $v_K(\pi )=1$ and $e=v_K(p)$. If $m>e/(p-1)$, its formal logarithm is an isomorphism $F({\pi }^m{\mathcal{O}}_K)\to ({\pi }^m{\mathcal{O}}_K,+)$. Indeed, its scaled series is $U+\pi R(U)$ with $R$ integral and convergent on ${\mathcal{O}}_K$; solving by contraction produces the formal group exponential. The subgroup has index $q^{m-1}$ in $F(\pi {\mathcal{O}}_K)$, where $q$ is the residue-field order.

With the nonnegative Laplace-Beltrami operator, a frequency $w$ in the dual lattice gives the eigenfunction $e^{2\pi i⟨w,x⟩}$ and eigenvalue $4{\pi }^2|w{|}^2$. Its multiplicity is the number of dual vectors with that norm. Fourier series prove completeness. In dimension two the shortest vector, shortest independent vector and covolume determine a reduced Gram matrix, proving spectral rigidity.

In quantum electrodynamics, the modified minimal subtraction scheme running mass differs from the perturbative pole mass by a finite correction. The displayed relation follows by evaluating the renormalized fermion self-energy at the mass shell and imposing a zero of the inverse Dirac propagator. The sign assigned to the self-energy insertion must be matched to its denominator convention; changing that naming convention does not change the conversion. A wave-function coefficient counterterm and multiplicative mass renormalization are also distinct: the coefficient of the mass term includes both at first order.

For every positive $\epsilon$, require finitely many global $L^2$ centers $g_j$ such that the displayed inequality holds for every integer $n$ on almost every fiber of the factor map. The index of the chosen center may depend on the fiber and time; the finite list of global center functions is fixed. This is weaker than almost periodic observable in global norm. For noninvertible systems use nonnegative times.

An extension for which the relatively almost periodic observables are dense in global $L^2$. Density does not assert that every $L^2$ function already meets the uniform finite-net condition on fibers. Localization yields the positive-measure almost periodic indicator in a compact extension.

Apply the Birkhoff ergodic theorem to a countable generating algebra, and disintegrate the resulting common full-measure convergence set over the invariant sigma-algebra. The orbit limits on a fiber are its conditional masses. Applying the theorem to that invariant component shows its invariant projection is constant on all generating indicators, hence on all $L^2$ functions by density. This proves ergodicity without an uncountable intersection of null sets.

If $L$ is a finite-dimensional Lie algebra of nilpotent endomorphisms, every proper Lie subalgebra $M$ is strictly contained in its normalizer of a Lie subalgebra. The Adjoint representation of $M$ on $L/M$ consists of nilpotent maps by nilpotence of commutation by a nilpotent endomorphism. In the inductive proof of Engel theorem, the lower-dimensional Engel lemma gives a nonzero class $y+M$ with $[M,y]\subseteq M$. A maximal proper $M$ is consequently an ideal of a Lie algebra of codimension one.

Under single-length dynamical scaling of binary-fluid coarsening, mass density $\rho$, dynamic viscosity $\eta$ and surface tension $\sigma$ determine the displayed unique length and time scales by dimensional analysis. Writing $L=L_{0}f(t/t_0)$ reduces the force-density estimate to $\alpha f^{\prime \prime }+\beta f^{\prime 2}/f=\gamma f^{\prime }/f^2+\delta /f^2$. Resistive and driving terms need opposite signed geometric coefficients. Viscous hydrodynamic coarsening has $f\sim u$ and inertial hydrodynamic coarsening has $f\sim u^{2/3}$. These follow respectively from density-independent and viscosity-independent powers in $L\propto {\eta }^{2-3p}{\rho }^{p-1}{\sigma }^{2p-1}{t}^p$. They require thin interfaces, statistically self-similar bicontinuous domains, dominant advection and no additional relevant macroscopic scales. A degeneracy in the signed inertial coefficients can invalidate the pure-power force balance without invalidating the dimensional calculation.

Replacing domain-scale viscous stresses by a local linear drag density $-\bar{\eta }\mathbf{v}$ gives the scales $L_1=(\sigma \rho /{\bar{\eta }}^2{)}^{1/3}$ and $t_1=\rho /\bar{\eta }$. The single-scale force model isFor a regular power-law asymptotic $g\sim C{u}^y$, $g^{\prime }\sim Cy{u}^{y-1}$, $g^{\prime \prime }=Cy(y-1)u^{y-2}+o(u^{y-2})$, $y>0$, the two inertial-to-drag ratios scale as $(y-1)/u$ and $y/u$. Thus drag dominates inertia at late time, and drag-capillary balance integrates to $g^3\sim 3(c_s/c_d)u$. This proves the displayed $1/3$ exponent and its independence of mass density. The scaling assumes a homogenized stationary network and dominant advective transport. Diffusive Ostwald ripening can have the same exponent, so its omission must be justified separately; order-parameter mobility can otherwise enter the prefactor.

Consider a regular four-dimensional region with spherical symmetry and two null coordinates,with both ${\partial }_U$ and ${\partial }_V$ future directed. Assume the Einstein field equations and null energy condition, so $T_{UU},T_{VV}\ge 0$.

Suppose $r_{,U}<0$ on an initial Cauchy hypersurface. In the portion of its future domain of dependence whose past constant-$V$ null segments reach that hypersurface within the regular coordinate region, let their initial coordinate be $U_{\Sigma }(V)$. The double-null focusing identity integrates toThus the ingoing spherical null expansion remains negative there.

Now take a sphere $(U_0,V_0)$ with the other expansion negative as well. Along its future outgoing null hypersurface $U=U_0$,Both spherical null expansions in double-null coordinates are therefore negative on every surviving sphere of that outgoing null hypersurface, so those spheres remain trapped surfaces. The result applies while the stated regularity and domain conditions hold.

Each focusing identity controls variation along its own null direction. A claim about every sphere in a whole two-dimensional future region needs an additional argument controlling the transverse direction; the two separate inequalities above establish the stated generator-by-generator persistence.