scispace - formally typeset
Search or ask a question
Author

Adam-Christiaan van Roosmalen

Other affiliations: Bielefeld University, University of Bonn, Max Planck Society  ...read more
Bio: Adam-Christiaan van Roosmalen is an academic researcher from University of Hasselt. The author has contributed to research in topics: Serre duality & Derived category. The author has an hindex of 8, co-authored 30 publications receiving 151 citations. Previous affiliations of Adam-Christiaan van Roosmalen include Bielefeld University & University of Bonn.

Papers
More filters
Journal ArticleDOI
TL;DR: In this article, a generalization of Calabi-Yau categories is proposed, where a k-linear hom-finite triangulated category is fractionally CalabiYau if it admits a Serre functor S and there is an n > 0 with S^n = [m].
Abstract: As a generalization of a Calabi-Yau category, we will say a k-linear Hom-finite triangulated category is fractionally Calabi-Yau if it admits a Serre functor S and there is an n > 0 with S^n = [m]. An abelian category will be called fractionally Calabi-Yau is its bounded derived category is. We provide a classification up to derived equivalence of abelian hereditary fractionally Calabi-Yau categories (for algebraically closed k). They are: the category of finite dimensional representations of a Dynkin quiver, the category of finite dimensional nilpotent representations of a cycle, and the category of coherent sheaves on an elliptic curve or a weighted projective line of tubular type. To obtain this classification, we introduce generalized 1-spherical objects and use them to obtain results about tubes in hereditary categories (which are not necessarily fractionally Calabi-Yau).

18 citations

Journal ArticleDOI
TL;DR: In this article, all k-linear abelian 1-Calabi-Yau categories over an algebraically closed field k are derived equivalent to either the category of coherent sheaves on an elliptic curve, or to the finite dimensional representations of k.
Abstract: In this paper, we show all k-linear abelian 1-Calabi-Yau categories over an algebraically closed field k are derived equivalent to either the category of coherent sheaves on an elliptic curve, or to the finite dimensional representations of k[[t]]. Since all abelian categories derived equivalent with these two are known, we obtain a classification of all k-linear abelian 1-Calabi-Yau categories up to equivalence.

18 citations

Posted Content
TL;DR: In this article, the authors introduce quotients of exact categories by percolating subcategories and show that these localizations induce Verdier localizations on the level of the bounded derived category.
Abstract: In this paper, we introduce quotients of exact categories by percolating subcategories. This approach extends earlier localization theories by Cardenas and Schlichting for exact categories, allowing new examples. Let $\mathcal{A}$ be a percolating subcategory of an exact category $\mathcal{E}$, the quotient $\mathcal{E} {/\mkern-6mu/} \mathcal{A}$ is constructed in two steps. In the first step, we associate a set $S_\mathcal{A} \subseteq \operatorname{Mor}(\mathcal{E})$ to $\mathcal{A}$ and consider the localization $\mathcal{E}[S^{-1}_\mathcal{A}]$. In general, $\mathcal{E}[S_\mathcal{A}^{-1}]$ need not be an exact category, but will be a one-sided exact category. In the second step, we take the exact hull $\mathcal{E} {/\mkern-6mu/} \mathcal{A}$ of $\mathcal{E}[S_\mathcal{E}^{-1}]$. The composition $\mathcal{E} \rightarrow \mathcal{E}[S_\mathcal{A}^{-1}] \rightarrow \mathcal{E} {/\mkern-6mu/} \mathcal{A}$ satisfies the 2-universal property of a quotient in the 2-category of exact categories. We formulate our results in slightly more generality, allowing to start from a one-sided exact category. Additionally, we consider a type of percolating subcategories which guarantee that the morphisms of the set $S_\mathcal{A}$ are admissible. In upcoming work, we show that these localizations induce Verdier localizations on the level of the bounded derived category.

13 citations

Posted Content
TL;DR: In this article, the Verdier quotient of an exact or one-sided exact category is constructed by a percolating subcategory, and it is shown that this quotient is compatible with several enhancements of the bounded derived category, so that the above Verdier localization can be used in the study of localizing invariants, such as non-connective $K$theory.
Abstract: We consider the quotient of an exact or one-sided exact category $\mathcal{E}$ by a so-called percolating subcategory $\mathcal{A}$. For exact categories, such a quotient is constructed in two steps. Firstly, one localizes $\mathcal{E}$ at a suitable class $S_\mathcal{A} \subseteq \operatorname{Mor}(\mathcal{E})$ of morphisms. The localization $\mathcal{E}[S_\mathcal{A}^{-1}]$ need not be an exact category, but will be a one-sided exact category. Secondly, one constructs the exact hull $\mathcal{E}{/\mkern-6mu/} \mathcal{A}$ of $\mathcal{E}[S_\mathcal{A}^{-1}]$ and shows that this satisfies the 2-universal property of a quotient amongst exact categories. In this paper, we show that this quotient $\mathcal{E} \to \mathcal{E} {/\mkern-6mu/} \mathcal{A}$ induces a Verdier localization $\mathbf{D}^b(\mathcal{E}) \to \mathbf{D}^b(\mathcal{E} {/\mkern-6mu/} \mathcal{A})$ of bounded derived categories. Specifically, (i) we study the derived category of a one-sided exact category, (ii) we show that the localization $\mathcal{E} \to \mathcal{E}[S_\mathcal{A}^{-1}]$ induces a Verdier quotient $\mathbf{D}^b(\mathcal{E}) \to \mathbf{D}^b(\mathcal{E}[S^{-1}_\mathcal{A}])$, and (iii) we show that the natural embedding of a one-sided exact category $\mathcal{F}$ into its exact hull $\overline{\mathcal{F}}$ lifts to a derived equivalence $\mathbf{D}^b(\mathcal{F}) \to \mathbf{D}^b(\overline{\mathcal{F}})$. We furthermore show that the Verdier localization is compatible with several enhancements of the bounded derived category, so that the above Verdier localization can be used in the study of localizing invariants, such as non-connective $K$-theory.

12 citations

Posted Content
TL;DR: One-sided exact categories are obtained via a weakening of a Quillen exact category as discussed by the authors, and the failure of the obscure axiom is controlled by the embedding of an exact category into its exact hull, which preserves the bounded derived category up to triangle equivalence.
Abstract: One-sided exact categories are obtained via a weakening of a Quillen exact category. Such one-sided exact categories are homologically similar to Quillen exact categories: a one-sided exact category $\mathcal{E}$ can be (essentially uniquely) embedded into its exact hull ${\mathcal{E}}^{\textrm{ex}}$; this embedding induces a derived equivalence $\textbf{D}^b(\mathcal{E}) \to \textbf{D}^b({\mathcal{E}}^{\textrm{ex}})$. Whereas it is well known that Quillen's obscure axioms are redundant for exact categories, some one-sided exact categories are known to not satisfy the corresponding obscure axiom. In fact, we show that the failure of the obscure axiom is controlled by the embedding of $\mathcal{E}$ into its exact hull ${\mathcal{E}}^{\textrm{ex}}.$ In this paper, we introduce three versions of the obscure axiom (these versions coincide when the category is weakly idempotent complete) and establish equivalent homological properties, such as the snake lemma and the nine lemma. We show that a one-sided exact category admits a closure under each of these obscure axioms, each of which preserves the bounded derived category up to triangle equivalence.

10 citations


Cited by
More filters
Book ChapterDOI
01 Jan 1998
TL;DR: In particular, the set of all regular elements of a ring A such that a + I is a regular element of A/I is denoted by c(I).
Abstract: Let T be a set of elements in a ring A. The set T is right permutable if for any a ∈ A and t ∈ T, there exist b ∈ A, u ∈ T such that au = tb. A multiplicative set in a ring A is any subset T of A such that 1 ∈ T,0 ∉ T and T is closed under multiplication. A completely prime ideal in a ring A is any proper ideal B such that A\B is a multiplicative set (i.e. A/Bis a domain). A minimal prime ideal (resp. minimal completely prime ideal) in a ring A is any prime (resp. completely prime) ideal P such that P contains no properly any other prime ideal (resp. completely prime ideal) of A. Let I be any proper ideal of a ring A. The set of all elements a ∈ A such that a + I is a regular element of A/I is denoted by c(I). In particular, c(0) is the set of all regular elements of A.

369 citations

Book ChapterDOI
01 Jan 2014

160 citations

01 Jan 2016
TL;DR: The the theory of categories is universally compatible with any devices to read and is available in the book collection an online access to it is set as public so you can download it instantly.
Abstract: Thank you very much for downloading the theory of categories. Maybe you have knowledge that, people have look hundreds times for their favorite readings like this the theory of categories, but end up in infectious downloads. Rather than reading a good book with a cup of coffee in the afternoon, instead they cope with some harmful bugs inside their computer. the theory of categories is available in our book collection an online access to it is set as public so you can download it instantly. Our book servers spans in multiple countries, allowing you to get the most less latency time to download any of our books like this one. Merely said, the the theory of categories is universally compatible with any devices to read.

87 citations

Journal ArticleDOI
TL;DR: In this paper, the homomorphism hammocks and autoequivalences on discrete derived categories of t-structures have been studied, and they have been used to classify silting objects and bounded tstructures.
Abstract: Discrete derived categories were studied initially by Vossieck (J Algebra 243:168–176, 2001) and later by Bobinski et al. (Cent Eur J Math 2:19–49, 2004). In this article, we describe the homomorphism hammocks and autoequivalences on these categories. We classify silting objects and bounded t-structures.

43 citations

Journal ArticleDOI
TL;DR: In this paper, it was shown that any cyclic poset gives rise to a Frobenius category over any discrete valuation ring R. The stable category of a stable poset is always triangulated and has a cluster structure in many cases.
Abstract: Cyclic posets are generalizations of cyclically ordered sets. In this article, we show that any cyclic poset gives rise to a Frobenius category over any discrete valuation ring R. The stable category of a Frobenius category is always triangulated and has a cluster structure in many cases. The continuous cluster categories of [14], the infinity-gon of [12], and the m-cluster category of type A ∞ (m ≥ 3) [13] are examples of this construction as well as some new examples such as the cluster category of ℤ2. An extension of this construction and further examples are given in [16].

30 citations