Related papers: Topos Quantum Theory on Quantization-Induced Sheav…
The paper contains the construction of a topological quantum field theory with corners that underlies the smooth topological quantum field theory of Lickorish. Among other things, a contraction formula for diagrams is proved, the presence…
Over a smooth projective toric variety we study toric sheaves, that is, reflexive sheaves equivariant with respect to the acting torus, from a polyhedral point of view. One application is the explicit construction of the torus invariant…
Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical…
The present paper is the first in a series of papers, in which we shall construct modular functors and Topological Quantum Field Theories from the conformal field theory developed in [TUY]. The basic idea is that the covariant constant…
We prove the conjectural relation between the Stokes matrix for the quantum cohomology and an exceptional collection generating the derived category of coherent sheaves in the case of smooth cubic surfaces. The proof is based on a toric…
We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…
We show that the cohomology table of any coherent sheaf on projective space is a convergent--but possibly infinite--sum of positive real multiples of the cohomology tables of what we call supernatural sheaves.
New foundations for quantum logic and quantum spaces are constructed by merging algebraic quantum theory and topos theory. Interpreting Bohr's "doctrine of classical concepts" mathematically, given a quantum theory described by a…
According to D\"oring and Isham the spectral topos corresponds to any quantum system. The description of a system in the topos becomes similar to this given by classical theory, up to multiplication of observables. Logic of the emergent…
Current continuous generative models (e.g., Diffusion Models, Flow Matching) implicitly assume that locally consistent causal mechanisms naturally yield globally coherent counterfactuals. In this paper, we prove that this assumption fails…
We construct toral Chern-Simons theory with gauge group $\mathbb T=\mathfrak t/\Lambda\cong U(1)^n$ from an even, integral, nondegenerate symmetric bilinear form $K:\Lambda\times\Lambda\to\mathbb Z$ by geometric quantization via real…
In this paper we give an inherently toric description of a special class of sheaves (known as equivariant sheaves) over toric varieties, due in part to A. A. Klyachko. We apply this technology to heterotic compactifications, in particular…
Algebraic quantum field theory and prefactorization algebra are two mathematical approaches to quantum field theory. In this monograph, using a new coend definition of the Boardman-Vogt construction of a colored operad, we define homotopy…
We give a classification theorem of certain geometric objects, called torsors over the sheaf of K-theory spaces, in terms of Tate vector bundles. This allows us to present a very natural and simple, alternative approach to the Tate central…
Tame geometry originated in mathematical logic and implements strong finiteness properties by defining the notion of tame sets and functions. In part I we argued that observables in a wide class of quantum field theories are tame functions…
Topological quantum field theories can be used as a powerful tool to probe geometry and topology in low dimensions. Chern-Simons theories, which are examples of such field theories, provide a field theoretic framework for the study of knots…
The paper presents several quantum models constructed with the formalism of algebraic geometry. The Universe is presented as a presheaf on the "space of ultimation" (i.e. the branching future) with values in certain category which enhances…
Let $j$ be a Lawvere-Tierney topology (a topology, for short) on an arbitrary topos $\mathcal{E}$, $B$ an object of $\mathcal{E}$, and $j_B = j\times 1_B$ the induced topology on the slice topos $\mathcal{E}/B$. In this manuscript, we…
We propose a semantic foundation for logics for reasoning in settings that possess a distinction between equality of variables, a coarser equivalence of variables, and a notion of conditional independence between variables. We show that…
Higher-order quantum theory is an extension of quantum theory where one introduces transformations whose input and output are transformations, thus generalizing the notion of channels and quantum operations. The generalization then goes…