D-modules and characters of semisimple Lie groups

DOI10.1215/S0012-7094-04-12322-XMaRDI QIDQ701890zbMATH OpenOpenAlexWikidataFDO

Publication date 14 January 2005

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0301295

\(D\)-modules Harish-Chandra theorem semisimple Lie groups

Representations of Lie algebras and Lie superalgebras, analytic theory (17B15) Semisimple Lie groups and their representations (22E46) Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs (35A27)

Abstract: A celebrated theorem of Harich-Chandra asserts that all invariant eigendistributions on a semisimple Lie group are locally integrable functions. We show that this result is a consequence of an algebraic property of a holonomic D-module defined by Kashiwara and Hotta.

Review text

The authors study some properties of the semisimple Lie groups related to the eigendistributions invariant under the adjoint action and the relation with the Hotta-Kashiwara \(\mathcal{D}\)-module. Let \(G_{{R}}\) be a real semisimple Lie group. The Harish-Chandra theorem asserts that all invariant eigendistributions on \(G_{{R}}\) are locally integrable functions. The authors show that the Harish-Chandra theorem and its extension to symmetric pairs are consequences of an algebraic property of the Hotta-Kashiwara \(\mathcal{D}\)-module. If \(\mathcal{M}\) is a holonomic \(\mathcal{D}_X\)-module on a manifold \(X\), then to each submanifold \(Y\) of \(X\) a polynomial is associated that is called the \(b\)-function of \(\mathcal{M}\) along \(Y\). The module \(\mathcal{M}\) is tame if there exists a locally finite stratification \(X=\bigcup X_a\) such that for each \(a\), the roots of the \(b\)-function of \(\mathcal{M}\) along \(X_a\) are greater than the opposite of the codimension of \(X_a\). The authors show that the Hotta-Kashiwara module is tame in the semisimple case, and in the case of symmetric pairs, they find a relation between the roots of the \(b\)-functions and some numbers introduced by Sekiguchi. Concerning the integrability of the solutions in the case of symmetric pairs, the authors obtain this property under a condition that is slightly stronger than the condition satisfied by nice pairs. The tame \(\mathcal{D}\)-modules have no quotients supported by a hypersurface. The \(L^p\)-growth of the solutions is given by the roots of the \(b\)-functions. The authors present an example of nontrivial holonomic \(\mathcal{D}\)-modules for which it is possible to calculate the \(b\)-functions explicitly.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: \({\mathcal D}\)-modules and characters of semisimple Lie groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701890)