This paper presents analogous results of Hua [7][8] on numbers of representations of quivers over finite fields which respect nilpotent relations under certain assumptions. A closed formula which counts isomorphism classes of absolutely indecomposable representations with given dimension vectors is given and a $q$-deformation of Weyl-Kac denominator identity is established. In principle, if the numbers of representations are known, then the numbers of isomorphism classes of absolutely indecomposable representations are known.
We consider quiver representations respecting a quiver automorphism and show that the dimension vectors of the indecomposables are precisely the positive roots of an associated symmetrisable Kac-Moody Lie algebra. Moreover, every such Lie algebra arises in this way. We also discuss the relationship with species of valued quivers over finite fields.
We define a set of "enhanced" nilpotent quiver representations that generalizes the enhanced nilpotent cone. This set admits an action by an associated algebraic group $K$ with finitely many orbits. We define a combinatorial set that parametrizes the set of orbits under this action and we derive a purely combinatorial formula for the dimension of an orbit.
We prove that the local intersection cohomology of nilpotent orbit closures of cyclic quivers is trivial when the two orbits involved correspond to partitions with at most two rows. This gives a geometric proof of a result of Graham and Lehrer, which states that standard modules of the affine Hecke algebra of $GL_d$ corresponding to nilpotents with at most two Jordan blocks are multiplicity-free.
Generalizing Schubert cells in type A and a cell decomposition if Springer fibres in type A found by L. Fresse we prove that varieties of complete flags in nilpotent representations of an oriented cycle admit an affine cell decomposition parametrized by multi-tableaux. We show that they carry a torus operation and describe the T-equivariant cohomology using Goresky-Kottwitz-MacPherson-theory. As an application of the cell decomposition we obtain a vector space basis of certain modules (for quiver Hecke algebras of nilpotent representations of this quiver), similar modules have been studied by …
The intersection cohomologies of closures of nilpotent orbits of linear (respectively, cyclic) quivers are known to be described by Kazhdan-Lusztig polynomials for the symmetric group (respectively, the affine symmetric group). We explain how to simplify this description using a combinatorial cancellation procedure, and derive some consequences for representation theory.
We give a closed expression for the number of points over finite fields (or the motive) of the Lusztig nilpotent variety associated to any quiver, in terms of Kac's A-polynomials. When the quiver has 1-loops or oriented cycles, there are several possible variants of the Lusztig nilpotent variety, and we provide formulas for the point count of each. This involves nilpotent versions of the Kac A-polynomial, which we introduce and for which we give a closed formula similar to Hua's formula for the usual Kac A-polynomial. Finally we compute the number of points over a finite field of the various s…
The $\mathrm{GL}(V)$-orbits in the enhanced nilpotent cone $V\times\mathcal{N}(V)$ are (essentially) in bijection with the orbits of a certain parabolic $P\subseteq\mathrm{GL}(V)$ (the mirabolic subgroup) in the nilpotent cone $\mathcal{N}(V)$. We give a new parameterization of the orbits in the enhanced nilpotent cone, in terms of representations of the underlying quiver. This parameterization generalizes naturally to the enhanced cyclic nilpotent cone. Our parameterizations are different to the previous ones that have appeared in the literature. Explicit translations between the different pa…
In the present paper we study the derived Hall algebra for the bounded derived category of the nilpotent representations of a tame quiver over a finite field. We show that for any three given objects in the bounded derived category, the associated derived Hall numbers are given by a rational function in the cardinalities of ground fields.
In this paper, we study the set of $Δ$-filtered modules of quasi-hereditary algebras arising from quotients of the double of quivers of type $A$. Our main result is that for any fixed $Δ$-dimension vector, there is a unique (up to isomorphism) exceptional $Δ$-filtered module. We then apply this result to show that there is always an open adjoint orbit in the nilpotent radical of a seaweed Lie algebra in $\mathrm{gl}_{n}(\field)$, thus answering positively in this $\mathrm{gl}_{n}(\field)$ case to a question raised independently by Michel Duflo and Dmitri Panyushev. An example of a seaweed Lie …
We continue the study of the closures of $GL(V)$-orbits in the enhanced nilpotent cone $V\times\cN$ begun by the first two authors. We prove that each closure is an invariant-theoretic quotient of a suitably-defined enhanced quiver variety. We conjecture, and prove in special cases, that these enhanced quiver varieties are normal complete intersections, implying that the enhanced nilpotent orbit closures are also normal.
In this note we give a closed expression for the number of points over finite fields of the Lusztig nilpotent variety associated to any quiver without edge loops, in terms of Kac's A-polynomial. We conjecture a similar result for quivers in which edge loops are allowed. Finally, we give a formula for the number of points over a finite field of the various stratas of the Lusztig nilpotent variety involved in the geometric realization of the crystal graph.
For the moduli space of Higgs bundles on a Riemann surface of positive genus, critical points of the natural Morse-Bott function lie along the nilpotent cone of the Hitchin fibration and are representations of $\mbox{A}$-type quivers in a twisted category of holomorphic bundles. The critical points that globally minimize the function are representations of $\mbox{A}_1$. For twisted Higgs bundles on the projective line, the quiver describing the bottom of the cone is more complicated. We determine it here. We show that the moduli space is topologically connected whenever the rank and degree are…
We define and investigate algebraic torus actions on quiver Grassmannians for nilpotent representations of the equioriented cycle. Examples of such varieties are type $\tt A$ flag varieties, their linear degenerations, finite dimensional approximations of the $GL_n$-affine flag variety and affine Grassmannian. We show that these quiver Grassmannians, equipped with our torus action, are GKM-varieties and that their moment graph admits a combinatorial description in terms of coefficients quiver of the underlying quiver representations. By adapting to our setting results by Gonzales, we are able …
We show that the generic Hall algebra of nilpotent representations of an oriented cycle specialised at $q=0$ is isomorphic to the generic extension monoid in the sense of Reineke. This continues the work of Reineke.
In this article we define a generalization of Lusztig Lagrangian varieties in the case of arbitrary quivers, possibly carrying loops. As opposed to the Lagrangian varieties constructed by Lusztig, which consisted in nilpotent representations, we have to consider here slightly more general representations. That this is necessary is already clear from the Jordan quiver case. Our proof of the Lagrangian character is based on induction, but with non trivial first steps, consisting in the study of quivers with one vertex but possible loops. From our proof emerges a new combinatorial structure on th…
A nilpotent endomorphism of a quiver representation induces a linear transformation on the vector space at each vertex. Generically among all nilpotent endomorphisms, there is a well-defined Jordan form for these linear transformations, which is an interesting new invariant of a quiver representation. If $Q$ is a Dynkin quiver and $m$ is a minuscule vertex, we show that representations consisting of direct sums of indecomposable representations all including $m$ in their support, the category of which we denote by $\mathcal{C}_{Q,m}$, are determined up to isomorphism by this invariant. We use …
We consider the conjugation-action of an arbitrary upper-block parabolic subgroup of ${\rm GL}_n(\mathbf{C})$ on the variety of $x$-nilpotent complex matrices and translate it to a representation-theoretic context. We obtain a criterion as to whether the action admits a finite number of orbits and specify a system of representatives for the orbits in the finite case of $2$-nilpotent matrices. Furthermore, we give a set-theoretic description of their closures and specify the minimal degenerations in detail for the action of the Borel subgroup. We show that in all non-finite cases, the correspon…
In previous work we equipped quiver Grassmannians for nilpotent representations of the equioriented cycle with an action of an algebraic torus. We show here that the equivariant cohomology ring is acted upon by a product of symmetric groups and we investigate this permutation action via GKM techniques. In the case of (type A) flag varieties, or Schubert varieties therein, we recover Tymoczko's results on permutation representations.
Let $Q$ be a finite type quiver i.e. ADE Dynkin quiver. Denote by $Λ$ its preprojective algebra. It is known that there are finitely many indecomposable $Λ$-modules if and only if $Q$ is of type $A_1,A_2,A_3,A_4$. In this paper, extending Lusztig's construction of $U\frak{n}_+$, we study an algebra generated by these indecomposable submodules. It turns out that it forms the universal enveloping algebra of some nilpotent Lie algebra inside the function algebra on Lusztig's nilpotent scheme. The defining relations of the corresponding nilpotent Lie algebra for type $A_1, A_2,A_3,A_4$ are given h…
Let $\mathbb{K}$ denote an algebraically closed field and $A$ a free product of finitely many semisimple associative $\mathbb{K}$-algebras. We associate to $A$ a finite acyclic quiver $Γ$ and show that the category of finite dimensional $A$-modules is equivalent to a full subcategory of the category ${\rm rep}(Γ)$ of finite dimensional representations of $Γ$. Under this equivalence, the simple $A$-modules correspond exactly to the $θ$-stable representations of $Γ$ for some stability parameter $θ$. This gives us necessary conditions for an $A$-module to be simple, conditions which are also suff…
It is a remarkable theorem by Maffei--Nakajima that the Slodowy variety, which is a subvariety of the resolution of the nilpotent cone, can be realized as a Nakajima quiver variety of type A. However, the isomorphism is rather implicit as it takes to solve a system of equations in which the variables are linear maps. In this paper, we construct solutions to this system under certain assumptions. This establishes an explicit and efficient way to compute the image of a complete flag contained in the Slodowy variety under the Maffei--Nakajima isomorphism and describe these flags in terms of quive…
We generalize Lusztig's nilpotent varieties, and Kashiwara and Saito's geometric construction of crystal graphs from the symmetric to the symmetrizable case. We also construct semicanonical functions in the convolution algebras of generalized preprojective algebras. Conjecturally these functions yield semicanonical bases of the enveloping algebras of the positive part of symmetrizable Kac-Moody algebras.
Let Q be a Dynkin quiver, and let P(Q) be the corresponding preprojective algebra. Let I be a set of pairwise different indecomposable irreducible components of varieties of P(Q)-modules such that generically there are no extensions between these components. We show that the number of elements in I is at most the number of positive roots of Q. Furthermore, we give a module theoretic interpretation of Leclerc's counterexample to a conjecture of Berenstein and Zelevinsky.
The descent algebra $Σ(W)$ is a subalgebra of the group algebra $\Q W$ of a finite Coxeter group $W$, which supports a homomorphism with nilpotent kernel and commutative image in the character ring of $W$. Thus $Σ(W)$ is a basic algebra, and as such it has a presentation as a quiver with relations. Here we construct $Σ(W)$ as a quotient of a subalgebra of the path algebra of the Hasse diagram of the Boolean lattice of all subsets of $S$, the set of simple reflections in $W$. From this construction we obtain some general information about the quiver of $Σ(W)$ and an algorithm for the constructi…
In this article, we construct a non-commutative crepant resolution (=NCCR) of a minimal nilpotent orbit closure $\overline{B(1)}$ of type A, and study relations between an NCCR and crepant resolutions $Y$ and $Y^+$ of $\overline{B(1)}$. More precisely, we show that the NCCR is isomorphic to the path algebra of the double Beilinson quiver with certain relations and we reconstruct the crepant resolutions $Y$ and $Y^+$ of $\overline{B(1)}$ as moduli spaces of representations of the quiver. We also study the Kawamata-Namikawa's derived equivalence between crepant resolutions $Y$ and $Y^+$ of $\ove…
This is an expository article on the singularities of nilpotent orbit closures in simple Lie algebras over the complex numbers. It is slanted towards aspects that are relevant for representation theory, including Maffei's theorem relating Slodowy slices to Nakajima quiver varieties in type A. There is one new observation: the results of Juteau and Mautner, combined with Maffei's theorem, give a geometric proof of a result on decomposition numbers of Schur algebras due to Fang, Henke and Koenig.
We construct an equivalence of graded Abelian categories from a category of representations of the quiver-Hecke algebra of type $A_1^{(1)}$ to the category of equivariant perverse coherent sheaves on the nilpotent cone of type $A$. We prove that this equivalence is weakly monoidal. This gives a representation-theoretic categorification of the preprojective K-theoretic Hall algebra considered by Schiffmann-Vasserot. Using this categorification, we compare the monoidal categorification of the quantum open unipotent cells of type $A_1^{(1)}$ given by Kang-Kashiwara-Kim-Oh-Park in terms of quiver-…
Based on the work of Ringel and Green, one can define the (Drinfeld) double Ringel--Hall algebra ${\mathscr D}(Q)$ of a quiver $Q$ as well as its highest weight modules. The main purpose of the present paper is to show that the basic representation $L(Λ_0)$ of ${\mathscr D}(Δ_n)$ of the cyclic quiver $Δ_n$ provides a realization of the $q$-deformed Fock space $\bigwedge^\infty$ defined by Hayashi. This is worked out by extending a construction of Varagnolo and Vasserot. By analysing the structure of nilpotent representations of $Δ_n$, we obtain a decomposition of the basic representation $L(Λ_…
We define and study the category $\RepQ$ of representations of a quiver in $\VFun$ - the category of vector spaces "over $\Fun$". $\RepQ$ is an $\Fun$-linear category possessing kernels, co-kernels, and direct sums. Moreover, $\RepQ$ satisfies analogues of the Jordan-Hölder and Krull-Schmidt theorems. We are thus able to define the Hall algebra $\HQ$ of $\RepQ$, which behaves in some ways like the specialization at $q=1$ of the Hall algebra of $\on{Rep}(\Q, \mathbf{F}_q)$. We prove the existence of a Hopf algebra homomorphism of $ ρ': \U(\n_+) \rightarrow \HQ$, from the enveloping algebra of t…
We study fixed-point loci of Nakajima varieties under symplectomorphisms and their anti-symplectic cousins, which are compositions of a diagram automorphism, a reflection functor and a transpose defined by certain bilinear forms. These subvarieties provide a natural home for geometric representation theory of symmetric pairs. In particular, the cohomology of a Steinberg-type variety of the symplectic fixed-point subvarieties is conjecturally related to the universal enveloping algebra of the subalgebra in a symmetric pair. The latter symplectic subvarieties are further used to construct geomet…
We study the algebraic geometry of twisted Higgs bundles of cyclic type along complex curves. These objects, which generalize ordinary cyclic Higgs bundles, can be identified with representations of a cyclic quiver in a twisted category of coherent sheaves. Referring to the Hitchin fibration, we produce a fibre-wise geometric description of the locus of such representations within the ambient twisted Higgs moduli space. When the genus is 0, we produce a concrete geometric identification of the moduli space as a vector bundle over an associated (twisted) A-type quiver variety; we count the numb…
In the first part of the paper we defined and studied a binary operation on the set of irreducible components of Lusztig's nilpotent varieties of a quiver. For type $A$ we conjecture, following Geiss and Schröer, that this operation is compatible with taking the socle of parabolic induction of representations of general linear groups over a local non-archimedean field, at least when one of the irreducible components is rigid. We verify this conjecture in special cases.
Our investigation in the present paper is based on three important results. (1) In [12], Ringel introduced Hall algebra for representations of a quiver over finite fields and proved the elements corresponding to simple representations satisfy the quantum Serre relation. This gives a realization of the nilpotent part of quantum group if the quiver is of finite type. (2) In [4], Green found a homological formula for the representation category of the quiver and equipped Ringel's Hall algebra with a comultiplication. The generic form of the composition subalgebra of Hall algebra generated by simp…
We study the category $\textrm{Rep}(Q,\mathbb{F}_1)$ of representations of a quiver $Q$ over "the field with one element", denoted by $\mathbb{F}_1$, and the Hall algebra of $\textrm{Rep}(Q,\mathbb{F}_1)$. Representations of $Q$ over $\mathbb{F}_1$ often reflect combinatorics of those over $\mathbb{F}_q$, but show some subtleties - for example, we prove that a connected quiver $Q$ is of finite representation type over $\mathbb{F}_1$ if and only if $Q$ is a tree. Then, to each representation $\mathbb{V}$ of $Q$ over $\mathbb{F}_1$ we associate a coefficient quiver $Γ_\mathbb{V}$ possessing the …
The free abelian group R(Q) on the set of indecomposable representations of a quiver Q, over a field K, has a ring structure where the multiplication is given by the tensor product. We show that if Q is a rooted tree (an oriented tree with a unique sink), then the ring $R(Q)_{red}$ is a finitely generated $\Z$-module (here $R(Q)_{red}$ is the ring R(Q) modulo the ideal of all nilpotent elements). We will describe the ring $R(Q)_{red}$ explicitly, by studying functors from the category Rep(Q) of representations of Q over K to the category of finite dimensional K-vector spaces. We also present a…
Let $U'_q(\mathfrak{g})$ be a twisted affine quantum group of type $A_{N}^{(2)}$ or $D_{N}^{(2)}$ and let $\mathfrak{g}_{0}$ be the finite-dimensional simple Lie algebra of type $A_{N}$ or $D_{N}$. For a Dynkin quiver of type $\mathfrak{g}_{0}$, we define a full subcategory ${\mathcal C}_{Q}^{(2)}$ of the category of finite-dimensional integrable $U'_q(\mathfrak{g})$-modules, a twisted version of the category ${\mathcal C}_{Q}$ introduced by Hernandez and Leclerc. Applying the general scheme of affine Schur-Weyl duality, we construct an exact faithful KLR-type duality functor ${\mathcal F}_{Q}…
We consider a symmetric quiver with relations. Its (symmetric) representations of a fixed symmetric dimension vector are encoded in the (symmetric) representation varieties. The orbits by a (symmetric) base change group action are the isomorphism classes of (symmetric) representations. The symmetric orbits are induced by simply restricting the nonsymmetric orbits. However, when it comes to orbit closure relations, it is so far an open question under which assumptions they are induced. In connection with Borel orbits of 2-nilpotent matrices of classical Lie algebras, we describe an explicit exa…
