Let $\hat{P}$ project onto a leading unit eigenvector of $H+W$, with $H$ as in the Davis-Kahan curvature lemma. Its maximizing Rayleigh quotient gives $\mathrm{tr}(H(P-\hat{P}))\le \mathrm{tr}(W(\hat{P}-P))$. Duality of the operator norm and trace norm, together with the rank-two bound $\Vert \hat{P}-P{\Vert }_{\ast }\le \sqrt{2}\Vert \hat{P}-P{\Vert }_F$, proves the estimate. No gap condition on the perturbed matrix is needed.

The Kirchhoff node law says the sum of outward currents at a graph vertex is zero unless that graph vertex is a source or sink. In an electrical network, it is flow conservation; a unit flow has divergences $+1$ and $-1$ at its terminals.

The Kirchhoff cycle law says the directed sum of voltage drops around every graph cycle is zero. For unit edge resistance this is the sum of signed currents around the graph cycle. With unit edge resistance, the current is a voltage gradient: define the voltage difference by summing drops along a graph path. The difference of the sums along two graph paths is a sum around closed walks; decomposing these into graph cycles makes it zero. Together with the Kirchhoff node law, the resulting graph Laplacian equation determines current uniquely on a finite connected network.

Let $W$ be an integral effective Cartier divisor in an integral variety $V$ over a perfect field, and suppose $W$ is not contained in the singular locus of $V$. On a dense open subset both varieties are smooth. The Zariski tangent space of $W$ there has codimension one in that of $V$, so the differential of the local defining equation is nonzero. Thus the conormal sheaf map is injective generically. Its kernel is a subsheaf of a line bundle on the integral variety $W$ and is therefore a torsion-free sheaf; generic vanishing implies zero everywhere. Right exactness is the Conormal exact sequence for Kähler differentials.

Apply the Itô formula to the transformed Loewner driving function ${\tilde{\xi }}_t={\varphi }_t(\sqrt{\kappa }{W}_t)$. The conformal conjugacy derivative for the chordal Loewner equation cancels the Itô drift exactly when $\kappa =6$. Its quadratic variation is $\kappa {\int }_0^t{\varphi }_s^{\prime }({\xi }_s{)}^{2}ds$.

Approximate $1_A$ by relative almost periodic functions with summable squared global errors. Tonelli theorem makes their conditional errors tend to zero almost everywhere. Choose a positive base set on which the conditional mass of $A$ is bounded below, then use the Egorov theorem to make those errors uniform on a smaller positive set $C$. Localization of relative almost periodicity to base sets and conditional-norm closure prove $1_B$ is relatively almost periodic and $\mu (B)>0$.

For a skew-product extension with finitely many labeled fibers, the orbit of a bounded observable on each fiber lies in a fixed bounded subset of a finite-dimensional vector space. A finite net there supplies global centers constant in the base coordinate. Bounded observables are dense in $L^2$, so this is a compact extension. Global almost periodicity can still fail because the base can be weakly mixing.

In the sl2 Lie algebra, if $Xv=0$ and $Hv=mv$, then the commutator relations give $H{Y}^{j}v=(m-2j)Y^{j}v$ and $X{Y}^{k+1}v=(k+1)(m-k)Y^{k}v$. Induct using $XY=YX+H$. This controls the raising operator on a string formed by the lowering operator and yields the classification of finite-dimensional sl2 representations.

The quantum measure in abelian T-duality changes the conventional dilaton by ${\phi }^{\prime }=\phi -\frac{1}{2}\log g_{yy}$ in alpha-prime-one units for a spacelike isometry. The regulated Gaussian integration over the auxiliary gauge field produces this curvature coupling. It is consistent with invariance of the string-frame density $e^{-2\phi }\sqrt{\det g}$ under the local Buscher rules.

Exactness of the integral coefficient sequence gives $\hat{\beta }\rho =0$. The Bockstein factorization through integral cohomology therefore gives ${\beta }^2=\rho \hat{\beta }\rho \hat{\beta }=0$, for every modulus $n\ge 2$, including composite moduli.

Reduction $\rho$ of the integral Bockstein homomorphism associated to $0\to \mathbb{Z}\stackrel{2}{\to }\mathbb{Z}\to {\mathbb{F}}_2\to 0$ equals the cup product square on degree-one classes. One can see this on an ordered two-simplex: lift the values of a mod-two one-cocycle to zero or one. The half-coboundary is one precisely when both consecutive edge values are one, giving the cup-square cocycle.

For any sheaf $F$ and surjection $q:n\to k$, $F(k)\to F(n)\rightrightarrows F(n{\times }_{k}n)$ is an equalizer. In particular every $F(q)$ is injective. These follow from the sheaf condition on the sieve generated by the covering arrow $q$ and control primitive elements.

An element $x\in F(n)$ is primitive if it does not descend along any surjection $n\to n-1$. All elements at cardinality one are primitive. Repeated descent reaches a primitive ancestor in finitely many steps, and the primitive-element kernel rigidity lemma makes the ancestor unique up to bijection.

For $\mathbf{\alpha }=\mathrm{diag}({\alpha }_0,{\alpha }_0,{\alpha }_1)$, set $\gamma ={\alpha }_0/\eta$, $\delta ={\alpha }_1/{\alpha }_0$, and $q^2=k^2+l^2$. A steady nonzero Fourier mode obeys the displayed condition when the denominator is nonzero. At fixed $q>0$ and $0<\delta <1$, minimizing over $m^2\ge 0$ gives $m_{\ast }^2=(1-2\delta )q^2$ and ${\gamma }_{\min }^2=4(1-\delta )q^2$ for $\delta <1/2$; for $\delta \ge 1/2$ it gives $m_{\ast }^2=0$ and ${\gamma }_{\min }^2=q^2/\delta$. This is a boundary-constrained threshold of an anisotropic alpha-squared dynamo.

For the A2 root system, ${\omega }_1=(2{\alpha }_1+{\alpha }_2)/3$ and ${\omega }_2=({\alpha }_1+2{\alpha }_2)/3$. The weight lattice $P=\mathbb{Z}{\omega }_1+\mathbb{Z}{\omega }_2$ contains the root lattice $Q$ with index three. In fundamental coordinates $(a,b)$, root-lattice membership is $a-b\equiv 0(\mathrm{mod}3)$.

A weight-space decomposition expresses a Lie algebra representation as a direct sum of simultaneous eigenspaces for a Cartan subalgebra. Each summand is the weight space for its weight. In complex finite-dimensional representations of a semisimple Lie algebra, the simple coroots act as commuting diagonalizable operators, giving this decomposition.

For a finite-dimensional representation of a complex semisimple Lie algebra, the weights on a line $\mu +\mathbb{Z}\alpha$ form a contiguous string from $\mu +p\alpha$ to $\mu -q\alpha$, with $q-p=⟨\mu ,{\alpha }^{\vee }⟩$. Restriction to the associated sl2 subalgebra gives nested strings of the same parity, so the string endpoints determine the weight set but not its multiplicities.

Canonical gauge interactions preserve the tree-level supertrace mass sum rule at a vacuum with vanishing D-terms. Put $C={\sum }_a{g}_a^2\Vert T_{a}v{\Vert }^2$ for the scalar expectation vector $v$. The extra real-scalar squared-mass trace is $2C$, the extra Weyl spinor squared-mass trace from gaugino mixing is $4C$, and the gauge boson squared-mass trace is $2C$. Their spin-weighted supertrace is $2C-2(4C)+3(2C)=0$. The scalar contribution comes from differentiating $\frac{1}{2}{\sum }_a{D}_a^2$; the fermionic one counts both blocks of the symmetric mixing matrix with entries $\sqrt{2}{g}_a{T}_{a}v$; the vector one follows from the covariant scalar kinetic term. Any zero-mass Goldstone bosons in the unreduced scalar Hessian do not change its trace.

The tensor square has fifteen distinct weights: three outer corners of multiplicity one, six near-corner edge weights of multiplicity two, three edge midpoints of multiplicity three, and three interior weights of multiplicity four. In the irreducible components only $R(2,1)$ is weight-degenerate: $(1,0),(-1,1),(0,-1)$ each have multiplicity two. All weights of $R(4,0)$ and $R(0,2)$ have multiplicity one.

Over every field, including characteristic two, there is a natural isomorphismThe middle summand maps $v\otimes w$ to the mixed product $vw$. Monomial bases prove bijectivity, and the Leibniz rule makes the map equivariant for Lie algebra representations.