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.

The vertical Jeans equation determines $K_z={\partial }_z\Phi$ from a tracer's density and velocity dispersion, with a correction for the tilted velocity ellipsoid. Integrating the axisymmetric Poisson equation for Newtonian gravity givesfor $z>0$ and reflection symmetry. Subtracting independently estimated stellar and gas surface densities constrains any additional gravitating component; a dark matter halo also contributes, so an excess is not automatically a dark disk.

For initial amplitude one, the method of multiple scales gives $x\simeq A(ϵt)\sin t$ with $A_T=-4A^2/(3\pi )$, hence $A=1/(1+4ϵt/(3\pi ))$. Positive damping causes algebraic decay. Negative damping yields a formal finite-time amplitude pole, but the weak-damping assumption fails before it because $|ϵ|A$ becomes order one. A leading approximation has order-$|ϵ|$ displacement error on fixed slow-time intervals away from that pole.

A vector field along a curve $\gamma :I\to M$ is a smooth section of a vector bundle with $V(t)\in T_{\gamma (t)}M$. Its values may differ at distinct times mapping to the same base point. The covariant derivative along a curve differentiates its time-dependent coefficients using the pulled-back connection on a vector bundle; it does not require extending it to one ambient vector field.

For an embedded submanifold $i:M\hookrightarrow N$, a smooth section of a vector bundle $X\in \Gamma (i^{\ast }TN)$ locally extends to an ambient vector field. In an adapted chart $M=\{y=0\}$, extend each component $X^a(x)$ independently of the transverse coordinates $y$. If $X$ takes values in $TM$, the extension criterion is $(\tilde{X}F){|}_M=X(F{|}_M)$ for every local smooth function $F$ on $N$. Testing coordinate functions suffices. For tangent fields $X,Y$, this criterion also proves $[\tilde{X},\tilde{Y}]{|}_M=[X,Y]$. General fields with normal components have no extension-independent ambient Lie bracket.

// Target: riemannian-geometry.bigb

Completing the minus chain complex in powers of $U$ replaces $\mathbb{Z}[U]$ by the formal power series ring $\mathbb{Z}[[U]]$; its homology is written ${\mathbf{HF}}^{-}$. This permits infinite sums of Heegaard Floer cobordism maps whose exponents tend to infinity, as occur in surgery formulas. A series with constant coefficient $\pm 1$ is a unit: its inverse is found recursively, or by the geometric series for its positive-order part. Such a series need not have a polynomial inverse, which is why exact triangles involving sums over all Spin-c extensions require a completion in the minus theory. Individual homogeneous cobordism maps are still defined on the ordinary minus groups.

The reduced minus and plus groups areThe connecting homomorphism of the fundamental long exact sequence induces an isomorphism $\delta :H{F}_{\mathrm{red}}^{+}\to H{F}_{\mathrm{red}}^{-}$ of degree $-1$. This follows immediately from exactness: its image is the indicated kernel, and its kernel is precisely the image quotiented out on the plus side. These groups isolate the information lost by inverting $U$.

Let ${\mathfrak{s}}_k$ on $S^1\times S^2$ have $⟨c_1({\mathfrak{s}}_k),[S^2]⟩=2k\ne 0$. The ordinary groups areA sufficiently wound genus-one diagram gives a two-generator summand whose chain differential is multiplication by $1-U^{|k|}$: the two relevant disks have opposite coherent signs and basepoint multiplicities differing by $|k|$. The map is injective over $\mathbb{Z}[U]$, so its homology is the displayed quotient. Multiplication by $U$ is invertible in the quotient, showing that minus-to-infinity is an isomorphism and that the plus and hat groups vanish. In the U-adic completion of Heegaard Floer homology, $1-U^{|k|}$ is a unit, so both completed minus and infinity groups vanish. This example shows why genus bounds for the completed-minus or plus groups must not be transferred unchanged to the ordinary minus theory.

For $x^{\prime \prime }+ϵc(1-x^2)x^{\prime }+x=k$, use $T=ϵt$ and $x=k-r(T)\cos (t+\varphi (T))$. Removal of secular terms gives ${\varphi }_T=0$ and the displayed amplitude equation. With $R=r^2$, $R_T=c(k^2-1)R+(c/4)R^2$, which is explicitly integrable. If $c$ is replaced by a slowly varying coefficient $C(T)$, the same solution uses the accumulated time ${\int }_0^{T}C(s)ds$. The method of multiple scales is uniform on bounded slow-time intervals only while its amplitude and correction estimates remain bounded.

If $V$ is a value in a lattice-ordered group of $t>1$, every convex lattice subgroup strictly containing $V$ contains $t$. Thus the convex lattice subgroup generated by $V$ and $t$ is the unique least subgroup properly containing $V$. It is called the cover of $V$. There is no intermediate convex lattice subgroup. A normal-valued lattice-ordered group requires $V$ to be a normal subgroup of this cover, not necessarily of the whole group. Values are prime convex lattice subgroups: maximality omitting $t$ makes them meet-irreducible in the lattice of convex lattice subgroups, so their ordered right cosets form a chain.

Let $p,q,x\ge 1$ in a lattice-ordered group. Under the displayed hypothesis, suppose $d=(x{q}^{-2}{p}^{-2})\vee 1>1$ and choose a value $P$ of $d$. If $x\in P$, then $1\le d\le x$ contradicts its omission. Otherwise extend $P$ to a value $V$ of $x$. The right-coset test is $Vu\le Vv⟺(u{v}^{-1})\vee 1\in V$. If $p\notin V$, put $c=(x{q}^{-2}{p}^{-1})\vee 1\in V$. Then $(p{c}^{-1})\vee 1\notin V$, while its inverse positive part is $(c{p}^{-1})\vee 1=d$. These parts have meet one, so primeness of $P$ forces $d\in P$. If $p\in V$, put $c=(x{q}^{-1})\vee 1\in V$ and $t=p^{2}q\notin V$; the disjoint pair $(t{c}^{-1})\vee 1$ and $(c{t}^{-1})\vee 1=d$ gives the same contradiction. No normality assumption is used in this separation argument.

Differentiate the Kirchhoff stress tensor relation $\mathbf{\tau }=FS{F}^T$, using $\dot{F}=LF$ for the velocity gradient. Subtracting the two deformation terms gives the displayed upper-convected derivative. This removes the transport generated solely by deformation of a fixed material stress tensor.