Related papers: Four negations and the spectral presheaf
We consider the quantum affine vertex algebra $\mathcal{V}_{c}(\mathfrak{gl}_N)$ associated with the rational $R$-matrix, as defined by Etingof and Kazhdan. We introduce certain subalgebras $\textrm{A}_c (\mathfrak{gl}_N)$ of the completed…
In pursuit of a noncommutative spectrum functor, we argue that the Heyneman-Sweedler finite dual coalgebra can be viewed as a quantization of the maximal spectrum of a commutative affine algebra, integrating prior perspectives of Takeuchi,…
We determine the structure of the BPS algebra of 2-Calabi-Yau Abelian categories for which the stack of objects admits a good moduli space. We prove that this algebra is isomorphic to the positive part of the enveloping algebra of a…
Birkhoff's representation theorem (Birkhoff, 1937) defines a bijection between elements of a distributive lattice and the family of upper sets of an associated poset. Although not used explicitly, this result is at the backbone of the…
Over a field of characteristic zero, we show that two commutative differential graded (dg) algebras are quasi-isomorphic if and only if they are quasi-isomorphic as associative dg algebras. This answers a folklore problem in rational…
The aim of the present paper is to show that the concept of intuitionistic logic based on a Heyting algebra can be generalized in such a way that it is formalized by means of a bounded poset. In this case it is not assumed that the poset is…
In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications, in a similar spirit than a set of proof trees. The main…
We show the functional completeness for the connectives of the non-trivial negation inconsistent logic C by using a well-established method implementing purely proof-theoretic notions only. Firstly, given that C contains a strong negation,…
We study the Witten--Reshetikhin--Turaev SU(2) invariant for the Seifert manifold with 4-singular fibers. We define the Eichler integrals of the modular forms with half-integral weight, and we show that the invariant is rewritten as a sum…
We introduce a framework to define coalgebra and bialgebra structures on two-dimensional (2D) square lattices, extending the algebraic theory of Hopf algebras and quantum groups beyond the one-dimensional (1D) setting. Our construction is…
In this paper we provide a preliminary investigation of subclasses of bounded posets with antitone involution which are "pastings" of their maximal Kleene sub-lattices. Specifically, we introduce super-paraorthomodular lattices, namely…
We study the dual descriptions recently discovered for the Seiberg-Witten theory in the presence of surface operators. The Nekrasov partition function for a four-dimensional N=2 gauge theory with a surface operator is believed equal to the…
Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is…
In a previous work we established a super Schur-Weyl-Brauer duality between the orthosymplectic supergroup of superdimension $(m|2n)$ and the Brauer algebra with parameter $m-2n$. This led to a proof of the first fundamental theorem of…
We apply the machinery developed by the first-named author to the K-theory of coherent G-sheaves on a finite type G-scheme X over a field, where G is a finite group. This leads to a definition of G-equivariant higher Chow groups (different…
We develop spectral theory for the q-Hahn stochastic particle system introduced recently by Povolotsky. That is, we establish a Plancherel type isomorphism result which implies completeness and biorthogonality statements for the Bethe…
Associated to quantum affine general linear Lie superalgebras are two families of short exact sequences of representations whose first and third terms are irreducible: the Baxter TQ relations involving infinite-dimensional representations;…
In their 2007 paper, Jarvis, Kaufmann, and Kimura defined the full orbifold $K$-theory of an orbifold ${\mathfrak X}$, analogous to the Chen-Ruan orbifold cohomology of ${\mathfrak X}$ in that it uses the obstruction bundle as a quantum…
We assess the ODE/IM correspondence for the quantum $\mathfrak{g}$-KdV model, for a non-simply laced Lie algebra $\mathfrak{g}$. This is done by studying a meromorphic connection with values in the Langlands dual algebra of the affine Lie…
In Part I, we extend our analysis in [arXiv:0807.1107], and show that a mathematically conjectured geometric Langlands duality for complex surfaces in [1], and its generalizations -- which relate some cohomology of the moduli space of…