For even weight , complete the additive twist of a cusp-form L-function as . Split its Mellin transform at and use rational-cusp inversion of a level-one cusp form in the lower integral. The resulting two integrals over converge locally uniformly for every complex , giving an entire continuation and the displayed functional equation. The relation identifies the opposite cusp.
For a finite surjective map of normal integral schemes with function fields in characteristic , the condition lets the Absolute Frobenius morphism of the source factor through the map. On an affine chart , send to : it lies in , is integral over , and is integrally closed. The condition instead lets the map factor after the source Frobenius. Send to its unique th root in ; that root lies in the normal ring because it satisfies a monic polynomial over . These rules localize and glue; injectivity of Frobenius in the function field supplies uniqueness.
Derivative of the Abelian sum map 2026-10-14
For an effective divisor on an algebraic curve on a smooth projective curve, the Zariski tangent space to its symmetric product of a curve is . The derivative of the Abelian sum map is the connecting homomorphism of . Its dual under Serre duality is restriction of holomorphic differential forms to , including all jets at repeated points. Hence its rank is , and its image annihilates .
For constant kinematic viscosity , use the phenomenological viscous torque in an accretion disk, specific angular momentum , and at the innermost stable circular orbit. Neglect radial kinetic motion in the clock relation and neglect differential light travel time. The Schwarzschild time to drift formally from to is the displayed expression, withIndeed and for . The zero-torque inner boundary condition makes the formal drift speed diverge as , so the nearly circular approximation must give way to the plunging region of a black-hole accretion disk sufficiently close to that orbit. This formula describes the stipulated approximation, not an exact relativistic flow solution.
For , the gauge-theory Bianchi identity is and the variation is . The graded product rule for the covariant exterior derivative gives the displayed boundary integral. Thus a constant-coefficient Yang-Mills theta term leaves the bulk Yang-Mills equations unchanged, but can change the boundary variational condition. Its four-form density is exactly gauge-invariant by conjugation of and cyclicity of the matrix trace, even if the gauge parameter is nonzero on the boundary. Gauge changes of a local Chern-Simons 3-form must not be confused with gauge changes of this globally defined curvature density.
Consider identical length- arms joined to one hub, with XY exchange interactions of strength from the hub to each first site and strength between sites on each arm. Let be the hub excitation and . This orthonormal symmetric single-excitation subspace is invariant, and its restricted Hamiltonian operator iswith endpoint terms omitted. At the first link the hub contributions add to ; all other links act identically on the arms. Thus the linear isometry intertwines with the path Hamiltonian operator : . Expanding the matrix exponential gives . Perfect quantum state transfer from zero to on the path therefore produces an equal excitation superposition at the arm tips. Since all other qubits are zero, the tip state is a pure W state, up to the transfer's common phase.
Abel's identity 2026-10-14
To first order in , the conventional Euclidean dilaton coupling gives and . The scalar coefficient is . Here is the Kalb-Ramond field strength. Vanishing of these coefficients, including higher-order corrections, is the background-field condition for quantum Weyl transformations to remain a gauge symmetry. The scalar coefficient includes the central charge deficit and is not implied by the metric equation alone.
Use the half-normalized operator . On a closed worldsheet, a symmetric trace-free tensor obeysThis integration by parts identifies the displayed formal adjoint operator. A convention with twice has twice this adjoint, with identical kernels. The worldsheet conformal Killing group corresponds to the kernel of , while infinitesimal worldsheet moduli correspond to the trace-free kernel of its adjoint.
Witt space with collared boundary 2026-10-14
A compact stratified space with boundary is a Witt space with collared boundary when its interior and boundary are Witt spaces and a stratified neighbourhood of the boundary is , with product stratification. Orientations are carried by the regular strata and induce the usual boundary orientation.
Fix , , and a rotationless Lorentz boost taking to on the positive-energy mass shell. The little group on the Lorentz spinor double cover is SU(2). Its spin- irreducible representation induces a unitary representation on . Here is the Wigner rotation, lifted to SU(2) when necessary, and the translation convention is . The little-group cocycle proves the group law, and Wigner's classification gives irreducibility. Every nonnegative integer or half-integer spin is allowed on the double cover; descent to the ordinary proper orthochronous Poincaré group requires integer spin, because its rotation must act as the identity.
Wiener-Hopf kernel 2026-10-14
The scalar coefficient multiplying an unknown half-line transform in a Wiener-Hopf equation is its kernel. This is a transform-domain function, distinct from the null space of a linear map. Its analytic zeros, poles and winding number govern Wiener-Hopf factorization. For mixed scalar Helmholtz half-plane diffraction a typical kernel is the outgoing vertical wavenumber .
Weyl integration formula for U(n) 2026-10-14
For the unitary group, the diagonal maximal torus has coordinates and Weyl group . The Weyl integration formula weights independent uniform angles by . The Vandermonde determinant has squared torus integral , by Fourier orthogonality. Multiplying an irreducible character of highest weight by this determinant gives an alternating Laurent polynomial. Its leading alternant has coefficient one; character orthogonality for compact groups forces every other alternant coefficient to vanish. This yields the quotient .
Conjugation Jacobian for a compact Lie group 2026-10-14
For a connected compact Lie group with maximal torus , the map , , has the displayed real Jacobian determinant. Choose an invariant inner product and identify the tangent space of with . Translation of the derivative at to the identity gives . Each pair of opposite roots of a root system corresponds to a real two-plane on which the determinant is . The torus direction has determinant one. Normalized quotient and Haar measures have matching volume constants because the Riemannian submersion gives . The map covers regular elements times, giving the Weyl integration formula with conjugacy averaging for general functions.
The toric divisor class sequence identifies the divisor class group with via . Choose integers with ; then represents its positive generator . This is an ample Q-Cartier divisor: for the local Cartier data of on the chart omitting ray is , which satisfies the strict toric ampleness criterion. The generator need not itself be a Cartier divisor; for example the positive generator on has Cartier index two.
Broad-crested weir 2026-10-14
For reservoir head above a broad crest, negligible approach velocity, constant reduced gravity, and no head loss, hydraulic control gives and the displayed discharge. Reflecting the vertical coordinate gives the same result for a light layer escaping beneath a lowered roof. An orifice discharge coefficient is a separate closure and should not be silently inserted into this inviscid weir law.
For the gauge-singlet composite , the interaction is electroweak gauge-invariant. At the Higgs field vacuum, , giving . The Grassmann variation of a chiral Majorana mass term therefore identifies the mass parameter as , with physical mass . The dimension-five interaction has a coupling of mass dimension minus one. Under lepton number phase rotation, its two terms acquire factors , so it violates continuous lepton number by two units. It is an effective extension of the minimal renormalizable Standard Model.
Positive-square radial pulsation energy 2026-10-14
Integrate the pressure-gradient term in the weighted stellar pulsation Rayleigh quotient by parts, with regular centre and zero surface pressure. Writing uses and gives the displayed expression. Thus radial instability requires somewhere in the positive-pressure interior. A constant trial function gives , so strict radial stability requires this weighted integral to be positive, in particular somewhere. When throughout, constant is an exact zero-frequency homologous mode: the star is marginal, rather than strictly stable. Local threshold crossings alone do not determine stability for a mixed profile; the full Rayleigh-Ritz variational principle does.
Here the graph has vertices and edges. The bound is a deliberately loose canonical paths Poincare bound, sufficient for polynomial mixing time when both activity and reciprocal activity are polynomially bounded. Order the alternating graph paths and cycles of canonically. Convert each component from initial matching in a graph to final matching in a graph by moving an unmatched endpoint using exchanges; open a cycle with one deletion and finish it with one addition.
At an intermediate matching in a graph , the complementary encoding is a matching in a graph away from the active component and has at most two degree-two vertices. Remove at most two edges to obtain a matching in a graph . Record those edges and one bit selecting the initial alternating colour on the active component. For a fixed directed transition this data reconstructs , , the active component and its ordering, and then ; common edges are . There are at most auxiliary records per .
If , then . The transition capacity is at least , and the path length is at most . Summing over the injective encodings proves the displayed path congestion bound.
For an oriented lattice basis with , write . These differences are constant because is periodic. Integrating zeta around a fundamental cell gives the displayed relation by its one simple pole of residue one. Oddness and the logarithmic derivative then give . This fixes both the sign and the exponent convention in sigma-product constructions.
There are unlisted articles, also show them or only show them.