A categorical presheaf is a sheaf for $J$ if every matching family on a covering sieve has a unique amalgamation. Equivalently restriction $\mathrm{Nat}(yU,F)\to \mathrm{Nat}(S,F)$ is bijective for each covering sieve $S\hookrightarrow yU$. Sheaves on a small site form a Grothendieck topos.

A Grothendieck topology is subcanonical when every representable functor is a sheaf on a site. It is also called standard in some topos-theory terminology. A nontrivial covering quotient can fail this condition by identifying distinct sections of a representable.

The atomic topology declares exactly the nonempty sieves covering. It exists precisely when arrows with a common codomain admit a common refinement. On nonempty finite sets and surjections this follows from the fiber product. Its J-closed sieves are only the empty and maximal sieves.

After gravity smoothing of a Marangoni front reaches the whole spreading pool, the film approaches uniform depth while surface transport continues. A small height gradient creates a hydrostatic pressure return flow that almost cancels the net Marangoni stress flux. Setting $q\simeq 0$ in the thin-film equations with insoluble surfactant gives $h_x\simeq -3A{C}_x/(2\rho g{h}_0)$ and fractional depth variation $O(AM/(\rho g{h}_0^2{x}_N))\ll 1$. The depressed region under the surfactant therefore becomes progressively shallower.

A transverse-traceless spatial tensor is orthogonal to its Fourier mode wavevector in each index and has zero trace. The transverse-traceless projector extracts this part. Trace terms and symmetrized coordinate-displacement gradients have no such part, explaining the linear gauge invariance of tensor cosmological perturbations.

Graph total variation denoising is a penalized least-squares estimator for noisy vertex signals on a graph. The squared loss is strictly convex, so the fitted signal is unique. Its basic inequality for a penalized least-squares estimator separates a noise inner product from the change in penalty. The incidence pseudoinverse decomposition controls the nonconstant noise through the geometry of the graph.

A globally generated line bundle on a quasi-compact scheme is generated by finitely many global sections. Each point has a section generating on an open neighbourhood, and quasi-compactness gives a finite subcover. This supplies a map into a fixed finite-dimensional projective space associated with that line bundle.

The displayed line bundle is globally generated, but no finite family of global sections generates it. A family of $N$ sections restricts to $N$ linear forms on ${\mathbb{P}}^m$; for $m\ge N$, these have a common zero. This shows why finite global generation on a quasi-compact scheme requires its finiteness hypothesis.

For a fixed uniformly elliptic operator with $C^{0,\mu }$ coefficients on a bounded smooth connected domain, nonnegative solutions with zero Dirichlet boundary condition satisfy the displayed estimate when ${\Omega }^{\prime }$ is nonempty and compactly contained in $\Omega$. If it failed, normalize the global supremum to one. The forcing and the interior infimum then tend to zero. The global Schauder estimate and compact embedding of Hölder spaces produce a nonzero homogeneous limit with an interior zero, contradicting the strong minimum principle for elliptic operators. An arbitrary bounded zeroth-order coefficient is allowed: replace $c$ by $\min (c,0)$ for the positivity argument. Keeping global boundary control prevents the normalized maximum from disappearing in the limit.

On a fixed smooth bounded domain, zero-boundary solutions with forcing in a bounded subset of $C^{0,\mu }$ are uniformly bounded in $C^{2,\mu }$ by a maximum-principle barrier and the global Schauder estimate. The Arzelà-Ascoli theorem gives convergence in $C^2$. A closed Hölder-norm constraint passes to the limit by lower semicontinuity of a Hölder seminorm, so the constrained solution set is compact rather than merely relatively compact.

For fixed mass, degenerate radius and composition, the matching of a white-dwarf envelope to a degenerate core gives $L\propto T_c^{7/2}$, while the geometrical thickness of a white-dwarf radiative envelope gives $s\propto T_c$ to leading thin-layer order. Cooling therefore thins this idealized envelope. At finite thickness the ratio additionally contains $(1+q_2)/(1+q_1)$.

Suppose a Markov kernel satisfies $PV(x)\le M<\infty$ for a measurable $V\ge 1$. For $0<\rho <1$ and $R>M/\rho$, the sublevel set $C=\{V\le R\}$ gives $PV\le \rho V+M{1}_C$. If $C$ is a small set, this is a geometric drift condition. The hypotheses of an irreducible Markov chain and an aperiodic Markov chain are also required for the usual geometric ergodicity theorem.

In geodesic normal coordinates at $p$, radial geodesics have coordinates $x(t)=tv$. The geodesic equation at $t=0$ gives ${\Gamma }_{jk}^i(p)v^j{v}^k=0$ for every $v$. The Levi-Civita connection is torsion free, making these coefficients symmetric in $j,k$; the polarization identity then gives ${\Gamma }_{jk}^i(p)=0$. This does not imply vanishing curvature, which depends on derivatives of the coefficients.

The energy form of the Gaussian number operator is the displayed squared derivative integral. Its form domain requires $\sum n|c_n{|}^2<\infty$, while the full operator domain requires $\sum n^2|c_n{|}^2<\infty$. It can be defined by ${\lim }_{t\downarrow 0}{t}^{-1}(\Vert f{\Vert }_2^2-⟨f,P_{t}f⟩)$ even when $Nf$ does not exist in $L^2$. This energy occurs in the Gaussian Poincaré inequality and Gaussian logarithmic Sobolev inequality.

Every circle rotation has the Furstenberg multiple recurrence theorem property for normalized Lebesgue measure. For a rational angle, use a period. For an irrational angle, choose a positive return time with angle close to zero; translation continuity in L1 on the circle then makes finitely many translates of a given positive-measure set simultaneously close to that set, and the union bound leaves a positive-measure intersection.

For one transverse coordinate, the parabolic wave equation $2ik{E}_x+E_{zz}=0$ has the Fresnel propagator kernelThe square root uses $\sqrt{1/i}=e^{-i\pi /4}$. With $\hat{f}(\nu )=(2\pi {)}^{-1}\int f(z)e^{-i\nu z}dz$, its Fourier transform multiplier is $e^{-i{\nu }^{2}x/(2k)}$. This distinguishes the one-transverse-coordinate prefactor from the two-coordinate kernel. The operator is unitary on $L^2(\mathbb{R})$, although its spatial integral is interpreted as an oscillatory integral.

When longitudinal and transverse sheet waves share unit phase speed but have different wavenumbers $k_{\parallel },k_{\perp }$, their second-order swimming coefficient is $(k_{\perp }^2{b}^2-k_{\parallel }^2{a}^2)/2$. Thus their leading propulsion cancels at $b/a=k_{\parallel }/k_{\perp }$. This statement concerns the small-amplitude leading order.

An isomorphism from formal group law $F$ to $G$ over $R$ is a formal series $h(T)=a_{1}T+a_2{T}^2+\cdots$ with $a_1\in R^{\ast }$ and $h(F(X,Y))=G(h(X),h(Y))$. Coefficient recursion gives a compositional inverse over $R$. An isomorphism of formal series need not converge on an arbitrary prescribed analytic domain; convergence must be checked separately.

For a one-dimensional formal group law, write $f(T)={\partial }_{Y}F(T,0)$. Its invariant differential is $dT/f(T)$. Differentiating associativity gives ${\partial }_{Y}F(X,Y)f(Y)=f(F(X,Y))$, which expresses invariance under translation. In characteristic zero, integrating this differential constructs the formal logarithm.

For the special linear Lie algebra ${\mathfrak{sl}}_3$, the irreducible highest-weight representation with Dynkin labels $(a,b)$ has the displayed formal character on diagonal matrices with $x_1{x}_2{x}_3=1$. The interlacing rows $(a+b,b,0)$, $(p,q)$ and $(r)$ enumerate a Gelfand–Tsetlin basis; each triple contributes the exponent differences $(r-(p+q-r),(p+q-r)-(a+2b-p-q))$ as its weight. This gives exact integer weight multiplicities, including repeated weights, without floating-point character evaluation.