nLab time slice axiom

Redirected from "time-slice axiom".
Contents

Context

AQFT

algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)

Introduction

Concepts

field theory:

Lagrangian field theory

quantization

quantum mechanical system, quantum probability

free field quantization

gauge theories

interacting field quantization

renormalization

Theorems

States and observables

Operator algebra

Local QFT

Perturbative QFT

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Contents

Idea

In quantum field theory the time slice axiom is an additional axiom often considered on top of the basic Haag-Kastler axioms: it encodes the property that the time evolution of the classical field theory underlying a QFT is governed by well-defined initial value problems.

Definition

A local net of observables A:Op(X)C *AlgA : Op(X) \to C^\ast Alg satisfies the time slice axiom if whenever a causal inclusion of Lorentzian spaces O 1O 2O_1 \hookrightarrow O_2 is such that O 1O_1 contains a Cauchy surface of O 2O_2 then A(O 1O 2)A(O_1 \hookrightarrow O_2) is an isomorphism.

References

General

See references at AQFT.

Discussion for homotopical AQFT:

Time tube theorem

Generalization to AQFT on curved but real analytic spacetimes:

Last revised on March 30, 2023 at 07:11:45. See the history of this page for a list of all contributions to it.