Choose rational $B=TU$, a representative $\dot{w}$, and $x$ with $x^{-1}F(x)=\dot{w}$. Set $T^{\prime }=xT{x}^{-1}$ and $U^{\prime }=F(xU{x}^{-1})$. Then $T^{\prime }$ is rational, andThe map sends $h$ to $hxB$. Quotienting only by the finite group $T^{\prime F}$ leaves fibres isomorphic to the positive-dimensional unipotent intersection when that intersection is nontrivial. For $w=1$ in ${\mathrm{SL}}_2$, this is an affine-line fibre over each rational flag, so the missing quotient cannot be ignored in a variety isomorphism.

For a rational Borel subgroup $B=TU$, the principal series is ${\mathrm{Ind}}_{B^F}^{G^F}\tilde{\theta }$, with $\tilde{\theta }$ inflated from a linear character of $T^F$. The Mackey restriction formula and rational Bruhat decomposition give its self-inner-product as the size of the Weyl stabilizer of $\theta$. It is irreducible precisely when that stabilizer is trivial.

For a rational Levi subgroup $M$ of a rational parabolic subgroup and a rational maximal torus $T$, the torus case of the induction-restriction formula isIn particular it vanishes if there is no rational conjugate of $T$ in $M$. If $T\subset M$, transitivity gives $R_T^G=R_M^G{R}_T^M$. Together with adjunction these identities show that an irreducible character up to sign arising from $T$ is cuspidal exactly when $T$ is elliptic.

Given a base point $p_0$, the Abel map takes points of a smooth projective curve to its degree-zero Picard group of a curve. For positive genus it is injective: equality at distinct $p,q$ would give a principal divisor with one simple zero and one simple pole, forcing a degree-one map to the projective line and genus zero. For genus one the Riemann-Roch theorem gives a unique effective degree-one representative of $L(p_0)$ for every degree-zero line bundle $L$, making the map bijective and inducing an abelian group law on the points.

Let $C$ be the smooth projective model over ${\mathbb{F}}_2$ of $y^2+y=x^5+x+1$. Its only rational point is its unique point $p_{\infty }$ at infinity. At that point $x,y$ have pole orders two and five. The degree-two closed point $D$ defined by $y=0$, $x^2+x+1=0$ gives a nonzero class $[D-2p_{\infty }]$. Indeed a function with poles bounded by $2p_{\infty }$ has the form $a+bx$: in the affine coordinate ring every function is uniquely $A(x)+B(x)y$, and the two possible pole orders have opposite parity. No nonzero $a+bx$ vanishes at both roots of $x^2+x+1$. Thus the Abel map of a pointed smooth projective curve on rational points has trivial image here, but the degree-zero Picard group of a curve is nontrivial. Generation by point differences needs an algebraically closed field, or closed points with their residue degrees instead of just rational points.

Let $q(\varphi )=\mathrm{deg}\varphi$ for nonzero elements of the homomorphism group of elliptic curves, and $q(0)=0$. For an elliptic curve $E$, the degree-two coordinate $x$ on a Weierstrass model has a double pole at its identity and identifies a generic point only with its inverse. Thus on $E\times E$,where the two diagonals are $P=Q$ and $P=-Q$. The resulting line bundle isomorphism is $a^{\ast }{\mathcal{O}}_E(O)\otimes s^{\ast }{\mathcal{O}}_E(O)\cong {\mathrm{pr}}_1^{\ast }{\mathcal{O}}_E(O{)}^{\otimes 2}\otimes {\mathrm{pr}}_2^{\ast }{\mathcal{O}}_E(O{)}^{\otimes 2}$, for the sum and difference maps $a,s$. Pull it back along $(\varphi ,\psi )$ and take degrees. This gives the degree parallelogram law, even when one homomorphism equals plus or minus the other: bundle restriction remains valid in these cases.

It implies $q(n\varphi )=n^{2}q(\varphi )$ by the second-difference recursion, and polarization gives the symmetric bilinear form $B(\varphi ,\psi )=(q(\varphi +\psi )-q(\varphi -\psi ))/4$. To check additivity, the parallelogram law gives $B(x+z,y)+B(x-z,y)=2B(x,y)$; interchange $x,z$ and use oddness to get $B(x+z,y)-B(x-z,y)=2B(z,y)$. Adding proves bilinearity. Since a nonzero isogeny has positive degree, $q$ is positive on every nonzero element. On every finite-dimensional rational span the matrix of $B$ is rational. Positivity on rational vectors implies nonnegativity on real vectors by density; a nontrivial kernel of a rational matrix would contain a nonzero rational vector. Hence the real extension is positive definite. This proves the positive-definite quadratic form property, rather than only a parallelogram identity.

The slope of a nonzero holomorphic vector bundle on a compact Riemann surface is its degree of a holomorphic vector bundle divided by its rank of a vector bundle. It measures degree per fibre dimension. Comparing subbundle slopes defines semistable holomorphic vector bundles.

For a finite Galois extension of number fields, choose a nonzero residue field generator at $\mathfrak{q}$ and lift it to an integral element $a$ whose residues at the other primes above $\mathfrak{p}$ are zero, using the Chinese remainder theorem. The orbit polynomial ${\prod }_{\sigma \in G}(T-\sigma a)$ has coefficients in the base ring of integers. Modulo $\mathfrak{q}$, its nonzero roots are precisely the orbit of $\overline{a}$ under the decomposition group. Its coefficients belong to $k_{\mathfrak{p}}$, so finite-field Frobenius automorphism permutes these roots. Consequently some decomposition-group element acts as Frobenius on the generator, and therefore on the entire residue field. Frobenius generates the finite-field Galois group, proving surjectivity.

For a cylinder-averaged torsional Alfvén wave with time-independent $H>0$, differentiating this quadratic form gives $dE/dt=[rUT{]}_0^a$. Regularity at the axis and vanishing magnetic torque at the outer endpoint therefore imply conservation. By Cauchy-Schwarz inequality, $T^2/H\le \int B_{\varphi }^{2}dz$; equality holds for the torsional-wave magnetic component proportional to $B_r$ along each cylinder. A stationary magnetic component orthogonal to $B_r$ is invisible to $T$.

For the cyclic imitation chain, its infinitesimal generator satisfies ${\mathcal{L}}_N(x_1{x}_2{x}_3)=-3x_1{x}_2{x}_3/N$. Therefore $\mathbb{E}[X_1^N(t)X_2^N(t)X_3^N(t)]=e^{-3t/N}\mathbb{E}[X_1^N(0)X_2^N(0)X_3^N(0)]$. While all three types remain, the product of numbers is at least $(N-2)/N^3$ for $N\ge 3$, so this identity proves that one type is lost almost surely. The remaining pair has a fixed winner, which eventually occupies the whole population. The conserved product in the deterministic fluid limit therefore describes fixed finite horizons, not the chain's infinite-time behavior.

The trace of a commutator givesIn a basis, cyclicity converts this to $c_{da}{}^{\ell }{B}_{bc\ell }+c_{db}{}^{\ell }{B}_{ca\ell }+c_{dc}{}^{\ell }{B}_{ab\ell }=0$.

// Target: lie-theory.bigb

Lowering and raising structure constants with the Killing form gives $c_a{}^{mn}{c}_{mn}{}^r=-{\delta }_a{}^r$. Since $c_a{}^{mn}$ is antisymmetric in $m,n$, only the commutator part of the cubic trace tensor of a Lie algebra representation contributes, proving $c_a{}^{mn}{B}_{mnb}=-H_{ab}/2$. In an adapted compact basis with ${\kappa }_{ab}=-{\delta }_{ab}$ and $H_{ab}=-\mu {\delta }_{ab}$, the resulting sign is positive: $+\mu {\delta }_{ab}/2$. Defining the lowered structure constants with a positive Euclidean metric instead would reverse this sign.

// Target: lie-theory.bigb

Under the crystal tensor-product rule that uses the first factor for lowering when ${\phi }_i(a)>{\epsilon }_i(b)$, the four-letter C2 root system crystal has highest tensor vertices $1\otimes 1$, $1\otimes 2$ and $1\otimes \bar{1}$. Their highest weights are $2{\omega }_1$, ${\omega }_2$ and zero. Lowering generates connected components of sizes ten, five and one, respectively; their union exhausts all sixteen vertices. The corresponding representation decomposition is the symmetric square plus the primitive exterior square and the invariant symplectic line.

A degree-$d$ rational map has total critical multiplicity $2d-2$. Here is an algebraic proof. Critical points are isolated zeros of local derivatives and are finite in number by compactness. Change domain and range Möbius coordinates so that the poles are $d$ simple finite poles and infinity is a regular point with a finite image. Write $R=P/Q$, with $\mathrm{deg}Q=d$, and $R(z)=a+b/z+O(z^{-2})$, $b\ne 0$. Then $W=P^{\prime }Q-P{Q}^{\prime }$ has degree exactly $2d-2$, since $R^{\prime }=W/Q^2\sim -b/z^2$. At a pole, $W=-P{Q}^{\prime }\ne 0$. Thus the roots of $W$ are precisely the critical points and their zero orders are the critical multiplicities. The fundamental theorem of algebra gives the count; the coordinate changes preserve it.

An object of a site is J-irreducible when its only covering sieve on a category is the maximal sieve. In particular the empty sieve cannot cover it. Every arrow from a J-irreducible object belongs to any covering sieve on its codomain: the pulled-back sieve must contain the identity. This makes the induced topology on the full subcategory of J-irreducible objects trivial.

A coverage on a category is rigid when each object is covered by the sieve generated by arrows from J-irreducible objects of a site. Restriction to their full subcategory identifies the sheaves on a site with its presheaf category. A presheaf on that subcategory extends by the right Kan extension $C\mapsto \mathrm{Nat}(yC{|}_{\mathcal{D}},F)$: every covering sieve restricts to the full representable on $\mathcal{D}$, which proves the sheaf condition directly.

Under the inequality in one-sided bounds for adjoining a positive element, if $a\ge 1$ belongs to the cover of a value in a lattice-ordered group $V^{\ast }$ but not to $V$, then $⟨V,a{⟩}_c=V^{\ast }$. Thus every $b\ge 1$ in the cover is bounded above by both $v{a}^n$ and $a^{m}w$ for suitable nonnegative $v,w\in V$ and integers $m,n\ge 0$. The corresponding right and left coset bounds give the displayed cofinality, without first assuming that $V$ is normal. Left-coset order is obtained by inversion of right-coset order.

With real complete polarization vectors, the covariant photon Fock space oscillator commutators and ${\sum }_{\lambda ,{\lambda }^{\prime }}{ϵ}_{\mu }^{\lambda }{ϵ}^{\nu {\lambda }^{\prime }}{\eta }_{\lambda {\lambda }^{\prime }}={\delta }_{\mu }{}^{\nu }$ imply the equal-time canonical commutation relations $[A_{\mu }(\mathbf{x}),-{\dot{A}}^{\nu }(\mathbf{y})]=i{\delta }_{\mu }{}^{\nu }{\delta }^3(\mathbf{x}-\mathbf{y})$. The two mixed creation-annihilation terms add; the two coordinate-coordinate or momentum-momentum terms cancel after their polarization sums. The sign of the time-component oscillator is essential to the identity. Boundary-induced canonical transformation in Feynman gauge explains the momenta for the unsubtracted density.

The symmetric Alexander polynomial normalized by the Conway polynomial is uniquely fixed for a knot. Its sign matters in the signed Jones evaluation at minus one, whereas the knot determinant retains only the absolute value.

Introduce a Boolean variable for each gate output and impose its equivalence to the gate's input function with a constant number of clauses. A final unit clause forces acceptance. For a bounded-fan-in Boolean circuit, the formula size is linear in the gate count and it is satisfiable exactly when some input makes the Boolean circuit output one. Auxiliary variables extend the satisfying assignments; this is equisatisfiability, not equality as functions of the enlarged variable set.