# nLab prequantum 0-bundle

• ,

• ,

## Prequantum field theory

• =

• prequantum 1-bundle = , regular, = lift of to

• =

• ,

• ,

• ,

• ,

• ,

• ,

• ,

• ,

• ,

• ,

• , , ,

• ,

• , ,

• ,

• , , ,

• ,

• ,

• ,

• ,

• ,

• , , ,

• /

• , ,

• FQFT and

, ,

## Surveys, textbooks and lecture notes

• ,

,

, ,

• , , , ,

• ,

• ,

• ,

• ,

• and
• Axiomatizations

• ,
• -theorem

• Tools

• ,

• ,

• ,
• Structural phenomena

• Types of quantum field thories

• ,

• , ,

• examples

• ,
• ,
• , , , ,

• , ,

# Contents

## Idea

In higher differential geometry the notion of connection on a bundle and in particular that of circle bundle with connection is refined to a tower of notions of circle n-bundles with connection for all $n \in \mathbb{N}$. In particular also the degenerate case of $n = 0$ is defined and fits into this tower: a 0-bundle is simply a function with values in the given structure group (e.g. the circle group $U(1)$).

Moreover, for a prequantum field theory defined by an extended Lagrangian there is such a circle (n-k)-bundle with connection for each closed manifold of dimension $k$, called the prequantum (n-k)-bundle. For $n = k$ this is the action functional of the theory. Hence the action functional may be thought of as the prequantum 0-bundle of an extended prequantum field theory.

$0 \leq k \leq n$(off-shell) traditional terminology
$0$
$1$
$k$
$n-1$(off-shell)
$n$

## References

Lecture notes with more details are in the section Lagrangians and Action functionals of

Created on January 5, 2013 at 19:56:26. See the history of this page for a list of all contributions to it.