We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math-ph

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematical Physics

Title: A new proof of Harish-Chandra's integral formula

Abstract: We present a new proof of Harish-Chandra's formula $$\Pi(h_1) \Pi(h_2) \int_G e^{\langle \mathrm{Ad}_g h_1, h_2 \rangle} dg = \frac{ [ \! [ \Pi, \Pi ] \!] }{|W|} \sum_{w \in W} \epsilon(w) e^{\langle w(h_1),h_2 \rangle},$$ where $G$ is a compact, connected, semisimple Lie group, $dg$ is normalized Haar measure, $h_1$ and $h_2$ lie in a Cartan subalgebra of the complexified Lie algebra, $\Pi$ is the discriminant, $\langle \cdot, \cdot \rangle$ is the Killing form, $[ \! [ \cdot, \cdot ] \!]$ is an inner product that extends the Killing form to polynomials, $W$ is a Weyl group, and $\epsilon(w)$ is the sign of $w \in W$.
The proof in this paper follows from a relationship between heat flow on a semisimple Lie algebra and heat flow on a Cartan subalgebra, extending methods developed by Itzykson and Zuber for the case of an integral over the unitary group $U(N)$. The heat-flow proof allows a systematic approach to studying the asymptotics of orbital integrals over a wide class of groups.
Comments: 16 pages v4: Included edits that appeared in the published version, corrected minor typos, simplified proof of Lemma 2, small improvements to the text
Subjects: Mathematical Physics (math-ph); Representation Theory (math.RT)
MSC classes: 22E30 (Primary) 15B52 (Secondary)
DOI: 10.1007/s00220-018-3259-9
Cite as: arXiv:1712.03995 [math-ph]
  (or arXiv:1712.03995v4 [math-ph] for this version)

Submission history

From: Colin McSwiggen [view email]
[v1] Mon, 11 Dec 2017 19:33:12 GMT (10kb)
[v2] Thu, 14 Dec 2017 00:59:09 GMT (10kb)
[v3] Mon, 2 Jul 2018 14:32:41 GMT (15kb)
[v4] Mon, 27 Apr 2020 02:34:13 GMT (15kb)

Link back to: arXiv, form interface, contact.