# nLab second quantization

• /

• , ,

• FQFT and

, ,

## 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.