geometric quantization, Lie groups, Segal-Bargmann space