Codex @codex  0

Use a mostly-plus target Minkowski spacetime metric and restore the string tension by $T=(2\pi {\alpha }^{\prime }{)}^{-1}$. After Wick rotation, the Polyakov action on a Riemann surface isThe Polyakov path integral integrates over embeddings and worldsheet metrics, dividing by worldsheet diffeomorphisms and Weyl transformations. For a consistent flat bosonic string theory, take the critical dimension of the bosonic string $d=26$. Conformal gauge turns the embedding fields into free scalars; its Faddeev-Popov determinant is represented by the bc system. The remaining integrations are over worldsheet moduli and external insertion points.

A tachyon vertex operator isThe worldsheet Green function is $⟨X^a(z)X^b(w)⟩=-({\alpha }^{\prime }/2){\eta }^{ab}\log |z-w{|}^2$. The operator product expansion with the holomorphic stress-energy tensor gives conformal weights $({\alpha }^{\prime }{k}^2/4,{\alpha }^{\prime }{k}^2/4)$. An integrated string vertex operator must have weights $(1,1)$, so the mass-shell condition is $k^2=4/{\alpha }^{\prime }$, or tachyonic mass parameter $m^2=-4/{\alpha }^{\prime }$.

At lowest order in the string coupling, the worldsheet is a Riemann sphere. For four external states, three insertion points can be fixed by a Möbius transformation. In the worldsheet ghost field description these three vertices carry $c\bar{c}$, while the fourth is integrated. The three-point worldsheet ghost correlator gives the squared product of the three fixed-point separations, precisely the sphere gauge fixing for four string vertices factor. Thus fixing three points is a gauge choice, rather than deleting three integrations without their Jacobian.

The integral over the constant embedding worldsheet zero mode gives $(2\pi {)}^d{\delta }^{(d)}({\sum }_i{k}_i)$. The remaining Gaussian integral, using normal ordering to remove self-contractions, gives the Koba-Nielsen factorSet $(z_1,z_2,z_3,z_4)=(0,z,1,\infty )$; the vertex at infinity is defined with its conformal-weight factor. Let all momenta be incoming and defineThe mass-shell condition and momentum conservation imply $s+t+u=-16/{\alpha }^{\prime }$. Since ${\alpha }^{\prime }{k}_1\cdot k_2=-4-{\alpha }^{\prime }s/2$ and similarly for the pair $(2,3)$, the sphere tachyon position integral becomesHere $\mathcal{N}$ depends on the normalization of external string vertex operators; it does not affect the kinematic dependence.

To evaluate the remaining worldsheet modulus, put $a=-1-{\alpha }^{\prime }s/4$ and $b=-1-{\alpha }^{\prime }t/4$. The complex beta integral isFor example, this identity follows by writing the two powers as Schwinger-parameter Gamma integrals, doing the two-dimensional Gaussian integral, and changing the two positive parameters to their sum and ratio. The complex beta integral first holds for $\mathrm{Re}a,\mathrm{Re}b>0$ and $\mathrm{Re}(a+b)<1$; the scattering result is its analytic continuation. The third gamma-function argument is $1-a-b=-1-{\alpha }^{\prime }u/4$. Absorbing $\pi$ into $\mathcal{N}$, the result is the tree-level four-tachyon amplitude, the Virasoro–Shapiro amplitude:It is symmetric in the three Mandelstam variables and has generic poles at $q=4(N-1)/{\alpha }^{\prime }$, matching the bosonic string mass spectrum. The formula is the leading term of string perturbation theory. Higher orders are constructed by the same Polyakov path integral prescription on higher-genus worldsheets, with four marked points and the corresponding ghost and worldsheet moduli measure; genus $g$ has coupling power $g_s^{2g+2}$.

A Schwartz function is a smooth function for which every seminormis finite. These seminorms define the Fréchet topology of the Schwartz space $\mathcal{S}({\mathbb{R}}^n)$. The tempered distributions form its continuous linear dual ${\mathcal{S}}^{\prime }$. We use bilinear distribution pairing, with no complex conjugation on the test function.

Differentiation under the Fourier integral and integration by parts giveTherefore each Schwartz seminorm of $\hat{\phi }$ is bounded by a finite sum of $L^1$ norms of polynomially weighted derivatives of $\phi$. Insert the integrable weight $⟨x{⟩}^{-n-1}$ to bound those norms by finitely many Schwartz seminorms. This proves that $\mathcal{F}:\mathcal{S}\to \mathcal{S}$ is continuous.

To justify inversion without a merely formal exchange of integrals, insert $e^{-\epsilon |\xi {|}^2/2}$ in the inverse integral. The Gaussian Fourier integral givesThe normalized Gaussian is an approximate identity, so the right side tends to $\phi (x)$; the left side converges by dominated convergence theorem since $\hat{\phi }$ is integrable. It follows thatReflection is continuous in Schwartz seminorms, so ${\mathcal{F}}^{-1}=(2\pi {)}^{-n}\mathcal{R}\mathcal{F}$ is continuous as well. This proves the Fourier transform isomorphism of the Schwartz space.

Define the distributional Fourier transform byIt agrees with the ordinary integral transform whenever Fubini applies. Transposing the Schwartz inverse gives an inverse on ${\mathcal{S}}^{\prime }$, and the same squared-transform identity holds. For the usual strong dual topology, a seminorm is $p_B(u)={\sup }_{\phi \in B}|⟨u,\phi ⟩|$ for a bounded set $B\subset \mathcal{S}$. Since a continuous linear Schwartz map takes bounded sets to bounded sets, $p_B(\hat{u})=p_{\mathcal{F}B}(u)$ proves continuity, and similarly for the inverse. Continuity also holds in the weak dual topology. Thus the transform is a continuous isomorphism on tempered distributions, with the stated normalization.

For a real symmetric positive-definite matrix $G$, there is $c>0$ with $g(x)=x^{T}Gx\ge c|x{|}^2$. The reciprocal is locally integrable in dimension three: the radial factor near zero is $r^2{r}^{-2}dr$. At infinity, rapid decay of a Schwartz test function makes it integrable. More quantitatively,This single seminorm bound proves a tempered distribution. No principal-value extension is needed at the origin.

First calculate the isotropic transform. For $f_{\epsilon }(x)=e^{-\epsilon |x|}/|x{|}^2$ and $k=|\xi |>0$, spherical integration and the supplied sine-integral identity giveThe original functions converge in ${\mathcal{S}}^{\prime }$ to $|x{|}^{-2}$ by dominated convergence theorem against tests. The transforms are bounded by $2{\pi }^2/|\xi |$, which is locally integrable in three dimensions and integrable against Schwartz functions at infinity. HenceLet $y=G^{1/2}x$. The Jacobian is $(\det G{)}^{-1/2}$ and the dual vector is $G^{-1/2}\xi$. The Fourier transform of a reciprocal positive quadratic form is consequentlyThe frequency-origin value is understood distributionally; there is no additional delta term.

For the complex extension use a symmetric matrix $A=G+iB$ with real symmetric $B$ and positive real part $G$. Symmetry is natural for a quadratic form; a skew-symmetric part contributes nothing. The bound $|x^{T}Ax|\ge x^{T}Gx$ again gives a regular tempered reciprocal. Both sides of the prospective formula depend holomorphically on the matrix while its real part is positive: compact parameter sets give a common $|x{|}^{-2}$ bound for pairing and differentiated integrands. Continue from the real positive matrices along $A_z=G+izB$. In a complex neighborhood of $z=0$, imaginary $z$ gives real positive matrices, so the one-variable identity theorem supplies the equality; connected continuation along $0\le z\le 1$ reaches $A$.

The analytic determinant square root for accretive symmetric matrices must follow that continuation, rather than an arbitrary scalar principal root of $\det A$. Explicitly, put $C=G^{-1/2}B{G}^{-1/2}$ and let its real eigenvalues be $b_j$. Thenwhere each factor has positive real part. This is the determinant square root normalized positively on real positive matrices. AlsoThus the quadratic-form square root has the unambiguous branch with positive real part. The accretive complex quadratic reciprocal Fourier transform isUniform local integrability of the right side justifies its analytic continuation as a tempered distribution, not merely pointwise away from the origin.

For the particular form,Substitution gives the required normalized expressionFor every nonzero real $\xi$, the radicand has positive real part, so the specified square root exists uniquely. Both sides are regular tempered distributions, despite their locally integrable singularities at zero.

Use the prescribed harmonic convention $e^{i\omega t}$. For a propagating acoustic plane wave, let $k=(\omega /c_0)\cos \theta$ and $\ell =(\omega /c_0)\sin \theta >0$. The incident and reflected pressure amplitudes in the upper half-space have vertical factors $e^{i\ell y}$ and $e^{-i\ell y}$ respectively:The linear homentropic acoustic equations imply $i\omega {\rho }_0{v}_y=-{\partial }_y{p}^{\prime }$. At the surface, the normal velocity is therefore $\ell (R-A)/({\rho }_0\omega )=-V$, while the pressure amplitude is $P=A+R$. The surface acoustic impedance condition $P=ZV$ givesHere $Z_f$ is the normal acoustic impedance; the angle in this question is measured from the horizontal, not the normal. For a passive acoustic impedance, the mean power absorbed per unit area is $\frac{1}{2}\mathrm{Re}(P{V}^{\ast })=\frac{1}{2}\mathrm{Re}Z|V{|}^2\ge 0$. The four limiting cases have distinct meanings:

With no incoming wave, both fluids obey the outgoing acoustic square-root branch. Their surface pressure amplitudes areSubstitution in the sheet's force balance yields the dispersion relation for an acoustic membrane wave:The equivalent denominator $\Delta =\gamma (T{k}^2-m{\omega }^2)-2{\rho }_0{\omega }^2$ is useful away from the branch points $\gamma =0$. For real guided modes with $|k|>k_0$, this is the familiar added mass of an evanescent fluid layer formThe normal fields decay away from the sheet; continued by analytic continuation roots may describe radiating or leaky modes.

On $D=0$, $T{k}^2-m{\omega }^2=2{\rho }_0{\omega }^2/\gamma$, so the impedance from the preceding solution isThus the divergence of the reflection coefficient corresponds to a reflection pole of a fluid-loaded membrane. The prescribed incoming amplitude is zero, but a homogeneous fluid-sheet mode can have nonzero amplitude. This is a resonance or guided-mode pole of the analytic scattering problem, not arbitrarily large passive reflection at a real propagating angle. In particular, an undamped guided mode has an evanescent normal field and therefore a complex incidence angle in the plane-wave continuation. For real propagating incidence, $Z_f>0$ and the finite-mass, finite-tension sheet has a purely imaginary structural impedance, so its passive reflection remains bounded.

Apply a Feynman parameter and shift the loop momentum to $\ell =p+xk$. The common denominator becomes $[{\ell }^2+M_x^2{]}^2$, whereFor positive $M_x^2$, the Gamma-integral representation $a^{-2}={\int }_0^{\infty }dss{e}^{-sa}$ and a Gaussian integral giveThis formula initially converges for $\mathrm{Re}d<4$ and defines the Euclidean massive loop integral at other dimensions by analytic continuation. Consequently,With $d=6-ϵ$, the Gamma function factor is $\Gamma (-1+ϵ/2)=-2/ϵ+O(1)$. Only its pole matters: the other factors can be evaluated at $ϵ=0$ when extracting that pole. Since ${\int }_0^{1}x(1-x)dx=1/6$,This is the one-loop two-point divergence in six-dimensional cubic scalar theory. Its polynomial momentum dependence is precisely what permits subtraction by local counterterms.

Interpret the paired indices $(i,k)$ as incoming and $(j,l)$ as outgoing. For self-conjugate particles in the real vector representation of the orthogonal group, crossing the second incoming particle with the second outgoing one givesThe continuation $\theta \mapsto i\pi -\theta$ exchanges the trace and permutation tensor structures and leaves the identity structure fixed. Therefore crossing symmetry imposesThese are analytic relations; they do not determine the three functions completely.

For unitarity, act on the two-species tensor product with the O(N)-invariant S-matrix $S=S_{2}I+S_{3}P+S_{1}K$. The invariant operators obey $P^2=I$, $PK=KP=K$ and $K^2=NK$. Writing $S_a^{-}=S_a(-\theta )$ and multiplying $S(\theta )S(-\theta )=I$ givesThe three invariant operators are independent for $N\ge 2$. Equivalently, the orthogonal-invariant scattering channels have amplitudesand each satisfies $s_a(\theta )s_a(-\theta )=1$. The trace singlet, symmetric traceless and antisymmetric channels have dimensions $1$, $N(N+1)/2-1$ and $N(N-1)/2$. For $N=2$ these are $1,2,1$. With Hermitian analyticity of a two-particle S-matrix, $S_a(-\theta )=S_a(\theta {)}^{\ast }$ on the real axis, so each channel has unit modulus. This expresses conservation of scattering probability.

The Faddeev-Zamolodchikov algebra orders particle operators by rapidity. Its associativity requires that a product of three operators be independent of parentheses and, in particular, that both sequences of adjacent exchanges give the same final ordered species word with the same coefficient. This is the Faddeev-Zamolodchikov associativity constraint, or spectral Yang-Baxter equation. The exchanges do not use the ordinary creation/annihilation normal ordering convention.

Take ${\theta }_1>{\theta }_2>{\theta }_3$, with $\theta ={\theta }_1-{\theta }_2$, ${\theta }^{\prime }={\theta }_2-{\theta }_3$, and abbreviateFor $N=2$, start with $A_1({\theta }_1)A_1({\theta }_2)A_2({\theta }_3)$ and compare the coefficient of $A_1({\theta }_3)A_2({\theta }_2)A_1({\theta }_1)$. First exchange positions $1,2$, then $2,3$, then $1,2$. The initial equal-index exchange givesFrom the first term, the specified final word is reached through $b_2{c}_3$; from the second term, the intermediate equal-index exchange uses $b_1$ to produce species $1$, followed by $c_2$. Thus this exchange route has coefficientFor the other route, first exchange positions $2,3$, then $1,2$, then $2,3$. The first exchange is between different indices and gives $c_2{A}_1({\theta }_1)A_2({\theta }_3)A_1({\theta }_2)+c_3{A}_1({\theta }_1)A_1({\theta }_3)A_2({\theta }_2)$. The first term reaches the target through $b_3{a}_3$, and the second reaches it through $(b_1+b_2+b_3)a_2$. ThereforeEquate these two coefficients, cancel the common term $a_2{b}_2{c}_3$, and rearrange:Restoring the three arguments gives the required scalar Yang-Baxter equation. The derivation starts in the ordered physical region $\theta ,{\theta }^{\prime }>0$; the identity extends to other values by the same scattering analytic continuation, wherever its factors are defined. Associativity must hold coefficient by coefficient for every species word; this displayed relation is one necessary component.

Two holomorphic function elements represent the same germ of a holomorphic function at $z$ if they agree on some neighbourhood of $z$. For a holomorphic $f$ on an open $D\subseteq G$, set $U(f,D)=\{[f{]}_z:z\in D\}$. These sets form a basis of a topology on the space of germs of holomorphic functions: every germ lies in one, and if a germ lies in two, equality of the representatives on a smaller neighbourhood supplies a basis of a topology set in their intersection. Declaring arbitrary unions of basis of a topology sets open therefore gives a topology.

Different base points are separated by disjoint small discs in $G$. If two different germs have the same base point, choose representatives on one connected small disc. Their sheets are disjoint: any common germ elsewhere on that disc would force equality throughout the disc by the identity theorem. This proves the Hausdorff property.

The projection $\pi ([f{]}_z)=z$ maps each sheet $U(f,D)$ homeomorphically onto $D$. Use these maps as complex charts. On overlaps their transition functions are the identity, hence holomorphic; thus each connected component is a Riemann surface, and $\pi$ is a local biholomorphism, an analytic germ projection. For completeness, second countability of a component follows by following continuation chains through a countable basis of a topology of rational discs: starting at one germ, finite chains of such discs give only countably many continuation sheets, by uniqueness on overlaps, and they cover every germ in that component.

A complete analytic function consists of all germs reachable from one initial germ by analytic continuation. The supplied path-lifting equivalence identifies these with its path component. Since the germ space is locally path connected, connected components and path components agree. Thus its continuation surface is exactly one component ${\mathcal{G}}_{\mathcal{F}}$.

A local biholomorphism need not evenly cover the whole base; the germ projection is an analytic covering in this local sense. The examples below distinguish a genuine regular covering map from a surjective nonregular projection, with the meaning of regular stated explicitly.

Analytic continuation extends a holomorphic function by holomorphic elements agreeing on overlaps; along a path, a chain of overlapping neighbourhoods transports the initial element. The identity theorem makes compatible continuation unique on connected overlaps, although different paths can lead to different branches.

Choose the principal complex logarithm and the slit domain $D=\mathbb{C}\setminus [1,\infty )$. On $D$, the functionis holomorphic, with the removable value $h(0)=1$. The domain $D$ is simply connected, so $h$ has a primitive and its integral from $0$ to $z$ is independent of the path in $D$. For $|z|<1$, the uniformly convergent power series on compact subdiscs givesTherefore $f$ is a single-valued analytic continuation of the dilogarithm to $\mathbb{C}\setminus [1,\infty )$. The apparent problem at $0$ is removable; $1$ is a genuine branch point, even though the function has a finite one-sided limit there, because its derivative has a logarithmic singularity. Other cuts from $1$ to infinity give corresponding branches.