Showing 1–50 of 68 results for author: Igusa, K

More ghost modules I

Authors: Kiyoshi Igusa

Abstract: Ghost modules were introduced in [I3] without definitions or proofs. We also introduced stability diagrams or "relative pictures" for torsion classes and torsion-free classes for representations of Dynkin quivers. Modules which were not in the chosen class reappeared as "ghosts", in fact one missing module produced two ghosts. In this short paper, we give a precise definition of ghost modules. We… ▽ More Ghost modules were introduced in [I3] without definitions or proofs. We also introduced stability diagrams or "relative pictures" for torsion classes and torsion-free classes for representations of Dynkin quivers. Modules which were not in the chosen class reappeared as "ghosts", in fact one missing module produced two ghosts. In this short paper, we give a precise definition of ghost modules. We give several examples and prove basis properties of ghosts and pictures for torsion and torsion-free classes. We also introduce a third kind of ghost which we call "extension ghosts". In the next paper we will explain how these new ghosts can be used to visualize the computation of the higher Reidemeister torsion carried out in [IK]. △ Less

Submitted 15 June, 2025; originally announced June 2025.

Comments: 24 pages, 13 figures

MSC Class: 16G20; 19J10

Generalized Grassmann invariant-redrawn

Authors: Kiyoshi Igusa

Abstract: This is my old unpublished paper called "The generalized Grassmann invariant". It shows how "pictures" also known as "Peiffer diagrams" represent elements of $H_3G$ for any group $G$ and shows that $K_3(\mathbb Z [G])$ is isomorphic to a group of deformation classes of pictures for the Steinberg group of $\mathbb Z[G]$. A picture representing an element of order $16$ in… ▽ More This is my old unpublished paper called "The generalized Grassmann invariant". It shows how "pictures" also known as "Peiffer diagrams" represent elements of $H_3G$ for any group $G$ and shows that $K_3(\mathbb Z [G])$ is isomorphic to a group of deformation classes of pictures for the Steinberg group of $\mathbb Z[G]$. A picture representing an element of order $16$ in $K_3(\mathbb Z)\cong \mathbb Z_{48}$ is also constructed. In this updated version of the paper, we modify only the pictures and leave the text more or less unchanged. We also added an Appendix to explain the new pictures using representations of quivers and root systems of type $A_n$. Often, some roots are missing in the Morse pictures. We give two ideas to replace these roots. One uses "ghost handle slides" to obtain a standard picture. The second idea uses the (real) Cartan subalgebra $H$ to obtain a "relative" picture for a torsion class and adds "ghost modules" which are directly related to the generalized Grassmann invariant. Additions and changes are in blue except the pictures are black with colored ghosts. △ Less

Submitted 23 March, 2025; v1 submitted 26 February, 2025; originally announced February 2025.

Comments: 47 pages, 9 figures, v2: preview of more precise description of ghost modules added with reference

MSC Class: 19J10; 16G20

Enumerating m-clusters using exceptional sequences

Authors: Kiyoshi Igusa

Abstract: We give a bijection between ordered $m$-clusters and (complete) $m$-exceptional sequences, a concept that we introduce for this purpose. This holds for all hereditary artin algebras. This extends the bijection in the $m = 1$ case shown in arXiv:1706.02041. We give a bijection between ordered $m$-clusters and (complete) $m$-exceptional sequences, a concept that we introduce for this purpose. This holds for all hereditary artin algebras. This extends the bijection in the $m = 1$ case shown in arXiv:1706.02041. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: 18 pages, no figures, presented at Workshop on Cluster Algebras and Related Topics at the Chern Institute at Nankai University in July, 2017

MSC Class: 18E30:16G20

Bijection between positive clusters and projectively signed exceptional sequences

Authors: Shujian Chen, Kiyoshi Igusa

Abstract: In 2017, Igusa and Todorov gave a bijection between signed exceptional sequences and ordered partial clusters. In this paper, we show that every term in an exceptional sequence is either relatively projective or relatively injective or both and we refine this bijection to one between projectively signed exceptional sequences and ordered partial positive clusters. We also give a characterization of… ▽ More In 2017, Igusa and Todorov gave a bijection between signed exceptional sequences and ordered partial clusters. In this paper, we show that every term in an exceptional sequence is either relatively projective or relatively injective or both and we refine this bijection to one between projectively signed exceptional sequences and ordered partial positive clusters. We also give a characterization of relatively projective/injective objects in terms of supports of the objects in the exceptional sequence. △ Less

Submitted 28 December, 2024; v1 submitted 10 December, 2023; originally announced December 2023.

Comments: 17 pages, v2: the result was already "known" in the finite case, v3: lemmas 1.2, 1.3 are stated in a more useful way, v4: we expanded the paper and changed the title, v5: In Section 4 we calculate the correlation between multiple terms in an exceptional sequence having property rPI (relatively projective and relatively injective)

MSC Class: 16G20

Journal ref: Communications in Algebra (2024)

Generalized Goulden-Yong duals and signed minimal factorizations

Authors: Shujian Chen, Kiyoshi Igusa

Abstract: We show the equivalence between one-way reflections and relative projective representations. We construct generalized Goulden-Yong duals using reverse Garside element actions and folded chord diagrams. We give two applications of the generalized Goulden-Yong duals: constructing generalized Prüfer codes and counting signed factorizations using the matrix-tree theorem. We show the equivalence between one-way reflections and relative projective representations. We construct generalized Goulden-Yong duals using reverse Garside element actions and folded chord diagrams. We give two applications of the generalized Goulden-Yong duals: constructing generalized Prüfer codes and counting signed factorizations using the matrix-tree theorem. △ Less

Submitted 22 April, 2024; v1 submitted 9 November, 2023; originally announced November 2023.

Comments: 33 pages, 15 figures. v2: updated type D Prüfer codes following a suggestion by Olivier Bernardi and made some minor changes

MSC Class: 05E10

Derived delooping levels and finitistic dimension

Authors: Ruoyu Guo, Kiyoshi Igusa

Abstract: In this paper, we develop new ideas regarding the finitistic dimension conjecture, or the findim conjecture for short. Specifically, we improve upon the delooping level by introducing three new invariants called the effective delooping level $\mathrm{edell}$, the sub-derived delooping level $\mathrm{subddell}$, and the derived delooping level $\mathrm{ddell}$. They are all better upper bounds for… ▽ More In this paper, we develop new ideas regarding the finitistic dimension conjecture, or the findim conjecture for short. Specifically, we improve upon the delooping level by introducing three new invariants called the effective delooping level $\mathrm{edell}$, the sub-derived delooping level $\mathrm{subddell}$, and the derived delooping level $\mathrm{ddell}$. They are all better upper bounds for the opposite Findim. Precisely, we prove \[ \mathrm{Findim}\,Λ^{\mathrm{op}} = \mathrm{edell}\,Λ\leq \mathrm{ddell}\,Λ\text{ (or $\mathrm{subddell}\,Λ$)} \leq \mathrm{dell}\,Λ\] and provide examples where the last inequality is strict (including the recent example from [16] where $\mathrm{dell}\,Λ=\infty$, but $\mathrm{ddell}\, Λ= 1 =\mathrm{Findim}\, Λ^{\mathrm{op}}$). We further enhance the connection between the findim conjecture and tilting theory by showing finitely generated modules with finite derived delooping level form a torsion-free class $\mathcal{F}$. Therefore, studying the corresponding torsion pair $(\mathcal{T}, \mathcal{F})$ will shed more light on the little finitistic dimension. Lastly, we relate the delooping level to the $φ$-dimension $φ\dim$, a popular upper bound for findim, and give another sufficient condition for the findim conjecture. △ Less

Submitted 11 April, 2025; v1 submitted 1 November, 2023; originally announced November 2023.

Comments: 20 pages; Accepted version; Published in Advances in Mathematics

MSC Class: 16G20; 16E05

Journal ref: Advances in Mathematics, 464, 110152 (2025)

Rooted labeled trees and exceptional sequences of type $B_n/C_n$

Authors: Kiyoshi Igusa, Emre Sen

Abstract: We show that exceptional sequences in the abelian tube of rank $n$, which we denote $\mathscr{ W}_n$, are related to exceptional sequences of type $B_n$ and $C_n$ and to those of type $B_{n-1}$ and $C_{n-1}$. $\mathscr{W}_n$ has $n^{n-1}$ exceptional sequences. These are in $1$-to-$n$ correspondence from the $n^n$ "augmented" rooted labeled trees with $n$ vertices which, in turn, are in bijection… ▽ More We show that exceptional sequences in the abelian tube of rank $n$, which we denote $\mathscr{ W}_n$, are related to exceptional sequences of type $B_n$ and $C_n$ and to those of type $B_{n-1}$ and $C_{n-1}$. $\mathscr{W}_n$ has $n^{n-1}$ exceptional sequences. These are in $1$-to-$n$ correspondence from the $n^n$ "augmented" rooted labeled trees with $n$ vertices which, in turn, are in bijection with exceptional sequences of type $B_n$ and $C_n$. By determining the probability distribution of relative projectives in these exceptional sequences, we show there are $(2n)!/n!$ signed exceptional sequences in $\mathscr{W}_n$ and we show that these are in bijection with signed exceptional sequences of type $B_{n-1}$ and $C_{n-1}$ by combining the results of Buan-Marsh-Vatne and Igusa-Todorov. △ Less

Submitted 19 January, 2024; v1 submitted 2 October, 2023; originally announced October 2023.

Comments: 40 pages, 16 figures. Presented by the first author at the 33rd meeting of Representation Theory of Algebras and Related topics, University of Sherbrooke, Sept 23, 2023. v2: Reference [7] added. Apparent contradiction explained in Remark 4.3

MSC Class: 16G20: 05C05

On the functoriality of the space of equivariant smooth $h$-cobordisms

Authors: Thomas Goodwillie, Kiyoshi Igusa, Cary Malkiewich, Mona Merling

Abstract: We construct an $(\infty,1)$-functor that takes each smooth $G$-manifold with corners $M$ to the space of equivariant smooth $h$-cobordisms ${\mathcal H}_{\mathrm{Diff}}(M)$. We also give a stable analogue ${\mathcal H}^{\mathcal U}_{\mathrm{Diff}}(M)$ where the manifolds are stabilized with respect to representation discs. The functor structure is subtle to construct, and relies on several new id… ▽ More We construct an $(\infty,1)$-functor that takes each smooth $G$-manifold with corners $M$ to the space of equivariant smooth $h$-cobordisms ${\mathcal H}_{\mathrm{Diff}}(M)$. We also give a stable analogue ${\mathcal H}^{\mathcal U}_{\mathrm{Diff}}(M)$ where the manifolds are stabilized with respect to representation discs. The functor structure is subtle to construct, and relies on several new ideas. In the non-equivariant case $G=e$, our $(\infty,1)$-functor agrees with previous constructions of the smooth $h$-cobordism space as a functor to the homotopy category. △ Less

Submitted 21 April, 2025; v1 submitted 26 March, 2023; originally announced March 2023.

Comments: 91 pages. Thorough revision and improved exposition. Notably, the smooth extension and tubular neighborhood results for equivariant manifolds with corners are much more detailed now. We thank a very careful referee for many useful suggestions

Continuous Stability Conditions of Type A and Measured Laminations of the Hyperbolic Plane

Authors: Kiyoshi Igusa, Job Daisie Rock

Abstract: We introduce stability conditions (in the sense of King) for representable modules of continuous quivers of type A along with a special criteria called the four point condition. The stability conditions are defined using a generalization of delta functions, called half-delta functions. We show that for a continuous quiver of type A with finitely many sinks and sources, the stability conditions sat… ▽ More We introduce stability conditions (in the sense of King) for representable modules of continuous quivers of type A along with a special criteria called the four point condition. The stability conditions are defined using a generalization of delta functions, called half-delta functions. We show that for a continuous quiver of type A with finitely many sinks and sources, the stability conditions satisfying the four point condition are in bijection with measured laminations of the hyperbolic plane. Along the way, we extend an earlier result by the first author and Todorov regarding continuous cluster categories for linear continuous quivers of type A and laminations of the hyperbolic plane to all continuous quivers of type A with finitely many sinks and sources. We also give a formula for the continuous cluster character. △ Less

Submitted 28 February, 2023; originally announced February 2023.

Comments: 38 pages, 12 figures

On Clusters and Exceptional Sets in Types $\mathbb{A}$ and $\tilde{\mathbb{A}}$

Authors: Kiyoshi Igusa, Ray Maresca

Abstract: In this paper we first study clusters in type $\tilde{\mathbb{A}}$ by collecting them into a finite number of infinite families given by Dehn twists of their corresponding triangulations, and show that these families are counted by the Catalan numbers. We also highlight the similarities and differences between the annuli diagrams used to study clusters and those used to study exceptional sets in t… ▽ More In this paper we first study clusters in type $\tilde{\mathbb{A}}$ by collecting them into a finite number of infinite families given by Dehn twists of their corresponding triangulations, and show that these families are counted by the Catalan numbers. We also highlight the similarities and differences between the annuli diagrams used to study clusters and those used to study exceptional sets in type $\tilde{\mathbb{A}}$. We then focus on exceptional collections (sets) of modules over path algebras of quivers by first showing that the notion of relative projectivity in exceptional sets is well defined. We finish by counting the number of exceptional sets of representations of type $\mathbb{A}$ quivers with straight orientation and using this to count the number of families of exceptional sets of type $\tilde{\mathbb{A}}$ with straight orientation. △ Less

Submitted 10 June, 2023; v1 submitted 25 September, 2022; originally announced September 2022.

Comments: 35 pages, 11 figures, and 3 tables. Several examples have been added

Which cluster morphism categories are CAT(0)

Authors: Kiyoshi Igusa, Gordana Todorov

Abstract: The cluster morphism category of an hereditary algebra was introduced in [5] to show that the picture space of an hereditary algebra of finite representation type is a $K(π,1)$ for the associated picture group, thereby allowing for the computation of the homology of picture groups of finite type as carried out in [7] for the case of $A_n$. In this paper we show that the cluster morphism category… ▽ More The cluster morphism category of an hereditary algebra was introduced in [5] to show that the picture space of an hereditary algebra of finite representation type is a $K(π,1)$ for the associated picture group, thereby allowing for the computation of the homology of picture groups of finite type as carried out in [7] for the case of $A_n$. In this paper we show that the cluster morphism category is a $CAT(0)$-category for hereditary algebras of finite or tame type with only small tubes. As a consequence, we get that the classifying space of the cluster morphism category is a locally $CAT(0)$ space and, as a consequence of that, we get that this classifying space is a $K(π,1)$. △ Less

Submitted 30 March, 2022; originally announced March 2022.

Comments: 14 pages, one figure

MSC Class: 16G20

Second obstruction to pseudoisotopy in dimension 3

Authors: Kiyoshi Igusa

Abstract: We use lens-shaped models and the second obstruction to pseudoisotopy to construct a nontrivial diffeomorphism of $M\times I$ where $M$ is the connected sum of $S^1\times S^2$ with a another nonsimply connected 3-manifold $M'$. Then we take two copies of this diffeomorphism and paste together their tops and bottoms to obtain a diffeomorphism of $M\times S^1$. Properties of the second obstruction a… ▽ More We use lens-shaped models and the second obstruction to pseudoisotopy to construct a nontrivial diffeomorphism of $M\times I$ where $M$ is the connected sum of $S^1\times S^2$ with a another nonsimply connected 3-manifold $M'$. Then we take two copies of this diffeomorphism and paste together their tops and bottoms to obtain a diffeomorphism of $M\times S^1$. Properties of the second obstruction and the first Postnikov invariant imply that this diffeomorphism of the closed 4-manifold $M\times S^1$ is not isotopic to the identity. Similar results were obtain by Singh [10]. △ Less

Submitted 15 December, 2021; originally announced December 2021.

Comments: 11 pages, 5 figures

MSC Class: 19J10: 58K60

Binary trees using the bookshelf and baseball constructions

Authors: Ruiyang Hu, Liang Jinlong, Bradley Kaplan, Zhaonan Li, Serra Pelin, Michael Richard, Yicheng Tao, Max Weinstein, Kiyoshi Igusa

Abstract: This is a largely expository paper in which we discuss various sets having a Catalan number of objects and some well-known bijections between these sets presented in a new and hopefully interesting way. We call these concepts "bookshelf" and "baseball" constructions. No knowledge of these topics is assumed. These are the final student papers for a course at Brandeis University. This is a largely expository paper in which we discuss various sets having a Catalan number of objects and some well-known bijections between these sets presented in a new and hopefully interesting way. We call these concepts "bookshelf" and "baseball" constructions. No knowledge of these topics is assumed. These are the final student papers for a course at Brandeis University. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: 49 pages (several blank), 12 figures

MSC Class: 05C05: 16G20

Probability distribution for exceptional sequences of type $A_n$

Authors: Kiyoshi Igusa

Abstract: We determine the probability distribution for relative projective objects in an exceptional sequence of type $A_n$ of any length. We show that these events (the $j$-th object in an exceptional sequence of length $k\le n$ being relatively projective) are independent of each other and from the length of the sequence. This gives a probabilistic interpretation of the product formula for the number of… ▽ More We determine the probability distribution for relative projective objects in an exceptional sequence of type $A_n$ of any length. We show that these events (the $j$-th object in an exceptional sequence of length $k\le n$ being relatively projective) are independent of each other and from the length of the sequence. This gives a probabilistic interpretation of the product formula for the number of exceptional sequences of length $k$ and clusters or partial clusters of size $k$ since the latter numbers are proportional to the number of signed exceptional sequences of length $k$. △ Less

Submitted 7 August, 2023; v1 submitted 9 December, 2021; originally announced December 2021.

Comments: 13 pages, 2 figures

MSC Class: 16G20: 05C05

Second obstruction to pseudoisotopy I

Authors: Kiyoshi Igusa

Abstract: A pseudoisotopy of $M$ is a diffeomorphism of $M\times I$ which is the identity on $M\times 0$. We give an explicit construction of pseudoisotopies of 4-manifolds which realize certain elements of the "second obstruction to pseudoisotopy". The next paper will give precise statements of our results for 5-manifolds which had been announced long ago. A pseudoisotopy of $M$ is a diffeomorphism of $M\times I$ which is the identity on $M\times 0$. We give an explicit construction of pseudoisotopies of 4-manifolds which realize certain elements of the "second obstruction to pseudoisotopy". The next paper will give precise statements of our results for 5-manifolds which had been announced long ago. △ Less

Submitted 18 October, 2021; originally announced October 2021.

Comments: 17 pages, 5 figures

MSC Class: 19J10 (primary) 58K60 (secondary)

Exceptional sequences and rooted labeled forests

Authors: Kiyoshi Igusa, Emre Sen

Abstract: We give a representation-theoretic bijection between rooted labeled forests with $n$ vertices and complete exceptional sequences for the quiver of type $A_n$ with straight orientation. The ascending and descending vertices in the forest correspond to relatively injective and relatively projective objects in the exceptional sequence. We conclude that every object in an exceptional sequence for line… ▽ More We give a representation-theoretic bijection between rooted labeled forests with $n$ vertices and complete exceptional sequences for the quiver of type $A_n$ with straight orientation. The ascending and descending vertices in the forest correspond to relatively injective and relatively projective objects in the exceptional sequence. We conclude that every object in an exceptional sequence for linearly oriented $A_n$ is either relatively projective or relatively injective or both. We construct a natural action of the extended braid group on rooted labeled forests and show that it agrees with the known action of the braid group on complete exceptional sequences. We also describe the action of $Δ$, the Garside element of the braid group, on rooted labeled forests using representation theory and show how this relates to cluster theory. △ Less

Submitted 31 December, 2024; v1 submitted 25 August, 2021; originally announced August 2021.

Comments: 32 pages, 13 figures. The results of this paper were presented as conjectures at the 2021 Workshop on Cluster Algebras and Related Topics at the Morningside Center for Mathematics at CAS in Beijing, August 2021. v3: Garside element added. v4: the paper is reorganized with a new introduction to emphasize relatively projective and relatively injective terms. v5: Proposition 4.16 improved

MSC Class: 16G20: 05C05

Journal ref: Journal of Algebra and Its Applications, March 2024

Scaled Homology and Topological Entropy

Authors: Bingzhe Hou, Kiyoshi Igusa, Zihao Liu

Abstract: In this paper, we build up a scaled homology theory, $lc$-homology, for metric spaces such that every metric space can be visually regarded as "locally contractible" with this newly-built homology. We check that $lc$-homology satisfies all Eilenberg-Steenrod axioms except exactness axiom whereas its corresponding $lc$-cohomology satisfies all axioms for cohomology. This homology can relax the smoo… ▽ More In this paper, we build up a scaled homology theory, $lc$-homology, for metric spaces such that every metric space can be visually regarded as "locally contractible" with this newly-built homology. We check that $lc$-homology satisfies all Eilenberg-Steenrod axioms except exactness axiom whereas its corresponding $lc$-cohomology satisfies all axioms for cohomology. This homology can relax the smooth manifold restrictions on the compact metric space such that the entropy conjecture will hold for the first $lc$-homology group. △ Less

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

Comments: v3: minor edits according to the referee's report. To appear in PAMS. 16 pages

Infinitesimal semi-invariant pictures and co-amalgamation

Authors: Eric J. Hanson, Kiyoshi Igusa, Moses Kim, Gordana Todorov

Abstract: The purpose of this paper is to study the local structure of the semi-invariant picture of a tame hereditary algebra near the null root. Using a construction that we call co-amalgamation, we show that this local structure is completely described by the semi-invariant pictures of a collection of self-injective Nakayama algebras. We then describe the cones of this local structure using cluster-like… ▽ More The purpose of this paper is to study the local structure of the semi-invariant picture of a tame hereditary algebra near the null root. Using a construction that we call co-amalgamation, we show that this local structure is completely described by the semi-invariant pictures of a collection of self-injective Nakayama algebras. We then describe the cones of this local structure using cluster-like structures that we call support regular clusters. Finally, we show that the local structure is (piecewise linearly) invariant under cluster tilting. △ Less

Submitted 22 August, 2024; v1 submitted 11 December, 2020; originally announced December 2020.

Comments: v3: accepted manuscript. v2: improved and expanded exposition, notation, and references; replaced definition of co-amalgamation with a more general version (Definition 2.1.7). 48 pages, 6 figures

MSC Class: 16G20

Journal ref: Journal of the London Mathematical Society 109 (2023), no. 1

Picture groups and maximal green sequences

Authors: Kiyoshi Igusa, Gordana Todorov

Abstract: We show that picture groups are directly related to maximal green sequences for valued Dynkin quivers of finite type. Namely, there is a bijection between maximal green sequences and positive expressions (words in the generators without inverses) for the Coxeter element of the picture group. We actually prove the theorem for the more general set up of "vertically and horizontally ordered" sets of… ▽ More We show that picture groups are directly related to maximal green sequences for valued Dynkin quivers of finite type. Namely, there is a bijection between maximal green sequences and positive expressions (words in the generators without inverses) for the Coxeter element of the picture group. We actually prove the theorem for the more general set up of "vertically and horizontally ordered" sets of positive real Schur roots for any hereditary algebra (not necessarily of finite type). Furthermore, we show that every picture for such a set of positive roots is a linear combination of "atoms" and we give a precise description of atoms as special semi-invariant pictures. △ Less

Submitted 24 June, 2025; v1 submitted 29 July, 2020; originally announced July 2020.

Comments: 37 pages, 12 figures, v2: history of the subject added by request of referee, final submitted version

MSC Class: 16G20; 20F55

Journal ref: Electronic Research Archive (2021), 29(5): 3031--3068

Continuous Quivers of Type A (III) Embeddings of Cluster Theories

Authors: Kiyoshi Igusa, Job D. Rock, Gordana Todorov

Abstract: We continue the work started in parts (I) and (II). In this part we classify which continuous type A quivers are derived equivalent and introduce the new continuous cluster category with E-clusters, which are a generalization of clusters. In the middle we provide a rigorous connection between the previous construction of the continuous cluster category and the new construction. We conclude with th… ▽ More We continue the work started in parts (I) and (II). In this part we classify which continuous type A quivers are derived equivalent and introduce the new continuous cluster category with E-clusters, which are a generalization of clusters. In the middle we provide a rigorous connection between the previous construction of the continuous cluster category and the new construction. We conclude with the introduction of a cluster theory, generalizing the notion of a cluster structure. Using this new notion, we demonstrate how one embeds known type A cluster theories into the new E-cluster theory in a way compatible with mutation. This is part (III) in a series of work that will conclude with a continuous generalization of mutation for cluster theories. △ Less

Submitted 3 December, 2021; v1 submitted 22 April, 2020; originally announced April 2020.

Comments: 37 pages. This is the version before the accepted version, per journal requirement

MSC Class: Primary: 13F60; Secondary: 16G20

Universal quivers

Authors: Sergey Fomin, Kiyoshi Igusa, Kyungyong Lee

Abstract: We show that for any positive integer $n$, there exists a quiver $Q$ with $O(n^2)$ vertices and $O(n^2)$ edges such that any quiver on $n$ vertices is a full subquiver of a quiver mutation equivalent to $Q$. We generalize this statement to skew-symmetrizable matrices and obtain other related results. In particular, we show that any quiver is a full subquiver of a quiver mutation equivalent to a qu… ▽ More We show that for any positive integer $n$, there exists a quiver $Q$ with $O(n^2)$ vertices and $O(n^2)$ edges such that any quiver on $n$ vertices is a full subquiver of a quiver mutation equivalent to $Q$. We generalize this statement to skew-symmetrizable matrices and obtain other related results. In particular, we show that any quiver is a full subquiver of a quiver mutation equivalent to a quiver of a plabic graph. △ Less

Submitted 11 April, 2021; v1 submitted 2 March, 2020; originally announced March 2020.

Comments: Final version, to appear in Algebraic Combinatorics. 22 pages, 16 figures

MSC Class: 13F60

A Legendrian Turaev torsion via generating families

Authors: Daniel Alvarez-Gavela, Kiyoshi Igusa

Abstract: We introduce a Legendrian invariant built out of the Turaev torsion of generating families. This invariant is defined for a certain class of Legendrian submanifolds of 1-jet spaces, which we call of Euler type. We use our invariant to study mesh Legendrians: a family of 2-dimensional Euler type Legendrian links whose linking pattern is determined by a bicolored trivalent ribbon graph. The Turaev t… ▽ More We introduce a Legendrian invariant built out of the Turaev torsion of generating families. This invariant is defined for a certain class of Legendrian submanifolds of 1-jet spaces, which we call of Euler type. We use our invariant to study mesh Legendrians: a family of 2-dimensional Euler type Legendrian links whose linking pattern is determined by a bicolored trivalent ribbon graph. The Turaev torsion of mesh Legendrians is related to a certain monodromy of handle slides, which we compute in terms of the combinatorics of the graph. As an application, we exhibit pairs of Legendrian links in the 1-jet space of any orientable closed surface which are formally equivalent, cannot be distinguished by any natural Legendrian invariant, yet are not Legendrian isotopic. These examples appeared in a different guise in the work of the second author with J. Klein on pictures for $K_3$ and the higher Reidemeister torsion of circle bundles. △ Less

Submitted 20 October, 2020; v1 submitted 4 November, 2019; originally announced November 2019.

Comments: 54 pages, 26 figures

MSC Class: 57R17; 19J10

Resolution quiver and cyclic homology criteria for Nakayama algebras

Authors: Eric J. Hanson, Kiyoshi Igusa

Abstract: If a Nakayama algebra is not cyclic, it has finite global dimension. For a cyclic Nakayama algebra, there are many characterizations of when it has finite global dimension. In [She17], Shen gave such a characterization using Ringel's resolution quiver. In [IZ92], the second author, with Zacharia, gave a cyclic homology characterization for when a monomial relation algebra has finite global dimensi… ▽ More If a Nakayama algebra is not cyclic, it has finite global dimension. For a cyclic Nakayama algebra, there are many characterizations of when it has finite global dimension. In [She17], Shen gave such a characterization using Ringel's resolution quiver. In [IZ92], the second author, with Zacharia, gave a cyclic homology characterization for when a monomial relation algebra has finite global dimension. We show directly that these criteria are equivalent for all Nakayama algebras. Our comparison result also reproves both characterizations. In a separate paper we discuss an interesting example that came up in our attempt to generalize this comparison result to arbitrary monomial relation algebras [HI19]. △ Less

Submitted 17 July, 2020; v1 submitted 1 November, 2019; originally announced November 2019.

Comments: 10 pages, v3: final version, v2: references added and updated

MSC Class: 16G20; 19D55

Journal ref: Journal of Algebra 553 (2020): 138-153

A counterexample to the $φ$-dimension conjecture

Authors: Eric J. Hanson, Kiyoshi Igusa

Abstract: In 2005, the second author and Todorov introduced an upper bound on the finitistic dimension of an Artin algebra, now known as the φ-dimension. The φ-dimension conjecture states that this upper bound is always finite, a fact that would imply the finitistic dimension conjecture. In this paper, we present a counterexample to the φ-dimension conjecture and explain where it comes from. We also discuss… ▽ More In 2005, the second author and Todorov introduced an upper bound on the finitistic dimension of an Artin algebra, now known as the φ-dimension. The φ-dimension conjecture states that this upper bound is always finite, a fact that would imply the finitistic dimension conjecture. In this paper, we present a counterexample to the φ-dimension conjecture and explain where it comes from. We also discuss implications for further research and the finitistic dimension conjecture. △ Less

Submitted 23 August, 2022; v1 submitted 1 November, 2019; originally announced November 2019.

Comments: final version

MSC Class: 16E05; 16E10; 16G10; 16G20; 18G20

Journal ref: Mathematische Zeitschrift 300, 807-826 (2022)

Continuous quivers of type A (I) Foundations

Authors: Kiyoshi Igusa, Job D. Rock, Gordana Todorov

Abstract: We generalize type $A$ quivers to continuous type $A$ quivers and prove initial results about pointwise finite-dimensional (pwf) representations. We classify the indecomosable pwf representations and provide a decomposition theorem, recovering results of Botnan and Crawley-Boevey. We also classify the indecomposable pwf projective representations. Finally, we prove that many of the properties of f… ▽ More We generalize type $A$ quivers to continuous type $A$ quivers and prove initial results about pointwise finite-dimensional (pwf) representations. We classify the indecomosable pwf representations and provide a decomposition theorem, recovering results of Botnan and Crawley-Boevey. We also classify the indecomposable pwf projective representations. Finally, we prove that many of the properties of finite-dimensional type $A_n$ representations are present in finitely generated pwf representations. This is the self-contained foundational part of a series of works to study a generalization of continuous clusters categories and their relationship to other type $A$ cluster structures. △ Less

Submitted 26 March, 2021; v1 submitted 23 September, 2019; originally announced September 2019.

Comments: 29 pages. Revised to be a self-contained treatment with a focus on representation theoretic methods

MSC Class: 18E30: 16G20

Continuous cluster categories II: continuous cluster-tilted categories

Authors: Kiyoshi Igusa, Gordana Todorov

Abstract: We show that the quotient of the continuous cluster category $\mathcal C_π$ modulo the additive subcategory generated by any cluster is an abelian category and we show that it is isomorphic to the category of infinite length modules over the endomorphism ring of the cluster. These theorems extend the theorems of Caldero-Chapoton-Schiffler and Buan-Marsh-Reiten for cluster categories to the continu… ▽ More We show that the quotient of the continuous cluster category $\mathcal C_π$ modulo the additive subcategory generated by any cluster is an abelian category and we show that it is isomorphic to the category of infinite length modules over the endomorphism ring of the cluster. These theorems extend the theorems of Caldero-Chapoton-Schiffler and Buan-Marsh-Reiten for cluster categories to the continuous cluster category of type $A$. These results will be generalized in a series of forthcoming joint papers of the two authors with Job Rock. △ Less

Submitted 11 September, 2019; originally announced September 2019.

Comments: This paper needs to be updated with more references

MSC Class: 18E30:16G20

Continuously triangulating the continuous cluster category

Authors: Matthew Garcia, Kiyoshi Igusa

Abstract: In [4], the continuous cluster category was introduced. This is a topological category whose space of isomorphism classes of indecomposable objects forms a Moebius band. It was found in [4] that, in order to have a continuously triangulated structure on this category, one needs at least two copies of each indecomposable object forming a 2-fold covering space of the Moebius band. This paper classif… ▽ More In [4], the continuous cluster category was introduced. This is a topological category whose space of isomorphism classes of indecomposable objects forms a Moebius band. It was found in [4] that, in order to have a continuously triangulated structure on this category, one needs at least two copies of each indecomposable object forming a 2-fold covering space of the Moebius band. This paper classifies all continuous triangulations of finite coverings of the basic continuous cluster category. This includes the connected 2-fold covering of Igusa-Todorov [4], the disconnected 2-fold covering of Orlov [6] and a third unexpected continuously add-triangulated 2-fold covering of the Moebius strip category. △ Less

Submitted 7 August, 2020; v1 submitted 25 July, 2019; originally announced July 2019.

Comments: 49 pages, 3 figures, earlier versions of this work were presented by the first author at the Auslander Conference at Woods Hole in May, 2015 and by the second author at a workshop at Tsinghua University in Beijing in July 2017. Version 1 was part of the first author's PhD thesis. Submitted to Topology and its Applications

MSC Class: 55U40:18E30:16G20

Frieze varieties are invariant under Coxeter mutation

Authors: Kiyoshi Igusa, Ralf Schiffler

Abstract: We define a generalized version of the frieze variety introduced by Lee, Li, Mills, Seceleanu and the second author. The generalized frieze variety is an algebraic variety determined by an acyclic quiver and a generic specialization of cluster variables in the cluster algebra for this quiver. The original frieze variety is obtained when this specialization is (1, . . . , 1). The main result is tha… ▽ More We define a generalized version of the frieze variety introduced by Lee, Li, Mills, Seceleanu and the second author. The generalized frieze variety is an algebraic variety determined by an acyclic quiver and a generic specialization of cluster variables in the cluster algebra for this quiver. The original frieze variety is obtained when this specialization is (1, . . . , 1). The main result is that a generalized frieze variety is determined by any generic element of any component of that variety. We also show that the "Coxeter mutation" cyclically permutes these components. In particular, this shows that the frieze variety is invariant under the Coxeter mutation at a generic point. The paper contains many examples which are generated using a new technique which we call an invariant Laurent polynomial. We show that a symmetry of a mutation of a quiver gives such an invariant rational function. △ Less

Submitted 7 July, 2019; v1 submitted 31 May, 2019; originally announced June 2019.

Comments: 13 pages. v2: Key observations by Gordana Todorov added. Presented by the first author and referenced by the second author at the conference "Cluster Algebras and Representation Theory" held in Kyoto in June 2019

MSC Class: 13F60; 16G20

Pairwise Compatibility for 2-Simple Minded Collections

Authors: Eric J. Hanson, Kiyoshi Igusa

Abstract: In $τ$-tilting theory, it is often difficult to determine when a set of bricks forms a 2-simple minded collection. The aim of this paper is to determine when a set of bricks is contained in a 2-simple minded collection for a $τ$-tilting finite algebra. We begin by extending the definition of mutation from 2-simple minded collections to more general sets of bricks (which we call semibrick pairs). T… ▽ More In $τ$-tilting theory, it is often difficult to determine when a set of bricks forms a 2-simple minded collection. The aim of this paper is to determine when a set of bricks is contained in a 2-simple minded collection for a $τ$-tilting finite algebra. We begin by extending the definition of mutation from 2-simple minded collections to more general sets of bricks (which we call semibrick pairs). This gives us an algorithm to check if a semibrick pair is contained in a 2-simple minded collection. We then use this algorithm to show that the 2-simple minded collections of a $τ$-tilting finite gentle algebra (whose quiver contains no loops or 2-cycles) are given by pairwise compatibility conditions if and only if every vertex in the corresponding quiver has degree at most 2. As an application, we show that the classifying space of the $τ$-cluster morphism category of a $τ$-tilting finite gentle algebra (whose quiver contains no loops or 2-cycles) is an Eilenberg- MacLane space if every vertex in the corresponding quiver has degree at most 2. △ Less

Submitted 11 April, 2023; v1 submitted 5 April, 2019; originally announced April 2019.

Comments: v5: journal version. v4: changed title, updated and added references, changes to exposition for clarity and readability, corrected typos. v3: changes to introduction. v2: Made a correction to Corollary 5.12 (Theorem D in the introduction). 27 pages

MSC Class: 16G20; 05E15

Journal ref: Journal of Pure and Applied Algebra 225 (2021), no. 6

Cyclic posets and triangulation clusters

Authors: Kiyoshi Igusa, Gordana Todorov

Abstract: Triangulated categories coming from cyclic posets were originally introduced by the authors in [IT15b] as a generalization of the constructions of various triangulated categories with cluster structures. We give an overview, then analyze triangulation clusters which are those corresponding to topological triangulations of the 2-disk. Locally finite non-triangulation clusters give topological trian… ▽ More Triangulated categories coming from cyclic posets were originally introduced by the authors in [IT15b] as a generalization of the constructions of various triangulated categories with cluster structures. We give an overview, then analyze triangulation clusters which are those corresponding to topological triangulations of the 2-disk. Locally finite non-triangulation clusters give topological triangulations of the cactus space associated to the cactus cyclic poset. △ Less

Submitted 24 March, 2019; v1 submitted 11 March, 2019; originally announced March 2019.

Comments: 32 pages, 10 figures, presented by second author at Tsinghua University and at the Chern Institute of Mathematics, Nankai University, China, July 3-13, 2017, accepted for publication in SCIENCE CHINA Mathematics. v2: minor corrections, theorems renumbers

MSC Class: 18E30; 16G20

Maximal green sequences of quivers with multiple edges

Authors: Kiyoshi Igusa, Ying Zhou

Abstract: In this paper we completely describe maximal green sequences (MGS) of acyclic quivers with multiple edges in terms of maximal green sequences of their multiple edge-free (ME-free) versions. In particular we establish that any MGS of a quiver must be an ME-free MGS of its ME-free version. For quivers with oriented cycles our results for acyclic quivers do not apply. However a weaker result is avail… ▽ More In this paper we completely describe maximal green sequences (MGS) of acyclic quivers with multiple edges in terms of maximal green sequences of their multiple edge-free (ME-free) versions. In particular we establish that any MGS of a quiver must be an ME-free MGS of its ME-free version. For quivers with oriented cycles our results for acyclic quivers do not apply. However a weaker result is available under certain conditions. △ Less

Submitted 19 February, 2019; originally announced February 2019.

MSC Class: 13F60

τ-Cluster Morphism Categories and Picture Groups

Authors: Eric J. Hanson, Kiyoshi Igusa

Abstract: $τ… ▽ More $τ$-cluster morphism categories, introduced by Buan and Marsh, are a generalization of cluster morphism categories (defined by Igusa and Todorov). We show the classifying space of such a category is a cube complex, generalizing results of Igusa and Todorov and Igusa. Furthermore, the fundamental group of this space is the picture group of the algebra, first defined by Igusa, Todorov, and Weyman. Finally, we show that for Nakayama algebras, this space is a $K(π,1)$. The key step is a combinatorial proof that, for Nakayama algebras, 2-simple minded collections are characterized by pairwise compatibility conditions, a fact not true in general. △ Less

Submitted 22 June, 2022; v1 submitted 24 September, 2018; originally announced September 2018.

Comments: 38 pages, 4 figures. v4: journal version. v3: Numerous improvements have been made following suggestions of an anonymous referee. v2: Lemma 4.13 has been combined with Lemma 4.12 (now Lemma 4.11) and its proof has been changed. The introduction has been rewritten and minor typos have been fixed

MSC Class: 16G20

Journal ref: Communications in Algebra 49 (2021), no. 10, 4376-4415

Horizontal and vertical mutation fans

Authors: Kiyoshi Igusa

Abstract: We introduce diagrams for $m$-cluster categories which we call "horizontal" and "vertical" mutation fans. These are analogous to the mutation fans (also known as "semi-invariant pictures" or "scattering diagrams") for the standard ($m=1$) cluster case which are dual to the poset of finitely generated torsion classes. The purpose of these diagrams is to visualize mutations and analogues of maximal… ▽ More We introduce diagrams for $m$-cluster categories which we call "horizontal" and "vertical" mutation fans. These are analogous to the mutation fans (also known as "semi-invariant pictures" or "scattering diagrams") for the standard ($m=1$) cluster case which are dual to the poset of finitely generated torsion classes. The purpose of these diagrams is to visualize mutations and analogues of maximal green sequences in the $m$-cluster category with special emphasis on the $c$-vectors (the "brick" labels). △ Less

Submitted 17 May, 2018; v1 submitted 12 May, 2018; originally announced May 2018.

Comments: 23 pages, 10 figures, presented at Workshop on Cluster Algebras and Related Topics held at the Chern Institute of Mathematics, Nankai University, China, July 10-13, 2017, accepted for publication in SCIENCE CHINA Mathematics, v2: minor corrections

Stability conditions for affine type A

Authors: P. J. Apruzzese, Kiyoshi Igusa

Abstract: We construct maximal green sequences of maximal length for any affine quiver of type $A$. We determine which sets of modules (equivalently $c$-vectors) can occur in such sequences and, among these, which are given by a linear stability condition (also called a central charge). There is always at least one such maximal set which is linear. The proofs use representation theory and three kinds of dia… ▽ More We construct maximal green sequences of maximal length for any affine quiver of type $A$. We determine which sets of modules (equivalently $c$-vectors) can occur in such sequences and, among these, which are given by a linear stability condition (also called a central charge). There is always at least one such maximal set which is linear. The proofs use representation theory and three kinds of diagrams shown in Figure 1. Background material is reviewed with details presented in two separate papers [arxiv:1706.06986] and [arXiv:1706.06503]. △ Less

Submitted 24 April, 2018; originally announced April 2018.

Comments: 31 pages, 14 figures, presented by the second author at Idun Reiten's 75 birthday conference

MSC Class: 16G20

Weighted quivers

Authors: Kiyoshi Igusa, Moses Kim

Abstract: A "weight" on a quiver $Q$ with values in a group $G$ is a function which assigns an element of $G$ for each arrow in $Q$. This paper shows that the essential steps in the mutation of quivers with potential [DWZ] goes through with weights provided that the weights on each cycle in the potential have trivial product. This gives another proof of the sign coherence of $c$-vectors. We also classify al… ▽ More A "weight" on a quiver $Q$ with values in a group $G$ is a function which assigns an element of $G$ for each arrow in $Q$. This paper shows that the essential steps in the mutation of quivers with potential [DWZ] goes through with weights provided that the weights on each cycle in the potential have trivial product. This gives another proof of the sign coherence of $c$-vectors. We also classify all weights on tame quivers. △ Less

Submitted 9 March, 2018; originally announced March 2018.

Comments: 11 pages, 2 figures

MSC Class: 16G20

Tame Hereditary Algebras have finitely many m-Maximal Green Sequences

Authors: Kiyoshi Igusa, Ying Zhou

Abstract: In this paper we state and prove the statement that tame hereditary algebras have finitely many m-maximal green sequences using a generalized version of Brüstle-Dupont-Pérotin's argument that tame quivers have finitely many maximal green sequences. Then we extend this theorem to mutation sequences which are partially red. In this paper we state and prove the statement that tame hereditary algebras have finitely many m-maximal green sequences using a generalized version of Brüstle-Dupont-Pérotin's argument that tame quivers have finitely many maximal green sequences. Then we extend this theorem to mutation sequences which are partially red. △ Less

Submitted 19 December, 2017; v1 submitted 28 June, 2017; originally announced June 2017.

Comments: 6 pages. v2: exposition improved, proofs shorted. Improved bound on transjective degrees

MSC Class: 13F60; 16G10

Linearity of stability conditions

Authors: Kiyoshi Igusa

Abstract: For modules over an artin algebra a linear stability condition is given by a "central charge" and a nonlinear stability condition is given by the wall-crossing sequence of a "green path". Finite Harder-Narasimhan stratifications of the module category, maximal forward hom-orthogonal sequences and maximal green sequences, defined using Fomin-Zelevinsky quiver mutation are shown to be equivalent to… ▽ More For modules over an artin algebra a linear stability condition is given by a "central charge" and a nonlinear stability condition is given by the wall-crossing sequence of a "green path". Finite Harder-Narasimhan stratifications of the module category, maximal forward hom-orthogonal sequences and maximal green sequences, defined using Fomin-Zelevinsky quiver mutation are shown to be equivalent to finite nonlinear stability conditions when the algebra is hereditary. This is the first of a series of three papers whose purpose is to determine all maximal green sequences of maximal length for quivers of affine type A and determine which are linear. See [1]. △ Less

Submitted 3 April, 2023; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 27 pages, 3 figures, final version

MSC Class: 16G10; 13F60

Journal ref: Communications in Algebra vol 48, no 4 (2020), 1671--1696

Maximal green sequences for cluster-tilted algebras of finite representation type

Authors: Kiyoshi Igusa

Abstract: We show that, for any cluster-tilted algebra of finite representation type over an algebraically closed field, the following three definitions of a maximal green sequence are equivalent: (1) the usual definition in terms of Fomin-Zelevinsky mutation of the extended exchange matrix, (2) a forward hom-orthogonal sequence of Schurian modules, (3) the sequence of wall crossings of a generic green path… ▽ More We show that, for any cluster-tilted algebra of finite representation type over an algebraically closed field, the following three definitions of a maximal green sequence are equivalent: (1) the usual definition in terms of Fomin-Zelevinsky mutation of the extended exchange matrix, (2) a forward hom-orthogonal sequence of Schurian modules, (3) the sequence of wall crossings of a generic green path. Together with [24], this completes the foundational work needed to support the author's work with P.J. Apruzzese [1], namely, to determine all lengths of all maximal green sequences for all quivers whose underlying graph is an oriented or unoriented cycle and to determine which are "linear". In an Appendix, written jointly with G. Todorov, we give a conjectural description of maximal green sequences of maximum length for any cluster-tilted algebra of finite representation type. △ Less

Submitted 9 December, 2018; v1 submitted 20 June, 2017; originally announced June 2017.

Comments: 29 pages, revised and expanded following suggestions of two referees

MSC Class: 16G10; 13F60

Signed exceptional sequences and the cluster morphism category

Authors: Kiyoshi Igusa, Gordana Todorov

Abstract: We introduce signed exceptional sequences as factorizations of morphisms in the cluster morphism category. The objects of this category are wide subcategories of the module category of a hereditary algebra. A morphism $[T]:\mathcal A\to \mathcal B$ is the equivalence class of a rigid object $T$ in the cluster category of $\mathcal A$ so that $\mathcal B$ is the right hom-ext perpendicular category… ▽ More We introduce signed exceptional sequences as factorizations of morphisms in the cluster morphism category. The objects of this category are wide subcategories of the module category of a hereditary algebra. A morphism $[T]:\mathcal A\to \mathcal B$ is the equivalence class of a rigid object $T$ in the cluster category of $\mathcal A$ so that $\mathcal B$ is the right hom-ext perpendicular category of the underlying object $|T|\in \mathcal A$. Factorizations of a morphism $[T]$ are given by total orderings of the components of $T$. This is equivalent to a "signed exceptional sequence." For an algebra of finite representation type, the geometric realization of the cluster morphism category is an Eilenberg-MacLane space with fundamental group equal to the "picture group" introduced by the authors in [IOTW4]. △ Less

Submitted 7 June, 2017; originally announced June 2017.

Comments: 43 pages, one figure

MSC Class: 16G20; 20F55

Picture groups of finite type and cohomology in type $A_n$

Authors: Kiyoshi Igusa, Gordana Todorov, Jerzy Weyman

Abstract: For every quiver (valued) of finite representation type we define a finitely presented group called a picture group. This group is very closely related to the cluster theory of the quiver. For example, positive expressions for the Coxeter element in the group are in bijection with maximal green sequences [IT17]. The picture group is derived from the semi-invariant picture for the quiver. We use th… ▽ More For every quiver (valued) of finite representation type we define a finitely presented group called a picture group. This group is very closely related to the cluster theory of the quiver. For example, positive expressions for the Coxeter element in the group are in bijection with maximal green sequences [IT17]. The picture group is derived from the semi-invariant picture for the quiver. We use this picture to construct a finite CW complex which (by [IT16]) is a $K(π,1)$ for this group. The cells are in bijection with cluster tilting objects. For example, in type $A_n$ there are a Catalan number of cells. The main result of this paper is the computation of the cohomology ring of all picture groups of type $A_n$ with any orientation and any coefficient ring. △ Less

Submitted 8 September, 2016; originally announced September 2016.

Comments: 35 pages, 6 figures

MSC Class: 16G20

The formula for the permutation of mutation sequences in $A_n$ straight orientation

Authors: Kiyoshi Igusa, Ying Zhou

Abstract: In this paper we state and prove a formula for the permutations associated to reddening and loop sequences in $A_n$ straight orientation using the picture group. In particular this applies to maximal green sequences in $A_n$ straight orientation. Furthermore we extend the definition and formula of the associated permutation to arbitrary mutation sequences based on our results. We introduce the con… ▽ More In this paper we state and prove a formula for the permutations associated to reddening and loop sequences in $A_n$ straight orientation using the picture group. In particular this applies to maximal green sequences in $A_n$ straight orientation. Furthermore we extend the definition and formula of the associated permutation to arbitrary mutation sequences based on our results. We introduce the concept of standard matrices which gives a canonical order on indecomposable components of cluster-tilting objects. Preservation of standardness of C-matrices by a combination of a mutation and its associated permutation gives the formula. △ Less

Submitted 2 June, 2016; originally announced June 2016.

Comments: 8 pages, presented by second author at Sherbrooke in 2015

The No Gap Conjecture for tame hereditary algebras

Authors: Stephen Hermes, Kiyoshi Igusa

Abstract: The "No Gap Conjecture" of Brüstle-Dupont-Pérotin states that the set of lengths of maximal green sequences for hereditary algebras over an algebraically closed field has no gaps. This follows from a stronger conjecture that any two maximal green sequences can be "polygonally deformed" into each other. We prove this stronger conjecture for all tame hereditary algebras over any field. The "No Gap Conjecture" of Brüstle-Dupont-Pérotin states that the set of lengths of maximal green sequences for hereditary algebras over an algebraically closed field has no gaps. This follows from a stronger conjecture that any two maximal green sequences can be "polygonally deformed" into each other. We prove this stronger conjecture for all tame hereditary algebras over any field. △ Less

Submitted 15 January, 2016; originally announced January 2016.

Comments: 13 pages, 3 figures

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

Modulated semi-invariants

Authors: Kiyoshi Igusa, Kent Orr, Gordana Todorov, Jerzy Weyman

Abstract: We prove the basic properties of determinantal semi-invariants for presentation spaces over any finite dimensional hereditary algebra over any field. These include the virtual generic decomposition theorem, stability theorem and the c-vector theorem which says that the c-vectors of a cluster tilting object are, up to sign, the determinantal weights of the determinantal semi-invariants defined on t… ▽ More We prove the basic properties of determinantal semi-invariants for presentation spaces over any finite dimensional hereditary algebra over any field. These include the virtual generic decomposition theorem, stability theorem and the c-vector theorem which says that the c-vectors of a cluster tilting object are, up to sign, the determinantal weights of the determinantal semi-invariants defined on the cluster tilting objects. Applications of these theorems are given in several concurrently written papers. △ Less

Submitted 1 September, 2015; v1 submitted 10 July, 2015; originally announced July 2015.

Comments: 41 pages, 1 figure, many minor changes, c-vector theorem redone

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

Combinatorics of exceptional sequences in type A

Authors: Alexander Garver, Kiyoshi Igusa, Jacob P. Matherne, Jonah Ostroff

Abstract: Exceptional sequences are certain ordered sequences of quiver representations. We introduce a class of objects called strand diagrams and use this model to classify exceptional sequences of representations of a quiver whose underlying graph is a type $A_n$ Dynkin diagram. We also use variations of this model to classify c-matrices of such quivers, to interpret exceptional sequences as linear exten… ▽ More Exceptional sequences are certain ordered sequences of quiver representations. We introduce a class of objects called strand diagrams and use this model to classify exceptional sequences of representations of a quiver whose underlying graph is a type $A_n$ Dynkin diagram. We also use variations of this model to classify c-matrices of such quivers, to interpret exceptional sequences as linear extensions of posets, and to give a simple bijection between exceptional sequences and certain chains in the lattice of noncrossing partitions. This work extends a classification of exceptional sequences for the linearly-ordered quiver obtained in an earlier paper by the first and third authors. △ Less

Submitted 13 November, 2016; v1 submitted 29 June, 2015; originally announced June 2015.

Comments: 21 pages. Made changes throughout to improve the exposition, and made changes suggested by an anonymous referee. arXiv admin note: text overlap with arXiv:1412.3365

MSC Class: 16G20 (Primary); 05E10 (Secondary); 13F60

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)

A category of noncrossing partitions

Authors: Kiyoshi Igusa

Abstract: In [17], we introduced ``picture groups'' and computed the cohomology of the picture group of type $A_n$. This is the same group what was introduced by Loday [20] where he called it the ``Stasheff group''. In this paper, we give an elementary combinatorial interpretation of the {\color{blue}``cluster morphism category'' constructed in [13] in the special case of the linearly oriented quiver of typ… ▽ More In [17], we introduced ``picture groups'' and computed the cohomology of the picture group of type $A_n$. This is the same group what was introduced by Loday [20] where he called it the ``Stasheff group''. In this paper, we give an elementary combinatorial interpretation of the {\color{blue}``cluster morphism category'' constructed in [13] in the special case of the linearly oriented quiver of type $A_n$.} We prove that the classifying space of this category is locally $CAT(0)$ and thus a $K(π,1)$. We prove a more general statement that classifying spaces of certain ``cubical categories'' are locally $CAT(0)$. The objects of our category are the classical noncrossing partitions introduced by Kreweras [19]. The morphisms are binary forests. This paper is independent of [13] and [17] except in the last section where we use [13] to compare our category with the category with the same name given by Hubery and Krause [9]. △ Less

Submitted 21 March, 2025; v1 submitted 1 November, 2014; originally announced November 2014.

Comments: 37 pages, 15 figures, presented at Workshop on "Hall and cluster algebras" May 8-12, 2014, CRM, Universite de Montreal, and at Conference on "Geometric Methods in Representation Theory" Nov 22-24, 2014, University of Iowa. v2: minor corrections, figures redrawn, v3: cubical category more clearly defined. v4: minor corrections, figures added. v5: lots of changes (in blue)

MSC Class: 16G20

Periodic trees and semi-invariants

Authors: Kiyoshi Igusa, Gordana Todorov, Jerzy Weyman

Abstract: Periodic trees are combinatorial structures which are in bijection with cluster tilting objects in cluster categories of affine type $\tilde{A}_{n-1}$. The internal edges of the tree encode the $c$-vectors corresponding to the cluster tilting object, as well as the weights of the virtual semi-invariants associated to the cluster tilting object. We also show a direct relationship between the positi… ▽ More Periodic trees are combinatorial structures which are in bijection with cluster tilting objects in cluster categories of affine type $\tilde{A}_{n-1}$. The internal edges of the tree encode the $c$-vectors corresponding to the cluster tilting object, as well as the weights of the virtual semi-invariants associated to the cluster tilting object. We also show a direct relationship between the position of the edges of the tree and whether the corresponding summands of the cluster tilting object are preprojective, preinjective or regular. △ Less

Submitted 2 July, 2014; originally announced July 2014.

Comments: 33 pages, 6 figures

Continuous cluster categories of type D

Authors: Kiyoshi Igusa, Gordana Todorov

Abstract: We construct continuous Frobenius categories of type $D$. The stable categories of these Frobenius categories are cluster categories which contain the standard cluster categories of type $D_n$. When $n=\infty$, maximal compatible sets of indecomposable objects are laminations of the punctured disk. Discrete laminations are clusters. This new construction is topological and it also gives an algebra… ▽ More We construct continuous Frobenius categories of type $D$. The stable categories of these Frobenius categories are cluster categories which contain the standard cluster categories of type $D_n$. When $n=\infty$, maximal compatible sets of indecomposable objects are laminations of the punctured disk. Discrete laminations are clusters. This new construction is topological and it also gives an algebraic interpretation of the "tagged arcs" which occur in Schiffler's geometric description of clusters of type $D_n$. △ Less

Submitted 27 September, 2013; originally announced September 2013.

Comments: 41 pages, 11 figures

An Equivariant Version of Hatcher's G/O Construction

Authors: Thomas Goodwillie, Kiyoshi Igusa, Christopher Ohrt

Abstract: We explicitly construct generators of the rational homotopy groups of the space of stable h-cobordisms of the classifying space of a cyclic group of order n by generalizing a construction of Hatcher. This result will be used in a separate paper by the third author to classify axiomatic higher twisted torsion invariants. We explicitly construct generators of the rational homotopy groups of the space of stable h-cobordisms of the classifying space of a cyclic group of order n by generalizing a construction of Hatcher. This result will be used in a separate paper by the third author to classify axiomatic higher twisted torsion invariants. △ Less

Submitted 13 April, 2015; v1 submitted 21 July, 2013; originally announced July 2013.

Comments: 22 pages, 1 figure, Revised version following referee comments, accepted for publication by the Journal of Topology

Mixed cobinary trees

Authors: Kiyoshi Igusa, Jonah Ostroff

Abstract: We develop basic cluster theory from an elementary point of view using a variation of binary trees which we call mixed cobinary trees. We show that the number of isomorphism classes of such trees is given by the Catalan number Cn where n is the number of internal nodes. We also consider the corresponding quiver Q_ε of type An-1. As a special case of more general known results about the relation be… ▽ More We develop basic cluster theory from an elementary point of view using a variation of binary trees which we call mixed cobinary trees. We show that the number of isomorphism classes of such trees is given by the Catalan number Cn where n is the number of internal nodes. We also consider the corresponding quiver Q_ε of type An-1. As a special case of more general known results about the relation between c-vectors, representations of quivers and their semi-invariants, we explain the bijection between mixed cobinary trees and the vertices of the generalized associahedron corresponding to the quiver Q_ε. △ Less

Submitted 9 August, 2013; v1 submitted 12 July, 2013; originally announced July 2013.

Comments: 17 pages, 8 figures, v2: definition of cluster is fixed, v3: references added, Corollary 1 and referenced to it are reworded

MSC Class: 05E10; 16G20