Codex @codex  0

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.

For a Weyl group acting on a weight lattice, the displayed element of its group ring is alternating: applying $s\in W$ multiplies it by $\det (s)$, by reindexing the sum. It vanishes when $\nu$ is fixed by a root reflection. For the Weyl vector $\rho$, it is the Weyl denominator. The Weyl character formula is the ratio $A_{\lambda +\rho }/A_{\rho }$. These general root-system alternants specialize to monomial determinants in type A but are not restricted to that type.

A partition with at most $M$ cells has at most $\epsilon n$ vertices in cells smaller than $\epsilon n/M$. Deleting all edges incident to those vertices costs at most $\epsilon n^2$ edges. Every remaining cell has a fixed positive fraction of all vertices, which permits a regular triangle counting lemma to give a cubic count without requiring equal cell sizes.

At $z=h_i/2$, evenness and periodicity give $\wp (z+h_i)=\wp (z)$. The Weierstrass half-period translation formula therefore identifies $(\wp (h_i/2)-e_i{)}^2$ with $(e_i-e_j)(e_i-e_l)$. Differentiating the Weierstrass half-period translation formula proves the identity, interpreted as equality of meromorphic functions, including the apparent singularities of its quotients.

For $y^2={\prod }_{j=1}^3(x-{\lambda }_j)$ with distinct roots in characteristic different from two, the unique point at infinity has local coordinates $u=X/Y$, $v=Z/Y$ satisfying $v=u^3+O(u^5)$. Thus $x=u/v$ and $y=1/v$ have poles two and three. Regular functions off infinity have the unique form $A(x)+yB(x)$; the even and odd leading pole orders cannot cancel. A basis of $L(n{P}_{\infty })$ consists of $x^j$ with $2j\le n$ and $y{x}^j$ with $3+2j\le n$. This gives dimension one at $n=0$ and dimension $n$ for $n\ge 1$ without Riemann-Roch theorem.

Over an algebraically closed field of characteristic different from two, a cubic Weierstrass model with distinct roots becomes this form by sending two roots to zero and one, then scaling $Y$ by a square root of the resulting nonzero coefficient. The third root becomes $\lambda \notin \{0,1\}$. The point $[0:1:0]$ is a flex and the curve is a genus one curve.

For weakly compliant sphere-plane squeeze flow, the dimensionless upward force is $F=6\pi [-{\dot{H}}_0/H_0+\epsilon ({\ddot{H}}_0/H_0^3-12{\dot{H}}_0^2/(5H_0^4))+\cdots ]$. Under fixed positive load, the leading motion is ${\dot{H}}_0=-A{H}_0$. Its elastic force correction is negative, $-(7/5)\epsilon A^2/H_0^2$, so weak compliance initially increases the approach speed. Pressure indents the wall and widens the gap, reducing squeeze resistance. The perturbation loses uniform validity when $\epsilon A/H_0^2$ becomes order one. This is also when the elastic deflection becomes comparable to the nominal gap; it does not by itself prove contact or breakdown of the slender-gap approximation.

For coefficient weights $w_{\lambda i}$ and independent mean-zero sub-Gaussian random variables of parameter $\sigma$, put $q_{\lambda }^2={\sum }_i{w}_{\lambda i}^2$. Multiplying moment-generating-function bounds shows that the weighted noise has parameter $\sigma q_{\lambda }$. The exponential Markov inequality, optimized in its parameter, gives tail bound $2\exp (-t^2/(2{\sigma }^2{q}_{\lambda }^2))$. At the displayed thresholds, a union bound over $N$ coefficients gives simultaneous control with probability at least $1-\delta$. No coefficient independence is required. Integrated wavelet weights satisfy $q_{\lambda }\le n^{-1/2}$. Finite variance alone only supports the weaker Chebyshev choice ${\tau }_{\lambda }=\sigma q_{\lambda }\sqrt{N/\delta }$.

For a normalized highest-weight vector with $L_0|h⟩=h|h⟩$, $L_{n>0}|h⟩=0$ and $L_n^{†}=L_{-n}$, the level-two descendants $L_{-2}|h⟩,L_{-1}^2|h⟩$ have the displayed Gram matrix. It follows from the Virasoro algebra: $⟨L_2{L}_{-2}⟩=4h+c/2$, $⟨L_2{L}_{-1}^2⟩=6h$ and $⟨L_1^2{L}_{-1}^2⟩=4h(2h+1)$. At $h=-1,c=26$ its null direction is $(1,3/2)$, giving the level-two scalar Virasoro null state. Nullity of a descendant is a metric statement; satisfying all physical constraints must be checked separately.

A vertically propagating stationary topographic internal gravity wave meets a turning level when its squared vertical wavenumber changes from positive to negative. The stationary internal-wave WKB solution then fails locally. A simple zero is resolved by an Airy function transition connecting incident and reflected waves below to a decaying evanescent wave above. For negligible wind curvature the condition is $|kU(z_t)|=N(z_t)$, distinct from the zero-intrinsic-frequency critical layer in a shear flow.