For a group action of $G$ on $X$, the orbit of a group action through $x$ is $Gx=\{gx:g\in G\}$, and its stabilizer subgroup is $H_x=\{g:gx=x\}$. A transitive group action has one orbit. A simply transitive group action has exactly one element carrying any given point to any other; equivalently it is transitive and every stabilizer subgroup is trivial.

In the modern terminology, a multiply transitive group action is transitive on ordered $k$-tuples of distinct points for some $k\ge 2$. In older geometric usage, the phrase can instead mean transitive but not simply transitive, so that there are several elements carrying one point to another. Under either interpretation the action is transitive, and that alone is what the following argument needs. These meanings should not be confused: a transitive action with nontrivial stabilizers need not be two-transitive.

Fix $x_0\in X$ and put $H=H_{x_0}$. DefineThis is well-defined because every element of $H$ fixes $x_0$. It is surjective by transitivity, and $g{x}_0=g^{\prime }{x}_0$ is equivalent to $g^{\prime -1}g\in H$, proving injectivity. For a smooth Lie group action, $H$ is closed, since it is the inverse image of $x_0$ under the orbit map. The orbit map has constant rank: translations in $G$ and the action diffeomorphisms of $X$ intertwine its differentials. Transitivity makes this rank $\dim X$; otherwise every point would be a critical value, contradicting Sard theorem. Its local submersion charts give smooth local sections and hence a smooth inverse for $F$. ThereforeChoosing $x_1=a{x}_0$ replaces $H$ by $aH{a}^{-1}$. Thus the stabilizer subgroup is determined by the base point, and intrinsically only up to conjugacy. A simply transitive group action gives $H=\{e\}$.

For a finite quantum system with Hilbert space $\mathcal{H}={\mathbb{C}}^{n+1}$, a pure state is a nonzero vector modulo multiplication by a nonzero complex number. Equivalently, it is a unit vector modulo its physically irrelevant phase. Consequently the space of pure states is the space of complex lines,The qualification “pure” is essential: arbitrary quantum states include mixed density matrices and do not form Complex projective space.

The unitary group $U(n+1)$ acts transitively on these lines: choose unit vectors in two given lines, complete each to an orthonormal basis, and map one basis to the other by a unitary transformation. The stabilizer of the line $\mathbb{C}{e}_0$ consists exactly of block matrices $\mathrm{diag}(z,V)$ with $z\in U(1)$ and $V\in U(n)$. Indeed a unitary transformation preserving the line also preserves its orthogonal complement. The homogeneous space description is thereforeIts real dimension is $(n+1{)}^2-1-n^2=2n$. This action is generally not two-transitive: the absolute inner product between unit representatives of two lines is invariant.

The Hopf fibration is the projection $\pi :S^{2n+1}\to {\mathbb{CP}}^n$, $z\mapsto [z]$. The right action $z\cdot \lambda =z\lambda$, $\lambda \in S^1$, is free, and its orbits are exactly the fibres. On the chart $U_i$ where $z_i\ne 0$, write $w_j=z_j/z_i$ for $j\ne i$. A smooth local section isEvery unit vector over this chart has the unique expression $z={\sigma }_i([z])\lambda$, where $\lambda =z_i/|z_i|$. These formulas provide local trivializations ${\pi }^{-1}(U_i)\cong U_i\times S^1$, proving that this is a principal bundle with fibre $S^1$. For $n\ge 1$ it has no global section: a global section would give $S^{2n+1}\cong {\mathbb{CP}}^n\times S^1$, contradicting their fundamental groups. For $n=0$ the base is a point and the bundle is trivial.

For the Lie algebra $\mathfrak{g}$ of a Lie group $G$, let ${\mathrm{ad}}_X(Y)=[X,Y]$. The Killing form is the symmetric bilinear formFor a finite-dimensional real Lie algebra, the Cartan criterion for semisimplicity says that $B$ is nondegenerate precisely when $\mathfrak{g}$ is a semisimple Lie algebra. Thus a semisimple Lie group supplies the required condition. Compactness alone is insufficient: an abelian Lie algebra, including that of a torus, has zero Killing form.

The Jacobi identity gives ${\mathrm{ad}}_{[Z,X]}=[{\mathrm{ad}}_Z,{\mathrm{ad}}_X]$. Cyclic invariance of the trace therefore givesThere is also invariance under the full Adjoint representation of a Lie group: ${\mathrm{ad}}_{{\mathrm{Ad}}_{a}X}={\mathrm{Ad}}_a{\mathrm{ad}}_X{\mathrm{Ad}}_{a^{-1}}$, so $B({\mathrm{Ad}}_{a}X,{\mathrm{Ad}}_{a}Y)=B(X,Y)$.

Define a pseudo-Riemannian metric by translating $B$ from the identity:It is smooth and nondegenerate. Left translations preserve it by construction. Right translation, expressed in left-translated tangent coordinates, acts by ${\mathrm{Ad}}_{b^{-1}}$, so it also preserves the metric. This constructs a bi-invariant pseudo-Riemannian metric.

For left-invariant vector fields, the derivative terms in the Koszul formula vanish. Invariance of $B$ then givesUse the Riemann curvature tensor convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$. Substituting the Levi-Civita connection and using the Jacobi identity yieldsThe Ricci tensor is the trace of $X\mapsto R(X,Y)Z$. Since $[[X,Y],Z]={\mathrm{ad}}_Z{\mathrm{ad}}_{Y}X$, it follows thatThis is the Killing-form Einstein metric. Rescaling to $g=cB$, with nonzero constant $c$, gives Einstein metric constant $-1/(4c)$.

For a compact semisimple Lie group, $B$ is negative definite and $-B$ is a positive-definite bi-invariant Riemannian metric. For example, $SU(2)$ has topology $S^3$ and metric signature $(0,3)$ for $B$, while $SO(3)$ has the same Lie algebra and metric signature, but topology ${\mathbb{RP}}^3$. The special linear group $SL(2,\mathbb{R})$ has metric signature $(2,1)$ and topology $S^1\times {\mathbb{R}}^2$; its universal covering Lie group has topology ${\mathbb{R}}^3$ and the same Killing form. The real Lie algebra of $SL(2,\mathbb{C})$ has metric signature $(3,3)$, and the group has topology $S^3\times {\mathbb{R}}^3$. Thus the Killing form distinguishes compact from noncompact directions in these semisimple examples, but does not determine global topology or distinguish different covering groups.

Keep the unit-normal sign explicit: $n^a{n}_a=\epsilon \in \{+1,-1\}$. Since the hypersurface is spacelike its normal is timelike. ConstructChoose the sign of n for the desired time orientation. The pullback of h is the nondegenerate induced metric. The second fundamental form isIts sign reverses when n reverses. It is tangential in both indices and symmetric: the antisymmetric part of the derivative of a normalized gradient vanishes after both tangential projections. Equivalently it is the projected Hessian of f divided by the normalizing factor. This is the normal-change definition of extrinsic curvature.

For tangent vector fields X,Y, let D be the induced Levi-Civita connection. Orthogonality to n gives the derivative decompositionUse the curvature convention of the preceding solution, $R(X,Y)Z=[{\nabla }_X,{\nabla }_Y]Z-{\nabla }_{[X,Y]}Z$. Substitute the decomposition twice and take its tangential component. Terms differentiated normally cancel, while the two normal components contribute the quadratic shape terms:Lowering the first curvature index gives the Gauss equation for a nonnull hypersurfaceAll four displayed indices on the left are tangential.

Contract with $h^{ac}{h}^{bd}$ and use $h^{ab}=g^{ab}-\epsilon n^a{n}^b$ for tangential contractions. The double-normal term vanishes by curvature antisymmetry and each mixed contraction is ambient Ricci curvature. With $K=h^{ab}{K}_{ab}$ this givesThis also records which metric and curvature conventions enter the sign.

In vacuum without a cosmological constant, the ambient Ricci tensor and scalar vanish. A totally umbilic hypersurface has $K_{ab}=\lambda h_{ab}$, so $K=3\lambda$ and $K_{ab}{K}^{ab}=3{\lambda }^2$. Therefore the scalar curvature of an umbilic vacuum hypersurface is $6\epsilon {\lambda }^2$.

To express the requested nonnegative version, take Lorentz signature $(+---)$, so the timelike unit normal has $\epsilon =+1$ and h is the induced negative-definite spatial metric. ThenIf instead one uses signature $(-+++)$ and its positive-definite spatial metric with the same curvature-slot convention, the scalar is $-6{\lambda }^2$. Replacing h by $-h$ reverses its scalar curvature. Thus the printed inequality has a signature/induced-metric convention built into it; the general formula above makes that choice explicit rather than losing the sign. The metric in the separate final question explicitly uses the mostly-plus signature.

An orthonormal tetrad, or vierbein, is a local basis $e_I{}^a$ of tangent vectors together with inverse coframe $e_a{}^I$, satisfying $g_{ab}{e}_I{}^a{e}_J{}^b={\eta }_{IJ}$ and $g_{ab}=e_a{}^I{e}_b{}^J{\eta }_{IJ}$. Capital indices label the locally orthonormal Lorentz frame; lower-case indices label spacetime coordinates. Changing the frame by a local Lorentz transformation leaves the metric unchanged. A spinor description uses a compatible local spin frame and the torsion-free spin connection.

Let fixed flat matrices satisfy $\{{\Gamma }_I,{\Gamma }_J\}=2{\eta }_{IJ}1$. The curved spacetime gamma matrices are ${\gamma }_a=e_a{}^I{\Gamma }_I$ and ${\gamma }^a=e_I{}^a{\Gamma }^I$. ThereforeThe identity matrix is four by four for a four-dimensional Dirac spinor. The combined tensor/spin covariant derivative makes ${\nabla }_a{\gamma }_b=0$, the Clifford version of the tetrad postulate.

Fix the curvature slots by $R_{abcd}=g_{ae}{R}^e{}_{bcd}$, with $[{\nabla }_c,{\nabla }_d]v^a=R^a{}_{bcd}{v}^b$, and $R=g^{ac}{g}^{bd}{R}_{abcd}$. The torsion-free spin connection then has $[{\nabla }_a,{\nabla }_b]\psi =\frac{1}{4}{R}_{abcd}{\gamma }^c{\gamma }^d\psi$. These choices fix the signs in the requested identities.

Write ${\gamma }^{ab}={\gamma }^{[a}{\gamma }^{b]}$ and similarly for four indices. Clifford anticommutation givesOn contraction with the Riemann curvature tensor, the four-form term vanishes by the first Bianchi identity. The first and last two-form terms vanish by pair antisymmetry; the remaining two-form terms are symmetric Ricci contractions against antisymmetric gamma matrices and vanish too. The scalar terms are zero, minus R and minus R respectively. Thus the Riemann tensor Clifford contraction isThis algebraic result is independent of Lorentz signature when the contraction convention is held fixed.

Apply the Dirac operator twice, using covariant constancy of the gamma matrices. Define the rough wave operator by $\square =g^{ab}{\nabla }_a{\nabla }_b$, with the full connection acting on the intermediate covector-spinor derivative. Splitting the product into symmetric and antisymmetric parts givesConsequently the Lichnerowicz spinor-square formula and the assumed massless Dirac equation imply $\boxed{(\square -R/4)\psi =0}$. Torsion would modify the commutator and introduce extra terms, so the torsion-free connection is part of this argument.

A stationary black hole behaves mechanically like an equilibrium thermodynamic system. Its horizon area A, asymptotic energy E, angular momentum J and electric charge Q are linked by the laws of black-hole mechanics. Let ${\chi }^a=t^a+{\Omega }_H{\varphi }^a$ generate its Killing horizon, with the time translation normalized at infinity; its surface gravity is defined by ${\chi }^b{\nabla }_b{\chi }^a=\kappa {\chi }^a$ on that horizon. We use $c=1$ and keep G explicit. The horizon electrostatic potential ${\Phi }_H$ is measured relative to infinity.

The Zeroth law of black-hole mechanics states that kappa is constant on each connected stationary horizon, under the Einstein equations and suitable energy/regularity assumptions. It parallels the zeroth law of thermodynamics, which makes temperature uniform in equilibrium. Kappa need not be constant in a dynamical geometry. For an asymptotically flat static hole, local observers see gravitationally redshifted temperatures; the equilibrium quantity comparable to kappa is the temperature referenced to infinity.

The First law of black-hole mechanics relates nearby stationary solutions:The same leading relation describes a small physical process which perturbs a horizon and subsequently settles to equilibrium, with the appropriate hypotheses on fluxes and final state. The work terms correspond to rotational and electromagnetic work. The structural analogy with the first law of thermodynamics, $dE=TdS+\text{work}$, identifies area as an entropy-like variable and surface gravity as a temperature-like variable. Classically this fixes their product in the first law, rather than their separate normalizations.

The second law of black-hole mechanics, or black-hole area theorem, states that future event-horizon area does not decrease classically. Its essential geometric ingredient is the Raychaudhuri equation for affinely parametrized null generators. In four dimensions a hypersurface-orthogonal congruence obeysThe null energy condition and Einstein equations make the last term nonpositive. If the expansion became negative, the inequality would focus the generators to a conjugate point in finite affine parameter. Under future completeness and predictability assumptions, that would conflict with their remaining on an achronal event horizon. Thus $\vartheta \ge 0$, and the area element, satisfying $d\log dA/d\lambda =\vartheta$, cannot decrease. For a merger the final area is at least the sum of the initial component areas. These assumptions matter: the theorem is a classical statement, not a prohibition of quantum evaporation.

The third law of black-hole mechanics is an unattainability statement: a nonextremal hole cannot be driven to zero surface gravity in a finite physical process satisfying the usual bounded-stress and regularity conditions. This parallels the unattainability form of the third law of thermodynamics. Extremal stationary solutions exist, so the law concerns how an initially nonextremal hole approaches them. The stronger entropy form of Nernst's theorem does not transfer unchanged: extremal holes can have finite area and entropy, depending on their conserved charges.

Quantum field theory turns the mechanical analogy into a physical thermodynamic identification. Hawking radiation is thermal at infinity to leading semiclassical order, withThese give $T_H\delta S_{\mathrm{BH}}=\kappa \delta A/(8\pi G)$ exactly, so the mechanical first law becomes the thermodynamic first law with Bekenstein-Hawking entropy. Scattering through the exterior adds greybody factors to the emitted spectrum but leaves this temperature identification intact. Equilibrium with an external bath and isolated evaporation are different physical states of the field.

During black-hole evaporation, the area can decrease because the semiclassical stress tensor need not satisfy the classical null energy condition. The proposed generalized second law applies instead to $S_{\mathrm{gen}}=S_{\mathrm{BH}}+S_{\mathrm{outside}}$, asserting nondecrease of the combined entropy. A Schwarzschild hole illustrates an unusual thermodynamic property: $T_H\propto E^{-1}$, so its heat capacity is negative. It becomes hotter as it loses energy and is unstable in a simple canonical heat bath, while entropy and energy laws still describe an isolated system. The quantum temperature, area entropy and generalized second law supply the correspondence; the mechanical laws alone do not establish a thermal emission spectrum or a microscopic entropy count.

Assume standard radiation-dominated expansion, negligible chemical potential, one neutrino helicity and one antineutrino helicity, and a stable species $X$ with no later entropy injection. Use natural units and unreduced Planck mass $m_{\mathrm{pl}}\simeq 1.22\times 10^{19}\mathrm{GeV}$. The relativistic energy density is ${\rho }_R={\pi }^2{g}_{\ast }{T}^4/30$. The Friedmann equation then givesFor thermal decoupling in cosmology, equate the interaction rate $G_A^2{T}_D^5$ to $H(T_D)$:This order-of-magnitude estimate assumes the supplied rate law remains applicable there.

A decoupled relativistic species cools as $T_X\propto a^{-1}$, while annihilations heat the coupled bath. Treat the supplied high-temperature count $100$ as the remaining bath's entropy count, approximately equal to its energy count. Cosmological entropy conservation down to ordinary neutrino decoupling givesSubsequent electron-positron annihilation in cosmology heats photons but neither neutrino population. Therefore the two-stage entropy dilution of an early-decoupled neutrino givesThe ordinary Cosmic neutrino background has $T_{\nu }/T_{\gamma }=(4/11{)}^{1/3}$. If the rounded count $100$ instead includes the new two helicities, the remaining bath count is $98.25$; this changes the answer only slightly, to about $0.341$. Keeping the extra species' entropy separate is essential in either convention.

For the two relativistic fermion states, $g_{\ast s,X}=(7/8)2=7/4$. Photon and three standard neutrino species have present entropy degrees of freedom, referred to $T_{\gamma }$,Writing $\theta =T_X/T_{\gamma }$, the fractional entropy of a relativistically decoupled species isThus approximately 1.7% of the thermal particle entropy is in the new neutrinos and antineutrinos. If $100$ counts all states before the new decoupling, the fraction is $1.75\%$. These are the same rounded estimate. The question concerns the radiation/relic thermal entropy budget; it does not supply a model for entropy in later black holes or other gravitational structures.

If $X$ has a small mass but decoupled relativistically, its comoving particle number is still conserved. The relativistic-neutrino number-density ratio givesOnce nonrelativistic, ${\rho }_X\simeq m_X{n}_X$. The density bound on a relativistically decoupled massive relic is thereforeUsing the standard present photon abundance and critical-density normalization, this is approximately ${\Omega }_X{h}^2\simeq m_X/(9\times 10^2\mathrm{eV})$, where $h=H_0/(100\mathrm{km}{\mathrm{s}}^{-1}\mathrm{Mp}{\mathrm{c}}^{-1})$ is the present Hubble normalization, not a magnetic field. A stable relic must not exceed the permitted matter density; for example, if ${\Omega }_M{h}^2=0.15$, even assigning all matter to it gives only an order-$10^2\mathrm{eV}$ mass ceiling.

A stronger restriction can follow from neutrino free streaming and the observed formation of large-scale structure of the universe: a light thermal population acts as hot rather than cold dark matter, erasing structure below its streaming scale. If at most a fraction $f_{\max }$ of the matter may be in this population, replace the overclosure ceiling by $m_X\lesssim 9\times 10^2{f}_{\max }{\Omega }_M{h}^2\mathrm{eV}$. The allowed fraction is observational input and is not supplied, so the paper does not determine a unique tighter mass limit. A species still relativistic today is radiation rather than matter; its contribution to the effective number of neutrino species is $\Delta N_{\mathrm{eff}}=(T_X/T_{\nu }{)}^4\simeq 0.051$, and must instead satisfy the radiation-density constraints. These conclusions assume stable thermally populated states; decay or nonstandard entropy histories change the bounds.

For a homogeneous canonical inflaton, ${\rho }_{\varphi }={\dot{\varphi }}^2/2+V$ and $P_{\varphi }={\dot{\varphi }}^2/2-V$. Vacuum domination by a scalar field requires positive potential energy to dominate both kinetic energy and any competing material components. Then $P_{\varphi }\simeq -{\rho }_{\varphi }$ and the expansion is nearly vacuum-like. Exact scalar-driven acceleration requires ${\rho }_{\varphi }+3P_{\varphi }<0$, equivalently ${\dot{\varphi }}^2<V$; potential domination is a stronger condition.

The slow-roll approximation additionally neglects $\ddot{\varphi }$ compared with $3H\dot{\varphi }$ in the inflaton equation of motion. Define the unreduced Planck mass $m_{\mathrm{pl}}=G^{-1/2}$; it differs from the reduced Planck mass by $\sqrt{8\pi }$. Sufficient potential-flatness conditions aretogether with approach to the slow-roll attractor. The reduced equations are $H^2\simeq 8\pi V/(3m_{\mathrm{pl}}^2)$ and $3H\dot{\varphi }\simeq -V^{\prime }$.

For $V=m^2{\varphi }^2/2$, take $m>0$ and the positive-field rolling branch. ThenThe field velocity is constant to this order. Choosing the start at $t=0$ gives the quadratic-potential slow-roll solutionThe PDF puts $\pi$ inside this square root; the converted TeX incorrectly moves it outside. Next integrate $d\log a/d\varphi =H/\dot{\varphi }=-4\pi \varphi /m_{\mathrm{pl}}^2$:Thus the number of e-folds is the logarithmic expansion, not the expansion factor itself:Here ${ϵ}_V={\eta }_V=m_{\mathrm{pl}}^2/(4\pi {\varphi }^2)$. The usual quadratic-inflation endpoint estimate sets ${ϵ}_V\simeq 1$, givingThis is an endpoint estimate, not an exact result from the full equations. Exact acceleration ends at the Hubble slow-roll parameter ${ϵ}_H=1$, equivalently ${\dot{\varphi }}^2=V$. Inserting the slow-roll velocity into that last condition instead gives $\varphi \simeq m_{\mathrm{pl}}/\sqrt{6\pi }$; the different order-one coefficient illustrates the failing approximation at the endpoint. A precise value requires the full scalar and Friedmann evolution. The large initial-field contribution to $N$ is unaffected by that order-one uncertainty.

Finally $V({\varphi }_i)\sim m_{\mathrm{pl}}^4$ gives ${\varphi }_i^2\sim 2m_{\mathrm{pl}}^4/m^2$. The quadratic-inflation expansion from Planck density is thereforeFor $m\ll m_{\mathrm{pl}}$ this is enormous and the initial field is in the slow-roll regime. No unique numerical factor follows without specifying $m/m_{\mathrm{pl}}$. Extrapolating the classical model from Planck density is only a formal estimate; it does not establish control of quantum-gravity corrections at that starting scale.

Work in natural units $k_B=\hslash =c=1$, initially neglecting helium and excited hydrogen states. The reaction $p+e^{-}\leftrightarrow H+\gamma$ is in chemical equilibrium when ${\mu }_p+{\mu }_e={\mu }_H$, since equilibrium photons have zero chemical potential. Substitution of the nonrelativistic Maxwell-Boltzmann distribution for the three densities givesFor ground-state hydrogen use $g_e=g_p=2$, $g_H=4$, and $m_H\simeq m_p$ in the translational prefactor. Writing its Hydrogen binding energy as $I$, this becomes $(m_{e}T/(2\pi ){)}^{3/2}{e}^{-I/T}$. Charge neutrality gives $n_p=n_e=X_e{n}_B$, while baryon conservation gives $n_H=(1-X_e)n_B$. Hence the hydrogen-only Saha equation isThe photon Bose-Einstein distribution supplies $n_{\gamma }=2\zeta (3)T^3/{\pi }^2$, where $\zeta (3)$ is the usual Riemann zeta function value in the thermal number integral. With baryon-to-photon ratio ${\eta }_{\gamma }=n_B/n_{\gamma }$, substitution yieldsThis reproduces the requested numerical coefficient, with the printed $\xi (3)$ interpreted as the thermal $\zeta (3)$ value. There is a normalization ambiguity in the PDF: it writes $\eta =n_B/s$ without defining $s$. To reproduce this coefficient, $s$ must mean photon number density. If $s$ has its usual entropy density meaning, the Saha baryon-abundance normalization instead givesThe two forms agree through ${\eta }_{\gamma }=[{\pi }^4{g}_{\ast s}/(45\zeta (3))]{\eta }_s$, with the entropy sector specified. A baryon-to-entropy ratio cannot simply be inserted into the photon-normalized expression.

As the universe cools, the Boltzmann factor favors neutral atoms and cosmological recombination sharply lowers $X_e$. For an order-one ionized fraction the photon-normalized equation gives the balanceup to an order-one ionization-fraction factor. The small baryon abundance means that there are very many photons per baryon: even a small high-energy photon tail can ionize most atoms. Thus the recombination temperature is far below the microscopic binding scale $I\simeq 13.6\mathrm{eV}$, typically a few tenths of an eV for the standard abundance, rather than of order $I$.

Photon decoupling is a related but distinct kinetic event. The Thomson scattering rate $n_e{\sigma }_T$ falls relative to $H$ as free electrons disappear, and photons begin free streaming. The precise last-scattering epoch depends on integrated optical depth, not only the local equality of rates. At still lower density the effective recombination rate per electron also drops below the expansion rate. Residual electron freeze-out leaves a small nonzero ionized fraction, larger than the vanishingly small equilibrium Saha prediction; radiative atomic bottlenecks mean the entire history cannot be obtained from equilibrium alone.

The temperature comparison in the last request needs an interpretation. If “reionisation temperature” means the microscopic thermal ionization scale, the large photon-to-baryon ratio explains why cosmological recombination requires $T\ll I$. If it means later cosmic reionization, there is no universal thermal threshold: stars or other sources supply ionizing photons and can reheat gas. The cosmological photon background is actually colder at that later epoch, because $T_{\gamma }\propto a^{-1}$. Its temperature therefore cannot literally be higher than the background temperature at recombination merely because hydrogen is reionized.

Use units $c=1$ and take the initially expanding branch with ordinary positive matter or radiation density. In the Friedmann-Lemaître-Robertson-Walker metric, $k=+1,0,-1$ respectively describe positive, zero and negative spatial curvature. Separately conserved pressureless matter has ${\rho }_M\propto a^{-3}$ and radiation in cosmology has ${\rho }_R\propto a^{-4}$, so either dominates the curvature and vacuum terms sufficiently far back on a hot Big Bang branch.

With negligible cosmological constant, a spatially flat radiation universe has $a\propto t^{1/2}$ and a flat matter universe has $a\propto t^{2/3}$; both expand forever while decelerating. An open universe also expands forever and eventually becomes approximately curvature dominated, with $a\propto t$. A closed universe containing only ordinary matter/radiation reaches a maximum size and recollapses. For example, dust gives ${\dot{a}}^2=C/a-k$ with $C>0$, so only $k=+1$ admits the positive turning point $a=C$.

Curvature alone does not determine the fate when the cosmological constant is retained. Positive $\Lambda$ can cause late accelerated expansion and prevent even a closed universe from recollapsing; whether a closed expanding branch turns around depends on the relative matter and vacuum terms. Negative $\Lambda$ can cause recollapse even for flat or open spatial sections. These statements follow by inspecting ${\dot{a}}^2=C/a-k+\Lambda a^2/3$ for dust; the curvature sign is a geometrical classification, not by itself a universal destiny criterion.

Define the critical density ${\rho }_c=3H^2/(8\pi G)$ and cosmological density parameters ${\Omega }_M={\rho }_M/{\rho }_c$, ${\Omega }_R={\rho }_R/{\rho }_c$, ${\Omega }_{\Lambda }=\Lambda /(3H^2)$ and ${\Omega }_k=-k/(a^2{H}^2)$. The Friedmann equation gives ${\Omega }_M+{\Omega }_R+{\Omega }_{\Lambda }+{\Omega }_k=1$. Dividing the Friedmann acceleration equation by $-H^2$ givesConsequentlyThe deceleration parameter measures the sign and size of the acceleration relative to $a{H}^2$: $q>0$ means deceleration, $q<0$ accelerated expansion and $q=0$ instantaneously zero acceleration. In particular a falling Hubble parameter alone does not imply deceleration, since $q=-1-\dot{H}/H^2$.

For conformal time $d\eta =dt/a$, the conformal Hubble parameter is $\mathcal{H}=aH$. Using matter conservation and differentiating ${\Omega }_M\propto {\rho }_M/H^2$,This is the matter density flow with a cosmological constant. Neglecting ${\Omega }_{\Lambda }$ during matter domination reduces it to the requested relationThat last equation is not exact with nonzero $\Lambda$. For example, a flat dust-plus-vacuum state with $({\Omega }_M,{\Omega }_{\Lambda })=(0.9,0.1)$ gives ${\Omega }_M^{\prime }/\mathcal{H}=-0.27$, whereas the matter-only expression gives $-0.09$.

For the flatness problem, let ${\Omega }_{\mathrm{tot}}={\Omega }_M+{\Omega }_R+{\Omega }_{\Lambda }$. Curvature satisfies ${\Omega }_{\mathrm{tot}}-1=k/(aH{)}^2$, soIn decelerating near-flat radiation and matter eras, deviations therefore grow as $a^2$ and $a$ respectively. Maintaining small curvature at a late epoch requires very small early deviations unless a prior mechanism suppresses them. Cosmic inflation, with $q\simeq -1$, drives the deviation down approximately as $a^{-2}$. If vacuum energy is present, flatness means ${\Omega }_{\mathrm{tot}}=1$, not ${\Omega }_M=1$.

Both metrics have curvature radius one and signature $(+-)$. Their global topology must be specified as well as their local metric. The usual two-dimensional de Sitter spacetime is the hyperboloid $(X^0{)}^2-(X^1{)}^2-(X^2{)}^2=-1$ in three-dimensional Minkowski spacetime, parametrized byThus $t\in \mathbb{R}$ and $\chi$ is periodic modulo $2\pi$, for example $0\le \chi <2\pi$. Spatial slices are circles. Unwrapping $\chi$ instead gives the universal cover, not the usual closed spatial model.

The ordinary two-dimensional anti-de Sitter spacetime hyperboloid is $(X^0{)}^2+(X^1{)}^2-(X^2{)}^2=1$ in ambient signature $(++-)$, withOn this quadric $r\in \mathbb{R}$ and $t$ is periodic modulo $2\pi$. The closed time circles are timelike, so it contains closed timelike curves. The usual physically causal AdS model is its universal cover, for which $r,t\in \mathbb{R}$, with time no longer identified. The signed radial coordinate has two spatial ends; restricting to $r\ge 0$ would retain only half of this global model. The metric by itself cannot distinguish periodic time from the cover. The scalar curvature is $+2$ for de Sitter and $-2$ for AdS in the Ricci convention of Q2. Both are maximally symmetric and have no curvature singularity; these toy two-dimensional metrics illustrate causal geometry rather than the ordinary four-dimensional matter field equations.

For the conformal cylinder of two-dimensional de Sitter spacetime, introduceThenThe conformal boundaries $\eta =\pm \pi /2$ are spacelike circles, representing past and future infinity. Null geodesics are straight lines $\chi ={\chi }_0\pm (\eta -{\eta }_0)$, with the periodic spatial identification. The finite total conformal-time interval explains the cosmological horizons: light cannot complete a full trip around the circle during the entire history.

For the conformal strip of two-dimensional anti-de Sitter spacetime, useso on the universal coverIts two conformal boundaries at $\psi =\pm \pi /2$ are timelike. Null rays are $t\pm \psi =\text{constant}$, and the strip extends for arbitrarily long coordinate time. The distances in these conformal diagrams are not physical lengths: a conformal boundary may be reached in finite coordinate time while lying infinitely far away in physical affine parameter.

The sides of the de Sitter diagram are identified; its top and bottom are spacelike infinities. The AdS diagram shows a finite window of an infinite time strip, with no identification of top and bottom. Null rays have slope one in both diagrams. The blue curves are timelike geodesics, while the colored de Sitter lines bound the central observer's causal domains.

The geodesics of two-dimensional de Sitter spacetime can be derived directly. Let an overdot denote an affine parameter normalized so that the tangent norm is $\kappa =1,0,-1$ for timelike, null and spacelike geodesics. The cyclic coordinate $\chi$ gives conserved $p={\cosh }^{2}t\dot{\chi }$, and normalization givesWriting $y=\sinh t$ reduces this to ${\dot{y}}^2=p^2+\kappa (1+y^2)$. For a future-directed timelike geodesic,The spatially comoving curves $p=0$ are geodesics, and every timelike geodesic extends through all $t\in \mathbb{R}$, with infinite proper time in both directions. Initially comoving nearby observers have physical separation proportional to $\cosh t$, displaying de Sitter's tidal defocusing. Relative separation can initially decrease for other initial velocities; not every pair is monotonically separating.

For a nontrivial null geodesic, $p\ne 0$ and $\sinh t=\pm |p|\lambda +\text{constant}$. Hence the conformal infinities at $t\to \pm \infty$ occur at infinite affine parameter, despite their finite values of $\eta$. For a spacelike geodesic, $|p|\ge 1$ and $y=\sqrt{p^2-1}\sin (s-s_0)$. Over a full affine-length period $2\pi$, integrating $\dot{\chi }=p/[1+(p^2-1){\sin }^2(s-s_0)]$ gives a change $2\pi \mathrm{sgn}p$. Thus the spacelike geodesics close on the usual cylinder. The special case $|p|=1$ is the equatorial circle $t=0$. These closed spacelike curves do not threaten causality.

The geodesics of two-dimensional anti-de Sitter spacetime instead conserve $E={\cosh }^{2}r\dot{t}$. Their norm equation givesA future timelike geodesic has $E\ge 1$ andIts turning points are $r=\pm \mathrm{arcosh}E$. Timelike geodesics oscillate rather than escaping to the spatial boundary. For $E=1$, the central curve $r=0$ is geodesic. Integrating $\dot{t}=E/[1+(E^2-1){\sin }^2(\tau -{\tau }_0)]$ shows that a full proper-time period $2\pi$ advances coordinate time by $2\pi$. They close on the periodically identified hyperboloid but remain complete nonclosed curves on the universal cover. Geodesics leaving $r=0,t=0$ reconverge at $r=0,t=\pi$ after proper time $\pi$, illustrating AdS tidal focusing. A static observer at nonzero fixed $r$ is accelerated, not one of these oscillating free trajectories.

For AdS null geodesics, $\sinh r=\pm E\lambda +\text{constant}$ and $t\mp \psi =\text{constant}$. They approach either timelike conformal boundary at infinite affine parameter, while the coordinate-time travel from the centre is only $\pi /2$. A spacelike geodesic has $\sinh r=\sqrt{E^2+1}\sinh (s-s_0)$ and connects the two spatial ends with infinite affine length. Both global models are geodesically complete. Reflecting a signal at the AdS conformal boundary is a choice of boundary condition for fields; it is not an automatic continuation of a geodesic at a finite affine endpoint.