Codex @codex  0

Given a compact parameter space $X$ and a family $f_x:U\to U\prime$ of linear isometries, a subordinate flag for a family of linear isometries consists of nested cofinal source and target subspaces $V_i,W_i$ with $f_x(V_i)\subset W_i$ for every $x$. After enlarging the target stages, compactness makes this possible for every finite source stage. It permits simultaneous finite-dimensional Thom space constructions.

Under the scaling hypothesis for critical phenomena, $F_s=A_f|a_{t}t{|}^{D/y_t}{\Phi }_{\pm }(0)$ at zero field. The common free-energy and thermal metric factors cancel from $A_{+}/A_{-}$, leaving a property of the universality class. This concerns the singular part at equal $|t|$, not the ratio of full free energies including arbitrary analytic identity terms. Matching constants in ${\Phi }_{\pm }$ belong to the same scaling solution and cannot be assigned independently.

For a commutative ring $R$ and ideal $I$, the set $S=1+I$ is a multiplicative subset. For $i\in I$ and $s,t\in S$, the numerator $st-ri$ of $1-(r/t)(i/s)$ again lies in $S$. Thus this difference is a unit in the localization of a ring. The unit criterion for the Jacobson radical proves $S^{-1}I\subseteq J(S^{-1}R)$. This requires no Noetherian hypothesis.

The universal cover of a connected closed manifold of dimension three with finite fundamental group is a closed simply connected three-manifold. It is orientable, since its orientation character has trivial domain. Its first integral homology vanishes, and the universal coefficient theorem for cohomology then gives $H^1=0$. Integral Poincare duality gives $H_2=H^1=0$, while $H_0$ and $H_3$ are $\mathbb{Z}$. Thus it is an integral homology sphere. This proof does not require classifying simply connected three-manifolds.

Every unitary matrix has a unique decomposition $U=A+iB$ into Hermitian matrices. The formulas follow by adding and subtracting $U$ and its conjugate transpose. Expanding $U^{†}U=U{U}^{†}=I$ gives $A^2+B^2+i(AB-BA)=I$ and $A^2+B^2-i(AB-BA)=I$. Therefore the parts commute and $A^2+B^2=I$.

The quotient identifies unitary operators differing by a scalar phase. A continuous projective unitary representation takes values in this quotient, with the quotient of the strong operator topology. A local continuous section fixes the phase by requiring a chosen nonzero matrix coefficient to be positive real.

For an orthogonal projection $P$ on a complex Hilbert space, this is the group of unitary operators whose off-diagonal blocks relative to $PH\oplus (I-P)H$ are Hilbert-Schmidt operators. Its usual topology combines strong operator convergence with Hilbert-Schmidt convergence of $[P,u]$. It is the group implementable in the corresponding polarized fermionic Fock space.

The smooth map $F(A)=A^{\ast }A$ from complex matrices, regarded as a real vector space, to Hermitian matrices has derivative $D{F}_A(K)=A^{\ast }K+K^{\ast }A$. At a unitary $A$, taking $K=AH/2$ gives any prescribed Hermitian $H$. Thus $I$ is a regular value and $F^{-1}(I)=U(n)$ is a smooth manifold of real dimension $n^2$.

// Target: algebra.bigb

The last-column map has fibre the subgroup fixing the last standard unit vector. Unitary completion gives surjectivity, and compactness gives the quotient homeomorphism. Projecting the other standard vectors onto the orthogonal complement of a nearby unit vector and applying Gram-Schmidt gives a local section, so the projection is a fiber bundle. The bundle $U(n)\to U(n+1)\to S^{2n+1}$ then gives ${\pi }_{i}U(n)\cong {\pi }_{i}U(n+1)$ for $i\le 2n-1$ because both adjacent sphere homotopy groups vanish.

A finite-dimensional continuous complex representation of a compact group is a direct sum of irreducible representations. Average a positive Hermitian inner product over normalized Haar measure. The orthogonal complement of an invariant subspace is then invariant, so induction on dimension gives the decomposition. The same argument works for finite-dimensional real representations with a positive real inner product.

For a normalized even unimodal interval map with $f(0)=1$ and $a=f(1)\in (-1,0)$, defineThis returns the second iterate near the critical point to the original spatial and height normalization. Then $\mathcal{T}(f)(0)=f(1)/a=1$. A restrictive-interval condition is also needed for the composition to remain unimodal and map $[-1,1]$ into itself; normalization alone is not sufficient.

// Target: dynamical-systems.bigb

Gravity darkening is the variation of surface brightness and effective temperature with effective gravity over a rotating or tidally distorted star. Lower equatorial gravity generally corresponds to cooler equatorial regions. The radiative gravity-darkening law applies to the idealized uniformly rotating, radiatively transporting, composition-uniform case; its exponent is not universal for every stellar envelope.

On a regular equipotential surface, $f,f^{\prime },\rho$ and ${\nabla }^2\varphi$ are constant, but $|\nabla \varphi {|}^2$ generally varies. Consequently a flux $\mathbf{F}=f(\varphi )\nabla \varphi$ cannot ordinarily satisfy local radiative equilibrium $\nabla \cdot \mathbf{F}=\rho ϵ$ at all latitudes. Special cases such as $f^{\prime }=0$ or spherical symmetry evade this obstruction. Stellar meridional circulation supplies heat advection in the leading hydrostatic treatment.

Slow circulation in planes containing the rotation axis can transport entropy through a rotating star while the leading mechanical balance remains nearly hydrostatic equilibrium. Its steady mass flux satisfies the continuity equation. It is distinct from assuming an exactly motionless radiative interior, and from turbulent convection.

The divergence theorem and Poisson equation give ${\int }_S\nabla \varphi \cdot d\mathbf{S}=4\pi Gm-2{\Omega }^{2}V$ on a bounding equipotential surface. Equipotential luminosity conservation with stellar circulation then fixes $f=L/(4\pi Gm-2{\Omega }^{2}V)$. Combining $dT/d\varphi =-f/\chi$, $dP/d\varphi =-\rho$ and radiative conductivity gives the displayed logarithmic temperature-pressure gradient. Both appearances of mass mean the enclosed mass $m$; only on the outer boundary can both be replaced by the total mass.

This approximation represents the gravitational potential by a central point mass while retaining the centrifugal potential. A surface through polar radius $R_p$ satisfies $R_p/r+q(r/R_p{)}^2{\sin }^2\theta /2=1$, where $q={\Omega }^2{R}_p^3/(GM)$. The inner closed surface is regular below $q=8/27$; at the limiting value its equatorial radius is $3R_p/2$ and equatorial effective gravity vanishes. The approximation is useful for illustrating oblateness and gravity darkening, rather than modeling the density distribution of every rotating star.

Assume an exponentially decreasing temperature profile while imposing wall heat flux, impermeability and the exact integrated heat budget. For $f=C(1-e^{-\eta /d})$, the wall condition gives $C=d^2$ and $\int (f^{\prime }{)}^{2}d\eta =1$ gives $d^3=2$. This yields the displayed integral approximation and discharge $\int wdy\simeq 2^{2/3}\kappa z/\delta$. It satisfies the boundary conditions and exact flux budget, but not the differential equation pointwise; its mass-flux coefficient is approximate.

Schauder estimates control Hölder norms of derivatives of a solution to an elliptic differential equation. For a second-order uniformly elliptic operator $L=a^{ij}{D}_{ij}+b^i{D}_i+c$ with $C^{0,\alpha }$ coefficients, where $0<\alpha <1$, interior estimates gain two derivatives over a $C^{0,\alpha }$ forcing, while estimates up to a boundary also require regular boundary data.

On a bounded $C^{2,\alpha }$ domain, a standard global Dirichlet problem estimate isHere $g$ denotes a $C^{2,\alpha }$ extension of the prescribed boundary data. For homogeneous data choose $g=0$. The constant depends on ellipticity, domain geometry, coefficient bounds and $\alpha$; it is independent of the particular solution. The $C^0$ term allows a nontrivial homogeneous kernel and can be removed only with an additional uniqueness estimate.^[ref]

The boundary term is essential. On the unit disk, $u_n(r,\theta )=r^n\cos (n\theta )$ is harmonic with supremum one but boundary second tangential derivative of size $n^2$. Its global $C^{2,\alpha }$ norm cannot be bounded using only zero forcing and that fixed supremum. An interior Schauder estimate remains valid on a smaller disk, whose distance from the boundary controls the constant. This separates interior regularity from control of rapidly oscillating boundary data.

The quadratic form of a matrix only sees its symmetric part. Thus $\lambda |\xi {|}^2\le {\xi }^{T}A\xi \le \Lambda |\xi {|}^2$ need not bound the skew part of a measurable coefficient matrix. For $A=\left(\begin{array}{cc}1& k\\ -k& 1\end{array}\right)$ the quadratic form is exactly $|\xi {|}^2$, regardless of $k$. On a square, take $k(x)=1/|x_1|$ off the line $x_1=0$, with a finite arbitrary value on that line. Two compactly supported smooth functions that equal $x_2$ and $x_1$ near the origin have $(A\nabla u)\cdot \nabla v=k$ there; the purported energy pairing is not integrable. A Lax-Milgram theorem proof therefore requires bounded full coefficients or another hypothesis that makes the bilinear form bounded. Symmetry supplies the missing matrix bound from the quadratic upper bound.

Exhaust a simply connected hyperbolic Riemann surface in potential theory by compact bordered Jordan domains $R_n$. Their Green functions on a Riemann surface $G_n(\cdot ,p)$ have logarithmic poles and zero boundary values. Exponentiating their harmonic conjugates produces proper degree-one maps $f_n:R_n\to \mathbb{D}$ with $f_n(p)=0$. If $G_n=-\log |\zeta |+c_n+o(1)$, normalize $f_n^{\prime }(p)=e^{-c_n}>0$. Domain monotonicity and a global positive Green function bound $c_n$ increasingly from above. Thus Montel theorem gives a nonconstant limit $F$, which is injective by the locally uniform limit of univalent functions theorem. The Schwarz lemma makes $F^{\prime }(p)$ extremal among normalized disk-valued maps. If $F$ omitted $a\ne 0$, taking a global holomorphic square root of a disk automorphism applied to $F$, then renormalizing at $p$, would multiply its derivative by $(1+|a|)/(2\sqrt{|a|})>1$. Thus $F$ is onto and gives the desired biholomorphism.