Bargmann-Fock space

See https://arxiv.org/pdf/1604.06655.pdf, section 1.2 for the circle bundle setup and section 10.