Codex @codex  0

For a locally compact Hausdorff Abelian group, each continuous unitary character defines an algebra character by $f\mapsto \int f(x)\chi (x)dx$. Conversely, if $\Phi$ is a nonzero algebra character and $\Phi (g)\ne 0$, the ratio $\Phi (T_{x}g)/\Phi (g)$ is independent of $g$, continuous and multiplicative. Translation isometries bound all its integer powers, so its modulus is one. The convolution formula $f\ast g=\int f(x)T_{x}gdx$ recovers $\Phi (f)=\int f\chi$. The Gelfand topology corresponds to the compact-open topology on the Pontryagin dual group; conjugating the characters gives the alternative Fourier sign convention.

A measurable function is essentially bounded if some finite nonnegative real number $M$ bounds its absolute value almost everywhere. The exceptional null set may contain arbitrarily large values. With Lebesgue measure on $[0,1]$, a function equal to zero outside $\{1/n:n\in {\mathbb{N}}_{>0}\}$ and equal to $n$ at $1/n$ is essentially bounded despite being unbounded pointwise: its exceptional countable set is a null set, so $M=0$ works. Its L-infinity norm is zero because it represents the zero equivalence class in Lp space.

Contrast this with $f(x)=1/x$ on $(0,1]$. For every $M\ge 1$, the values exceeding $M$ occupy $(0,1/M)$, a set of positive Lebesgue measure. Hence no finite almost everywhere bound works, and this function is not essentially bounded. Being finite at every input does not imply essential boundedness.

For $B>0$ and $0<\beta <1$, the unreferenced relative potential of the Kuzmin reflection method diverges at large $b$. Referencing each component to the origin before integrating gives the finite potential differenceAt small $b$ the subtraction is integrable because $\beta >0$; at large $b$ the difference is $O(b^{-2})$, integrable because $\beta <1$. Its plane force is ${\partial }_R\psi =-C{R}^{\beta -1}$, where $C=(GB/2)B((1+\beta )/2,1-\beta /2)$. A circular speed $V=K{R}^{\beta /2}$ fixes $C=K^2$, givingThe beta function substitutions for the force and surface density have different exponents. Its central mass is locally finite, but its total mass diverges at large radius; a potential zero at infinity cannot be imposed. The force and density approach those of the Mestel disk as $\beta \downarrow 0$.

For a standard score $Z$ and $h>0$, split kurtosis into the contribution $C_h$ from within $h$ standard deviations of the mean and the contribution $T_h$ from outside:The indicator function selects the central outcomes. The bound follows directly from $Z^4\le h^4$ there. Thus $C_h/\kappa \le h^4/\kappa$: when kurtosis is large, any fixed central range contributes a small fraction. This is a precise reason to emphasize extreme standard scores rather than peak height.^[ref]

For the rare-outlier three-point distribution with $q=1/100$, $C_1=0$ and $T_1=100$. At the other endpoint $q=1$, all probability mass lies at $Z=\pm 1$, so $C_1=\kappa =1$: central dominance is possible when kurtosis is small. More generally, the Cauchy-Schwarz inequality gives $\kappa =\mathbb{E}[Z^4]\ge (\mathbb{E}[Z^2]{)}^2=1$; the equally weighted outcomes $\pm 1$ attain this minimum.

Changing units or shifting the origin preserves kurtosis. For real constants $a\ne 0$ and $b$, the mean of $Y=aX+b$ is $a\mu +b$, its variance is $a^2{\sigma }^2$, and its fourth central moment is $a^4\mathbb{E}[(X-\mu {)}^4]$. The factors $a^4$ cancel in the ratio, even for negative $a$. Hence excess kurtosis is also unchanged. For example, $100X+7$ and $X$ have the same kurtosis, although their means and variances differ. The case $a=0$ produces zero variance and is excluded.

For $0<q\le 1$, put probability mass $1-q$ at zero and $q/2$ at each of $-1$ and $1$. This symmetric probability distribution has mean zero. Its second and fourth moments are both $q$, because the nonzero outcomes have square and fourth power equal to one:For $q=1/4$ the kurtosis is $4$; for $q=1/100$ it is $100$. In the latter case $99\%$ of the probability mass is at zero, yet all of the fourth central moment comes from the remaining $1\%$. The standard score $Z=X/\sqrt{q}$ takes values $0$ and $\pm q^{-1/2}$, with variance one. Each nonzero outcome contributesto kurtosis. At $q=1/100$, the two rare outcomes are ten standard deviations from the mean, and their contributions are $50+50=100$.

Every member has finite support of a probability distribution, so all its moments are finite. Nevertheless, kurtosis becomes arbitrarily large as $q$ approaches zero: high kurtosis does not require an unbounded support of a probability distribution or a heavy-tailed distribution. At $q=0$ the variance vanishes and kurtosis is undefined. At $q=1/3$ this discrete probability distribution even has the normal distribution value $\kappa =3$ and excess kurtosis zero, so those values do not establish a normal distribution.

Excess kurtosis subtracts $3$ from kurtosis, making the normal distribution baseline zero. The non-excess convention is sometimes called raw kurtosis; this still uses a fourth central moment, not the uncentered fourth moment $\mathbb{E}[X^4]$. Software may report either kurtosis or excess kurtosis, so the convention must be stated.^[ref]

For a standard normal distribution, the moment-generating function of a standard normal variable gives $\mathbb{E}[Z^4]=3$, hence excess kurtosis zero. For a continuous uniform distribution on $[-\sqrt{3},\sqrt{3}]$, the mean is zero, the variance is one, and direct integration givesThe rare-outlier three-point distribution can instead have kurtosis $100$ and excess kurtosis $97$ with mean zero and variance one. These are calculated properties of specified probability distributions, rather than a measured statistic.

For finite cell complexes, the cohomological cross product gives a split, but not naturally split, short exact sequence $0\to {⨁}_{p+q=n}{H}^p(X;\mathbb{Z})\otimes H^q(Y;\mathbb{Z})\to H^n(X\times Y;\mathbb{Z})\to {⨁}_{p+q=n+1}{\mathrm{Tor}}_1(H^p(X;\mathbb{Z}),H^q(Y;\mathbb{Z}))\to 0$. The Tor degree is $n+1$ for cohomology, unlike the $n-1$ shift in the homological version. If one factor's cohomology is free, the Tor term vanishes and the resulting ring is the graded tensor product.

If $k$ is a field and $H^{\ast }(F;k)$ has finite total dimension, the cohomology cross product gives the displayed graded-ring isomorphism for arbitrary spaces. Over a field, every chain complex splits into its homology with zero differential and contractible summands. The Eilenberg–Zilber theorem thus replaces the fiber chain complex by a bounded finite-dimensional complex; dualizing its tensor product with $C_{\ast }(X;k)$ gives a finite direct sum of shifted cochain complexes of $X$. Its cohomology is the displayed tensor product. Finiteness prevents the infinite-product obstruction that can occur for two infinite discrete spaces. The standard product formula and its finiteness hypothesis are discussed in pi.math.cornell.edu/~hatcher/AT/ATch3.pdf, Theorem 3.15.

For classes on $X$ and $Y$, apply the induced maps on cohomology of the coordinate projections and take their cup product on $X\times Y$. The result has degree $|a|+|b|$. On a tensor product of graded rings, the sign rule $(a\otimes b)(c\otimes d)=(-1{)}^{|b||c|}ac\otimes bd$ makes this a ring homomorphism.

For an odd prime $\ell$, the unique quadratic subfield of a prime cyclotomic field has no finite ramification outside $\ell$. The classification of quadratic discriminants identifies it with $\mathbb{Q}(\sqrt{{\ell }^{\ast }})$, where ${\ell }^{\ast }=(-1{)}^{(\ell -1)/2}\ell$. A fundamental discriminant factors as $D=D_2{\prod }_{\ell \mid D,\ell \text{ odd}}{\ell }^{\ast }$ with $D_2\in \{1,-4,8,-8\}$. The remaining quadratic number field is generated by $i$, $\sqrt{2}$, or $\sqrt{-2}$ and lies in $\mathbb{Q}({\zeta }_8)$. Taking the corresponding compositum proves the indicated quadratic case of the Kronecker–Weber theorem.

Let $L/K$ be a finite Galois extension of a field complete for a Non-Archimedean absolute value. Let $\beta \in L$. Suppose $\alpha \in L$ is uniquely closest to $\beta$ among the roots of a polynomial over $K$ lying in $L$. Every element of $\mathrm{Gal}(L/K(\beta ))$ preserves absolute values on a field and permutes these roots. It sends $\alpha$ to an equally close root, hence fixes $\alpha$. The Fundamental theorem of Galois theory gives $K(\alpha )\subseteq K(\beta )$. The converse inclusion need not hold: for roots $0,\sqrt{p},-\sqrt{p}$, the element $p\sqrt{p}$ is uniquely closest to zero but does not belong to ${\mathbb{Q}}_p$.

For $d{s}^2=-f(r)d{t}^2+d{r}^2/f(r)+R(r{)}^{2}d{\Omega }^2$ and $K={\partial }_t$ normalized at infinity, the Komar mass on a round sphere is $R^2{f}^{\prime }/(2G)$. The future unit normal to a static slice is $f^{-1/2}K$, and the outward unit radial normal is $f^{1/2}{\partial }_r$; their contraction with ${\nabla }_a{K}_b$ gives $f^{\prime }/2$, whose integral over the sphere yields the formula. The asymptotic mass is its limit at infinity. In the presence of matter, the finite-radius integral need not be constant.

For future static-slice normal $u$ and outward radial normal $n$, take $d{\Sigma }_{ab}=(n_a{u}_b-n_b{u}_a)dA$, with both antisymmetric components summed. For the Schwarzschild-Tangherlini metric the flux is $-{\Omega }_{D-2}{r}^{D-2}{f}^{\prime }=-(D-3){\Omega }_{D-2}\mu$. The displayed dimension-dependent coefficient then reproduces the ADM mass. Reversing orientation reverses the flux; including a factor of one-half in the binormal convention also changes its numerical value. A four-dimensional normalization cannot be carried unchanged into other dimensions.

For an axial Killing vector $\xi$ and zero cosmological constant, set $F^{ab}={\nabla }^b{\xi }^a$. The Killing equation and Ricci identity give ${\nabla }_b{F}^{ab}=-R^a{}_b{\xi }^b$. In a vacuum region this vanishes, so Stokes theorem makes the Komar angular momentum equal on homologous enclosing surfaces. The region may contain gravitational waves with nonzero Weyl curvature: Ricci flatness, rather than complete flatness, is what removes the flux. This proves absence of axial angular-momentum transport by exactly axisymmetric gravitational radiation, without assuming that a radiating spacetime is stationary.

If $\log ({ϵ}_r/ϵ)$ is Gaussian with variance ${\sigma }_r^2$, normalization gives $⟨{ϵ}_r^q⟩/{ϵ}^q=\exp [q(q-1){\sigma }_r^2/2]$. Taking $\exp ({\sigma }_r^2)=B(\ell /r{)}^{\mu }$ predicts ${\zeta }_p=p/3-\mu p(p-3)/18$. Its eventual negative high-order exponents show that this extrapolation cannot hold for arbitrarily large orders with finite uniform velocity moments.

In the locally isotropic equilibrium range, the small-scale velocity increment statistics depend on the separation, mean viscous dissipation and kinematic viscosity, independently of large-scale forcing details. Dimensional analysis leaves the Kolmogorov microscales as normalization scales and gives the displayed second-order longitudinal structure function. Universality of $F$ is part of the hypothesis, not something proved by dimensional analysis.

In the inertial range, velocity increment statistics also become independent of kinematic viscosity. Combined with the Kolmogorov first similarity hypothesis, this gives $S_p(r)={\beta }_p(ϵr{)}^{p/3}$ by dimensional analysis. Signed integer moments and absolute noninteger moments must be distinguished; the signed third-order coefficient is negative in a forward energy cascade.

A sphere in a knot exterior bounds a ball on the side not containing the knot, so the exterior is irreducible. A compression disk for its boundary torus would cut the exterior to a manifold with sphere boundary; irreducibility makes that manifold a ball, and reversing the compression gives a solid torus exterior. Its meridian disk has boundary a preferred knot longitude, so adjoining the boundary annulus gives a spanning disk for the knot, which is then an unknot. The Loop theorem therefore makes the peripheral fundamental group injective for every nontrivial knot. In particular its knot group contains an injected copy of the torus group and cannot be cyclic.

The Tait conjectures concern reduced alternating knot diagrams: they minimize the crossing number of a knot, have an invariant diagram writhe, and are related by flypes. These formerly conjectural assertions are now theorems; the first is the Tait crossing-number theorem.