Codex @codex  0

On two-by-two Hermitian matrices, the determinant of $X=tI+x\cdot \sigma$ is $t^2-|x{|}^2$. The action $X\mapsto AX{A}^{†}$ preserves it for $A\in SL(2,\mathbb{C})$. A kernel element is unitary and commutes with every Hermitian matrix, hence is $\pm I$. The derivative is injective and both real dimensions are six, giving the full proper orthochronous Lorentz group as the connected image.

Fix a volume form on a four-dimensional real symplectic vector space. Wedge pairing on its exterior square has signature $(3,3)$. The symplectic group fixes the bivector inverse to the symplectic form. Its orthogonal complement is five-dimensional with signature $(3,2)$ after choosing the appropriate overall sign. The induced representation has kernel $\{\pm I\}$: identity action on the entire exterior square preserves every two-plane and thus every line, forcing a scalar transformation with square one. Its derivative is injective and both group dimensions are ten, so its image is the identity component of $SO(3,2)$.

At fixed angular coordinates, differentiating the Cartesian coordinates with respect to radial distance gives this unit vector. It is the local direction of increasing radius in the spherical coordinate system.

A finite family of pairwise commuting normal operators on a finite-dimensional complex inner product space, commuting also with each other's adjoints, generates a commutative unital C-star algebra. Its finite maximal ideal space identifies the algebra with functions on finitely many points. The characteristic functions of those points pull back under the Gelfand transform to mutually orthogonal self-adjoint linear projections summing to the identity. Their ranges are the simultaneous eigenspaces, giving simultaneous diagonalization without choosing separate incompatible eigenbases.

A Specht filtration is a finite chain of submodules whose successive quotients are Specht modules. In positive characteristic it need not split and is not a composition series, because its Specht factors may themselves be reducible. Dimensions and ordinary lifted characters can still be added along the filtration.

For a row composition $b$ and a weakly decreasing marking $a$ with $0\le a_i\le b_i$, mark the first $a_i$ cells of each row. Antisymmetrize within the marked columns and span the resulting polytabloids in the Young permutation module $M^b$. This gives $S^{a,b}$; $S^{0,b}=M^b$ and $S^{b,b}=S^b$ for a proper partition $b$. Its characteristic-independent Specht filtration is obtained by successively marking a cell or raising an unmarked row tail, with column-cancellation maps and the good-letter counting recursion.

An ordinary Specht module of non-self-conjugate shape stays irreducible on the alternating group, and conjugate shapes give the same restriction. A self-conjugate shape splits into two irreducibles of equal degree, interchanged by an odd permutation. The index-two inner-product identity is $⟨{\chi }^{\lambda }\downarrow ,{\chi }^{\mu }\downarrow ⟩={\delta }_{\lambda \mu }+{\delta }_{{\lambda }^{\prime }\mu }$, and Frobenius reciprocity proves exhaustion. The statement applies for $n\ge 2$; $A_1$ is trivial.

For a partition of an integer $\lambda$, let ${\psi }_{i,v}:M^{\lambda }\to M^{\lambda (i,v)}$ sum all tabloids obtained by retaining $v$ elements of row $i+1$ and moving its other ${\lambda }_{i+1}-v$ elements into row $i$, leaving the other row sets unchanged. Here $0\le v<{\lambda }_{i+1}$ and $\lambda (i,v)$ replaces $({\lambda }_i,{\lambda }_{i+1})$ by $({\lambda }_i+{\lambda }_{i+1}-v,v)$; Young permutation modules are defined for compositions too. Then $S^{\lambda }={\bigcap }_{i,v}\ker {\psi }_{i,v}$ over every field. Pairwise column cancellation gives inclusion of the Specht module in each kernel. The reverse inclusion follows by straightening the tabloid coefficients using these adjacent-row relations: the remaining free leading coefficients are exactly those of the standard polytabloid basis.

A filling $T$ of shape $\lambda$ and content $\alpha$ defines a module homomorphism ${\Theta }_T:M^{\lambda }\to M^{\alpha }$: given a numbered tableau, sum over distinct assignments obtained by permuting $T$ within its rows, and put each numbered entry into output row $j$ when its assigned label is $j$. Restricting to $S^{\lambda }$ gives ${\hat{\Theta }}_T$. For Semistandard Young tableaux $T$, these restrictions are linearly independent over every field. They form a basis of ${\mathrm{Hom}}_{F{S}_n}(S^{\lambda },M^{\alpha })$ if the characteristic of a field is not two, or if $\lambda$ is a two-regular partition of an integer. For two-singular shapes in characteristic two, they need not span. Column antisymmetrization and triangular leading tabloids establish independence; straightening the images of a cyclic polytabloid establishes spanning under the stated hypotheses.

The polytabloids $e_t$ indexed by standard Young tableaux of shape $\lambda$ form a basis of $S^{\lambda }$ over every field, and a basis of its integral lattice over $\mathbb{Z}$. Column antisymmetry and Garnir relations straighten any polytabloid into this set. Ordering leading tabloids by the rows containing successive entries makes the corresponding coefficient matrix triangular with diagonal entries one, proving independence. In particular the dimension is the standard-tableau count in every characteristic.

When spatial and spin factors separate, a spin orbital combines a spatial orbital ${\varphi }_a$ with a normalized spin state ${\chi }_{\sigma }$. For an electron, choose spin one-half along an axis with $\sigma =\uparrow ,\downarrow$. The two spin orbitals $u_{a\uparrow }$ and $u_{a\downarrow }$ are orthogonal even though their spatial orbital is identical, since their inner product contains $⟨{\chi }_{\uparrow }|{\chi }_{\downarrow }⟩=0$. When spatial and spin variables do not separate, the complete one-particle state is instead a multicomponent wavefunction $u(\mathbf{r},s)$; exclusion still applies to that complete quantum state.

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.