Showing 1–34 of 34 results for author: Oppermann, S

On the additive image of 0th persistent homology

Authors: Ulrich Bauer, Magnus Bakke Botnan, Steffen Oppermann, Johan Steen

Abstract: For $X$ a finite category and $F$ a finite field, we study the additive image of the functor $\operatorname{H}_0(-,F) \colon \operatorname{rep}(X, \mathbf{Top}) \to \operatorname{rep}(X, \mathbf{Vect}_F)$, or equivalently, of the free functor $\operatorname{rep}(X, \mathbf{Set}) \to \operatorname{rep}(X, \mathbf{Vect}_F)$. We characterize all finite categories $X$ for which the indecomposables i… ▽ More For $X$ a finite category and $F$ a finite field, we study the additive image of the functor $\operatorname{H}_0(-,F) \colon \operatorname{rep}(X, \mathbf{Top}) \to \operatorname{rep}(X, \mathbf{Vect}_F)$, or equivalently, of the free functor $\operatorname{rep}(X, \mathbf{Set}) \to \operatorname{rep}(X, \mathbf{Vect}_F)$. We characterize all finite categories $X$ for which the indecomposables in the additive image coincide with the indecomposable indicator representations and provide examples of quivers of wild representation type where the additive image contains only finitely many indecomposables. Motivated by questions in topological data analysis, we conduct a detailed analysis of the additive image for finite grids. In particular, we show that for grids of infinite representation type, there exist infinitely many indecomposables both within and outside the additive image. We develop an algorithm for determining if a representation of a finite category is in the additive image. In addition, we investigate conditions for realizability and the effect of modifications of the source category and the underlying field. The paper concludes with a discussion of the additive image of $\operatorname{H}_n(-,F)$ for an arbitrary field $F$, extending previous work for prime fields. △ Less

Submitted 7 February, 2025; v1 submitted 15 January, 2025; originally announced January 2025.

Comments: Added a new section on edge contractions and polished the manuscript

Non-piecewise hereditary Nakayama algebras

Authors: Didrik Fosse, Steffen Oppermann, Torkil Stai

Abstract: Happel and Seidel gave a classification of piecewise hereditary Nakayama algebras, where the relations are given by some power of the radical. Here we explore what happens for general relations. We develop techniques for showing that a given algebra is not piecewise hereditary, illustrating them on numerous mid-sized examples. Then we observe cases where the property of being non-piecewise hered… ▽ More Happel and Seidel gave a classification of piecewise hereditary Nakayama algebras, where the relations are given by some power of the radical. Here we explore what happens for general relations. We develop techniques for showing that a given algebra is not piecewise hereditary, illustrating them on numerous mid-sized examples. Then we observe cases where the property of being non-piecewise hereditary can be extended to other (larger) Nakayama algebras. While a complete classification remains elusive, we are able to identify two types of patterns of relations preventing piecewise heredity, indicating that for large quivers many Nakayama algebras are non-piecewise hereditary. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Comments: 23 pages

MSC Class: 16E35; 16E10; 16G20

Tropical coefficient dynamics for higher-dimensional cluster categories

Authors: Steffen Oppermann, Hugh Thomas

Abstract: We show that the index in higher-dimensional cluster categories mutates according to a higher-dimensional version of tropical coefficient dynamics. We show that the index in higher-dimensional cluster categories mutates according to a higher-dimensional version of tropical coefficient dynamics. △ Less

Submitted 26 April, 2023; originally announced April 2023.

Comments: 22 pages

MSC Class: 16E35 (Primary) 13F60 (Secondary)

On the bottleneck stability of rank decompositions of multi-parameter persistence modules

Authors: Magnus Bakke Botnan, Steffen Oppermann, Steve Oudot, Luis Scoccola

Abstract: A significant part of modern topological data analysis is concerned with the design and study of algebraic invariants of poset representations -- often referred to as multi-parameter persistence modules. One such invariant is the minimal rank decomposition, which encodes the ranks of all the structure morphisms of the persistence module by a single ordered pair of rectangle-decomposable modules, i… ▽ More A significant part of modern topological data analysis is concerned with the design and study of algebraic invariants of poset representations -- often referred to as multi-parameter persistence modules. One such invariant is the minimal rank decomposition, which encodes the ranks of all the structure morphisms of the persistence module by a single ordered pair of rectangle-decomposable modules, interpreted as a signed barcode. This signed barcode generalizes the concept of persistence barcode from one-parameter persistence to any number of parameters, raising the question of its bottleneck stability. We show in this paper that the minimal rank decomposition is not stable under the natural notion of signed bottleneck matching between signed barcodes. We remedy this by turning our focus to the rank exact decomposition, a related signed barcode induced by the minimal projective resolution of the module relative to the so-called rank exact structure, which we prove to be bottleneck stable under signed matchings. As part of our proof, we obtain two intermediate results of independent interest: we compute the global dimension of the rank exact structure on the category of finitely presentable multi-parameter persistence modules, and we prove a bottleneck stability result for hook-decomposable modules. We also give a bound for the size of the rank exact decomposition that is polynomial in the size of the usual minimal projective resolution, we prove a universality result for the dissimilarity function induced by the notion of signed matching, and we compute, in the two-parameter case, the global dimension of a different exact structure related to the upsets of the indexing poset. This set of results combines concepts from topological data analysis and from the representation theory of posets, and we believe is relevant to both areas. △ Less

Submitted 30 August, 2024; v1 submitted 30 July, 2022; originally announced August 2022.

Comments: 33 pages, 4 figures; v2: add details, fix typos and minor issues, improve exposition, add conjecture 5.30; v3: minor improvements

Journal ref: Advances in Mathematics, Volume 451, August 2024, 109780

Signed Barcodes for Multi-Parameter Persistence via Rank Decompositions and Rank-Exact Resolutions

Authors: Magnus Bakke Botnan, Steffen Oppermann, Steve Oudot

Abstract: In this paper, we introduce the signed barcode, a new visual representation of the global structure of the rank invariant of a multi-parameter persistence module or, more generally, of a poset representation. Like its unsigned counterpart in one-parameter persistence, the signed barcode decomposes the rank invariant as a $\Z$-linear combination of rank invariants of indicator modules supported on… ▽ More In this paper, we introduce the signed barcode, a new visual representation of the global structure of the rank invariant of a multi-parameter persistence module or, more generally, of a poset representation. Like its unsigned counterpart in one-parameter persistence, the signed barcode decomposes the rank invariant as a $\Z$-linear combination of rank invariants of indicator modules supported on segments in the poset. We develop the theory behind these decompositions, both for the usual rank invariant and for its generalizations, showing under what conditions they exist and are unique. We also show that, like its unsigned counterpart, the signed barcode reflects in part the algebraic structure of the module: specifically, it derives from the terms in the minimal rank-exact resolution of the module, i.e., its minimal projective resolution relative to the class of short exact sequences on which the rank invariant is additive. To complete the picture, we show some experimental results that illustrate the contribution of the signed barcode in the exploration of multi-parameter persistence modules. △ Less

Submitted 22 August, 2024; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: The introduction and several other sections of the paper have been thoroughly rewritten, primarily for improved exposition. Minor issues have also been addressed. The paper has been accepted for publication in Foundations of Computational Mathematics

Partial Serre duality and cocompact objects

Authors: Steffen Oppermann, Chrysostomos Psaroudakis, Torkil Stai

Abstract: A successful theme in the development of triangulated categories has been the study of compact objects. A weak dual notion called 0-cocompact objects was introduced in arXiv:1801.07995, motivated by the fact that sets of such objects cogenerate co-t-structures, dual to the t-structures generated by sets of compact objects. In the present paper, we show that the notion of 0-cocompact objects also a… ▽ More A successful theme in the development of triangulated categories has been the study of compact objects. A weak dual notion called 0-cocompact objects was introduced in arXiv:1801.07995, motivated by the fact that sets of such objects cogenerate co-t-structures, dual to the t-structures generated by sets of compact objects. In the present paper, we show that the notion of 0-cocompact objects also appears naturally in the presence of certain dualities. We introduce "partial Serre duality", which is shown to link compact to 0-cocompact objects. We show that partial Serre duality gives rise to an Auslander--Reiten theory, which in turn implies a weaker notion of duality which we call "non-degenerate composition", and throughout this entire hierarchy of dualities the objects involved are 0-(co)compact. Furthermore, we produce explicit partial Serre functors for multiple flavors of homotopy categories, thus illustrating that this type of duality, as well as the resulting 0-cocompact objects, are abundant in prevalent triangulated categories. △ Less

Submitted 19 June, 2022; v1 submitted 26 April, 2021; originally announced April 2021.

MSC Class: 18G80; 18E40; 16G50; 16G70; 16E35; 16E30; 16E65

Cotorsion torsion triples and the representation theory of filtered hierarchical clustering

Authors: Ulrich Bauer, Magnus B. Botnan, Steffen Oppermann, Johan Steen

Abstract: We give a full classification of representation types of the subcategories of representations of an $m \times n$ rectangular grid with monomorphisms (dually, epimorphisms) in one or both directions, which appear naturally in the context of clustering as two-parameter persistent homology in degree zero. We show that these subcategories are equivalent to the category of all representations of a smal… ▽ More We give a full classification of representation types of the subcategories of representations of an $m \times n$ rectangular grid with monomorphisms (dually, epimorphisms) in one or both directions, which appear naturally in the context of clustering as two-parameter persistent homology in degree zero. We show that these subcategories are equivalent to the category of all representations of a smaller grid, modulo a finite number of indecomposables. This equivalence is constructed from a certain cotorsion torsion triple, which is obtained from a tilting subcategory generated by said indecomposables. △ Less

Submitted 21 January, 2020; v1 submitted 15 April, 2019; originally announced April 2019.

Comments: 39 pages; corrected the lists appearing in Cor. 1.6 and minor changes throughout

MSC Class: 16G20; 16S90 (primary); 55N99 (secondary)

Journal ref: Adv. Math. 369 (2020), 107171

Change of rings and singularity categories

Authors: Steffen Oppermann, Chrysostomos Psaroudakis, Torkil Stai

Abstract: We investigate the behavior of singularity categories and stable categories of Gorenstein projective modules along a morphism of rings. The natural context to approach the problem is via change of rings, that is, the classical adjoint triple between the module categories. In particular, we identify conditions on the change of rings to induce functors between the two singularity categories or the t… ▽ More We investigate the behavior of singularity categories and stable categories of Gorenstein projective modules along a morphism of rings. The natural context to approach the problem is via change of rings, that is, the classical adjoint triple between the module categories. In particular, we identify conditions on the change of rings to induce functors between the two singularity categories or the two stable categories of Gorenstein projective modules. Moreover, we study this problem at the level of `big singularity categories' in the sense of Krause. Along the way we establish an explicit construction of a right adjoint functor between certain homotopy categories. This is achieved by introducing the notion of 0-cocompact objects in triangulated categories and proving a dual version of Bousfield's localization lemma. We provide applications and examples illustrating our main results. △ Less

Submitted 16 November, 2018; v1 submitted 24 January, 2018; originally announced January 2018.

Comments: v2: 40 pages, minor changes in Section 6, including a shift in the definition of a 0-cocompact object

A recollement approach to Geigle-Lenzing weighted projective varieties

Authors: Boris Lerner, Steffen Oppermann

Abstract: We introduce a new method for expanding an abelian category and study it using recollements. In particular, we give a criterion for the existence of cotilting objects. We show, using techniques from noncommutative algebraic geometry, that our construction encompasses the category of coherent sheaves on Geigle-Lenzing weighted projective lines. We apply our construction to some concrete examples an… ▽ More We introduce a new method for expanding an abelian category and study it using recollements. In particular, we give a criterion for the existence of cotilting objects. We show, using techniques from noncommutative algebraic geometry, that our construction encompasses the category of coherent sheaves on Geigle-Lenzing weighted projective lines. We apply our construction to some concrete examples and obtain new weighted projective varieties and analyse the endomorphism algebras of their tilting bundles. △ Less

Submitted 8 May, 2015; originally announced May 2015.

Comments: 22 pages

Quivers for silting mutation

Authors: Steffen Oppermann

Abstract: We give a combinatorial mutation rule for Aihara's and Iyama's silting mutation. As an application, we reprove Keller-Yang's mutation rule for Ginzburg algebras, and obtain an analog of that rule for arbitrary dimension. We give a combinatorial mutation rule for Aihara's and Iyama's silting mutation. As an application, we reprove Keller-Yang's mutation rule for Ginzburg algebras, and obtain an analog of that rule for arbitrary dimension. △ Less

Submitted 10 April, 2015; originally announced April 2015.

Comments: 23 pages

MSC Class: 18E30

Representation theory of Geigle-Lenzing complete intersections

Authors: Martin Herschend, Osamu Iyama, Hiroyuki Minamoto, Steffen Oppermann

Abstract: Weighted projective lines, introduced by Geigle and Lenzing in 1987, are important objects in representation theory. They have tilting bundles, whose endomorphism algebras are the canonical algebras introduced by Ringel. The aim of this paper is to study their higher dimensional analogs. First, we introduce a certain class of commutative Gorenstein rings $R$ graded by abelian groups $L$ of rank… ▽ More Weighted projective lines, introduced by Geigle and Lenzing in 1987, are important objects in representation theory. They have tilting bundles, whose endomorphism algebras are the canonical algebras introduced by Ringel. The aim of this paper is to study their higher dimensional analogs. First, we introduce a certain class of commutative Gorenstein rings $R$ graded by abelian groups $L$ of rank $1$, which we call Geigle-Lenzing complete intersections. We study the stable category of Cohen-Macaulay representations $CM^LR$, which coincides with the singularity category $D_{sg}^L(R)$. We show that the stable category of $CM^LR$ is triangle equivalent to $D^b(mod A^{CM})$ for a finite dimensional algebra $A^{CM}$, which we call the CM-canonical algebra. As an application, we classify the $(R,L)$ that are Cohen-Macaulay finite. We also give sufficient conditions for $(R,L)$ to be $d$-Cohen-Macaulay finite in the sense of higher Auslander-Reiten theory. Secondly, we study a new class of non-commutative projective schemes in the sense of Artin-Zhang, i.e. the category $coh X=mod^LR/mod^L_0R$ of coherent sheaves on the Geigle-Lenzing projective space $X$. Geometrically this is the quotient stack $[(Spec R-{R_+})/Spec k[L]]$. We show that $D^b(coh X)$ is triangle equivalent to $D^b(mod A^{ca})$ for a finite dimensional algebra $A^{ca}$, which we call a $d$-canonical algebra. We study when $X$ is $d$-vector bundle finite, and when $X$ is derived equivalent to a $d$-representation infinite algebra in the sense of higher Auslander-Reiten theory. Our $d$-canonical algebras provide a rich source of $d$-Fano and $d$-anti-Fano algebras in non-commutative algebraic geometry. We also observe Orlov-type semiorthogonal decompositions of $D_{sg}^L(R)$ and $D^b(coh X)$. △ Less

Submitted 19 February, 2020; v1 submitted 2 September, 2014; originally announced September 2014.

Comments: 148 pages. To appear in Mem. Amer. Math. Soc

MSC Class: 16E35; 18E30; 16G50; 13C14; 14F05; 16G60; 16E10

Degenerations of submodules and composition series

Authors: Nils Nornes, Steffen Oppermann

Abstract: Let $M$ and $N$ be modules over an artin algebra such that $M$ degenerates to $N$. We show that any submodule of $M$ degenerates to a submodule of $N$. This suggests that a composition series of $M$ will in some sense degenerate to a composition series of $N$. We then study a subvariety of the module variety, consisting of those representations where all matrices are upper triangular. We show th… ▽ More Let $M$ and $N$ be modules over an artin algebra such that $M$ degenerates to $N$. We show that any submodule of $M$ degenerates to a submodule of $N$. This suggests that a composition series of $M$ will in some sense degenerate to a composition series of $N$. We then study a subvariety of the module variety, consisting of those representations where all matrices are upper triangular. We show that these representations can be seen as representations of composition series, and that the orbit closures describe the above mentioned degeneration of composition series. △ Less

Submitted 6 March, 2014; originally announced March 2014.

Journal ref: Algebr Represent Theor (2017) 20: 803

Higher preprojective algebras and stably Calabi-Yau properties

Authors: Claire Amiot, Steffen Oppermann

Abstract: In this paper, we give sufficient properties for a finite dimensional graded algebra to be a higher preprojective algebra. These properties are of homological nature, they use Gorensteiness and bimodule isomorphisms in the stable category of Cohen-Macaulay modules. We prove that these properties are also necessary for $3$-preprojective algebras using \cite{Kel11} and for preprojective algebras of… ▽ More In this paper, we give sufficient properties for a finite dimensional graded algebra to be a higher preprojective algebra. These properties are of homological nature, they use Gorensteiness and bimodule isomorphisms in the stable category of Cohen-Macaulay modules. We prove that these properties are also necessary for $3$-preprojective algebras using \cite{Kel11} and for preprojective algebras of higher representation finite algebras using \cite{Dugas}. △ Less

Submitted 18 April, 2014; v1 submitted 22 July, 2013; originally announced July 2013.

Comments: 23 pages, accepted for publication in Math. Res. Letters

The negative side of cohomology for Calabi-Yau categories

Authors: Petter Andreas Bergh, David A. Jorgensen, Steffen Oppermann

Abstract: We study integer-graded cohomology rings defined over Calabi-Yau categories. We show that the cohomology in negative degree is a trivial extension of the cohomology ring in non-negative degree, provided the latter admits a regular sequence of central elements of length two. In particular, the product of elements of negative degrees are zero. As corollaries we apply this to Tate-Hochschild cohomolo… ▽ More We study integer-graded cohomology rings defined over Calabi-Yau categories. We show that the cohomology in negative degree is a trivial extension of the cohomology ring in non-negative degree, provided the latter admits a regular sequence of central elements of length two. In particular, the product of elements of negative degrees are zero. As corollaries we apply this to Tate-Hochschild cohomology rings of symmetric algebras, and to Tate cohomology rings over group algebras. We also prove similar results for Tate cohomology rings over commutative local Gorenstein rings. △ Less

Submitted 6 September, 2012; v1 submitted 28 August, 2012; originally announced August 2012.

Comments: 14 pages

MSC Class: 13H10; 16E40; 16W50

Quotient closed subcategories of quiver representations

Authors: Steffen Oppermann, Idun Reiten, Hugh Thomas

Abstract: Let Q be a finite quiver without oriented cycles, and let k be an algebraically closed field. The main result in this paper is that there is a natural bijection between the elements in the associated Coxeter group W_Q and the cofinite additive quotient-closed subcategories of the category of finite dimensional right modules over kQ. We prove this correspondence by linking these subcategories to ce… ▽ More Let Q be a finite quiver without oriented cycles, and let k be an algebraically closed field. The main result in this paper is that there is a natural bijection between the elements in the associated Coxeter group W_Q and the cofinite additive quotient-closed subcategories of the category of finite dimensional right modules over kQ. We prove this correspondence by linking these subcategories to certain ideals in the preprojective algebra associated to Q, which are also indexed by elements of W_Q. △ Less

Submitted 10 January, 2014; v1 submitted 15 May, 2012; originally announced May 2012.

Comments: 35 pages; v2: added a section showing how the Le-diagram condition arises naturally from our viewpoint; v3: treat the case of hereditary algebras over a finite field

MSC Class: 16G20; 16G70; 05E10

Journal ref: Compositio Math. 151 (2015) 568-602

n-Representation infinite algebras

Authors: Martin Herschend, Osamu Iyama, Steffen Oppermann

Abstract: From the viewpoint of higher dimensional Auslander-Reiten theory, we introduce a new class of finite dimensional algebras of global dimension n, which we call n-representation infinite. They are a certain analog of representation infinite hereditary algebras, and we study three important classes of modules: n-preprojective, n-preinjective and n-regular modules. We observe that their homological be… ▽ More From the viewpoint of higher dimensional Auslander-Reiten theory, we introduce a new class of finite dimensional algebras of global dimension n, which we call n-representation infinite. They are a certain analog of representation infinite hereditary algebras, and we study three important classes of modules: n-preprojective, n-preinjective and n-regular modules. We observe that their homological behaviour is quite interesting. For instance they provide first examples of algebras having infinite Ext^1-orthogonal families of modules. Moreover we give general constructions of n-representation infinite algebras. Applying Minamoto's theory on Fano algebras in non-commutative algebraic geometry, we describe the category of n-regular modules in terms of the corresponding preprojective algebra. Then we introduce n-representation tame algebras, and show that the category of n-regular modules decomposes into the categories of finite dimensional modules over localizations of the preprojective algebra. This generalizes the classical description of regular modules over tame hereditary algebras. As an application, we show that the representation dimension of an n-representation tame algebra is at least n+2. △ Less

Submitted 6 May, 2012; originally announced May 2012.

Comments: 40 pages

MSC Class: 16G20; 16G70; 18G20; 18E30; 14F05

The Gorenstein defect category

Authors: Petter Andreas Bergh, David A. Jorgensen, Steffen Oppermann

Abstract: We consider the homotopy category of complexes of projective modules over a Noetherian ring. Truncation at degree zero induces a fully faithful triangle functor from the totally acyclic complexes to the stable derived category. We show that if the ring is either Artin or commutative Noetherian local, then the functor is dense if and only if the ring is Gorenstein. Motivated by this, we define the… ▽ More We consider the homotopy category of complexes of projective modules over a Noetherian ring. Truncation at degree zero induces a fully faithful triangle functor from the totally acyclic complexes to the stable derived category. We show that if the ring is either Artin or commutative Noetherian local, then the functor is dense if and only if the ring is Gorenstein. Motivated by this, we define the Gorenstein defect category of the ring, a category which in some sense measures how far the ring is from being Gorenstein. △ Less

Submitted 4 June, 2014; v1 submitted 13 February, 2012; originally announced February 2012.

Comments: 11 pages, updated version

MSC Class: 13H10; 16E65; 18E30

Cohomological symmetry in triangulated categories

Authors: Petter Andreas Bergh, Steffen Oppermann

Abstract: We give a criterion for cohomological symmetry in a triangulated category. As an application, we show that such cohomological symmetry holds for all pairs of modules over any exterior algebra. We give a criterion for cohomological symmetry in a triangulated category. As an application, we show that such cohomological symmetry holds for all pairs of modules over any exterior algebra. △ Less

Submitted 1 May, 2011; originally announced May 2011.

Comments: 9 pages

MSC Class: 15A75; 16E30; 16E40; 18E30; 18G15

The image of the derived category in the cluster category

Authors: Claire Amiot, Steffen Oppermann

Abstract: Cluster categories of hereditary algebras have been introduced as orbit categories of their derived categories. Keller has pointed out that for non-hereditary algebras orbit categories need not be triangulated, and he introduced the notion of triangulated hull to overcome this problem. In this paper we study the image if the natural functor from the bounded derived category to the cluster category… ▽ More Cluster categories of hereditary algebras have been introduced as orbit categories of their derived categories. Keller has pointed out that for non-hereditary algebras orbit categories need not be triangulated, and he introduced the notion of triangulated hull to overcome this problem. In this paper we study the image if the natural functor from the bounded derived category to the cluster category, that is we investigate how far the orbit category is from being the cluster category. We show that for wide classes of non-piecewise hereditary algebras the orbit category is never equal to the cluster category. △ Less

Submitted 6 October, 2010; originally announced October 2010.

Comments: 21 pages

MSC Class: 16E; 16G

Graded mutation in cluster categories coming from hereditary categories with a tilting object

Authors: Marco Angel Bertani-Økland, Steffen Oppermann, Anette Wrålsen

Abstract: We present a graded mutation rule for quivers of cluster-tilted algebras. Furthermore, we give a technique to recover a cluster-tilting object from its graded quiver in the cluster category of coh $\mathbb{X}$. We present a graded mutation rule for quivers of cluster-tilted algebras. Furthermore, we give a technique to recover a cluster-tilting object from its graded quiver in the cluster category of coh $\mathbb{X}$. △ Less

Submitted 24 September, 2010; originally announced September 2010.

Comments: 32 pages

MSC Class: 16G

Algebras of acyclic cluster type: tree type and type $\widetilde{A}$

Authors: Claire Amiot, Steffen Oppermann

Abstract: In this paper, we study algebras of global dimension at most 2 whose generalized cluster category is equivalent to the cluster category of an acyclic quiver which is either a tree or of type $\widetilde{A}$. We are particularly interested in their derived equivalence classification. We prove that each algebra which is cluster equivalent to a tree quiver is derived equivalent to the path algebra of… ▽ More In this paper, we study algebras of global dimension at most 2 whose generalized cluster category is equivalent to the cluster category of an acyclic quiver which is either a tree or of type $\widetilde{A}$. We are particularly interested in their derived equivalence classification. We prove that each algebra which is cluster equivalent to a tree quiver is derived equivalent to the path algebra of this tree. Then we describe explicitly the algebras of cluster type $\A_n$ for each possible orientation of $\A_n$. We give an explicit way to read off in which derived equivalence class such an algebra lies, and describe the Auslander-Reiten quiver of its derived category. Together, these results in particular provide a complete classification of algebras which are cluster equivalent to tame acyclic quivers. △ Less

Submitted 11 March, 2012; v1 submitted 21 September, 2010; originally announced September 2010.

Comments: v2: 37 pages. Title is changed. A mistake in the previous version is now corrected (see Remark 3.14). Other changes making the paper coherent with the version 2 of 1003.4916

Journal ref: Nagoya Math. J. 211 (2013), 1-50

$n$-angulated categories

Authors: Christof Geiss, Bernhard Keller, Steffen Oppermann

Abstract: We define $n$-angulated categories by modifying the axioms of triangulated categories in a natural way. We show that Heller's parametrization of pre-triangulations extends to pre-$n$-angulations. We obtain a large class of examples of $n$-angulated categories by considering $(n-2)$-cluster tilting subcategories of triangulated categories which are stable under the $(n-2)$nd power of the suspension… ▽ More We define $n$-angulated categories by modifying the axioms of triangulated categories in a natural way. We show that Heller's parametrization of pre-triangulations extends to pre-$n$-angulations. We obtain a large class of examples of $n$-angulated categories by considering $(n-2)$-cluster tilting subcategories of triangulated categories which are stable under the $(n-2)$nd power of the suspension functor. As an application, we show how $n$-angulated Calabi-Yau categories yield triangulated Calabi-Yau categories of higher Calabi-Yau dimension. Finally, we sketch a link to algebraic geometry and string theory. △ Less

Submitted 12 July, 2019; v1 submitted 23 June, 2010; originally announced June 2010.

Comments: notation in axiom F2 clarified, 16 pages; v3: new section 5.5, minor corrections, to appear in Crelle's Journal; v4: published version

MSC Class: 18E30

Journal ref: J Reine Angew. Mathematik 675 (2013), 101-120

Generating the bounded derived category and perfect ghosts

Authors: Steffen Oppermann, Jan Stovicek

Abstract: We show, for a wide class of abelian categories relevant in representation theory and algebraic geometry, that the bounded derived categories have no non-trivial strongly finitely generated thick subcategories containing all perfect complexes. In order to do so we prove a strong converse of the Ghost Lemma for bounded derived categories. We show, for a wide class of abelian categories relevant in representation theory and algebraic geometry, that the bounded derived categories have no non-trivial strongly finitely generated thick subcategories containing all perfect complexes. In order to do so we prove a strong converse of the Ghost Lemma for bounded derived categories. △ Less

Submitted 30 May, 2011; v1 submitted 17 June, 2010; originally announced June 2010.

Comments: 15 pages; version 2: more details added and presentation improved, reference list expanded and updated including references to examples illustrating our results

MSC Class: 18E30 (Primary); 16E35; 14F05 (Secondary)

Journal ref: Bull. London Math. Soc. 44 (2012) 285--298

Mutating loops and 2-cycles in 2-CY triangulated categories

Authors: Marco Angel Bertani-Økland, Steffen Oppermann

Abstract: We derive an algorithm for mutating quivers of 2-CY tilted algebras that have loops and 2-cycles, under certain specific conditions. Further, we give the classification of the 2-CY tilted algebras coming from standard algebraic 2-CY triangulated categories with a finite number of indecomposables. These form a class of algebras that satisfy the setup for our mutation algorithm. We derive an algorithm for mutating quivers of 2-CY tilted algebras that have loops and 2-cycles, under certain specific conditions. Further, we give the classification of the 2-CY tilted algebras coming from standard algebraic 2-CY triangulated categories with a finite number of indecomposables. These form a class of algebras that satisfy the setup for our mutation algorithm. △ Less

Submitted 23 April, 2010; originally announced April 2010.

MSC Class: 16G20 (primary); 18E30 (secondary); 16G70

Cluster equivalence and graded derived equivalence

Authors: Claire Amiot, Steffen Oppermann

Abstract: In this paper we introduce a new approach for organizing algebras of global dimension at most 2. We introduce the notion of cluster equivalence for these algebras, based on whether their generalized cluster categories are equivalent. We are particularly interested in the question how much information about an algebra is preserved in its generalized cluster category, or, in other words, how closely… ▽ More In this paper we introduce a new approach for organizing algebras of global dimension at most 2. We introduce the notion of cluster equivalence for these algebras, based on whether their generalized cluster categories are equivalent. We are particularly interested in the question how much information about an algebra is preserved in its generalized cluster category, or, in other words, how closely two algebras are related if they have equivalent generalized cluster categories. Our approach makes use of the cluster-tilting objects in the generalized cluster categories: We first observe that cluster-tilting objects in generalized cluster categories are in natural bijection with cluster-tilting subcategories of derived categories, and then prove a recognition theorem for the latter. Using this recognition theorem we give a precise criterion when two cluster equivalent algebras are derived equivalent. For a given algebra we further describe all the derived equivalent algebras which have the same canonical cluster tilting object in their generalized cluster category. Finally we show that in general, if two algebras are cluster equivalent, then (under certain conditions) the algebras can be graded in such a way that the categories of graded modules are derived equivalent. To this end we introduce mutation of graded quivers with potential, and show that this notion reflects mutation in derived categories. △ Less

Submitted 7 March, 2012; v1 submitted 25 March, 2010; originally announced March 2010.

Comments: 45 pages; v2: In the previous version of this paper we built on [Buan-Iyama-Reiten-Smith]. In that paper the assumptions in the main theorem have been strengthened, and as a consequence it is not clear any more whether it applies in our setup. Therefore we replaced proofs building on that paper by proof relying on [Keller-Yang]

MSC Class: 16E; 16G

Higher dimensional cluster combinatorics and representation theory

Authors: Steffen Oppermann, Hugh Thomas

Abstract: Higher Auslander algebras were introduced by Iyama generalizing classical concepts from representation theory of finite dimensional algebras. Recently these higher analogues of classical representation theory have been increasingly studied. Cyclic polytopes are classical objects of study in convex geometry. In particular, their triangulations have been studied with a view towards generalizing the… ▽ More Higher Auslander algebras were introduced by Iyama generalizing classical concepts from representation theory of finite dimensional algebras. Recently these higher analogues of classical representation theory have been increasingly studied. Cyclic polytopes are classical objects of study in convex geometry. In particular, their triangulations have been studied with a view towards generalizing the rich combinatorial structure of triangulations of polygons. In this paper, we demonstrate a connection between these two seemingly unrelated subjects. We study triangulations of even-dimensional cyclic polytopes and tilting modules for higher Auslander algebras of linearly oriented type A which are summands of the cluster tilting module. We show that such tilting modules correspond bijectively to triangulations. Moreover mutations of tilting modules correspond to bistellar flips of triangulations. For any d-representation finite algebra we introduce a certain d-dimensional cluster category and study its cluster tilting objects. For higher Auslander algebras of linearly oriented type A we obtain a similar correspondence between cluster tilting objects and triangulations of a certain cyclic polytope. Finally we study certain functions on generalized laminations in cyclic polytopes, and show that they satisfy analogues of tropical cluster exchange relations. Moreover we observe that the terms of these exchange relations are closely related to the terms occuring in the mutation of cluster tilting objects. △ Less

Submitted 4 July, 2011; v1 submitted 29 January, 2010; originally announced January 2010.

Comments: 41 pages. v4: minor corrections throughout the paper

MSC Class: 16E35; 13F60 (Primary) 52B11; 16G10 (Secondary)

Cluster tilting and complexity

Authors: Petter Andreas Bergh, Steffen Oppermann

Abstract: We study the notion of positive and negative complexity of pairs of objects in cluster categories. The first main result shows that the maximal complexity occurring is either one, two or infinite, depending on the representation type of the underlying hereditary algebra. In the the second result, we study the bounded derived category of a cluster tilted algebra, and show that the maximal complex… ▽ More We study the notion of positive and negative complexity of pairs of objects in cluster categories. The first main result shows that the maximal complexity occurring is either one, two or infinite, depending on the representation type of the underlying hereditary algebra. In the the second result, we study the bounded derived category of a cluster tilted algebra, and show that the maximal complexity occurring is either zero or one whenever the algebra is of finite or tame type. △ Less

Submitted 5 January, 2010; originally announced January 2010.

Comments: 11 pages

MSC Class: 16P90; 18E30; 18G15

Stable categories of higher preprojective algebras

Authors: Osamu Iyama, Steffen Oppermann

Abstract: We introduce (n+1)-preprojective algebras of algebras of global dimension n. We show that if an algebra is n-representation-finite then its (n+1)-preprojective algebra is self-injective. In this situation, we show that the stable module category of the (n+1)-preprojective algebra is (n+1)-Calabi-Yau, and, more precisely, it is the (n+1)-Amiot cluster category of the stable n-Auslander algebra of t… ▽ More We introduce (n+1)-preprojective algebras of algebras of global dimension n. We show that if an algebra is n-representation-finite then its (n+1)-preprojective algebra is self-injective. In this situation, we show that the stable module category of the (n+1)-preprojective algebra is (n+1)-Calabi-Yau, and, more precisely, it is the (n+1)-Amiot cluster category of the stable n-Auslander algebra of the original algebra. In particular this stable category contains an (n+1)-cluster tilting object. We show that even if the (n+1)-preprojective algebra is not self-injective, under certain assumptions (which are always satisfied for n \in {1,2}) the results above still hold for the stable category of Cohen-Macaulay modules. △ Less

Submitted 20 April, 2011; v1 submitted 17 December, 2009; originally announced December 2009.

Comments: The introduction has been revised. Minor corrections throughout. 38 pages

MSC Class: 16G10; 16E35

Finding a cluster-tilting object for a representation finite cluster-tilted algebra

Authors: Marco Angel Bertani-Økland, Steffen Oppermann, Anette Wrålsen

Abstract: We provide a technique to find a cluster-tilting object having a given cluster-tilted algebra as endomorphism ring in the finite type case. We provide a technique to find a cluster-tilting object having a given cluster-tilted algebra as endomorphism ring in the finite type case. △ Less

Submitted 15 December, 2009; originally announced December 2009.

Comments: 14 pages

MSC Class: 16G20; 16G70

n-representation-finite algebras and n-APR tilting

Authors: Osamu Iyama, Steffen Oppermann

Abstract: We introduce the notion of n-representation-finiteness, generalizing representation-finite hereditary algebras. We establish the procedure of n-APR tilting, and show that it preserves n-representation-finiteness. We give some combinatorial description of this procedure, and use this to completely describe a class of n-representation-finite algebras called "type A". We introduce the notion of n-representation-finiteness, generalizing representation-finite hereditary algebras. We establish the procedure of n-APR tilting, and show that it preserves n-representation-finiteness. We give some combinatorial description of this procedure, and use this to completely describe a class of n-representation-finite algebras called "type A". △ Less

Submitted 28 January, 2010; v1 submitted 3 September, 2009; originally announced September 2009.

Comments: 33 pages, Sections 3 and 4 rearranged, Subsection 3.3 generalized, some explanations added and typos corrected

MSC Class: 16G10; 16E35

Journal ref: Trans. Amer. Math. Soc. 363 (2011), no. 12, 6575--6614

Constructing tilted algebras from cluster-tilted algebras

Authors: Marco Angel Bertani-Økland, Steffen Oppermann, Anette Wrålsen

Abstract: Any cluster-tilted algebra is the relation extension of a tilted algebra. We present a method to, given the distribution of a cluster-tilting object in the Auslander-Reiten quiver of the cluster category, construct all tilted algebras whose relation extension is the endomorphism ring of this cluster-tilting object. Any cluster-tilted algebra is the relation extension of a tilted algebra. We present a method to, given the distribution of a cluster-tilting object in the Auslander-Reiten quiver of the cluster category, construct all tilted algebras whose relation extension is the endomorphism ring of this cluster-tilting object. △ Less

Submitted 16 December, 2009; v1 submitted 10 February, 2009; originally announced February 2009.

Comments: Section 3 has been removed and now is an independent article (arXiv:0912.2911v1). Section 1 and 2.2 have been modified to cope with the removal of section 3. Proof of theorem 3.5 (previously 4.5) has been improved. More details have been added to section 6 (previously 7) to clarify how section 3 (previously 4) generalizes to the infinite case

MSC Class: 16G20; 16G70

Cohomology of twisted tensor products

Authors: Petter Andreas Bergh, Steffen Oppermann

Abstract: It is well known that the cohomology of a tensor product is essentially the tensor product of the cohomologies. We look at twisted tensor products, and investigate to which extend this is still true. We give an explicit description of the $\Ext$-algebra of the tensor product of two modules, and under certain additional conditions, describe an essential part of the Hochschild cohomology ring of a… ▽ More It is well known that the cohomology of a tensor product is essentially the tensor product of the cohomologies. We look at twisted tensor products, and investigate to which extend this is still true. We give an explicit description of the $\Ext$-algebra of the tensor product of two modules, and under certain additional conditions, describe an essential part of the Hochschild cohomology ring of a twisted tensor product. As an application, we characterize precisely when the cohomology groups over a quantum complete intersection are finitely generated over the Hochschild cohomology ring. Moreover, both for quantum complete intersections and in related cases we obtain a lower bound for the representation dimension of the algebra. △ Less

Submitted 26 March, 2008; originally announced March 2008.

Comments: 10 pages

MSC Class: 16E40; 16S80; 16U80; 81R50

Dimensions of triangulated categories via Koszul objects

Authors: Petter Andreas Bergh, Srikanth B. Iyengar, Henning Krause, Steffen Oppermann

Abstract: Lower bounds for the dimension of a triangulated category are provided. These bounds are applied to stable derived categories of Artin algebras and of commutative complete intersection local rings. As a consequence, one obtains bounds for the representation dimensions of certain Artin algebras. Lower bounds for the dimension of a triangulated category are provided. These bounds are applied to stable derived categories of Artin algebras and of commutative complete intersection local rings. As a consequence, one obtains bounds for the representation dimensions of certain Artin algebras. △ Less

Submitted 15 April, 2009; v1 submitted 7 February, 2008; originally announced February 2008.

Comments: Final revised version, to appear in Math. Z

MSC Class: 16E30; 16E40; 18E30

The representation dimension of quantum complete intersections

Authors: Petter Andreas Bergh, Steffen Oppermann

Abstract: We study the representation dimension of the class of algebras known as quantum complete intersections. For such an algebra, we show that the representation dimension is at most twice its codimension. Moreover, we show that the representation dimension of a "homogeneous" quantum complete intersection is strictly larger than its codimension. We study the representation dimension of the class of algebras known as quantum complete intersections. For such an algebra, we show that the representation dimension is at most twice its codimension. Moreover, we show that the representation dimension of a "homogeneous" quantum complete intersection is strictly larger than its codimension. △ Less

Submitted 13 October, 2007; originally announced October 2007.

Comments: 11 pages

MSC Class: 16G60; 16U80; 81R50