Related papers: Type $C$ Webs
We propose an abstract notion of a type theory to unify the semantics of various type theories including Martin-L\"{o}f type theory, two-level type theory and cubical type theory. We establish basic results in the semantics of type theory:…
The Lie algebra $gl(V)$ is the Lie algebra of all endomorphisms of a countable-dimensional complex vector space $V$. We define a tensor category of topological representations of the Lie algebra $gl(V)$, so that $V$, its dual and the…
We give criteria for real, complex and quaternionic representations to define s-representations, focusing on exceptional Lie algebras defined by spin representations. As applications, we obtain the classification of complex representations…
We consider the symplectic group $\mathrm{Sp}_{2n}$ defined over a $p$-adic field $F$, where $p=2$. We prove that every simple supercuspidal representation (in the sense of Gross--Reeder) of $\mathrm{Sp}_{2n}(F)$ corresponds to an…
We show that the Steinberg group $\text{St}(C_2,{\mathbb Z})$ associated with the Lie type $C_2$ and with integer coefficients can be realized as a quotient of the braid group $B_6$ by one relation. As an application we give a new…
Let $\mathfrak{g}$ be a Lie algebra over an algebraically closed field $\Bbbk$ of characteristic zero. Define the universal grading group $\mathcal{C}(\mathfrak{g})$ as having one generator $g_{\rho}$ for each irreducible…
In this paper we study categories of gln-webs which describe associated representation categories of the quantum group Uq(gln). We give a minimal presentation of the category of gln-webs over a field with generic quantum parameters. We…
Let $R$ be a commutative ring that is free of rank $k$ as an abelian group, $p$ a prime, and $SL(n,R)$ the special linear group. We show that the Lie algebra associated to the filtration of $SL(n,R)$ by $p$-congruence subgroups is…
We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category, which is a q-deformation of one defined…
We propose a decision criterion for segmenting the cosmic web into different structure types (voids, sheets, filaments, and clusters) on the basis of their respective probabilities and the strength of data constraints. Our approach is…
Exact indecomposable module categories over the tensor category of representations of Hopf algebras that are liftings of quantum linear spaces are classified.
We show that every integral block of category O for the general linear Lie superalgebra is equivalent to a corresponding block of category O for the queer Lie superalgebra. This implies the truth of the Kazhdan-Lusztig conjecture for the…
Given an oriented surface of positive genus with finitely many punctures, we classify the finite orbits of the mapping class group action on the moduli space of semisimple complex special linear two dimensional representations of the…
We study the category $\mathcal{A}$ of smooth semilinear representations of the infinite symmetric group over the field of rational functions in infinitely many variables. We establish a number of results about the structure of…
The twisted q-Yangians are coideal subalgebras of the quantum affine algebra associated with gl(N). We prove a classification theorem for finite-dimensional irreducible representations of the twisted q-Yangians associated with the…
We introduce a diagram category, study its structure, and investigate some of its applications to the representation theory of Lie algebras and Lie superalgebras. The morphisms of the category, which contains a subcategory isomorphic to the…
A bicommutant category is a higher categorical analog of a von Neumann algebra. We study the bicommutant categories which arise as the commutant $\mathcal{C}'$ of a fully faithful representation $\mathcal{C}\to\operatorname{Bim}(R)$ of a…
This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type theory. Prior work on this front has generally managed to deliver type systems…
Let $ G $ be a connected semisimple Lie group with finite center. We prove a formula for the inner product of two cuspidal automorphic forms on $ G $ that are given by Poincar\'e series of $ K $-finite matrix coefficients of an integrable…
Given a real representation of the Clifford algebra corresponding to $R^{p+q}$ with metric of signature $(p,q)$, we demonstrate the existence of two natural bilinear forms on the space of spinors. With the Clifford action of $k$-forms on…