Berezin-Type Operators on the Cotangent Bundle of a Nilpotent Group

We define and study coherent states, a Berezin-Toeplitz quantization and covariant symbols on the product between a connected simply connected nilpotent Lie group and the dual of its Lie algebra. The starting point is a Weyl system codifying the natural Canonical Commutation Relations of the system. The formalism is meant to complement the quantization of the cotangent bundle by pseudo-differential operators, to which it is connected in an explicit way. Some extensions are indicated, concerning $\tau$-quantizations and variable magnetic fields.