====== Bargmann-Fock space ======

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

{{:cheatsheets:pasted:20221031-234307.png}}