Related papers: Scott's Representation Theorem and the Univalent K…

Let $\Gamma$ be a discrete group of finite virtual cohomological dimension with certain finiteness conditions of the type satisfied by arithmetic groups. We define a representation ring for $\Gamma$, determined on its elements of finite…

We consider integrable category $\mathcal{O}$ representations of Borcherds--Kac--Moody algebras whose Cartan matrix is finite dimensional, and determine the necessary and sufficient conditions for which the tensor product of irreducible…

The Lascoux-Leclerc-Thibon conjecture, reformulated and solved by S. Ariki, asserts that the K-group of the representations of the affine Hecke algebras of type A is isomorphic to the algebra of functions on the maximal unipotent subgroup…

We study higher rank Jacobi partial and false theta functions (generalizations of the classical partial and false theta functions) associated to positive definite rational lattices. In particular, we focus our attention on certain Kostant's…

Building on Olander's work on algebraic spaces, we prove Orlov's representability theorem relating fully faithful functors and Fourier--Mukai transforms between the bounded derived category of coherent sheaves to the case of smooth, proper,…

Implementations of known reductions of the Strong Real Jacobian Conjecture (SRJC), to the case of an identity map plus cubic homogeneous or cubic linear terms, and to the case of gradient maps, are shown to preserve significant algebraic…

Containers conveniently represent a wide class of inductive data types. Their derivatives compute representations of types of one-hole contexts, useful for implementing tree-traversal algorithms. In the category of containers and cartesian…

Suppose B is the unital algebra consisting of the algebraic product of full matrix algebras over an index set X. A bijection is set up between the equivalence classes of irreducible representations of B as operators on a Banach space and…

We formulate the unitary rational orbifold conformal field theories in the algebraic quantum field theory framework. Under general conditions, we show that the orbifold of a given unitary rational conformal field theories generates a…

The stack calculus is a functional language in which is in a Curry-Howard correspondence with classical logic. It enjoys confluence but, as well as Parigot's lambda-mu, does not admit the Bohm Theorem, typical of the lambda-calculus. We…

Cubical type theory is an extension of Martin-L\"of type theory recently proposed by Cohen, Coquand, M\"ortberg and the author which allows for direct manipulation of $n$-dimensional cubes and where Voevodsky's Univalence Axiom is provable.…

Representation theorems for formal systems often take the form of an inductive translation that satisfies certain invariants, which are proved inductively. Theory morphisms and logical relations are common patterns of such inductive…

Two decades ago P. Martin and D. Woodcock made a surprising and prophetic link between statistical mechanics and representation theory. They observed that the decomposition numbers of the blob algebra (that appeared in the context of…

Let $\Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $\lambda$ of the field of algebraic numbers which is prime to p, consider the $\lambda$-adic pro-semisimple completion of $\Pi$ as an object…

We study the representation theory of various convolution algebras attached to the $q$-deformation of $\mathrm{SL}(2,\mathbb{R})$ from an algebraic perspective and beyond the unitary case. We show that many aspects of the classical…

We study graded and ungraded singularity categories of some commutative Gorenstein toric singularities, namely, Veronese subrings of polynomial rings, and Segre products of some copies of polynomial rings. We show that the graded…

Let $K$ be a totally real field and $\pi$ be a regular algebraic polarized cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb A_K)$. Let $\{\rho_{\pi,\lambda}:\mathrm{Gal}_K\to\mathrm{GL}_n(\overline E_\lambda)\}_\lambda$ be the…

In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…

We study an untyped lambda calculus with quantum data and classical control. This work stems from previous proposals by Selinger and Valiron and by Van Tonder. We focus on syntax and expressiveness, rather than (denotational) semantics. We…

Let $F$ be a nonarchimedean local field with odd residual characteristic and let $G$ be the $F$-points of a connected reductive group defined over $F$. Let $\theta$ be an $F$-involution of $G$. Let $H$ be the subgroup of $\theta$-fixed…