On an irreducible variety, a Cartier divisor is a section of ${\mathcal{K}}_X^{\ast }/{\mathcal{O}}_X^{\ast }$: its local rational equations differ by regular units. Their ratios define an invertible sheaf, and a global rational equation gives the trivial class. Conversely a rational trivialization of an invertible sheaf gives local equations. The rational-function sheaf is flasque, so its long exact sequence in sheaf cohomology also identifies the quotient with $H^1(X,{\mathcal{O}}_X^{\ast })$.

For a smooth integral variety, every Weil divisor is a Cartier divisor, so the Picard group equals the divisor class group. If $U$ is obtained by removing irreducible Weil divisors $D_j$, the localization sequence for the divisor class group gives the displayed exact sequence. A rational trivialization of a line bundle on $U$ has divisor supported on the removed divisors, describing the kernel concretely.

The holomorphic Picard group consists of isomorphism classes of holomorphic line bundles, with tensor product as its group law. The trivial bundle is the identity and dualization gives inverses. Transition functions identify it with $H^1(X,{\mathcal{O}}_X^{\ast })$. On the complex projective line every class is $\mathcal{O}(n)$, so degree gives an isomorphism with $\mathbb{Z}$.

At fixed total mass $M$ and period-product invariant, $P/M_d^2$ is proportional to $[M_d^5(M-M_d{)}^3{]}^{-1}$. Its unique global minimum occurs at donor mass $5M/8$ and accretor mass $3M/8$. It is useful for testing all possible conservative progenitors against a pre-overflow period bound.

For $\ddot{\varphi }={\omega }_0^2\sin \varphi$ with constant ${\omega }_0$, multiplication by $\dot{\varphi }$ gives the conserved energy $E={\dot{\varphi }}^2/2+{\omega }_0^2(1+\cos \varphi )$. The stable center is $\pi$; the separatrix has $E=2{\omega }_0^2$. Below it the resonant argument librates and above it the angle circulates. This is an invariant of the constant-coefficient pendulum approximation of a mean-motion resonance, not of arbitrary coupled orbital element evolution.

For the identity design and $y={\theta }^{\ast }+z$, comparing the minimizing objective at $\hat{\theta }$ with its value at ${\theta }^{\ast }$ and expanding the squared Euclidean norm proves the displayed inequality, with $h=\hat{\theta }-{\theta }^{\ast }$. This deterministic inequality does not assume any probability distribution for the noise. A bound on the noise inner product turns it into a statistical error estimate.

Use the usual saline Stefan problem approximation: no bulk flow, salt-free ice with negligible salt transport, constant properties, equal phase densities, and the same thermal conductivity $k_T$ and thermal diffusivity $\kappa$ in both phases. Write $c_p$ for specific heat capacity, $L_f$ for latent heat per unit mass, and $k_T=\rho c_p\kappa$. These thermal symmetries are needed for the arithmetic-mean interface temperature requested in the paper; unequal phase conductivities would give a weighted balance instead.

Set $\eta =x/(2\sqrt{\kappa t})$, $\xi =x/(2\sqrt{Dt})$, $ϵ=\sqrt{D/\kappa }$ and $a(t)=2\lambda \sqrt{Dt}$. The heat equation and salt diffusion equation reduce to $f^{\prime \prime }+2s{f}^{\prime }=0$. Their similarity solutions, in terms of the complementary error function, areThese have the required interface values and far-field limits. At each fixed $x\ne 0$ they recover the initial data as $t\downarrow 0$. The liquidus condition is $T_i=-m{C}_i$.

Salt rejection and the Stefan condition give, with gradients evaluated on the appropriate sides of the interface,For example, salt rejection is obtained by differentiating the total salt on a moving liquid interval: the moving lower endpoint removes $\dot{a}{C}_i$, which must be supplied by diffusive transport away from the salt-free solid. Substitution, including the salt-rejection function for a saline Stefan front, gives the complete algebraic system for the diffusion-controlled iceberg growth and ablation:The sign of $\lambda$ distinguishes freezing from melting; neither sign should be excluded in the general similarity solution.

For $\lambda =O(1)$, $ϵ\ll 1$, and fixed $L_f/c_p$ and far-field temperatures, the thermal equation has leading right-hand side $(2T_i-T_{-\infty }-T_{\infty })/\sqrt{\pi }$, while its left-hand side is $O(ϵ)$. HenceThis is a leading-order balance, not an exact cancellation of latent heat. The resulting $C_i=-T_i/m$ and the first algebraic equation determine the leading $\lambda$. A physical finite-$\lambda$ branch requires $C_i>0$; if the mean temperature is positive, this salt-diffusion scaling cannot describe the leading solution. Likewise, a latent-to-sensible heat ratio diverging as $1/ϵ$ changes the leading thermal balance.

Define ${\theta }_{-}=-m{C}_0-T_{-\infty }$ and ${\theta }_{+}=T_{\infty }+m{C}_0$. Put $T_0=-m{C}_0$ and $\Delta \theta ={\theta }_{-}-{\theta }_{+}$. Then $T_i=T_0-\Delta \theta /2+O(ϵ)$, which will determine the freezing and constitutional supercooling conditions below.

Orient both spheres in the standard way and normalize their area forms to total area $4\pi$. The degree of a map between oriented manifolds can be obtained in two ways. For a regular value $y$, use the degree as a sum of local degrees:Each inverse image is isolated by the inverse function theorem, and compactness makes the set finite. The determinant is computed in consistently oriented local coordinates. A second method is spherical degree by area pullback:where the last formula represents $g$ as a unit vector in ${\mathbb{R}}^3$. The pullback of a differential form already contains the signed Jacobian determinant; no extra $\sin \theta$ is to be inserted in that last coordinate expression.

To relate the methods, replace $\omega$ by a smooth top-degree differential form with the same total integral supported in a small neighbourhood of a regular value. Two such top-degree forms with equal integral differ by an exact differential form on $S^2$, by its top-degree de Rham cohomology. Their pullbacks therefore have the same integral by Stokes theorem. Over the chosen neighbourhood, $g$ splits into local inverse branches; the change of variables formula makes the contribution of each branch its orientation sign times $4\pi$. Their sum is precisely the first formula. Thus the area integral is an integer and agrees with the signed inverse-image count.

For a nonconstant rational map, first use common-factor reduction of a rational map so $p$ and $q$ are coprime. Write $k=\max (\mathrm{deg}p,\mathrm{deg}q)$ for these reduced polynomials. A generic finite target value $w$ has inverse images at the roots of $p-wq$: avoiding exceptional values makes its degree $k$ and its roots simple. The fundamental theorem of algebra supplies $k$ roots. A holomorphic map has positive real Jacobian determinant $|R^{\prime }{|}^2$ at a regular point, so every local sign is $+1$. HenceThe source leaves coprimality implicit. In an unreduced representation the answer is $\max (\mathrm{deg}p,\mathrm{deg}q)-\mathrm{deg}\gcd (p,q)$, including degree zero for a constant reduced map. For example $(z^2-1)/(z-1)$ extends to $z+1$ and has degree one, although the unreduced maximum degree is two. Exceptional inverse images at infinity or multiple roots do not change the degree of a rational map of the Riemann sphere.

For the rational map approximation for Skyrmions, use stereographic projection $z=\tan (\theta /2)e^{i\phi }$ and the unit target vectorCombine this rational map with a radial profile to form a special unitary group field:where $\mathbf{\sigma }$ are the Pauli matrices. The endpoint values make $U(0)=-1$ independent of angle and $U(\infty )=1$. Appropriate radial behaviour gives an admissible finite-energy field configuration. With $L_i=U^{†}{\partial }_{i}U$, choose the topological baryon number in the Skyrme model conventionSeparating the radial and angular factors givesThus the degree of a rational map of the Riemann sphere supplies the Skyrmion charge.

In conventional dimensionless massless Skyrme model units, its static energy reduces towith the angular Jacobian of a rational mapThe Cauchy-Schwarz inequality gives $\mathcal{I}\ge k^2$. These formulas follow from the radial strain $|f^{\prime }|$ and the two equal angular strains $\sin f\sqrt{J_R}/r$: the quadratic energy sums their squares and the quartic Skyrme term sums their pairwise products of squares. Minimize the angular integral in the rational map approximation over degree-$k$ maps, then minimize the remaining radial energy with the stated endpoints. This replaces a three-dimensional field minimization by finitely many map coefficients and an ordinary differential equation for $f$.

The method constructs a charge-$k$ variational approximation, with topology built in and with rotational symmetry of a rational map translated into combined spatial and isospin rotations. It is efficient for identifying shapes and providing initial data for unrestricted numerical relaxation. Its restrictions are equally concrete: it uses one radial profile and a holomorphic angular map independent of radius, so it cannot represent arbitrary radial-angular correlations, separated clusters, or all deformations. Apart from the degree-one Skyrmion hedgehog ansatz, it generally does not solve the full field equation exactly. Massive-pion terms can be included in the radial functional but do not remove these restrictions, and multi-shell or unrestricted fields may be needed for larger charges. Approximate energy minima and a final collective-coordinate quantization are distinct steps.

A Lie algebra representation on a vector space $V$ is a linear map $R:\mathfrak{g}\to \mathrm{End}(V)$ preserving the Lie bracket:The Adjoint representation acts on $V=\mathfrak{g}$ by ${\mathrm{ad}}_X(Y)=[X,Y]$. The Jacobi identity givesIf $\mathfrak{g}$ is nonabelian, some $[X,Y]$ is nonzero, so this Adjoint representation is not the trivial Lie algebra representation. It is the required nontrivial representation of dimension $\dim \mathfrak{g}$. Nontriviality does not require its homomorphism to be injective.

For the finite-dimensional algebras here, with normalization one, the Killing form isIt is a symmetric bilinear form by cyclicity of the matrix trace. To prove its invariance, write $A={\mathrm{ad}}_X$, $B={\mathrm{ad}}_Y$, $C={\mathrm{ad}}_Z$. ThenThis also gives $\kappa ([X,Y],Z)=\kappa (X,[Y,Z])$, the equivalent invariant bilinear form on a Lie algebra identity.

For the unheaded structural requests, a simple Lie algebra is nonabelian and has no ideals of a Lie algebra other than zero and itself. A semisimple Lie algebra has no nonzero solvable ideal of a Lie algebra; in finite dimension over $\mathbb{R}$ or $\mathbb{C}$ this is equivalently a direct sum of simple Lie algebras.

Suppose first that the Killing form is nondegenerate. If $I$ is an abelian ideal of a Lie algebra and $X\in I$, then ${\mathrm{ad}}_X$ maps $\mathfrak{g}$ into $I$ and vanishes on $I$. Every ${\mathrm{ad}}_Y$ preserves $I$. Therefore ${\mathrm{ad}}_X{\mathrm{ad}}_Y$ has zero diagonal blocks relative to a basis adapted to $I$, andNondegeneracy forces $I=0$. If a nonzero solvable ideal of a Lie algebra existed, its last nonzero derived series of a Lie algebra term would be a nonzero abelian ideal of a Lie algebra, again impossible. Hence the solvable radical is zero, provingThis argument proves the needed implication rather than assuming the Cartan criterion for semisimplicity.

One can also see the direct-sum formulation explicitly through orthogonal ideal splitting for a nondegenerate Killing form. For an ideal of a Lie algebra $I$, invariance makes $I^{\perp }$ an ideal of a Lie algebra. If $X\in I\cap I^{\perp }$, then $\kappa ([X,Y],Z)=\kappa (X,[Y,Z])=0$ for $Y\in I$, $Z\in \mathfrak{g}$, so $[X,I]=0$. Thus $I\cap I^{\perp }$ is an abelian ideal of a Lie algebra, and must vanish. Consequently $\mathfrak{g}=I\oplus I^{\perp }$ and the two summands commute. Select a minimal nonzero ideal; it is nonabelian, and any ideal inside it is an ideal of $\mathfrak{g}$ because the complementary summand commutes with it. It is therefore simple. The restricted form is the remaining summand’s own Killing form, because the two ideals commute. Repeating the splitting there terminates in a direct sum of simple ideals.

Conversely the radical of the Killing formis an ideal of a Lie algebra by the invariance just proved. For a simple Lie algebra it is either zero or the whole algebra. The permitted hypothesis that $\kappa$ is not identically zero excludes the second alternative. ThusThe computations in the two following parts illustrate both a nondegenerate compact example and a degenerate algebra with an abelian ideal.