For a topological space $S$, let $\Delta A$ be the constant presheaf of sets on its open-set category, with identity restriction maps, including the value at the empty open set. A natural transformation $P\to \Delta A$ is determined by its map $P(\varnothing )\to A$; its component at $U$ composes with $P(U)\to P(\varnothing )$. A transformation $\Delta A\to P$ is determined by $A\to P(S)$; its component at $U$ restricts sections from $S$. These two bijections prove the displayed adjunctions. This concerns presheaves, so no sheafification is involved.

If $\psi (A_1,A_2)$ is a conservative vector field, equality of the mixed derivatives of its potential gives ${\partial }_y(\psi A_1)={\partial }_x(\psi A_2)$. Expanding proves the displayed necessary equation. For continuously differentiable data on the whole plane, the vanishing planar curl is also sufficient for a potential. A useful integrating factor is nonzero on the region under consideration.

Let an integrable function have finite one-sided limits $A,B$ at zero. Oddness gives $(Q_r\ast f)(0)=(2\pi {)}^{-1}{\int }_0^{\pi }{Q}_r(t)[f(-t)-f(t)]dt$. Also ${\int }_0^{\delta }{Q}_r(t)dt=\log [(1-2r\cos \delta +r^2)/(1-r{)}^2]=2\log (1/(1-r))+O_{\delta }(1)$. Thus $(Q_r\ast f)(0)/\log (1/(1-r))\to (A-B)/\pi$: make the near-zero error in $f(-t)-f(t)$ arbitrarily small and bound the remaining integral uniformly. When negative Fourier coefficients vanish, the conjugate-kernel identity makes this convolution bounded because $P_r\ast f$ tends to $(A+B)/2$. Therefore $A=B$. A removable discontinuity caused solely by altering a point value is not excluded.

Two permutations in the same symmetric group are conjugate if $\tau =\pi \sigma {\pi }^{-1}$ for some permutation $\pi$. Conjugation relabels every permutation cycle, so it preserves cycle type. Conversely, equal cycle types permit a relabelling between corresponding cycles, establishing conjugacy.

For the modified Helmholtz equation $\Delta q-4\lambda q=0$ with identical oriented outward Neumann boundary data on all sides of an equilateral triangle, uniqueness forces rotation invariance. Put $\chi (k)=l(k+\lambda /k)/2$, $\Psi (k)={\int }_{-l/2}^{l/2}{e}^{(k+\lambda /k)s}f(s)ds$, and $a=e^{2\pi i/3}$. At $\chi (k_n)=i\pi n$, paired global relations giveFor $\lambda >0$ one may choose $k_n=i[\pi n/l+\sqrt{(\pi n/l{)}^2+\lambda }]$; both denominator factors are nonzero. The derivation retains the tangential-derivative term in each side spectrum. Its endpoint contribution vanishes at these samples because rotation invariance makes all vertex values equal. For $\lambda =0$ the data must have zero total flux and an additive constant remains; negative parameters at Neumann Laplacian eigenvalues require the Fredholm solvability condition and allow homogeneous additions.

Let the base be a smooth algebraic curve, the total surface be smooth, and the field be algebraically closed of characteristic different from two. At a rank-two singular fibre with kernel vector $v$, the fibre derivatives vanish at $[v]$. Smoothness requires $v^{\mathsf{T}}{M}^{\prime }v\ne 0$. The adjugate matrix is a nonzero multiple of $v{v}^{\mathsf{T}}$, so the determinant has a simple zero. At rank at most one, the projective kernel contains a line and the quadratic $v^{\mathsf{T}}{M}^{\prime }v$ has a zero on it; that point would make the total surface singular. Thus every singular fibre is a pair of distinct projective lines and its discriminant zero is simple.

The matrix of the residual plane conic in coordinates $(u,v,w)$ has coefficient degrees $\left(\begin{array}{ccc}1& 1& 2\\ 1& 1& 2\\ 2& 2& 3\end{array}\right)$ in the plane parameter $(s,t)$. Every term of its determinant has degree five. The reduced singular fibres of a smooth conic bundle lemma rules out an identically zero determinant and makes each zero simple. Over an algebraically closed field, there are therefore exactly five singular fibres, each a pair of distinct coplanar projective lines. No residual conic contains the original line, because $sA+tB\equiv 0$ would make $A,B$ proportional and force a common zero. Pairs from different fibres are disjoint.

For independent one-dimensional Brownian motions $\beta ,\theta$, the real and imaginary parts of $Z$ are continuous local martingales with equal bracket $A$ and zero cross bracket. The Divergence of a driftless Brownian exponential clock makes $A_{\infty }=\infty$, and the common-clock time change of orthogonal local martingales makes $Z_{A^{-1}(r)}$ planar Brownian motion started at $1$. The exponential never vanishes, proving that this Brownian motion never hits zero. Recurrent visits of $\beta$ to arbitrarily negative levels prove visits arbitrarily near zero at arbitrarily large Brownian times.

Planar Brownian motion started at $(-x,0)$ exits the left half-plane with ordinate distributed as $x$ times a standard Cauchy random variable. Conditional on the independent horizontal hitting time, the ordinate is normal with variance equal to that time. The inverse-square Gaussian law of Brownian first passage turns this into a ratio of independent standard normals. Its exit density is $x/(\pi (x^2+y^2))$.

For planar Brownian motion started at radius $\epsilon$ and stopped on first hitting radius one, the net winding count divided by $\log \epsilon$ converges to a standard Cauchy random variable divided by $2\pi$. The complex exponential maps Brownian coordinates in the left half-plane to the punctured unit disk after the conformal Brownian clock. The unwrapped argument at exit is the vertical half-plane exit coordinate, with the Cauchy exit law from a Brownian half-plane. Counting integer turns introduces only a uniformly bounded error in winding units.

For positive inflation factor $h$, $L_{M,A}(hX)=h{L}_{M/h,A/h}(X)$. The conditioning event also changes to $X>M/h$. If claims have a lognormal distribution, the same result follows by replacing their log-mean $\mu$ by $\mu +\log h$ and keeping the contractual attachment and limit fixed. Merely multiplying the original conditional mean by $h$ would hold those effective thresholds incorrectly fixed.

Let $R$ be a commutative unital ring and $f(T)=a_{1}T+a_2{T}^2+\cdots$ with $a_1$ a unit. Set $g(T)={\sum }_{n\ge 1}{b}_n{T}^n$. The coefficient of $T$ in $f(g(T))$ gives $b_1=a_1^{-1}$. At every degree $n>1$, the coefficient is $a_1{b}_n$ plus an expression involving only $b_1,\dots ,b_{n-1}$; choose $b_n$ to cancel that expression. This gives a unique right compositional inverse of a formal power series.

Similarly, the coefficient of $T^n$ in $h(f(T))$ is $a_1^n{h}_n$ plus previously fixed terms, so the same recursion gives a left inverse $h$. Composition of zero-constant-term formal power series is associative, since every coefficient involves finitely many terms. Therefore $h=h\circ (f\circ g)=(h\circ f)\circ g=g$, proving $f\circ g=g\circ f=T$.

With negligible heavy-element contribution to the mean molecular weight, $\mu =4/(3+5X)$ and $\kappa \propto 1+X$. At fixed mass, composition-dependent CNO homology gives $L\propto (1+X{)}^{-1}(3+5X{)}^{-4}$ and $R\propto [X(1+X){]}^{1/16}(3+5X{)}^{-9/16}$. The Stefan–Boltzmann law then gives $T_e\propto X^{-1/32}(1+X{)}^{-9/32}(3+5X{)}^{-23/32}$. From the formal $X=1$ reference, declining $X$ initially increases luminosity and effective temperature, unlike the usual redward main-sequence turn-off. A trace CNO catalyst abundance is implicit in the burning coefficient; an exactly metal-free pure-hydrogen star cannot burn through that cycle.

The complex tautological line bundle is a holomorphic subbundle of the trivial bundle with fibre ${\mathbb{C}}^{n+1}$. A global holomorphic section therefore gives $n+1$ global holomorphic functions on compact connected Complex projective space. The maximum modulus principle makes them constant. The constant vector must lie in every projective line through the origin, whose intersection is zero for $n\ge 1$. For $n=0$, the base is one point and the section space is instead $\mathbb{C}$.

For $\zeta =z_2/z_1$ and $\eta =1/\zeta$, the tautological frames $(1,\zeta )$ and $(\eta ,1)$ differ by $1/\zeta$. Normalize their ambient Hermitian form norms; the resulting frames differ by the displayed phase. The unit circle total space is $S^3\subset {\mathbb{C}}^2$ and its projection to the complex projective line is the Hopf fibration. The transition of the dual line is the reciprocal phase.

For any complex line bundle $L$, a nonzero dual vector $\varphi \in L_b^{\ast }$ determines the unique $v\in L_b$ with $\varphi (v)=1$. In local coordinates this is fiber inversion $a\mapsto a^{-1}$, giving a smooth projection-preserving diffeomorphism between the complements of the zero sections of $L^{\ast }$ and $L$. It is not a fiber-linear bundle isomorphism. In particular this condition cannot distinguish the tautological line on the complex projective line from its dual.

A partition of unity and local orthonormal frames embed a bundle over compact Hausdorff X in a finite trivial bundle. Its fibre images give a classifying map pulling back the complex tautological bundle on a Grassmannian. Isomorphic bundles give homotopic maps by interpolating two embeddings in orthogonal coordinate blocks. Homotopic maps give isomorphic bundles because uniformly close orthogonal projections identify their image bundles along a finite subdivision of the homotopy interval.

Any $d$ quadratic forms on ${\mathbb{C}}^n$ have a common nonzero zero when $n\ge 2^d$. Choose a totally isotropic subspace for the first form, of dimension at least $\lfloor n/2\rfloor$. Restrict the remaining forms to it and repeat by induction. After $d$ stages at least one dimension remains. This elementary sufficient bound does not assert that $2^d$ is the best possible threshold.

In complex dimension at least two, a holomorphic function on a punctured coordinate ball extends holomorphically through its centre. Componentwise extension in a holomorphic local frame gives the same statement for holomorphic sections. This preserves global sections after removing finitely many points, but does not imply preservation of higher sheaf cohomology. This analytic theorem differs from the set-theoretic Hartogs theorem.

A primary Hopf surface is a quotient of ${\mathbb{C}}^2\setminus \{0\}$ by an infinite cyclic group generated by a suitable contracting holomorphic map; reversing the generator gives the expanding dilation description. The scalar dilation $z\mapsto 2z$ gives a compact surface diffeomorphic to $S^3\times S^1$ via polar coordinates and log radius. Hence $b_1=1$. The Betti and Hodge bounds for compact complex surfaces force $h^{1,0}=0$ and $h^{0,1}\ge 1$, furnishing a strict example of $h^{1,0}<h^{0,1}$.