Related papers: Strictification theorems for the homotopy time-sli…
The split property expresses the way in which local regions of spacetime define subsystems of a quantum field theory. It is known to hold for general theories in Minkowski space under the hypothesis of nuclearity. Here, the split property…
In curved spacetimes, the lack of criteria for the construction of a unique quantization is a fundamental problem undermining the significance of the predictions of quantum field theory. Inequivalent quantizations lead to different physics.…
We begin with a basic exploration of the (point-set topological) notion of Hausdorff closed limits in the spacetime setting. Specifically, we show that this notion of limit is well suited to sequences of achronal sets, and use this to…
We announce a generalization of Zimmer's cocycle superrigidity theorem proven using harmonic map techniques. This allows us to generalize many results concerning higher rank lattices to all lattices in semisimple groups with property $(T)$.…
The general relativity theory is redefined equivalently in almost Kahler variables: symplectic form and canonical symplectic connection (distorted from the Levi-Civita connection by a tensor constructed only from metric coefficients and…
We construct a new class of three-dimensional topological quantum field theories (3d TQFTs) by considering generalized Argyres-Douglas theories on $S^1 \times M_3$ with a non-trivial holonomy of a discrete global symmetry along the $S^1$.…
In this work, we prove a synthetic splitting theorem for globally hyperbolic Lorentzian length spaces with global non-negative timelike curvature containing a complete timelike line. Just like in the case of smooth spacetimes, we construct…
This article sets out the framework of algebraic quantum field theory in curved spacetimes, based on the idea of local covariance. In this framework, a quantum field theory is modelled by a functor from a category of spacetimes to a…
Suppose we are given a graph and want to show a property for all its cycles (closed chains). Induction on the length of cycles does not work since sub-chains of a cycle are not necessarily closed. This paper derives a principle reminiscent…
We develop a constructive model of homotopy type theory in a Quillen model category that classically presents the usual homotopy theory of spaces. Our model is based on presheaves over the cartesian cube category, a well-behaved…
We conjecture that, in certain cases, quantum dynamics is consistent in the presence of closed timelike curves. We consider time dependent orbifolds of three dimensional Minkowski space describing, in the limit of large AdS radius, BTZ…
We show that generalized symmetries cannot be charged under a continuous global symmetry having a Noether current. Further, only non-compact generalized symmetries can be charged under a continuous global symmetry. These results follow from…
An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…
Local quantum fields in 1+1 dimensions can have bounded field operators. The class of such fields which in addition obey Huygens' principle (time-like commutativity) and conformal covariance, is completely determined.
For a compact monotone symplectic manifold $X$ with Hamiltonian action of a compact Lie group $G$ and smooth symplectic reduction, we relate its gauged $2$-dimensional $A$-model to the $A$-model of $X/\!/G$. This (long conjectured) result…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
A recent characterisation of Fock-adapted contraction operator stochastic cocycles on a Hilbert space, in terms of their associated semigroups, yields a general principle for the construction of such cocycles by approximation of their…
This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…
We provide a detailed analysis of the classical and quantized theory of a multiplet of inhomogeneous Klein-Gordon fields, which couple to the spacetime metric and also to an external source term; thus the solutions form an affine space.…
Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed…