Registry · Remark IV.R305 tau-effective formalized

IV.R305 — Comparison with geometric quantization

The tau^3 quantization bypasses Kostant-Souriau geometric quantization: the CR-structure itself provides the analogue of the prequantum connection, holomorphic vector fields replace Hamiltonian vector fields, and the prequantum line bundle is built into the fibration tau^3 = tau^1 x_f T^2.

Book IV Part 3 Ch. 19

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.Quantization

Symbol: Tau.BookIV.QuantumMechanics.ComparisonWithGeometricQuantization