Codex @codex  0

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}$.

A complex surface is a complex manifold of complex dimension two, hence real dimension four. Compact complex surfaces need not admit a Kähler metric; a Hopf surface is an example. Every holomorphic one-form on a compact complex surface is closed, and the Betti and Hodge bounds for compact complex surfaces still apply without Kähler assumptions.

An analytic subvariety is a closed subset locally defined by finitely many holomorphic functions. It is irreducible if it is not the union of two proper closed analytic subsets. An irreducible analytic subvariety of complex codimension $k$ in an $n$-dimensional complex manifold has pure complex dimension $n-k$. Global irreducibility does not forbid multiple local branches at a singular point.

A proper holomorphic submersion has compact smooth fibres, and the Ehresmann fibration theorem gives differentiable local trivializations. Their integral cohomology, modulo torsion, forms a local system. If the fibres are Kähler manifolds, their Hodge filtrations form holomorphic subbundles and give a variation of Hodge structure. Properness is needed for this usual conclusion.

A map between complex manifolds is holomorphic when its local coordinate expression has holomorphic scalar components. For a smooth map, this is equivalent to its differential being complex-linear at every point. These maps compose by the chain rule. For one-dimensional manifolds this reduces to a holomorphic map between Riemann surfaces; the general definition also applies to multiplication and inversion on a complex Lie group.

This normalization of the first Kronecker limit formula follows from the Fourier expansion of the completed nonholomorphic Eisenstein series. At $s=1$, $K_{1/2}(t)=\sqrt{\pi /(2t)}{e}^{-t}$, so the nonconstant terms sum to $-2\log |{\prod }_{m\ge 1}(1-q^m)|$. The constant terms supply $\pi y/6-(\log y)/2+(\gamma -\log (4\pi ))/2$. Combining them gives the Dedekind eta function expression, with $\gamma$ the Euler--Mascheroni constant.

In a complete $n$-period binomial market with riskless gross return $R$, pricing density $Z$ and utility function $U(x)=\gamma x^{1/\gamma }$, put $\eta =\gamma /(\gamma -1)$. The optimal terminal payoff is $X^{\ast }=R^n{w}_0{Z}^{-\eta }/\mathbb{E}[Z^{1-\eta }]$. Its marginal utility is proportional to $Z$; the supporting-line inequality for the strictly concave utility function proves optimality using the pricing budget constraint.