Related papers: Q-system completion is a 3-functor

We define the notion of exact completion with respect to an existential elementary doctrine. We observe that the forgetful functor from the 2-category exact categories to existential elementary doctrines has a left biadjoint that can be…

Type qualifiers offer a lightweight mechanism for enriching existing type systems to enforce additional, desirable, program invariants. They do so by offering a restricted but effective form of subtyping. While the theory of type qualifiers…

For any block of a finite group over an algebraically closed field of characteristic $2$ which has dihedral, semidihedral, or generalized quaternion defect groups, we determine explicitly the decomposition of the associated diagonal…

We develop category theory within Univalent Foundations, which is a foundational system for mathematics based on a homotopical interpretation of dependent type theory. In this system, we propose a definition of "category" for which equality…

The combinatorial theory of species developed by Joyal provides a foundation for enumerative combinatorics of objects constructed from finite sets. In this paper we develop an analogous theory for the enumerative combinatorics of objects…

Let T be a triangulated category, A a graded abelian category and h: T -> A a homology theory on T with values in A. If the functor h reflects isomorphisms, is full and is such that for any object x in A there is an object X in T with an…

We study a quantum version of the Kazhdan-Lusztig functor. Namely, we prove that there exists a fully faithfull exact tensor functor from the category of finite dimensional representations of the quantum affine algebra Uq(sl(n)) (with…

We study Fourier-Bessel series on a q-linear grid, defined as expansions in complete q-orthogonal systems constructed with the third Jackson q-Bessel function, and obtain sufficient conditions for uniform convergence. The convergence…

In prior work we described how the Cuntz-Pimsner construction may be viewed as a functor. The domain of this functor is a category whose objects are $C^*$-correspondences and morphisms are isomorphism classes of certain pairs comprised of a…

This paper aims to apply the tool of generalized existential completions of conjunctive doctrines, concerning a class $\Lambda$ of morphisms of their base category, to deepen the study of regular and exact completions of existential…

We study a saturated fusion system F on a finite 2-group S having a Baumann component based on a dihedral 2-group. Assuming F is 2-perfect with no nontrivial normal 2-subgroups, and the centralizer of the component is a cyclic 2-group, it…

Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced.…

Let $C$ be a symmetrizable generalized Cartan Matrix, and $q$ an indeterminate. ${\fg}(C)$ is the Kac-Moody Lie algebra and $U=U_q({\fg}(C))$ the associated quantum enveloping algebra over $ k={\Bbb Q}(q)$. The quantum function algebra…

We define universal factorial Schur $P,Q$-functions and their duals, which specialize to generalized (co)-homology "Schubert basis" for loop spaces of the classical groups. We also investigate some of their properties.

We define the cluster algebra associated with the Q-system for the Kirillov-Reshetikhin characters of the quantum affine algebra $U_q(\hat{\g})$ for any simple Lie algebra g, generalizing the simply-laced case treated in [Kedem 2007]. We…

This article provides some basic results on weight structures, weight complex functors and homotopy categories. We prove that the full subcategories K(A)^{w < n}, K(A)^{w > n}, K(A)^- and K(A)^+ (of objects isomorphic to suitably bounded…

The spectrum of integrable models is often encoded in terms of commuting functions of a spectral parameter that satisfy functional relations. We propose to describe this commutative algebra in a covariant way by means of the extended…

The quantum $H_3$ integrable system is a 3D system with rational potential related to the non-crystallographic root system $H_3$. It is shown that the gauge-rotated $H_3$ Hamiltonian as well as one of the integrals, when written in terms of…

The first part of this thesis deals with certain properties of the quantum symmetric and exterior algebras of Type 1 representations of $U_q(g)$ defined by Berenstein and Zwicknagl. We define a notion of a commutative algebra object in a…

Let kQ be the path algebra of a quiver Q with its standard grading. We show that the category of graded kQ-modules modulo those that are the sum of their finite dimensional submodules, QGr(kQ), is equivalent to several other categories: the…