The transitive set of hereditarily countable sets satisfies every ZFC axiom except the Axiom of power set. For internal definable functions on a countable domain, ambient Axiom schema of replacement gives a countable range of hereditarily countable sets, which belongs to the structure by countable-subset closure. The same closure proves axiom schema of collection and retains countable choice-function graphs. All subsets of $\omega$ are elements, but their uncountable full power set is not an element, so Power Set fails.

For a finite module acted on by a cyclic group, write $D=\sigma -1$ and $N=1+\sigma +\cdots +{\sigma }^{n-1}$. The two Tate cohomology group sizes are $|\ker D|/|NM|$ and $|\ker N|/|DM|$. The equalities $|NM|=|M|/|\ker N|$ and $|DM|=|M|/|\ker D|$ show that these sizes are equal. The exact-sequence multiplication rule for the Herbrand quotient consequently makes it unchanged by finite-index modifications of lattices.

For a symmetric reentrant notch opening towards negative $x_1$, let its semi-angle be $0\le \gamma \le \pi /2$. On the upper free face, tensile tangential stress selects $p=-k$, $\varphi =\pi /4-\gamma$. The adjacent centred fan has radial $\beta$ lines and circular $\alpha$ lines: $\varphi =\vartheta -\pi /2$, $p=-k+2k[\vartheta -(3\pi /4-\gamma )]$, for $\pi /4\le \vartheta \le 3\pi /4-\gamma$. It joins a constant stress region containing the forward axis, where $\varphi =-\pi /4$ and $p=-k(1+\pi -2\gamma )$. Therefore ${\sigma }_{22}=k(2+\pi -2\gamma )$ in that fully plastic notch-tip region. This is a local stress field, not a claim that an arbitrary specimen is plastically yielded everywhere.

In a uniform isotropic material, these scalar P-SV displacement potentials separate longitudinal P waves from vertically polarized SV-waves in an $x,z$ plane. They satisfy ${\varphi }_{tt}={\alpha }^2\Delta \varphi$ and ${\psi }_{tt}={\beta }^2\Delta \psi$, with compressional and shear speeds $\alpha ,\beta$. Reversing the sign convention for $\psi$ changes its polarization column but not the physical P-SV directional impedance matrix or the separate modal energy fluxes.

The displayed space curve, $s>0$, lies on a cone and is parametrized by arc length. It has a constant tangent angle with its axis, while the turn spacing shrinks geometrically toward the limiting apex. Its curvature is $1/(\sqrt{2}s)$: differentiate its unit tangent with respect to $s$. Infinitely many turns accumulate at the apex with finite arc length; the apex itself is not a regular point of the curve.

A moderately enhanced Hubble parameter raises the primordial helium mass fraction through earlier cosmological weak freeze-out and less free-neutron decay after freeze-out, provided nuclear burning still incorporates nearly all surviving neutrons into helium-4. This provision matters: if expansion carries the gas through the nuclear-burning temperature range faster than the reaction times, neutron-limited helium synthesis no longer applies. More neutrons surviving the bottleneck alone does not prove more final helium in that limit.

If the Friedmann equation remains approximately $H^2=8\pi G\rho /3$, radiation domination and fixed weak microphysics give $H\propto \sqrt{G}{T}^2$ and a neutron-proton conversion rate proportional to $T^5$. Cosmological weak freeze-out then occurs at $T_f\propto G^{1/6}$. Increasing $G$ during this era raises the neutron-to-proton ratio at freeze-out and shortens the time for free-neutron decay after freeze-out. Both increase the primordial helium mass fraction when neutron-limited helium synthesis remains efficient. Arbitrary variation of $G$ over time requires its history and the full gravitational field equations; this scaling is a controlled background approximation, rather than a complete model of gravity with arbitrary time dependence.

Suppose a small spherical head co-translates with the large-scale flagellar flow and rotates at $\Omega -\omega$, while the local ambient rotation is approximated by $\Omega$. Its force is neglected and its torque on the fluid is $-8\pi \mu a^3\omega$. Balance this against the axial resistance matrix of a slender helix, with local coefficient $C=4\pi \mu /|\log ϵ|$, to obtain the displayed swimming speed and motor power $8\pi \mu a^3{\omega }^2$. This is an entrainment approximation, distinct from treating the head as an isolated sphere in stationary fluid.

A Fourier mode of the normal-ordered fermion density is a fermionic current. On the finite-energy domain its defining sum has finitely many nonzero actions on each occupation vector. The modes satisfy $J_n^{\ast }=J_{-n}$ and $[J_n,J_m]=n{\delta }_{n+m,0}I$. The zero mode is charge; positive modes annihilate charge ground states and negative modes create the oscillators in the fermion-boson correspondence on the circle.

Heegaard Floer homology assigns groups $H{F}^{\circ }(Y,\mathfrak{s})$ to a closed oriented three-manifold with a Spin-c structure. A pointed Heegaard diagram of genus $g$ gives product Lagrangian tori ${\mathbb{T}}_{\alpha },{\mathbb{T}}_{\beta }\subset {\mathrm{Sym}}^g(\Sigma )$; the chain complex is generated by their intersection points and its differential counts Whitney disk classes represented by holomorphic disks. The minus, infinity, plus and hat versions use different powers or quotients of the variable $U$. The Heegaard Floer cobordism maps and the Mixed Heegaard Floer invariant relate these groups to smooth four-dimensional topology.

The least genus of a Heegaard surface among all Heegaard splittings of a closed orientable three-manifold. Having a splitting of genus $g$ only proves $g_H(M)\le g$; stabilization supplies larger-genus splittings of the same manifold.

Two nonseparating compressing disks on opposite sides with the same boundary form an embedded sphere. Cutting each handlebody along its disk leaves it connected, so the sphere is nonseparating in the glued three-manifold. Capping the two resulting sphere boundaries gives a splitting of one lower genus of the remaining summand; the removed summand is $S^1\times S^2$.

For ${\Phi }^a=f(r)x^a/r$ and $A_i^a={ϵ}_{iaj}{x}^j\alpha (r)$ with $[e_a,e_b]={ϵ}_{abc}{e}_c$, set $K=1+r^2\alpha$. The equation $B=-D\Phi$ equates radial coefficients to give $f^{\prime }=-2\alpha -r^2{\alpha }^2$ and transverse coefficients to give $r{\alpha }^{\prime }+2\alpha =-f/r-r\alpha f$. These are exactly the displayed two radial equations. The sign depends on the chosen orientation and on the order of indices in the gauge ansatz.

For a Bogomolny-Prasad-Sommerfield monopole, the dimensionless radial Bogomolny equations are $dK/d\rho =-KH$ and $dH/d\rho =(1-K^2)/{\rho }^2$. The displayed profiles solve both equations: differentiating $\rho /\sinh \rho$ gives $K(1/\rho -\coth \rho )=-KH$, while differentiating $H$ gives $1/{\rho }^2-{\mathrm{csch}}^2\rho =(1-K^2)/{\rho }^2$. At the origin $K=1-{\rho }^2/6+O({\rho }^4)$ and $H=\rho /3+O({\rho }^3)$, giving a regular core. At infinity $K$ decays exponentially and $H=1-1/\rho +O(e^{-2\rho })$, giving the vacuum Higgs magnitude and a long-range Abelian magnetic field.

On a Fourier series put $U_p(\sum a_n{q}^n)=\sum a_{pn}{q}^n$ and $V_{p}f(q)=f(q^p)$. These auxiliary operators need not individually preserve the level-one modular form space. Nevertheless $U_p{V}_p=1$, and the Fourier coefficients of a composite-index Hecke operator give $T_{p^r}={\sum }_{j=0}^r{p}^{j(k-1)}{V}_p^j{U}_p^{r-j}$. Multiplication by $T_p=U_p+p^{k-1}{V}_p$, using $U_p{V}_p=1$, gives the displayed recurrence. In particular the distinction between $U_p{V}_p=1$ and $V_p{U}_p\ne 1$ is essential.

For a normalized level-one cusp form Hecke eigenform of weight $k$, fix a prime number $p$ whose local quadratic has distinct roots. Hecke multiplication relations give $b_e=x{b}_{e-1}-b_{e-2}$ for $b_e=a_{p^e}/p^{e(k-1)/2}$ and real $x=a_p/p^{(k-1)/2}$. If $|x|<2$, write $x=2\cos \theta$; then $b_e=\sin ((e+1)\theta )/\sin \theta$. Periodicity when $\theta /(2\pi )$ is rational, and density of irrational rotations otherwise, give infinitely many $b_e\ge 1/2$. If $|x|>2$, the distinct real reciprocal roots give positive unbounded even-index terms. Reality follows from Hecke operators are self-adjoint for the Petersson inner product.

Over the polynomial parameter ring, the generic Hecke algebra has basis $(T_w{)}_{w\in W}$ and multiplicationThe parameters must agree for conjugate simple generators; equivalently, $(T_i-a_i)(T_i+1)=0$ together with the braid relations presents the algebra.

Triangulate a torus using the seven vertices of the complete graph $K_7$ and oriented triangles $(i,i+1,i+3)$ and $(i,i+3,i+2)$, with indices modulo seven. Every edge occurs twice with opposite orientations; each vertex has a cyclic link. The Euler characteristic is $7-21+14=0$. Its dual graph is the Heawood graph. This dual map has seven disc faces, each adjacent to all the others, so it needs seven face colors although its edges have a Tait coloring.

Suppose $d{r}_t=a(r_t)dt+b(r_t)d{W}_t$ under a risk-neutral measure and $f_t(T)=F(T-t,r_t)$. By Itô formula, the forward-rate volatility is ${\sigma }_t(T)=b(r_t)F_r(T-t,r_t)$. The Heath-Jarrow-Morton model drift restriction is equivalent toTo verify it directly for bonds, put $G(\theta ,r)={\int }_0^{\theta }F(s,r)ds$. Integration gives $F-r=a{G}_r+\frac{1}{2}{b}^2{G}_{rr}-\frac{1}{2}{b}^2{G}_r^2$. The zero-coupon bond price $P(t,T)=e^{-G(T-t,r_t)}$ therefore satisfiesIts bank-account-discounted price is a positive local martingale. A common equivalent local martingale measure excludes admissible arbitrage for any finite collection of these traded maturities.

With deterministic Hilbert-space-valued volatility, a deterministic initial curve and the Heath-Jarrow-Morton model drift restriction, the instantaneous forward rate is a Gaussian random field indexed by observation time and maturity. Put $\Sigma (t,T)={\int }_t^T\sigma (t,u)du$. Absence of arbitrage requires $\alpha (t,T)=⟨\sigma (t,T),\Sigma (t,T)⟩$. Indeed, Itô formula gives bond drift $r_t-{\int }_t^T\alpha (t,u)du+\Vert \Sigma (t,T){\Vert }^2/2$; equating it to the short rate and differentiating in maturity yields this restriction. The field covariance isFinite-dimensional volatility spaces give finite-factor models; an infinite-dimensional space permits much richer maturity correlations. Gaussian rates can be negative. Deterministic volatility gives explicit zero-coupon bond and bond-option formulas.