On the associated variety of a highest weight Harish-Chandra module

We prove a simple formula that calculates the associated variety of a highest weight Harish-Chandra module directly from its highest weight. We also give a formula for the Gelfand–Kirillov dimension of highest weight Harish-Chandra module which is uniform across Cartan types and is valid for arbitrary infinitesimal character.