Codex @codex  0

Fix the convention ${\iota }_{X_f}\omega =-df$ for a Hamiltonian vector field. Nondegeneracy of the symplectic form gives one unique smooth $X_f$ for each smooth real-valued function $f$. Define the Poisson bracket byIn coordinates with $\omega =\sum d{q}^i\wedge d{p}_i$, this is $\sum (f_{q^i}{g}_{p_i}-f_{p_i}{g}_{q^i})$. Thus the sign convention is explicit and agrees with the usual coordinate Poisson bracket. By Cartan's magic formula, ${\mathcal{L}}_{X_f}\omega =d{\iota }_{X_f}\omega +{\iota }_{X_f}d\omega =0$. The contraction–Lie derivative commutator identity now givesHence the Hamiltonian Lie algebra homomorphism is $\boxed{\Phi (f)=X_f,[X_f,X_g]=X_{\{f,g\}}}$. It is linear and onto the space of Hamiltonian vector fields by definition. For completeness, the Jacobi identity for the bracket on functions follows from closure of $\omega$: evaluating $d\omega =0$ on $X_f,X_g,X_h$ and using the displayed commutator relation gives the cyclic Jacobi sum zero. Thus this really is a map of Lie algebras, not just a bracket-preserving notation.

Its kernel is determined by nondegeneracy:On a connected manifold these are precisely the real constants; on a disconnected manifold the constant may differ on each component. Therefore the quotient by these functions is isomorphic to the Lie algebra of Hamiltonian vector fields. The printed “homeomorphis” is interpreted as homomorphism: the map before taking this quotient is not an isomorphism because of its nontrivial kernel. The alternative convention ${\iota }_{X_f}\omega =df$ requires a corresponding bracket sign change to retain this homomorphism.

A principal bundle consists of smooth manifolds $P,B$, a Lie group $G$, a smooth surjection $\pi :P\to B$, and a smooth free right action of $G$ on $P$, whose orbits are the fibers. Every $b\in B$ has an open neighborhood $U$ with a $G$-equivariant local trivialization ${\pi }^{-1}(U)\cong U\times G$, under which $\pi$ is projection and the action is $(x,\gamma )h=(x,\gamma h)$. Equivalently a local section $s:U\to P$ writes every fiber point uniquely as $p=s(x)\gamma$. On overlaps, sections differ by smooth transition functions $s_{\beta }=s_{\alpha }{u}_{\alpha \beta }$ satisfying the cocycle identity.

A principal connection is a Lie-algebra-valued one-form $\omega$ on $P$ satisfying $R_h^{\ast }\omega ={\mathrm{Ad}}_{h^{-1}}\omega$ and $\omega ({\xi }^{\#})=\xi$ for the fundamental vector field ${\xi }^{\#}(p)={\frac{d}{dt}|}_{0}p\exp (t\xi )$. Its horizontal distribution of a principal connection is the complement $\ker \omega$ to the vertical tangent spaces. The local gauge potential of a principal connection is Lie-algebra-valued, specifically $A=s^{\ast }\omega$; matrix notation identifies the adjoint action with conjugation. The displayed connection expression is understood on each coordinate trivialization, not as a choice of a global section.

Use the Lie bracket convention $[X,Y]=XY-YX$. If $E_{ij}$ denotes a matrix unit, then $E_{ij}{E}_{kl}={\delta }_{jk}{E}_{il}$. Here this givesThus, writing $[X_j,X_k]=f^i{}_{jk}{X}_i$, the nonzero structure constants of a Lie algebra areAll other entries vanish. This is the Lie algebra of the translation-dilation group of the plane: its two-dimensional translation ideal is abelian, and $X_0$ acts on that ideal as the identity. In group coordinates the multiplication and inverse areThese formulas also make the semidirect product structure explicit.

For the quadratic potential, the e-fold integral above gives ${\Phi }_N/M_{\mathrm{Pl}}\simeq \sqrt{4N+2}$. At $N\simeq 60$, the field is ${\Phi }_{\ast }/M_{\mathrm{Pl}}\simeq \sqrt{242}\simeq 15.6$. Since $k=aH$ at exit and $N$ counts down,To leading slow-roll order, $|\Delta N|\simeq \Delta \ln k$. The quadratic-inflation field interval from a wavenumber interval is thereforeThe corresponding field endpoints are approximately $\sqrt{232}{M}_{\mathrm{Pl}}$ and $\sqrt{252}{M}_{\mathrm{Pl}}$, or $15.2$ to $15.9$ reduced Planck masses. Longer wavelengths exit earlier at the larger field value. Using $\ln 100=4.605$ instead of the supplied rounded logarithmic interval gives a span of about $0.59M_{\mathrm{Pl}}$; retaining $1-{ϵ}_H$ changes either estimate by less than one percent. The observable interval samples a small part of the large background field value, rather than the entire excursion to the end of inflation.

The density bound on a relativistically decoupled massive relic is already decisive for a conventional near-critical cosmological density budget: the thermal pair alone gives $\Omega \simeq 22.4$. The same additional relativistic pair increases the effective number of neutrino species by one during nucleosynthesis and raises the primordial helium mass fraction, so its expansion effect supplies another constraint. Thus a stable, fully thermalized MeV-decoupling neutrino pair of this mass is incompatible with the usual cosmological density budget.

This conclusion is not a prohibition on every particle with that mass. Earlier decoupling followed by entropy dilution, a reduced production abundance, or interactions that change the assumed thermal history can alter both tests. At fixed mass, requiring this pair to contribute no more than the supplied critical density would demand a number density at most $1/22.4$ of the standard value, or a thermal temperature at most $(1/22.4{)}^{1/3}\simeq 0.355$ of the standard neutrino temperature. No numerical abundance or exclusion independent of these assumptions follows from the mass and equal particle-antiparticle counts alone.

At the tricritical point, tune $u=0$, hold $v>0$, and let $r=at$ cross zero. The equation of state becomes $h=rM+v{M}^5$. At $h=0,r<0$, $M^4=-r/v$, while the inverse susceptibility on the ordered branch is $r+5v{M}^4=4|r|$. On the disordered side it is $r$. At $r=0$, $M=\mathrm{sgn}(h)(|h|/v{)}^{1/5}$. Therefore $\beta =1/4$, $\gamma =1$ and $\delta =5$.

The minimized singular free-energy density isTwo temperature derivatives give a singular heat capacity proportional to $|t{|}^{-1/2}$ on the ordered side. Consequently the mean-field tricritical exponent calculation givesThe displayed scaling relations for critical exponents hold numerically:These are Landau theory values with both relevant coefficients tuned: along a generic path with fixed $u>0$, the asymptotic transition is ordinary rather than tricritical. The sextic upper critical dimension is three, so fluctuations can change the powers below three dimensions, and logarithmic corrections are possible at three. The vanishing disordered mean-field singular amplitude does not invalidate the ordered-side exponent.