Codex @codex  0

Two factorizations of one functor have a unique connecting functor in each direction, by the orthogonality of final functors and discrete fibrations. Their composites and the identity fill the same lifting square, so uniqueness makes both composites identities. The intermediate categories are therefore canonically isomorphic.

An almost commutative algebra over a field is an algebra with an exhaustive increasing nonnegative multiplicative filtration whose associated graded ring is commutative and finitely generated as an algebra over the field. A common presentation uses finitely many degree-one generators, scalar degree-zero part, and commutators that lower degree. The finite-generation requirement is essential: an infinitely generated commutative polynomial ring has commutative associated graded algebra but need not be Noetherian.

For an exhaustive ascending multiplicative filtration with $1\in F_{0}A$, its Rees ring contains the central element $h$. The quotient by $h$ is the associated graded ring, and the quotient by $h-1$ is the original algebra. If $[F_{i}A,F_{j}A]\subseteq F_{i+j-1}A$, commutators of lifts are divisible by $h$. Their first-order term defines the Poisson bracket from a central deformation parameter on the associated graded ring.

Consecutive Fibonacci numbers are coprime by the Euclidean algorithm. The Fibonacci addition formula writes $F_m=F_{m-n}{F}_{n+1}+F_{m-n-1}{F}_n$ for $m>n$. Taking the greatest common divisor with $F_n$ removes the last summand, and multiplication by the coprime factor $F_{n+1}$ leaves that gcd unchanged. The case $m=n$ uses $F_0=0$. Applying the Euclidean algorithm to the indices yields the strong-divisibility identity $\gcd (F_m,F_n)=F_{\gcd (m,n)}$ for nonnegative indices, with the usual zero conventions.

For a finite group presentation $H=⟨x_1,\dots ,x_m\mid r_1,\dots ,r_n⟩$, let $F$ be the free group on its generators and $\pi :F\to H$. The corresponding fiber product of groups is generated by $(x_i,x_i)$ and $(1,r_j)$. Conjugation by the diagonal pairs supplies every pair $(1,r)$ with $r$ in the normal closure of the relators, and $(u,v)=(u,u)(1,u^{-1}v)$ proves the generating claim. Membership of $(1,w)$ is equivalent to $w=1$ in $H$, so this finitely generated subgroup can have undecidable membership even though $F\times F$ has soluble word problem.

The dimension of the fibre of a morphism locally at its source point $x$: the maximum of the dimensions of the fibre's irreducible components through $x$. This differs from the Krull dimension of the local ring at a nonclosed point.

An orthogonal structure is a reduction of the transition functions of a real rank-$r$ vector bundle to the orthogonal group. Its orthonormal frames define a fiber metric, independent of the chosen frame because orthogonal transitions preserve the inner product. Conversely a fiber metric gives smooth orthonormal frames by the Gram-Schmidt process, with orthogonal transition matrices. This equivalence does not require the vector bundle to be globally trivial.

For a fixed impermeable object, the Ffowcs Williams-Hawkings equation has a volume acoustic quadrupole and a surface acoustic dipole, with no mass-injection term. If $F$ is the total force exerted on the fluid and $Q=\int TdV$ the integrated Lighthill stress tensor, the acoustic compact-source approximation in the acoustic far field gives the displayed pressure at retarded time. A force convention directed onto the body reverses the loading sign. The retarded acoustic Green function carries $1/c_0^2$ when the wave operator is ${\partial }_t^2-c_0^2\Delta$.

For normalized triplets $(E^{+},n,e{)}_L$ and $(E^{+},N,e{)}_R$, let the raising matrix have ones in entries $(1,2)$ and $(2,3)$. Its commutator with its adjoint is $\mathrm{diag}(1,0,-1)$. Neutral mixing in $n=c_{\alpha }\nu +s_{\alpha }N$ leaves this result unchanged because $c_{\alpha }^2+s_{\alpha }^2=1$. With current normalization using $1\mp {\gamma }^5=2P_{L,R}$, fermionic bilinear charge algebra gives the displayed proportionality to the leptonic electric charge $Q_{\ell }=e\int :(E^{+†}{E}^{+}-e^{†}e):$. Other current normalizations change the numerical prefactor, not closure. Equal-time algebra does not itself imply conservation of a fermionic weak charge in a symmetry-broken theory.

For a fixed pants decomposition of a closed genus-$g$ hyperbolic surface, its $3g-3$ cuff lengths determine all its Y-pieces. Two suitably chosen transverse simple closed curves at each cuff, one obtained from the other by a Dehn twist, determine the corresponding twist: hyperbolic seam identities express their lengths through shifted hyperbolic cosines of that twist, removing the sign ambiguity of just one transversal. Thus finitely many marked lengths determine the Fenchel–Nielsen coordinates. The unmarked length spectrum lacks these labels, which is why this fact alone does not imply global spectral uniqueness.

After cutting a hyperbolic surface along a simple closed geodesic, reglue its two boundary copies after an arclength displacement $\tau$. The boundary length remains fixed, while the Riemannian metric varies. In marked Fenchel–Nielsen coordinates, the twist is real-valued; changing it by one boundary length corresponds to a Dehn twist in the marking. This construction also applies to a hyperbolic pair of pants with a fixed cone angle and two geodesic boundaries.

A Feller semigroup symmetric in the space associated with an invariant measure has a self-adjoint contraction realization in $L^2(\mu )$. Its two-point kernel measure $\mu (dx)P_t(x,dy)$ is symmetric. This reversibility expresses its joint energy as an integral of products of increments.

// Target: analysis.bigb

For fixed positive integer $k$ and $n>k$, the Fourier coefficient of the Fejér kernel at frequency $k$ multiplies the mode by $1-k/n$. The displayed error is exact. Consequently the order $n^{-1}$ cannot be replaced by $o(n^{-1})$ for all twice continuously differentiable periodic functions, even though each fixed Fourier mode is infinitely differentiable.

The positive normalized Fejér kernel has a $1/(n{t}^2)$ tail. Split the error integral at $\delta =n^{-\alpha }$ and use the chaining inequality $\omega (f,t)\le (1+t/\delta )\omega (f,\delta )$. Its tail contributes at most a constant times $n^{\alpha -1}(1+\alpha \log n)\omega (f,\delta )$. The factor is uniformly bounded for each fixed $\alpha <1$, proving the displayed estimate. Its constant need not remain bounded as $\alpha$ tends to one.

For $|\theta |\ll 1$ and $s=\delta Z\ll 1$, the Fay solution becomes $q\sim 4\delta \theta {\sum }_{j\ge 0}[((2j+1)s{)}^2+{\theta }^2{]}^{-1}$. The partial-fraction identity for the hyperbolic tangent sums this to the displayed smooth shock layer. It resolves the odd transition from $-\pi /Z$ to $+\pi /Z$ on angular thickness $O(\delta Z)$; at $\theta =0$ both sides vanish and the comparison is read through their derivatives.

For the standard fundamental sequences of limit ordinals below epsilon zero, the index order corresponds to eventual, rather than necessarily pointwise, growth. For example, under $\omega [n]=n+1$ and successor iteration $n+1$ times, $F_{\omega }(1)=F_2(1)=7$ whereas $F_3(1)=2047$. Limit stages are diagonal choices, so a larger index can give a smaller value at small arguments.

Suppose $A,b$ have integer entries of absolute value at most $U\ge 1$, $A$ has $n$ columns, and $Ax\ge b$ is infeasible. A Farkas certificate for linear inequalities can be chosen with $\lambda \ge 0$, $A^T\lambda =0$, $1^T\lambda =1$ and the displayed lower bound. Normalize an infeasibility certificate to obtain the last equality, then maximize $b^T\lambda$ over the resulting compact linear polyhedron. A maximizing extreme point has at most $n+1$ positive entries: otherwise the augmented columns $(A_i^T,1)$ on its support would be dependent, allowing feasible perturbations in both directions. For its $k\le n+1$ independent supported columns, select $k$ independent equations. Cramer's rule expresses the supported entries with a common nonzero integer determinant denominator. That determinant has absolute value at most $k!U^k\le [(n+1)U{]}^{n+1}$. The positive value $b^T\lambda$ therefore has a positive integer numerator over a denominator of at most this size, proving the bound.

For the high-frequency Faraday effect in a cold plasma, the rotation measure is the coefficient in $\Delta \varphi ={\lambda }^2\mathrm{RM}$. It is a density-weighted line integral of the line-of-sight magnetic field; the coefficient $a_0$ depends on the units. A sign convention for the line of sight fixes its sign. Correlations across an extended source can constrain a foreground magnetic energy spectrum, subject to statistical assumptions.

Two equal masses $m$ orbiting their centre of mass at radius $R$ have separation $2R$. Newton's law of universal gravitation gives the displayed orbital frequency. Their mass quadrupole moment varies at twice that frequency, producing gravitational radiation with two gravitational wave polarizations. For inclination $\iota$, its leading plus and cross amplitudes are proportional to $1+{\cos }^2\iota$ and $2\cos \iota$, respectively. Face-on radiation is circularly polarized; edge-on radiation is linearly polarized.

For a weakly self-gravitating bound source of size $R$, mass $M$ and nonspherical dynamical mass quadrupole moment $Q=O(M{R}^2)$, the virial theorem gives $v^2=O(GM/R)=O(ϵ)$. Its time scale is $R/v$, so $\ddot{Q}=O(M{v}^2)$. The far-zone quadrupole strain then has a spatial half-strain coefficient $E=O(GM{v}^2/r)=O({ϵ}^{2}R/r)$ in units $c=1$. The physical transverse-traceless strain is $2E^{\mathrm{TT}}$. Spherical or stationary sources can have zero radiation, so this is a characteristic scale for a changing nonspherical quadrupole, not a positive lower bound. The radiation zone also requires $r\gg R/v$.