相关论文: Planar Heyting Algebras for Children 2: Local Oper…
We show that the partially spherical cyclotomic rational Cherednik algebra (obtained from the full rational Cherednik algebra by averaging out the cyclotomic part of the underlying reflection group) has four other descriptions: (1) as a…
Any scheme has its associated little and big Zariski toposes. These toposes support an internal mathematical language which closely resembles the usual formal language of mathematics, but is "local on the base scheme": For example, from the…
Families of operator identities appeared as a consequence of an existence of finite-dimensional representation of (super) Lie algebras of first-order differential operators and $q$-deformed (quantum) algebras of first-order…
There is a well-known inclusion $\iota_\mathscr{E}$ of a topos $\mathscr{E}$ in the linguistic topos $\mathscr{T}(\Sigma)$ of its internal language $\Sigma$ that proves both toposes to be equivalent. There is also a canonical translation…
In this paper we construct the sheaf morphism from the sheaf of pseudodifferential operators to its symbol class. Since the map is hard to construct directly, we realize it with two original ideas as follows. First, to calculate…
For a vertex operator algebra $V$ with conformal vector $\omega$, we consider a class of vertex operator subalgebras and their conformal vectors. They are called semi-conformal vertex operator subalgebras and semi-conformal vectors of…
We introduce a series of graph decompositions based on the modulator/target scheme of modification problems that enable several algorithmic applications that parametrically extend the algorithmic potential of planarity. In the core of our…
We present the following reflexivity-like result concerning the automorphism group of the $C^*$-algebra B(H), H being a separable Hilbert space. Let $\phi:B(H)\to B(H)$ be a multiplicative map (no linearity or continuity is assumed) which…
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…
Gerstenhaber and Schack ([GS]) developed a deformation theory of presheaves of algebras on small categories. We translate their cohomological description to sheaf cohomology. More precisely, we describe the deformation space of (admissible)…
In this article, we continue the study of tense symmetric Heyting algebras (or TSH-algebras). These algebras constitute a generalization of tense algebras. In particular, we describe a discrete duality for TSHalgebras bearing in mind the…
The present article takes advantage of the properties of algebras in the category of S-modules (twisted algebras) to investigate further the fine algebraic structure of Hopf operads. We prove that any Hopf operad P carries naturally the…
In this paper, we investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a…
We show how to induce products in sheaf cohomology for a wide variety of coefficients: sheaves of dg commutative and Lie algebras, symmetric Omega-spectra, filtered dg algebras, operads and operad algebras.
This paper is the third in a series whose goal is to develop a fundamentally new way of viewing theories of physics. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a…
This paper may be viewed as having two aims. First, we continue our study of algebras of operators on a Hilbert space which have a contractive approximate identity, this time from a more Banach algebraic point of view. Namely, we mainly…
We introduce a class of toposes called "absolutely locally compact" toposes and of "admissible" sheaf of rings over such toposes. To any such ringed topos $(\mathcal{T},A)$ we attach an involutive convolution algebra…
The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea that the empirical content of quantum physics is accessible…
In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned properties.
We describe the E-infinity algebra structure on the complex of singular cochains of a topological space, in the context of sheaf theory. As a first application, for any algebraic variety we define a weight filtration compatible with its…