For a finite isometric group action on a closed Riemannian surface, choose a disk in the free locus whose translates are disjoint. Modify the Riemannian metric there, and identically on its translates, by small supported changes with three distinguished high Gaussian curvature maxima. Give their heights distinct values occurring nowhere else, arrange them as a tight noncollinear cluster, and keep separate clusters far apart. Such markers can be made by local conformal bump functions controlling curvature and its derivatives. Every quotient isometry must send an entire labelled cluster to another. After identifying the marked disks with the original one, an isometry fixes its three noncollinear points and is therefore the identity locally. If $p_i:M\to U_i\backslash M$ are free finite quotients, any quotient isometry $F$ consequently makes $F\circ p_1=p_2\circ t$ on an open disk for some element $t$ of the original group. Two local isometries agreeing on an open set agree on the connected surface, by propagation along geodesics. The equality therefore holds globally and implies $t{U}_1{t}^{-1}\subseteq U_2$, hence equality for equal subgroup orders. Nonconjugate equal-order subgroups thus have nonisometric quotients for this marked invariant metric; constant curvature is not required.

Let a finite group $T$ be generated by elements of exact orders $p,q$ whose product has exact order $r$, with $p^{-1}+q^{-1}+r^{-1}<1$. The epimorphism from the hyperbolic triangle group sending its generators to these elements has torsion-free kernel. Its quotient of the hyperbolic plane is a closed surface with a $T$ action. A subgroup acts freely precisely when it meets no conjugate of a nonidentity power of the three elliptic generators. Free almost conjugate subgroups give isospectral manifolds by the Sunada theorem.

Take a hyperbolic torus with a single cone point of angle $2\pi /7$. Its orbifold fundamental group is $⟨a,d\mid [d,a{]}^7=1⟩$. An epimorphism to $\mathrm{PSL}(3,2)$ whose commutator has exact order $7$ has torsion-free kernel. The point and line stabilizers have index $7$ and order $24$, hence avoid all nontrivial cone stabilizers. Their quotient covers are smooth surfaces with Euler characteristic $7(-6/7)=-6$, so have genus $4$. Their equal coset permutation characters give equal heat traces by the Sunada theorem. Nonisometry still requires a geometric distinction, such as the intersection test for nonisometric finite covers.

Let two finite locally isometric covers carry uniquely length-identified primitive closed geodesics ${\alpha }_i,{\beta }_i$. If their geometric intersection numbers differ, the covering surfaces are not isometric, because an isometry preserves both lengths and intersections. For base simple curves intersecting once, lift components correspond to cycles of their monodromy permutations. Their intersection number is the number of sheets common to the two cycles. This distinguishes covers even when every individual permutation has the same cycle type in both actions, as in Gassmann equivalence.

A finite isometry group decomposes $L^2(N)$ into its irreducible representation factors $V_{\rho }$ and multiplicity Hilbert spaces ${\mathcal{H}}_{\rho }$. The Laplacian commutes with the group, so it acts as the identity on each representation factor. The averaging projection gives $\dim V_{\rho }^{U_i}=|U_i{|}^{-1}{\sum }_{u\in U_i}{\chi }_{\rho }(u)$. For Gassmann equivalent subgroups these dimensions agree. Choosing unitary identifications of the invariant finite-dimensional factors therefore intertwines the quotient Laplacians, even when a noncompact covering manifold has no finite heat trace.

For a finite subgroup $U$ of a group $T$ of Riemannian isometries of a closed manifold $N$, assume $U$ acts freely and define $I_t(g)={\int }_N{H}_N(t,x,gx)dV(x)$. Invariance of the Riemannian heat kernel and change of variables show that $I_t$ is a class function on $T$. For $U\le T$, the heat kernel on a finite isometric quotient and integration over a fundamental domain give the displayed heat trace formula. Grouping by conjugacy classes proves equality for Gassmann equivalent subgroups. More generally the same argument allows fixed points of $T$ outside the freely acting subgroups; only the quotient under consideration must be smooth.

A matrix minor is the determinant of a square submatrix obtained by selecting rows and columns of a matrix. Over a field, the matrix rank is less than $r$ exactly when every $r$-by-$r$ matrix minor vanishes. In a matrix of regular functions, these equations define a closed rank-defect locus, explaining the determinantal variety construction.

Finite local subdivision matrices for the scaled difference scheme track derivative variations in nested parameter intervals. A product-norm bound below one proves uniform contraction for every interval and therefore gives a lower bound on derivative continuity. A product eigenvalue of modulus at least one is an obstruction when its mode is reachable from the data and visible in the limit: generic data excite it, so the corresponding derivative differences fail to vanish. Harmless polynomial or unobservable modes must be removed before applying such an upper bound. Borderline smoothness needs direct analysis, not rounding a numerical exponent. Stability and convergence of the underlying scheme must be checked rather than inferred from mask width.

A mixed tensor has $k$ defining indices and $l$ dual indices. The SU(3) action applies $U$ to every upper index and $U^{-1}$ to every lower index. Young symmetrizers select permutation types, while invariant Kronecker deltas take traces and invariant alternating tensors convert an antisymmetric pair of defining indices into a dual index, or conversely. Repeated fundamental and dual tensor rules decompose it with multiplicities: $(p,q)\otimes (1,0)=(p+1,q)\oplus (p-1,q+1)\oplus (p,q-1)$ and the conjugate rule, omitting negative labels.

The central element $\omega I$ of SU(3), with $\omega =e^{2\pi i/3}$, acts on an irreducible representation of Dynkin labels $(a,b)$ as ${\omega }^{a+2b}$. This residue is its triality. In a tensor realization the representation has $a+2b$ fundamental boxes, and a complete column of three is a singlet; removing such columns preserves the residue. Tensor products add trialities and complex conjugation reverses them.

For a nonvanishing adjoint Higgs field, put $n=\Phi /|\Phi |$. If an oriented orthonormal internal basis satisfies $[e_a,e_b]=\kappa {\epsilon }_{abc}{e}_c$, the displayed tensor is gauge invariant. In a gauge with $n=e_3$, write $A_j=a_j^a{e}_a$; the transverse quadratic terms cancel, leaving ${\mathcal{F}}_{jk}={\partial }_j{a}_k^3-{\partial }_k{a}_j^3$. Hence it is a closed differential form wherever $\Phi \ne 0$. Under trace normalization of su(2) with $-\mathrm{tr}(XY)$, ${\kappa }^2=2$ and the commutator term has coefficient $1/2$. With $-2\mathrm{tr}(XY)$, its coefficient is one. Omitting this normalization factor generally destroys closure.

A global idempotent on a scheme is zero or one in every local ring. Its one-locus is both open and closed. Conversely a clopen subset determines a global idempotent by gluing one on it and zero on its complement. Under this correspondence, decompositions into nonzero orthogonal idempotents correspond to disjoint clopen decompositions. When all connected components are open, the primitive idempotents correspond exactly to those components. Without orthogonality the assertion fails in characteristic two: $(1,0)=(1,1)+(0,1)$ in ${\mathbb{F}}_2\times {\mathbb{F}}_2$.

For the circle with center distance $a=\gamma U/(\gamma +1)$ and radius $R=U/(\gamma +1)$, the most deflected ray from the origin is tangent. The right triangle formed by the origin, center and tangency point gives $\sin {\delta }_{\max }=R/a=1/\gamma$. This is a velocity-vector deflection angle, not the angle of the shock normal.

Take $U$ to be the kernel of a $t$-row Vandermonde matrix on distinct coordinates. For each $(r+t)$-set $T$, $U$ intersects its coordinate subspace in dimension $r$. Wedge a basis of that intersection: its coefficient on every $r$-subset of $T$ is nonzero, because projection onto that subset is an isomorphism by independence of the complementary $t$ columns. Modulo the exterior power of $U$, this gives a dependence involving every clique edge with nonzero coefficient. Strong saturation expresses every missing-edge vector in the span of present ones. Since all coordinate-edge vectors span the quotient, edge count is at least its dimension.

In a uniform sharp-front approximation, an inner ${\mathrm{He}}^{++}$ zone of radius $R_2$ lies inside a ${\mathrm{He}}^{+}$ shell ending at $R_1$, within the hydrogen ionization front $R_H$. For nuclear densities $n_H,n_{He}$, the electron densities are $n_H+2n_{He}$, $n_H+n_{He}$ and $n_H$ in the three zones. Thus the hydrogen recombination integral is $(4\pi /3){\beta }_H{n}_H[n_H{R}_H^3+n_{He}(R_1^3+R_2^3)]$. The helium integrals are $(4\pi /3){\beta }_{HeI}{n}_{He}(n_H+n_{He})(R_1^3-R_2^3)$ and $(4\pi /3){\beta }_{HeII}{n}_{He}(n_H+2n_{He})R_2^3$. These are balanced against species-specific effective photon budgets, not three independently reused cumulative stellar photon counts.

For an isolated spherical distribution, shell assembly gives gravitational potential energy $W=-{\int }_0^{\infty }GM(r)r^{-1}dM(r)$. Use $S^{\prime }=-2\pi r\rho$ and $M^{\prime }=-2r{S}^{\prime }$ to write $W=2G\int M{S}^{\prime }dr=-2G\int S{M}^{\prime }dr=4G\int rS{S}^{\prime }dr$. A second integration by parts gives the displayed negative quadratic functional. The boundary terms $MS$ and $r{S}^2$ must vanish; finite-mass regular profiles with finite binding energy satisfy the usual sufficient decay conditions.

For planar Brownian motion started at zero, $\log |B_t|$, considered from time one onward, is a local martingale because $\log |x|$ is harmonic off the polar point zero. Every fixed-time absolute moment is finite, but $\mathbb{E}{X}_t=\frac{1}{2}\log t+\mathbb{E}\log |B_1|$ increases. It is therefore not a true martingale. Finite moments at individual times do not establish class DL.

// Target: probability-and-statistics.bigb

A uniform positive quasi-geostrophic potential vorticity anomaly in a sphere of stretched radius $R$ has the displayed regular, decaying streamfunction. Both it and its radial derivative match at the sphere. In its equatorial plane the horizontal relative vorticity is $2Q_0/3$ inside and $-Q_0{R}^3/(3r^3)$ outside. The exterior potential-vorticity anomaly remains zero because its vertical stretching contribution compensates that relative vorticity. A stretched sphere corresponds to a flattened ellipsoid in physical coordinates when $N\gg |f|$.

For an oriented smooth surface and compatible boundary orientation, apply Stokes theorem to $\varphi \mathbf{k}$ for an arbitrary constant vector $\mathbf{k}$. Since $\nabla \times (\varphi \mathbf{k})=\nabla \varphi \times \mathbf{k}$, its surface integral is $\mathbf{k}\cdot {\int }_{S}d\mathbf{S}\times \nabla \varphi$. The boundary integral is $\mathbf{k}\cdot \oint \varphi d\mathbf{x}$. Equality for every $\mathbf{k}$ proves the displayed vector identity. Reversing both orientations preserves the identity.

Deleting $q$ fitted mean parameters improves the Akaike information criterion exactly when the displayed condition holds, since the criterion difference is $n\log ({\mathrm{RSS}}_{\mathrm{reduced}}/{\mathrm{RSS}}_{\mathrm{full}})-2q$. For one parameter, the equivalent partial F-test statistic is below $(n-p)(e^{2/n}-1)$, where $p$ is the full mean-model dimension. This is not the usual fixed-level significance-test cutoff. Fits must use the same observations and response transformation.