Every one-dimensional rational $G{L}_m$ representation is ${\det }^r$ for one integer $r$. Its restriction to the diagonal torus is a Laurent monomial. Invariance under conjugation by permutation matrices forces all its exponents to agree, and density of diagonalizable invertible matrices gives the result on the whole group. For $G{L}_1$, the character identity $p(zw)=p(z)p(w)$ directly forces a Laurent polynomial to be one monomial with coefficient one.

Differentiating a twice differentiable kernel density estimator twice estimates $f^{\prime \prime }$. Its integrated variance of a kernel density estimator analogue is at most $\Vert L^{\prime \prime }{\Vert }_2^2/(n{b}^5)$. This explains why derivative estimation requires more smoothing than ordinary density estimation.

For a finite extension $L/K$, an unramified or general cyclic character $\chi$ over $K$, and $a\in L^{\times }$, transfer satisfies ${\mathrm{Cor}}_{L/K}(\mathrm{Res}\chi ,a)=(\chi ,N_{L/K}a)$. It is the cup-product projection formula combined with the field norm on multiplicative degree-zero coefficients. With the norm definition of Brauer transfer it also covers purely inseparable steps.

The difference of two connections on a vector bundle is a global endomorphism-valued one-form. Taking the trace of the curvature difference formula cancels both the commutator terms and the trace of the square of that one-form. Consequently the trace curvatures represent the same de Rham cohomology class.

The sine-product cubic polytropic interior has zero mass density gradient at every corner. Its proposed hydrostatic gravitational potential ${\Phi }_{\mathrm{int}}=C-2K\rho$ therefore satisfies $\nabla {\Phi }_{\mathrm{int}}(0)=0$ at the corner $(0,0,0)$. For the actual Newtonian gravitational potential of that positive mass density in $[0,L{]}^3$,Every component is strictly negative: all source positions have positive coordinates and positive interior mass density. The gravitational acceleration $\mathbf{g}=-\nabla {\Phi }_N$ consequently points into the cube, while the potential gradient points in the opposite direction. Neither vector vanishes.

This sign distinction preserves the matching obstruction: the hydrostatic interior predicts zero corner force, but its own mass produces a nonzero corner force. Satisfying the interior Poisson equation for Newtonian gravity and zero density on the faces does not ensure a globally isolated equilibrium. An added external gravitational field or external stresses would change the boundary problem.

A diffeomorphism of the entire cotangent bundle preserving the Liouville one-form is the cotangent lift of a diffeomorphism of the base. It preserves the zero section and the Liouville vector field, hence commutes with the cotangent fiber-dilation flow. The limit as the fiber contracts forces it to cover its restriction to the zero section. Evaluation of the preserved one-form then forces the inverse-transpose derivative action on each covector.

If $x=\chi (x^{\prime })$ is an angular diffeomorphism and $\eta \cdot dx$ is a closed differential one-form, the map $y=\eta (\chi (x^{\prime }))+D\chi (x^{\prime }{)}^{-T}{y}^{\prime }$ is a symplectomorphism. It combines a cotangent lift of a diffeomorphism with translation by a closed differential one-form. In particular $\eta =du+a$ is allowed on a torus even when the constant one-form $a\cdot dx$ is not exact.

Responses observed on the same process or individual at different times may have nonzero correlation coefficients. Such serial correlation can arise from a shared random effect or from history-dependent conditional means. A scalar dispersion parameter adjustment alone does not represent this temporal dependence.

For square-integrable variables of positive variance, correlation one is equivalent to $X-\mathbb{E}X=c(Y-\mathbb{E}Y)$ with $c>0$. The squared norm of the difference between the two standardized centered variables is $2(1-\rho )$, proving the equivalence. For uncentered variables the relationship can have a nonzero intercept; it need not be proportionality.

Suppose $X$ is a continuous local martingale starting at zero, with conditionally symmetric increments, and terminal conditional expectations have continuous martingale versions. ThenTo prove this, set $M_t=\mathbb{E}[e^{i\theta X_T}\mid {\mathcal{F}}_t]$. Symmetry makes $e^{-2i\theta X_t}{M}_t$ a martingale, and the Itô product rule gives $d⟨M,X⟩=i\theta Md⟨X⟩$. Consequently $e^{-i\theta X_t-{\theta }^2⟨X{⟩}_t/2}{M}_t$ is a bounded local martingale, hence a martingale. Evaluating at the endpoints proves the formula. If also $X_T\sim N(0,T)$ for all $T$, the values of the bracket Laplace transform at $1$ and $2$ force $⟨X{⟩}_T=T$ almost surely. Continuity and the Lévy characterization of Brownian motion then identify $X$ as Brownian motion.

Averaging a Kähler form over translations with normalized Haar measure gives an invariant Kähler form in the same de Rham cohomology class. Positivity is preserved by averaging positive values on $(v,Jv)$, and the class is unchanged because translations are homotopic to the identity. Thus any Hodge metric on a complex torus can be replaced by an invariant one.

With a chosen lattice basis and complex coordinates on ${\mathbb{C}}^n$, the columns of the period matrix are the coordinate vectors of the lattice generators. It identifies a real coordinate vector $t$ on the universal covering space with $z=\Omega t$.

Choose the fixed planetary pericentre as the real axis, with positive forced amplitude $Z_f$. Then the linear secular equation $\dot{z}=iA(z-Z_f)$ has solution $z=Z_f+(z(0)-Z_f)e^{iAt}$. An initially circular orbit follows $z=Z_f(1-e^{iAt})$, a circle in the complex plane centered at the forced eccentricity $Z_f$, with free eccentricity amplitude $Z_f$. Its maximum orbital eccentricity is $2Z_f$ and its phase-averaged mean orbital eccentricity is $4Z_f/\pi$. The traversal is counterclockwise for $A>0$ and clockwise for $A<0$; at $A=0$ the initial state is stationary. The phase averages assume a nonzero secular frequency.

For standard tableaux of the same shape and $h_t=c_t{r}_t$, $t>u$ in column-reading order of standard Young tableaux implies $h_t{h}_u=0$. If there were no row-column collision, each column of $u$ would select one entry from each eligible row of $t$. Its sorted first column is componentwise at least the row minima of $t$; equality fixes those selected entries and permits induction after deleting the column. Thus no collision implies $u\ge t$. A collision gives $r_t{c}_u=0$.

Collapse a separating simple closed curve on a closed orientable surface of genus $g$. If its two sides have genera $g_1,g_2$, the quotient is homeomorphic to ${\Sigma }_{g_1}\vee {\Sigma }_{g_2}$. Its integral homology is $\mathbb{Z}$ in degree zero, ${\mathbb{Z}}^{2g}$ in degree one, ${\mathbb{Z}}^2$ in degree two, and zero above degree two. In relative homology, the circle maps to zero in $H_1({\Sigma }_g)$, and the second relative group fits into a split sequence $0\to \mathbb{Z}\to H_2({\Sigma }_g,A)\to \mathbb{Z}\to 0$. The two collapsed sides retain independent fundamental classes.

For genus $g\ge 1$, collapse a nonseparating simple closed curve on a closed orientable surface. Its homology class is primitive, as a curve meeting it transversely once detects by the intersection pairing on an oriented surface. The long exact sequence in relative homology therefore gives $H_0=\mathbb{Z}$, $H_1={\mathbb{Z}}^{2g-1}$, $H_2=\mathbb{Z}$, and zero higher groups for the quotient. Geometrically it has the homotopy type ${\Sigma }_{g-1}\vee S^1$.

In an eigenbasis of $G=X^{T}X$, ridge regression divides the corresponding component of $X^{T}Y$ by $\gamma +\lambda$. If $\gamma =0$, its eigenvector $v$ satisfies $Xv=0$, and hence $v^T{X}^{T}Y=0$ exactly. Only positive eigenvalues contribute to the limit, giving the Moore-Penrose inverse expression for the minimum-norm least-squares solution. No full-rank or sample-size assumption is needed.

With half-plane capacity $2t$, $f_t=g_t-W_t$ and $G_{\mathbb{H}}(z,w)=\log |(z-\overline{w})/(z-w)|$, differentiating $G_{D_t}(z,w)=G_{\mathbb{H}}(f_t(z),f_t(w))$ gives the displayed identity. The translation by the driver cancels in the Green function. This rank-one covariance loss balances the quadratic covariation of the harmonic mean in the SLE4 coupling with a Gaussian free field.

For a fixed point $Q$ on an elliptic curve, translation is the automorphism $P\mapsto P+Q$. Its inverse is translation by $-Q$. Translations let local computations of an invariant differential on an elliptic curve control every point of the curve.

For a finite affine cover of a semi-separated scheme, every finite intersection is affine. The augmented sheaf Čech cochain complex is exact: near each point, an open of the cover contains the neighbourhood under consideration, and inserting its index contracts the complex. Its terms are acyclic for a quasi-coherent sheaf, by affine cohomology vanishing and the affine-intersection property. Alternatively, apply the section-level Čech cochain complex to a flasque resolution; the two computations of the resulting double complex identify Čech cohomology with sheaf cohomology. Stalks of direct images from opens outside those opens need not vanish, so exactness must not be justified by treating these direct images as extensions by zero.