Let $L$ be the complexification of a real vector bundle of the tautological bundle over Real projective space ${\mathbb{RP}}^{2n+1}$. For $k\ge 1$, the K-theory Euler class of $L^{\oplus k}$ is $-2^{k-1}([L]-1)$, andThe K-theory Gysin sequence of a sphere bundle gives an extension by $\mathbb{Z}$, which splits as an exact sequence of abelian groups.

MIRI's low-resolution spectroscopy includes a slitless time-series mode for exoplanet observations. Its useful coverage includes the $5$–$12\mu \mathrm{m}$ region, with longer-wavelength limits dependent on calibration and sensitivity. See the instrument guide.

The NIRISS single-object slitless spectroscopy mode measures time-series spectra from $0.6$ to $2.8\mu \mathrm{m}$. It supports exoplanet transmission spectra and eclipse observations, as described in the instrument guide.

The implicit iteration $(I+\tau K^{\ast }K)u_{k+1}=u_k+\tau K^{\ast }f$, starting from zero, multiplies each data singular vector by $[1-(1+\tau {\sigma }^2{)}^{-k}]/\sigma$. Its operator norm is at most $\sqrt{k\tau }$.

For a real-valued irreducible character of a finite odd-order group, pairing $g$ with $g^{-1}$ gives $⟨\chi ,1_G⟩=(\chi (1)+2A)/|G|$, with $A$ an algebraic integer. If this inner product were zero, $\chi (1)$ would be even, since a rational algebraic integer is an integer. But an irreducible character degree divides the group order, so it is odd. Therefore the character is trivial.

A positive invariant metric is a positive-definite real symmetric invariant bilinear form on a Lie algebra. Each adjoint map is skew-adjoint. Invariance gives $[\mathfrak{g},\mathfrak{g}{]}^{\perp }=\mathfrak{z}(\mathfrak{g})$, so the algebra splits orthogonally into its Abelian center and its derived algebra. The latter has zero center, and $\kappa (X,X)=\mathrm{tr}({\mathrm{ad}}_X^2)=-\Vert {\mathrm{ad}}_X{\Vert }^2$ is strictly negative for nonzero $X$. Thus it is compact semisimple; the whole algebra is compact reductive. Conversely, a compact semisimple summand has metric $-\kappa$ and the center can carry any positive metric. The Killing form alone vanishes on the center.

For an intrinsically stationary random field, the semivariogram is $\gamma (h)=\frac{1}{2}\mathrm{Var}[Z(s+h)-Z(s)]$. It is even and vanishes at zero. With constant mean, a second-order stationary field has $\gamma (h)=C(0)-C(h)$. An isotropic model writes it as a function of nonnegative distance.

A critical level is a height at which the intrinsic frequency of an internal gravity wave vanishes. For finite positive buoyancy frequency, its local vertical wavenumber diverges as $\hat{\omega }\to 0$. The inviscid Taylor–Goldstein equation is singular there; viscosity, diffusion or nonlinear wave breaking can regularize the resulting small scales.

For an almost spherical inviscid bubble in exterior Stokes flow $\mathbf{Ex}$, let $\gamma ={\gamma }_0-{\gamma }_1(C-C_0)$ and $K=C_0{a}^2/(2D_s)$. The quadrupolar surfactant distribution on a spherical interface makes the tangential velocity ${\mathbf{u}}_s=\alpha {\mathbf{I}}_s\mathbf{Ex}$ satisfyThe Marangoni stress approaches the stress needed to suppress surface motion as $M$ grows. The quadrupolar shape perturbation $r=a(1+\mathbf{n}\cdot \mathbf{Dn})$ isThese expressions require small deformation and small surface Péclet number; large $M$ alone does not justify a small concentration perturbation.

The pairing $(T,f)\mapsto a_1(Tf)$ identifies the integral Hecke algebra of level-one cusp forms with the integral dual of the cusp-form lattice. An integral basis beginning $q,q^2,\dots ,q^m$ gives a unitriangular first-$m$ coefficient matrix, so $a_1,\dots ,a_m$ form a dual basis. Commutativity of the Hecke operators proves nondegeneracy on the algebra, and $T_1,\dots ,T_m$ then form its integral basis.

Let $W,W^{\prime }$ be choices of integral form of a group representation over a complete p-modular system. Then $I={\mathrm{Hom}}_{\mathcal{O}G}(W,W^{\prime })$ is finite free, and $K{\otimes }_{\mathcal{O}}I={\mathrm{Hom}}_{KG}(K\otimes W,K\otimes W^{\prime })$: clearing denominators proves the spanning assertion. Also ${\mathrm{Hom}}_{\mathcal{O}G}(W,\pi W^{\prime })=\pi I$. If $W$ is a projective module, applying the Hom functor to $0\to \pi W^{\prime }\to W^{\prime }\to W^{\prime }/\pi W^{\prime }\to 0$ yieldsConsequently these ordinary and modular Hom spaces have the same dimension of a vector space. Projectivity is essential: for $G=C_2$ over ${\mathbb{Z}}_2$, the trivial and sign lattices have zero Hom between them, whereas their reductions in characteristic $2$ coincide and have a one-dimensional Hom space.

A spectral data cube stores intensity $I(x,y,\lambda )$ with two spatial coordinates and one spectral coordinate. The third coordinate is wavelength, not an additional spatial dimension.

An image slicer divides a two-dimensional image into narrow strips and optically rearranges them into a long pseudo-slit. A spectrograph then disperses each strip while preserving its position along the slit.

This infinite product converges uniformly on compact subsets of the complex plane. Pair the factors at $iz$ and $-iz$ in the Weierstrass product for the reciprocal gamma function, and use the Gamma reflection formula together with $\Gamma (1+w)=w\Gamma (w)$. This gives $[\Gamma (1+iz)\Gamma (1-iz){]}^{-1}=\sinh (\pi z)/(\pi z)$ and the displayed product. The removable value at $z=0$ is one. Matching zeros alone would not exclude multiplication by a nonvanishing entire function; the normalized product fixes that ambiguity.

Transitivity requires the studies of different treatment comparisons to be sufficiently comparable in distributions of effect modifiers, outcome definitions and other design features to support an indirect treatment comparison in one target population. For example, a treatment that works differently by disease severity cannot safely be compared indirectly across trials with systematically different severity distributions. Statistical consistency is an implication of suitable transitivity and modeling assumptions, not a substitute for assessing them.

A properly embedded topological surface is boundary-incompressible when no disk in the ambient three-manifold joins an essential arc on the topological surface to an arc on the ambient boundary, with the disk's interior disjoint from both.

In an orientable irreducible Seifert fibered space, an essential two-sided incompressible surface that is also a boundary-incompressible surface can be isotoped to a horizontal surface in a Seifert fibered space or a vertical surface in a Seifert fibered space.

A posterior kernel $L(\theta )\pi (\theta )$ defines a posterior distribution exactly when its integral is finite and nonzero. Proper full conditional densities do not suffice. For example, if a known positive measurement variance makes a marginal normal likelihood approach a strictly positive limit as a latent variance $v$ tends to zero, the log-flat prior $dv/v$ gives infinite posterior mass at that boundary. The same problem occurs for a latent exponential scale $\tau$ with $d\tau /\tau$ when the observed likelihood has a positive limit as the exponential contribution vanishes.

A random-effect model with positive marginal likelihood at scale zero cannot yield a proper posterior distribution under a prior proportional to the reciprocal scale near zero. On a compact set of the other parameters, continuity and positivity give a positive likelihood lower bound, while ${\int }_0^{\epsilon }d\lambda /\lambda =\infty$. Individual full conditional distributions can still be proper, so their existence alone does not justify a Gibbs sampler with a probability distribution as its joint target.

In a category with pullback in a category constructions and image factorizations, direct image ${\exists }_f(A^{\prime })=\mathrm{im}(A^{\prime }\hookrightarrow A\stackrel{f}{\to }B)$ is a left adjoint to inverse image on subobjects. Frobenius reciprocity is ${\exists }_f(A^{\prime }\cap f^{\ast }{B}^{\prime })={\exists }_f(A^{\prime })\cap B^{\prime }$. It holds for all such subobjects exactly when strong epimorphisms are stable under pullback along monomorphisms. For sufficiency pull the strong part of the image factorization back along the mono into its intersection with $B^{\prime }$; for necessity take $A^{\prime }=A$ and $f$ strong, whose image is the whole codomain.