On a contractible Cartesian patch of a flat background, zero linearized Riemann curvature operator says that the connection 1-forms ${\Gamma }^{(1)a}{}_{bc}d{x}^c$ are closed. The Poincaré lemma writes them as derivatives of a matrix-valued potential. Symmetry of the two lower affine connection indices then supplies a second potential, giving ${\Gamma }^{(1)a}{}_{bc}={\partial }_b{\partial }_c{\xi }^a$. Linearized metric compatibility implies that $h_{ab}-2{\partial }_{(a}{\xi }_{b)}$ is constant. Its symmetric constant part is absorbed by an affine vector field. Thus the metric perturbation is locally a coordinate change. Global topology and imposed boundary conditions can obstruct the corresponding global gauge choice.

A spatial transformation is a symmetry of a gauge-field configuration when its pullback lies in the gauge orbit of the original configuration. It need not fix a particular representative. For a planar vortex, rotation changes its winding phase and a constant $U(1)$ transformation compensates. For a hedgehog ansatz for a monopole, a spatial rotation is compensated by the corresponding internal adjoint $SU(2)$ rotation. Gauge-invariant densities remain invariant without choosing a special gauge.

A gauge generator is the representation matrix of a basis element of the Lie algebra of a continuous gauge group on a specified set of fields. For Hermitian generators $T^a$, an infinitesimal transformation is $\delta \varphi =i{\alpha }^a{T}^a\varphi$, and $[T^a,T^b]=i{f}^{ab}{}_c{T}^c$. Gauge invariance of a superpotential consequently requires $W_i(T^a{)}^i{}_j{\varphi }^j=0$ for each generator.

A gauge condition $F(x)=0$ is regular at a representative $x_0$ if its derivative along the gauge orbit is an invertible matrix. The inverse function theorem then makes the gauge-condition values valid local coordinates along that orbit. A unique zero without this regularity is insufficient: the translation action on the line with $F(x)=x^3$ has a unique zero but a zero derivative there. Multiple regular intersections give a Gribov ambiguity rather than a globally unique slice.

For the Abelian Higgs mechanism with scalar phase $\chi$ and vector mass $m$, take ${\mathcal{L}}_{\mathrm{gf}}=-(\partial \cdot A+\xi m\chi {)}^2/(2\xi )$ when the scalar kinetic mixing is $-m{A}_{\mu }{\partial }^{\mu }\chi$. The cross term cancels this mixing after integration by parts. The resulting vector propagator isAt fixed finite $\xi$ it decays as $1/k^2$. Would-be Goldstone bosons and the required Faddeev-Popov ghosts remain in intermediate calculations; BRST symmetry identifies the physical states and ensures cancellation of unphysical modes. The limit $\xi \to \infty$ gives the unitary gauge propagator and is not uniform in ultraviolet momentum.

For the ordinary three-dimensional cross product, $D_{\mu }\Phi ={\partial }_{\mu }\Phi +e{A}_{\mu }\times \Phi$ requires $F_{\mu \nu }={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }+e{A}_{\mu }\times A_{\nu }$. This follows from $[A\times ,B\times ]=(A\times B)\times$. The same curvature then transforms covariantly under local rotations. Using a minus sign in its quadratic term while retaining the plus sign in $D$ breaks local gauge invariance: a pure gauge for $D$ has $F_{+}=0$ but generally $F_{-}=-2e{A}_{\mu }\times A_{\nu }\ne 0$. Reversing both signs is an alternative consistent convention.

In complexified four-dimensional space-time, antisymmetry giveswhere both gauge curvature two-component spinors are symmetric. The two summands are the two duality components. In the convention where the primed symmetric part is self-dual, the Anti-self-dual Yang-Mills equations are ${\phi }_{A^{\prime }{B}^{\prime }}=0$. Equivalently ${\pi }^{A^{\prime }}{\pi }^{B^{\prime }}{F}_{A{A}^{\prime }B{B}^{\prime }}=0$ for every primed two-component spinor $\pi$, since a quadratic polynomial vanishing for every two-component spinor has all symmetric coefficients zero.

For the Killing form or another invariant bilinear form on a Lie algebra,The connection terms cancel by invariance. Thus, for compactly supported variations, a gauge covariant derivative can be moved to the other factor in an integral with a minus sign, just as an ordinary derivative.

// Target: quantum-field-theory.bigb

Embed $C_4\times C_4$ and $Q_8\times C_2$ in $S_{16}$ by their regular representations. Both have one element of order one, three of order two, and twelve of order four. An order-$r$ element in a regular action has cycle type $r^{16/r}$. Their intersections with every conjugacy class of $S_{16}$ consequently have the same size, so they are Gassmann equivalent. The first group is abelian and the second is not, so their underlying groups are not isomorphic. Finite-cover constructions from the Sunada theorem therefore give isospectral manifolds with different fundamental groups.

In a finite general linear group, the permutation representations on nonzero vectors and on nonzero dual vectors have equal characters: an element fixes $q^{\dim \ker (t-I)}-1$ vectors in each action because a matrix and its transpose have the same rank. In characteristic two the stabilizers of a nonzero vector and a hyperplane are therefore almost conjugate subgroups. In dimension three over ${\mathbb{F}}_2$, both have order $24$ and index $7$ in a group of order $168$, but they are not conjugate: a point stabilizer preserves no plane. A triangle cover construction for Sunada surfaces with generator orders $(7,7,7)$ gives quotient surfaces of genus three.

Feynman slash notation contracts a four-vector with the gamma matrices. With mostly-minus signature, the Clifford algebra gives $/p^2=p^{2}I$, so $(/p-m{)}^{-1}=(/p+m)/(p^2-m^2)$ away from the mass shell.

For gamma matrices with $\{{\gamma }^a,{\gamma }^b\}=2{\eta }^{ab}$ and ${\gamma }^{ab}=[{\gamma }^a,{\gamma }^b]/2$, contracted Clifford algebra gives ${\gamma }_a{\gamma }^m{\gamma }^a=(2-D){\gamma }^m$. Expanding the two antisymmetrized factors gives ${\gamma }_a{\gamma }_b{\gamma }^m{\gamma }^a{\gamma }^b-D{\gamma }^m$. The five-gamma product equals $[2D-(D-2{)}^2]{\gamma }^m$, by moving the middle contracted gamma through and using the three-gamma contraction twice. Subtraction yields the displayed identity. A convention without the factor one-half in each bivector multiplies the result by four.

For an abelian variety $A$ and a prime number $\ell$ different from the characteristic, the inverse limit of its geometric ${\ell }^n$-torsion, with transition multiplication by $\ell$, is its Tate module. For an elliptic curve, it is free of rank two over the p-adic integers and satisfies $T_{\ell }(E)/{\ell }^n{T}_{\ell }(E)\simeq E[{\ell }^n]$. The absolute Galois group acts continuously and commutes with all base-defined endomorphisms.

For a continuous coercive bilinear form with continuity constant $M$ and coercivity constant $\alpha$, a conforming finite-element solution satisfiesFor a symmetric problem measured in its energy norm, the constant is one.

For any $v_h\in V_h$, Galerkin orthogonality gives $a(e,e)=a(e,u-v_h)$, where $e=u-u_h$. Coercivity and continuity yield $\alpha \Vert e{\Vert }_V^2\le M\Vert e{\Vert }_V\Vert u-v_h{\Vert }_V$. Divide by $\Vert e{\Vert }_V$ when it is nonzero and take the infimum. In the symmetric case, the Cauchy-Schwarz inequality in the energy norm gives the constant one.

The mean number of other galaxies within distance $R$ of a randomly chosen galaxy is the integral of its conditional number density. A random location instead has mean count $4\pi \bar{n}{R}^3/3$. For a power law $\xi (r)=(r_0/r{)}^{\gamma }$, the extra count is $4\pi \bar{n}{r}_0^{\gamma }{R}^{3-\gamma }/(3-\gamma )$ when $\gamma <3$. The central galaxy is excluded; including it adds one. This distinction matters even when the unconditional mean number density is spatially uniform.

If stellar feedback supplies energy $e_{\ast }$ per unit formed stellar mass, an energy-driven outflow requires $\nu v_{\mathrm{esc}}^2/2\lesssim e_{\ast }$. Fixed energy coupling therefore suggests mass-loading factor $\nu \propto v_{\mathrm{esc}}^{-2}$. A fixed momentum supply $p_{\ast }$ instead gives $\nu v_{\mathrm{esc}}\lesssim p_{\ast }$ and momentum-driven outflow scaling $\nu \propto v_{\mathrm{esc}}^{-1}$. These are launch and escape estimates, not universal wind laws; subsequent entrainment, cooling and fallback change the escaping mass.

Interstellar grains heated by starlight emit a modified blackbody spectrum, with a frequency-dependent emissivity multiplying the Planck law. This Galactic thermal dust emission rises across much of the microwave/submillimeter band and contaminates high-frequency cosmic microwave background measurements. Its strength and effective emissivity vary across the sky, so the frequency at which it exceeds cosmological anisotropy is not a universal constant.

With well-mixed gas-phase metallicity $Z$, zero mass return, star formation rate $\psi$, pristine galactic gas inflow $\nu \psi$, and constant stellar yield $y$, mass conservation and metal accounting give $\dot{M}=-(1-\nu )\psi$ and $M\dot{Z}=(y-\nu Z)\psi$. Thus, for $0<\nu <1$,The initial gas-phase metallicity $Z_0=0$ gives the usual pristine-infall expression. Neglecting returned bulk mass while retaining a nonzero metal yield is a trace-metal idealization.

An alpha element is an element such as oxygen, neon or magnesium associated with nucleosynthesis involving helium nuclei and massive-star burning. Core-collapse supernovae promptly return substantial abundances of these elements. Their abundance relative to iron can distinguish a rapid enrichment history from one with substantial delayed Type Ia supernova enrichment.

For a finite relational signature and quantifier rank $q$, matching the numbers of all marked radius-$3^q$ one-point neighbourhood types suffices for two finite structures to satisfy the same first-order sentences of rank at most $q$. Equivalently, a bijection can match the isomorphism types of these marked neighbourhoods point by point. On bounded-degree structures, a threshold version permits large neighbourhood-type counts to differ once both exceed a fixed bound. Long cycles of equal total size give useful exact-count applications.