In the critical RNS string, a spacetime supersymmetry generator is $Q_A=\oint e^{-{\varphi }_{\mathrm{gh}}/2}{S}_A$. The RNS spin field has weight $5/8$ and the superghost exponential has weight $3/8$, making a weight-one current. The GSO projection ensures the locality needed to act on retained vertex operators. Its operator products generate translations and relate NS sector and R sector states.

For a bounded symmetric coercive bilinear form on a Hilbert space, a solution of $a(u,w)=\ell (w)$ minimizes $J(v)=a(v,v)/2-\ell (v)$. The displayed identity proves strict minimality and uniqueness. Restricting to a conforming finite element space makes the discrete Ritz method equivalent to the Galerkin method. Galerkin orthogonality gives exact best approximation in the energy norm; the Céa lemma translates it into a reference-norm estimate.

The quadratic form is $q_Q(\mathbf{n})=⟨\mathbf{n},\mathbf{n}{⟩}_Q={\sum }_i{n}_i^2-{\sum }_{\rho :i\to j}{n}_i{n}_j$. It depends on the underlying graph rather than its orientation. For a representation it equals $\dim {\mathrm{End}}_Q(X)-\dim {\mathrm{Ext}}_Q^1(X,X)$. Its positive definiteness forces indecomposables to be rigid brick modules, using the Ringel lemma on bricks.

An order in a number field $K$ is a subring $A\subseteq {\mathcal{O}}_K$ containing $1$ and having full rank $[K:\mathbb{Q}]$ as an additive abelian group. Its finite index in the ring of integers of a number field is related to its discriminant by the discriminant-index formula for an integral lattice.

A ring homomorphism from a ring to itself. Surjectivity need not imply injectivity in general, but a surjective ring endomorphism of a Noetherian ring is a ring automorphism.

The stabilizer is the automorphism group of a quiver representation, an open set in its endomorphism algebra. Thus $\dim {\mathcal{O}}_X={\sum }_i{n}_i^2-\dim {\mathrm{End}}_Q(X)$. The Ringel form gives orbit codimension $\dim {\mathrm{Ext}}_Q^1(X,X)$. Since orbits are locally closed and the representation space is irreducible, rigidity is equivalent to an open dense orbit.

If a line bundle on a smooth projective curve has both $h^0(\mathcal{L})>0$ and $h^0({\omega }_C\otimes {\mathcal{L}}^{-1})>0$, the displayed inequality holds. Write these dimensions as $r,s$. The product dimension bound for sections on a curve gives $r+s-1\le g$, and the Riemann-Roch theorem gives $r-s=\mathrm{deg}\mathcal{L}+1-g$. Adding gives $2r\le \mathrm{deg}\mathcal{L}+2$.

A function $g$ on $[0,\infty )$ is directly Riemann integrable when its upper and lower sums on an equal-width mesh are absolutely finite and converge to the same finite integral as the mesh width tends to zero. A locally absolutely continuous integrable function with integrable derivative has this property: the upper-minus-lower sum is bounded by mesh width times its total variation. The derivative bound therefore gives bounded variation as well as tail control. This stronger form of integrability is a hypothesis of the key renewal theorem.

A bounded function on $[0,1]$ is Riemann integrable if and only if its upper Darboux sum minus its lower Darboux sum on the equal-length partition $D_n$ tends to zero. Sufficiency follows directly from the Riemann integrability criterion. Necessity follows by comparing with a fixed partition whose gap is small and using the finite bad-cell estimate for Darboux sums. The equal-length partitions need not be nested.

If $f$ is Riemann integrable and $g$ is Lipschitz on an interval containing the range of $f$, then $g\circ f$ is Riemann integrable. With Lipschitz constant $K$, the oscillation on each partition cell satisfies $\mathrm{osc}(g\circ f)\le K\mathrm{osc}(f)$, and hence the gap between Darboux sums is multiplied by at most $K$. A continuously differentiable $g$ is Lipschitz on each closed bounded interval by the mean value theorem and the extreme value theorem applied to $g^{\prime }$.

For constant nonzero $c$, putting $y=x^{\prime }/(cx)$ in $y^{\prime }+c{y}^2+a(t)y+b(t)=0$ cancels the quadratic derivative terms and gives $x^{\prime \prime }+a(t)x^{\prime }+cb(t)x=0$. The logarithmic derivative is defined on intervals where $x\ne 0$, and multiplying $x$ by a nonzero scalar does not change $y$. For variable $c(t)\ne 0$, the derivative coefficient becomes $a-c^{\prime }/c$.

A return level answers the inverse question to a return period: which threshold has the specified rarity? Let $F(z)=F_{\mathrm{annual}}(z)=\mathbb{P}(M_j\le z)$ be the common cumulative distribution function of annual sample maxima in a model with stationarity. For a continuous, strictly increasing $F$ and $T>1$, the $T$-year return level isIt has the same units as $M_j$, whereas $T$ is a count of annual blocks. Independence between years is unnecessary for this one-year quantile definition; it is needed for the geometric waiting and multi-year formulas under return period. For a discrete probability distribution, use the generalized quantile function $F^{-1}(q)=\inf \{z:F(z)\ge q\}$. Then $\mathbb{P}(M_j>z_T)\le 1/T$, with equality not guaranteed at jumps; an exact requested exceedance probability may be unattainable.

For a concrete standard model, choose the maxima convention of the Gumbel distribution, with location $\mu$ and scale $b>0$:The second formula follows by taking logarithms twice and solving $F(z_T)=1-1/T$. The maxima cumulative distribution function and its inverse are given in NIST: extreme value type I distribution, maximum case. With the deliberately chosen toy values $\mu =10$ and $b=2$ in arbitrary units, $z_{10}=14.501$, $z_{100}=19.200$, and $z_{1000}=23.815$, rounded to three decimals. In particular, $19.200$ is approximately the annual quantile at cumulative probability $0.99$; it is not a prediction of the largest observation in the next 100 years. Under independence, the probability that all those annual sample maxima stay below the exact $z_{100}$ is $0.99^{100}\approx 0.366$.

The time block matters. If a toy year contains $m$ independent daily blocks, each with exceedance probability $q$ at one fixed threshold, its annual exceedance probability is $p=1-(1-q{)}^m$, giving annual return period $1/[1-(1-q{)}^m]$. The reciprocal $1/q$ counts daily blocks. Dependence among daily exceedances requires their joint law instead; a threshold crossed on several successive days still produces only one exceedance indicator for that year's sample maximum. The peaks-over-threshold method and declustering of extremes address a different choice of extreme-event sampling.

A once-punctured genus-$h$ closed orientable surface retracts to a wedge of $2h$ circles. A retraction from ${\Sigma }_g$ would inject its degree-one cohomology as an isotropic subspace of a symplectic vector space for the Poincare duality pairing, since the punctured surface has zero degree-two cohomology. The maximal isotropic dimension is $g$, giving $2h\le g$. Equality is realized by folding the double of the punctured surface onto one copy. Additional handles in the other copy can be pinched away while fixing the joining boundary, proving sufficiency for every embedding of such a one-boundary subsurface when $g\ge 2h$.

For a solenoidal vector field $\mathbf{B}$ and constant magnetic diffusivity $\eta$, the magnetic induction equation isIt combines Faraday's law with the moving-conductor relation for electrical conductivity, neglecting displacement current. With incompressible flow, its advective form is ${\partial }_t\mathbf{B}+(\mathbf{u}\cdot \nabla )\mathbf{B}=(\mathbf{B}\cdot \nabla )\mathbf{u}+\eta {\nabla }^2\mathbf{B}$.

A normal-field wall imposes zero tangential magnetic field: $\mathbf{B}\times \mathbf{n}=0$ for the wall unit normal $\mathbf{n}$. In a channel with imposed normal field $B_0\hat{\mathbf{z}}$, an induced tangential component $b(z)\hat{\mathbf{x}}$ therefore satisfies $b=0$ on each wall. This condition is distinct from the no-slip boundary condition on fluid velocity.

Hartmann flow is a fully developed viscous conducting-fluid flow driven along a planar channel while a uniform magnetic field crosses the walls. Induction and the Lorentz force density couple its velocity and tangential induced field. For no-slip, normal-field walls separated by $2L$, the velocity is a hyperbolic cosine profile that approaches plane Poiseuille flow at zero imposed field and develops a uniform core with Hartmann layers at large Hartmann number.

Dynamo action is growth or sustained maintenance of a magnetic field by conducting-fluid motion despite magnetic diffusion. In the kinematic problem the velocity is prescribed and the resistive induction equation is linear in the magnetic field. Magnetic feedback through the Lorentz force density matters once the field becomes dynamically important.

A triangular localized potential energy has a force of magnitude $F>0$ on each side of its cusp, directed toward the center. Let its total width be $2X_0<L$, where $L$ is the circumference of the track, and let linear drag have coefficient $\zeta >0$. Define $v_c=F/\zeta$, $f_c=v_c/L$, $\alpha =2X_0/L$ and $\beta =f_T/f_c$. Here $f_c$ is a critical drive frequency, distinct from the thermal calibration corner frequency used elsewhere.

For a passing trap with speed $v_T=L{f}_T>v_c$, the two equal-width sides giveSubstituting this displacement into the exact repeated kicks from a circular optical trap relation yieldsFor $0\le \beta \le 1$, a captured particle can follow the trap with $f_p/f_c=\beta$. At the discontinuous cusp, this statement uses a sticking or smoothly rounded-well interpretation. Finite passage and the captured branch meet continuously at $\beta =1$.

A repulsive renormalization-group trajectory leaves a renormalization-group fixed point along its unstable manifold as the coarse-graining length increases. Its tangent directions are relevant operators. The critical surface is instead the stable manifold, whose irrelevant coordinates approach the critical fixed point after relevant fields are tuned. For a discrete step, relevance is determined by multipliers larger than one in magnitude, not merely by their being positive.

A Defective renewal equation is $z(u)=g(u)+{\int }_{[0,u]}z(u-x)Q(dx)$ where the nonnegative kernel measure has total mass less than one. Its renewal representation is a convergent sum of convolutions. Exponential tilting can turn the kernel into a probability measure, enabling the key renewal theorem.