In the recent papers with Masaki Kashiwara, the author introduced the notion of symmetric crystals and presented the Lascoux-Leclerc-Thibon-Ariki type conjectures for the affine Hecke algebras of type $B$. Namely, we conjectured that certain composition multiplicities and branching rules for the affine Hecke algebras of type $B$ are described by using the lower global basis of symmetric crystals of $V_θ(λ)$. In this paper, we prove the existence of crystal bases and global bases of $V_θ(0)$ for any symmetric quantized Kac-Moody algebra by using a geometry of quivers (with a Dynkin diagram involution). This is analogous to George Lusztig's geometric construction of $U_v^-$ and its lower global basis.
In the current paper, we give a quiver theoretical interpretation of Mirković-Vilonen polytopes in type $A_n$. As a by-product, we give a new proof of the Anderson-Mirković conjecture which describes the explicit forms of the actions of lowering Kashiwara operators on the set of Mirković-Vilonen polytopes.
Using methods of homological algebra, we obtain an explicit crystal isomorphism between two realizations of crystal bases of the lower part of the quantized enveloping algebra of (almost all) finite dimensional simply-laced Lie algebras. The first realization we consider is a geometric construction in terms of irreducible components of certain quiver varieties established by Kashiwara and Saito. The second is a realization in terms of isomorphism classes of quiver representations obtained by Reineke using Ringel's Hall algebra approach to quantum groups. We show that these two constructions ar…
Kashiwara and Saito have a geometric construction of the infinity crystal for any symmetric Kac-Moody algebra. The underlying set consists of the irreducible components of Lusztig's quiver varieties, which are varieties of nilpotent representations of a pre-projective algebra. We generalize this to symmetrizable Kac-Moody algebras by replacing Lusztig's preprojective algebra with a more general one due to Dlab and Ringel. In non-symmetric types we are forced to work over non-algebraically-closed fields.
We consider a generalization of the quiver varieties of Lusztig and Nakajima to the case of all symmetrizable Kac-Moody Lie algebras. To deal with the non-simply laced case one considers admissible automorphisms of a quiver and the irreducible components of the quiver varieties fixed by this automorphism. We define a crystal structure on these irreducible components and show that the crystals obtained are isomorphic to those associated to the crystal bases of the lower half of the universal enveloping algebra and the irreducible highest weight representations of the non-simply laced Kac-Moody …
Tristan Bozec gave a definition of generalized quantum groups that extends the usual definition of quantum groups to finite quivers with loops at vertices, and he introduced a theory of generalized crystals for this new family of Hopf algebras. We explicitly characterize the generalized crystal $\mathcal{B}(\infty)$ associated to a certain family of quivers with multiple loops by providing a complete set of relations among the Kashiwara operators themselves.
The goal of this short article is to summarize some of the recent developments in the quiver Yangians and crystal meltings. This article is based on a lecture delivered by the author at International Congress on Mathematical Physics (ICMP), Geneva, 2021.
We define a special sort of weighted oriented graphs, signed quivers. Each of these yields a symmetric quiver, i.e., a quiver endowed with an involutive anti-automorphism and the inherited signs. We develop a representation theory of symmetric quivers, in particular we describe the indecomposable symmetric representations. Their dimensions constitute root systems corresponding to certain symmetrizable generalized Cartan matrices.
Let $B(Λ_0)$ be the level 1 highest weight crystal of the quantum affine algebra $U_q(A_n^{(1)})$. We construct an explicit crystal isomorphism between the geometric realization $\mathbb{B}(Λ_0)$ of $B(Λ_0)$ via quiver varieties and the path realization ${\mathcal P}^{\rm ad}(Λ_0)$ of $B(Λ_0)$ arising from the adjoint crystal $\adjoint$.
Henriques and Kamnitzer have defined a commutor for the category of crystals of a finite-dimensional complex reductive Lie algebra that gives it the structure of a coboundary category (somewhat analogous to a braided monoidal category). Kamnitzer and Tingley then gave an alternative definition of the crystal commutor, using Kashiwara's involution on Verma crystals, that generalizes to the setting of symmetrizable Kac-Moody algebras. In the current paper, we give a geometric interpretation of the crystal commutor using quiver varieties. Equipped with this interpretation we show that the commuto…
Varagnolo-Vasserot and Rouquier proved that, in a symmetric generalized Cartan matrix case, the simple modules over the quiver Hecke algebra with a special parameter correspond to the upper global basis. In this note we show that the simple modules over the quiver Hecke algebras with a generic parameter also correspond to the upper global basis in a symmetric generalized Cartan matrix case.
In the context of varieties of representations of arbitrary quivers, possibly carrying loops, we define a generalization of Lusztig Lagrangian subvarieties. From the combinatorial study of their irreducible components arises a structure richer than the usual Kashiwara crystals. Along with the geometric study of Nakajima quiver varieties, in the same context, this yields a notion of generalized crystals, coming with a tensor product. As an application, we define the semicanonical basis of the Hopf algebra generalizing quantum groups, which was already equipped with a canonical basis. The irredu…
Let $B(Λ)$ be a level $\ell$ highest weight crystal of the quantum affine algebra $U_q(A_n^{(1)})$. We construct an explicit crystal isomorphism between the geometric realization $\gB(Λ)$ of the crystal $B(Λ)$ using quiver varieties and the path realization $\mathcal{P}^{\rm ad}(Λ)$ arising from the adjoint crystal $\Bad{\ell}$ of level $\ell$.
We introduce a class of new algebras, the shifted quiver Yangians, as the BPS algebras for type IIA string theory on general toric Calabi-Yau three-folds. We construct representations of the shifted quiver Yangian from general subcrystals of the canonical crystal. We derive our results via equivariant localization for supersymmetric quiver quantum mechanics for various framed quivers, where the framings are determined by the shape of the subcrystals. Our results unify many known BPS state counting problems, including open BPS counting, non-compact D4-branes, and wall crossing phenomena, simply…
The idea is to identify certain path algebra elements with symmetric functions. We propose such a morphism by solving the quiver relations, which describe the Plucker-type embedding for quiver grassmannians.
Let $(Q,σ)$ be a symmetric quiver, where $Q=(Q_0,Q_1)$ is a finite quiver without oriented cycles and $σ$ is a contravariant involution on $Q_0\sqcup Q_1$. The involution allows us to define a nondegenerate bilinear form $<,>$ on a representation $V$ of $Q$. We shall call the representation orthogonal if $<,>$ is symmetric and symplectic if $<,>$ is skew-symmetric. Moreover we can define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. For symmetric quivers of finite type, we prove that the rings of semi-invari…
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 define and study RoCK blocks for double covers of symmetric groups. We prove that RoCK blocks of double covers are Morita equivalent to standard `local' blocks. The analogous result for blocks of symmetric groups, a theorem of Chuang and Kessar, was an important step in Chuang and Rouquier ultimately proving Broué's abelian defect group conjecture for symmetric groups. Indeed we prove Broué's conjecture for the RoCK blocks defined in this article. Our methods involve translation into the quiver Hecke superalgebras setting using the Kang-Kashiwara-Tsuchioka isomorphism and categorification m…
We unify aspects of the equivariant geometry of type $D$ quiver representation varieties, double Grassmannians, and symmetric varieties $GL(a+b)/GL(a)\times GL(b)$; in particular we translate results about singularities of orbit closures, combinatorics of orbit closure containment, and torus equivariant $K$-theory between these three families. These results are all obtained from our generalization of a construction of Zelevinsky for type $A$ quivers to the type $D$ setting. More precisely, we give explicit embeddings with nice properties of homogeneous fiber bundles over type $D$ quiver repres…
We introduce the notion of affinizations and R-matrices for arbitrary quiver Hekcke algebras. We show that they enjoy similar properties to those for symmetric quiver Hecke algebras. We next define the notion of a duality datum and construct a tensor functor between graded module categories of two quiver Hecke algebras. We give several examples of such functors .
In this paper we investigate blocks of symmetric groups of weight 2 over fields of odd characteristic $p$. We develop an algorithm that relates the quivers of two such blocks forming a $(2:1)$ pair, as introduced by Scopes. We then apply the algorithm to blocks whose $p$-cores are hook partitions, in order to explicitly determine the quivers of these blocks. As a consequence we conclude that two $p$-blocks $B_1$ and $B_2$ of symmetric groups of weight $2$ whose $p$-cores are hook partitions are Morita equivalent if and only if $B_2$ or its conjugate block is in the same Scopes class as $B_1$.
Let $\mathfrak{g}$ be an affine Kac-Moody algebra with symmetric Cartan datum, $\mathfrak{n^{+}}$ be the maximal nilpotent subalgebra of $\mathfrak{g}$. By the Hall algebra approach, we construct integral bases of the $\mathbb{Z}$-form of the enveloping algebra $U(\mathfrak{n^{+}})$. In particular, the representation theory of tame quivers is essentially used in this paper.
We study the spectrum of BPS D-branes on a Calabi-Yau manifold using the 0+1 dimensional quiver gauge theory that describes the dynamics of the branes at low energies. The results of Kontsevich and Soibelman predict how the degeneracies change. We argue that Seiberg dualities of the quiver gauge theories, which change the basis of BPS states, correspond to crossing the "walls of the second kind." There is a large class of examples, including local del Pezzo surfaces, where the BPS degeneracies of quivers corresponding to one D6 brane bound to arbitrary numbers of D4, D2 and D0 branes are count…
This is my PhD thesis supervised by Professor Jerzy Weyman. A symmetric quiver $(Q,σ)$ is a finite quiver without oriented cycles $Q=(Q_0,Q_1)$ equipped with a contravariant involution $σ$ on $Q_0\sqcup Q_1$. The involution allows us to define a nondegenerate bilinear form $<,>$ on a representation $V$ of $Q$. We shall say that $V$ is orthogonal if $<,>$ is symmetric and symplectic if $<,>$ is skew-symmetric. Moreover we define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. So we prove that if $(Q,σ)$ is a sy…
We study the Gauge/Bethe correspondence for two-dimensional $\mathcal{N}=(2,2)$ supersymmetric quiver gauge theories associated with toric Calabi-Yau three-folds, whose BPS algebras have recently been identified as the quiver Yangians. We start with the crystal representations of the quiver Yangian, which are placed at each site of the spin chain. We then construct integrable models by combining the single-site crystals into crystal chains by a coproduct of the algebra, which we determine by a combination of representation-theoretical and gauge-theoretical arguments. For non-chiral quivers, we…
A symmetric quiver $(Q,σ)$ is a finite quiver without oriented cycles $Q=(Q_0,Q_1)$ equipped with a contravariant involution $σ$ on $Q_0\sqcup Q_1$. The involution allows us to define a nondegenerate bilinear form $<,>$ on a representation $V$ of $Q$. We shall say that $V$ is orthogonal if $<,>$ is symmetric and symplectic if $<,>$ is skew-symmetric. Moreover, we define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. So we prove that if $(Q,σ)$ is a symmetric quiver of tame type then the rings of semi-invarian…
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.
We find a new infinite class of infinite-dimensional algebras acting on BPS states for non-compact toric Calabi-Yau threefolds. In Type IIA superstring compactification on a toric Calabi-Yau threefold, the D-branes wrapping holomorphic cycles represent the BPS states, and the fixed points of the moduli spaces of BPS states are described by statistical configurations of crystal melting. Our algebras are "bootstrapped" from the molten crystal configurations, hence they act on the BPS states. We discuss the truncation of the algebra and its relation with D4-branes. We illustrate our results in ma…
The statistical model of crystal melting represents BPS configurations of D-branes on a toric Calabi-Yau three-fold. Recently it has been noticed that an infinite-dimensional algebra, the quiver Yangian, acts consistently on the crystal-melting configurations. We physically derive the algebra and its action on the BPS states, starting with the effective supersymmetric quiver quantum mechanics on the D-brane worldvolume. This leads to remarkable combinatorial identities involving equivariant integrations on the moduli space of the quantum mechanics, which can be checked by numerical computation…
We give a brief review of the cohomological Hall algebra CoHA $\mathcal{H}$ and the K-theoretical Hall algebra KHA $\mathcal{R}$ associated to quivers. In the case of symmetric quivers, we show that there exists a homomorphism of algebras (obtained from a Chern character map) $\mathcal{R}\to \hat{\mathcal{H}}^σ$ where $\hat{\mathcal{H}}^σ$ is a Zhang twist of the completion of $\mathcal{H}$. Moreover, we establish the equivalence of categories of ``locally finite'' graded modules $\hat{\mathcal{H}}^σ-{\rm Mod}_{lf}\simeq \mathcal{R}_{\mathbb Q}-{\rm Mod}_{lf}$. Examples of locally finite $\hat…
We define a family of homomorphisms on a collection of convolution algebras associated with quiver varieties, which gives a kind of coproduct on the Yangian associated with a symmetric Kac-Moody Lie algebra. We study its property using perverse sheaves
To a finite quiver equipped with a positive integer on each of its vertices, we associate a holomorphic symplectic manifold having some parameters. This coincides with Nakajima's quiver variety with no stability parameter/framing if the integers attached on the vertices are all equal to one. The construction of reflection functors for quiver varieties are generalized to our case, in which these relate to simple reflections in the Weyl group of some symmetrizable, possibly non-symmetric Kac-Moody algebra. The moduli spaces of meromorphic connections on the rank 2 trivial bundle over the Riemann…
For any triple $(i,a,μ)$ consisting of a vertex $i$ in a quiver $Q$, a positive integer $a$, and a dominant $GL_a$-weight $μ$, we define a quiver current $H^{(i,a)}_μ$ acting on the tensor power $Λ^Q$ of symmetric functions over the vertices of $Q$. These provide a quiver generalization of parabolic Garsia-Jing creation operators in the theory of Hall-Littlewood symmetric functions. For a triple $(\mathbf{i},\mathbf{a},μ(\bullet))$ of sequences of such data, we define the quiver Hall-Littlewood function $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ as the result of acting on $1\inΛ^Q$ by the corres…
We prove that a Weyl module for the current Lie algebra associated with a simple Lie algebra of type $ADE$ is rigid, that is, it has a unique Loewy series. Further we use this result to prove that the grading on a Weyl module defined by the degree of currents coincides with another grading which comes from the degree of the homology group of the quiver variety. As a corollary we obtain a formula for the Poincaré polynomials of quiver varieties of type $ADE$ in terms of the energy functions defined on the crystals for tensor products of level-zero fundamental representations of the correspondin…
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…
The main result of this paper shows that, over large enough fields of characteristic different from $2$, the alternating Hecke algebras are $\mathbb{Z}$-graded algebras that are isomorphic to fixed-point subalgebras of the quiver Hecke algebra of the symmetric group $\mathfrak{S}_n$. As a special case, this shows that the group algebra of the alternating group, over large enough fields of characteristic different from $2$, is a $\mathbb{Z}$-graded algebra. We give a homogeneous presentation for these algebras, compute their graded dimension and show that the blocks of the quiver Hecke algebras…
Let $\CC^0_{\g}$ be the category of finite-dimensional integrable modules over the quantum affine algebra $U_{q}'(\g)$ and let $R^{A_\infty}\gmod$ denote the category of finite-dimensional graded modules over the quiver Hecke algebra of type $A_{\infty}$. In this paper, we investigate the relationship between the categories $\CC^0_{A_{N-1}^{(1)}}$ and $\CC^0_{A_{N-1}^{(2)}}$ by constructing the generalized quantum affine Schur-Weyl duality functors $\F^{(t)}$ from $R^{A_\infty}\gmod$ to $\CC^0_{A_{N-1}^{(t)}}$ $(t=1,2)$.
We provide a geometric realization of the crystal $B(\infty)$ for quantum generalized Kac-Moody algebras in terms of the irreducible components of certain Lagrangian subvarieties in the representation spaces of a quiver.
For $(Q,W)$ a symmetric quiver with potential satisfying a Künneth-type condition, we construct (positive and negative) extensions of its K-theoretic Hall algebra which are bialgebras. In particular, there are bialgebra extensions of preprojective KHAs of a quiver $Q$ and one can construct their Drinfeld double algebra.
We give a new proof for the Littlewood-Richardson rule for the wreath product $F \wr S_{n}$ where $F$ is a finite group. Our proof does not use symmetric functions but more elementary representation theoretic tools. We also derive a branching rule for inducing the natural embedding of $F\wr S_{n}$ to $F\wr S_{n+1}$. We then apply the generalized Littlewood-Richardson rule for computing the ordinary quiver of the category $F \wr {\bf FI}_{n}$ where ${\bf FI}_{n}$ is the category of all injective functions between subsets of an $n$-element set.
Let $\mathbf{w}_0$ be a reduced expression for the longest element of the Weyl group, adapted to a quiver of type $A_n$. We compare Lusztig's and Kashiwara's (string) parametrizations of the canonical basis associated with $\mathbf{w}_0$. Crystal operators act in a finite number of patterns in Lusztig's parametrization, which may be seen as vectors. We show this set gives the system of defining inequalities of the string cone constructed by Gleizer and Postnikov. We use combinatorics of Auslander-Reiten quivers, and as a by-product we get an alternative enumeration of a set of inequalities def…
Let G denote either a special orthogonal group or a symplectic group defined over the complex numbers. We prove the following saturation result for G: given dominant weights λ^1, ..., λ^r such that the tensor product V_{Nλ^1} \otimes ... \otimes V_{Nλ^r} contains nonzero G-invariants for some N \ge 1, we show that the tensor product V_{2λ^1} \otimes ... \otimes V_{2λ^r} also contains nonzero G-invariants. This extends results of Kapovich-Millson and Belkale-Kumar and complements similar results for the general linear group due to Knutson-Tao and Derksen-Weyman. Our techniques involve the invar…
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…
Let $\g$ be an untwisted affine Kac-Moody algebra of type $A^{(1)}_n$ $(n \ge 1)$ or $D^{(1)}_n$ $(n \ge 4)$ and let $\g_0$ be the underlying finite-dimensional simple Lie subalgebra of $\g$. For each Dynkin quiver $Q$ of type $\g_0$, Hernandez and Leclerc (\cite{HL11}) introduced a tensor subcategory $\CC_Q$ of the category of finite-dimensional integrable $\uqpg$-modules and proved that the Grothendieck ring of $\CC_Q$ is isomorphic to $\C [N]$, the coordinate ring of the unipotent group $N$ associated with $\g_0$. We apply the generalized quantum affine Schur-Weyl duality introduced in \cit…
In the paper \cite{KS}, Kontsevich and Soibelman in particular associate to each finite quiver $Q$ with a set of vertices $I$ the so-called Cohomological Hall algebra $\cH,$ which is $\Z_{\geq 0}^I$-graded. Its graded component $\cH_γ$ is defined as cohomology of Artin moduli stack of representations with dimension vector $γ.$ The product comes from natural correspondences which parameterize extensions of representations. In the case of symmetric quiver, one can refine the grading to $\Z_{\geq 0}^I\times\Z,$ and modify the product by a sign to get a super-commutative algebra $(\cH,\star)$ (wit…
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.
