Related papers: Four negations and the spectral presheaf

We construct a quasi-coherent sheaf of associative algebras which controls a category of $AV$-modules over a smooth quasi-projective variety. We establish a local structure theorem, proving that in \'etale charts these associative algebras…

In this work we study the notions of structural and universal completeness both from the algebraic and logical point of view. In particular, we provide new algebraic characterizations of quasivarieties that are actively and passively…

Algebraic quantum field theory, or AQFT for short, is a rigorous analysis of the structure of relativistic quantum mechanics. It is formulated in terms of a net of operator algebras indexed by regions of a Lorentzian manifold. In several…

For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting…

There are several interesting filtrations on the Cartan subalgebra of a complex simple Lie algebra coming from very different contexts: one is the principal filtration coming from the Langlands dual, one is coming from the Clifford algebra…

We prove a uniqueness result for finite-dimensional representations of the Kauffman skein algebra $\mathcal{S}_A(S)$ of a surface $S$, when $A$ is a root of unity and when the surface $S$ is a sphere with at most four punctures or a torus…

We prove the Kirillov-Reshetikhin conjecture for all untwisted quantum affine algebras : we prove that the character of Kirillov-Reshetikhin modules solve the Q-system and we give an explicit formula for the character of their tensor…

A $\mathbb{D}$-semi-classical weight is one which satisfies a particular linear, first order homogeneous equation in a divided-difference operator $\mathbb{D}$. It is known that the system of polynomials, orthogonal with respect to this…

Anti-pre-Lie algebras, Novikov algebras and commutative 2-cocycles on Lie algebrasWe introduce the notion of anti-pre-Lie algebras as the underlying algebraic structures of nondegenerate commutative 2-cocycles which are the "symmetric"…

Let $X$ be either a quasi-compact semi-separated scheme, or a Noetherian scheme of finite Krull dimension. We show that the Grothendieck abelian category $X{-}\mathsf{Qcoh}$ of quasi-coherent sheaves on $X$ satisfies the Roos axiom…

Using new configuration spaces, we give an explicit construction that extends Kontsevich's Lie-infinity quasi-isomorphism from polyvector fields to Hochschild cochains to a quasi-isomorphism of A-infinity algebras equipped with actions by…

Affine continuous logic is extended to affine integration logic. Affine compactness theorem is proved by both the ultramean construction and Henkin's method. Also, a proof system and a completeness theorem are given. An appropriate variant…

In this paper, we study the provability logic of intuitionistic theories of arithmetic that prove their own completeness. We prove a completeness theorem for theories equipped with two provability predicates $\Box$ and $\triangle$ that…

We investigate aspects of Kauffman bracket skein algebras of surfaces and modules of 3-manifolds using quantum torus methods. These methods come in two flavors: embedding the skein algebra into a quantum torus related to quantum Teichmuller…

This memoir is devoted to the study of formal-analytic arithmetic surfaces. These are arithmetic counterparts, in the context of Arakelov geometry, of germs of smooth complex-analytic surfaces along a projective complex curve.…

In this work, we construct the deformed Butcher-Connes-Kreimer Hopf algebra coming from the theory of Regularity Structures as the universal envelope of a post-Lie algebra. We show that this can be done using either of the two combinatorial…

In this paper we construct a graded Lie algebra on the space of cochains on a $\mathbbZ_2$-graded vector space that are skew-symmetric in the odd variables. The Lie bracket is obtained from the classical Gerstenhaber bracket by (partial)…

Orthogonal spaces are vector spaces together with a quadratic form whose associated bilinear form is non-degenerate. Over fields of characteristic two, there are many quadratic forms associated to a given bilinear form and quadratic…

We define a new class of quantum vertex algebras, based on the Hopf algebra $H_D=\mathbb{C}[D]$ of "infinitesimal translations" generated by $D$. Besides the braiding map describing the obstruction to commutativity of products of vertex…

The quantum Satake correspondence relates dihedral Soergel bimodules to the semisimple quotient of the quantum $\mathfrak{sl}_2$ representation category. It also establishes a precise relation between the simple transitive…