nLab geometry of physics -- quantum mechanics

This is a sub-entry of geometry of physics.

Contents

So far we have discussed extended prequantum field theory: Lagrangians and their induced action functionals and prequantum n-bundles. Now we turn to actual quantum field theory. A prequantum field theory is supposed to induce a quantum field theory under the last step of higher geometric quantization: a choice of polarization (or equivalent) and the passage to the corresponding space of states of polarized sections of the prequantum n-bundles. This step that connects prequantum field theory with quantum field theory we discuss below in Geometric Quantization.

Here we discuss the structure of the outcome of this process.

Quantum mechanics

Syntactic Layer

Directed homotopy type theory

Revised on November 20, 2014 10:51:22 by Urs Schreiber (82.224.164.72)