Geometric quantization in many-body physics