For an element $w$ of the simply-laced Weyl group, Buan-Iyama-Reiten-Scott defined a subcategory $\mathcal{F}(w)$ of a module category over a preprojective algebra of Dynkin type. This paper aims at studying categorical properties of $\mathcal{F}(w)$ via its connection with the root system. We show that by taking dimension vectors, simple objects in $\mathcal{F}(w)$ bijectively correspond to Bruhat inversion roots of $w$. As an application, we obtain a combinatorial criterion for $\mathcal{F}(w)$ to satisfy the Jordan-Hölder property (JHP). To achieve this, we develop a method to find simple objects in a general torsion-free class by using a brick sequence associated to a maximal green sequence of it. For type A case, we give a diagrammatic construction of simple objects, and show that (JHP) can be characterized via a forest-like permutation, introduced by Bousquet-Mélou and Butler in the study of Schubert varieties.
We study support $τ$-tilting modules over preprojective algebras of Dynkin type. We classify basic support $τ$-tilting modules by giving a bijection with elements in the corresponding Weyl groups. Moreover we show that they are in bijection with the set of torsion classes, the set of torsion-free classes and other important objects in representation theory. We also study $g$-matrices of support $τ$-tilting modules, which show terms of minimal projective presentations of indecomposable direct summands. We give an explicit description of $g$-matrices and prove that cones given by $g$-matrices co…
For a finite acyclic quiver $Q$ and the corresponding preprojective algebra $Π$, we study the factor algebra $Π_w$ associated with a element $w$ in the Coxeter group introduced by Buan-Iyama-Reiten-Scott. The algebra $Π_w$ has a natural $\mathbb{Z}$-grading, and we prove that $\underline{\mathsf{Sub}}^{\mathbb{Z}}Π_w$ has a tilting object $M$. Moreover, we show that the endomorphism algebra of $M$ is isomorphic to the stable Auslander algebra of a certain torsion free class of $\mathsf{mod}\,kQ$.
For a symmetrizable GCM $C$ and its symmetrizer $D$, Geiss-Leclerc-Schröer [Invent. Math. 209 (2017)] has introduced a generalized preprojective algebra $Π$ associated to $C$ and $D$, that contains a class of modules, called locally free modules. We show that any basic support $τ$-tilting $Π$-module is locally free and gives a classification theorem of torsion-free classes in $\operatorname{\mathbf{rep}}Π$ as the generalization of the work of Mizuno [Math. Z. 277 (2014)].
Geiß-Leclerc-Schröer [Invent. Math. 209 (2017)] has introduced a notion of generalized preprojective algebra associated with a generalized Cartan matrix and its symmetrizer. This class of algebra realizes a crystal structure on the set of maximal dimensional irreducible components of the nilpotent variety [Selecta Math. (N.S.) 24 (2018)]. For general finite types, we give stratifications of these components via partial orders of torsion classes in module categories of generalized preprojective algebras in terms of Weyl groups. In addition, we realize Mirković-Vilonen polytopes from generic mod…
Let $Q$ be an acyclic quiver and $Λ$ be the complete preprojective algebra of $Q$ over an algebraically closed field $k$. To any element $w$ in the Coxeter group of $Q$, Buan, Iyama, Reiten and Scott have introduced and studied in \cite{Bua2} a finite dimensional algebra $Λ_w=Λ/I_w$. In this paper we look at filtrations of $Λ_w$ associated to any reduced expression $\mathbf{w}$ of $w$. We are especially interested in the case where the word $\mathbf{w}$ is $c$-sortable, where $c$ is a Coxeter element. In this situation, the consecutive quotients of this filtration can be related to tilting $kQ…
We give an interpretation of the map $π^c$ defined by Reading, which is a map from the elements of a Coxeter group to the $c$-sortable elements, in terms of the representation theory of preprojective algebras. Moreover, we study a close relationship between $c$-sortable elements and torsion pairs, and give an explicit description of the cofinite torsion classes in the context of the Coxeter group. As a consequence, we give a proof of some conjectures proposed by Oppermann, Reiten, and the second author.
We determine the Z-module structure of the preprojective algebra and its zeroth Hochschild homology, for any non-Dynkin quiver (and hence the structure working over any base commutative ring, of any characteristic). This answers (and generalizes) a conjecture of Hesselholt and Rains, producing new $p$-torsion classes in degrees 2p^l, l >= 1, We relate these classes by p-th power maps and interpret them in terms of the kernel of Verschiebung maps from noncommutative Witt theory. An important tool is a generalization of the Diamond Lemma to modules over commutative rings, which we give in the ap…
The cluster algebra of any acyclic quiver can be realized as the coordinate ring of a subvariety of a Kac-Moody group -- the quiver is an orientation of its Dynkin diagram, defining a Coxeter element and thereby a double Bruhat cell. We use this realization to connect representations of the quiver with those of the group. We show that cluster variables of preprojective (resp. postinjective) quiver representations are realized by generalized minors of highest-weight (resp. lowest-weight) group representations, generalizing results of Yang-Zelevinsky in finite type. In type $A_n^{\!(1)}$ and fin…
Let $Λ$ be a finite-dimensional associative algebra. The torsion classes of $mod\, Λ$ form a lattice under containment, denoted by $tors\, Λ$. In this paper, we characterize the cover relations in $tors\, Λ$ by certain indecomposable modules. We consider three applications: First, we show that the completely join-irreducible torsion classes (torsion classes which cover precisely one element) are in bijection with bricks. Second, we characterize faces of the canonical join complex of $tors\, Λ$ in terms of representation theory. Finally, we show that, in general, the algebra $Λ$ is not characte…
We study the Borel-Moore homology of stacks of representations of preprojective algebras $Π_Q$, via the study of the DT theory of the undeformed 3-Calabi-Yau completion $Π_Q[x]$. Via a result on the supports of the BPS sheaves for $Π_Q[x]$-mod, we prove purity of the BPS cohomology for the stack of $Π_Q[x]$-modules, and define BPS sheaves for stacks of $Π_Q$-modules. These are mixed Hodge modules on the coarse moduli space of $Π_Q$-modules that control the Borel-Moore homology and geometric representation theory associated to these stacks. We show that the hypercohomology of these objects is p…
We investigate the Jordan-Hölder property (JHP) in exact categories. First, we show that (JHP) holds in an exact category if and only if the Grothendieck monoid introduced by Berenstein and Greenstein is free. Moreover, we give a criterion for this which only uses the Grothendieck group and the number of simple objects. Next, we apply these results to the representation theory of artin algebras. For a large class of exact categories including functorially finite torsion(-free) classes, (JHP) holds precisely when the number of indecomposable projectives is equal to that of simples. We study tor…
We show that the categories of smooth ${\rm SL}_2({\mathbb Q}_p)$-representations (resp. ${\rm GL}_2({\mathbb Q}_p)$-representations) of level $1$ on $p$-torsion modules are equivalent with certain explicitly described equivariant coefficient systems on the Bruhat-Tits tree; the coefficient system assigned to a representation $V$ assigns to an edge $τ$ the invariants in $V$ under the pro-$p$-Iwahori subgroup corresponding to $τ$. The proof relies on computations of the group cohomology of a compact open subgroup group $N_0$ of the unipotent radical of a Borel subgroup.
We study finiteness conditions on large tilting modules over arbitrary rings. We then turn to a hereditary artin algebra R and apply our results to the (infinite dimensional) tilting module L that generates all modules without preprojective direct summands. We show that the behaviour of L over its endomorphism ring determines the representation type of R. A similar result holds true for the (infinite dimensional) tilting module W that generates the divisible modules. Finally, we extend to the wild case some results on Baer modules and torsion-free modules proven in [AHT] for tame hereditary al…
Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$, $B$ and $B_-$ be its two opposite Borel subgroups. For two elements $u$, $v$ of the Weyl group $W$, it is known that the coordinate ring ${\mathbb C}[G^{u,v}]$ of the double Bruhat cell $G^{u,v}=BuB\cap B_-vB_-$ is isomorphic to a cluster algebra $\mathcal{A}(\textbf{i})_{\mathbb C}$ [arXiv:math/0305434, arXiv:1602.00498]. In the case $u=e$, $v=c^2$ ($c$ is a Coxeter element), the algebra ${\mathbb C}[G^{e,c^2}]$ has only finitely many cluster variables. In this article, for $G={\rm SL}_{r+1}(\mathbb{C})$, we obtain explic…
We first prove that the K-theoretic Hall algebra of a preprojective algebra of affine type is isomorphic to the positive half of a quantum toroidal quantum group. An essential step consists to deform the K-theoretic Hall algebra so that the deformation is torsion free over some polynomial subalgebra. Next, we compare super toroidal quantum groups of type A with K-theoretic Hall algebras of quivers with potential, which are defined using the Grothendieck groups of categories of singularities of some Landau-Ginzburg models.
For a local field $F$ and an Artinian local coefficient ring $Λ$ with the same positive residue characteristic $p$ we define, for any $e\in{\mathbb N}$, a category ${\mathfrak C}^{(e)}(Λ)$ of ${\rm GL}_2(F)$-equivariant coefficient systems on the Bruhat-Tits tree $X$ of ${\rm PGL}_2(F)$. There is an obvious functor from the category of ${\rm GL}_2(F)$-representations over $Λ$ to ${\mathfrak C}^{(e)}(Λ)$. If $F={\mathbb Q}_p$ then ${\mathfrak C}^{(1)}(Λ)$ is equivalent to the category of smooth ${\rm GL}_2({\mathbb Q}_p)$-representations over $Λ$ generated by their invariants under a pro-$p$-Iw…
