-
Brick-splitting Torsion Pairs and Trim Lattices
Authors:
Sota Asai,
Osamu Iyama,
Kaveh Mousavand,
Charles Paquette
Abstract:
We introduce the notion of brick-splitting torsion pairs as a modern analogue and generalization of the classical notion of splitting torsion pairs. A torsion pair is called brick-splitting if any given brick is either torsion or torsion-free with respect to that torsion pair. After giving some properties of these pairs, we fully characterize them in terms of some lattice-theoretical properties, i…
▽ More
We introduce the notion of brick-splitting torsion pairs as a modern analogue and generalization of the classical notion of splitting torsion pairs. A torsion pair is called brick-splitting if any given brick is either torsion or torsion-free with respect to that torsion pair. After giving some properties of these pairs, we fully characterize them in terms of some lattice-theoretical properties, including left modularity. This leads to the notion of brick-directed algebras, which are those for which there does not exist any cycle of non-zero non-isomorphisms between bricks. This class of algebras is a novel generalization of representation-directed algebras. We show that brick-directed algebras have many interesting properties and give several characterizations of them. In particular, we prove that a brick-finite algebra is brick-directed if and only if the lattice of torsion classes is a trim lattice. We also give a characterization of brick-directed algebras in terms of their wall-and-chamber structure, as well as of a certain Newton polytope associated to them. Moreover, we introduce an explicit construction of an abundance of brick-directed algebras, both of the tame and wild representation types.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Extensions of semibricks and maximal finite semibricks in quiver representations
Authors:
Sota Asai
Abstract:
A semibrick is a set of modules satisfying Schur's Lemma. We prove that any finite semibrick $\mathcal{S}$ in representations of a finite acyclic quiver can be extended to an infinite semibrick if there exists a brick in $\mathcal{S}$ which is not exceptional. Therefore any maximal finite semibrick consists of exceptional modules.
A semibrick is a set of modules satisfying Schur's Lemma. We prove that any finite semibrick $\mathcal{S}$ in representations of a finite acyclic quiver can be extended to an infinite semibrick if there exists a brick in $\mathcal{S}$ which is not exceptional. Therefore any maximal finite semibrick consists of exceptional modules.
△ Less
Submitted 21 April, 2025; v1 submitted 23 January, 2025;
originally announced January 2025.
-
$M$-TF equivalences in the real Grothendieck groups
Authors:
Sota Asai,
Osamu Iyama
Abstract:
For an abelian length category $\mathcal{A}$ with only finitely many isoclasses of simple objects, we have the wall-chamber structure and the TF equivalence in the dual real Grothendeick group $K_0(\mathcal{A})_\mathbb{R}^*=\operatorname{Hom}_\mathbb{R}(K_0(\mathcal{A})_\mathbb{R},\mathbb{R})$, which are defined by semistable subcategories and semistable torsion pairs in $\mathcal{A}$ associated t…
▽ More
For an abelian length category $\mathcal{A}$ with only finitely many isoclasses of simple objects, we have the wall-chamber structure and the TF equivalence in the dual real Grothendeick group $K_0(\mathcal{A})_\mathbb{R}^*=\operatorname{Hom}_\mathbb{R}(K_0(\mathcal{A})_\mathbb{R},\mathbb{R})$, which are defined by semistable subcategories and semistable torsion pairs in $\mathcal{A}$ associated to elements $θ\in K_0(\mathcal{A})_\mathbb{R}^*$. In this paper, we introduce the $M$-TF equivalence for each object $M \in \mathcal{A}$ as a systematic way to coarsen the TF equivalence. We show that the set $Σ(M)$ of the closures of $M$-TF equivalence classes is a finite complete fan in $K_0(\mathcal{A})_\mathbb{R}^*$, and that $Σ(M)$ is the normal fan of the Newton polytope $\mathrm{N}(M)$ in $K_0(\mathcal{A})_\mathbb{R}$.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
Non-rigid regions of real Grothendieck groups of gentle and special biserial algebras
Authors:
Sota Asai
Abstract:
In the representation theory of finite-dimensional algebras $A$ over a field, the classification of 2-term (pre)silting complexes is an important problem. One of the useful tool is the g-vector cones associated to the 2-term presilting complexes in the real Grothendieck group $K_0(\operatorname{\mathsf{proj}} A)_{\mathbb{R}}:=K_0(\operatorname{\mathsf{proj}} A) \otimes_{\mathbb{Z}} {\mathbb{R}}$.…
▽ More
In the representation theory of finite-dimensional algebras $A$ over a field, the classification of 2-term (pre)silting complexes is an important problem. One of the useful tool is the g-vector cones associated to the 2-term presilting complexes in the real Grothendieck group $K_0(\operatorname{\mathsf{proj}} A)_{\mathbb{R}}:=K_0(\operatorname{\mathsf{proj}} A) \otimes_{\mathbb{Z}} {\mathbb{R}}$. The aim of this paper is to study the complement $\operatorname{\mathsf{NR}}$ of the union $\operatorname{\mathsf{Cone}}$ of all g-vector cones, which we call the non-rigid region. By the work of Iyama and us, $\operatorname{\mathsf{NR}}$ is determined by 2-term presilting complexes and a certain closed subset $R_0 \subset K_0(\operatorname{\mathsf{proj}} A)_{\mathbb{R}}$, which is called the purely non-rigid region. In this paper, we give an explicit description of $R_0$ for complete special biserial algebras in terms of a finite set of maximal nonzero paths in the Gabriel quiver of $A$. We also prove that $\operatorname{\mathsf{NR}}$ has some kind of fractal property and that $\operatorname{\mathsf{NR}}$ is contained in a union of countably many hyperplanes of codimension one. Thus, any complete special biserial algebra is g-tame, that is, $\operatorname{\mathsf{Cone}}$ is dense in $K_0(\operatorname{\mathsf{proj}} A)_{\mathbb{R}}$.
△ Less
Submitted 24 January, 2022;
originally announced January 2022.
-
Semistable torsion classes and canonical decompositions in Grothendieck groups
Authors:
Sota Asai,
Osamu Iyama
Abstract:
We study two classes of torsion classes which generalize functorially finite torsion classes, that is, semistable torsion classes and morphism torsion classes. Semistable torsion classes are parametrized by the elements in the real Grothendieck group up to TF equivalence. We give a close connection between TF equivalence classes and the cones given by canonical decompositions of the spaces of proj…
▽ More
We study two classes of torsion classes which generalize functorially finite torsion classes, that is, semistable torsion classes and morphism torsion classes. Semistable torsion classes are parametrized by the elements in the real Grothendieck group up to TF equivalence. We give a close connection between TF equivalence classes and the cones given by canonical decompositions of the spaces of projective presentations due to Derksen-Fei. More strongly, for $E$-tame algebras and hereditary algebras, we prove that TF equivalence classes containing lattice points are exactly the cones given by canonical decompositions. One of the key steps in our proof is a general description of semistable torsion classes in terms of morphism torsion classes. We also answer a question by Derksen-Fei negatively by giving examples of algebras which do not satisfy the ray condition. As an application of our results, we give an explicit description of TF equivalence classes of preprojective algebras of type $\widetilde{\mathbb{A}}$.
△ Less
Submitted 18 May, 2023; v1 submitted 29 December, 2021;
originally announced December 2021.
-
The wall-chamber structures of the real Grothendieck groups
Authors:
Sota Asai
Abstract:
For a finite-dimensional algebra $A$ over a field $K$ with $n$ simple modules, the real Grothendieck group $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}:=K_0(\operatorname{\mathsf{proj}} A) \otimes_\mathbb{Z} \mathbb{R} \cong \mathbb{R}^n$ gives stability conditions of King. We study the associated wall-chamber structure of $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}$ by using the Koenig--Ya…
▽ More
For a finite-dimensional algebra $A$ over a field $K$ with $n$ simple modules, the real Grothendieck group $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}:=K_0(\operatorname{\mathsf{proj}} A) \otimes_\mathbb{Z} \mathbb{R} \cong \mathbb{R}^n$ gives stability conditions of King. We study the associated wall-chamber structure of $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}$ by using the Koenig--Yang correspondences in silting theory. First, we introduce an equivalence relation on $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}$ called TF equivalence by using numerical torsion pairs of Baumann--Kamnitzer--Tingley. Second, we show that the open cone in $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}$ spanned by the g-vectors of each 2-term silting object gives a TF equivalence class, and this gives a one-to-one correspondence between the basic 2-term silting objects and the TF equivalence classes of full dimension. Finally, we determine the wall-chamber structure of $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}$ in the case that $A$ is a path algebra of an acyclic quiver.
△ Less
Submitted 19 April, 2020; v1 submitted 6 May, 2019;
originally announced May 2019.
-
Wide subcategories and lattices of torsion classes
Authors:
Sota Asai,
Calvin Pfeifer
Abstract:
In this paper, we study the relationship between wide subcategories and torsion classes of an abelian length category $\mathcal{A}$ from the point of view of lattice theory. Motivated by $τ$-tilting reduction of Jasso, we mainly focus on intervals $[\mathcal{U},\mathcal{T}]$ in the lattice $\operatorname{\mathsf{tors}} \mathcal{A}$ of torsion classes in $\mathcal{A}$ such that…
▽ More
In this paper, we study the relationship between wide subcategories and torsion classes of an abelian length category $\mathcal{A}$ from the point of view of lattice theory. Motivated by $τ$-tilting reduction of Jasso, we mainly focus on intervals $[\mathcal{U},\mathcal{T}]$ in the lattice $\operatorname{\mathsf{tors}} \mathcal{A}$ of torsion classes in $\mathcal{A}$ such that $\mathcal{W}:=\mathcal{U}^\perp \cap \mathcal{T}$ is a wide subcategory of $\mathcal{A}$; we call these intervals wide intervals. We prove that a wide interval $[\mathcal{U},\mathcal{T}]$ is isomorphic to the lattice $\operatorname{\mathsf{tors}} \mathcal{W}$ of torsion classes in the abelian category $\mathcal{W}$. We also characterize wide intervals in two ways: First, in purely lattice theoretic terms based on the brick labeling established by Demonet--Iyama--Reading--Reiten--Thomas; and second, in terms of the Ingalls--Thomas correspondences between torsion classes and wide subcategories, which were further developed by Marks--Šťovíček.
△ Less
Submitted 24 February, 2020; v1 submitted 3 May, 2019;
originally announced May 2019.
-
Bricks over preprojective algebras and join-irreducible elements in Coxeter groups
Authors:
Sota Asai
Abstract:
A (semi)brick over an algebra $A$ is a module $S$ such that the endomorphism ring $\operatorname{\mathsf{End}}_A(S)$ is a (product of) division algebra. For each Dynkin diagram $Δ$, there is a bijection from the Coxeter group $W$ of type $Δ$ to the set of semibricks over the preprojective algebra $Π$ of type $Δ$, which is restricted to a bijection from the set of join-irreducible elements of $W$ t…
▽ More
A (semi)brick over an algebra $A$ is a module $S$ such that the endomorphism ring $\operatorname{\mathsf{End}}_A(S)$ is a (product of) division algebra. For each Dynkin diagram $Δ$, there is a bijection from the Coxeter group $W$ of type $Δ$ to the set of semibricks over the preprojective algebra $Π$ of type $Δ$, which is restricted to a bijection from the set of join-irreducible elements of $W$ to the set of bricks over $Π$. This paper is devoted to giving an explicit description of these bijections in the case $Δ=\mathbb{A}_n$ or $\mathbb{D}_n$. First, for each join-irreducible element $w \in W$, we describe the corresponding brick $S(w)$ in terms of "Young diagram-like" notation. Next, we determine the canonical join representation $w=\bigvee_{i=1}^m w_i$ of an arbitrary element $w \in W$ based on Reading's work, and prove that $\bigoplus_{i=1}^n S(w_i)$ is the semibrick corresponding to $w$.
△ Less
Submitted 11 June, 2018; v1 submitted 22 December, 2017;
originally announced December 2017.
-
Semibricks
Authors:
Sota Asai
Abstract:
In representation theory of finite-dimensional algebras, (semi)bricks are a generalization of (semi)simple modules, and they have long been studied. The aim of this paper is to study semibricks from the point of view of $τ$-tilting theory. We construct canonical bijections between the set of support $τ$-tilting modules, the set of semibricks satisfying a certain finiteness condition, and the set o…
▽ More
In representation theory of finite-dimensional algebras, (semi)bricks are a generalization of (semi)simple modules, and they have long been studied. The aim of this paper is to study semibricks from the point of view of $τ$-tilting theory. We construct canonical bijections between the set of support $τ$-tilting modules, the set of semibricks satisfying a certain finiteness condition, and the set of 2-term simple-minded collections. In particular, we unify Koenig-Yang bijections and Ingalls-Thomas bijections generalized by Marks-Šťovíček, which involve several important notions in the derived categories and the module categories. We also investigate connections between our results and two kinds of reduction theorems of $τ$-rigid modules by Jasso and Eisele-Janssens-Raedschelders. Moreover, we study semibricks over Nakayama algebras and tilted algebras in detail.
△ Less
Submitted 6 June, 2018; v1 submitted 19 October, 2016;
originally announced October 2016.
-
The Grothendieck groups and stable equivalences of mesh algebras
Authors:
Sota Asai
Abstract:
We deal with the finite-dimensional mesh algebras given by stable translation quivers. These algebras are self-injective, and thus the stable categories have a structure of triangulated categories. Our main result determines the Grothendieck groups of these stable categories. As an application, we give an complete classification of the mesh algebras up to stable equivalences.
We deal with the finite-dimensional mesh algebras given by stable translation quivers. These algebras are self-injective, and thus the stable categories have a structure of triangulated categories. Our main result determines the Grothendieck groups of these stable categories. As an application, we give an complete classification of the mesh algebras up to stable equivalences.
△ Less
Submitted 4 September, 2016; v1 submitted 26 May, 2015;
originally announced May 2015.
