Related papers: An introduction to sheaf quantization
We give a sheaf-theoretic version of the universal coefficient theorem.
Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the…
In this paper, we present a generalization of Grothendieck pretopologies -- suited for semicartesian categories with equalizers $C$ -- leading to a closed monoidal category of sheaves, instead of closed cartesian category. This is proved…
In type theory, an oracle may be specified abstractly by a predicate whose domain is the type of queries asked of the oracle, and whose proofs are the oracle answers. Such a specification induces an oracle modality that captures a…
In this paper, we study the question of quantization of quantum field theories in a general light-front frame. We quantize scalar, fermion as well as gauge field theories in a systematic manner carrying out the Hamiltonian analysis…
We study the virtual intersection theory of Hyperquot schemes parameterizing sequences of quotient sheaves of a vector bundle on a smooth projective curve. Our results generalize the Vafa--Intriligator formula for Quot schemes and provide a…
We show how probabilities can be treated as truth values in suitable sheaf topoi. The scheme developed in this paper is very general and applies to both classical and quantum physics. On the quantum side, the results are a natural extension…
This is the Ph.D. thesis of the author. In this thesis, we construct the $ P(\phi)_2 $ Quantum Field Theory (QFT) model on curved surfaces and show that it satisfies Segal's axioms (arXiv:2403.12804). An important ingredient in this…
This paper makes contributions to ``pure'' sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist.…
An introduction is given to the logic of sheaves of structures and to set theoretic forcing constructions based on this logic. Using these tools, it is presented an alternative proof of the independence of the Continuum Hypothesis; which…
We use the method due to Batalin, Fradkin and Tyutin (BFT) for the quantization of chiral boson theories. We consider the Floreanini-Jackiw (FJ) formulation as well as others with linear constraints.
Localization methods are ubiquitous in cyclic homology theory, but vary in detail and are used in different scenarios. In this paper we will elaborate on a common feature of localization methods in noncommutative geometry, namely…
The usual particle in a box is turned into a field theory, and its behavior is examined using canonical and affine quantizations. The resulting leads to a valid affine quantization of the particle in a box field theory, which points toward…
We show how natural functors from the category of coherent sheaves on a projective scheme to categories of Kronecker modules can be used to construct moduli spaces of semistable sheaves. This construction simplifies or clarifies technical…
These notes are an introduction to the theory of quantum symmetries of finite and infinite sets, graphs, and locally compact spaces.
We have studied here the newly observed families of fractional quantum Hall states in the framework of Berry phase. It has been shown that this approach embraces in a unified way the whole spectrum of quantum Hall states with their various…
In this paper we give a streamlined overview of some of the recent constructions provided with K.-H. Neeb, G. \'Olafsson and collaborators for a new geometric approach to Algebraic Quantum Field Theory (AQFT). Motivations, fundamental…
Recent developments concerning canonical quantisation and gauge invariant quantum mechanical systems and quantum field theories are briefly discussed. On the one hand, it is shown how diffeomorphic covariant representations of the…
We introduce a notion of a sheaf of vector spaces on a graph, and develop the foundations of homology theories for such sheaves. One sheaf invariant, its "maximum excess," has a number of remarkable properties. It has a simple definition,…
In this series of papers we aim to provide a mathematically comprehensive framework to the Hamiltonian pictures of quantum field theory in curved spacetimes. Our final goal is to study the kinematics and the dynamics of the theory from the…