arXiv++ Combinatorics

We prove that for any $\mathbb{N}$-graded Gorenstein tiled order $A$, the stable category $\underline{\mathrm{CM}}^{\mathbb{Z}}A$ is triangle equivalent to the perfect derived category of the incidence algebra of a finite poset $\mathbb{V}_A^{op}$. Moreover, for a finite poset $P$, we prove that the incidence algebra of $P$ can be realized as the endomorphism algebra of a standard tilting object if and only if $P$ is either empty or has the maximum. We also study the behaviors of the corresponding poset under graded Morita equivalences and coverings of a Gorenstein tiled order. Finally, we classify Gorenstein tiled orders $A$ satisfying $|\mathbb{V}_A^{op}|\leq 3$.

The $g$-fan $Σ(A)$ of a finite dimensional algebra $A$ is a non-singular fan in its real Grothendieck group, defined by tilting theory. If the union ${\rm P}(A)$ of the simplices associated with the cones of $Σ(A)$ is convex, we call $A$ $g$-convex. In this case, the $g$-polytope ${\rm P}(A)$ of $A$ is a reflexive polytope. Thus, in each dimension, there are only finitely many isomorphism classes of fans that can be realized as $g$-fans of $g$-convex algebras. An important problem is to classify such fans for a fixed dimension $d$. In this paper, we give a complete answer for the case $d=3$: we prove that there are precisely 61 convex $g$-fans of dimension 3 up to isomorphism. Our method is based on the decomposition of fans into the $2^3$ orthants in the real Grothendieck group of $A$, together with a detailed analysis of possible sequences of $g$-vectors arising from iterated mutations.

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 left modular (or equivalently, extremal). 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.

The $g$-fan of a finite dimensional algebra is a fan in its real Grothendieck group defined by tilting theory. We give a classification of complete $g$-fans of rank 2. More explicitly, our first main result asserts that every complete sign-coherent fan of rank 2 is a $g$-fan of some finite dimensional algebra. Our proof is based on three fundamental results, Gluing Theorem, Rotation Theorem and Subdivision Theorem, which realize basic operations on fans in the level of finite dimensional algebras. For each of 16 convex sign-coherent fans $Σ$ of rank 2, our second main result gives a characterization of algebras $A$ of rank 2 satisfying $Σ(A)=Σ$. As a by-product of our method, we prove that for each positive integer $N$, there exists a finite dimensional algebra $A$ of rank 2 such that the Hasse quiver of the poset of 2-term silting complexes of $A$ has precisely $N$ connected components.

We show that indecomposable two-term presilting complexes over $Π_{n}$, the preprojective algebra of $A_{n}$, are in bijection with internal $n$-simplices in the prism $Δ_{n} \times Δ_{1}$, the product of an $n$-simplex with a 1-simplex. We show further that this induces a bijection between triangulations of $Δ_{n} \times Δ_{1}$ and two-term silting complexes over $Π_{n}$ such that bistellar flips of triangulations correspond to mutations of two-term silting complexes. These bijections are shown to compatible with the known bijections involving the symmetric group.

For a finite dimensional algebra $A$ over a field $k$, the 2-term silting complexes of $A$ gives a simplicial complex $Δ(A)$ called the $g$-simplicial complex. We give tilting theoretic interpretations of the $h$-vectors and Dehn-Sommerville equations of $Δ(A)$. Using $g$-vectors of 2-term silting complexes, $Δ(A)$ gives a nonsingular fan $Σ(A)$ in the real Grothendieck group $K_0(\mathsf{proj} A)_{\mathbb{R}}$ called the $g$-fan. We give several basic properties of $Σ(A)$ including sign-coherence, sign decomposition, idempotent reductions, Jasso reductions, pairwise positivity and a connection with Newton polytopes of $A$-modules. Moreover, $Σ(A)$ gives a (possibly infinite and non-convex) polytope $P(A)$ in $K_0(\mathsf{proj} A)_{\mathbb{R}}$ called the $g$-polytope of $A$. We call $A$ $g$-convex if $P(A)$ is convex. In this case, we show that it is a reflexive polytope, and that the dual polytope is given by the 2-term simple minded collections of $A$. There are precisely 7 convex $g$-polyogons up to isomorphism. We give a classification of algebras whose $g$-polytopes are smooth Fano. We study $g$-fans and $g$-polytopes of two important classes of algebras. We show that the $g$-fan of a classical or generalized preprojective algebra is given by the Coxeter fan. It is $g$-convex if and only if it is of type $A$ or $B$, and in this case, its $g$-polytope is the dual polytope of the short root polytope. Moreover we classify Brauer graph algebras which are $g$-convex, and describe their $g$-polytopes as the root polytopes of type $A$ or $C$.

Let $L$ denote a finite lattice with at least two points and let $A$ denote the incidence algebra of $L$. We prove that $L$ is distributive if and only if $A$ is an Auslander regular ring, which gives a homological characterisation of distributive lattices. In this case, $A$ has an explicit minimal injective coresolution, whose $i$-th term is given by the elements of $L$ covered by precisely $i$ elements. We give a combinatorial formula of the Bass numbers of $A$. We apply our results to show that the order dimension of a distributive lattice $L$ coincides with the global dimension of the incidence algebra of $L$. Also we categorify the rowmotion bijection for distributive lattices using higher Auslander-Reiten translates of the simple modules.

We establish a bijection between $d$-simple-minded systems ($d$-SMSs) of $(-d)$-Calabi-Yau cluster category ${\cal C_{-d}}(H)$ and silting objects of ${\cal D^{\rm b}}(H)$ contained in $\cal D^{\le 0}\cap \cal D^{\ge 1-d}$ for hereditary algebra $H$ of Dynkin type and $d\ge 1$. We show that the number of $d$-SMSs in ${\cal C_{-d}}(H)$ is the positive Fuss-Catalan number $C_{d}^{+}(W)$ of the corresponding Weyl group $W$, by applying this bijection and Buan-Reiten-Thomas' and Zhu's results on Fomin-Reading's generalized cluster complexes. Our results are based on a refined version of silting-$t$-structure correspondence.

The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}} A$ is a complete lattice which enjoys very strong properties, as bialgebraicity and complete semidistributivity. Thus its Hasse quiver carries the important part of its structure, and we introduce the brick labelling of its Hasse quiver and use it to study lattice congruences of $\operatorname{\mathsf{tors}} A$. In particular, we give a representation-theoretical interpretation of the so-called forcing order, and we prove that $\operatorname{\mathsf{tors}} A$ is completely congruence uniform. When $I$ is a two-sided ideal of $A$, $\operatorname{\mathsf{tors}} (A/I)$ is a lattice quotient of $\operatorname{\mathsf{tors}} A$ which is called an algebraic quotient, and the corresponding lattice congruence is called an algebraic congruence. The second part of this paper consists in studying algebraic congruences. We characterize the arrows of the Hasse quiver of $\operatorname{\mathsf{tors}} A$ that are contracted by an algebraic congruence in terms of the brick labelling. In the third part, we study in detail the case of preprojective algebras $Π$, for which $\operatorname{\mathsf{tors}} Π$ is the Weyl group endowed with the weak order. In particular, we give a new, more representation theoretical proof of the isomorphism between $\operatorname{\mathsf{tors}} k Q$ and the Cambrian lattice when $Q$ is a Dynkin quiver. We also prove that, in type $A$, the algebraic quotients of $\operatorname{\mathsf{tors}} Π$ are exactly its Hasse-regular lattice quotients.

This paper studies the combinatorics of lattice congruences of the weak order on a finite Weyl group $W$, using representation theory of the corresponding preprojective algebra $Π$. Natural bijections are constructed between important objects including join-irreducible congruences, join-irreducible (respectively, meet-irreducible) elements of $W$, indecomposable $τ$-rigid (respectively, $τ^-$-rigid) modules and layers of $Π$. The lattice-theoretically natural labeling of the Hasse quiver by join-irreducible elements of $W$ is shown to coincide with the algebraically natural labelling by layers of $Π$. We show that layers of $Π$ are nothing but bricks (or equivalently stones, or 2-spherical modules). The forcing order on join-irreducible elements of $W$ (arising from the study of lattice congruences) is described algebraically in terms of the doubleton extension order. We give a combinatorial description of indecomposable $τ^-$-rigid modules for type $A$ and $D$.

From the viewpoint of mutation, we will give a brief survey of tilting theory and cluster-tilting theory together with a motivation from cluster algebras. Then we will give an introdution to τ-tilting theory which was recently developed in [AIR].