By using the equivariant theory of group actions, we give a geometric model for the category of finite dimensional representations over a type $\mathbb{D}$ quiver $Q_{D}$ with $n$ vertices and directional symmetry. Furthermore, we introduce the notion of maximal almost pre-rigid representations over $Q_{D}$, which form a family of objects counted by the generalized Catalan number. We present a geometric realization for maximal almost pre-rigid representations and prove that the endomorphism algebras of maximal almost pre-rigid representations are tilted algebras of type $Q_{\overline{D}}$, where $Q_{\overline{D}}$ is a quiver obtained by adding $n-2$ new vertices and $n-2$ arrows to the quiver $Q_{D}$. Additionally, we define a partial order on the set of maximal almost pre-rigid representations, which therefore presents a representation-theoretic interpretation of the type-$\mathbb{D}$ Cambrian lattice determined by $Q_{D}$. Meanwhile, we obtain a representation-theoretic interpretation of the type-$\mathbb{B}$ Cambrian lattices.
Buan, Iyama, Reiten and Smith proved that the superpotential of a quiver corresponding to an element of Coxeter group is rigid. In this paper, we extend this result to the Berenstein-Fomin-Zelevinsky quivers corresponding to double Bruhat cells of symmetric Kac-Moody algebras. We also realize these quivers as dimers models on cylinder over corresponding graphs.
In this paper, we construct a geometric realization of symmetric pair of type AIII over $σ$-quiver varieties as an analogy of the construction over Nakajima quiver varieties. To achieve this, we define the action of generators by pull back and push forward through $ι$Hecke correspondences and check the relations.
For a Dynkin quiver $Q$ of type ADE and a sum $β$ of simple roots, we construct a bimodule over the quantum loop algebra and the quiver Hecke algebra of the corresponding type via equivariant K-theory, imitating Ginzburg-Reshetikhin-Vasserot's geometric realization of the quantum affine Schur-Weyl duality. Our construction is based on Hernandez-Leclerc's isomorphism between a certain graded quiver variety and the space of representations of the quiver $Q$ of dimension vector $β$. We identify the functor induced from our bimodule with Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl d…
We introduce image-cokernel-extension-closed (ICE-closed) subcategories of module categories. This class unifies both torsion classes and wide subcategories. We show that ICE-closed subcategories over the path algebra of Dynkin type are in bijection with basic rigid modules, that ICE-closed subcategories are precisely torsion classes in some wide subcategories, and that the number does not depend on the orientation of the quiver. We give an explicit formula of this number for each Dynkin type, and in particular, it is equal to the large Schröder number for type A case.
In a recent paper by K.-H. Lee and K. Lee, rigid reflections are defined for any Coxeter group via non-self-intersecting curves on a Riemann surface with labeled curves. When the Coxeter group arises from an acyclic quiver, the rigid reflections are related to the rigid representations of the quiver. For a family of rank $3$ Coxeter groups, it was conjectured in the same paper that there is a natural bijection from the set of reduced positive roots of a symmetric rank $2$ Kac--Moody algebra onto the set of rigid reflections of the corresponding rank $3$ Coxeter group. In this paper, we prove t…
We show that the cohomology ring of a quiver Grassmannian asssociated with a rigid quiver representation has property (S): there is no odd cohomology and the cycle map is an isomorphism; moreover, its Chow ring admits explicit generators defined over any field. From this we deduce the polynomial point count property. By restricting the quiver to finite or affine type, we are able to show a much stronger assertion: namely, that a quiver Grassmannian associated to an indecomposable (not necessarily rigid) representation admits a cellular decomposition. As a corollary, we establish a cellular dec…
Given any Coxeter group, we define rigid reflections and rigid roots using non-self-intersecting curves on a Riemann surface with labeled curves. When the Coxeter group arises from an acyclic quiver, they are related to the rigid representations of the quiver. For a family of rank 3 Coxeter groups, we show that there is a surjective map from the set of reduced positive roots of a rank 2 Kac--Moody algebra onto the set of rigid reflections. We conjecture that this map is bijective.
This paper presents a geometric model of the Auslander-Reiten quiver of a type A quiver together with a stability function for which all indecomposable modules are stable. We also introduce a new Catalan object which we call a maximal almost rigid representation. We show that its endomorphism algebra is a tilted algebra of type A. We define a partial order on the set of maximal almost rigid representations and use our new geometric model to show that this partial order is a Cambrian lattice.
The $\imath$quiver algebras were introduced recently by the authors to provide a Hall algebra realization of universal $\imath$quantum groups, which is a generalization of Bridgeland's Hall algebra construction for (Drinfeld doubles of) quantum groups; here an $\imath$quantum group and a corresponding Drinfeld-Jimbo quantum group form a quantum symmetric pair. In this paper, the Dynkin $\imath$quiver algebras are shown to arise as new examples of singular Nakajima-Keller-Scherotzke categories. Then we provide a geometric construction of the universal $\imath$quantum groups and their ``dual can…
We show that a subcategory of the $m$-cluster category of type $\tilde{D_n}$ is isomorphic to a category consisting of arcs in an $(n-2)m$-gon with two central $(m-1)$-gons inside of it. We show that the mutation of colored quivers and $m$-cluster-tilting objects is compatible with the flip of an $(m+2)$-angulation. In the final part of this paper, we detail an example of a quiver of type $\tilde{D_7}$.
We prove that the localization of the monoidal category $\mathcal{C}_w$ is rigid, and the category $\mathcal{C}_{w,v}$ admits a localization via a real commuting family of central objects. Note that the localization of $\mathcal{C}_{w,v}$ categorifies the open Richardson variety.
We study moduli spaces of (semi-)stable representations of one-point extensions of quivers by rigid representations. This class of moduli spaces unifies Grassmannians of subrepresentations of rigid representations and moduli spaces of representations of generalized Kronecker quivers. With homological methods, we find numerical criteria for non-emptiness and results on basic geometric properties, construct generating semi-invariants, expand the Gel'fand MacPherson correspondence, and derive a formula for the Poincare polynomial in singular cohomology of these moduli spaces.
We consider an infinite quiver $Q(\mathfrak{g})$ and a family of periodic quivers $Q_m(\mathfrak{g})$ for a finite dimensional simple Lie algebra $\mathfrak{g}$ and $m \in \mathbb{Z}_{>1}$. The quiver $Q(\mathfrak{g})$ is essentially same as what introduced by Hernandez and Leclerc for the quantum affine algebra. We construct the Weyl group $W(\mathfrak{g})$ as a subgroup of the cluster modular group for $Q_m(\mathfrak{g})$, in a similar way as what studied by the author, Ishibashi and Oya, and study its applications to the $q$-characters of quantum non-twisted affine algebras $U_q(\hat{\mathf…
Let Q be a Dynkin quiver of type A. The bounded derived category of the path algebra of Q has an autoequivalence given by the composition of the Auslander-Reiten translate and the square of the shift functor. We classify the maximal rigid objects in the corresponding orbit category C(Q), in terms of bipartite noncrossing graphs (with loops) in a circle. We also describe the endomorphism algebras of the maximal rigid objects, and we prove that a certain class of these algebras are iterated tilted algebras of type A.
