Related papers: Topos Quantum Theory on Quantization-Induced Sheav…
In the context of relative topos theory via stacks, we introduce the notion of existential fibred site and of existential topos of such a site. These notions allow us to develop relative topos theory in a way which naturally generalizes the…
In this paper we describe progress made toward the construction of the Witten-Reshetikhin-Turaev theory of knot invariants from the geometric point of view. This is done in the perspective of a joint result of the author with A. Uribe which…
The goal of this paper is to explain when basechange theorems for sheaves of spaces imply basechange for sheaves with coefficients in other presentable $\infty$-categories. We accomplish this by analyzing when the tensor product of…
Boolean valued models for a signature $\mathcal{L}$ are generalizations of $\mathcal{L}$-structures in which we allow the $\mathcal{L}$-relation symbols to be interpreted by boolean truth values. For example, for elements…
In the foundational logical framework of homotopy-type theory we discuss a natural formalization of secondary integral transforms in stable geometric homotopy theory. We observe that this yields a process of non-perturbative cohomological…
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 the Grassmannian. The proof is based on the relation…
We study, from a combinatorial viewpoint, the quantized coordinate ring of mxn matrices over an infinite field K (also called quantum matrices) and its torus-invariant prime ideals. The first part of this paper shows that this algebra,…
We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local…
Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and $K$-theoretic invariants for many moduli stacks of interest, including…
A recently proposed algebraic representation of the causal set model of the small-scale structure of space-time of Sorkin et al. is briefly reviewed and expanded. The algebraic model suggested, called quantum causal set, is physically…
In the present paper, we show how to construct an algebraic sheaf by means of the topological generalized group defined by Molaei in [16] by considering both homotopy and sheaf theory.
We present covariant quantization rules for nonsingular finite dimensional classical theories with flat and curved configuration spaces. In the beginning, we construct a family of covariant quantizations in flat spaces and Cartesian…
In 1981, Takeuti introduced quantum set theory as the quantum counterpart of Boolean valued models of set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed subspaces in a Hilbert space…
Let the vector bundle $\mathcal{E}$ be a deformation of the tangent bundle over the Grassmannian $G(k,n)$. We compute the ring structure of sheaf cohomology valued in exterior powers of $\mathcal{E}$, also known as the polymology. This is…
Modalities in homotopy type theory are used to create and access subuniverses of a given type universe. These have significant applications throughout mathematics and computer science, and in particular can be used to create universes in…
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…
This PhD Thesis is devoted to the study of Hodge structures on a special type of complex algebraic varieties, the so-called character varieties. For this purpose, we propose to use a powerful algebro-geometric tool coming from theoretical…
There is good evidence that quantum computers are more powerful than classical computers, and that various simple modifications of quantum theory yield computational power that is dramatically greater still. However, these modifications…
We apply constructions from topos-theoretic approaches to quantum theory to algebraic quantum field theory. Thus a net of operator algebras is reformulated as a functor that maps regions of spacetime into a category of ringed topoi. We ask…
The purpose of this paper is to propose a sheaf theoretic approach to the theory of quantum principal bundles over non affine bases. We study the quantization of principal bundles G -> G/P, where G is a semisimple group and P a parabolic…