Admissible modules and normality of classical nilpotent orbits
The status of the study on classical nilpotent orbits and the results of this paper are explained in detail in the introduction, so most of my review is quoted from the introduction.\N\N``In their seminal work, \textit{H. Kraft} and \textit{C. Procesi} [Invent. Math. 53, 227--247 (1979; Zbl 0434.14026); Comment. Math. Helv. 57, 539--602 (1982; Zbl 0511.14023)], classify orbits with normal closure for the action of a classical group, \(\mathrm{GL}(n, \mathbb{C}), Sp(2n, \mathbb{C}), O(n, \mathbb{C})\), on the variety of nilpotent elements in the corresponding Lie algebra. All orbit closures are normal in the case of \(\mathrm{GL}(n, \mathbb{C})\) but not for the other classical groups. \N\NThe authors focus on the other classical groups.\N\N``Let \(\mathcal{O}\) be a nilpotent orbit, \(\overline{\mathcal{O}}\) its closure and \(R(\mathcal{O})\) and \(R(\overline{\mathcal{O}})\) be the rings of regular functions. A well-known result states that \N\[\NR(\mathcal{O}) \subseteq R(\overline{\mathcal{O}}), \text{ and equality holds iff } \overline{\mathcal{O}} \text{ is normal.}\N\]\NAn important question is what functions on \(R(\mathcal{O})\) extend to the closure and if not, how far they extend to orbits \(\mathcal{O}^\prime \subset \mathcal{O}\).\N\NThe authors provide an answer using the representation theory of infinite-dimensional representations of the classical complex groups viewed as real Lie groups. ``The starting point is the work of \textit{R. Brylinski} [Prog. Math. 213, 49--67 (2003; Zbl 1069.17005)] which associates to each nilpotent orbit \(\mathcal{O}\) a \((g, K)\)-module (or more precisely a Dixmier algebra) \(\mathcal{B(\overline{O})}\). This module has a natural filtration such that the corresponding graded object is \(R(\mathcal{\overline{O}})\). Being a \((\mathfrak{g}_c , K_c )\)-module (here the subscript \(c\) denotes complexification), it decomposes with finite multiplicity under \(K_c \cong G\), where \(G\) is viewed as a complex group. Under this identification, \N\[\N G_r(\mathcal{B(\overline{O})}) \cong R(\mathcal{\overline{O}}).\N\]\NThe main tool is the \(\Theta\)-correspondence of dual reductive pairs as defined by \textit{R. Howe} [J. Am. Math. Soc. 2, No. 3, 535--552 (1989; Zbl 0716.22006)]. Using the results in [\textit{J. Adams} and \textit{D. Barbasch}, J. Funct. Anal. 132, No. 1, 1--42 (1995; Zbl 0841.22014)], the authors provide a complete composition series for \(\mathcal{B(\overline{O})}\). \N\NAs consequences, the authors obtain the following results, which in particular answer the question.\N\begin{itemize}\N\N\item There is an analogous Dixmier algebra \(\mathcal{B(O)}\) with an associated graded object isomorphic to \(R(O)\), endowed with an injective map \(\mathcal{B(\overline{O})} \hookrightarrow \mathcal{B(O)}\). The authors specify the composition factors of these modules explicitly.\N\N\item The authors find explicit formulas for the \(K_c\)-types of the modules \(\mathcal{B(\overline{O})}\) and \(\mathcal{B(O)}\).\N\N\item The authoprs obtain a new proof of the classification of normal closures of nilpotent orbits based on representation theory.\N\N\item All the composition factors of \(\mathcal{B(\overline{O})}\) and \(\mathcal{B(O)}\) are unitary. The modules \(\mathcal{B(O)}\) and \(\mathcal{B(\overline{O})}\) fit into the general philosophy of the Orbit Method, pioneered by Kostant, Kirillov and Souriau.\end{itemize}\N\NA classical nilpotent orbit \(\mathcal{O}\) is denoted by its Young diagram. The authors specify \(\mathcal{O}\) by the columns of its Young diagram. This parametrization is already employed in [\textit{H. Kraft} and \textit{C. Procesi}, Comment. Math. Helv. 57, 539--602 (1982; Zbl 0511.14023)]. The authors' results are expressed in these terms.\N\NThe main theorems of this paper are the following:\N\NTheorem 1 Let \(\mathcal{O}\) be a classical nilpotent orbit. There is an injective \((\mathfrak{g}_c, K_c)\)-module morphism: \N\[\N\epsilon : \mathcal{B(\overline{O})} \hookrightarrow \mathcal{B(O)}, \tag{2}\N\]\Nwhose image is the submodule of \(\mathcal{B(O)}\) generated by the spherical vector.\N\NTheorem 6 Let \(\mathcal{O}\) be a classical nilpotent orbit. Then, Equation (2) gives an isomorphism onto the cyclic submodule \(\Xi(\mathcal{O})\) of \(\mathcal{B(O)}\).\N\NFor the entire collection see [Zbl 1560.22002].
- Characters of Reductive Groups over a Finite Field. (AM-107)
- Closures of conjugacy classes of matrices are normal
- Generic singularities of nilpotent orbit closures
- scientific article; zbMATH DE number 4177406 (Why is no real title available?)
- scientific article; zbMATH DE number 3937365 (Why is no real title available?)
- scientific article; zbMATH DE number 3975241 (Why is no real title available?)
- scientific article; zbMATH DE number 2154523 (Why is no real title available?)
- On the geometry of conjugacy classes in classical groups
- Quantization of special symplectic nilpotent orbits and normality of their closures
- Reducibility of generalized principal series representations
- Reductive dual pair correspondence for complex groups
- Representations of real reductive Lie groups
- Rings of regular functions on nilpotent orbits and their covers
- The duality correspondence of infinitesimal characters
- The unitary dual for complex classical Lie groups
- The unitary spherical spectrum for split classical groups
- Transcending Classical Invariant Theory
- Unipotent representations and the dual pair correspondence
- Unipotent representations of complex semisimple groups
This page was built for publication: Admissible modules and normality of classical nilpotent orbits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6914574)
