For the irreducible highest-weight representation of the special linear Lie algebra ${\mathfrak{sl}}_3$ with Dynkin labels $(a,b)$, let $(p,q)$ be a dominant integral weight. Put $r=(2a+b-2p-q)/3$ and $s=(a+2b-p-2q)/3$. If these are not integers, the weight multiplicity is zero; otherwise it is $\max \{0,1+\min (a,b,r,s)\}$.

To derive the formula, use the sl3 interlacing character formula with top row $(a+b,b,0)$. The target diagonal exponents are $(s+p+q,s+q,s)$, and an interlacing middle row $(P,Q)$ has $P+Q=2s+p+2q$, with bottom entry $s+p+q$. ThusEvery integral $P$ in this interval gives exactly one Gelfand–Tsetlin basis vector. The upper bound minus the lower bound is the minimum of six differences: $a,s,r,r+p+q,b,s+q$. Since $p,q\ge 0$, this minimum reduces to $\min (a,b,r,s)$. Counting the interval proves the formula, including absent weights of a representation. This converts a two-dimensional weight diagram calculation into four elementary boundary distances.

Over a field of characteristic zero, in a finite-dimensional Lie algebra representation of an sl2 triple, start with a nonzero vector $X_0$ satisfying $f{X}_0=0$ and $h{X}_0=-\lambda X_0$, and set $X_n=e^n{X}_0$. The commutator identities give the displayed weight and lowering formulas by induction. If $X_N\ne 0$ and $X_{N+1}=0$, then $f{X}_{N+1}=(N+1)(\lambda -N)X_N$ forces $\lambda =N$, a nonnegative integer. The nonzero terminal vector is essential: choosing a later index after the ladder has already vanished gives no constraint. Applied to the Adjoint representation of a semisimple Lie algebra, this argument proves integrality of Cartan integers.

Let $e_i=x^{4-i}{y}^i$ and $w_{ij}=e_i\wedge e_j$ for $i<j$. For the sl2 Lie algebra, the raising and lowering operators are $E=x{\partial }_y$, $F=y{\partial }_x$, and $w_{ij}$ has weight $8-2(i+j)$. A weight basis of the irreducible representation $L(6)$ isA weight basis of the complementary $L(2)$ isThe first vector in each list is a highest-weight vector. Applying $F$ along the first list gives successive coefficients $3,2,1,12,5,2$; along the second it gives $1,2$. The final vectors are killed by $F$. At the overlapping weights $2,0,-2$, the two listed vectors are independent, proving the direct sum.

// Target: semisimple-lie-algebra.bigb

In a finite-dimensional sl2 Lie algebra representation, raising and lowering operators are nilpotent operators, so their exponentials are finite sums. In the defining two-dimensional representation, the displayed product is $\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$. It sends $h$ to $-h$ by conjugation, lifting the nontrivial Weyl group reflection. Its square acts on the irreducible highest-weight module $L(n)={\mathrm{Sym}}^n{\mathbb{C}}^2$ by $(-1{)}^n$. Thus a Weyl reflection can have a representative of order four on a representation.

// Target: linear-operator-theory.bigb

For the nearest-neighbor symmetric walk on ${\mathbb{Z}}^3$, a return at time $2n$ uses $i,j,k$ positive and the same numbers of negative steps along each axis, with $i+j+k=n$. Counting arrangements gives the displayed identity. The sum of squares of the three-category multinomial distribution probabilities is at most their maximum. This maximum occurs at balanced counts and is $O(n^{-1})$ by Stirling's formula; the central binomial factor is $O(n^{-1/2})$. The total return probability is therefore summable. The expected number of visits is finite, so the probability of returning after time zero is strictly below one, proving that the origin is a transient state.

The relative tangent sheaf is the dual of a sheaf of Kähler differentials. Its sections are derivations of the structure sheaf that kill base scalars. For a smooth morphism it is locally free and describes first-order deformations of sections into the scheme.

Expanding a configuration-space path integral about a classical trajectory $q_c$ with fixed endpoints gives $S[q_c+f]=S[q_c]+\frac{1}{2}\int f{\mathcal{O}}_{c}fdt+O(f^3)$, where $f$ obeys homogeneous Dirichlet boundary conditions. The Gaussian functional integral contributes $(\det {\mathcal{O}}_c{)}^{-1/2}$ with the phase prescribed by continuation of the quantum-mechanical propagator. Relative to the free operator ${\mathcal{O}}_0=-m{d}^2/d{t}^2$, the prefactor is $D_0(T)[\det {\mathcal{O}}_c/\det {\mathcal{O}}_0{]}^{-1/2}$. In a general potential the operator, and thus the prefactor, depends on the endpoints through $q_c$. For a quadratic potential $V^{\prime \prime }$ is constant and all higher fluctuation terms vanish, so the approximation is exact away from singular focusing times. At a zero mode the simple determinant formula requires a limiting prescription or a different treatment of the zero mode.

A compact invariant curve with consecutive rays $u,v,w$ on a smooth toric surface contracts torically to a smooth point exactly when $u+w=v$, equivalently when its self-intersection is $-1$. Deleting $v$ then reverses a toric blowup at a torus-fixed point.

// Target: geometry-and-topology.bigb

The integrated squared second derivative measures a smooth density's curvature in L2. It supplies the leading integrated squared bias constant of a second-order kernel density estimator. For nonzero second moment ${\mu }_2(K)$, the asymptotic mean integrated squared error has bias term $h^4{\mu }_2(K{)}^{2}R(f^{\prime \prime })/4$, so greater curvature calls for a smaller smoothing bandwidth.

The product Riemannian metric of the round unit two-sphere and a circle has Ricci curvature equal to $g_{S^2}$ on the sphere directions and zero on the circle direction. Its scalar curvature is constantly two, but no single scalar multiple of the whole metric equals that Ricci tensor. In two dimensions the identity $\mathrm{Ric}=\mathrm{Scal}g/2$ does make constant scalar curvature equivalent to an Einstein metric.

For a symmetric nonnegative integer matrix, the two neighboring prefix shapes along the diagonal are equal. In the RSK growth-diagram local rule, set $\mu =\nu$ and take alternating sums of row lengths. The two occurrences of the alternating sum of $\mu$ cancel, leaving $o(\lambda )=o(\rho )+a_{ii}$. Induction along the diagonal proves the formula. Each column contributes one to this alternating sum exactly when its length is odd.

A root system spanning a real inner product space is irreducible when it cannot be partitioned into two nonempty mutually orthogonal root systems. Its Dynkin diagram is connected. This condition concerns the roots themselves, rather than an arbitrary ambient space larger than their span.

For nonproportional roots in a reduced root system which is a crystallographic root system, the negative Cartan integers $m=2(\alpha ,\beta )/(\alpha ,\alpha )$ and $n=2(\alpha ,\beta )/(\beta ,\beta )$ satisfy $mn=4{\cos }^2\theta \in \{1,2,3\}$. At least one of $m,n$ equals $-1$, so reflecting one root in the other produces their sum. The exclusion of opposite roots is essential: their inner product is negative but their sum is zero, which is not a root.

After choosing positive roots in a root system, a negative root is the negative of a positive root. Equivalently, for a regular linear functional defining the positive roots, its value on a negative root is negative. Relative to the associated simple roots, the coefficients of a negative root are all nonpositive integers.

A root subsystem of a root system $\Phi$ is a subset that is itself a root system in its real span. In particular, if a subspace $F$ is spanned by roots, $\Phi \cap F$ is a full root subsystem: root reflections in its roots preserve both $\Phi$ and $F$. Reflection-generated subsystems need not contain every ambient root in their span. A pair is a simple root basis only when every subsystem root has integral coordinates of one sign in that pair; merely choosing two independent roots is insufficient.

The hyperplane perpendicular to a root of a root system is its root hyperplane, interpreted as the kernel of the associated linear functional on the Cartan space. The corresponding reflection is $s_{\alpha }(v)=v-2⟨v,\alpha ⟩\alpha /⟨\alpha ,\alpha ⟩$. For the B2 root system, the four distinct hyperplanes are the two coordinate axes and the two diagonals; their reflections generate the signed-permutation Weyl group of order eight.

For root spaces ${\mathfrak{g}}_{\alpha },{\mathfrak{g}}_{\beta }$, the Jacobi identity gives $[{\mathfrak{g}}_{\alpha },{\mathfrak{g}}_{\beta }]\subset {\mathfrak{g}}_{\alpha +\beta }$ when $\alpha +\beta \ne 0$. If the bracket is nonzero, that nonzero weight must be a root. When $\beta =-\alpha$, the bracket instead lies in the Cartan subalgebra and can be nonzero; zero is not a root. Thus the common nonzero-bracket implication requires the opposite-root exception.

Let $q=M_1/M_2$, hold total binary mass fixed, use $R_L\propto a{q}^{3/10}$, and impose $d\log J=fd\log M_1$. The circular-binary orbital angular momentum then gives $d\log a/d\log M_1=2(q-1+f)$, whereas mass conservation gives $d\log q/d\log M_1=1+q$. Thus ${\zeta }_L=(23q-17+20f)/10$. If the donor obeys $R_1=K{M}_1^{\beta }$ with slowly varying $K$, loss of donor mass increases its overfill when ${\zeta }_L>\beta$, or $q>(17-20f+10\beta )/23$. This is a feedback criterion on the time scale of the assumed donor response, not automatically a dynamical instability for every choice of $\beta$. For $\beta =1/2$, the threshold is $(22-20f)/23$; if $f\ge 11/10$, every positive mass ratio satisfies it.

A Riemannian cut point along a geodesic in a complete Riemannian manifold is either its first conjugate point or the endpoint of another minimizing geodesic from the initial point. To prove this, approach the cut time from above and choose minimizing geodesics to the later endpoints using the Hopf-Rinow theorem. A subsequence of their initial unit vectors converges. If its limit is the original initial vector and the cut endpoint is not conjugate, the inverse function theorem for the Riemannian exponential map identifies the two geodesics locally and contradicts the shorter length of the chosen minimizers. A conjugate point earlier than the cut time is excluded by the negative Riemannian index form direction obtained by extending an endpoint-vanishing Jacobi field by zero and perturbing its endpoint corner.

In unit-curvature Real projective space of dimension at least two, Riemannian distance is $d([v],[u])=\arccos |⟨v,u⟩|$ for unit lifts. A unit-speed geodesic has lift $\cos tv+\sin tw$, with $w$ unit and perpendicular to $v$, and therefore ceases to minimize after $\pi /2$. Its normal Jacobi fields with zero initial value are $\sin t$ times parallel vector fields along a curve, giving first conjugate point at time $\pi$. The two times differ in every direction.