# Model-independent comparison between factorization algebras and algebraic quantum field theory on Lorentzian manifolds

## TL;DR

This paper establishes a model-independent equivalence between algebraic quantum field theories and factorization algebras on Lorentzian manifolds, under certain natural axioms, bridging two mathematical frameworks in quantum field theory.

## Contribution

It provides a general, axiomatic comparison and equivalence between algebraic quantum field theories and factorization algebras without relying on specific models.

## Key findings

- Proves an equivalence theorem between AQFT and prefactorization algebras
- Develops functorial constructions between the two frameworks
- Identifies conditions like Cauchy constancy and additivity for the equivalence

## Abstract

This paper investigates the relationship between algebraic quantum field theories and factorization algebras on globally hyperbolic Lorentzian manifolds. Functorial constructions that map between these two types of theories in both directions are developed under certain natural hypotheses, including suitable variants of the local constancy and descent axioms. The main result is an equivalence theorem between (Cauchy constant and additive) algebraic quantum field theories and (Cauchy constant, additive and time-orderable) prefactorization algebras.