Let M and N be two representations of an extended Dynkin quiver such that the orbit O_N of N is contained in the orbit closure \bar{O_M} and has codimension two. We show that the pointed variety $(\bar{O_M},N)$ is smoothly equivalent to a simple surface singularity of type A_n, or to the cone over a rational normal curve.
A desingularization of arbitrary quiver Grassmannians for representations of Dynkin quivers is constructed in terms of quiver Grassmannians for an algebra derived equivalent to the Auslander algebra of the quiver.
For a stability condition $σ$ on a triangulated category, Dimitrov-Katzarkov introduced the notion of a $σ$-exceptional collection. In this paper, we study full $σ$-exceptional collections in the derived category of an acyclic quiver. In particular, we prove that any stability condition $σ$ on the derived category of a Dynkin quiver admits a full $σ$-exceptional collection.
Extending the main result of Part 1, in the first part of this paper we show that every quiver Grassmannian of a representation of a quiver of extended Dynkin type $D$ has a decomposition into affine spaces. In the case of real root representations of small defect, the non-empty cells are in one-to-one correspondence to certain, so called non-contradictory, subsets of the vertex set of a fixed tree-shaped coefficient quiver. In the second part, we use this characterization to determine the generating functions of the Euler characteristics of the quiver Grassmannians (resp. $F$-polynomials). Al…
With the help of Lusztig's canonical basis, we study local intersection cohomology of the Zariski closures of orbits of representations of a quiver of type A, D or E. In particular, we characterize the rationally smooth orbits and prove that orbit closures are smooth if and only if they are rationally smooth. This provides an analogue of theorems of V. Deodhar, and J. Carrell and D. Peterson on Schubert varieties.
We use the Kempf-Lascoux-Weyman geometric technique in order to determine the minimal free resolutions of some orbit closures of quivers. As a consequence, we obtain that for Dynkin quivers orbit closures of 1-step representations are normal with rational singularities. For Dynkin quivers of type $A$, we describe explicit minimal generators of the defining ideals of orbit closures of 1-step representations. Using this, we provide an algorithm for type $A$ quivers for describing an efficient set of generators of the defining ideal of the orbit closure of any representation.
Inspired by recent work of Cerulli-Feigin-Reineke on desingularizations of quiver Grassmannians of representations of Dynkin quivers, we obtain desingularizations in considerably more general situations and in particular for Grassmannians of modules over iterated tilted algebras of Dynkin type. Our desingularization map is constructed from Nakajima's desingularization map for graded quiver varieties.
Let $\Bbbk$ be an algebraically closed field, $Q$ a finite quiver, and denote by $\mathop{\mathrm{rep}}_Q^{\mathbf{d}}$ the affine $\Bbbk$-scheme of representations of $Q$ with a fixed dimension vector ${\mathbf{d}}$. Given a representation $M$ of $Q$ with dimension vector ${\mathbf{d}}$, the set ${\mathcal{O}}_M$ of points in $\mathop{\mathrm{rep}}_Q^{\mathbf{d}}(\Bbbk)$ isomorphic as representations to $M$ is an orbit under an action on $\mathop{\mathrm{rep}}_Q^{\mathbf{d}}(\Bbbk)$ of a product of general linear groups. The orbit ${\mathcal{O}}_M$ and its Zariski closure $\overline{\mathcal{…
We use the geometric technique, developed by Weyman, to calculate the resolution of orbit closures of representations of Dynkin quivers with every vertex being source or sink. We use this resolution to derive the normality of such orbit closures. As a consequence we obtain the normality of certain orbit closures of type E.
We study the Grothendieck classes of quiver cycles, i.e. invariant closed subvarieties of the representation space of a quiver. For quivers without oriented loops we show that the class of a quiver cycle is determined by quiver coefficients, which generalize the earlier studied quiver coefficients for equioriented quivers of type A. We conjecture that quiver coefficients satisfy positivity and finiteness properties. Our main result is a formula for the quiver coefficients for orbit closures of Dynkin type with rational singularities, which confirms the finiteness conjecture. This formula is ba…
Let $Q$ be a quiver of extended Dynkin type $D$. In this first of two papers, we show that the quiver Grassmannian $Gr_e(M)$ has a decomposition into affine spaces for every dimension vector $e$ and every indecomposable representation $M$ of defect $-1$ and defect $0$, with exception of the non-Schurian representations in homogeneous tubes. We characterize the affine spaces in terms of the combinatorics of a fixed coefficient quiver for $M$. The method of proof is to exhibit explicit equations for the Schubert cells of $Gr_e(M)$ and to solve this system of equations successively in linear term…
We develop reductions for classifications of singularities of orbit closures in module varieties. Then we show that the orbit closures for representations of Dynkin quivers are regular in codimension two.
We study fundamental group of the exchange graphs for the bounded derived category D(Q) of a Dynkin quiver Q and the finite-dimensional derived category D(Γ_N Q) of the Calabi-Yau-N Ginzburg algebra associated to Q. In the case of D(Q), we prove that its space of stability conditions (in the sense of Bridgeland) is simply connected; as applications, we show that its Donanldson-Thomas invariant can be calculated via a quantum dilogarithm function on exchange graphs. In the case of D(Γ_N Q), we show that faithfulness of the Seidel-Thomas braid group action (which is known for Q of type A or N = …
For any acyclic quiver, we establish a family of structure isomorphisms for its cohomological Hall algebra (CoHA). The family is parameterized by partitions of the quiver into Dynkin subquivers. For each such partition, we write the domain of our isomorphism as a tensor product of subalgebras in two ways. In the first, each tensor factor is isomorphic to the CoHA of the quiver with a single vertex and no arrows. In the second, the tensor factors are each isomorphic to the CoHAs of the corresponding Dynkin subquivers. When the quiver is already an orientation of a simply-laced Dynkin diagram, o…
Any moduli space of representations of a quiver (possibly with oriented cycles) has an embedding as a dense open subvariety into a moduli space of representations of a bipartite quiver having the same type of singularities. A connected quiver is Dynkin or extended Dynkin if and only if all moduli spaces of its representations are smooth.
The famous pentagon identity for quantum dilogarithms has a generalization for every Dynkin quiver, due to Reineke. A more advanced generalization is associated with a pair of alternating Dynkin quivers, due to Keller. The description and proof of Keller's identities involves cluster algebras and cluster categories, and the statement of the identity is implicit. In this paper we describe Keller's identities explicitly, and prove them by a dimension counting argument. Namely, we consider quiver representations $\boldsymbol{\mathrm{Rep}}_γ$ together with a superpotential function $W_γ$, and calc…
In a previous paper the authors have attached to each Dynkin quiver an associative algebra. The definition is categorical and the algebra is used to construct desingularizations of arbitrary quiver Grassmannians. In the present paper we prove that this algebra is isomorphic to an algebra constructed by Hernandez-Leclerc defined combinatorially and used to describe certain graded Nakajima quiver varieties. This approach is used to get an explicit realization of the orbit closures of representations of Dynkin quivers as affine quotients.
The paper includes a new proof of the fact that quiver Grassmannians associated with rigid representations of Dynkin quivers do not have cohomology in odd degrees. Moreover, it is shown that they do not have torsion in homology. A new proof of the Caldero--Chapoton formula is provided. As a consequence a new proof of the positivity of cluster monomials in the acyclic clusters associated with Dynkin quivers is obtained. The methods used here are based on joint works with Markus Reineke and Evgeny Feigin.
In this paper, we introduce generalized quiver varieties which include as special cases classical and cyclic quiver varieties. The geometry of generalized quiver varieties is governed by a finitely generated algebra P: the algebra P is self-injective if the quiver Q is of Dynkin type, and coincides with the preprojective algebra in the case of classical quiver varieties. We show that in the Dynkin case the strata of generalized quiver varieties are in bijection with the isomorphism classes of objects in proj P, and that their degeneration order coincides with the Jensen-Su-Zimmermann's degener…
Consider the Cohomological Hall Algebra as defined by Kontsevich and Soibelman, associated with a Dynkin quiver. We reinterpret the geometry behind the multiplication map in the COHA, and give an iterated residue formula for it. We show natural subalgebras whose product is the whole COHA (except in the $E_8$ case). The dimension count version of this statement is an identity for quantum dilogarithm series, first proved by Reineke. We also show that natural structure constants of the COHA are universal polynomials representing degeneracy loci, a.k.a. quiver polynomials.
The number of full exceptional collections modulo spherical twists for extended Dynkin quivers
Yau Mathematical Sciences Center, Tsinghua University(清华大学丘成桐数学科学中心);School of Economics and Management, University of Hyogo(兵库大学经济与管理学院);Department of Mathematics, Graduate School of Science, The University of Osaka(大阪大学理学研究科数学系)
We study the representation theory of Dynkin quivers of type A in abstract stable homotopy theories, including those associated to fields, rings, schemes, differential-graded algebras, and ring spectra. Reflection functors, (partial) Coxeter functors, and Serre functors are defined in this generality and these equivalences are shown to be induced by universal tilting modules, certain explicitly constructed spectral bimodules. In fact, these universal tilting modules are spectral refinements of classical tilting complexes. As a consequence we obtain split epimorphisms from the spectral Picard g…
Kirillov has described a McKay correspondence for finite subgroups of PSL_{2}(C) that associates to each `height' function an affine Dynkin quiver together with a derived equivalence between equivariant sheaves on the projective line P^1 and representations of this quiver. The equivalences for different height functions are then related by reflection functors for quiver representations. The main goal of this paper is to develop an analogous story for the cotangent bundle of P^1. We show that each height function gives rise to a derived equivalence between equivariant sheaves on the cotangent b…
We show that a semi-stable moduli space of representations of an acyclic quiver can be identified with two GIT quotients by reductive groups. One of a quiver Grassmannian of a projective representation, the other of a quiver Grassmannian of an injective representation. This recovers as special cases the classical Gelfand-MacPherson correspondence and its generalization by Hu and Kim to bipartite quivers, as well as the Zelevinsky map for a quiver of Dynkin type A with the linear orientation.
We introduce the notion of filtered representations of quivers, which is related to usual quiver representations, but is a systematic generalization of conjugacy classes of $n\times n$ matrices to (block) upper triangular matrices up to conjugation by invertible (block) upper triangular matrices. With this notion in mind, we describe the ring of invariant polynomials for interesting families of quivers, namely, finite $ADE$-Dynkin quivers and affine type $\widetilde{A}$-Dynkin quivers. We then study their relation to an important and fundamental object in representation theory called the Groth…
Degeneracy loci polynomials for quiver representations generalize several important polynomials in algebraic combinatorics. In this paper we give a nonconventional generating sequence description of these polynomials, when the quiver is of Dynkin type.
A class of desingularizations for orbit closures of representations of Dynkin quivers is constructed, which can be viewed as a graded analogue of the Springer resolution. A stratification of the singular fibres is introduced; its geometry and combinatorics are studied. Via the Hall algebra approach, these constructions relate to bases of quantized enveloping algebras. Using Ginzburg's theory of convolution algebras, the base change coefficients of Lusztig's canonical basis are expressed as decomposition numbers of certain convolution algebras.
We show that Gorenstein singularities that are cones over singular Fano varieties provided by so-called flag quivers are smoothable in codimension three. Moreover, we give a precise characterization about the smoothability in codimension three of the Fano variety itself.
We study minimal disjoint degenerations for representations of tame quivers. In particular, we prove that their codimensions are bounded by 2. Therefore a quiver is Dynkin resp. Euclidean resp. wild iff the codimensions are 1 resp. bounded by 2 resp. unbounded. We explain also that for tame quivers the complete classification of all minimal disjoint degenerations is a finite problem that can be solved with the help of a computer.
Linear free divisors are free divisors, in the sense of K.Saito, with linear presentation matrix (example: normal crossing divisors). Using techniques of deformation theory on representations of quivers, we exhibit families of linear free divisors as discriminants in representation spaces for real Schur roots of a finite quiver. We review some basic material on quiver representations, and explain in detail how to verify whether the discriminant is a free divisor and how to determine its components and their equations, using techniques of A. Schofield. As an illustration, the linear free diviso…
We relate the representations of the rational Cherednik algebras associated with the complex reflection group G(m,1,n) to sheaves on Nakajima quiver varieties associated with extended Dynkin gaphs via a Z-algebra construction. As the parameters defining the Cherednik algebra vary, the stability conditions defining the quiver variety change. We interpret the ordering on category O geometrically using this relationship; we also relate the geometry to the a-function for Hecke algebras with unequal parameters.
We study a triangulated category of graded matrix factorizations for a polynomial of type ADE. We show that it is equivalent to the derived category of finitely generated modules over the path algebra of the corresponding Dynkin quiver. Also, we discuss a special stability condition for the triangulated category in the sense of T. Bridgeland, which is naturally defined by the grading.
Quiver Grassmannians are varieties parametrizing subrepresentations of a quiver representation. It is observed that certain quiver Grassmannians for type A quivers are isomorphic to the degenerate flag varieties investigated earlier by the second named author. This leads to the consideration of a class of Grassmannians of subrepresentations of the direct sum of a projective and an injective representation of a Dynkin quiver. It is proven that these are (typically singular) irreducible normal local complete intersection varieties, which admit a group action with finitely many orbits, and a cell…
We give a description of faces of all codimensions for the cones of weights of rings of semi-invariants of quivers. For a triple flag quiver and faces of codimension 1 this reduces to the result of Knutson-Tao-Woodward on the facets of the Klyachko cone. We give new applications to Littlewood-Richardson coefficients, including a product formula for LR-coefficients corresponding to triples of partitions lying on a wall of the Klyachko cone. We systematically review and develop the necessary methods (exceptional and Schur sequences, orthogonal categories, semi-stable decompositions, GIT quotient…
In our previous paper we studied non-semistable exceptional objects in hereditary categories and introduced the notion of regularity preserving category, but we obtained quite a few examples of such categories. Certain conditions on the Ext-nontrivial couples (exceptional objects $X,Y\in \mathcal A$ with ${\rm Ext}^1(X,Y)\neq 0$ and ${\rm Ext}^1(Y,X)\neq 0$) were shown to imply regularity-preserving. This paper is a brief review of the previous paper (with emphasis on regularity preserving property) and we add some remarks and conjectures. It is known that in Dynkin quivers ${\rm Hom}(ρ,ρ')=0$…
This paper introduces a mathematical definition of the category of D-branes in Landau-Ginzburg orbifolds in terms of $A_\infty$-categories. Our categories coincide with the categories of (graded) matrix factorizations for quasi-homogeneous polynomials. After setting up the necessary definitions, we prove that our category for the polynomial $x^{n+1}$ is equivalent to the derived category of representations of the Dynkin quiver of type $A_{n}$. We also construct a special stability condition for the triangulated category in the sense of T. Bridgeland, which should be the "origin" of the space o…
We introduce a new class of representations of the cohomological Hall algebras of Kontsevich and Soibelman, which we call cohomological Hall modules, or CoHM for short. These representations are constructed from self-dual representations of a quiver with contravariant involution $σ$ and provide a mathematical model for the space of BPS states in orientifold string theory. We use the CoHM to define a generalization of the cohomological Donaldson-Thomas theory of quivers which allows the quiver representations to have orthogonal and symplectic structure groups. The associated invariants are call…
This is the third in a series of papers which give an explicit description of the reconstruction algebra as a quiver with relations; these algebras arise naturally as geometric generalizations of preprojective algebras of extended Dynkin quivers. This paper deals with dihedral groups G=D_{n,q} which have rank 2 special CM modules. We show that such reconstruction algebras are described by combining a preprojective algebra of extended type D with some reconstruction algebra of type A.