So let $G$ be a compact real Lie group. Let $\rho:G\rightarrow GL_n(\mathbb{C})$ be an
irreducible representation of $G$ and let $\chi_{\rho}$ be the character associated to
$\rho$. Let $\Lambda_{\rho}$ be the highest weight of $\rho$ (this of course depends on a choice of a labelling of the roots of $G$) then it seems that one has the following formula
\begin{align}\label{a}
dim(\rho)=\prod_{\alpha\in\Delta^+}\frac{(\Lambda_{\rho}+\delta,\alpha)}{(\delta,\alpha)}
\end{align}
where $\delta$ is half the sum of the positive roots $\Delta^+$. In order to prove this equality
one has to show the following identity:
$$
\sum_{\sigma\in W}sign(\sigma)e^{2\pi i(\sigma(\alpha),t\delta)}=
\prod_{\alpha\in\Delta^+}(e^{\pi i(\alpha,\delta)t}-e^{-\pi i(\alpha,\delta)t})
$$
where $W$ is the Weyl group, $( , )$ is an $ad$-invariant inner product on $\mathfrak{h}$ (we think of the roots as living in $\mathfrak{h}$) and $t$ is a formal parameter.
Q: Is there a simple way to prove the equality above? Is there some geometry hidden behind it?
Best Answer
The character formula should be viewed here as a purely formal statement about weight multiplicities in the irreducible representation, so the analytic-looking exponential notation for compact Lie groups doesn't really add anything significant to the combinatorics. (The roots and weights actually live in the dual of the Cartan, but Killing form duality allows your identification.) The "sum equals product" formula is at the heart of the Weyl formula, but isn't simple to prove in the original compact Lie group setting. It gets much easier to see in the algebraic setting pioneered by Bernstein-Gelfand-Gelfand, which recovers the Weyl formula as related to Kostant's later weight multiplicity formula (the two eventually being in fact equivalent). This is all done in the setting of Verma modules in their early 1970s papers, within the BGG category $\mathcal{O}$.
Anyway, it's important to be flexible about translating the compact Lie group formula as Weyl proved it into the setting of complex semisimple Lie algebras. This allows also for a beautiful generalization of the Weyl denominator formula to the infinite dimensional setting of Kac-Moody algebras. There you see connections with much older infinite "sum = product" identities going back to people like Jacobi and Euler.
Is there some geometry hidden here? Maybe yes, but that's a longer story.
P.S. Weyl's character formula can be approached from many directions, so what is "simple" depends heavily on what you already know and what your further interests are. The Weyl denominator formula amounts to the character formula for the trivial 1-dimensional module and is hard to make intuitive. The BGG proof and its extension to infinite dimensional Lie algebras have much to offer algebraically, while other references mentioned in the comments involve radically different ideas. Besides Weyl's approach through invariant integration on compact groups, there is an approach through complex algebraic geometry at the end of J.L. Taylor's 2002 AMS graduate text Several complex variables with connections to algebraic geometry and Lie groups, as well as different treatments of Weyl's formula using algebraic geometry due to Steve Donkin and Henning Andersen (A new proof of old character formulas (MSN)). Geometry enters via the flag variety of a semisimple algebraic group in characteristic 0, which is comparable to working with the flag variety of a corresponding compact Lie group as in Peter Woit's comment.