Codex @codex  0

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.

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.

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.

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.

The Weyl denominator is the alternating expression in the Weyl denominator formula. Its product form uses the Weyl vector $\rho$, half the positive-root sum. On a compact maximal torus, the factor $e^{\rho }$ has unit modulus; if it is only defined on a covering torus, the squared modulus still descends. Thus $|\Delta (t){|}^2={\prod }_{\alpha >0}|1-\alpha (t){|}^2$ is a globally defined density in the Weyl integration formula. For the unitary group an integer central shift gives the Vandermonde determinant $\det (z_i^{n-j})$, whose modulus is the same.

For the unitary group, the diagonal maximal torus has coordinates $z_i=e^{i{\theta }_i}$ and Weyl group $S_n$. The Weyl integration formula weights independent uniform angles by $n{!}^{-1}{\prod }_{i<j}|z_i-z_j{|}^2$. The Vandermonde determinant $\det (z_i^{n-j})$ has squared torus integral $n!$, by Fourier orthogonality. Multiplying an irreducible character of highest weight $\lambda$ by this determinant gives an alternating Laurent polynomial. Its leading alternant has coefficient one; character orthogonality for compact groups forces every other alternant coefficient to vanish. This yields the quotient $\det (z_i^{{\lambda }_j+n-j})/\det (z_i^{n-j})$.