Quantizations on Nilpotent Lie Groups and Algebras Having Flat Coadjoint Orbits

TL;DR

This paper develops a comprehensive framework for quantization on nilpotent Lie groups with flat coadjoint orbits, connecting various quantization methods through Fourier analysis and representation theory, with explicit examples and applications.

Contribution

It introduces a unified approach to quantization on nilpotent Lie groups with flat coadjoint orbits, linking operator-valued, scalar-valued, and Weyl quantizations via Fourier transformations.

Findings

Established connections between different quantization types.

Explicit form of operator-valued symbol quantization using Kirillov theory.

Illustrated the framework with examples, including the Heisenberg group.

Abstract

For a connected simply connected nilpotent Lie group $\G$ with Lie algebra $\g$ and unitary dual $\wG$ one has (a) a global quantization of operator-valued symbols defined on $\G\times\wG$, involving the representation theory of the group, (b) a quantization of scalar-valued symbols defined on $\G\times\g^*$, taking the group structure into account and (c) Weyl-type quantizations of all the coadjoint orbits $\big\{\O_\xi\mid\xi\in\wG\big\}$. We show how these quantizations are connected, in the case when flat coadjoint orbits exist. This is done by a careful analysis of the composition of two different types of Fourier transformations. We also describe the concrete form of the operator-valued symbol quantization, by using Kirillov theory and the Euclidean version of the unitary dual and Plancherel measure. In the case of the Heisenberg group this corresponds to the known picture, presenting the representation theoretical pseudo-differential operators in terms of families of Weyl operators depending on a parameter. For illustration, we work out a couple of examples and put into evidence some specific features of the case of Lie algebras with one-dimensional center. When $\G$ is also graded, we make a short presentation of the symbol classes $S^m_{\rho,\delta}$, transferred from $\G\times\wG$ to $\G\times\g^*$ by means of the connection mentioned above.