Restrict a finite-dimensional representation of a complex semisimple Lie algebra to the sl2 subalgebra associated with a root $\alpha$. Its Cartan element is the coroot $h_{\alpha }$. The classification of finite-dimensional sl2 representations gives only integer eigenvalues for this element, so every weight of a representation has integral value on every coroot. This proves containment of all such representation weights in the weight lattice; it does not hold for unrestricted infinite-dimensional modules.

The subgroup of unitary bundle gauge transformations equal to the identity at a chosen framed base point. Quotienting flat connections by this subgroup retains the full flat holonomy representation; quotienting by the whole group also divides by simultaneous conjugation.

// Destination: geometry-and-topology.bigb

Let $A$ be a smooth unitary connection on a Hermitian vector bundle over a closed Riemannian manifold of dimension $n$. For a nearby connection on a vector bundle $A+a$, the Coulomb slice for unitary connections imposesThe linearized gauge transformation equation is $d_A^{\ast }{d}_A\xi$. Its kernel consists of the parallel infinitesimal gauge transformations. On their orthogonal complement it has an inverse, by ellipticity and compactness.

For example, take $W^{1,p}$ Sobolev spaces for connections on a vector bundle and $W^{2,p}$ for gauge transformations, with $p>n$. The implicit function theorem supplies a local slice. Remaining identifications come from the compact stabilizer of $A$. If the curvature equation becomes elliptic after this gauge fixing, Fredholm Kuranishi reduction expresses its local solution set by a smooth obstruction map between finite-dimensional vector spaces, followed by the stabilizer quotient. Closedness is what makes this elliptic reduction Fredholm.

// Destination: geometry-and-topology.bigb

The usual uniqueness theorem assumes a complex simple Lie algebra, or a real form with simple complexification. For a complex simple algebra regarded as real, both $\mathrm{Re}{\kappa }_{\mathbb{C}}$ and $\mathrm{Im}{\kappa }_{\mathbb{C}}$ define a real symmetric invariant bilinear form on a Lie algebra, and they are linearly independent. The real Killing form is $2\mathrm{Re}{\kappa }_{\mathbb{C}}$. For ${\mathfrak{sl}}_2(\mathbb{C})$ and $H=\mathrm{diag}(1,-1)$, ${\kappa }_{\mathbb{C}}(H,H)=8$ and ${\kappa }_{\mathbb{C}}(H,iH)=8i$, proving the independence. This real algebra is simple: its real complexification is two complex simple ideals exchanged by conjugation, and a real ideal would complexify to a conjugation-stable sum of these ideals, hence either zero or the whole algebra.

The two-isogeny formula gives the partner $E^{\prime }:y^2=x^3-16x^2+92x$. The two-torsion square-class homomorphism image for $E$ is $\{1,-7\}$: prime support leaves only $\{1,-1,7,-7\}$, the modulo-sixteen obstruction for the negative unit descent class excludes $-1$, and the subgroup property excludes $7$. For $E^{\prime }$, $(x-8{)}^2+28>0$ forces nonnegative $x$, so the image is contained in $\{1,2,23,46\}$. The two-torsion point realizes $23$ and the rational point $(18,48)$ realizes $2$, giving all four classes. The two-isogeny rank formula yields $2^r=2\cdot 4/4=2$, hence rank one. The dual isogeny sends $(18,48)$ to $(16/9,116/27)$; this statement does not assert that the resulting point is a generator of the full free part.

For $E:y^2=x^3+x$, the two-torsion square-class homomorphism has image $\{1\}$: prime-support bounds allow only $\pm 1$, and every nonzero affine $x$ is positive. Its two-isogeny formula companion $E^{\prime }:y^2=x^3-4x$ has possible image classes $\{1,-1,2,-2\}$, all realized by its rational two-torsion. The two-isogeny rank formula gives $2^r=1\cdot 4/4=1$, so the rank is zero.

For $E:y^2=x^3-2x$, prime-support bounds allow image classes $\{1,-1,2,-2\}$. The rational points $(0,0)$ and $(2,2)$ realize $-2$ and $2$, and the two-torsion square-class homomorphism is multiplicative, so all four occur. Its companion $E^{\prime }:y^2=x^3+8x$ has only positive candidate classes $1,2$, both realized by the identity and $(0,0)$. The two-isogeny rank formula gives $2^r=4\cdot 2/4=2$, so the rank is one. The point $(2,2)$ has infinite order: its double is $(9/4,-21/8)$, contradicting the integrality of torsion coordinates in the Nagell–Lutz theorem if it were torsion.

The two-torsion square-class homomorphism on $E$ has candidate classes $\{1,-1,17,-17\}$ by the prime-support bound in two-isogeny descent. The identity, $(0,0)$ and $(-1,4)$ realize $1,-17,-1$, so multiplicativity gives all four. The two-isogeny formula companion $E^{\prime }:y^2=x^3+68x$ has only positive candidate classes $\{1,2,17,34\}$; $(0,0)$ realizes $[68]=17$ and $(2,12)$ realizes $2$. Thus both images have order four, and the two-isogeny rank formula gives $2^r=4\cdot 4/4=4$. The rank of an elliptic curve is therefore two, without any unresolved covering class.

For this elliptic curve, the two-isogeny formula gives the partner $E^{\prime }:Y^2=X^3+14X^2+X$. The prime-support bound in two-isogeny descent and positivity of nonzero rational $x$ restrict the first square class image to $1,2,3,6$. The identity and the rational points $(2,2),(0,0),(6,6)$ realize these classes. The partner image is contained in $\{1,-1\}$, and the negative unit obstruction for the fourteen-coefficient isogeny cover excludes $-1$. The two-isogeny rank formula therefore gives $2^r=4\cdot 1/4=1$.

For $V={\mathbb{C}}^{2n}$, $n\ge 3$, the symmetric square splits into an invariant line and its irreducible traceless part of highest weight $2{\epsilon }_1$. The exterior square of the defining orthogonal representation is the adjoint module of highest weight ${\epsilon }_1+{\epsilon }_2$. For $n=2$, the exterior square splits instead into highest weights ${\epsilon }_1-{\epsilon }_2$ and ${\epsilon }_1+{\epsilon }_2$. This exception reflects that so4 Lie algebra is semisimple but not simple.

A microchannel plate detector uses many narrow biased channels to amplify an incoming detection event. An incident particle or released electron can initiate secondary-electron emission; repeated wall impacts multiply the electrons into a measurable output pulse.

Position-sensitive readout records where the amplified charge arrives, and timing electronics records its arrival time. In the helium atom-correlation experiment, a plate combined with a delay-line anode registered individual arrivals after expansion of a metastable atomic cloud.^[ref] Neutral-atom detection relies on the prepared internal state and its surface interaction, not only on the atom's lack of charge. Efficiency, spatial resolution and multiple-hit response enter the inferred pair correlations; an amplification pulse is not a direct image of an atomic trajectory.

In the pp-I limit, helium-3 relaxation time is ${\tau }^{-1}=n_1\sqrt{2{\lambda }_{11}{\lambda }_{33}}$. At fixed proton number density, each thermonuclear reaction rate coefficient obeys $\lambda (T)/\lambda (T_0)=(T/T_0{)}^{-2/3}\exp [-\eta (T_0)((T_0/T{)}^{1/3}-1)]$. Taking their geometric mean gives the displayed relaxation ratio with $\bar{\eta }=[{\eta }_{11}(T_0)+{\eta }_{33}(T_0)]/2$. A local power-law approximation instead gives $\tau \propto T^{-(\alpha +\beta )/2}$. These are estimates rather than a complete radial model: the proton number density, composition and pp-II branch change along a real stellar composition profile.

Under T-duality, the positions $y_i$ of D-branes transverse to a circle of radius $R$ become diagonal Wilson lines on branes wrapping the dual circle $R^{\prime }={\alpha }^{\prime }/R$. Their holonomies are $\exp (i2\pi R^{\prime }{A}_i)=\exp (i{y}_i/R)$. An Open string stretched between D-branes with displacement $y_j-y_i+2\pi Rw$ becomes a string with shifted compact momentum $w/R^{\prime }+A_j-A_i$. The stretching contribution and the shifted-momentum contribution to its squared mass are identical.

Take two adjacent columns of a numbered Young tableau, with a bottom segment $A$ of the left column and a top segment $B$ of the right column such that $|A|+|B|$ exceeds the height of the left column. Alternating over permutations of $A\cup B$, modulo permutations preserving $A$ and $B$ separately, gives a signed relation among polytabloids. The full alternation vanishes because each tabloid has two of these entries in one row. Solving for a nonstandard polytabloid replaces its offending row inversion by earlier column-standard tableaux. The relation is proved over the free integral tabloid lattice, where cancellation and division by nonzero integer factors are valid; reduction then makes it valid in every characteristic. Together with column antisymmetry these relations give the standard polytabloid basis.

For a monad $(T,\eta ,\mu )$, the map ${\eta }_{TA}:TA\to TTA$ is a split equalizer of ${\eta }_{TTA},T{\eta }_{TA}$ with retraction ${\mu }_A$ and splitting $T{\mu }_A$. The map $T{\eta }_A:TA\to TTA$ is a split equalizer of $TT{\eta }_A,T{\eta }_{TA}$ with retraction ${\mu }_A$ and splitting ${\mu }_{TA}$. Each assertion follows from the two unit laws and naturality of the unit or multiplication. No assumption that $T$ preserves arbitrary equalizers is needed.

Every self-adjoint operator on a separable complex Hilbert space is diagonal modulo a compact operator. For a bounded operator the compact self-adjoint error can have arbitrarily small Hilbert-Schmidt norm. In a cyclic spectral representation, partition a bounded real interval into $N$ intervals of width at most $\delta$ and successively bisect. Orthogonal step-function differences give basis vectors supported in the parent intervals. A diagonal value chosen in each support interval gives total squared column error at most $3N{\delta }^2$. Since $N=O({\delta }^{-1})$, this tends to zero. Apply the construction to countably many cyclic summands with summable squared error bounds. For an unbounded operator first split into bounded spectral intervals, obtaining a bounded compact error on the same domain.

For induction of $S^{\mu }⊠S^{\lambda }$ to the symmetric group on $|\mu |+|\lambda |$ letters, the Specht filtration multiplicity of $S^{\nu }$ is the number of Semistandard Young tableaux of skew shape $\nu /\mu$, content $\lambda$, and lattice word read from right to left in each row, taking rows from top to bottom. In characteristic zero these are irreducible constituents; in positive characteristic they remain Specht factors rather than simple constituents. Content $(1)$ gives the add-one-cell induction rule.

A positive-rank holomorphic vector bundle on a compact Riemann surface is semistable when every nonzero proper holomorphic subbundle has slope at most its own. Equivalently one tests coherent subsheaves: saturation on a smooth curve preserves rank, increases degree, and gives a subbundle with torsion-free quotient. Strict inequality defines stability, which is stronger.

Fix a Hermitian metric on a holomorphic vector bundle $E$ over a compact Riemann surface and a positive area form $\omega$. Write $i{F}_E=K\omega$ for its Chern curvature. If every eigenvalue of the Hermitian endomorphism $K$ is at most $C$, the curvature formula for a holomorphic subbundle gives $\mathrm{deg}F\le \mathrm{rank}(F)C{\int }_X\omega /(2\pi )$. The second-fundamental-form term is nonpositive. Compactness supplies a finite $C$ independent of the subbundle. If $F_E=0$, every subbundle has nonpositive degree.

Let $t_{ij}=(e_i\otimes e_j+e_j\otimes e_i)/2$, and let $f_i$ be the dual basis. The equivariant contraction sends $t_{ij}\otimes f_k$ to ${\delta }_{ik}{e}_j+{\delta }_{jk}{e}_i$. Its kernel has a weight basis consisting of $t_{ii}\otimes f_k$ for $i\ne k$, $t_{ij}\otimes f_k$ for three distinct indices with $i<j$, and $t_{ij}\otimes f_j-\frac{1}{2}{t}_{ii}\otimes f_i$ for $i\ne j$. The three families have sizes six, three and six. This is the irreducible fifteen-dimensional highest-weight representation with highest weight $2L_1-L_3$.