geometric quantization higher geometric quantization
geometry of physics: Lagrangians and Action functionals + Geometric Quantization
prequantum circle n-bundle = extended Lagrangian
prequantum 1-bundle = prequantum circle bundle, regularcontact manifold,prequantum line bundle = lift of symplectic form to differential cohomology
In higher geometric prequantization (see there for more details for the moment) the notion of prequantum circle bundle is refined to that of a prequantum circle n-bundle with connection for all .
extended prequantum field theory
| (off-shell) prequantum (n-k)-bundle | traditional terminology | |
|---|---|---|
| differential universal characteristic map | level | |
| prequantum (n-1)-bundle | WZW bundle (n-2)-gerbe | |
| prequantum (n-k)-bundle | ||
| prequantum 1-bundle | (off-shell) prequantum bundle | |
| prequantum 0-bundle | action functional |