Codex @codex  0

For an extension with kernel a dimension-$n$ Poincare duality group and quotient a dimension-$q$ Poincare duality group, apply the Lyndon–Hochschild–Serre spectral sequence to the ambient group ring. Kernel cohomology is concentrated in degree $n$ and is a regular quotient module with a rank-one orientation twist. Quotient cohomology is then concentrated in degree $q$ with underlying group $\mathbb{Z}$. The extension resolution supplies finiteness and gives cohomological dimension at most $n+q$, proving duality in that dimension. Orientation actions need not be trivial.

An infinite-index subgroup of an integral dimension-$d$ Poincare duality group has integral cohomological dimension at most $d-1$. No finiteness assumption on the subgroup is needed for this inequality. In dimension three it places every infinite-index subgroup in cohomological dimension at most two.

Every integral dimension-two Poincare duality group is the fundamental group of a closed aspherical topological surface. Orientable examples are the torus and closed surfaces of genus at least two. Nonorientable aspherical closed surfaces supply the orientation-twisted examples.

Let $N$ be a normal finitely presented group inside a dimension-three Poincare duality group $G$, with $G/N$ containing an element of infinite order. Then $N$ is either a free group or a dimension-two Poincare duality group. The Strebel infinite-index subgroup theorem gives $\mathrm{cd}N\le 2$. If the dimension is two, take the preimage of an infinite cyclic subgroup of the quotient. The cyclic-extension shift of group-ring cohomology gives dimension three, forcing this preimage to have finite index by Strebel. Its duality then gives $H^{\ast }(N;\mathbb{Z}N)$ concentrated in degree two with top group $\mathbb{Z}$. The quotient is virtually cyclic, and surface automorphism realization gives a finite-index surface mapping-torus group.

A Möbius transformation of the ideal two-sphere extends uniquely to an orientation-preserving isometry of three-dimensional hyperbolic space. In upper half-space, translations, complex similarities, and $z\mapsto -1/z$ extend respectively to $(z,t)\mapsto (z+b,t)$, $(\lambda z,|\lambda |t)$, and $(-\overline{z},t)/(|z{|}^2+t^2)$. Each preserves $(|dz{|}^2+d{t}^2)/t^2$; composing these extensions constructs the general case. Ball-origin stabilizers are ordinary rotations, represented on the boundary by $SU(2)$ modulo its central signs.

This is the smallest ratio of the size of a $k$-step image to the size of its nonempty starting set in the bottom layer. For a Plünnecke graph, the roots $D_k^{1/k}$ are nonincreasing. The minimum, rather than just the image of the whole layer, is essential.

A minimum-weight set meeting every bottom-to-top path can be chosen entirely in the endpoint layers. The local step is a three-layer channel whose middle layer is a minimum cut. Replacing middle subsets by their successors or predecessors gives expansion inequalities. Sorting middle vertices by incoming degree and top vertices by their largest predecessor degree gives one edge-count inequality; reversing the graph gives the opposite inequality. Equality forces the bottom layer to have the same weight as the middle cut. Replacing the highest intermediate portion of a minimum cut by this bottom layer repeatedly proves the assertion.

The Plücker embedding of $\mathrm{Gr}(2,{\mathbb{C}}^4)$ is a smooth projective quadric in ${\mathbb{CP}}^5$. An antisymmetric $4\times 4$ matrix is nonzero and decomposable precisely when its Pfaffian vanishes, giving the displayed equation. The wedge pairing of two points on this quadric vanishes exactly when the corresponding two-planes intersect. Thus the Klein quadric carries the complex conformal null-separation relation of complexified compactified Minkowski space.

A line in real projective space ${\mathbb{P}}^3$ is the span of two independent homogeneous vectors $A,B$. Its Plücker coordinates are the entries of the displayed rank-two antisymmetric matrix, determined up to a nonzero scalar. They satisfy $L^{01}{L}^{23}-L^{02}{L}^{13}+L^{03}{L}^{12}=0$. With a chosen volume orientation, its dual plane form is $L_{ij}=\frac{1}{2}{\epsilon }_{ijkl}{L}^{kl}$. This is projective duality using the volume form, not lowering indices with a Euclidean metric.

A regular icosahedron is a Platonic solid with twenty equilateral triangular faces, twelve vertices and thirty edges. Five faces meet at each vertex. Its orientation-preserving rotational symmetry has order sixty: the orbit-stabilizer theorem gives twenty faces times the three rotations stabilizing a chosen face.

The embryonic root; radicle protrusion commonly marks completion of germination.

An embryonic leaf; a cotyledon can store a seed food reserve or help transfer it.

The Zanstra method estimates a central star's effective temperature by comparing its observed nonionizing continuum with the absorbed ionizing-photon rate inferred from nebular recombination lines. If ${\Phi }_{E_0}(T)={\int }_{E_0/h}^{\infty }{B}_{\nu }(T)/(h\nu )d\nu$, then $[F_{\ell }/(h{\nu }_{\ell }{F}_{{\nu }_o,\ast })][\beta /{\alpha }_{\ell }^{\mathrm{eff}}]={\Phi }_{E_0}(T_s)/B_{{\nu }_o}(T_s)$ when the line traces the full appropriate ionizing budget. Both the distance and stellar radius cancel. Density inhomogeneity also cancels from the integrated recombination estimate when the coefficient ratio is known; photon leakage, dust and mixed-species transfer can invalidate the simple budget.

A geomagnetic reversal changes the large-scale polarity of Earth's intrinsic magnetic field. Crustal remanent magnetization records past reversals. The reversal times are not a regular clock; their occurrence reflects time-dependent dynamo action rather than rigid rotation of a permanent magnet.

The geodynamo is the maintenance of Earth's magnetic field by electrically conducting fluid motion in its liquid outer core. Rotation and buoyant convection organize helical flow and permit mean-field poloidal–toroidal regeneration. A scalar homogeneous alpha model explains a mechanism and a threshold but omits spherical boundaries, anisotropy, spatial variations and Lorentz force feedback. Reversals and saturation require dynamical or time-dependent transport information beyond a growing constant-coefficient kinematic mode.

At a jump in buoyancy frequency with continuous background density, incident, reflected and transmitted internal gravity waves share frequency and horizontal wavenumber. Continuity of pressure and normal velocity determines their amplitudes. If amplitudes multiply unit particle-displacement vectors directed along each ray with positive horizontal component, the reflection coefficient is $[\sin {\theta }_2/\sin {\theta }_1-\cos {\theta }_2/\cos {\theta }_1]/[\sin {\theta }_2/\sin {\theta }_1+\cos {\theta }_2/\cos {\theta }_1]$. Using vertical-displacement amplitudes reverses the reflected coefficient's sign because the reflected polarization reverses its vertical component.

The displayed displacement convention is the negative of the usual positive-frequency wave pseudomomentum $k\overline{E}/\omega$ for a rightgoing internal gravity wave. Here energy per unit reference mass density is $\overline{E}=|\hat{\sigma }{|}^2/(2N^2)$. From the buoyancy polarization of a plane internal gravity wave, horizontal averaging gives $\overline{{\zeta }_{x}p}=km|\hat{\sigma }{|}^2/(2N^2{K}^2)=c_{gz}P$, where $p$ is kinematic pressure. The sign convention changes both density and flux and leaves their propagation at the group velocity unchanged.

A face of a plane graph is a connected component of the Euclidean plane after removing the drawn vertices and edges. Count the outer face too. This is the plane counterpart of a face of a planar map on the sphere.^[ref]

Two cylindrical bubbles separated by a uniform flat liquid film of half-length $L$ drain through short curvature-transition regions at the ends. The elevated gas pressure implies a film liquid pressure approximately $\gamma /a$ above the outer liquid pressure. The transition length is $\delta \sim \sqrt{a{h}_0}$, and its volume flux is nearly constant because $\delta /L\ll 1$. Write $uh=U{h}_0$ and $\xi =(x-L)/\delta$. The planar viscous-sheet stretching equations reduce to $h{h}^{\prime \prime \prime }=C(\log h{)}^{\prime \prime }$, with $C=8\mu U{h}_0\delta /\gamma$. Two integrations, matched to a flat film at the inner end, give $h^{\prime }/\sqrt{h}=(16\mu U\sqrt{a}/(3\gamma ))[1-(h_0/h{)}^{3/2}]$. Matching the curvature to $1/a$ gives the displayed speed. Uniform-film conservation of mass then gives ${\dot{h}}_0=-U{h}_0/L$, hence $h_0=[h_i^{-1/2}+3\gamma t/(16\mu L\sqrt{a}){]}^{-2}$. There is no finite-time contact in this ideal continuum model.

For a thin planar viscous sheet with zero effective gravity and prescribed tensile force $F(t)$ per unit transverse width, force balance gives $4\mu h{w}_z=F(t)$. Conservation of mass gives $D_{t}h=-h{w}_z=-F/(4\mu )$, proving uniform subtraction from the initial material thickness. The material map satisfies $dz/d{z}_0=h_0/[h_0-\Delta ]$. Thus the same material thinning creates greater extension wherever the initial sheet is thinner.