Showing 1–35 of 35 results for author: Brüstle, T

Counts and end-curves in two-parameter persistence

Authors: Thomas Brüstle, Steve Oudot, Luis Scoccola, Hugh Thomas

Abstract: Given a finite dimensional, bigraded module over the polynomial ring in two variables, we define its two-parameter count, a natural number, and its end-curves, a set of plane curves. These are two-dimensional analogues of the notions of bar-count and endpoints of singly-graded modules over the polynomial ring in one variable, from persistence theory. We show that our count is the unique one satisf… ▽ More Given a finite dimensional, bigraded module over the polynomial ring in two variables, we define its two-parameter count, a natural number, and its end-curves, a set of plane curves. These are two-dimensional analogues of the notions of bar-count and endpoints of singly-graded modules over the polynomial ring in one variable, from persistence theory. We show that our count is the unique one satisfying certain natural conditions; as a consequence, several inclusion-exclusion-type formulas in two-parameter persistence yield the same positive number, which equals our count, and which in turn equals the number of end-curves, giving geometric meaning to this count. We show that the end-curves determine the classical Betti tables by showing that they interpolate between generators, relations, and syzygies. Using the band representations of a certain string algebra, we show that the set of end-curves admits a canonical partition, where each part forms a closed curve on the plane; we call this the boundary of the module. As an invariant, the boundary is neither weaker nor stronger than the rank invariant, but, in contrast to the rank invariant, it is a complete invariant on the set of spread-decomposable representations. Our results connect several lines of work in multiparameter persistence, and their extension to modules over the real-exponent polynomial ring in two variables relates to two-dimensional Morse theory. △ Less

Submitted 19 May, 2025; originally announced May 2025.

Comments: 40 pages, 10 figures

Decomposing zero-dimensional persistent homology over rooted tree quivers

Authors: Riju Bindua, Thomas Brüstle, Luis Scoccola

Abstract: Given a functor from any category into the category of topological spaces, one obtains a linear representation of the category by post-composing the given functor with a homology functor with field coefficients. This construction is fundamental in persistence theory, where it is known as persistent homology, and where the category is typically a poset. Persistence theory is particularly successful… ▽ More Given a functor from any category into the category of topological spaces, one obtains a linear representation of the category by post-composing the given functor with a homology functor with field coefficients. This construction is fundamental in persistence theory, where it is known as persistent homology, and where the category is typically a poset. Persistence theory is particularly successful when the poset is a finite linearly ordered set, owing to the fact that in this case its category of representations is of finite type. We show that when the poset is a rooted tree poset (a poset with a maximum and whose Hasse diagram is a tree) the additive closure of the category of representations obtainable as zero-dimensional persistent homology is of finite type, and give a quadratic-time algorithm for decomposition into indecomposables. In doing this, we give an algebraic characterization of the additive closure in terms of Ringel's tree modules, and show that its indecomposable objects are the reduced representations of Kinser. △ Less

Submitted 28 November, 2024; originally announced November 2024.

Comments: 19 pages, 4 figures, 1 table

An exact structure approach to almost rigid modules over quivers of type $\mathbb{A}$

Authors: Thomas Brüstle, Eric J. Hanson, Sunny Roy, Ralf Schiffler

Abstract: Let $A$ be the path algebra of a quiver of Dynkin type $\mathbb{A}_n$. The module category $\text{mod}\,A$ has a combinatorial model as the category of diagonals in a polygon $S$ with $n+1$ vertices. The recently introduced notion of almost rigid modules is a weakening of the classical notion of rigid modules. The importance of this new notion stems from the fact that maximal almost rigid $A$-modu… ▽ More Let $A$ be the path algebra of a quiver of Dynkin type $\mathbb{A}_n$. The module category $\text{mod}\,A$ has a combinatorial model as the category of diagonals in a polygon $S$ with $n+1$ vertices. The recently introduced notion of almost rigid modules is a weakening of the classical notion of rigid modules. The importance of this new notion stems from the fact that maximal almost rigid $A$-modules are in bijection with the triangulations of the polygon $S.$ In this article, we give a different realization of maximal almost rigid modules. We introduce a non-standard exact structure $\mathcal{E}_\diamond$ on $\text{mod}\,A$ such that the maximal almost rigid $A$-modules in the usual exact structure are exactly the maximal rigid $A$-modules in the new exact structure. A maximal rigid module in this setting is the same as a tilting module. Thus the tilting theory relative to the exact structure $\mathcal{E}_\diamond$ translates into a theory of maximal almost rigid modules in the usual exact structure. As an application, we show that with the exact structure $\mathcal{E}_\diamond$, the module category becomes a 0-Auslander category in the sense of Gorsky, Nakaoka and Palu. We also discuss generalizations to quivers of type $\mathbb{D}$ and gentle algebras. △ Less

Submitted 6 October, 2024; originally announced October 2024.

Comments: 15 pages, 5 figures

MSC Class: 16G20; 18G25

Invariants of persistence modules defined by order-embeddings

Authors: Claire Amiot, Thomas Brüstle, Eric J. Hanson

Abstract: One of the main objectives of topological data analysis is the study of discrete invariants for persistence modules, in particular when dealing with multiparameter persistence modules. In many cases, the invariants studied for these non-totally ordered posets $P$ can be obtained from restricting a given module to a subposet $X$ of $P$ that is totally ordered (or more generally, of finite represent… ▽ More One of the main objectives of topological data analysis is the study of discrete invariants for persistence modules, in particular when dealing with multiparameter persistence modules. In many cases, the invariants studied for these non-totally ordered posets $P$ can be obtained from restricting a given module to a subposet $X$ of $P$ that is totally ordered (or more generally, of finite representation type), and then computing the barcode (or the general direct sum decomposition) over $X$. We consider in this paper general order-preserving embeddings of representation-finite subposets $X$ into $P$ and study systematically the invariants obtained by decomposing the restriction of a given $P$-module $M$ to $X$ into its indecomposable summands. The restriction functor from $\mathrm{mod} \ P$ to $\mathrm{mod} \ X$ is well-studied, and it is known to be exact and admits both left and right adjoint functors, known as induction and co-induction functors. This allows us to obtain new homological insights, and also to re-interpret previous results. We use this approach also to determine bases, thus generalizing the concept of signed barcodes which is considered in the literature in relation to stability results. It turns out that considering only order-embeddings of one fixed poset $X$ into the poset $P$, and studying the set of all indecomposables obtained from $X$ introduces a lot of redundancy. We therefore also study iterated embeddings of several posets of increasing sizes, while limiting attention to only some indecomposables (that have not been obtained from embedding of smaller posets previously). △ Less

Submitted 14 February, 2024; originally announced February 2024.

Comments: 22 pages

Exact structures for persistence modules

Authors: Benjamin Blanchette, Thomas Brüstle, Eric J. Hanson

Abstract: We discuss applications of exact structures and relative homological algebra to the study of invariants of multiparameter persistence modules. This paper is mostly expository, but does contain a pair of novel results. Over finite posets, classical arguments about the relative projective modules of an exact structure make use of Auslander-Reiten theory. One of our results establishes a new adjuncti… ▽ More We discuss applications of exact structures and relative homological algebra to the study of invariants of multiparameter persistence modules. This paper is mostly expository, but does contain a pair of novel results. Over finite posets, classical arguments about the relative projective modules of an exact structure make use of Auslander-Reiten theory. One of our results establishes a new adjunction which allows us to ``lift'' these arguments to certain infinite posets over which Auslander-Reiten sequences do not always exist. We give several examples of this lifting, in particular highlighting the non-existence and existence of resolutions by upsets when working with finitely presentable representations of the plane and of the closure of the positive quadrant, respectively. We then restrict our attention to finite posets. In this setting, we discuss the relationship between the global dimension of an exact structure and the representation dimension of the incidence algebra of the poset. We conclude with our second novel contribution. This is an explicit description of the irreducible morphisms between relative projective modules for several exact structures which have appeared previously in the literature. △ Less

Submitted 3 January, 2025; v1 submitted 3 August, 2023; originally announced August 2023.

Comments: v3: improved exposition, added references, added figures, corrected typos, made other small clarifications and improvements. To appear in Proceedings of ICRA 2022. v2: corrected typos and minor errors. 28 pages

MSC Class: 55N31; 16G20; 18G25 (primary); 16E10; 16E20; 16S50; 19A49 (secondary)

Stratifying systems and Jordan-Hölder extriangulated categories

Authors: Thomas Brüstle, Souheila Hassoun, Amit Shah, Aran Tattar

Abstract: Stratifying systems, which have been defined for module, triangulated and exact categories previously, were developed to produce examples of standardly stratified algebras. A stratifying system $Φ$ is a finite set of objects satisfying some orthogonality conditions. One very interesting property is that the subcategory $\mathcal{F}(Φ)$ of objects admitting a composition series-like filtration with… ▽ More Stratifying systems, which have been defined for module, triangulated and exact categories previously, were developed to produce examples of standardly stratified algebras. A stratifying system $Φ$ is a finite set of objects satisfying some orthogonality conditions. One very interesting property is that the subcategory $\mathcal{F}(Φ)$ of objects admitting a composition series-like filtration with factors in $Φ$ has the Jordan-H{ö}lder property on these filtrations. This article has two main aims. First, we introduce notions of subobjects, simple objects and composition series for an extriangulated category, in order to define a Jordan-H{ö}lder extriangulated category. Moreover, we characterise Jordan-H{ö}lder, length, weakly idempotent complete extriangulated categories in terms of the associated Grothendieck monoid and Grothendieck group. Second, we develop a theory of stratifying systems in extriangulated categories. We define projective stratifying systems and show that every stratifying system $Φ$ in an extriangulated category is part of a minimal projective one $(Φ,Q)$. We prove that $\mathcal{F}(Φ)$ is a length, Jordan-H{ö}lder extriangulated category when $(Φ,Q)$ satisfies a left exactness condition. We give several examples and answer a recent question of Enomoto--Saito in the negative. △ Less

Submitted 18 October, 2024; v1 submitted 16 August, 2022; originally announced August 2022.

Comments: v4: 29 pages; updates following referee report, in particular Cor 4.18 improved; other minor changes

MSC Class: 18E05 (Primary) 18E10; 18G25; 18G80 (Secondary)

Homological approximations in persistence theory

Authors: Benjamin Blanchette, Thomas Brüstle, Eric J. Hanson

Abstract: We define a class of invariants, which we call homological invariants, for persistence modules over a finite poset. Informally, a homological invariant is one that respects some homological data and takes values in the free abelian group generated by a finite set of indecomposable modules. We focus in particular on groups generated by "spread modules", which are sometimes called "interval modules"… ▽ More We define a class of invariants, which we call homological invariants, for persistence modules over a finite poset. Informally, a homological invariant is one that respects some homological data and takes values in the free abelian group generated by a finite set of indecomposable modules. We focus in particular on groups generated by "spread modules", which are sometimes called "interval modules" in the persistence theory literature. We show that both the dimension vector and rank invariant are equivalent to homological invariants taking values in groups generated by spread modules. We also show that the free abelian group generated by the "single-source" spread modules gives rise to a new invariant which is finer than the rank invariant. They are also thankful to an anonymous referee for their thorough reading of this paper and suggestions for improvement. △ Less

Submitted 23 August, 2024; v1 submitted 14 December, 2021; originally announced December 2021.

Comments: v3: accepted manuscript, v2 (sizable update): added numerous references, reorganized paper, added new section on motivation and related work (Section 3), expanded upon the relationship between homological invariants and dimensions of hom-spaces (Theorem 1.1), extended main Theorem 1.2 (formerly Theorem 1.1), corrected errors in comparisons to other invariants (Section 7). 24 pages

MSC Class: 55N31; 16E20 (primary); 16Z05; 18G35 (secondary)

Journal ref: Canadian Journal of Mathematics 76 (2024), no. 1, 66-103

Double framed moduli spaces of quiver representations

Authors: Marco Armenta, Thomas Brüstle, Souheila Hassoun, Markus Reineke

Abstract: Motivated by problems in the neural networks setting, we study moduli spaces of double framed quiver representations and give both a linear algebra description and a representation theoretic description of these moduli spaces. We define a network category whose isomorphism classes of objects correspond to the orbits of quiver representations, in which neural networks map input data. We then prove… ▽ More Motivated by problems in the neural networks setting, we study moduli spaces of double framed quiver representations and give both a linear algebra description and a representation theoretic description of these moduli spaces. We define a network category whose isomorphism classes of objects correspond to the orbits of quiver representations, in which neural networks map input data. We then prove that the output of a neural network depends only on the corresponding point in the moduli space. Finally, we present a different perspective on mapping neural networks with a specific activation function, called ReLU, to a moduli space using the symplectic reduction approach to quiver moduli. △ Less

Submitted 11 October, 2021; v1 submitted 29 September, 2021; originally announced September 2021.

Comments: 27 pages

MSC Class: 16G20; 14D22; 53D30; 68T01; 68T07

On the lattices of exact and weakly exact structures

Authors: Rose-Line Baillargeon, Thomas Brüstle, Mikhail Gorsky, Souheila Hassoun

Abstract: We initiate in this article the study of weakly exact structures, a generalization of Quillen exact structures. We introduce weak counterparts of one-sided exact structures and show that a left and a right weakly exact structure generate a weakly exact structure. We further define weakly extriangulated structures on an additive category $\mathcal{A}$ and characterize weakly exact structures among… ▽ More We initiate in this article the study of weakly exact structures, a generalization of Quillen exact structures. We introduce weak counterparts of one-sided exact structures and show that a left and a right weakly exact structure generate a weakly exact structure. We further define weakly extriangulated structures on an additive category $\mathcal{A}$ and characterize weakly exact structures among them. We investigate when these structures on $\mathcal{A}$ form lattices. We prove that the lattice of substructures of a weakly extriangulated structure is isomorphic to the lattice of topologizing subcategories of a certain functor category. In the idempotent complete case, we characterize the lattice of all weakly exact structures and we prove the existence of a unique maximal weakly exact structure. We study in detail the situation when $\mathcal{A}$ is additively finite, giving a module-theoretic characterization of closed sub-bifunctors of $\mbox{Ext}^1$ among all additive sub-bifunctors. △ Less

Submitted 18 July, 2023; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: v1: 41 pages. v2: 43 pages, minor edits, Definition 6.10 and Section 7.7 added, Section 7.6 expanded. v3: 40 pages, minor edits, title changed, presentation improved. Lemmas 5.16 and 5.19 and references added. v4: An abridged version accepted to Journal of Algebra

MSC Class: 13D30; 13D09; 18E10; 18G80

Journal ref: Journal of Algebra, Volume 612, 2022, Pages 77-109, ISSN 0021-8693

Intersections, sums, and the Jordan-Hölder property for exact categories

Authors: Thomas Brüstle, Souheila Hassoun, Aran Tattar

Abstract: We investigate how the concepts of intersection and sums of subobjects carry to exact categories. We obtain a new characterisation of quasi-abelian categories in terms of admitting admissible intersections in the sense of Hassoun and Roy. There are also many alternative characterisations of abelian categories as those that additionally admit admissible sums and in terms of properties of admissible… ▽ More We investigate how the concepts of intersection and sums of subobjects carry to exact categories. We obtain a new characterisation of quasi-abelian categories in terms of admitting admissible intersections in the sense of Hassoun and Roy. There are also many alternative characterisations of abelian categories as those that additionally admit admissible sums and in terms of properties of admissible morphisms. We then define a generalised notion of intersection and sum which every exact category admits. Using these new notions, we define and study classes of exact categories that satisfy the Jordan-Hölder property for exact categories, namely the Diamond exact categories and Artin-Wedderburn exact categories. By explicitly describing all exact structures on $\mathcal{A}= \mbox{rep}\, Λ$ for a Nakayama algebra $Λ$ we characterise all Artin-Wedderburn exact structures on $\mathcal{A}$ and show that these are precisely the exact structures with the Jordan-Hölder property. △ Less

Submitted 5 July, 2021; v1 submitted 5 June, 2020; originally announced June 2020.

Comments: revised version following Phd defense, lemma 7.5 and theorem 7.6 added

MSC Class: 18E10; 18E05; 16G10

Derived equivalences between skew-gentle algebras using orbifolds

Authors: Claire Amiot, Thomas Brüstle

Abstract: Skew-gentle algebras are skew-group algebras of gentle algebras equipped with a certain $\Z_2$-action. Building on the bijective correspondence between gentle algebras and dissected surfaces, we obtain in this paper a bijection between skew-gentle algebras and certain dissected orbifolds that admit a double cover. We prove the compatibility of the $\Z_2$-action on the double cover with the skew-… ▽ More Skew-gentle algebras are skew-group algebras of gentle algebras equipped with a certain $\Z_2$-action. Building on the bijective correspondence between gentle algebras and dissected surfaces, we obtain in this paper a bijection between skew-gentle algebras and certain dissected orbifolds that admit a double cover. We prove the compatibility of the $\Z_2$-action on the double cover with the skew-group algebra construction. This allows us to investigate the derived equivalence relation between skew-gentle algebras in geometric terms: We associate to each skew-gentle algebra a line field on the orbifold, and on its double cover, and interpret different kinds of derived equivalences of skew-gentle algebras in terms of diffeomorphisms respecting the homotopy class of the line fields associated to the algebras. △ Less

Submitted 19 December, 2019; v1 submitted 9 December, 2019; originally announced December 2019.

Comments: 46 pages

MSC Class: 16G20; 16E35; 57R18

Reduction of exact structures

Authors: Thomas Brüstle, Souheila Hassoun, Denis Langford, Sunny Roy

Abstract: Examples of exact categories in representation theory are given by the category of Delta-filtered modules over quasi-hereditary algebras, but also by various categories related to matrix problems, such as poset representations or representations of bocses. Motivated by the matrix problem background, we study in this article the reduction of exact structures, and consider the poset Ex(A) of all exa… ▽ More Examples of exact categories in representation theory are given by the category of Delta-filtered modules over quasi-hereditary algebras, but also by various categories related to matrix problems, such as poset representations or representations of bocses. Motivated by the matrix problem background, we study in this article the reduction of exact structures, and consider the poset Ex(A) of all exact structures on a fixed additive category A. This poset turns out to be a complete lattice, and under suitable conditions results of Enomoto's imply that it is boolean. We initiate in this article a detailed study of exact structures E by generalizing notions from abelian categories such as the length of an object relative to E and the quiver of an exact category (A,E). We investigate the Gabriel-Roiter measure for (A,E), and further study how these notions change when the exact structure varies. △ Less

Submitted 5 July, 2021; v1 submitted 4 September, 2018; originally announced September 2018.

Comments: Revised version following Phd defense, lemma 6.6 added

Stability Conditions and Maximal Green Sequences in Abelian Categories

Authors: Thomas Brüstle, David Smith, Hipolito Treffinger

Abstract: In this paper we study the stability functions on abelian categories introduced by Rudakov in \cite{Ru} and their relation with torsion classes and maximal green sequences. Moreover we introduce a new kind of stability function which is compatible with the wall and chamber of the category. In this paper we study the stability functions on abelian categories introduced by Rudakov in \cite{Ru} and their relation with torsion classes and maximal green sequences. Moreover we introduce a new kind of stability function which is compatible with the wall and chamber of the category. △ Less

Submitted 14 August, 2019; v1 submitted 11 May, 2018; originally announced May 2018.

Comments: Minor typos corrected. This paper is a revised version of one part of a preprint arXiv:1705.08227

Wall and Chamber Structure for finite-dimensional Algebras

Authors: Thomas Brüstle, David Smith, Hipolito Treffinger

Abstract: We use $τ$-tilting theory to give a description of the wall and chamber structure of a finite dimensional algebra. We also study $\mathfrak{D}$-generic paths in the wall and chamber structure of an algebra $A$ and show that every maximal green sequence in mod $A$ is induced by a $\mathfrak{D}$-generic path. We use $τ$-tilting theory to give a description of the wall and chamber structure of a finite dimensional algebra. We also study $\mathfrak{D}$-generic paths in the wall and chamber structure of an algebra $A$ and show that every maximal green sequence in mod $A$ is induced by a $\mathfrak{D}$-generic path. △ Less

Submitted 14 August, 2019; v1 submitted 4 May, 2018; originally announced May 2018.

Comments: We added Subsection 3.5 and corrected typos. This paper is a revised version of one part of a preprint arXiv:1705.08227

Journal ref: Advances in Mathematics, Volume 354, 1 October 2019, 106746

Non-Leaving-Face property for marked surfaces

Authors: Thomas Brüstle, Jie Zhang

Abstract: We consider the polytope arising from a marked surface by flips of triangulations. Sleator, Tarjan and Thurston studied in 1988 the diameter of the associahedron, which is the polytope arising from a marked disc by flips of triangulations. They showed that every shortest path between two vertices in a face does not leave that face. We establish that same non-leaving-face property for all unpunctur… ▽ More We consider the polytope arising from a marked surface by flips of triangulations. Sleator, Tarjan and Thurston studied in 1988 the diameter of the associahedron, which is the polytope arising from a marked disc by flips of triangulations. They showed that every shortest path between two vertices in a face does not leave that face. We establish that same non-leaving-face property for all unpunctured marked surfaces. △ Less

Submitted 29 January, 2018; originally announced January 2018.

Comments: 13 pages, 12 figures

On the combinatorics of gentle algebras

Authors: Thomas Brüstle, Guillaume Douville, Kaveh Mousavand, Hugh Thomas, Emine Yıldırım

Abstract: For $A$ a gentle algebra, and $X$ and $Y$ string modules, we construct a combinatorial basis for Hom($X,τY$). We use this to describe support $τ$-tilting modules for $A$. We give a combinatorial realization of maps in both directions realizing the bijection between support $τ$-tilting modules and functorially finite torsion classes. We give an explicit basis of Ext$^1(Y,X)$ as short exact sequence… ▽ More For $A$ a gentle algebra, and $X$ and $Y$ string modules, we construct a combinatorial basis for Hom($X,τY$). We use this to describe support $τ$-tilting modules for $A$. We give a combinatorial realization of maps in both directions realizing the bijection between support $τ$-tilting modules and functorially finite torsion classes. We give an explicit basis of Ext$^1(Y,X)$ as short exact sequences. We analyze several constructions given in a more restricted, combinatorial setting by McConville, showing that many but not all of them can be extended to general gentle algebras. △ Less

Submitted 28 February, 2018; v1 submitted 24 July, 2017; originally announced July 2017.

Comments: 25 pages; v2 new final section on uniqueness of kisses between exchangeable strings added; additional small changes

MSC Class: 16G10

Journal ref: Can. J. Math.-J. Can. Math. 72 (2020) 1551-1580

Stability conditions, $τ$-tilting Theory and Maximal Green Sequences

Authors: Thomas Brüstle, David Smith, Hipolito Treffinger

Abstract: Extending the notion of maximal green sequences to an abelian category, we characterize the stability functions, as defined by Rudakov, that induce a maximal green sequence in an abelian length category. Furthermore, we use $τ$-tilting theory to give a description of the wall and chamber structure of any finite dimensional algebra. Finally we introduce the notion of green paths in the wall and cha… ▽ More Extending the notion of maximal green sequences to an abelian category, we characterize the stability functions, as defined by Rudakov, that induce a maximal green sequence in an abelian length category. Furthermore, we use $τ$-tilting theory to give a description of the wall and chamber structure of any finite dimensional algebra. Finally we introduce the notion of green paths in the wall and chamber structure of an algebra and show that green paths serve as geometrical generalization of maximal green sequences in this context. △ Less

Submitted 23 May, 2017; originally announced May 2017.

Semi-invariant pictures and two conjectures on maximal green sequences

Authors: Thomas Brüstle, Stephen Hermes, Kiyoshi Igusa, Gordana Todorov

Abstract: We use semi-invariant pictures to prove two conjectures about maximal green sequences. First: if $Q$ is any acyclic valued quiver with an arrow $j\to i$ of infinite type then any maximal green sequence for $Q$ must mutate at $i$ before mutating at $j$. Second: for any quiver $Q'$ obtained by mutating an acyclic valued quiver $Q$ of tame type, there are only finitely many maximal green sequences fo… ▽ More We use semi-invariant pictures to prove two conjectures about maximal green sequences. First: if $Q$ is any acyclic valued quiver with an arrow $j\to i$ of infinite type then any maximal green sequence for $Q$ must mutate at $i$ before mutating at $j$. Second: for any quiver $Q'$ obtained by mutating an acyclic valued quiver $Q$ of tame type, there are only finitely many maximal green sequences for $Q'$. Both statements follow from the Rotation Lemma for reddening sequences and this in turn follows from the Mutation Formula for the semi-invariant picture for $Q$. △ Less

Submitted 8 October, 2015; v1 submitted 26 March, 2015; originally announced March 2015.

Comments: 24 pages, 7 figures

MSC Class: 16G20 (Primary); 20F55 (Secondary)

The quivers of the hereditary algebras of type $\tilde{A}_n$

Authors: Thomas Bruestle, Karin Baur

Abstract: This is a translation of the diploma thesis of Thomas Brüstle, Darstellungsköcher der erblichen Algebren vom Typ $\tilde{A}_n$, written in German, at the University of Zurich, August 1990. Supervisor: P. Gabriel. Translated by K. Baur, May 2013 This is a translation of the diploma thesis of Thomas Brüstle, Darstellungsköcher der erblichen Algebren vom Typ $\tilde{A}_n$, written in German, at the University of Zurich, August 1990. Supervisor: P. Gabriel. Translated by K. Baur, May 2013 △ Less

Submitted 10 December, 2013; originally announced December 2013.

Ordered Exchange Graphs

Authors: Thomas Brüstle, Dong Yang

Abstract: The exchange graph of a cluster algebra encodes the combinatorics of mutations of clusters. Through the recent "categorifications" of cluster algebras using representation theory one obtains a whole variety of exchange graphs associated with objects such as a finite-dimensional algebra or a differential graded algebra concentrated in non-positive degrees. These constructions often come from variat… ▽ More The exchange graph of a cluster algebra encodes the combinatorics of mutations of clusters. Through the recent "categorifications" of cluster algebras using representation theory one obtains a whole variety of exchange graphs associated with objects such as a finite-dimensional algebra or a differential graded algebra concentrated in non-positive degrees. These constructions often come from variations of the concept of tilting, the vertices of the exchange graph being torsion pairs, t-structures, silting objects, support $τ$-tilting modules and so on. All these exchange graphs stemming from representation theory have the additional feature that they are the Hasse quiver of a partial order which is naturally defined for the objects. In this sense, the exchange graphs studied in this article can be considered as a generalization or as a completion of the poset of tilting modules which has been studied by Happel and Unger. The goal of this article is to axiomatize the thus obtained structure of an ordered exchange graph, to present the various constructions of ordered exchange graphs and to relate them among each other. △ Less

Submitted 2 August, 2023; v1 submitted 25 February, 2013; originally announced February 2013.

Comments: A gap in the proof of Proposition A.3 is filled

MSC Class: 13F60; 16G10; 16E35; 18E30

Journal ref: Advances in Representations of Algebras (ICRA Bielefeld 2012), 135--193

Tagged mapping class groups: Auslander-Reiten translation

Authors: Thomas Brüstle, Yu Qiu

Abstract: We give a geometric realization, the tagged rotation, of the AR-translation on the generalized cluster category associated to a surface $\mathbf{S}$ with marked points and non-empty boundary, which generalizes Brüstle-Zhang's result for the puncture free case. As an application, we show that the intersection of the shifts in the 3-Calabi-Yau derived category $\mathcal{D}(Γ_{\mathbf{S}})$ associa… ▽ More We give a geometric realization, the tagged rotation, of the AR-translation on the generalized cluster category associated to a surface $\mathbf{S}$ with marked points and non-empty boundary, which generalizes Brüstle-Zhang's result for the puncture free case. As an application, we show that the intersection of the shifts in the 3-Calabi-Yau derived category $\mathcal{D}(Γ_{\mathbf{S}})$ associated to the surface and the corresponding Seidel-Thomas braid group of $\mathcal{D}(Γ_{\mathbf{S}})$ is empty, unless $\mathbf{S}$ is a polygon with at most one puncture (i.e. of type A or D). △ Less

Submitted 5 November, 2014; v1 submitted 30 November, 2012; originally announced December 2012.

Comments: To appear in Mathematische Zeitschrift

Journal ref: Math. Zeit., 279 (2015), pp 1103-1120

On Maximal Green Sequences

Authors: Thomas Brüstle, Grégoire Dupont, Matthieu Pérotin

Abstract: Maximal green sequences are particular sequences of quiver mutations appearing in the context of quantum dilogarithm identities and supersymmetric gauge theory. Interpreting maximal green sequences as paths in various natural posets arising in representation theory, we prove the finiteness of the number of maximal green sequences for cluster finite quivers, affine quivers and acyclic quivers wit… ▽ More Maximal green sequences are particular sequences of quiver mutations appearing in the context of quantum dilogarithm identities and supersymmetric gauge theory. Interpreting maximal green sequences as paths in various natural posets arising in representation theory, we prove the finiteness of the number of maximal green sequences for cluster finite quivers, affine quivers and acyclic quivers with at most three vertices. We also give results concerning the possible numbers and lengths of these maximal green sequences. △ Less

Submitted 28 February, 2013; v1 submitted 9 May, 2012; originally announced May 2012.

Comments: v2: Some proofs were clarified and improved. The article is substantially shorter, most of the examples and appendices were cut out. The reader may refer to https://arxiv.boxedpaper.com/abs/1205.2050v1 for additional examples

MSC Class: 13F60; 16G20; 81T60

Projective dimension of modules over cluster-tilted algebras

Authors: Louis Beaudet, Thomas Brustle, Gordana Todorov

Abstract: We study the projective dimension of finitely generated modules over cluster-tilted algebras End(T) where T is a cluster-tilting object in a cluster category C. It is well-known that all End(T)-modules are of the form Hom(T,M) for some object M in C, and since End(T) is Gorenstein of dimension 1, the projective dimension of Hom(T,M) is either zero, one or infinity. We define in this article the id… ▽ More We study the projective dimension of finitely generated modules over cluster-tilted algebras End(T) where T is a cluster-tilting object in a cluster category C. It is well-known that all End(T)-modules are of the form Hom(T,M) for some object M in C, and since End(T) is Gorenstein of dimension 1, the projective dimension of Hom(T,M) is either zero, one or infinity. We define in this article the ideal I_M of End(T[1]) given by all endomorphisms that factor through M, and show that the End(T)-module Hom(T,M) has infinite projective dimension precisely when I_M is non-zero. Moreover, we apply the results above to characterize the location of modules of infinite projective dimension in the Auslander-Reiten quiver of cluster-tilted algebras of type $A$ and $D$. △ Less

Submitted 12 June, 2013; v1 submitted 8 November, 2011; originally announced November 2011.

Comments: Version 2 contains a new section studying in detail the cluster types A and D

A module-theoretic interpretation of Schiffler's expansion formula

Authors: Thomas Brüstle, Jie Zhang

Abstract: We give a module-theoretic interpretation of Schiffler's expansion formula which is defined combinatorially in terms of complete (T,r)-paths in order to get the expansion of the cluster variables in the cluster algebra of a marked surface (S,M). Based on the geometric description of the indecomposable objects of the cluster category of the marked surface (S,M), we show the coincidence of Schiffler… ▽ More We give a module-theoretic interpretation of Schiffler's expansion formula which is defined combinatorially in terms of complete (T,r)-paths in order to get the expansion of the cluster variables in the cluster algebra of a marked surface (S,M). Based on the geometric description of the indecomposable objects of the cluster category of the marked surface (S,M), we show the coincidence of Schiffler-Thomas' expansion formula and the cluster character defined by Palu. △ Less

Submitted 27 May, 2011; originally announced May 2011.

On the Cluster Category of a Marked Surface

Authors: Thomas Brüstle, Jie Zhang

Abstract: We study in this paper the cluster category C(S,M) of a marked surface (S,M). We explicitly describe the objects in C(S,M) as direct sums of homotopy classes of curves in (S,M) and one-parameter families related to closed curves in (S,M). Moreover, we describe the Auslander-Reiten structure of the category C(S,M) in geometric terms and show that the objects without self-extensions in C(S,M) corres… ▽ More We study in this paper the cluster category C(S,M) of a marked surface (S,M). We explicitly describe the objects in C(S,M) as direct sums of homotopy classes of curves in (S,M) and one-parameter families related to closed curves in (S,M). Moreover, we describe the Auslander-Reiten structure of the category C(S,M) in geometric terms and show that the objects without self-extensions in C(S,M) correspond to curves in (S,M) without self-intersections. As a consequence, we establish that every rigid indecomposable object is reachable from an initial triangulation. △ Less

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

Comments: 33 pages, we add a new corollary 1.6 which shows there is a bijection between triangulations of (S,M) and the cluster-tilting objects of C(S,M), and every rigid indecomposable object is reachable from an initial triangulation

Journal ref: Algebra and Number Theory, 5 (2011), No. 4, 529-566

Cluster-tilted algebras without clusters

Authors: Ibrahim Assem, Thomas Bruestle, Ralf Schiffler

Abstract: Cluster-tilted algebras are trivial extensions of tilted algebras. This correspondence induces a surjective map from tilted algebras to cluster-tilted algebras. If B is a cluster-tilted algebra, we use the fibre of B under this map to study the module category of B. In particular, we introduce the notion of reflections of tilted algebras and define an algorithm that constructs the transjective c… ▽ More Cluster-tilted algebras are trivial extensions of tilted algebras. This correspondence induces a surjective map from tilted algebras to cluster-tilted algebras. If B is a cluster-tilted algebra, we use the fibre of B under this map to study the module category of B. In particular, we introduce the notion of reflections of tilted algebras and define an algorithm that constructs the transjective component of the Auslander-Reiten quiver of cluster-tilted algebras of tree type. △ Less

Submitted 1 December, 2009; originally announced December 2009.

Comments: 37 pages

MSC Class: 16S70; 16G20

Gentle algebras arising from surface triangulations

Authors: Ibrahim Assem, Thomas Brüstle, Gabrielle Charbonneau-Jodoin, Pierre-Guy Plamondon

Abstract: In this paper, we associate an algebra A(T) to a triangulation T of a surface S with a set of boundary marking points. This algebra A(T) is gentle and Gorenstein of dimension one. We also prove that A(T) is cluster-tilted if and only if it is cluster-tilted of type A or A tilde, or if and only if the surface S is a disc or an annulus. Moreover all cluster-tilted algebras of type A or A tilde are… ▽ More In this paper, we associate an algebra A(T) to a triangulation T of a surface S with a set of boundary marking points. This algebra A(T) is gentle and Gorenstein of dimension one. We also prove that A(T) is cluster-tilted if and only if it is cluster-tilted of type A or A tilde, or if and only if the surface S is a disc or an annulus. Moreover all cluster-tilted algebras of type A or A tilde are obtained in this way. △ Less

Submitted 1 July, 2009; v1 submitted 19 March, 2009; originally announced March 2009.

Comments: 37 pages, with more examples and details than the first version

Estimate of the number of one-parameter families of modules over a tame algebra

Authors: Thomas Brüstle, Vladimir V. Sergeichuk

Abstract: The problem of classifying modules over a tame algebra A reduces to a block matrix problem of tame type whose indecomposable canonical matrices are zero- or one-parameter. Respectively, the set of nonisomorphic indecomposable modules of dimension at most d divides into a finite number f(d,A) of modules and one-parameter series of modules. We prove that the number of m-by-n canonical parametric… ▽ More The problem of classifying modules over a tame algebra A reduces to a block matrix problem of tame type whose indecomposable canonical matrices are zero- or one-parameter. Respectively, the set of nonisomorphic indecomposable modules of dimension at most d divides into a finite number f(d,A) of modules and one-parameter series of modules. We prove that the number of m-by-n canonical parametric block matrices with a given partition into blocks is bounded by 4^s, where s is the number of free entries (which is at most mn), and estimate the number f(d,A). △ Less

Submitted 16 September, 2007; originally announced September 2007.

Comments: 23 pages

MSC Class: 15A21; 16G60

Journal ref: Linear Algebra Appl. 365 (2003) 115-133

On the Galois coverings of a cluster-tilted algebra

Authors: Ibrahim Assem, Thomas Bruestle, Ralf Schiffler

Abstract: We study the module category of a certain Galois covering of a cluster-tilted algebra which we call the cluster repetitive algebra. Our main result compares the module categories of the cluster repetitive algebra of a tilted algebra C and the repetitive algebra of C, in the sense of Hughes and Waschbuesch. We study the module category of a certain Galois covering of a cluster-tilted algebra which we call the cluster repetitive algebra. Our main result compares the module categories of the cluster repetitive algebra of a tilted algebra C and the repetitive algebra of C, in the sense of Hughes and Waschbuesch. △ Less

Submitted 5 September, 2007; originally announced September 2007.

Comments: 21 pages, 1 Figure

MSC Class: 16G20; 16G70

Cluster-tilted algebras and slices

Authors: Ibrahim Assem, Thomas Bruestle, Ralf Schiffler

Abstract: We give a criterion allowing to verify whether or not two tilted algebras have the same relation-extension (thus correspond to the same cluster-tilted algebra). This criterion is in terms of a combinatorial configuration in the Auslander-Reiten quiver of the cluster-tilted algebra, which we call local slice. We give a criterion allowing to verify whether or not two tilted algebras have the same relation-extension (thus correspond to the same cluster-tilted algebra). This criterion is in terms of a combinatorial configuration in the Auslander-Reiten quiver of the cluster-tilted algebra, which we call local slice. △ Less

Submitted 6 July, 2007; v1 submitted 29 June, 2007; originally announced July 2007.

Comments: 21 pages, 3 figures, minor corrections, typos fixed

MSC Class: 16S70; 16G20

Cluster-Cyclic Quivers with three Vertices and the Markov Equation

Authors: Andre Beineke, Thomas Brüstle, Lutz Hille

Abstract: Acyclic cluster algebras have an interpretation in terms of tilting objects in a Calabi-Yau category defined by some hereditary algebra. For a given quiver $Q$ it is thus desirable to decide if the cluster algebra defined by $Q$ is acyclic. We call $Q$ cluster-acyclic in this case, otherwise cluster-cyclic. In this note we classify the cluster-cyclic quivers with three vertices using a Diophan… ▽ More Acyclic cluster algebras have an interpretation in terms of tilting objects in a Calabi-Yau category defined by some hereditary algebra. For a given quiver $Q$ it is thus desirable to decide if the cluster algebra defined by $Q$ is acyclic. We call $Q$ cluster-acyclic in this case, otherwise cluster-cyclic. In this note we classify the cluster-cyclic quivers with three vertices using a Diophantine equation studied by Markov. △ Less

Submitted 23 November, 2007; v1 submitted 8 December, 2006; originally announced December 2006.

Comments: 11 pages, with an appendix by Otto Kerner

MSC Class: 16G20; 11D25

Mutation classes of skew-symmetric 3x3-matrices

Authors: Ibrahim Assem, Martin Blais, Thomas Brüstle, Audrey Samson

Abstract: In this paper, we establish a bijection between the set of mutation classes of mutation-cyclic skew-symmetric integral 3x3-matrices and the set of triples of integers (a,b,c) which are all greater than 1 and where the product of the two smaller numbers is greater than or equal to the maximal number. We also give an algorithm allowing to verify whether a matrix is mutation-cyclic or not. We prove… ▽ More In this paper, we establish a bijection between the set of mutation classes of mutation-cyclic skew-symmetric integral 3x3-matrices and the set of triples of integers (a,b,c) which are all greater than 1 and where the product of the two smaller numbers is greater than or equal to the maximal number. We also give an algorithm allowing to verify whether a matrix is mutation-cyclic or not. We prove that these two cases are not intertwined. △ Less

Submitted 20 October, 2006; originally announced October 2006.

MSC Class: 16G20

$m$-cluster categories and $m$-replicated algebras

Authors: I. Assem, T. Brüstle, R. Schiffler, G. Todorov

Abstract: Let A be a hereditary algebra over an algebraically closed field. We prove that an exact fundamental domain for the m-cluster category of A is the m-left part of the m-replicated algebra $A^{(m)}$ of A. Moreover, we obtain a one-to-one correspondence between the tilting objects in the m-cluster category (that is, the m-clusters) and those tilting $A^{(m)}$-modules for which all non projective-in… ▽ More Let A be a hereditary algebra over an algebraically closed field. We prove that an exact fundamental domain for the m-cluster category of A is the m-left part of the m-replicated algebra $A^{(m)}$ of A. Moreover, we obtain a one-to-one correspondence between the tilting objects in the m-cluster category (that is, the m-clusters) and those tilting $A^{(m)}$-modules for which all non projective-injective direct summands lie in the m-left part of $A^{(m)}$. △ Less

Submitted 29 August, 2006; originally announced August 2006.

Comments: 28 pages, 2 figures

MSC Class: 16G20; 16G70; 16E10 (Primary) 18E30 (Secondary)

Cluster-tilted algebras as trivial extensions

Authors: Ibrahim Assem, Thomas Brüstle, Ralf Schiffler

Abstract: Given a finite dimensional algebra $C$ (over an algebraically closed field) of global dimension at most two, we define its relation-extension algebra to be the trivial extension $C\ltimes \Ext_C^2(DC,C)$ of $C$ by the $C$-$C$-bimodule $\Ext_C^2(DC,C)$. We give a construction for the quiver of the relation-extension algebra in case the quiver of $C$ has no oriented cycles. Our main result says th… ▽ More Given a finite dimensional algebra $C$ (over an algebraically closed field) of global dimension at most two, we define its relation-extension algebra to be the trivial extension $C\ltimes \Ext_C^2(DC,C)$ of $C$ by the $C$-$C$-bimodule $\Ext_C^2(DC,C)$. We give a construction for the quiver of the relation-extension algebra in case the quiver of $C$ has no oriented cycles. Our main result says that an algebra $\tilde C$ is cluster-tilted if and only if there exists a tilted algebra $C$ such that $\tilde C$ is isomorphic to the relation-extension of $C$. △ Less

Submitted 22 January, 2006; originally announced January 2006.

Comments: 14 pages

MSC Class: 16S70; 16G20

Cluster categories and duplicated algebras

Authors: Ibrahim Assem, Thomas Brüstle, Ralf Schiffler, Gordana Todorov

Abstract: Let $A$ be a hereditary algebra. We construct a fundamental domain for the cluster category of $A$ inside the category of modules over the duplicated algebra $\bar{A}$ of $A$. We then prove that there exists a bijection between the tilting objects in the cluster category and the tilting $\bar{A}$-modules all of whose non projective-injective indecomposable summands lie in the left part of the mo… ▽ More Let $A$ be a hereditary algebra. We construct a fundamental domain for the cluster category of $A$ inside the category of modules over the duplicated algebra $\bar{A}$ of $A$. We then prove that there exists a bijection between the tilting objects in the cluster category and the tilting $\bar{A}$-modules all of whose non projective-injective indecomposable summands lie in the left part of the module category of $\bar{A}$. △ Less

Submitted 21 September, 2005; originally announced September 2005.

Comments: 16 pages