Related papers: Hypertoric 2-categories O and symplectic duality
We construct spherical subgroups in infinite-dimensional classical groups $G$ (usually they are not symmetric and their finite-dimensional analogs are not spherical). We present a structure of a semigroup on double cosets $L\setminus G/L$…
Reflexive dg categories were introduced by Kuznetsov and Shinder to abstract the duality between bounded and perfect derived categories. In particular this duality relates their Hochschild cohomologies, autoequivalence groups, and…
In this article the notion of virtual double category (also known as fc-multicategory) is extended as follows. While cells in a virtual double category classically have a horizontal multi-source and single horizontal target, the notion of…
We prove two kinds of $\mathbb{Z}/2$-periodic Koszul duality equivalences for triangulated categories of matrix factorizations associated with $(-1)$-shifted cotangents over quasi-smooth affine derived schemes. We use this result to define…
Let $G$ be a semisimple group, split over a non-Archimedean field $F$. We prove that the category of modules over the extension algebra of generalised Steinberg representations of $G(F)$ is equivalent to a full subcategory of equivariant…
We introduce several families of $\mathcal{N}=(2,2)$ UV boundary conditions in 3d $\mathcal N=4$ gauge theories and study their IR images in sigma-models to the Higgs and Coulomb branches. In the presence of Omega deformations, a UV…
We quiver-interpret the classical simplicial theory - including the cosimplex category $\Delta$, Dold-Kan correspondence, and Hochschild homology - as a certain Q-homotopy theory of type $A$. For the cyclic and cubical theories, we proceed…
The scientific and practical needs of the twenty-first century lead humankind to convergence of the specialized and diverse branches of science and technology. This convergence reveals the need for new mathematical theories capable of…
We introduce a model category of spaces based on the definable sets of an o-minimal expansion of a real closed field. As a model category, it resembles the category of topological spaces, but its underlying category is a coherent topos. We…
We study duality transformation and duality symmetry in the the electromagnetic-like charged p-form theories. It is shown that the dichotomic characterization of duality groups as $Z_2$ or SO(2) remains as the only possibilities but are now…
We investigate an enriched-categorical approach to a field of discrete mathematics. The main result is a duality theorem between a class of enriched categories (called $\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-categories) and that…
The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its…
We prove a homological mirror symmetry equivalence between an $A$-brane category for the pair of pants, computed as a wrapped microlocal sheaf category, and a $B$-brane category for a mirror LG model, understood as a category of matrix…
We give an abstract definition of a hypertoric variety, generalizing the existing constructive definition. We construct a hypertoric variety associated with any zonotopal tiling, and we show that the previously known examples are exactly…
This thesis deals with two main topics: virtual double categories as semantics environments for predicate logic, and a syntactic presentation of virtual double categories as a type theory. One significant principle of categorical logic is…
We study moduli spaces of twisted quasimaps to a hypertoric variety $X$, arising as the Higgs branch of an abelian supersymmetric gauge theory in three dimensions. These parametrise general quiver representations whose building blocks are…
This is essentially an illustration for the general technology of homotopical enhancements developed recently in arxiv:2409.17489. We take the derived category of an abelian category, and we look at the full subcategory spanned by complexes…
We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…
We compute the Lens space index for 4d supersymmetric gauge theories involving symplectic gauge groups. This index can distinguish between different gauge groups from a given algebra and it matches across theories related by supersymmetric…
Heterotic string theory compactified on a K3 surface times T^2 is believed to be equivalent to type II string theory on a suitable Calabi-Yau threefold. In particular, it must share the same hypermultiplet moduli space. Building on the…