nLab
second quantization

Context

Quantum field theory

Contents

      • /

        • , ,

  • FQFT and

Phyiscs

, ,

Surveys, textbooks and lecture notes

  • ,


,

, ,

    • , , , ,

      • ,

      • ,

      • ,

        • ,

      • and
    • Axiomatizations

          • ,
        • -theorem

    • Tools

      • ,

        • ,

        • ,
    • Structural phenomena

    • Types of quantum field thories

        • ,

        • , ,

        • examples

          • ,
          • ,
        • , , , ,

        • , ,

Contents

Idea

The process of quantization is supposed to assign to a classical field theory (prequantum field theory) a corresponding quantum field theory. One tends to imagine that in some cases the resulting QFT can itself be regarded as a classical field theory, roughly, and the process of quantization be applied again. One then speaks of second quantization .

In its simplest form the free second quantization (in the sense of free field theory, introducing no interaction between the second quantized quanta) is identified with the Fock space construction on a given space of quantum states.

For interacting second quantization see sigma-model – exposition of second quantization of sigma-models.

field theoryof fundamental and their which in is given by

Properties

Syntax in linear type theory

In linear type theory, which may be regarded as quantum logic (by the discussion there), the Fock space construction may naturally be identified with the . See there for more.

References

Last revised on February 5, 2014 at 01:40:43. See the history of this page for a list of all contributions to it.