Related papers: An explicit comparison between $2$-complicial sets…

In 1970s Segal outlined proofs of two theorems relating spaces of Fredholm and self-adjoint Fredholm operators with Quillen's constructions used to define higher algebraic K-theory. In the present paper we provide detailed proofs of these…

We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal…

We propose definitions of regular and exact (virtual) double categories, proving a number of results which parallel many basic results in the theory of regular and exact categories. We show that any regular virtual double category admits a…

We introduce the class of isotypic $2$-representations for finitary $2$-categories and the notion of inflation of $2$-representations. Under some natural assumptions we show that isotypic $2$-representations are equivalent to inflations of…

The d-Segal conditions of Dyckerhoff and Kapranov are exactness properties for simplicial objects based on the geometry of cyclic polytopes in d-dimensional Euclidean space. 2-Segal spaces are also known as decomposition spaces, and most…

We construct a model structure on the category of ordered simplicial complexes, Quillen equivalent to the standard model structure on simplicial sets. This shows that simplicial complexes, which are fully combinatorial in nature, provide a…

We notice that for any positive integer $k$, the set of $(1,2)$-specialized characters of level $k$ standard $A_{1}^{(1)}$-modules is the same as the set of rescaled graded dimensions of the subspaces of level $2k+1$ standard…

For an algebraic variety $X$ we introduce generalized first Chern classes, which are defined for coherent sheaves on $X$ with support in codimension $p$ and take values in $CH^p(X)$. We use them to provide an explicit formula for the…

We prove basic statements about the Hermitian K-theory of exact form categories with weak equivalences. Notably, we extend a quadratic functor with values in abelian groups from an exact category to its category of bounded chain complexes…

In this note we consider partial model categories, by which we mean relative categories that satisfy a weakened version of the model category axioms involving only the weak equivalences. More precisely, a partial model category will be a…

We prove that the Kuznetsov--Polishchuk exceptional collections on rational homogeneous spaces of the symplectic groups $\mathrm{Sp}(2n,\mathbb{C})$ are full and consist of vector bundles. To achieve this, we construct several classes of…

We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…

We show that the category of non-counital conilpotent dg-coalgebras and the category of non-unital dg-algebras carry model structures compatible with their closed non-unital monoidal and closed non-unital module category structures…

We prove basic facts about reflexivity in derived categories over noetherian schemes; and about related notions such as semidualizing complexes, invertible complexes, and Gorenstein-perfect maps. Also, we study a notion of rigidity with…

With the aid of the theory of Jordan triple systems, we construct an explicit bi-symplectomorphism between a Hermitian symmetric space of non-compact type and $\C^n$ equipped with both the flat Kaehler-form and the Fubini-Study form. Our…

We survey recent classification theorems for expansive matrices that generate the same anisotropic homogeneous Triebel-Lizorkin function space or sequence space. The function spaces are classified precisely by those matrices for which their…

This paper provides an introduction to decomposition spaces and 2-Segal spaces, unifying the two perspectives. We begin by defining decomposition spaces using the active-inert factorization system on the simplicial category, and show their…

In this work, we introduce a 2-categorical variant of Lurie's relative nerve functor. We prove that it defines a right Quillen equivalence which, upon passage to $\infty$-categorical localizations, corresponds to Lurie's scaled…

We introduce a notion of $\Theta$-categories, which is a refinement of the notion of symmetric monoidal $\infty$-categories. We use this notion to prove a Tannakian duality statement, relating $\Theta$-categories with fpqc-stacks by means…

We introduce a new class of $\mathfrak{sl}_2$-triples in a complex simple Lie algebra $\mathfrak{g}$, which we call magical. Such an $\mathfrak{sl}_2$-triple canonically defines a real form and various decompositions of $\mathfrak{g}$.…