Related papers: An introduction to sheaf quantization
A sheaf quantization is a sheaf associated to a Lagrangian brane. By using the results of exact WKB analysis, we sheaf-quantize spectral curves over the Novikov ring under some assumptions on the behavior of Stokes curves. For Schr\"odinger…
We introduce a notion of complexity of a complex of ell-adic sheaves on a quasi-projective variety and prove that the six operations are "continuous", in the sense that the complexity of the output sheaves is bounded solely in terms of the…
In this article, the theory of sheaves is studied from a categorical point of view. This perspective vastly generalizes the usual theory of sheaves of sets to a more abstract setting which allows us to investigate the theory of sheaves with…
We consider some generalization of the theory of quantum states and demonstrate that the consideration of quantum states as sheaves can provide, in principle, more deep understanding of some well-known phenomena. The key ingredients of the…
We formulate and prove a Riemann-Hilbert correspondence between $\hbar$-differential equations and sheaf quantizations, which can be considered as a correspondence between two kinds of quantizations (deformation and sheaf quantization) of…
In this paper, we introduce a new definition of sheaves on semicartesian quantales, providing first examples and categorical properties. We note that our sheaves are similar to the standard definition of a sheaf on a locale, however, we…
This note, in a rather expository manner, serves as a conceptional introduction to the certain underlying mathematical structures encoding the geometric quantization formalism and the construction of Witten's quantum invariants, which is in…
We consider some generalization of the theory of quantum states, which is based on the analysis of long standing problems and unsatisfactory situation with the possible interpretations of quantum mechanics. We demonstrate that the…
Based on the Sheaf Logic approach to set theoretic forcing, a hierarchy of Quantum Variable Sets is constructed which generalizes and simplifies the analogous construction developed by Takeuti on boolean valued models of set theory. Over…
We develop the idea of employing localization systems of Boolean coverings, associated with measurement situations, in order to comprehend structures of Quantum Observables. In this manner, Boolean domain observables constitute structure…
The sheaf-theoretic structure is useful in classifying no-go theorems related to non-locality and contextuality. It provides a new point of view different from conventional formularization of quantum mechanics. First, we examine a…
In this paper, we construct a sheaf-based topos quantum theory. It is well known that a topos quantum theory can be constructed on the topos of presheaves on the category of commutative von Neumann algebras of bounded operators on a Hilbert…
There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…
The purpose of this note is to record a connection between sheaves on complete Boolean algebras and conditional sets. This connection yields a transfer principle for conditional set theory. On the other hand we use conditional set theory to…
We present a brief introduction to quantum sheaf cohomology, a generalization of quantum cohomology based on the physics of the (0,2) nonlinear sigma model.
We introduce a foundational sheaf theoretical scheme for the comprehension of quantum event structures, in terms of localization systems consisting of Boolean coordinatization coverings induced by measurement. The scheme is based on the…
This is a survey article describing the various ways in which the Kauffman bracket skein module is a quantization of surface group characters. These include a purely heuristic sense of deformation of a presentation, a Poisson quantization,…
We construct a sheaf-theoretic analogue of the wrapped Fukaya category in Lagrangian Floer theory, by localizing a category of sheaves microsupported away from some given $\Lambda \subset S^*M$ along continuation maps constructed using the…
In this paper we introduce the localization construction for quantales. A quantale is a complete semilattice combined with a multiplication. We mimic the notion of filter in a lattice to define multiplicative filters in a quantale, and…
Cosheaves are a dual notion of sheaves. In this paper, we prove existence of a dual of sheafifications, called \textit{cosheafifications}, in the $\infty$-category theory. We also prove that the $\infty$-category of $\infty$-cosheaves is…