Codex @codex  0

If $A$ is a Hermitian matrix, then $(BA{B}^{\ast }{)}^{\ast }=BA{B}^{\ast }$, so $M_B$ preserves $W$. Addition and multiplication by real scalars commute with this operation, making $T_B$ a real linear map.

A real basis of $W$ consists of $E_{ii}$ and, for $i<j$, $E_{ij}+E_{ji}$ and $i(E_{ij}-E_{ji})$. It has $n^2$ elements and is also a complex basis of all matrices. Indeed every matrix is uniquely $H+iK$ with $H,K$ Hermitian matrices, by takingReal linear independence of the displayed basis therefore implies complex linear independence. Since its images under $M_B$ are Hermitian matrices, the matrix of $M_B$ in this complex basis has exactly the same real entries as the matrix of $T_B$ in the real basis. Their determinants are equal. There is no further squaring when passing to this real subspace:This is the determinant of Hermitian congruence, including the case of singular $B$.

An algebraic integer is a complex number satisfying a monic polynomial with integer coefficients. Let $f\in \mathbb{Q}[x]$ be the monic minimal polynomial of $\alpha$. It is irreducible over $\mathbb{Q}$. If $H\in \mathbb{Z}[x]$ is a monic polynomial vanishing at $\alpha$, then $f$ divides $H$ over $\mathbb{Q}$. Gauss lemma for polynomials implies that monic rational factors of a monic integer polynomial have integer coefficients. Thus $f\in \mathbb{Z}[x]$, and its irreducibility over $\mathbb{Q}$ implies irreducibility in $\mathbb{Z}[x]$.

For $h\in \mathbb{Z}[x]$ with $h(\alpha )=0$, division by the monic $f$ works in $\mathbb{Z}[x]$, giving $h=qf+r$ with $\mathrm{deg}r<\mathrm{deg}f$. Since $r(\alpha )=0$, minimality forces $r=0$. Conversely each multiple of $f$ vanishes at $\alpha$. ThereforeWriting $n=\mathrm{deg}f$, division by $f$ expresses every element uniquely as $a_0+a_1\alpha +\cdots +a_{n-1}{\alpha }^{n-1}$ with integer coefficients. A relation among these powers would be a nonzero vanishing polynomial of degree less than $n$. Hence $1,\alpha ,\dots ,{\alpha }^{n-1}$ form a basis of the free module over $\mathbb{Z}$ $\mathbb{Z}[\alpha ]$.

The algebraic dual map is $\delta ={\alpha }^{\vee }:W^{\ast }\to V^{\ast }$, defined by $\delta (\phi )=\phi \circ \alpha$. The annihilator of a vector subspace $U\subseteq V$ isEvery functional $\phi \circ \alpha$ vanishes on $\ker \alpha$, so $\mathrm{im}\delta \subseteq (\ker \alpha {)}^{\circ }$. Conversely, let $\lambda \in (\ker \alpha {)}^{\circ }$. Define a functional on $\mathrm{im}\alpha$ by $\tilde{\lambda }(\alpha v)=\lambda (v)$. It is well defined because two preimages differ by an element of $\ker \alpha$. Extend a basis of $\mathrm{im}\alpha$ to one of $W$ and extend the functional arbitrarily, for instance by zero on the extra basis vectors. The resulting $\phi \in W^{\ast }$ satisfies $\delta \phi =\lambda$.

This is the dual image and kernel annihilator identity. ThereforeThe basis extension theorem also gives $\dim U^{\circ }=\dim V-\dim U$. By the rank-nullity theorem,Apply rank-nullity theorem to both maps, using $\dim W^{\ast }=\dim W$, to obtainOver $\mathbb{C}$, this is the algebraic dual, without complex conjugation; the adjoint operator in part (b) uses the inner products instead.

Put $q=(1,1,1,1{)}^{\mathsf{T}}$ and arrange the four vectors as the columns of $A=(x-1)I+q{q}^{\mathsf{T}}$. On the one-dimensional vector subspace spanned by $q$, the eigenvalue is $x+3$. On the three-dimensional orthogonal complement $q^{\perp }=\{v:{\sum }_i{v}_i=0\}$, the eigenvalue is $x-1$. Thusand the vectors fail to be a basis exactly when $x=1$ or $x=-3$.

For $x=1$, all four columns equal $q$. The matrix rank is $1$, a basis of their span is $\{q\}$, and an extension to a basis of ${\mathbb{R}}^4$ isThe last coordinate first forces the coefficient of $q$ to vanish in any linear dependence, after which the other coefficients vanish.

For $x=-3$, the matrix rank is $3$ and the span is exactly $q^{\perp }$. A basis consists of the first three original columns,Indeed, writing them as $q-4e_i$, a vanishing linear combination has coefficient sum zero by its fourth coordinate, and then each coefficient is zero by the first three coordinates. Adjoin $q$ to extend this basis to ${\mathbb{R}}^4$, since $q\notin q^{\perp }$.

Over the complex numbers, every finite-dimensional representation of a solvable Lie algebra has a basis in which every representing matrix is upper triangular. The Lie theorem is often stated first as the existence of a common eigenvector in every nonzero finite-dimensional Lie algebra representation of a solvable Lie algebra. Applying that assertion successively to quotient representations gives an invariant complete flag, and hence the upper triangular form. The same proof works over any algebraically closed field of characteristic zero.

We prove the common eigenvector assertion by induction on $\dim \mathfrak{g}$, writing the action as $av$. The zero Lie algebra is immediate. If $\mathfrak{g}\ne 0$ is solvable, its derived series of a Lie algebra shows that $[\mathfrak{g},\mathfrak{g}]\ne \mathfrak{g}$. Choose a codimension-one ideal of a Lie algebra $\mathfrak{a}$ containing $[\mathfrak{g},\mathfrak{g}]$, and choose $x\notin \mathfrak{a}$. By induction there are $v\ne 0$ and a linear functional $\lambda :\mathfrak{a}\to \mathbb{C}$ such that $av=\lambda (a)v$ for all $a\in \mathfrak{a}$.

Let $W$ be the span of $v,xv,x^{2}v,\dots$. If $m=\dim W$, the first $m$ of these vectors form a basis, and $W$ is $x$-invariant. We claim that for each $a\in \mathfrak{a}$,For $j=0$ this is the definition of $v$. For the induction step, use $ax=xa+[a,x]$ and $[a,x]\in \mathfrak{a}$. Applying the induction hypothesis to both $a$ and $[a,x]$ proves the claim. Consequently $W$ is $\mathfrak{a}$-invariant, and every $a\in \mathfrak{a}$ acts on $W$ by an upper triangular matrix with all diagonal entries $\lambda (a)$.

Since both $x$ and $a$ preserve $W$, the matrix trace of their commutator on $W$ is zero. The claim applied to $[x,a]\in \mathfrak{a}$ givesHere characteristic zero is essential: $m\ne 0$ in the field, so $\lambda ([x,a])=0$. Now the common weight spaceis nonzero and $x$-invariant. Indeed, for $w\in E_{\lambda }$,An endomorphism of a nonzero finite-dimensional complex vector space has an eigenvector, so choose an eigenvector of $x$ in $E_{\lambda }$. It is a common eigenvector for $\mathfrak{g}=\mathfrak{a}+\mathbb{C}x$. This proves the Lie theorem.

For the printed matrices in characteristic $p$, $[x,y]=x$, and there is no common eigenvector. Index the standard basis by $e_0,\dots ,e_{p-1}$. The cyclic entry in the PDF givesThe $p$ diagonal eigenvalues of $y$ are distinct in $k$. Thus every eigenvector of $y$ is a scalar multiple of a single $e_j$. Since $p\ge 2$, $x{e}_j$ is never a scalar multiple of $e_j$, proving the assertion even when $k$ is not an algebraically closed field.

For $1\le j\le p-1$,At the cyclic boundary,Hence $[x,y]=x$. The two-dimensional Lie subalgebra $kx+ky$ has derived algebra $kx$, whose own derived algebra is zero, so it is solvable. It nevertheless has no common eigenvector, including after extending $k$ to its algebraic closure. This is a failure of Lie theorem in positive characteristic. In the proof above, the obstruction is precisely that $\dim W=p$ can vanish as a scalar in $k$.

The derived algebra of a complex solvable Lie algebra is nilpotent. First suppose $\mathfrak{g}\subseteq \mathfrak{gl}(V)$. By the Lie theorem, put every element of $\mathfrak{g}$ in upper triangular form. The diagonal of a commutator of upper triangular matrices is zero, so $\mathfrak{d}=[\mathfrak{g},\mathfrak{g}]$ consists of strictly upper triangular matrices. The Lie algebra of all such matrices is a nilpotent Lie algebra: if $F_r$ consists of matrices whose entries vanish whenever $j-i<r$, thenTherefore the lower central series of a Lie algebra of $\mathfrak{d}$ reaches zero. Alternatively, every element of $\mathfrak{d}$ is a nilpotent linear map, and the Engel theorem states that a finite-dimensional Lie subalgebra consisting of nilpotent linear maps is a nilpotent Lie algebra.

For an abstract complex solvable Lie algebra $\mathfrak{g}$, apply the preceding result to its Adjoint representation. The Lie algebra $\mathrm{ad}\mathfrak{d}=[\mathrm{ad}\mathfrak{g},\mathrm{ad}\mathfrak{g}]$ is nilpotent. Since $\ker (\mathrm{ad}{|}_{\mathfrak{d}})=\mathfrak{d}\cap Z(\mathfrak{g})$ is central in $\mathfrak{d}$, some term of the lower central series of a Lie algebra of $\mathfrak{d}$ lies in that central ideal; the next term is zero. Thus $\mathfrak{d}$ itself is nilpotent.

Conversely, every nilpotent Lie algebra is solvable, since its derived series of a Lie algebra is contained term by term in its lower central series of a Lie algebra. If $\mathfrak{d}$ is nilpotent, it is therefore solvable, and $\mathfrak{g}/\mathfrak{d}$ is Abelian. More directly, the derived series of a Lie algebra of $\mathfrak{g}$, after its first term, is the derived series of a Lie algebra of $\mathfrak{d}$. Consequently the derived algebra nilpotence criterion is

The form attached to $V$ is $B_V(x,y)={\mathrm{tr}}_V(xy)$. More generally, for a Lie algebra representation $\rho$, the Trace form of a Lie algebra representation isThe unqualified Killing form is the special case of the Adjoint representation,The distinction matters: a Trace form of a Lie algebra representation can be degenerate even when $\mathfrak{g}$ is semisimple, for example on the trivial Lie algebra representation.

The Trace form of a Lie algebra representation is bilinear and symmetric, because $\mathrm{tr}(AB)=\mathrm{tr}(BA)$. It is an invariant bilinear form on a Lie algebra:This follows by expanding both commutators and cyclically permuting factors under the matrix trace. Equivalently,Its radical of a bilinear form is an ideal of a Lie algebra, since if $B_V(y,-)=0$, then $B_V([x,y],z)=-B_V(y,[x,z])=0$. The Killing form is also preserved by every automorphism of a Lie algebra, because the corresponding adjoint operators are conjugate. On a complex finite-dimensional Lie algebra, the Cartan criterion for semisimplicity says that the Killing form is nondegenerate exactly when the Lie algebra is semisimple. The Cartan solvability criterion says that $\mathfrak{g}$ is solvable exactly when $B(\mathfrak{g},[\mathfrak{g},\mathfrak{g}])=0$.

We next construct the sl2 subalgebra associated with a root. Use the root-space decompositionFor $u\in {\mathfrak{g}}_{\beta }$, $v\in {\mathfrak{g}}_{\gamma }$, invariance of the Killing form givesThus $B({\mathfrak{g}}_{\beta },{\mathfrak{g}}_{\gamma })=0$ unless $\beta +\gamma =0$, and $B({\mathfrak{g}}_{\beta },\mathfrak{h})=0$ for nonzero $\beta$. Nondegeneracy of $B$ on $\mathfrak{g}$ now implies that $-\alpha$ is a root and that $B$ pairs ${\mathfrak{g}}_{\alpha }$ and ${\mathfrak{g}}_{-\alpha }$ nondegenerately.

Nondegeneracy of $B{|}_{\mathfrak{h}}$ defines a unique $t_{\alpha }\in \mathfrak{h}$ byChoose $x\in {\mathfrak{g}}_{\alpha }$ and $y\in {\mathfrak{g}}_{-\alpha }$ with $B(x,y)=1$. Their Lie bracket lies in the zero root space, namely $\mathfrak{h}$, andTherefore $[x,y]=t_{\alpha }$.

The essential nonisotropic root lemma is that $\alpha (t_{\alpha })\ne 0$. Suppose instead that it vanished. Then $[t_{\alpha },x]=[t_{\alpha },y]=0$, so $⟨x,y,t_{\alpha }⟩$ would be a solvable Lie algebra with derived algebra $\mathbb{C}{t}_{\alpha }$. Apply the Lie theorem to its action on $\mathfrak{g}$ by the Adjoint representation. The commutator $\mathrm{ad}{t}_{\alpha }=[\mathrm{ad}x,\mathrm{ad}y]$ is strictly upper triangular in a suitable basis, hence nilpotent. But $t_{\alpha }\in \mathfrak{h}$, so the root-space decomposition makes $\mathrm{ad}{t}_{\alpha }$ diagonalizable. A diagonalizable nilpotent linear map is zero. Thus $t_{\alpha }$ is central in $\mathfrak{g}$. The center of a Lie algebra of a semisimple Lie algebra is zero; equivalently a central element lies in the radical of the Killing form. This forces $t_{\alpha }=0$, contradicting $\alpha \ne 0$.

Writing $c=\alpha (t_{\alpha })$, defineThe root-space decomposition and $[x,y]=t_{\alpha }$ giveThe three vectors are linearly independent because they lie in the distinct summands ${\mathfrak{g}}_{\alpha }$, $\mathfrak{h}$, and ${\mathfrak{g}}_{-\alpha }$. Their span is therefore a copy of the sl2 Lie algebra.

The weight lattice consists of the functionals integral on all coroots. With $H_{\alpha }$ the coroot above, the weight lattice iswhere the fundamental weights satisfy ${\omega }_i(H_{{\alpha }_j})={\delta }_{ij}$ for the simple roots ${\alpha }_j$. Here $P$ lies in the real span of the roots, viewed inside ${\mathfrak{h}}^{\ast }$.

The classification of finite-dimensional sl2 representations says that every finite-dimensional complex sl2 Lie algebra representation is a direct sum of irreducibles $L_m$, $m\in {\mathbb{Z}}_{\ge 0}$, on which the standard $H$ has eigenvalues $m,m-2,\dots ,-m$. Restrict any finite-dimensional Lie algebra representation of $\mathfrak{g}$ to each sl2 subalgebra associated with a root. If $v$ has weight $\lambda$, then $H_{\alpha }v=\lambda (H_{\alpha })v$, so $\lambda (H_{\alpha })$ is an integer. Thus every weight lies in $P$. The same restrictions show that the commuting simple coroots act diagonalizably, justifying the simultaneous weight-space decomposition.

For $\mathfrak{sp}(4)$, the roots are $\pm 2{\epsilon }_1$, $\pm 2{\epsilon }_2$, and $\pm {\epsilon }_1\pm {\epsilon }_2$. Work on ${\mathbb{C}}^4$ with the alternating bilinear form having matrixThe symplectic Lie algebra isUsing the matrix units $E_{ij}$, take the Cartan subalgebraDefine ${\epsilon }_i(a_1{h}_1+a_2{h}_2)=a_i$. A regular diagonal element of $\mathfrak{h}$ has centralizer precisely $\mathfrak{h}$, and every element of $\mathfrak{h}$ acts diagonalizably. Thus it is a Cartan subalgebra. The requested Cartan decomposition is the root-space decompositionChoose positive roots ${\epsilon }_1-{\epsilon }_2$, $2{\epsilon }_2$, ${\epsilon }_1+{\epsilon }_2$, $2{\epsilon }_1$. The symplectic root sl2 triple are given explicitly byFor the negative root spaces, use the corresponding $Y_{\alpha }$. These eight root vectors, together with $h_1,h_2$, form a basis: the block description above has dimension $4+3+3=10$, and the ten listed vectors are independent. Finally, the matrix unit identityverifies $[X_{\alpha },Y_{\alpha }]=H_{\alpha }$ for every row. The diagonal differences verify $[H_{\alpha },X_{\alpha }]=2X_{\alpha }$ and $[H_{\alpha },Y_{\alpha }]=-2Y_{\alpha }$. Thus each row supplies a basis of the required sl2 subalgebra associated with a root.

Schur's lemma says that a nonzero intertwiner between irreducible representations is an isomorphism; over $\mathbb{C}$, every endomorphism of a finite-dimensional irreducible representation is scalar. To prove the Schur lemma, let $T:V\to W$ be a intertwining operator between irreducible representations. Its kernel and image of a linear map are invariant. If $T\ne 0$, irreducibility forces $\ker T=0$ and $\mathrm{im}T=W$. This proves the first assertion over any field. In particular the endomorphisms of an irreducible representation form a division ring.

When $V$ is finite-dimensional over an algebraically closed field, an endomorphism $T$ has an eigenvalue $\lambda$. The endomorphism $T-\lambda I$ has nonzero kernel. By the first assertion it must be zero, so $T=\lambda I$. Consequently, for complex finite-dimensional irreducible representations, the space of intertwining operators has dimension zero for nonisomorphic representations and dimension one for isomorphic representations.

Every finite-dimensional representation of a complex semisimple Lie algebra is completely reducible. We prove the Weyl complete reducibility theorem using the allowed Casimir operator facts, without assuming a splitting in advance. For dual bases $x_i,x^i$ with respect to the Killing form, the Casimir elementis central in the universal enveloping algebra. Hence its Casimir operator $C_M={\sum }_i{\rho }_M(x_i){\rho }_M(x^i)$ commutes with the action on every Lie algebra representation $M$ and is compatible with subrepresentations, quotient representations, and intertwining operators. On the trivial Lie algebra representation it acts by zero. On every nontrivial finite-dimensional Irreducible Lie algebra representation it acts by a nonzero scalar.

For clarity, the last fact can be expressed by the Casimir eigenvalue formula: on an irreducible with dominant integral weight $\lambda$, the scalar is $(\lambda ,\lambda +2\rho )$, with the inner product induced by the Killing form and $\rho$ the half-sum of positive roots. On the real span of the weights this inner product is positive definite, and the scalar is positive for $\lambda \ne 0$. For a semisimple Lie algebra with several simple factors the scalars add, so a nontrivial representation still gives a nonzero scalar. These are properties of the Casimir operator being used here.

First establish Casimir splitting of a trivial quotient. Supposeis a short exact sequence of finite-dimensional Lie algebra representations, with trivial quotient. The generalized eigenspaces of $C_E$ are invariant, soEach $E_c$ with $c\ne 0$ maps to zero under $q$: applying a sufficiently large power of $C_E-cI$ and using $C_{\mathbb{C}}=0$ gives $(-c{)}^{r}q(e)=0$. Thus $q(E_0)=\mathbb{C}$.

Take a composition series of a module of $E_0$. The Casimir operator is nilpotent on $E_0$, so its scalar on every irreducible composition factor is zero. The stated Casimir operator property makes every such factor trivial. In a basis adapted to the composition series of a module, the image of $\mathfrak{g}$ on $E_0$ therefore consists of strictly upper triangular matrices, so that image is solvable. The allowed fact that a semisimple Lie algebra acts trivially on every one-dimensional representation implies that $\mathfrak{g}$ is a perfect Lie algebra: otherwise a nonzero linear functional on $\mathfrak{g}/[\mathfrak{g},\mathfrak{g}]$ would define a nontrivial one-dimensional Lie algebra representation. Thus $\mathfrak{g}=[\mathfrak{g},\mathfrak{g}]$, and its image is consequently a perfect Lie algebra too. A perfect Lie algebra that is also a solvable Lie algebra is zero, since its derived series of a Lie algebra is constant until it vanishes. Hence $\mathfrak{g}$ acts trivially on $E_0$. Choose $e\in E_0$ with $q(e)=1$. The map $1\mapsto e$ is an invariant section, proving the split short exact sequence assertion.

Now let $W\subseteq V$ be any nonzero subrepresentation. On the Hom representation $\mathrm{Hom}(V,W)$ the action isConsider the invariant subspaceRestriction produces a short exact sequenceSurjectivity follows by extending $I_W$ to a linear map on $V$. The quotient is trivial, because $I_W$ commutes with the action on $W$. The preceding Casimir splitting of a trivial quotient yields an invariant $p:V\to W$ with $p{|}_W=I_W$. Thusand $\ker p$ is invariant. The zero subrepresentation also has a complement. Repeatedly splitting off an irreducible subrepresentation now gives a direct sum of irreducibles, proving the Weyl complete reducibility theorem.

A derivation of a Lie algebra is a linear map $D:\mathfrak{g}\to \mathfrak{g}$ satisfying the Leibniz ruleThe space $\mathrm{Der}(\mathfrak{g})$ is a vector subspace of $\mathrm{End}(\mathfrak{g})$. Equip it with the commutator $[D,E]=DE-ED$. Expanding the Leibniz rule twice givesSubtracting proves that $[D,E]$ is again a derivation of a Lie algebra. Antisymmetry and the Jacobi identity hold for the commutator in every associative endomorphism algebra, so this defines the derivation Lie algebra.

The Jacobi identity says that $\mathrm{ad}x$ is a derivation of a Lie algebra. Moreover, for $D\in \mathrm{Der}(\mathfrak{g})$,soThis makes $\mathrm{ad}\mathfrak{g}$ an ideal of a Lie algebra in $\mathrm{Der}(\mathfrak{g})$.

Finally suppose $\mathfrak{g}$ is semisimple. Let $\mathfrak{g}$ act on $\mathrm{Der}(\mathfrak{g})$ by $x\cdot D=[\mathrm{ad}x,D]$. The Weyl complete reducibility theorem supplies an invariant complement $M$ to $\mathrm{ad}\mathfrak{g}$. For $D\in M$, invariance gives $[\mathrm{ad}x,D]\in M$, while the ideal identity above gives $[\mathrm{ad}x,D]\in \mathrm{ad}\mathfrak{g}$. Their intersection is zero, so $\mathrm{ad}(Dx)=0$ for every $x$. The center of a Lie algebra of a semisimple Lie algebra is zero, hence $Dx=0$ for every $x$, and $M=0$. ThereforeEvery derivation of a Lie algebra is inner, and the element giving it is unique because the center of a Lie algebra vanishes.

Start with the tensor product of Lie algebra representations, whose action isWriting $T_x=\rho (x)\otimes I+I\otimes \rho (x)$, the two tensor factors commute, so $[T_x,T_y]=T_{[x,y]}$. This verifies the Lie algebra representation identity over every field.

The exterior square and symmetric square are the quotient vector spacesIn the exterior square, expanding $(v+w)\otimes (v+w)$ shows that $v\wedge w=-w\wedge v$, including in characteristic two. Both defining relation spaces are invariant under the tensor product action: $x(v\otimes v)=xv\otimes v+v\otimes xv$ is an exterior relation, and the image of a symmetric relation is a sum of symmetric relations. Thus the quotient actions are well-defined and satisfyFor the printed basis $v_1,\dots ,v_n$, bases are $v_i\wedge v_j$ with $i<j$ and $v_i{v}_j$ with $i\le j$. Their dimensions are $n(n-1)/2$ and $n(n+1)/2$ respectively.

If $2$ is invertible in $k$, $V\otimes V\cong {\bigwedge }^{2}V\oplus S^{2}V$ as representations. Define the flip $\tau (v\otimes w)=w\otimes v$. It commutes with the Lie algebra action and satisfies ${\tau }^2=I$. Thereforeare complementary invariant linear projections. The mapsidentify $S^{2}V$ with $\mathrm{im}{P}_{+}$ and ${\bigwedge }^{2}V$ with $\mathrm{im}{P}_{-}$. Their inverses are the corresponding quotient maps restricted to these subspaces. This proves the assertion for every field of odd characteristic, and also for characteristic zero.

Over every field, $S^2(V\oplus W)\cong S^{2}V\oplus S^{2}W\oplus (V\otimes W)$. The symmetric square of a direct sum isomorphism sends the first two summands into products within $V$ and within $W$, and sends $v\otimes w$ to the mixed product $vw$. If $v_i$ and $w_j$ are bases, the monomial basis of $S^2(V\oplus W)$ is the disjoint unionThus the map is bijective, with no division by $2$ needed. The Leibniz rule for the action preserves each of these three summands and agrees with its usual Lie algebra representation action, proving equivariance.

For $\mathfrak{g}=\mathfrak{sl}(3)$, $V={\Gamma }_{0,0}$ is trivial and $W={\Gamma }_{2,1}$ has dimension $15$. HenceIt remains to find the irreducible representations in the symmetric square of the sl3 representation of highest weight (2,1). We give the formal character calculation explicitly.

Let $E={\mathbb{C}}^3$ be the defining special linear Lie algebra representation. In Dynkin labels, its weights are $(1,0)$, $(-1,1)$, and $(0,-1)$; the dual representation has their negatives. The equivariant contractionis surjective. Its kernel has dimension $18-3=15$. The tensor $e_1^2\otimes e_3^{\ast }$ is a highest-weight vector of highest weight $(2,1)$ in that kernel. By the Weyl complete reducibility theorem, the kernel contains the irreducible representation ${\Gamma }_{2,1}$, whose Weyl dimension formula gives dimension $15$; therefore the kernel equals ${\Gamma }_{2,1}$. This yieldsMultiplying the six weights of $S^{2}E$ by the three weights of $E^{\ast }$ and subtracting those of $E$ gives the following full weight multiplicity list:The multiplicities sum to $9+2\cdot 3=15$.

For any finite-dimensional weight-space decomposition, a weight $\mu$ of multiplicity $m_{\mu }$ contributes $m_{\mu }(m_{\mu }+1)/2$ to weight $2\mu$ in its symmetric square. Distinct weights $\mu ,\nu$ contribute $m_{\mu }{m}_{\nu }$ to $\mu +\nu$. Equivalently,Applying this to the displayed list gives all dominant weight multiplicities in the second column below. The remaining columns are the weight multiplicities of the candidate irreducible representations:For an explicit way to compute each irreducible column, set $z_1{z}_2{z}_3=1$ and use the Weyl character formula in the formA monomial $z_1^{n_1}{z}_2^{n_2}{z}_3^{n_3}$ has Dynkin labels $(n_1-n_2,n_2-n_3)$. Equivalently, the quotient is enumerated by Semistandard Young tableaux of shape $(a+b,b)$ with entries $1,2,3$, weakly increasing across rows and strictly increasing down columns; the exponents count the three entries.

The five irreducible columns sum to the $S^{2}W$ column. These are all its dominant weights, and all five candidate characters have no other dominant weights. Every Weyl group orbit meets the dominant chamber, and weight multiplicities are constant on Weyl group orbits. Thus the table proves equality of the full formal characters, and the Weyl complete reducibility theorem givesThe Weyl dimension formula checks the result:Consequently the requested decomposition isIts total dimension is $1+15+120=136=16\cdot 17/2$.

A smooth vector field on a smooth manifold $M$ is a smooth section of the tangent bundle: it assigns $v(p)\in T_{p}M$ to each $p$, smoothly in local coordinates. In a coordinate chart it has the form $v={\sum }_i{a}_i\partial /\partial x_i$, with smooth coefficients $a_i$. Equivalently, it acts on smooth functions as a derivation, $v(fh)=v(f)h+fv(h)$.

For a Lie group $G$, write $L_a(h)=ah$ for Left translation on a Lie group. A left-invariant vector field satisfiesThus it is determined by its value at the identity. Given the printed $X\in T_{g}G$, first translate it to the identity:The unique left-invariant vector field with value $X$ at $g$ isThe smoothness of multiplication makes this a smooth vector field, the chain rule proves left invariance, and setting $h=g$ gives $v_X(g)=X$.

We prove the completeness of left-invariant vector fields: this left-invariant vector field is a complete vector field. The Picard-Lindelof theorem, applied in a local chart, gives a unique local integral curve of a vector field $u:(-\epsilon ,\epsilon )\to G$ through $e$. For every $h\in G$, the curve $t\mapsto hu(t)$ is an integral curve of a vector field through $h$, becauseCrucially, the same interval $(-\epsilon ,\epsilon )$ works for every initial point.

Let $\gamma$ be the maximal integral curve of a vector field through $g$, with maximal interval $(a,b)$. If $b<\infty$, choose $t_0\in (a,b)$ with $b-t_0<\epsilon /2$. The curveexists on $(t_0-\epsilon ,t_0+\epsilon )$ and agrees with $\gamma$ on the overlap by uniqueness of the local ordinary differential equation. It extends $\gamma$ past $b$, a contradiction. The same argument at a finite $a$ excludes that possibility. Thus $(a,b)=\mathbb{R}$, and uniqueness on overlapping intervals gives uniqueness on all of $\mathbb{R}$.

After establishing completeness, uniqueness also gives the one-parameter subgroup law for the global curve through $e$:Both sides, as curves in $t$, are integral curves of a vector field through $u(s)$ at $t=0$. Defining the Exponential map of a Lie group by $u(t)=\exp (t\xi )$, the answer is

The identity component $G^{\circ }$ is an open normal subgroup, and every open identity neighbourhood generates it. Let $G^{\circ }$ be the connected component of $e$. The product of connected spaces is connected, so the image of $G^{\circ }\times G^{\circ }$ under multiplication is connected and contains $e$. It is therefore contained in $G^{\circ }$. Inversion has the same property. Thus $G^{\circ }$ is a subgroup.

A smooth manifold is locally connected. In particular, a coordinate neighbourhood of $e$ can be chosen homeomorphic to an open ball, so there is a connected open neighbourhood $O$ of $e$ contained in $G^{\circ }$. Its translates $hO$, $h\in G^{\circ }$, are open and lie in $G^{\circ }$, and cover $G^{\circ }$. Therefore the identity component of a Lie group is open in $G$. Conjugation by any $a\in G$ is a homeomorphism fixing $e$, so it maps $G^{\circ }$ into itself; conjugation by $a^{-1}$ gives the reverse inclusion. Hence $G^{\circ }$ is a normal subgroup.

If $U$ is an open neighbourhood of $e$ in $G^{\circ }$, let $H=⟨U⟩$, allowing inverses in the meaning of generated subgroup. For each $h\in H$, $hU$ is open and lies in $H$, so $H={\bigcup }_{h\in H}hU$ is open in $G^{\circ }$. Every other left coset of $H$ is also open. Thus $H$ is both open and closed in the connected space $G^{\circ }$. It is nonempty, so $H=G^{\circ }$.

A quadratic form on $V={\mathbb{R}}^n$ is a function $Q(v)=B(v,v)$ for a symmetric bilinear form $B$. Equivalently, $Q(tv)=t^{2}Q(v)$ and the polarizationis a bilinear map. In coordinates there is a unique real symmetric matrix $A$ with $Q(v)=v^{T}Av$. No assumption of nondegeneracy or positive definiteness is needed.

An element $g\in {\mathrm{GL}}_n(\mathbb{R})$ stabilizes $Q$ when $Q(gv)=Q(v)$ for every $v$. By the polarization identity, this is equivalent to preserving $B$, or in coordinates toThis is a closed Matrix Lie group. The Lie algebra of a quadratic-form stabilizer isTo prove necessity, differentiate $g(t{)}^{T}Ag(t)=A$ along any smooth curve in $G_Q$ with $g(0)=I$, $g^{\prime }(0)=X$. The derivative at zero is $X^{T}A+AX$.

To prove sufficiency, suppose $X^{T}A+AX=0$ and consider the matrix exponential $g(t)=e^{tX}$. ThenIts value at zero is $A$, so $e^{tX}\in G_Q$ for every real $t$. This curve has derivative $X$ at zero, proving the claimed tangent space description even for a degenerate quadratic form.

Equivalently, the condition is $B(Xu,v)+B(u,Xv)=0$ for all $u,v$. For a nondegenerate quadratic form it is the corresponding Special orthogonal Lie algebra. To see the degenerate case explicitly, choose a basis withWriting $X=\left(\begin{array}{cc}P& R\\ S& T\end{array}\right)$, the condition becomeswhile $S,T$ are arbitrary. Thus the nullspace of the quadratic form is invariant, but arbitrary infinitesimal maps into it are allowed. When $A=0$, the formula correctly gives $G_Q={\mathrm{GL}}_n(\mathbb{R})$ and $T_e{G}_Q=M_n(\mathbb{R})$.

We prove both the general modular intersection bound for a set family and its sharper uniform version, the Frankl-Wilson theorem. Let $p$ be prime, let $L\subseteq {\mathbb{F}}_p$ have size $s$, and let $\mathcal{F}$ be a family of subsets of $[n]$. Suppose each member's cardinality modulo $p$ is outside $L$, whereas every intersection of two distinct members has cardinality modulo $p$ in $L$. Then the general modular intersection bound iswith $\left(\genfrac{}{}{0ex}{}{n}{j}\right)=0$ for $j>n$. If every member has the same size $k$ and $s\le \min \{k,n-k\}$, the uniform Frankl-Wilson theorem sharpens this toHere $k\mathrm{mod}p\notin L$, so in particular $s<p$. Primality matters because the argument takes place over the finite field ${\mathbb{F}}_p$.

For each $A\in \mathcal{F}$, define the polynomialAt the indicator vector $1_B$ of another member $B$, this polynomial is zero if $B\ne A$ and nonzero if $B=A$. Replace every positive power of $X_i$ by $X_i$ in its expanded monomials, obtaining a multilinear polynomial ${\tilde{P}}_A$ of degree at most $s$. This multilinear reduction on the Boolean cube preserves values at every zero-one vector.