On a Kähler manifold the Chern connection components satisfy $[\Lambda ,{\bar{\partial }}_E]=-i(D_E^{\prime }{)}^{\ast }$ and $[\Lambda ,D_E^{\prime }]=i{\bar{\partial }}_E^{\ast }$. Holomorphic normal coordinates and a Chern connection in a normal holomorphic frame reduce them to the scalar identities pointwise. Closedness of the Kähler form also gives $[\Lambda ,{\bar{\partial }}_E^{\ast }]=0$.

Right multiplication by $e_t=h_t/H_{\lambda }$ on the group algebra is an idempotent with image $A{e}_t$. Every diagonal entry in the permutation basis is the coefficient of the identity in $e_t$, namely $1/H_{\lambda }$. Thus its rank equals its trace, giving $\dim S^{\lambda }=n!/H_{\lambda }$. Triangular standard-tableau ideals and the Robinson–Schensted correspondence identify this dimension with the standard-tableau count.

On a compact Kähler manifold, complex conjugation commutes with the real Hodge Laplacian and exchanges harmonic forms of bidegrees $(p,q)$ and $(q,p)$. The identification of Dolbeault cohomology with harmonic forms therefore gives the symmetry of Hodge numbers.

On a compact Kähler manifold of complex dimension $n$, the conjugate-linear Hodge star gives a bijection of harmonic forms in complementary bidegrees. The Dolbeault Hodge decomposition identifies these harmonic spaces with Dolbeault cohomology and yields the displayed equality.

Every finite-dimensional complex Lie algebra representation of a nilpotent Lie algebra decomposes into invariant generalized weight spaces. The nilpotence assumption is essential: a general solvable action can have extensions between distinct weights.

Here is a proof. For $h,k\in H$, nilpotence gives $(\mathrm{ad}h{)}^{N}k=0$, hence $(\mathrm{ad}\rho (h){)}^N\rho (k)=0$. By the nilpotent commutator preserves generalized eigenspaces lemma, every generalized eigenspace of $\rho (h)$ is invariant under every $\rho (k)$. Split successively by the acting operators of a basis of $H$. Each resulting block is invariant under $H$, and each basis operator has only one eigenvalue on it. The Lie theorem triangularizes the action on each block; its diagonal entries therefore give one and the same linear functional $\lambda$ on every basis vector of that block. Every $\rho (h)-\lambda (h)I$ is strictly upper triangular there, proving that the block is $V^{\lambda }$. Distinct blocks have distinct weights, so this is a direct sum. On the zero generalized weight space, every acting operator is a nilpotent endomorphism, so the Engel theorem supplies a nonzero common annihilated vector whenever that space is nonzero.

A nonidentity rational point in the formal kernel of a minimal Weierstrass equation at two distinct primes has infinite order of a group element. Indeed, the prime-to-residue-characteristic multiplication on a formal group implies that a finite order in the kernel at $p$ must be a power of $p$. Membership in the kernel at a different prime $q$ also forces a power of $q$. The only common possibility is order one, contradicting nonidentity. For an integral model, negative valuations of the affine coordinates provide a convenient kernel-membership test.

For a group, evaluation at the identity identifies the monoid exponential with all set functions $X\to Y$. Its inverse is $e_f(g,x)=f(x{g}^{-1})g$, and the resulting function action is the displayed formula. Fixed functions are precisely equivariant maps. The inverse on the input is necessary for equivariance of evaluation and for the right-action law.

For an elliptic curve over a finite field of characteristic $p$, its rational-point group is finite and abelian. Prime-to-characteristic geometric torsion bounds every other prime-torsion dimension by two. Multiplication by $p$ has degree $p^2$ and inseparable degree at least $p$, so the $p$-torsion dimension is at most one. The structure theorem for finite abelian groups therefore gives two cyclic factors with $m\mid n$ and $p\nmid m$.

The connected Dynkin diagrams of finite reduced crystallographic root systems are $A_r$, $B_r$, $C_r$, $D_r$, $E_6$, $E_7$, $E_8$, $F_4$ and $G_2$. Bonds encode products of off-diagonal Cartan integers; multiple-bond arrows point toward shorter roots. The simply laced branching diagrams have arm lengths $(1,1,r-3)$ for $D_r$ and $(1,2,2)$, $(1,2,3)$, $(1,2,4)$ for the three exceptional $E$ types. The $B$ and $C$ chains have an end double bond, $F_4$ a middle double bond, and $G_2$ a triple bond. This edge weighting is distinct from the vertex labels used to classify nilpotent orbits.

A random set is local for a Gaussian free field if, conditionally on the set and its associated harmonic function, the remaining field is an independent zero-boundary field in its complement. This extends the deterministic Domain Markov property of the Gaussian free field to appropriate random revealed domains. Arbitrary field-dependent random sets need not have this property.

Chern curvature defines $\alpha (E)=[\Theta ]\in H^1(M,{\Omega }_M^1\otimes \mathrm{End}E)$. If two metrics give connections differing by $a$, then ${\Theta }_1-{\Theta }_0={\bar{\partial }}_{\mathrm{End}E}a$. Thus this vector-bundle curvature class depends on the holomorphic bundle rather than the chosen metric.

For a one-dimensional commutative integral formal group law, the formal logarithm identifies $F(4{\mathbb{Z}}_2)$ with $4{\mathbb{Z}}_2$. This is an index-two subgroup of $F(2{\mathbb{Z}}_2)$. Choose a topological generator $h$ of the subgroup and an element $v$ outside it, and write $2v=ch$. If $c$ is odd, $v$ generates the whole group. If $c$ is even, $v-(c/2)h$ has order two and splits off a cyclic factor. The formal additive group and formal multiplicative group realize the two cases.

Enumerate each countable guessing family and use a bijection $\pi :\lambda \times \omega \to \lambda$ with a club set of prefix-closure points. The $n$th candidate sequence decodes the $n$th component of the $n$th family entry. If all candidates fail, choose counterexample sets $X_n$ and club sets witnessing failure, then code the $X_n$ together using $\pi$. A correct family guess on the common closure club set and all failure club sets decodes to one of the forbidden correct guesses. The singleton-family implication supplies the reverse direction.

The complexified Lorentz algebra splits into two commuting ${\mathfrak{sl}}_2$ factors. Extending two homogeneous polynomial representations of SU2 therefore gives every finite-dimensional irreducible complex group representation of the Lorentz spinor double cover. The kernel sign permits descent precisely when $j_L+j_R$ is an integer. These field group representations are generally nonunitary for a positive-definite inner product; infinite-dimensional unitary Lorentz group representations belong to a different construction.

For Hermitian rotations $J_i$ and boosts $K_i$, the complex combinations $A_i=(J_i+i{K}_i)/2$ and $B_i=(J_i-i{K}_i)/2$ are adjoints of one another. Although their complex brackets split into two commuting ${\mathfrak{sl}}_2$ factors, they are not two independent Hermitian compact rotation algebras. The real Lorentz spin group is $SL(2,\mathbb{C})$; $SU(2)\times SU(2)$ is a different compact real form.

For a finite-dimensional complex Lie algebra $L$, the radical $R$ of its Killing form is a Lie algebra ideal by invariance. For $x,y\in R$, their adjoint actions vanish on $L/R$, so $B_R(x,y)=B_L(x,y)=0$. The Cartan solvability criterion makes the image ${\mathrm{ad}}_R(R)$ solvable; its kernel is the abelian center, so $R$ is solvable. A semisimple Lie algebra has no nonzero solvable ideal, forcing its Killing radical to vanish.

The Gram matrix of the canonical height pairing of rational points gives a robust independence certificate. For two points, set $a=\hat{h}(P)$, $b=\hat{h}(Q)$ and $c=(\hat{h}(P+Q)-a-b)/2$. If bounds from rounded measurements imply $a>0$ and $ab-c^2>0$, the matrix is positive-definite. Any integer relation $rP+sQ=O$ would give $a{r}^2+2crs+b{s}^2=0$, forcing $r=s=0$. Thus the points generate a free abelian group of rank two. Checking an interval lower bound for the determinant, rather than just its approximate central value, makes the certificate insensitive to rounding. It certifies independence, not that the points are a basis of the entire Mordell-Weil group.

For the C3 root system, take ${\alpha }_1=e_1-e_2$, ${\alpha }_2=e_2-e_3$, ${\alpha }_3=2e_3$. With columns indexing coroots, the Cartan matrix isThe convention with rows indexing coroots gives $A^T$. Both describe a double bond between the short root ${\alpha }_2$ and long root ${\alpha }_3$, with arrow toward ${\alpha }_2$.

The C3 root system consists of $\pm 2e_i$ and $\pm e_i\pm e_j$ in ${\mathbb{R}}^3$. Its Weyl group is the signed symmetric group on three coordinates, of order $48$. The reflecting planes are $x_i=0$ and $x_i=\pm x_j$. The open Weyl chamber $x_1>x_2>x_3>0$ has closure generated by $(1,0,0)$, $(1,1,0)$ and $(1,1,1)$. Sign choices and absolute-coordinate orderings give its $48$ translates. On the unit sphere the chamber is a spherical triangle with angles $\pi /2$, $\pi /3$, $\pi /4$, and hence area $\pi /12$; the areas of all $48$ triangles sum to $4\pi$.

Replace the derivative of an isometric coordinate by an independent one-form $A$ and impose $dA=0$ with a Lagrange multiplier. In signature $(-,+)$ with ${ϵ}^{\tau \sigma }=1$, its equation is $V{A}^{\nu }={ϵ}^{\mu \nu }{\partial }_{\mu }\tilde{z}$. Eliminating $A$ from the full action, including the multiplier term, gives $\frac{1}{2}{V}^{-1}{\partial }_{\mu }\tilde{z}{\partial }^{\mu }\tilde{z}$. Omitting the multiplier term during substitution would give the wrong sign. This derives the block-diagonal metric inversion in the Buscher rules.