The formal character identity ${\chi }_{{\wedge }^{2}U}(x)=\frac{1}{2}({\chi }_U(x{)}^2-{\chi }_U(x^2))$ counts unordered pairs of distinct basis vectors. Substituting ${\chi }_{2,1}=h_2(x)h_1(x^{-1})-h_1(x)$ and the Weyl character formula gives the displayed multiplicity-free decomposition. Its dimensions sum to $21+42+24+15+3=105=\left(\genfrac{}{}{0ex}{}{15}{2}\right)$. The sl3 interlacing character formula provides an exact weight-enumeration check.

An invertible maximal-rank minor in the Jacobian matrix eliminates generators and gives a local surjection from ${\mathcal{O}}_X^n$ to the Kähler differential sheaf. For an integral smooth variety the map is an isomorphism at the generic point. Its kernel is a submodule of a free module over an integral domain, so it is a torsion-free module; vanishing generically forces it to be zero. This gives local free frames for differentials.

In an embedded arrangement graph, an edge whose fixed-radius neighbourhood meets a bad edge can be charged to the first such edge along a shortest path. All intervening edges are good dual-arrangement edges, so their endpoints have bounded degree. The number of possible reversed paths is bounded in terms of the fixed radius alone. Therefore thickening a defect set by a fixed radius preserves an $O(t_2)$ edge count.

Multiplying a relatively almost periodic observable by a base-set indicator preserves relative almost periodicity: on each fiber an orbit value is either unchanged or zero, so add zero to the finite list of centers. Conditional norm covariance under a factor map also proves closure under convergence in the uniform conditional L2 norm.

The punctured affine plane $U={\mathbb{A}}_k^2\setminus \{(0,0)\}$ is not an affine scheme. On its cover $D(x)\cup D(y)$, global sections are $k[x,y{]}_x\cap k[x,y{]}_y=k[x,y]$ inside the field of fractions. Coprimality of $x$ and $y$ proves this equality. If $U$ were affine, its inclusion into ${\mathbb{A}}_k^2$ would be an isomorphism by affine scheme reconstruction from global sections, contradicting the omitted point.

A projective complete intersection defined by a regular sequence in a polynomial ring has pure codimension equal to the sequence length and has no embedded associated primes. Thus its components account for the whole degree, with their generic multiplicities. This fact excludes hidden embedded points when a contained curve already has the full intersection degree.

For a holomorphic subbundle $S\subset E$ and quotient $Q=E/S$, the second fundamental form is $A(s)=(I-{\pi }_S)D_{E}s$. The Leibniz rule gives $A(fs)=fA(s)$, and holomorphicity of the subbundle makes its $(0,1)$ part vanish. Thus $A\in {\mathcal{A}}^{1,0}(\mathrm{Hom}(S,Q))$: the form factor is a cotangent bundle, not a tangent bundle.

A graded module $M$ over a graded ring $S$ determines a quasi-coherent sheaf on the Proj construction $\mathrm{Proj}S$ by taking the degree-zero part of its localization on each standard affine open of Proj. Localization identifies these module sheaves on overlaps. The construction is exact, by exactness of localization and exactness of taking a fixed graded component.

If a nonnegatively graded ring $S$ is generated by $S_1$ as an $S_0$-algebra, the standard affine opens of Proj $D_{+}(f)$ with $f\in S_1$ cover $\mathrm{Proj}S$. Indeed a homogeneous prime containing every degree-one element would contain the irrelevant ideal of a graded ring. This condition makes all twisting sheaves on Proj invertible and makes graded sheafification compatible with tensor products of sheaves.

Let $(L,h)$ be a positive holomorphic line bundle on a compact complex manifold $X$ of complex dimension $n$, and use $\omega =i{F}_L$ as the Kähler form. There is a constant $C$ independent of the positive integer $k$ such that, on smooth $L^k$-valued $(0,q)$-forms with $q\ge 1$,In particular, for sufficiently large $k$, the Dolbeault Laplacian is bounded below by $k/2$ on every positive antiholomorphic degree.

To see the positive sign, identify these forms with $(n,q)$-forms valued in $L^k\otimes K_X^{-1}$, using the canonical bundle and its dual bundle. The Bochner-Kodaira-Nakano identity writes the quadratic form as a nonnegative derivative term plus the curvature commutator. The $ik{F}_L=k\omega$ contribution acts by $kq$ in bidegree $(n,q)$; the inverse-canonical contribution has uniformly bounded size on compact $X$. This gives $kq-C$. Applying the curvature commutator directly in bidegree $(0,q)$ without this twist would give the wrong sign.^[ref]

The estimate rules out nonzero harmonic forms in these degrees. The Dolbeault Hodge decomposition and Dolbeault theorem therefore imply $H^q(X,L^k)=0$ for $q>0$ and sufficiently large $k$. The additive constant matters for small powers; the linear spectral gap is an eventual statement.

When $R\ll Q$, the ratio of cubic damping to linear amplification is $R^2/Q^2\ll 1$. The cubic amplitude saturation equation therefore giveswhile the small-amplitude regime lasts. With $c_d=0$, the matching real-wavenumber normal mode of the linear complex Ginzburg-Landau equation has $\omega =Uk+i(\mu -k^2)$ and hence amplitude proportional to $e^{(\mu -k^2)t}$. ThusThis is the temporal growth rate of the same Fourier component. It is not the fixed-position absolute frequency rate $\mu -U^2/4$ of a localized impulse. Nonlinear damping becomes important when $R$ is comparable with $Q$ and then arrests exponential amplification.

For the equal-width Hazel model with stable density stratification $J\ge 0$,The Miles–Howard theorem therefore excludes exponentially growing regular normal modes for $J\ge 1/4$. The candidate neutral modes of the equal-width Hazel model instead lie onThe parabola touches the sufficient-stability threshold at its maximum. There is no contradiction: neutrality has $c_i=0$, whereas the proof in part (a) assumes $c_i>0$. Moreover, the $k=1/2$ profile has a singular critical-layer derivative and logarithmically divergent horizontal kinetic energy; it is not a regular growing mode satisfying the proof's hypotheses.

For $J<1/4$, the local gradient Richardson number condition permits instability but does not establish it. Substitution of a neutral ansatz alone also does not determine on which side of the curve unstable eigenvalues lie. It identifies the formal neutral curve; concluding a full stability boundary requires additional continuation analysis of the eigenvalues. The nondecaying $k=0$ endpoint and the smooth $k=1,J=0$ endpoint have the distinct qualifications described above.

The approximate source bound for coercive Tikhonov regularization first allows a fixed sufficiently large $r$ to make ${\eta }_r$ small, then a sufficiently small $\alpha$ to make $\sqrt{\alpha }\beta r$ small. This order of limits proves $R_{\alpha }f\to K^{†}f$ for every datum in its domain.

For the noise error let $v=R_{\alpha }g$. Its normal equation for coercive Tikhonov regularization givesCompleting the square shows $\alpha {\beta }^2\Vert v{\Vert }^2\le \Vert g{\Vert }^2/4$, hence $\Vert R_{\alpha }\Vert \le 1/(2\beta \sqrt{\alpha })$. The noise-bias decomposition for linear regularization now givesTherefore the sufficient regularization parameter choice isFor example $\alpha (\delta )={\delta }^q$ with $0<q<2$ works. Coercivity makes $K^{\ast }K+\alpha B^{\ast }B$ boundedly invertible for each positive $\alpha$, so these are continuous linear reconstruction operators and form a convergent regularization of an inverse problem.

Write $u^{†}=K^{†}f$, $e=R_{\alpha }f-u^{†}$, and $z={\beta }^{-2}{B}^{\ast }B{u}^{†}$, with $\beta >0$ as required by coercivity and by the printed inverse power. The Tikhonov regularization with a coercive penalty operator normal equation givesThis also holds for inconsistent data in $\mathcal{D}(K^{†})$, because $f-K{u}^{†}\perp \mathcal{R}(K)$ and therefore $K^{\ast }f=K^{\ast }K{u}^{†}$. Taking the inner product with $e$ givesFor any $w$ with $\Vert w\Vert \le r$, put $d=\Vert z-K^{\ast }w\Vert$ and use Cauchy-Schwarz inequality to bound the right-hand side by $\alpha {\beta }^2(d\Vert e\Vert +r\Vert Ke\Vert )$. Since $\Vert Be\Vert \ge \beta \Vert e\Vert$, completing the square in $\Vert Ke\Vert$ yieldsThe positive root of this quadratic inequality is at most $d+\sqrt{\alpha }\beta r/2$. Infimizing over $w$ proves the approximate source bound for coercive Tikhonov regularization, in fact slightly more strongly:Injectivity gives $\overline{\mathcal{R}(K^{\ast })}=\mathcal{N}(K{)}^{\perp }=U$. Given any positive tolerance, approximate $z$ by $K^{\ast }w$ for some finite-norm $w$; for all sufficiently large $r$ it is admissible in the infimum. ThusNo attainment of that infimum is needed.

For $\delta >0$ and $M=\Vert f^{\prime \prime }{\Vert }_{\infty }>0$, differentiate the bound $F(h)=\sqrt{6}\delta /h+Mh/2$. Its derivative vanishes at $h_{\ast }^2=2\sqrt{6}\delta /M$, and $F^{\prime \prime }(h)>0$. Consequently, when $h_{\ast }<1/2$,If $h_{\ast }\ge 1/2$, the infimum on the open allowed interval is approached as $h\uparrow 1/2$, rather than attained at an admissible endpoint. If $M=0$ and $\delta >0$, the bound decreases throughout the interval and has the same boundary behavior. At zero noise with $M>0$, its infimum is approached as $h\downarrow 0$.

A practical regularization parameter choice independent of $M$ isIt satisfies $h\to 0$ and $\delta /h\to 0$, hence gives a convergent regularization of an inverse problem on the domain of the Volterra operator inverse. This extends beyond $C^2$ exact data: if $f=Ku$ with $u\in L^2$, the differences are local averages of $u$. Extend $u$ by zero outside the interval; continuity of translations in $L^2$ makes these averages converge to $u$ on both halves. Together with $\Vert D_h(f^{\delta }-f){\Vert }_2\le \sqrt{6}\delta /h$ this proves convergence uniformly over the noise ball for every admissible exact datum.

For the Volterra operator, the identity $K^{†}f=f^{\prime }$ requires $f(0)=0$ in addition to the printed $C^2$ hypothesis. The constant function $f=1$ is a counterexample to the unrestricted domain assertion: it is not in $\mathcal{D}(K^{†})$. The estimate below is valid for derivatives of every $C^2$ function, and estimates the Moore–Penrose reconstruction when this missing boundary condition holds.

Let $e=f^{\delta }-f$. Apply $|a-b{|}^2\le 2|a{|}^2+2|b{|}^2$ separately to the two halves defining differentiation by one-sided difference quotients:The two translated intervals cover each point at most twice; this proves the factor six. The shifts act on almost-everywhere equivalence classes, so no undefined pointwise data sampling is involved.

For exact data, write the forward difference as $h^{-1}{\int }_0^h{f}^{\prime }(x+t)dt$ and the backward difference as $h^{-1}{\int }_0^h{f}^{\prime }(x-t)dt$. If $M=\Vert f^{\prime \prime }{\Vert }_{\infty }$, either differs from $f^{\prime }(x)$ by at most $h^{-1}{\int }_0^{h}Mtdt=Mh/2$. The interval has length one, so this also bounds the $L^2$ approximation error. The triangle inequality proves the error bound for one-sided differentiation:

The range of the Volterra integration operator is $\{g\in H^1(0,1):g(0)=0\}$, using the representative of a Sobolev space element that is an absolutely continuous function. Indeed $Ku$ has weak derivative $u$ and zero initial trace; conversely the fundamental theorem of calculus reconstructs such a $g$ from its derivative. This range contains smooth compactly supported functions and is dense in $L^2(0,1)$.

The given step is in $L^2$, and its value at the single midpoint is immaterial. It cannot be the image of an $L^2$ function: such an image is continuous, whereas no continuous representative agrees almost everywhere with zero on the left half and one on the right half. Its distributional derivative is a Dirac delta distribution, not an $L^2$ function. ThusFor a direct approximation, replace the jump by a linear ramp of width $1/n$ centered at $1/2$. Each ramp starts at zero and has an $L^2$ derivative, so lies in the range, while its squared $L^2$ error is $1/(12n)$. Its derivative norm is $\sqrt{n}$, illustrating unstable differentiation.

The supplied SVD gives $K({\sigma }_j{u}_j)={\sigma }_j^2{v}_j$, or more simply $K^{†}({\sigma }_j{v}_j)=u_j$. Since ${\sigma }_j{v}_j\to 0$ but $\Vert u_j\Vert =1$, the Moore–Penrose inverse is discontinuous. Its domain is the dense, nonclosed range above, and there it is the weak derivative.

The Picard criterion with the input/output convention above statesNecessity follows from $⟨f,v_j⟩={\sigma }_j⟨u,u_j⟩$ and Bessel inequality. Conversely the summability constructs $u={\sum }_j{\sigma }_j^{-1}⟨f,v_j⟩u_j\in U$; the closure condition ensures that its image is all of $f$. The closure condition must not be omitted: a component orthogonal to the range cannot be reconstructed.

For the diagonal example, $f_j=j^{-p}$ is itself in ${\ell }^2$ only for $p>1/2$. Its preimage would be $u_j=j^{1-p}$, so the range criterion is the convergence of ${\sum }_j{j}^{2-2p}$. The P-series givesAt $p=3/2$ the reconstruction norm diverges harmonically. For $1/2<p\le 3/2$ the data are legitimate but have no preimage; for $0<p\le 1/2$ they are not even in the specified data space.

A singular system of a compact operator $K:U\to V$ consists of positive singular values ${\sigma }_j$ and orthonormal systems $u_j\in U$, $v_j\in V$ satisfyingThey span $\mathcal{N}(K{)}^{\perp }$ and $\overline{\mathcal{R}(K)}$, respectively. The singular value decomposition isFor an infinite-rank compact operator, the singular values tend to zero; for finite rank the sum is finite. Vectors in $\mathcal{N}(K)$ contribute nothing. This convention labels the input singular vectors by $u_j$ and the output ones by $v_j$.

For $(Ku{)}_j=u_j/j$, truncating after $n$ diagonal entries gives finite-rank operators with operator-norm error $1/(n+1)$, proving compactness. Its SVD is

For the diagonal operator on sequence space,Equality holds at the first coordinate vector, so $\Vert K\Vert =1$ and $K$ is a bounded linear operator. Every diagonal entry is nonzero, giving the null space $\mathcal{N}(K)=\{0\}$. A datum has a preimage exactly when its weighted coordinates belong to the l2 sequence space. HenceFinite sequences lie in the range and are dense in ${\ell }^2$, so $\mathcal{R}(K{)}^{\perp }=\{0\}$ andThe sequence $f^{(n)}=e_n/n$ converges to zero in the data norm, but $K^{†}{f}^{(n)}=e_n$ has norm one. Thus $K^{†}$ is unbounded and discontinuous. In particular the dense range is not closed; the datum $f_j=1/j$ also proves that it is a proper subset of ${\ell }^2$.