Abstract
We explain rich geometric structures that appear in the quantisation of linear bosonic and fermionic systems. By contrasting with the quantisation of general curved phase spaces, we focus on results that shed light on one of the most basic problems in quantisation: the dependence of the quantum Hilbert space on auxiliary data such as the choice of polarisations that is necessary to define a quantum Hilbert space.