Here $R(X,Y)=D_{[X,Y]}-[D_X,D_Y]$, the negative of the convention in the ordinary Gauss equation in a curved ambient manifold. Insert the Gauss formula and Weingarten formula into this definition and project tangentially to obtain the displayed identity. Positive sectional curvature uses $⟨R(X,Y)X,Y⟩/|X\wedge Y{|}^2$ with this convention. Thus a Euclidean surface still has Gaussian curvature $K=\det A_{\xi }$; reversing the operator sign without changing the slot order would give the wrong sign.

Let the unit normal satisfy $n^a{n}_a=\epsilon =\pm 1$, let $h_{ab}=g_{ab}-\epsilon n_a{n}_b$, and set $K_{ab}=h_a{}^c{h}_b{}^d{\nabla }_c{n}_d$. The normal component of an ambient derivative of tangent fields is $-\epsilon K(X,Y)n$. Substitute that decomposition into the curvature commutator and project tangentially to obtain the displayed equation. Its scalar contraction is ${}^{\Sigma }R=R-2\epsilon R_{ab}{n}^a{n}^b+\epsilon (K^2-K_{ab}{K}^{ab})$. Both metric signature and curvature-slot convention must be specified when assigning a sign.

For $D=\mathrm{diag}(1,-1)$, $A=D{\lambda }^2+\left(\begin{array}{cc}0& U\\ V& 0\end{array}\right)\lambda +\left(\begin{array}{cc}d& P\\ R& -d\end{array}\right)$, the formal diagonal exponent has $h=d+UV/2$ and $\theta =(UR+VP)/2$. Matching the gauge equation gives the off-diagonal first coefficient $(-U/2,V/2)$ and the diagonal one $\rho D$, where $\rho =UV(d+h)/4-PR/2$. The second coefficient has diagonal entries ${\rho }^2/2-UV/8\pm h\theta /2$ and off-diagonal entries $(U\rho -P)/2,(V\rho +R)/2$. With $G_0=I$ and negative-index coefficients zero, the coefficient comparison isIts diagonal equations at $m=2,3,4,5$ give $h,\theta ,\rho$ and the second diagonal coefficient respectively. Its off-diagonal equations determine the next coefficients because the commutator with $D$ multiplies the upper and lower entries by $2$ and $-2$. This proves the expansion and supplies the recursion for all higher orders. The generally nonzero $\theta$ supplies formal monodromy.

For the left graded Leibniz rule and $s\bar{c}=-b$, $sb=0$, the displayed gauge-fixing fermion gives $b\partial \cdot A+\xi b^2/2+\bar{c}\partial \cdot Dc$. The ghost signs follow from odd parity. BRST nilpotence implies invariance of this density without using field equations. Eliminating the Nakanishi-Lautrup field gives $-(\partial \cdot A{)}^2/(2\xi )$ for nonzero $\xi$.

For a left left-acting BRST differential with $sA=Dc$, $s\bar{c}=b$, $sb=0$, choose $\Psi ={\bar{c}}^a(\partial \cdot A^a+\xi b^a/2)$. The graded Leibniz rule gives $s\Psi =b\partial \cdot A+\xi b^2/2-\bar{c}\partial \cdot Dc$. Integrating the auxiliary Gaussian yields $-(\partial \cdot A{)}^2/(2\xi )-\bar{c}\partial \cdot Dc$. At $\xi =1$ this is Feynman gauge. Opposite antighost or exact-action sign conventions require a corresponding change of fermion.

// Target: relativistic-quantum-field.bigb

For integer isospin $I$ and neutral-state charge conjugation value $\eta$, the entire isospin multiplet has $G=\eta (-1{)}^I$. Both charge conjugation and the second-axis half-turn reverse the first and third generators, so their product commutes with the full isospin algebra. Evaluate it on the $M=0$ state and use ladder connectivity to obtain the value for every $M$.

In a full regular minimal exponential family, a finite maximum-likelihood estimator exists precisely when the observed sufficient-statistic mean is in the interior of the convex support of an exponential family. It is unique because the log likelihood is strictly concave. For an interior mean, positive base-measure mass near finitely many support points surrounding the mean makes $\kappa (\theta )-{\theta }^T\bar{Y}$ grow at least linearly as $\Vert \theta \Vert \to \infty$. At a finite boundary of the full open natural domain, the normalizing integral diverges. Thus the likelihood attains its maximum in the domain. On a boundary face, no finite parameter can have the required mean. A regular restriction should instead use the exact mean-image criterion. These full-family conventions are also discussed in Geyer's exponential-family lecture notes.

For an adjunction $F⊣G$, applying $G$ to its standard counit presentation gives $T^{2}GD\rightrightarrows TGD\to GD$, split by the monad units. Reflection therefore makes every counit presentation a coequalizer and gives full faithfulness by descent. Conversely, monad algebra forgetful functor creates split coequalizers makes an existing G-split quotient a coequalizer in the Eilenberg-Moore category. Fullness and faithfulness of the comparison lift its universal factorization back to the original category.

A quasistatic approximation to the solute field neglects its perturbation time derivative while retaining the interface motion in the solute balance. For steady pulling, a lateral wavenumber $k$ then has decaying exponent $q=(V+\sqrt{V^2+4D^2{k}^2})/(2D)$. It is justified when the interface growth time is long compared with the relevant solute diffusion time. Fixing the thermal field does not by itself impose this solutal timescale ordering.

In an equal-density, no-slip lubrication approximation, repulsive disjoining pressure $A/(6\pi d^3)$ sustains a premelting film of thickness $d$ beneath a rigid disk of radius $a$. With imposed radial undercooling $\Delta T(1-r^2/a^2)$, local thermomolecular pressure is $P_T=\rho L\Delta T(1-r^2/a^2)/T_m$, and $d^3=A/(6\pi P_T)$. A constant vertical lifting rate $U$ requires inward volume flux $q_r=-Ur/2$. Integrating the resulting lubrication pressure and disk force balance gives the displayed rate, where $W$ is the apparent load, $\mu$ is liquid dynamic viscosity, $L$ is specific latent heat, and $T_m$ is the absolute bulk melting temperature. Positive lifting requires $W<\pi a^2\rho L\Delta T/(2T_m)$. For fixed positive load, the rate rises from zero at that threshold towards $A/(6\pi \mu a^2)$ as undercooling increases. That plateau is an asymptotic limit within this constitutive model, not a claim that continuum-film physics persists at arbitrarily low temperatures.

An odd-order finite group has only odd irreducible degrees, by irreducible character degree divides the group order. Its nontrivial characters occur in distinct conjugate pairs, by the Frobenius-Schur indicator. Therefore $|G|-k(G)={\sum }_{\chi }(\chi (1{)}^2-1)$ is a sum of pairs $2(d^2-1)$ with $d$ odd. Since $d^2\equiv 1(\mathrm{mod}8)$, each pair is divisible by sixteen. Here $k(G)$ is the number of conjugacy classes.

For a Frobenius complement $H$, a class function $\theta$ with $\theta (1)=0$ satisfies $({\theta }^G{)}_H=\theta$. For each nontrivial $\eta \in \mathrm{Irr}(H)$ of degree $d$, the virtual character $(\eta -d{1}_H{)}^G+d{1}_G$ has norm one and positive degree by Frobenius reciprocity. It is therefore irreducible, restricts to $\eta$ and is identically $d$ on the candidate kernel $N$. The intersection of the kernels of these characters is exactly $N$: outside $N$, separation follows from the character of the regular representation of $H$. This proves normality; $N\cap H=1$ and $|N|=[G:H]$ then give the semidirect product.

Let $N$ be a finite group and $\alpha$ an automorphism whose only fixed element is the identity. If $\alpha (a{)}^{-1}a=\alpha (b{)}^{-1}b$, then $\alpha (b{a}^{-1})=b{a}^{-1}$, so $a=b$. The displayed map is therefore a bijection. For conjugation by a nonidentity element of a Frobenius complement, it gives the commutator map $y\mapsto h^{-1}{y}^{-1}hy$.

For $1<N◃G$ proper, the displayed condition is equivalent to $N$ being a Frobenius kernel. For a normal subgroup the induction norm is $|I_G(\phi ):N|$. Trivial inertia for each nonprincipal character and Brauer's permutation lemma imply that every element outside $N$ has trivial centralizer in $N$. This forces $N$ to be a normal Hall subgroup; a complement is then fixed-point-free on $N$.

For a connected smooth algebraic group and a finite-field Frobenius $F$, the Lang map $g\mapsto g^{-1}F(g)$ is surjective. One proof uses the twisted action $x\cdot y=xyF(x{)}^{-1}$. Since $dF=0$, every orbit map has surjective differential, so each orbit is open; connectedness leaves only one orbit. The same differential calculation makes the Lang map étale, with finite fibres equal to left cosets of $G^F$.

Let a monic integer polynomial have distinct roots in its splitting field. Outside the finitely many primes dividing its polynomial discriminant or ramifying in that field, its roots reduce to distinct residue roots. The Frobenius automorphism permutes them by $a\mapsto a^p$; a reduced root belongs to ${\mathbb{F}}_p$ exactly when it is fixed. Distinctness of reduction identifies this with a fixed root of the Galois permutation itself. Combining this observation with a derangement in a transitive group action and the Chebotarev density theorem proves that an irreducible polynomial of degree at least two has rootless reduction at a positive Dirichlet density of primes. The degree bound is essential: every monic linear integer polynomial has a root modulo every prime.

If a Freiman 2-isomorphism into ${\mathbb{F}}_2^m$ uses minimal $m$, every nonzero vector lies in the fourfold sumset. Otherwise quotienting by the line it spans would preserve all additive quadruple relations and would still be injective, contradicting minimality. Since zero also belongs to the fourfold sumset, that sumset is the full model group. Plünnecke-Ruzsa inequality then bounds its size by $K^4|A|$. A finite subset of the direct sum of countably many binary fields has a finite-dimensional model to start with.

For planar strong anchoring and a quarter-turn base profile, ${\varphi }^{\prime }=\pi /(2L)$ and $\theta =0$. Expanding the one-dimensional twisted nematic energy through quadratic order gives $\Delta F=\frac{1}{2}\int [K_1{\theta }^{\prime 2}+\{(K_3-2K_2)(\pi /(2L){)}^2-\Delta ϵE^2/(4\pi )\}{\theta }^2]dz$. The lowest zero-endpoint mode is $\sin (\pi z/L)$. Its coefficient vanishes at the displayed threshold, with $V=EL$, provided the bracket and anisotropy are positive. Halving the electric coupling doubles $V_c^2$.

For a Neumann screen on the negative horizontal axis, the Helmholtz equation has an exact solution in Fresnel integrals. With time dependence $e^{i\omega t}$, a wave incident from angle $0<{\theta }_0<\pi$ has total field $e^{ikr\cos (\theta -{\theta }_0)}\mathcal{F}(s_{-})+e^{ikr\cos (\theta +{\theta }_0)}\mathcal{F}(-s_{+})$, where $s_{\pm }=\sqrt{2kr}\cos [(\theta \pm {\theta }_0)/2]$ and $\mathcal{F}(s)=\frac{1}{2}\mathrm{erfc}(-e^{i\pi /4}s)$. The angular derivatives cancel on both faces of the screen. Away from the two shadow boundaries, the Fresnel tail expansion splits this into incident/reflected geometrical optics fields and an outgoing edge wave proportional to $r^{-1/2}{e}^{-ikr}$.

A normal form for free groups and free product of groups represents elements by reduced words. In a free group, adjacent inverse letters cancel; in a free product, alternating nonidentity syllables from different factors are unique. In an amalgamated free product, chosen coset representatives produce the corresponding reduced form relative to the common subgroup.