Related papers: Strictification theorems for the homotopy time-sli…
We prove two theorems which concern difficulties in the formulation of the quantum theory of a linear scalar field on a spacetime, (M,g_{ab}), with a compactly generated Cauchy horizon. These theorems demonstrate the breakdown of the theory…
We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZ-algebra spectra. Namely, we construct Quillen equivalences between the Quillen model categories of (unbounded) differential graded…
Strongly-coupled Quantum Field Theories (QFTs) are ubiquitous in high energy physics and many-body physics, yet our ability to do precise computations in such systems remains limited. Hamiltonian Truncation is a method for doing…
The Lichtenbaum-Quillen conjecture for smooth complex varieties states that algebraic and topological K-theory with finite coefficients become isomorphic in high degrees. We define the "Lichtenbaum-Quillen dimension" of a variety in terms…
In this overview article we present a formalism suitable for constructing models of QFT's on curved spacetimes. The leading principle is the emphasis on local properties. It turns out that this requires a reformulation of the standard QFT…
This paper revisits the theory of superselection sectors in algebraic quantum field theory from the modern perspective of prefactorization algebras. Under the standard assumptions of Haag duality and a locally faithful vacuum…
We formulate a generalized concept of asymptotic completeness and show that it holds in any Haag-Kastler quantum field theory with an upper and lower mass gap. It remains valid in the presence of pairs of oppositely charged particles in the…
We quantize spherically symmetric electrovacuum gravity. The algebra of Hamiltonian constraints can be made Abelian via a rescaling and linear combination with the diffeomorphism constraint. As a result the constraint algebra is a true Lie…
A slight modification of one axiom of quantum theory changes a reversible theory into a time asymmetric theory. Whereas the standard Hilbert space axiom does not distinguish mathematically between the space of states (in-states of…
In this article we introduce a generalization of locally conformally Kaehler metrics from complex manifolds to complex analytic spaces with singularities and study which properties of locally conformally Kaehler manifolds still hold in this…
We show the existence of a Hawking vector field in a full neighborhood of a local, regular, bifurcate, non-expanding horizon embedded in a smooth Einstein-Maxwell space-time without assuming the underlying space-time is analytic. It extends…
We axiomatise the dagger category of complex Hilbert spaces and bounded linear maps, using exclusively purely categorical conditions. Our axioms are chosen with the aim of an easy interpretability: two of them describe the composition of…
We present a rigorous quantization scheme that yields a quantum field theory in general boundary form starting from a linear field theory. Following a geometric quantization approach in the K\"ahler case, state spaces arise as spaces of…
To date, all proposed quantum algorithms for simulating quantum field theory (QFT) simulate (continuous-time) Hamiltonian lattice QFT as a stepping stone. Two overlooked issues are how large we can take the timestep in these simulations…
We analyze the "F-locality condition" (proposed by Kay to be a mathematical implementation of a philosophical bias related to the equivalence principle, we call it the "GH-equivalence principle"), which is often used to build a…
We revisit the question of whether the Crane-Yetter topological quantum field theory (TQFT) associated to a modular tensor category admits a fully extended refinement. More specifically, we use tools from stable homotopy theory to classify…
We describe a method to implement finite group global and gauged $q$-form symmetries into the axiomatic structure of $d$-dimensional Topological Quantum Field Theory (TQFT) in terms of bordisms decorated by cohomology classes. Namely, on a…
In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…
Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…
We analyze the situation of a local quantum field theory with constraints, both indexed by the same set of space-time regions. In particular we find ``weak'' Haag-Kastler axioms which will ensure that the final constrained theory satisfies…