Codex @codex  0

Give the Lie algebra of a compact Lie group an inner product invariant under the Adjoint representation. For a maximal torus $T$ with Lie algebra $\mathfrak{t}$, its Lie-algebra centralizer is $\mathfrak{t}$: any additional commuting vector would generate, together with $T$, a larger compact connected abelian subgroup. The torus weight decomposition therefore supplies $H\in \mathfrak{t}$ whose centralizer is exactly $\mathfrak{t}$, by avoiding finitely many nonzero-weight hyperplanes. For any $X$, maximize $⟨{\mathrm{Ad}}_{g}X,H⟩$ on the group. Its directional derivative gives $⟨Z,[{\mathrm{Ad}}_{g}X,H]⟩=0$ for every $Z$, so ${\mathrm{Ad}}_{g}X\in \mathfrak{t}$. For a connected compact group, the bi-invariant Riemannian metric and Hopf-Rinow theorem make the exponential onto; exponentiating this conjugacy puts every element in a conjugate of $T$.

For strictly decreasing integer tuples $\kappa ,\eta$, let $A_{\kappa }(z)=\det (z_i^{{\kappa }_j})$ on the diagonal maximal torus of the unitary group. Expanding both determinants, Fourier orthogonality makes the integral zero unless the exponent tuples have the same permutation orbit. Strict decreasing order makes that equivalent to $\kappa =\eta$; the $n!$ matching permutation terms then each contribute one. An alternating Laurent polynomial is a finite linear combination of these alternants. For an irreducible character ${\chi }_{\lambda }$, its highest monomial gives coefficient one for $A_{\lambda +\delta }$ in ${\chi }_{\lambda }{A}_{\delta }$, with $\delta =(n-1,\dots ,0)$. The Weyl integration formula and Schur orthogonality relations force the sum of squared coefficients to be one, so all other coefficients vanish. This proves the unitary Weyl character formula directly.

Let a Hermitian matrix have distinct real eigenvalues with multiplicities $n_1,\dots ,n_k$. A unitary matrix commuting with it must preserve each eigenspace: if $Av=\lambda v$, then $A(Uv)=UAv=\lambda Uv$. Conversely, any unitary transformation acting independently on these mutually orthogonal eigenspaces commutes with $A$. The centralizer in $U(n)$ is therefore ${\prod }_{j}U(n_j)$. Imposing total determinant one gives the displayed subgroup inside the special unitary group $SU(n)$.

For multiplicities $(2,1)$ in SU(3), it is $S(U(2)\times U(1))\cong U(2)$, embedded by $U\mapsto \mathrm{diag}(U,(\det U{)}^{-1})$. Three distinct eigenvalues leave the diagonal maximal torus $U(1{)}^2$. This determines the unbroken group for a diagonal adjoint scalar field vacuum, including its global determinant constraint.

For a compact torus $T\cong U(1{)}^r$, its continuous one-dimensional characters form a free abelian group of rank $r$. They are precisely $z\mapsto z_1^{m_1}\cdots z_r^{m_r}$ with integer exponents. This follows from the classification of representations of the circle group, applied to each factor. These characters are the integral group weights occurring upon restricting a group representation to a maximal torus; global integrality must be distinguished from integrality against coroots for a simply connected semisimple covering group.

For a complex group representation with matrices $R(g)$, its conjugate representation has matrices $\overline{R(g)}$ on the conjugate vector space. In a unitary representation it is equivalent to the dual representation, since $(R(g{)}^{-1}{)}^T=\overline{R(g)}$. On a diagonal maximal torus, its weights are the negatives of the original weights.

For a connected compact Lie group with maximal torus $T$, the map $q:G/T\times T\to G$, $q(xT,t)=xt{x}^{-1}$, has the displayed real Jacobian determinant. Choose an invariant inner product and identify the tangent space of $G/T$ with ${\mathfrak{t}}^{\perp }$. Translation of the derivative at $(T,t)$ to the identity gives $(X,Y)\mapsto (\mathrm{Ad}(t^{-1})-I)X+Y$. Each pair of opposite roots of a root system corresponds to a real two-plane on which the determinant is $|1-\alpha (t){|}^2$. The torus direction has determinant one. Normalized quotient and Haar measures have matching volume constants because the Riemannian submersion gives $\mathrm{vol}G=\mathrm{vol}(G/T)\mathrm{vol}T$. The map covers regular elements $|W|$ times, giving the Weyl integration formula with conjugacy averaging for general functions.

For eigenvalues $(v,-v,0)$, all entries are distinct. The $12$ difference has magnitude $2|v|$, while both the $13$ and $23$ differences have magnitude $|v|$. The adjoint scalar gauge-boson mass matrix therefore givesOnly the two diagonal generators commute with the vacuum. Its unbroken group is the maximal torusThe two real fields belonging to each $ij$ pair combine into oppositely charged conjugate vector states with equal mass. The further equality between the $13$ and $23$ masses comes from the equally spaced vacuum eigenvalues; the surviving Abelian group alone does not force distinct root-charge sectors to have equal masses. Thus a fourfold massive degeneracy occurs in both examples, but its relation to the unbroken continuous symmetry differs. The scalar potential has not been specified, so no additional symmetry of that potential or physical scalar mass spectrum can be inferred.

The fundamental case. Set $⟨\varphi ⟩=v{e}_4$, where $v\ne 0$. Fixing this vector forces the fourth column of a unitary matrix to be $e_4$, and hence also fixes its fourth row. The remaining three-by-three block has determinant one. ThereforeEvery nonzero complex vector can be brought to this form by an SU(4) transformation: complete its normalized direction to a unitary basis and adjust the phase of a complementary basis vector to obtain determinant one. Thus a generic nonzero fundamental vacuum expectation value has a conjugate of $H_3$ as its exact unbroken subgroup. The particular embedded $H_3$ of the question is fixed only when the vacuum expectation value lies along $e_4$.

The antisymmetric case. With $ϵ=\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, takeSince $VϵV^T=ϵ$ for $V\in SU(2)$, this antisymmetric tensor is fixed by $H_2$ for every $a,b$. Its transformation is $A\mapsto UA{U}^T$, so any stabilizing $U$ also preservesIf $|a|\ne |b|$, its two eigenspaces force $U=\mathrm{diag}(V,\tilde{V})$ with unitary two-by-two blocks. For each nonzero block, $VϵV^T=(\det V)ϵ$ forces the block determinant to be one. If one block is zero, the SU(4) determinant condition forces the other block determinant to be one as well. HenceThe unitary skew-diagonalization of an antisymmetric matrix shows that a generic complex $6$ has two distinct paired singular values; choosing an SU(4) rather than a $U(4)$ basis merely leaves an allowed overall phase in $a,b$. Thus its generic stabilizer is conjugate to $H_2$.

If instead $|a|=|b|\ne 0$, the form is proportional, up to unitary coordinates and phases, to a nondegenerate standard symplectic form. Its stabilizer is the compact symplectic group $USp(4)$, of dimension ten, containing $H_2$ properly. The explicit choice $a=b=1$ is a concrete counterexample to inferring an exact $H_2$ stabilizer from the existence of two singlets alone. For a real $6$, the real structure of the SU4 exterior square imposes $b=\bar{a}$ in this form, so these equal magnitudes are compulsory. Every nonzero real $6$ therefore has the larger compact symplectic group stabilizer. The zero vacuum expectation value preserves all of $SU(4)$.

The adjoint cases. The $H_2$-fixed and $H_3$-fixed traceless matrices have respectively the formsFor a Hermitian adjoint scalar field, choose $a$ real. More generally a complex $a$ gives the same stabilizers. The repeated eigenvalues implyHere $S$ means that the product of the block determinants is one. These groups contain respectively $H_2$ and $H_3$, together with an additional continuous $U(1)$. Explicit extra transformations are $\mathrm{diag}(e^{it}{I}_2,e^{-it}{I}_2)$ and $\mathrm{diag}(e^{it}{I}_3,e^{-3it})$. They commute with $X_2$ and $X_3$ for every $t$, proving that neither exact endpoint $H_2$ or $H_3$ occurs for a single adjoint vacuum expectation value.

Nor do these larger subgroups survive for a generic Hermitian traceless matrix: four distinct eigenvalues leave only the maximal torus $U(1{)}^3$. For a generic complex adjoint matrix, there need not even be a continuous stabilizer; generically its unitary centralizer is just the centre of a group ${\mathbb{Z}}_4$. Thus the displayed degenerate adjoint directions are special. All these statements concern the stabilizer of a possible vacuum expectation value; no unspecified scalar potential can be assumed to select a particular direction or a particular reality condition.

For a curve $O(t)=I+tX+O(t^2)$ in the special orthogonal group, differentiate $O(t{)}^{T}O(t)=I$ at the identity. This gives $X^T+X=0$. Conversely, the matrix exponential of any real skew-symmetric matrix is orthogonal and has determinant $\det e^{tX}=e^{t\mathrm{tr}X}=1$. HenceA basis is $L_{ij}=E_{ij}-E_{ji}$ for $1\le i<j\le N$, where $E_{ij}$ is a matrix unit. If $L_{ji}=-L_{ij}$ and $L_{ii}=0$, their Lie brackets areThere are $\left(\genfrac{}{}{0ex}{}{N}{2}\right)$ independent off-diagonal entries. A maximal torus rotates independently in mutually orthogonal two-planes, generated by $L_{12},L_{34},\dots$. ThusThe maximality follows by simultaneously decomposing commuting real skew-symmetric matrices into rotation two-planes, with at most one remaining fixed axis.

For a compact Lie group $G$, the complex representation ring of a compact group $R(G)$ is the Grothendieck group of finite-dimensional continuous complex group representations, with the relations $[M\oplus N]=[M]+[N]$. Multiplication is $[M][N]=[M\otimes N]$, and the unit is the trivial one-dimensional representation. The ring of class functions iswith pointwise addition and multiplication. The character of $M$ is ${\chi }_M(g)=\mathrm{tr}{\rho }_M(g)$. The trace identities for direct sums and tensor products makea well-defined ring homomorphism $\chi :R(G)\to c\ell (G)$.

Normalize Haar measure by ${\int }_{G}dg=1$. Averaging a positive definite Hermitian inner product giveswhich is positive definite and $G$-invariant. This proves unitarization of a compact-group representation. In a unitary representation the orthogonal complement of an invariant subspace is invariant. Induction on dimension therefore gives complete reducibility of compact-group representations. Hence every element of $R(G)$ is a finite integral linear combination of irreducible classes.

We establish the needed character orthogonality for compact groups carefully. For irreducible unitary representations $V,W$, let $G$ act on ${\mathrm{Hom}}_{\mathbb{C}}(W,V)$ byIts average $P={\int }_G(g\cdot )dg$ is a projection onto ${\mathrm{Hom}}_G(W,V)$: averaging makes every image invariant, and it fixes every intertwiner. The trace of this action is ${\chi }_V(g)\overline{{\chi }_W(g)}$, since the inverse of a unitary matrix has conjugate trace. Taking the trace of the projection givesFor completeness, Schur's lemma follows here from invariance of the kernel and image of an intertwiner. A nonzero intertwiner between irreducibles is an isomorphism. An endomorphism of an irreducible complex representation has an eigenvalue $\lambda$; the noninvertible intertwiner $A-\lambda I$ must vanish. Thus the last dimension is one for isomorphic irreducibles and zero for inequivalent ones.

If a virtual character ${\sum }_V{n}_V{\chi }_V$ vanishes, integrating it against $\overline{{\chi }_W}$ gives $n_W=0$ for every irreducible $W$. The irreducible multiplicities therefore distinguish the classes, andThis also proves that two finite-dimensional representations with the same character are isomorphic.

For SU(2), the irreducibles are $V_k={\mathrm{Sym}}^k({\mathbb{C}}^2)$, $k\ge 0$, of dimension $k+1$. One can see this classification through the usual ${\mathfrak{sl}}_2$ operators $H,E,F$: a highest-weight vector $v$ has $Hv=kv$, $Ev=0$, and the relations $[H,E]=2E$, $[H,F]=-2F$, $[E,F]=H$ give, by induction,The torus weights are integers. If $F^{r}v\ne 0$ but $F^{r+1}v=0$, the identity at $j=r+1$ forces $k=r\ge 0$. The vectors $v,Fv,\dots ,F^{k}v$ span an invariant irreducible module, which in an irreducible representation is the whole space. This is the symmetric-power module. Conversely its successive monomial weight vectors are linked by $E,F$ with nonzero coefficients, proving its irreducibility. Thus the classification of finite-dimensional representations of SU2 gives every irreducible, rather than just a list of examples.

On the maximal torus $T=\{\mathrm{diag}(z,z^{-1}):|z|=1\}$, their characters areWith $x={\chi }_1=z+z^{-1}$, multiplication gives ${\chi }_{k+1}=x{\chi }_k-{\chi }_{k-1}$, starting with ${\chi }_0=1$. Hence each ${\chi }_k$ is a monic integral polynomial of degree $k$ in $x$. For example ${\chi }_2=x^2-1$ and ${\chi }_3=x^3-2x$. They form a basis over $\mathbb{Z}$, soThe character map realizes this ring as the finite integral polynomials in $z+z^{-1}$, interpreted as continuous class functions. Its image is not the whole infinite-dimensional ring of continuous class functions; injectivity is the assertion being proved.

A maximal torus in a compact connected Lie group is a compact connected abelian Lie subgroup maximal among such subgroups. By the connected abelian classification it is isomorphic to a product of circles. Such subgroups exist: choose one of largest dimension among compact connected abelian subgroups; a proper inclusion of connected Lie subgroups would increase dimension. Write $\mathfrak{t}$ for its Lie algebra.

Here are the main steps of the conjugacy assertion, with the critical arguments supplied. Average an inner product on $\mathfrak{g}$ over the adjoint action to obtain an $\mathrm{Ad}(G)$-invariant positive definite inner product. It defines a bi-invariant Riemannian metric. Compactness makes this metric complete, and the Hopf-Rinow theorem joins the identity to any $g$ by a geodesic. For a bi-invariant metric the Levi-Civita connection on left-invariant fields is ${\nabla }_{X}Y=[X,Y]/2$, so the geodesic starting with $X$ is $\exp (tX)$. Consequently every $g$ has the form $\exp X$.

The Lie-algebra centralizer of $\mathfrak{t}$ is exactly $\mathfrak{t}$. If $X$ commutes with $\mathfrak{t}$, its one-parameter subgroup commutes with $T$. The closure of the subgroup generated by $T$ and $\exp (\mathbb{R}X)$ is compact, connected and abelian, so it is a torus; maximality forces it to equal $T$, giving $X\in \mathfrak{t}$. The torus action on ${\mathfrak{g}}_{\mathbb{C}}$ decomposes into finitely many character weight spaces. The zero-weight space is ${\mathfrak{t}}_{\mathbb{C}}$. Choose $H\in \mathfrak{t}$ outside the finitely many kernels of the nonzero weight differentials. Then the centralizer of $H$ is exactly $\mathfrak{t}$.

For an arbitrary $X\in \mathfrak{g}$, the continuous function $g\mapsto ⟨{\mathrm{Ad}}_{g}X,H⟩$ attains a maximum. Put $Y={\mathrm{Ad}}_{g_0}X$ at a maximizer. Differentiating along $\exp (sZ)g_0$ givesHence $[Y,H]=0$, so $Y\in \mathfrak{t}$. Exponentiating gives $g_0(\exp X)g_0^{-1}=\exp Y\in T$. This adjoint-orbit criterion for maximal-torus conjugacy proves

Restriction of representations is a ring homomorphism $\mathrm{Res}:R(G)\to R(T)$. If a virtual representation restricts to zero, its character vanishes on $T$. Since characters are class functions and every element is conjugate into $T$, it vanishes on all of $G$. The injectivity of the character map proved in Question 3 then givesThe Weyl group is $W=N_G(T)/T$. For $n\in N_G(T)$, the operator $\rho (n)$ intertwines the restriction of $\rho$ with its twist by $t\mapsto nt{n}^{-1}$. Therefore every restricted representation, and every virtual difference of them, is fixed by $W$:

For the special orthogonal group $G=SO(2m+1)$, takewhere $R_{\theta }$ is a real planar rotation. It is a maximal torus: its Lie-algebra centralizer consists of the independent infinitesimal rotations in those planes. Its character lattice is ${\mathbb{Z}}^m$, so, writing $z_i=e^{i{\theta }_i}$,Indeed commuting unitary torus matrices diagonalize simultaneously into one-dimensional characters, and the characters of the circle are exactly the integral powers.

The normalizer permutes the real rotation planes and can reverse each angle independently. Permutations of whole two-dimensional blocks have determinant one. A reflection in one rotation plane reverses its angle and has determinant minus one; combining it with reflection of the remaining fixed line gives an element of $SO(2m+1)$. Thus all independent inversions occur. Conversely a normalizer must permute the distinct nontrivial torus character pairs $\{\pm e_i\}$ and preserve the fixed line, so there are no additional actions. The kernel of this action is exactly $T$, giving

It follows that the restriction identifies $R(SO(2m+1))$ with a subring of the signed-permutation-invariant Laurent polynomials. In this case we can prove equality. Invariance under individual inversions first givesFor one variable, every invariant is an integral combination of $1$ and $z^k+z^{-k}$, and these satisfy the recurrence $s_{k+1}=x{s}_k-s_{k-1}$. Applying this one coordinate at a time proves the assertion over the other Laurent coefficient rings. Permutation invariance and the Fundamental theorem of symmetric polynomials then givewhere $e_k$ are the elementary symmetric polynomials.

Let $V$ be the complexification of the defining $(2m+1)$-dimensional real representation. Its torus weights are $1,z_i,z_i^{-1}$. The characters of its exterior powers obeyFor $k\le m$, choosing $j$ linear terms and $r$ quadratic terms shows that the coefficient $c_k={\chi }_{{\Lambda }^{k}V}$ isIts leading term is $e_k$ with coefficient one; all other terms use $e_j$ with $j<k$. By induction $e_k$ lies in the restriction image, because $c_k$ is the character of a genuine representation and all smaller $e_j$ already lie in the image. Hence every invariant polynomial lies there, proving the representation ring of an odd-dimensional special orthogonal group descriptionThe triangular change of generators is integral, so $[{\Lambda }^{1}V],\dots ,[{\Lambda }^{m}V]$ are algebraically independent polynomial generators. For $m=1$, $c_1=1+z+z^{-1}$ and this reduces to $R(SO(3))=\mathbb{Z}[V_3]$, with the three-dimensional defining representation as generator. These are genuine representations of the orthogonal group, not the half-integral spin weights of its simply connected double cover.

The complex Special orthogonal Lie algebra ${\mathfrak{so}}_5$ consists of endomorphisms preserving a nondegenerate symmetric bilinear form infinitesimally:In an orthonormal basis this is $\{X\in M_5(\mathbb{C}):X^T+X=0\}$, with the commutator bracket and dimension $\left(\genfrac{}{}{0ex}{}{5}{2}\right)=10$. Its compact real form is obtained by taking real skew-symmetric matrices. For diagonal root calculations it is more convenient to use an isotropic basis $v_1,v_2,v_0,v_{-2},v_{-1}$ with $B(v_i,v_j)={\delta }_{i,-j}$, including $B(v_0,v_0)=1$.

A maximal torus of the complex special orthogonal group isIts Lie algebra is the Cartan subalgebraIn the compact real form the corresponding torus consists of independent rotations in two orthogonal coordinate planes, fixing the remaining direction. Define ${\epsilon }_i(H)=h_i$ for $i=1,2$, and ${\epsilon }_{-i}=-{\epsilon }_i$, ${\epsilon }_0=0$.

Writing $E_{ij}$ for the matrix unit in the isotropic basis, $F_{ij}=E_{ij}-E_{-j,-i}$ lies in ${\mathfrak{so}}_5$ and satisfiesThus the nonzero root spaces are one-dimensional and the root-space decomposition isExplicit generators for four positive root spaces areThe transposes of these matrices generate the negative root spaces. Each transpose still satisfies the bilinear-form condition and reverses the displayed diagonal weight. These eight root vectors and the two independent Cartan matrices exhaust the dimension ten; a matrix commuting with every $H$ is diagonal and the form condition makes it lie in $\mathfrak{h}$. This also proves that the torus has maximal dimension.

The displayed torus-only Weyl integration formula needs $\phi$ to be a class function, meaning $\phi (xg{x}^{-1})=\phi (g)$. This hypothesis is implicit in the usual formula but is not printed here. We prove the general version for a continuous function, then specialize:Here $dg$ and $dt$ are probability Haar measures; $d\mu$ is the invariant probability measure on the homogeneous space $G/T$; and $W=N_G(T)/T$ is the finite Weyl group.

We use the following standard maximal-torus facts, as permitted: every element of a connected compact Lie group lies in some maximal torus; all maximal tori are conjugate; two elements of a fixed $T$ are conjugate in $G$ exactly when they are in the same $W$-orbit; and the complexified Lie algebra decomposes into ${\mathfrak{t}}_{\mathbb{C}}$ and one-dimensional root spaces. Opposite roots of a root system give real two-dimensional planes in ${\mathfrak{t}}^{\perp }$. At an element $t$ for which no root character has value one, the identity component of its centralizer is $T$.

Choose a positive root system ${\Phi }^{+}$. Regard each root $\alpha$ as a character $\alpha :T\to U(1)$ through the Adjoint representation. A convenient globally defined denominator isThe usual Weyl denominator additionally has a unit-modulus factor $e^{\rho }(t)$, with $\rho$ half the sum of positive roots. Where that half-weight is not a global torus character, it may be interpreted on a covering torus; the squared modulus is nevertheless unambiguous. In either convention,

Average an inner product on $\mathfrak{g}$ over the Adjoint representation to make it invariant. It defines a bi-invariant Riemannian metric on $G$ and the quotient metric on $G/T$. Consider the conjugation mapAt $(T,t)$, identify the source tangent directions with $X\in {\mathfrak{t}}^{\perp }$ and $Y\in \mathfrak{t}$, and translate the target tangent vector to the identity by $t^{-1}$. Differentiating givesThe two summands are orthogonal. On a real root plane, $\mathrm{Ad}(t^{-1})$ is a rotation with complex eigenvalues $\alpha (t{)}^{-1},\alpha (t)$. Thus the absolute real Jacobian determinant on this plane is $|1-\alpha (t){|}^2$. The torus direction contributes one. Therefore the conjugation Jacobian for a compact Lie group isThis is also the Jacobian for the normalized measures: the Riemannian submersion has fibers isometric to $T$, so $\mathrm{vol}(G)=\mathrm{vol}(G/T)\mathrm{vol}(T)$; the probability-volume normalization factors cancel.

Let $T_{\mathrm{reg}}$ be the elements for which $J_q\ne 0$. The restriction of $q$ is a local diffeomorphism onto the regular elements of $G$. It is $|W|$-to-one. Indeed, fixing $t_0\in T_{\mathrm{reg}}$, any pair with $xt{x}^{-1}=t_0$ has $xT{x}^{-1}=T$, because conjugation identifies the identity components of the two centralizers. Thus $x\in N_G(T)$, and there is exactly one pair $(xT,x^{-1}{t}_{0}x)$ for each coset in $N_G(T)/T$. This argument does not require the full centralizer of $t_0$ to be connected.

The nonregular locus has measure zero. In $T$ it is a finite union of sets $\alpha (t)=1$ of smaller dimension; their conjugation images are images of smaller-dimensional manifolds under $q$, and hence have zero volume in $G$. The change-of-variables formula for the regular covering therefore givesFor a class function, the inner integral is $\phi (t)$, proving the required formula with its correct hypothesis.

Without conjugation invariance, the torus-only expression can be false. For $G=SU(2)$ with diagonal $T$, take $\phi (g)=|g_{12}{|}^2$. It vanishes on $T$, whereas its group integral is $1/2$: the two squared coordinates of a Haar-distributed unit column have equal means and sum to one. Thus the conjugacy average cannot simply be dropped.

Let $V={\mathbb{C}}^n$ and $m\ge 0$. Identify the symmetric power ${\mathrm{Sym}}^{m}V$ with the degree-$m$ part of the symmetric algebra on the basis vectors $e_1,\dots ,e_n$, using formal variables $x_i$ for these vectors. Its monomial basis isThe diagonal maximal torus of the unitary group acts on this monomial by the character $z_1^{a_1}\cdots z_n^{a_n}$. Distinct tuples give distinct characters, so each weight space is one-dimensional.

Suppose $M$ is a nonzero invariant complex subspace. For a nonzero vector $w\in M$, select a monomial with nonzero coefficient and extract it by torus averaging:Fourier orthogonality makes this a nonzero scalar multiple of $x^a$. It belongs to $M$, so $M$ contains a monomial.

Differentiating the unitary group action makes $M$ invariant under $\mathfrak{u}(n)$ and hence under its complexification ${\mathfrak{gl}}_n(\mathbb{C})$. The matrix unit $E_{ij}$ replaces an occurrence of $e_j$ by $e_i$, so its action on the symmetric algebra isWhenever $a_j>0$, this transfers one unit of degree from coordinate $j$ to coordinate $i$ with a nonzero coefficient. Starting with any monomial, such transfers can produce every other tuple of nonnegative integers summing to $m$. Thus $M$ contains every monomial and equals ${\mathrm{Sym}}^{m}V$.

ConsequentlyFor $m=0$ this is the one-dimensional trivial representation, and for $n=1$ every symmetric power is also one-dimensional. This weight-transfer proof of irreducibility of symmetric powers uses neither the Weyl character formula nor the Weyl dimension formula, so no unproved dimension formula enters the argument.

Write the diagonal maximal torus of $U(n)$ as $t=\mathrm{diag}(z_1,\dots ,z_n)$, $|z_i|=1$, and let $\delta =(n-1,n-2,\dots ,0)$. Irreducible complex representations are indexed by dominant integer tuples ${\lambda }_1\ge \cdots \ge {\lambda }_n$, their highest weights. The Weyl character formula in integer-exponent form isThe ratio initially uses distinct $z_i$, and extends to repeated eigenvalues by continuity. Every unitary matrix is conjugate to such a diagonal matrix, so this determines the character on the entire group. The shift $\delta$ differs from the usual Weyl vector $\rho =((n-1)/2,(n-3)/2,\dots ,(1-n)/2)$ by a multiple of $(1,\dots ,1)$; the corresponding determinant factors cancel between numerator and denominator.

We first justify the highest-weight information needed in the proof. Restriction to the torus splits a representation into integer weight spaces. In an irreducible representation choose a lexicographically largest weight $\lambda$ and a nonzero vector $v$ of that weight. A matrix unit $E_{ij}$ with $i<j$ raises the weight by $e_i-e_j$, so it annihilates $v$. The character is invariant under permutations of diagonal coordinates, because permutation matrices conjugate the torus. Hence permutations of $\lambda$ are also weights, and lexical maximality forces ${\lambda }_1\ge \cdots \ge {\lambda }_n$.

Irreducibility implies that $v$ generates the representation under the complexified Lie algebra. Indeed, a Lie-algebra invariant subspace is preserved by exponentials of skew-Hermitian matrices, which generate $U(n)$. Reorder any product of matrix units into lower-triangular units, diagonal units and upper-triangular units, usingInduction on length and on the number of out-of-order pairs gives the required spanning version of the Poincaré-Birkhoff-Witt theorem. Upper-triangular units kill $v$, and diagonal units act by scalars. Every nonempty product of lower-triangular units lowers its weight by a nonzero sum of positive roots. Therefore the top weight space is exactly $\mathbb{C}v$, and its multiplicity is one. This supplies the leading coefficient without assuming a character formula.

For completeness, every dominant integer tuple occurs. Put $d_j={\lambda }_j-{\lambda }_{j+1}\ge 0$ and form the representationIts lexicographically highest weight is $\lambda$, with one-dimensional highest space, represented by the tensor products of $e_1\wedge \cdots \wedge e_j$. A negative determinant exponent is a legitimate one-dimensional unitary-group character. Averaging an inner product over normalized Haar measure gives invariant orthogonal complements, so the tensor representation splits into irreducible summands. One of them has highest weight $\lambda$. Uniqueness will also follow from the formula and Schur orthogonality relations.

Define the alternant $A_{\kappa }(z)=\det (z_i^{{\kappa }_j})$ for a strictly decreasing integer tuple $\kappa$. The denominatoris the Vandermonde determinant, and its modulus is the denominator modulus in the Weyl integration formula. The Laurent polynomial ${\chi }_{\lambda }{A}_{\delta }$ is alternating. Any alternating Laurent polynomial decomposes as a finite summonomials with repeated exponents have zero coefficient, and the remaining permutation orbits are indexed uniquely by strictly decreasing tuples.

The lexicographically highest monomial in the product is $z^{\lambda +\delta }$ with coefficient one. Indeed, the highest monomial of the character is $z^{\lambda }$ with coefficient one, and the unique lexical maximum among permutations of $\delta$ is $\delta$ itself. It follows that $c_{\lambda +\delta }=1$.

Fourier orthogonality on the torus, whose probability measure is ${\prod }_{i}d{\theta }_i/(2\pi )$, gives alternant orthogonality on a unitary torus:Expand both determinants: an integral survives exactly when the two exponent tuples are identical up to permutation. Strict decreasing order then forces $\kappa =\eta$, and its $n!$ matching terms each contribute one.

Finally, Schur orthogonality relations give ${\int }_{U(n)}|{\chi }_{\lambda }{|}^2=1$. Applying the allowed Weyl integration formula to this class function givesSince the coefficient $c_{\lambda +\delta }$ already equals one, every other coefficient vanishes. Thus ${\chi }_{\lambda }{A}_{\delta }=A_{\lambda +\delta }$, proving the formula. If two irreducible representations had the same highest weight, their characters would now coincide; the Schur orthogonality relations imply that they are isomorphic. Apparent singularities at repeated diagonal eigenvalues are removable because the quotient equals the actual finite Laurent-polynomial character. No dimension formula has been assumed.

For $G=U(n)$ take the diagonal maximal torusThe spectral theorem for unitary matrices says that every element is conjugate to an element of $T$. A diagonal element with pairwise distinct eigenvalues has centralizer exactly $T$. Its conjugates therefore determine its eigenvalues up to permutation, and the normalizer quotient is $W=N_G(T)/T\cong S_n$. The character lattice of a torus $T$ is ${\mathbb{Z}}^n$, with $e^{\lambda }(z)=z_1^{{\lambda }_1}\cdots z_n^{{\lambda }_n}$. Conjugation on the matrix unit $E_{ij}$ has weight $e_i-e_j$, so these are the roots. Choose $e_i-e_j$ positive for $i<j$; thenDominant integral weights are precisely the integer tuples ${\lambda }_1\ge \cdots \ge {\lambda }_n$. Negative entries are allowed: they correspond to determinant twists, so polynomial representations alone do not exhaust the irreducible representations of $U(n)$.

Normalize Haar measure on $G$ and $T$ to have mass one, and putThe Weyl integration formula for U(n) for a continuous class function isFor a general continuous function, replace $f(t)$ in the torus integral by ${\int }_{G/T}f(gt{g}^{-1})d(gT)$, using the normalized invariant quotient measure.

To prove the formula, consider the conjugation map $q:G/T\times T\to G$, $q(gT,t)=gt{g}^{-1}$. On regular torus elements its fibres have exactly $n!$ points: the possible orderings of the distinct eigenvalues. Equip the group with an invariant inner product on its Lie algebra and split $\mathfrak{u}(n)=\mathfrak{t}\oplus {\mathfrak{t}}^{\perp }$. After translating the derivative back to the identity, its torus directions contribute the identity, while its transverse directions contribute ${\mathrm{Ad}}_{t^{-1}}-I$. Each pair $i<j$ supplies a real two-dimensional off-diagonal plane. On that plane ${\mathrm{Ad}}_t$ is multiplication by $z_i/z_j$, regarded as a plane rotation, so the absolute real determinant of the transverse derivative isThe change-of-variables theorem, divided by the covering multiplicity, now gives the desired weighted integral up to the constant relating the normalized invariant measures. The nonregular locus has measure zero: repeated eigenvalues are the zero-set of the nonzero discriminant, and the torus coincidence sets likewise have measure zero. Thus its omission causes no change to the integral. To determine the normalization, expand $\Delta$ as a sum of $n!$ distinct torus characters. Fourier orthogonality gives ${\int }_T|\Delta {|}^{2}dt=n!$. Applying the formula to $f=1$ fixes the coefficient to $1/n!$. This proves both the class-function and conjugacy-averaged forms.

We can now derive the character formula from integration, rather than merely quote it. Use the basic highest-weight theorem: a finite-dimensional irreducible representation has a unique highest weight $\lambda$ with a one-dimensional highest-weight space; all its other weights are $\lambda$ minus a nonnegative sum of positive roots. Its character is Weyl invariant. Also, character orthogonality for compact groups gives ${\int }_G|{\chi }_{\lambda }{|}^2=1$. This orthogonality follows by averaging the representation on $\mathrm{End}(V_{\lambda })$: the integral projects onto intertwining operators, whose dimension is one by the Schur lemma.

Let $\delta =(n-1,n-2,\dots ,0)$ and, for a strictly decreasing integer tuple $\eta$, put $A_{\eta }(z)=\det (z_i^{{\eta }_j})$. The finite Laurent polynomial $\Delta {\chi }_{\lambda }$ is alternating. Every alternating Laurent polynomial is a linear combination of the $A_{\eta }$: collect its monomials by permutation orbits, and observe that an orbit with repeated exponents has zero coefficient by antisymmetry. Different $A_{\eta }$ are orthogonal on $T$ and each has squared norm $n!$.

The coefficient of $z^{\lambda +\delta }$ in $\Delta {\chi }_{\lambda }$ is exactly one. Indeed, a contribution from the term $z^{w\delta }$ would require a weight $\lambda +\delta -w\delta$ in $V_{\lambda }$. For $w\ne 1$, the vector $\delta -w\delta$ is a nonzero nonnegative combination of the positive simple roots, so that weight lies above $\lambda$ and is impossible. The identity permutation supplies the highest-weight coefficient one. ConsequentlyApply the integration formula to $|{\chi }_{\lambda }{|}^2$. Torus orthogonality givesAll the other coefficients vanish, provingThe quotient extends across repeated eigenvalues because its product with the denominator is the already defined continuous character. Equivalently, alternant divisibility makes it a Laurent polynomial invariant under permutations; multiply by a determinant power if negative exponents must first be removed.

Finally, $\delta -\rho =\frac{n-1}{2}(1,\dots ,1)$ is fixed by the Weyl group, so its common factor cancels in the quotient. Since $A_{\rho }=e^{\rho }{\prod }_{\alpha >0}(1-e^{-\alpha })$, the determinant expression is exactlyUsing $\delta$ in the derivation avoids treating a possibly half-integral $\rho$ as an actual character of the torus. At the identity, taking the leading Vandermonde term of the two determinants gives the accompanying dimension formula