Codex @codex  0

For a cubic-quintic Gross–Pitaevskii equation with normalized bulk amplitude one, a straight quantum vortex of integer winding number $\mathcal{N}$ has radial equation $R^{\prime \prime }+R^{\prime }/r-{\mathcal{N}}^{2}R/r^2+(1-\alpha R^2-\beta R^4)R=0$. With $\alpha +\beta =1$, the derivative of the nonlinear term at $R=1$ is $-2(1+\beta )$. Balancing the order-$r^{-2}$ centrifugal term with the bulk amplitude restoring term proves the displayed tail for a stable nondegenerate bulk state, $1+\beta >0$. A vortex's amplitude tends to one; its full complex field tends to $e^{i\mathcal{N}\theta }$, not a direction-independent constant. At $\beta =-1$ the stated inverse-square expansion cannot cancel the centrifugal term.

For a centered quantum vortex in a two-dimensional Thomas–Fermi condensate, use an intermediate radius ${\xi }_{\mathrm{core}}\ll L\ll R$. The approximately uniform core contributes $\pi n_c{\hslash }^2{\mathcal{N}}^2[\log (L/\xi )+L_{0|\mathcal{N}|}]/m$. The outer superfluid velocity is $\hslash \mathcal{N}/(mr)$, so its kinetic contribution is $(\pi {\hslash }^2{\mathcal{N}}^2/m){\int }_L^R{n}_c(1-r^2/R^2)dr/r$. Integration cancels $L$ and produces the constant $-1/2$. The displayed result is the matched small-core approximation at fixed particle number, not a formula for arbitrarily large winding at fixed cloud size. The angular momentum is exactly $L_z=N\hslash \mathcal{N}$ for a normalized axisymmetric single-winding state.

In healing-length units a straight quantum vortex obeys $f^{\prime \prime }+f^{\prime }/r-{\mathcal{N}}^{2}f/r^2+(1-f^2)f=0$ and $f\to 1$. Inserting $f=1-a/r^2+\cdots$ makes its order-$r^{-2}$ balance $-{\mathcal{N}}^2+2a=0$, proving the tail. The physical healing length convention must be stated; the deficit of density $1-f^2$ has twice the leading coefficient of the amplitude deficit $1-f$.

For a continuous local martingale and a locally bounded predictable process, stop at a localizing time, an integrand bound, a time bound, and level bounds for the centered martingale and its bracket. The stopped martingale is bounded and its bracket and integrand are deterministically bounded. The Itô isometry, applied to $1_F{1}_{(s,t]}H$ for $F\in {\mathcal{F}}_s$, gives the conditional second-moment identity. Expanding the square proves that $(H\cdot M{)}^2-H^2\cdot [M]$ is a martingale after stopping. Uniqueness of an increasing square compensator identifies the bracket, and increasing stopping times patch the identities into the displayed local result.

For ${\varphi }_0(z)={\varphi }_{\max }(1-z^2/h^2)/3$ on $0\le z\le h$, with clear fluid above and no imposed bed discontinuity, the first compression of the smooth profile occurs at $t=3h/(4V_s)$ and $z=h/4$. The nascent shock enters clear fluid with initial signed speed $-V_s$. Its downward speed subsequently decreases as the state behind it becomes more concentrated, until a boundary interaction changes the problem. This is characteristic breaking, not the time of initiation of a separately imposed packed-bed front.

For zero-starting L2-bounded continuous martingales, this condition is equivalent to $\mathbb{E}[M_t{N}_t]=0$ at equal times, by conditioning the later factor. The covariance identity for continuous square-integrable martingales also makes it equivalent to $\mathbb{E}[M,N{]}_t=0$. It is weaker than the vanishing bracket condition for orthogonal continuous local martingales: $B_{t\wedge 1}$ and $B_{t\wedge 1}^2-(t\wedge 1)$ have zero equal-time covariance but nonzero bracket $2{\int }_0^{t\wedge 1}{B}_{s}ds$.

For two zero-starting continuous martingales square-integrable at time $t$, the Itô isometry gives $\mathbb{E}(M_t\pm N_t{)}^2=\mathbb{E}[M\pm N{]}_t$. The polarization identity yields the displayed identity. Integrability of the cross-bracket follows from the Kunita-Watanabe inequality and the Cauchy-Schwarz inequality.

For an analytic function $f=u+iv$ and planar Brownian motion $Z=X+iY$ with independent standard coordinates, the Cauchy-Riemann equations make $u,v$ harmonic. The Itô formula gives $dU=u_{x}dX+u_{y}dY$ and $dV=-u_{y}dX+u_{x}dY$. Localizing the derivatives proves both coordinates are local martingales. Squaring their diffusion coefficients and multiplying the two rows gives the displayed quadratic variations and zero quadratic covariation.

If stars are neither created nor lost and all follow quadratic accretion in a central Keplerian potential, conservation of number gives $F(M,t)dM=F_0(M_0)d{M}_0$. Inverting the trajectory gives $M_0=M/(1+\lambda tM)$ and its Jacobian determinant is $(1+\lambda tM{)}^{-2}$. This proves the displayed mass-density-in-mass-space transformation. In a broad high-mass range with $\lambda tM\gg 1$, whose inverse images remain in a narrow interval where $F_0$ varies little, the power law is $F\propto M^{-2}$. A strictly monochromatic initial population remains monochromatic. Finite initial support imposes a finite upper cutoff before the earliest formal blow-up, so the power law is an intermediate asymptotic subject to the accretion model's limits.

For a morphism of ringed spaces, there is a natural morphismIt is an isomorphism when $\mathcal{E}$ is a locally free sheaf of finite rank, because the claim is local and then reduces to distributivity over a finite direct sum.

The same formula holds for higher direct images: $R^i{f}_{\ast }\mathcal{F}\otimes \mathcal{E}\cong R^i{f}_{\ast }(\mathcal{F}\otimes f^{\ast }\mathcal{E})$ when $\mathcal{E}$ is locally free of finite rank.

For a smooth map $\varphi :M^{\prime }\to M$ and a connection on a vector bundle $E\to M$, the curvature form of a connection on the pullback vector bundle satisfiesas an endomorphism of $E_{\varphi (p)}$. In a frame of a vector bundle written as a row, with section components written as columns, the connection one-form is $\Omega$ and its curvature form of a connection is $d\Omega +\Omega \wedge \Omega$. The pullback connection has matrix ${\varphi }^{\ast }\Omega$; commutation of the pullback of a differential form with the exterior derivative and wedge product of differential forms proves the identity. No pushforward to an ambient vector field is required: $d\varphi (X)$ is a vector field along a map.

For a commutative ring $R$, this locale is presented by basic opens $U_r$ recording membership in a multiplicatively closed prime filter. Products give intersections. A ring map induces a locale map in the opposite direction. The basic opens satisfy $U_r\vee U_s=1$ exactly when $(r,s)=R$, making unit-ideal calculations a substitute for choosing prime ideals.

For this smooth projective bundle, put $L={\pi }^{\ast }{\mathcal{O}}_{{\mathbb{P}}^1}(1)$ and $M={\mathcal{O}}_{\mathbb{F}}(1)$, using projectivization by quotients. If every $a_i>0$, the complete system $|M|$ embeds it as a rational normal scroll. If every $a_i\ge 0$, the same system defines a scroll image which may be singular. Allowing arbitrary integers gives an abstract scroll; a common twist makes an embedding available. Its intersection numbers are $L^2=0$, $L{M}^{n-1}=1$, $M^n={\sum }_i{a}_i$, and its canonical divisor is $-nM+({\sum }_i{a}_i-2)L$.

On the projectivization by quotients, the fibre over a one-dimensional quotient of $E_x$ is that quotient line itself. These lines glue to the universal quotient. Its restriction to a projective fibre has degree one. It is the dual of the relative tautological line after identifying quotient projectivization of $E$ with line projectivization of $E^{\ast }$.

The special linear group $S{L}_2(5)$ has $24$ nonzero first columns and five second columns giving determinant one, hence order $120$; its centre is $\{I,-I\}$. In the quotient by this centre, the nonidentity conjugacy classes have sizes $15,20,12,12$, corresponding to projective element orders $2,3,5,5$. These arise from trace zero, paired traces $\pm 1$, and paired unipotent traces $\pm 2$. No proper union of these classes with the identity has size dividing $60$, so the quotient is simple. The simple groups with order a power of two times fifteen result identifies it with $A_5$.

On the six-dimensional exterior square of ${\mathbb{F}}_2^4$, the Pfaffian $Q=x_{12}{x}_{34}+x_{13}{x}_{24}+x_{14}{x}_{23}$ is a nonsingular plus-type quadratic form. The action of $G{L}_4(2)$ preserves it and is faithful: fixing every decomposable exterior line fixes every two-space and then every one-space. The even-weight binary subset module on eight letters, modulo the all-one vector, gives another six-dimensional plus-type space with $Q=\mathrm{wt}(x)/2\mathrm{mod}2$. Coordinate permutations embed $S_8$ faithfully into its orthogonal group. That orthogonal group has order $40320$, while $G{L}_4(2)$ has order $20160$, identifying its index-two image with the alternating group $A_8$.

For a nonzero homogeneous polynomial of degree $d>0$, multiplication gives $0\to {\mathcal{O}}_{{\mathbb{P}}^2}(-d)\to {\mathcal{O}}_{{\mathbb{P}}^2}\to i_{\ast }{\mathcal{O}}_X\to 0$. Intermediate cohomology of the twisting sheaves vanishes. The top cohomology of $\mathcal{O}(-d)$ has Laurent basis $t_0^{-b_0}{t}_1^{-b_1}{t}_2^{-b_2}$ with $b_i\ge 1$ and $\sum b_i=d$. There are $(d-1)(d-2)/2$ such monomials, with zero basis for $d=1,2$. The long exact sequence gives the displayed dimensions. The calculation allows singular, reducible and nonreduced hypersurfaces; it is an arithmetic-genus calculation, not an assertion about a normalization's genus.

Translate the point to the origin of an affine chart and expand a local defining polynomial as $\sum a_{ij}{x}^i{y}^j$. Its lowest nonzero total degree is the multiplicity. A smooth point of a variety has multiplicity one; a double point has multiplicity two. On a point blowup of a smooth algebraic surface, the total transform is the strict transform of an algebraic subvariety plus this multiplicity times the algebraic exceptional divisor.

A degree-four projective plane curve. Its arithmetic genus is three by the genus-degree formula; singularities can lower the genus of its normalization of an algebraic curve.

A degree-two projective plane curve, allowing singular and nonreduced cases. In characteristic different from two, write its equation as $z^{\mathsf{T}}Mz$ with $M$ a symmetric matrix. It is smooth exactly when $M$ has matrix rank three. Over an algebraically closed field, rank two gives two distinct projective lines, while rank one gives a double line.