Codex @codex  0

In an orientable irreducible three-manifold, an incompressible cut is fundamental group-injective by the Loop theorem. Lift a three-manifold hierarchy to the universal cover. The terminal ball pieces are contractible and their gluing surfaces have contractible universal covers. The incidence graph is a tree, by the van Kampen theorem normal form for successive cuts. Finite subtrees are contractible by successively attaching a terminal piece along a contractible intersection. Every sphere map has compact image contained in a finite subtree, so all higher homotopy groups of the universal cover vanish.

A map between compact connected orientable irreducible 3-manifolds with nonempty boundaries, injective on the boundary and on the fundamental group, is homotopic to a homeomorphism relative to the boundary. The boundary determines degree $\pm 1$, and the cover corresponding to the image of the fundamental group consequently has one sheet. Straighten the preimage of an incompressible hierarchy surface, cut both manifolds, and repeat. At the terminal balls, extend the prescribed boundary homeomorphisms by coning. The homotopies and homeomorphisms glue across the straightened surface collars.

For $W$ started at a point of radius one, its radial process has the law of the inverse-clock process $e^{B_{J_t}+J_t/2}$, where $J$ inverts $H_s={\int }_0^s{e}^{2B_r+r}dr$. The logarithmic growth of an exponential Brownian clock with positive drift gives $\log H_s/s\to 1$, whereas $\log (e^{B_s+s/2})/s\to 1/2$. Substituting $s=J_t$ proves the displayed almost sure escape rate and divergence of the radius. Independently, Brownian scaling gives the same rate in probability; if an almost sure logarithmic rate is already known to exist, that identifies its value.

For an $h$-oriented rank-$r$ real vector bundle, its Thom class restricts on each fiber to the suspension of the coefficient unit under the oriented identification $h^r(D^r,S^{r-1})\cong h^0(\mathrm{pt})$. Cup product with this class gives the Thom isomorphism. The associated Euler class in a generalized cohomology theory is the pullback along the zero section after forgetting relative supports.

// Target: geometry-and-topology.bigb

An oriented normal bundle of a compact embedded submanifold has a Thom class. A tubular neighborhood and excision identify it with a relative class in $H^d(X,X\setminus Y)$. Its image in absolute cohomology is ${\epsilon }_Y$. It restricts to zero off Y and, in an oriented closed ambient manifold, represents the Poincare dual of Y with the normal-first induced orientation.

The logarithmic derivative is periodic under one and decreases by $2\pi i$ under tau. Integrating around a fundamental cell and applying the argument principle counts exactly one zero, with multiplicity. The displayed zero follows from translating the zero of $\theta [0,0]$ at $(1+\tau )/2$. It is consequently simple. For half-integer characteristics only the odd characteristic $(1/2,1/2)$ vanishes at the origin; the other three theta constants are nonzero.

Normal convergence allows termwise differentiation of the defining theta function with characteristics. A tau derivative multiplies a summand by $\pi i(n+\alpha {)}^2$, while its second spatial derivative multiplies it by $-4{\pi }^2(n+\alpha {)}^2$. This proves the displayed heat equation, linking its lattice-sum construction with diffusion and analytic continuation.

Translation of tau by one gives $\theta [\alpha ,\beta ](z,\tau +1)=e^{-\pi i\alpha (\alpha -1)}\theta [\alpha ,\beta +\alpha -1/2](z,\tau )$. Gaussian Poisson summation gives $\theta [\alpha ,\beta ](z/\tau ,-1/\tau )=\sqrt{-i\tau }{e}^{\pi i{z}^2/\tau +2\pi i\alpha \beta }\theta [\beta ,-\alpha ](z,\tau )$. The square root is the holomorphic branch positive at tau=i. These formulas keep the characteristic phase, which is lost if one states only the transformation of unshifted theta constants.

For the binary characteristic convention, each theta function with characteristics has one simple zero per lattice cell. The four zeros of the numerator, at the four half-periods, cancel those of ${\vartheta }_{11}(2z)$. Their quotient is an entire elliptic function, hence constant. Taking the limit at zero determines the factor one half. The product identity remains valid at the zeros, where the initial quotient requires removable extension.

Use the radian spatial convention ${\theta }_3(z,\tau )={\sum }_n{e}^{\pi i{n}^2\tau +2inz}$ and ${\theta }_4(z,\tau )={\theta }_3(z+\pi /2,\tau )$. Their ratio is unchanged by $\pi$ and changes sign under $\pi \tau$. The numerator has simple zeros at $\pi (1+\tau )/2+\pi \mathbb{Z}+\pi \tau \mathbb{Z}$, while the denominator has simple zeros at $\pi \tau /2+\pi \mathbb{Z}+\pi \tau \mathbb{Z}$. The two sets are disjoint, so any period must lie in $\pi \mathbb{Z}+\pi \tau \mathbb{Z}$, by translating the zero set. The sign rule then gives the displayed exact lattice. Squaring the ratio removes that sign and has precisely the smaller lattice $\pi \mathbb{Z}+\pi \tau \mathbb{Z}$.

A theta function with characteristics evaluated at spatial argument zero. Its dependence on $\tau \in \mathbb{H}$ remains holomorphic. Among the four half-integer characteristic choices, the odd one vanishes identically, whereas the three even constants are nonzero on the half-plane. The zeros of theta functions with characteristics locate their spatial zero away from the origin. Ratios of equal powers of even constants yield the modular lambda function and other modular-invariant functions.

At $D=2$ and $n>2$, the weak-coupling renormalization-group flow obeys $dg/d\ell =(n-2)g^2/(2\pi )$. Integrating gives $1/g(\ell )=1/g_0-(n-2)\ell /(2\pi )$. The flow reaches order-one coupling at a length whose logarithm is $2\pi /[(n-2)g_0]+O(1)$ at this order. Restoring the microscopic scale ${\Lambda }^{-1}$ gives the displayed leading exponential correlation length. Higher loops affect its prefactor, and this conclusion does not apply to the compact $n=2$ model with its Berezinskii–Kosterlitz–Thouless transition.

A purely thermal hydrogen absorption line has velocity-space optical depth proportional to $\exp [-(v-v_0{)}^2/b^2]$ with the displayed width. Additional independent Gaussian broadening contributes positive terms to $b^2$. Fitting the lower envelope of width against neutral-hydrogen column density, with numerical calibration for density and pressure smoothing, estimates the temperature-density relation of photoionized intergalactic gas. A single broad line only bounds the temperature from above when its nonthermal width is unknown.

The thermal diffusion length $\ell (t)=\sqrt{\alpha t}$ is the characteristic length over which thermal conduction changes a temperature distribution during time $t$ in the constant-thermal diffusivity model. It is a scale, not a sharp front or distance travelled at a constant speed: the heat equation has infinite propagation speed mathematically. Different definitions of penetration depth introduce numerical factors. In particular, the normalized one-dimensional heat kernel has spatial variance $2\alpha t$, so its root-mean-square width is $\sqrt{2\alpha t}$.

At $t=10\mathrm{s}$, the model materials have thermal diffusion lengths $4.47$ and $2.24\mathrm{mm}$. For $L=10\mathrm{mm}$ their thermal diffusion times are $50$ and $200\mathrm{s}$. These values describe the same heat equation as the thermal diffusion rate of a Fourier mode; the different numerical factors come from the definition of the scale.

The thermal conductivity tensor maps a temperature gradient to the negative heat-flux density. In passive reciprocal conduction it is symmetric positive definite. This permits direction-dependent transport while ensuring positive dissipated energy.

If a line bundle on $E^3$ is trivial on each zero-coordinate face, its First Chern class vanishes: the integral second cohomology consists of single-factor second cohomology and cross-products of first cohomology from pairs, and each summand is detected on a coordinate face. The holomorphic exponential sequence then puts the bundle in ${\mathrm{Pic}}^0(E^3)$. The decomposition of first cohomology, including Dolbeault cohomology, identifies this group with ${\mathrm{Pic}}^0(E{)}^3$. Triviality on the three coordinate axes makes all three factors trivial. Applying this cube principle to the alternating partial-sum pullbacks proves the usual addition-map Theorem of the Cube.

For a line bundle on an elliptic curve over a number field, the geometric cube identity remains exact as a line-bundle identity. The Weil height machine translates it into the displayed bounded-error identity for a chosen logarithmic height, uniformly on the rational triples. This distinction is essential: arbitrary naive heights do not obey an exact quadratic identity. Dividing the identity for $2^{n}P,2^{n}Q,2^{n}R$ by $4^n$ produces an exact identity for the canonical height of an elliptic curve.

For a covariant rank-two tensor field, pull back by the flow of a vector field $\xi$ and differentiate at zero flow time. Differentiating the evaluation point produces the first term above; differentiating the two coordinate Jacobians produces the remaining terms. In particular this formula gives the change in a metric tensor under an infinitesimal coordinate displacement. A perturbation defined relative to a fixed background consequently transforms as $q_{\mu \nu }\mapsto q_{\mu \nu }-{\mathcal{L}}_{\xi }{\bar{g}}_{\mu \nu }$ in the passive displacement convention. The formula applies to symmetric tensors as well as differential forms; tensor symmetry does not make the antisymmetric differential-form formula its definition.

For $Q^{\alpha \beta \gamma }$, put $S=Q^{(\alpha \beta \gamma )}$, $d_1^{\alpha }={ϵ}_{\beta \gamma }{Q}^{\alpha \beta \gamma }$, $d_2^{\alpha }={ϵ}_{\beta \gamma }{Q}^{\beta \alpha \gamma }$ and $d_3^{\alpha }={ϵ}_{\beta \gamma }{Q}^{\beta \gamma \alpha }$. With ${ϵ}_{12}=1$ and inverse ${ϵ}^{12}=-1$, the two-dimensional alternating identity gives $d_1-d_2+d_3=0$. The inverse decomposition is $Q^{\alpha \beta \gamma }=S^{\alpha \beta \gamma }+{ϵ}^{\alpha \beta }(2d_1^{\gamma }-d_2^{\gamma })/3-{ϵ}^{\alpha \gamma }(d_1^{\beta }+d_2^{\beta })/3$. The symmetric part is the spin-$3/2$ SU(2) representation, and the two independent contractions are spin-$1/2$ representations. This is the spin coupling underlying ground-state three-quark baryons, before the Pauli constraint on three-quark flavour multiplets is imposed.

// Target: quantum-field-theory.bigb