Getzler rescaling combines the change $x\mapsto \sqrt{t}x$ in geodesic normal coordinates with the Clifford algebra filtration, assigning degree one to a derivative and to a Clifford generator and degree minus one to a coordinate. The associated graded Clifford algebra is the exterior algebra. This is useful because the spinor supertrace annihilates every Clifford monomial except the top-degree one. Applied to the Lichnerowicz formula for a twisted Dirac operator, it retains a quadratic curvature model, whose heat kernel is computed by a Gaussian ansatz; all terms of smaller rescaling degree disappear from the local index limit. Thus the cancellations in a supersymmetric heat trace can be computed before solving the complete curved heat equation.

On a closed oriented smooth four-manifold, an anti-self-dual connection on a line bundle has $c_1(L{)}^2[X]=-\Vert i{F}_A/(2\pi ){\Vert }_2^2\le 0$. A line bundle with positive square therefore admits no such connection for any metric of the chosen orientation. The splitting $L\oplus L^{-1}$ has $c_2=-c_1(L{)}^2$, giving the equivalent nonnegative-instanton-charge obstruction.

// Destination: geometry-and-topology.bigb

A smooth anti-self-dual connection with compact structure group on a punctured four-ball and finite $L^2$ curvature extends smoothly over the puncture after changing gauge and extending the bundle. The gauge on the punctured ball can carry nontrivial clutching degree; the extended bundle need not agree globally with the original one in a bubbling sequence.

// Destination: geometry-and-topology.bigb

On a closed oriented Riemannian four-manifold, a sequence of $SU(2)$ anti-self-dual connections of second Chern number one has, modulo gauge and subsequence, either smooth convergence with charge one or smooth convergence away from one point to a flat charge-zero connection. In the second case the curvature-energy measures converge to $8{\pi }^2{\delta }_x$. Small-energy gauges give convergence away from finitely many points; removable singularities extend the limit; Chern-Simons clutching integers quantize each positive defect. Total charge one leaves only the two stated cases. A flat limit need not have trivial holonomy on a nonsimply connected base.

// Destination: geometry-and-topology.bigb

The infinitesimal gauge and curvature complex is $0\to {\Omega }^0(\mathrm{ad}E)\stackrel{d_A}{\to }{\Omega }^1(\mathrm{ad}E)\stackrel{d_A^{+}}{\to }{\Omega }^{2,+}(\mathrm{ad}E)\to 0$. Its composite on $\xi$ is $[F_A^{+},\xi ]=0$. Its cohomology describes infinitesimal stabilizers, deformations and obstructions. The gauge-fixed operator is $D_A=d_A^{\ast }\oplus d_A^{+}$.

// Destination: geometry-and-topology.bigb

Work in an open subset of ${\mathbb{C}}^2$, with complex coordinates $w,z$, the Euclidean metric and its complex orientation. Use an imaginary-valued local potential for a U(1) connection. If its curvature form has no $(2,0)$ or $(0,2)$ part, the Dolbeault-Poincaré lemma gives $A=\partial u+\bar{\partial }v$. Unitarity permits $v=-\bar{u}$.

Write $u=p+iq$. A unitary bundle gauge transformation removes $idq$, leaving $A=\partial p-\bar{\partial }p$. With $f=-2p$ this isFor the chosen flat Riemannian metric, anti-self-duality of gauge curvature is exactlythe scalar Laplace equation. For example, $f=|w{|}^2-|z{|}^2$ gives the constant primitive curvature form $dw\wedge d\bar{w}-dz\wedge d\bar{z}$.

Alternatively, the complex gauge transformation $e^{-u}$ gives $A=\bar{\partial }(v-u)$. This gauge need not be unitary. The scalar harmonic equation above uses the specified flat metric; a general Riemannian metric changes the differential equation.

// Destination: complex-geometry.bigb

For constant isotropic transport coefficients and zero mean flow, a divergence-free Fourier mode has two circular polarizations that diagonalize curl with eigenvalues $\pm k$. The mean induction equation therefore has the displayed growth rates. Growth requires an admissible $k$ with $|\alpha |>(\eta +\beta )k$. Freely variable wavenumber gives $k_{\ast }=|\alpha |/[2(\eta +\beta )]$, provided it respects mean-field scale separation. A uniform field has zero curl and cannot grow by constant alpha alone; boundaries fix the longest available spatial mode.

For nonzero coupling ${ϵ}_1$, an alpha-quenching rotating wave can be made real in its toroidal amplitudes by a common phase rotation. Set $a={\alpha }_0-2\omega /\Omega$. The amplitude equations are $(a-p{B}_1^2)B_1+{ϵ}_1{B}_2=0$ and $(a-p{B}_2^2)B_2+{ϵ}_1{B}_1=0$. Subtracting after cross multiplication gives $(B_1^2-B_2^2)(p{B}_1{B}_2+{ϵ}_1)=0$. Unequal magnitudes therefore require $B_1{B}_2=-{ϵ}_1/p$ and $B_1^2+B_2^2=a/p$. They exist exactly when $a>2|{ϵ}_1|$ and have the displayed squared amplitudes. Exchanging hemispheres yields the companion solution. This breaks equatorial reflection symmetry and combines both dipole and quadrupole parity in a mean-field dynamo. Existence does not alone prove nonlinear stability.

Boundary-connected-summing Seifert surfaces gives a block-diagonal Seifert matrix, because basis curves in the separated summands have zero linking. The Seifert-matrix presentation of the Alexander module is block diagonal too. Thus the Alexander modules form a direct sum and their Alexander polynomials of a knot multiply up to a unit.

Assume $g_s(K)>0$. A nontrivial connected sum of knots has positive genus summands, and additivity of Seifert genus applies. Its Alexander polynomial of a knot is the product of the summand polynomials. If the polynomial is irreducible, one summand has unit polynomial; the other must then have polynomial breadth $2g_s(K)$, exceeding twice its strictly smaller genus. This contradicts the Alexander breadth bound on Seifert genus. Irreducibility without the full-degree hypothesis alone does not imply primeness.

For a holomorphic map between metric Riemann surfaces, the average sheet number is the pulled-back source area divided by the target area. The area formula identifies it with the average number of preimages counted with multiplicity. The same definition over a target region $D$ gives $S_D=A_f(f^{-1}D)/A(D)$.

An island over a Jordan domain $D$ is a relatively compact component $U$ of its inverse image on which the meromorphic function is a proper map onto $D$. A component reaching the boundary of the source is instead a peninsula. The island has an integer mapping degree; degree one means that the map is a biholomorphism. A simply connected island can have larger degree and need not be a simple island.

For a finite simply connected covering surface over the Riemann sphere and $q\ge 3$ fixed separated Jordan domains, let $n_j$ count its simply connected islands over the $j$th domain once each, regardless of mapping degree. Let $S$ be its average sheet number and $L$ its spherical boundary length. The displayed inequality holds with $h$ depending only on the target domains. For regular bordered surfaces $f:X\to Y$, a general formulation is $\max \{-\chi (X),0\}\ge -S\chi (Y)-hL$, where $L$ counts only the boundary mapped into the interior of $Y$ and $\chi$ is the modern Euler characteristic. The boundary error disappears for an actual branched covering. The covering-surface formulation is explained in www.math.purdue.edu/~eremenko/dvi/ahl.pdf ; the simply connected island estimate is also recorded in Lemma 2 of pdfs.semanticscholar.org/d247/562607e237af7c8fc6e683b77be6b94829fa.pdf .

For a nonconstant meromorphic function on the plane, let $S(R)$ be its normalized pulled-back spherical area on $|z|<R$, and $L(R)$ the spherical length of its boundary image counted with multiplicity. The Cauchy-Schwarz inequality gives $L(R{)}^2\le 8{\pi }^{2}R{S}^{\prime }(R)$. If $L/S$ stayed above a positive constant for all large $R$, integration of $(1/S{)}^{\prime }\le -c/R$ would make $1/S$ negative. Thus there are arbitrarily large radii with $L/S$ arbitrarily small, even when the total area is finite.

For a degree-$d$ smooth surface $X\subset {\mathbb{P}}^3$ and a smooth rational curve $C$ of degree $a$, the canonical bundle is $K_X={\mathcal{O}}_X(d-4)$. The adjunction formula gives $(K_X+C)\cdot C=-2$, hence $C^2=-2-(d-4)a$. In particular a line has self-intersection $2-d$.

For traceless matrices $T,S$ transforming by conjugation under SU(3), the trace $\mathrm{tr}(TS)$ supplies a singlet, the commutator $[T,S]$ an antisymmetric octet, and the traceless anticommutator a symmetric octet. Symmetrizing the two upper and two lower indices and removing traces supplies the 27. Contracting an antisymmetric lower pair with the invariant alternating tensor and symmetrizing the remaining three upper indices supplies the 10, and the conjugate construction supplies the conjugate 10. These nonzero equivariant maps exhaust the dimensions: the symmetric part has $36=1+8+27$, the antisymmetric part $28=8+10+10$.

Take the Verma module for the sl2 Lie algebra of highest weight $-2$, with basis $v_m$ and $f{v}_m=v_{m+1}$, $h{v}_m=(-2-2m)v_m$, $e{v}_m=-m(m+1)v_{m-1}$. It is simple. In ${\mathfrak{sl}}_2\otimes V$, the highest vectors of weight $-2$ are multiples of $w=e\otimes v_1-h\otimes v_0=f(e\otimes v_0)$. Every homomorphism to $V$ kills $e\otimes v_0$, whose weight is zero, and hence kills $w$. Every embedded copy of $V$ would have its highest vector proportional to $w$, so no projection onto such a copy can exist. Thus semisimplicity of the Lie algebra alone does not provide an action summand in infinite dimension.

For a presheaf on a category, the categorical coend identifies $(fh,x)$ with $(h,X(f)x)$. The displayed isomorphism sends the class of $(h:U\to W,x\in X(W))$ to $X(h)x$, with inverse $y\mapsto [1_U,y]$. The coend relation makes these inverse and natural. Consequently every presheaf is the colimit of representables indexed by its category of elements.

Starting from zero flow, a widest augmenting path increases the current flow by at least $F_k/m$, where $F_k$ is its remaining optimality gap. Therefore $F_{k+1}\le (1-1/m)F_k$. Integer capacities keep this gap integer, so a gap below one is zero. The method takes $O(m\log f^{\ast })$ augmentations for $f^{\ast }\ge 2$, or uniformly $O(m\log (1+f^{\ast }))$; zero maximum flow requires no augmentation.

For strictly decreasing integer tuples $\kappa ,\eta$, let $A_{\kappa }(z)=\det (z_i^{{\kappa }_j})$ on the diagonal maximal torus of the unitary group. Expanding both determinants, Fourier orthogonality makes the integral zero unless the exponent tuples have the same permutation orbit. Strict decreasing order makes that equivalent to $\kappa =\eta$; the $n!$ matching permutation terms then each contribute one. An alternating Laurent polynomial is a finite linear combination of these alternants. For an irreducible character ${\chi }_{\lambda }$, its highest monomial gives coefficient one for $A_{\lambda +\delta }$ in ${\chi }_{\lambda }{A}_{\delta }$, with $\delta =(n-1,\dots ,0)$. The Weyl integration formula and Schur orthogonality relations force the sum of squared coefficients to be one, so all other coefficients vanish. This proves the unitary Weyl character formula directly.