For an SDE with bounded drift and diffusion coefficients and ${\sum }_k⟨\xi ,{\sigma }_k(x){⟩}^2\ge \lambda |\xi {|}^2$, each fixed nonzero scalar projection of a solution is unbounded in absolute value almost surely. Rescale a slab to $(-1,1)$; its projected drift is controlled by its uniformly positive bracket density. The exit with drift controlled by quadratic variation then forces exit from every slab in a countable exhaustion.

// Target: probability-and-statistics.bigb

For a bounded-domain diffusion with almost surely finite exit time ${\tau }_D$, bounded $L$-harmonic functions continuous up to the boundary satisfy $u(x)={\mathbb{E}}_{x}u(X_{{\tau }_D})$. Stop the test-function martingale and use bounded convergence. Identical boundary values therefore imply identical harmonic functions. Uniform ellipticity and bounded SDE coefficients ensure finite exit by the projection argument.

// Target: probability-and-statistics.bigb

A differential form of type (p, q) with equal holomorphic and antiholomorphic degrees is real when it is fixed by complex conjugation. For such a form, $\overline{\bar{\partial }\eta }=\partial \eta$, so $\bar{\partial }\eta =0$ implies $d\eta =0$. The converse follows from the distinct types of $\partial \eta$ and $\bar{\partial }\eta$.

Let $r^3=d\ne 0$ and let $\zeta$ be a primitive cube root of unity. The nine inflection points of a plane cubic on $X^3+Y^3+d{Z}^3=0$ areThe Hessian criterion for flexes of a plane cubic gives the Hessian determinant $216dXYZ$, so every flex lies on one of the three coordinate lines. Their intersections give precisely the displayed points. With $(1:-1:0)$ as identity, these are exactly the three-torsion points are flexes of a plane cubic configurations: the tangent divisor at a flex is $3P$, giving $3(P-O)=0$.

Over $\mathbb{Q}$ only the first point with $j=0$ is rational on $Z=0$. The other two coordinate lines each give one rational point precisely when $d$ is a rational cube. Consequently the rational three-torsion subgroup is $\mathbb{Z}/3\mathbb{Z}$ when $d$ is a cube and is trivial otherwise.

For $d\in {\mathbb{Q}}^{\times }$ the rational torsion subgroup of $X^3+Y^3+d{Z}^3=0$ is cyclic of order $3$ if $d$ is a cube, cyclic of order $2$ if $d/2$ is a cube, and trivial otherwise.

To bound torsion, use the Weierstrass equation of an elliptic curve $y^2=x^3-432d^2$. At every good prime $\ell \equiv 2(\mathrm{mod}3)$, cubing is a bijection on ${\mathbb{F}}_{\ell }$, so the number of points is $\ell +1$. Reduction injects the prime-to-$\ell$ torsion, since multiplication by an integer prime to $\ell$ is invertible in the formal group of an elliptic curve. For any prime $q>3$, the Dirichlet theorem on primes in arithmetic progressions supplies a good $\ell \equiv 2(\mathrm{mod}3)$, $\ell \equiv 1(\mathrm{mod}q)$, excluding $q$-torsion. Good primes $\ell \equiv 5(\mathrm{mod}12)$ exclude order $4$, and good primes $\ell \equiv 11(\mathrm{mod}18)$ exclude order $9$. Thus every rational torsion point is killed by $6$.

The flexes of a diagonal cubic give rational three-torsion exactly when $d$ is a cube, and then it has order $3$. Rational two-torsion requires $x^3=432d^2$, whose sole possible rational root exists exactly when $d/2$ is a cube. This equivalence follows by comparing prime valuations modulo $3$, including the valuation at $2$. The two conditions cannot hold together because $2$ is not a rational cube. The asserted classification follows.

There are infinitely many rational pairs $(u,v)$ with $u^3+v^3=7$. The corresponding Weierstrass equation of an elliptic curve is $y^2=x^3-21168$, and $(u,v)=(2,-1)$ maps to $P=(84,756)$. The primes $5$ and $11$ are good, with point counts $6$ and $12$ because cubing is bijective in their residue fields. Reduction of torsion points on an elliptic curve bounds rational torsion by order dividing $6$. The flexes of a diagonal cubic exclude three-torsion for $d=-7$, while $d/2=-7/2$ is not a cube and hence excludes two-torsion. Thus $P$ has infinite order.

All nonzero multiples of $P$ map to distinct rational affine pairs, since the only rational point at infinity of the diagonal cubic is its identity. The inverse map is $u=(y+252)/(6x)$ and $v=(252-y)/(6x)$.

For odd $p$, group commutator collection in the depth filtration gives $[{\mathcal{N}}_m,{\mathcal{N}}_m]={\mathcal{N}}_{2m+1}$. Every degree $k\ge 2m+1$ occurs as a leading group commutator degree by choosing $r,s\ge m$, $r+s=k$, and $r\not\equiv s(\mathrm{mod}p)$; changing $r$ by one changes $r-s$ by two. Closed successive coefficient correction then fills the tail. Therefore ${\mathcal{N}}^{(n)}={\mathcal{N}}_{2^{n+1}-1}$ and ${\log }_p[\mathcal{N}:{\mathcal{N}}^{(n)}]=2^{n+1}-2$. In characteristic two the sharper collection theorem gives ${\log }_2[\mathcal{N}:{\mathcal{N}}^{(n)}]\le C{\kappa }^n$ for a constant $C$, with $\kappa =(1+\sqrt{17})/2<3$. In both cases the exponential base is strictly smaller than three.

With jumps $\ell /N$ at rates $N{\beta }_{\ell }(z)$, compensate each jump count by its integrated rate. The drift is $F(z)={\sum }_{\ell }\ell {\beta }_{\ell }(z)$ and the predictable quadratic variation matrix of the martingale term is $N^{-1}{\int }_0^t{\sum }_{\ell }\ell {\ell }^{\mathsf{T}}{\beta }_{\ell }(Z_s^N)ds$. On a compact region with bounded rates this bracket is of order $1/N$. A Lipschitz drift and the Gronwall inequality transfer martingale concentration to the fluid limit.

In a population of $N$ playing rock paper scissors, let losers copy winners. With pair-selection events of rate $(N-1)/2$, the proportion process has jumps $(e_1-e_3)/N$, $(e_2-e_1)/N$, $(e_3-e_2)/N$ at rates $N{x}_1{x}_3$, $N{x}_2{x}_1$, $N{x}_3{x}_2$. Its fluid limit obeys ${\dot{x}}_i=x_i(x_{i-1}-x_{i+1})$, with indices interpreted cyclically. The product of numbers $x_1{x}_2{x}_3$ is conserved in this ordinary differential equation, whereas the finite chain eventually reaches a monochromatic absorbing state.

For a connected reductive algebraic group and a Weyl group element $w$, this locally closed subset of the flag variety consists of flags in relative position $w$ to their Frobenius image. For rational $B$ it is ${\mathcal{L}}_F^{-1}(B\dot{w}B)/B$, using the twisted right action identity of the Lang map. Its dimension is the length of $w$.

For a rational maximal torus $T$, choose a Borel subgroup containing it with unipotent radical $U$. The alternating compactly supported étale cohomology of ${\mathcal{L}}_F^{-1}(U)$, in the appropriate $T^F$-isotypic component, defines the virtual character of $G^F$ $R_T^G(\theta )$. It is independent of the chosen Borel. When the Borel subgroup is rational, this is ordinary induction from its rational points after inflation of a group representation from $T^F$.

For prime $p$, the two cusps of ${\Gamma }_0(p)$ have widths one and $p$. At infinity the modular discriminant product gives the first pair of orders. At zero use $S\tau =-1/\tau$ and the parameter $q_0=e^{2\pi i\tau /p}$. The weight-twelve transforms are $\Delta {|}_{12}S=\Delta (\tau )$ and $\Delta (p\tau ){|}_{12}S=p^{-12}\Delta (\tau /p)$, giving orders $p$ and one in $q_0$.

Two factorial contrasts are aliased if their columns are proportional on the selected fractional factorial design. A word $G$ that has fixed sign $s_G$ gives ${\chi }_{AG}=s_G{\chi }_A$. Conversely, averaging a character over the fraction vanishes unless its word belongs to the defining contrast subgroup, so every alias class is exactly a subgroup coset. In a half fraction each class has two distinct words; their separate coefficients cannot be identified without assumptions or additional runs.

Restriction of differential forms to the finitely many open and closed components gives an isomorphism of cochain complexes ${\Omega }^{\ast }(⨆M_j)\cong {⨁}_j{\Omega }^{\ast }(M_j)$. Piecewise forms glue because there are no overlaps, and the exterior derivative acts componentwise. Taking the quotient of closed differential forms by exact differential forms proves the displayed de Rham cohomology isomorphism. For an infinite disjoint union, forms and cohomology give products instead.

There are no exact forms in degree zero. A smooth function has zero exterior derivative precisely when it is locally constant, so $H_{\mathrm{dR}}^0(M)$ is the space of locally constant functions. On a connected nonempty smooth manifold, it is $\mathbb{R}$. An overlapping cover by two connected open subsets therefore does not give the direct-sum formula for de Rham cohomology of a finite disjoint union: restriction sends a constant to equal constants on both pieces.

For a holomorphic submersion, relative differential forms are forms modulo those containing a base differential. The relative exterior derivative gives a complex whose fibrewise hypercohomology is complex cohomology for a smooth proper family. Its filtration by degree defines the Hodge filtration; retaining exactly one base differential in the absolute complex constructs the Gauss–Manin connection.

If a continuous vector local martingale has bracket matrix $A_{t}I$ with $A_{\infty }=\infty$, inverse-clock time change gives bracket matrix $rI$. The Lévy characterization of multidimensional Brownian motion then gives Brownian motion in the common time-changed filtration. A continuous local martingale is constant on flat intervals of its bracket, so inverses using $A_t\ge r$ and $A_t>r$ give the same martingale values. The filtration at the earlier inverse is smaller; adaptation and independence from the larger past transfer the Brownian property to it. Nonzero initial values are retained by adding the initial vector back.

For a continuous local martingale $M$ with divergent bracket $K$ and a continuous drift $D$ satisfying $|D_t-D_s|\le C(K_t-K_s)$, the process $y+M+D$, $|y|<1$, exits $(-1,1)$ almost surely. In unit bracket time a Brownian increment of absolute size greater than $C+2$ forces exit within one unit, giving a geometric survival bound. The inverse bracket clock transfers this finite exit to ordinary time.

// Target: probability-and-statistics.bigb

Let $M$ be a zero-starting continuous local martingale and let $T<\infty$ be a stopping time with $[M{]}_{t\wedge T}\le a$ and $[M{]}_T=a$ for a deterministic $a$. The complex exponential $\exp (iu{M}_{t\wedge T}+u^2[M{]}_{t\wedge T}/2)$ is a bounded local martingale, hence a true martingale. Its terminal expectation is one, giving the characteristic function $\mathbb{E}{e}^{iu{M}_T}=e^{-u^{2}a/2}$. Conditional optional sampling between two bracket levels also gives independent Gaussian increments in inverse-bracket time; Gaussian one-time marginals alone do not establish that independence.

For independent standard Brownian motions $B,W$, Itô formula gives $dY=e^W\cos BdW-e^W\sin BdB$: the two second-order drifts cancel. Independence gives zero cross quadratic covariation, so the displayed bracket follows. The process itself is not Brownian because its bracket is random. Its inverse-bracket time change is Brownian motion starting at one, in the time-changed filtration; subtracting one gives standard Brownian motion. The Divergence of a driftless Brownian exponential clock guarantees that the inverse is finite at every new time.