Related papers: Maltsiniotis's first conjecture for K_1

We prove that the KLR algebra associated with the cyclic quiver of length $e$ is a subquotient of the KLR algebra associated with the cyclic quiver of length $e+1$. We also give a geometric interpretation of this fact. This result has an…

Given an exact category $\mathcal{C}$, we denote by $\mathcal{C}_l$ the smallest additive subcategory containing injectives and indecomposable objects which appear as the first term of an almost split conflation. We prove that a deflation…

We prove an asymptotic version of a conjecture by Varagnolo and Vasserot on an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a suitable truncation of an affine parabolic category O. We prove an…

We define the triangulated category of relative singularities of a closed subscheme in a scheme. When the closed subscheme is a Cartier divisor, we consider matrix factorizations of the related section of a line bundle, and their analogues…

We prove a general criterion which guarantees that an admissible subcategory $\mathcal{K}$ of the derived category of an abelian category is equivalent to the bounded derived category of the heart of a bounded t-structure. As a consequence,…

We give a condition for an exact functor between triangulated categories to be an equivalence. Applications to Fourier-Mukai transforms are discussed. In particular, we obtain a large number of such transforms for K3 surfaces.

This is the first in a series of several articles. Our general purpose is to investigate Carlson's <_1-relation in the whole class of ordinals and later link it with ordinals of proof-theoretic interests. In this introductory article, after…

Based on the class of epsilon numbers, another binary relational <^1 in the ordinals is introduced. We will see that we can easily describe all the isomorphisms that are witnesses of <^1. Afterwards we will show that the isomorphisms…

Let $R$ be a commutative ring If $\mathcal{C}_1$ and $\mathcal{C}_2$ are $R$-linear triangulated categories then we can give an obvious triangulated structure on $\mathcal{C} = \mathcal{C}_1 \oplus \mathcal{C}_2$ where $Hom_\mathcal{C}(U,…

In the acyclic case, we establish a one-to-one correspondence between the tilting objects of the cluster category and the clusters of the associated cluster algebra. This correspondence enables us to solve conjectures on cluster algebras.…

We solve a problem proposed by Khovanov by constructing, for any set of primes $S$, a triangulated category (in fact a stable $\infty$-category) whose Grothendieck group is $S^{-1}\mathbf{Z}$. More generally, for any exact $\infty$-category…

We show that a complete hereditary cotorsion pair $(\C,\C^\bot)$ in an exact category $\E$, together with a subcategory $\Z\subseteq\E$ containing $\C^\bot$, determines a Waldhausen category structure on the exact category $\C$, in which…

Scissors congruence groups have traditionally been expressed algebraically in terms of group homology. We give an alternate construction of these groups by producing them as the $0$-level in the algebraic $K$-theory of a Waldhausen…

In this short note, for a morphism of Waldhausen categories $f\colon \mathbb{A} = (\mathcal{A} ,w_{\mathbb{A}}) \to \mathbb{B} = (\mathcal{B},w_{\mathbb{B}})$, we will define $\operatorname{Cone} f$ to be a Waldhausen category. There exists…

In this paper, we generalise the first Klein-Maskit combination theorem to discrete groups of M\"{o}bius transformations in higher dimensions. As a simple application of the main theorem, some examples will be constructed.

We give a direct proof of the following known result: the Grothendieck group of a triangulated category with a silting subcategory is isomorphic to the split Grothendieck group of the silting subcategory. Moreover, we obtain its…

We prove that given a Grothendieck category G with a tilting object of finite projective dimension, the induced triangle equivalence sends an injective cogenerator of G to a big cotilting module. Moreover, every big cotilting module can be…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

We establish uniform error bounds of the L1 discretization of the Caputo fractional derivative of the function from the weighted Sobolev space with weight belonging to the Mucknenhoupt class. We present how our framework works for several…

In this note, I define a notion of a compactly supported object in a triangulated category. I prove a number of propositions relating this to traditional notions of support and give an application to the theory of derived Morita…