Factorization algebras in quite a lot of generality

TL;DR

This paper develops a general formalism for factorization algebras to study quantum field theories on diverse geometric backgrounds, extending their applicability to new contexts including arithmetic quantum field theories.

Contribution

It introduces a minimalist, versatile framework for factorization algebras on general geometries, incorporating isolability structures and sheaf theory, unifying existing theories and constructing new examples.

Findings

Framework extends factorization algebra technology to new geometric contexts.

Constructs the Beilinson-Drinfeld Grassmannian as a factorization stack in general settings.

Describes how existing theories fit into the new formalism.

Abstract

This is a first stab at a mathematical framework in which one can study quantum field theories on spacetimes with quite general geometries. We will study these theories via their factorization algebras. The aim is to identify a minimalist formalism that makes sense of factorization algebras in any geometric context. This formalism extends the technology of factorization algebras to many new contexts, including those arising in arithmetic quantum field theories. In order to make sense of factorization algebras on a geometric object X, one needs two ingredients. First, one needs an additional piece of structure on X that we call an "isolability structure." This is the data required to say whether two (generalized) points of X are "distant." This is encoded as a functor from a certain combinatorial category of cographs. Second, one needs some sort of sheaf theory. The isolability structure then induces on the category of sheaves a kind of twofold symmetric monoidal structure. Factorization algebras are then defined in terms of this structure. This paper develops this formalism. We describe how some existing theories of factorization algebras fit into this framework, and we give a construction of the Beilinson-Drinfeld Grassmannian as a factorization stack that works in quite a lot of generality.