Let Q be a finite quiver without oriented cycles, and let $Λ$ be the associated preprojective algebra. To each terminal representation M of Q (these are certain preinjective representations), we attach a natural subcategory $C_M$ of $mod(Λ)$. We show that $C_M$ is a Frobenius category,and that its stable category is a Calabi-Yau category of dimension 2. Then we develop a theory of mutations of maximal rigid objects of $C_M$, analogous to the mutations of clusters in Fomin and Zelevinsky's theory of cluster algebras. We show that $C_M$ yields a categorification of a cluster algebra $A(C_M)$, which is not acyclic in general. We give a realization of $A(C_M)$ as a subalgebra of the graded dual of the enveloping algebra $U(\n)$, where $\n$ is a maximal nilpotent subalgebra of the symmetric Kac-Moody Lie algebra $\g$ associated to the quiver Q. Let $S^*$ be the dual of Lusztig's semicanonical basis $S$ of $U(\n)$. We show that all cluster monomials of $A(C_M)$ belong to $S^*$, and that $S^* \cap A(C_M)$ is a basis of $A(C_M)$. Next, we prove that $A(C_M)$ is naturally isomorphic to the coordinate ring of the finite-dimensional unipotent subgroup $N(w)$ of the Kac-Moody group $G$ attached to $\g$. Here w = w(M) is the adaptable element of the Weyl group of $\g$ which we associate to each terminal representation M of Q. Moreover, we show that the cluster algebra obtained from $A(C_M)$ by formally inverting the generators of the coefficient ring is isomorphic to the coordinate ring of the unipotent cell $N^w := N \cap (B_-wB_-)$ of G. We obtain a corresponding dual semicanonical basis of this coorindate ring.
In this paper, we prove that the matrix between a special PBW basis and the semicanonical basis of $U^+(sl_n(\mathbb{C}))$ is upper triangular unipotent under any order which is compatible with the partial order $\leq_{deg}$.
Geiss-Leclerc-Schroer defined the cluster algebra structure on the coordinate ring $C[N(w)]$ of the unipotent subgroup, associated with a Weyl group element $w$ and they proved cluster monomials are contained in Lusztig's dual semicanonical basis $S^{*}$. We give a set up for the quantization of their results and propose a conjecture which relates the quantum cluster algebras to the dual canonical basis ${B}^{up}$. In particular, we prove that the quantum analogue $O_{q}[N(w)]$ of ${C}[N(w)]$ has the induced basis from ${B}^{up}$, which contains quantum flag minors and satisfies a factorizatio…
Let $n$ be a maximal nilpotent subalgebra of a complex symmetric Kac-Moody Lie algebra. Lusztig has introduced a basis of U(n) called the semicanonical basis, whose elements can be seen as certain constructible functions on varieties of nilpotent modules over a preprojective algebra of the same type as $n$. We prove a formula for the product of two elements of the dual of this semicanonical basis, and more generally for the product of two evaluation forms associated to arbitrary modules over the preprojective algebra. This formula plays an important role in our work on the relationship between…
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 $\la$ be a preprojective algebra of simply laced Dynkin type $Δ$. We study maximal rigid $\la$-modules, their endomorphism algebras and a mutation operation on these modules. This leads to a representation-theoretic construction of the cluster algebra structure on the ring $\C[N]$ of polynomial functions on a maximal unipotent subgroup $N$ of a complex Lie group of type $Δ$. As an application we obtain that all cluster monomials of $\C[N]$ belong to the dual semicanonical basis.
Let Q be a finite quiver without oriented cycles, let Λbe the associated preprojective algebra, let g be the associated Kac-Moody Lie algebra with Weyl group W, and let n be the positive part of g. For each Weyl group element w, a subcategory C_w of mod(Λ) was introduced by Buan, Iyama, Reiten and Scott. It is known that C_w is a Frobenius category and that its stable category is a Calabi-Yau category of dimension two. We show that C_w yields a cluster algebra structure on the coordinate ring \CC[N(w)] of the unipotent group N(w) := N \cap (w^{-1}N_-w). Here N is the pro-unipotent pro-group wi…
Let U be the enveloping algebra of a symmetric Kac-Moody algebra. The Weyl group acts on U, up to a sign. In addition, the positive subalgebra U^+ contains a so-called semicanonical basis, with remarkable properties. The aim of this paper is to show that these two structures are as compatible as possible.
Using the geometric Satake correspondence, the Mirkovic-Vilonen cycles in the affine Grasssmannian give bases for representations of a semisimple group G . We prove that these bases are "perfect", i.e. compatible with the action of the Chevelley generators of the positive half of the Lie algebra g. We compute this action in terms of intersection multiplicities in the affine Grassmannian. We prove that these bases stitch together to a basis for the algebra C[N] of regular functions on the unipotent subgroup. We compute the multiplication in this MV basis using intersection multiplicities in the…
We study the multiplicative properties of the dual of Lusztig's semicanonical basis.The elements of this basis are naturally indexed by theirreducible components of Lusztig's nilpotent varieties, whichcan be interpreted as varieties of modules over preprojective algebras.We prove that the product of two dual semicanonical basis vectorsis again a dual semicanonical basis vector provided the closure ofthe direct sum of thecorresponding two irreducible components is again an irreducible component.It follows that the semicanonical basis and the canonical basiscoincide if and only if we are in Dynk…
Given any symmetric Cartan datum, Lusztig has provided a pair of key lemmas to construct the perverse sheaves over the corresponding quiver and the functions of irreducible components over the corresponding preprojective algebra respectively. In the present article, we prove that these two inductive algorithms of Lusztig coincide. Consequently we can define two colored graphs and prove that they are isomorhic. This result finishes the statement that Lusztig's functions of irreducible components are basis of the enveloping algebra and deduces the crystal structure (in the sense of Kashiwara-Sai…
We discuss semicanonical bases from the point of view of Cohomological Hall algebras via the "dimensional reduction" from 3-dimensional Calabi-Yau categories to 2-dimensional ones. Also, we discuss the notion of motivic Donaldson-Thomas invariants (as defined by M. Kontsevich and Y. Soibelman) in the framework of 2-dimensional Calabi-Yau categories. In particular we propose a conjecture which allows one to define Kac polynomials for a 2-dimensional Calabi-Yau category (this is a theorem of S. Mozgovoy in the case of preprojective algebras).
We construct bar-invariant $\mathbb{Z}[q^{\pm 1/2}]-$bases of the quantum cluster algebra of the Kronecker quiver which are quantum analogues of the canonical basis, semicanonical basis and dual semicanonical basis of the cluster algebra of the Kronecker quiver in the sense of \cite{sherzel},\cite{calzel} and \cite{gls} respectively. As a byproduct, we prove the positivity of the elements in these bases.
Let $Q$ be a Dynkin quiver and $Π$ the corresponding set of positive roots. For the preprojective algebra $Λ$ associated to $Q$ we produce a rigid $Λ$-module $I_Q$ with $r=|Π|$ pairwise non-isomorphic indecomposable direct summands by pushing the injective modules of the Auslander algebra of $kQ$ to $Λ$. If $N$ is a maximal unipotent subgroup of a complex simply connected simple Lie group of type $|Q|$, then the coordinate ring $C[N]$ is an upper cluster algebra. We show that the elements of the dual semicanonical basis which correspond to the indecomposable direct summands of $I_Q$ coincide w…
In this paper we give a complete description of the Howe correspondence of unipotent characters for a finite dual pair of a symplectic group and an even orthogonal group in terms of the Lusztig parametrization under a mild restriction of the characteristic of the base field. That is, the conjecture by Aubert-Michel-Rouquier is confirmed.
In this paper, we construct certain unipotent representations for the real orthogonal group and the metaplectic group in the sense of Vogan. Our construction is based on quantum induction which involves the compositions of even number of theta correspondences. In particular, our results imply that there are irreducible unitary representations attached to each special nilpotent orbit.
Let $Q$ be an acyclic quiver. We introduce the notion of generic variables for the coefficient-free acyclic cluster algebra $\mathcal A(Q)$. We prove that the set $\mathcal G(Q)$ of generic variables contains naturally the set $\mathcal M(Q)$ of cluster monomials in $\mathcal A(Q)$ and that these two sets coincide if and only if $Q$ is a Dynkin quiver. We establish multiplicative properties of these generic variables analogous to multiplicative properties of Lusztig's dual semicanonical basis. This allows to compute explicitly the generic variables when $Q$ is a quiver of affine type. When $Q$…
In the paper, we establish the global basis theory for the bosonic extension $\widehat{\mathcal{A}}$ associated with an arbitrary generalized Cartan matrix. When $\widehat{\mathcal{A}}$ is of simply-laced finite type, it is isomorphic to the quantum Grothendieck ring of the Hernandez-Leclerc category over a quantum affine algebra. In this case, we show that the $(t,q)$-characters of simple modules in the Hernandez-Leclerc category correspond to the normalized global basis of $\widehat{\mathcal{A}}$.
Denote by $N \subset SL_k$ the subgroup of unipotent upper triangular matrices. In this paper, we show that the dual canonical basis of $\mathbb{C}[N]$ (and base affine spaces) can be parameterized by semi-standard Young tableaux. Moreover, we give an explicit formula for every element in the the dual canonical basis using the data of the corresponding semistandard Young tableau. We apply our results to study cluster variables in $\mathbb{C}[N]$.
For each reductive algebraic group G we introduce and study unipotent bicrystals which serve as a regular version of birational geometric and unipotent crystals introduced earlier by the authors. The framework of unipotent bicrystals allows, on the one hand, to study systematically such varieties as Bruhat cells in G and their convolution products and, on the other hand, to give a new construction of many normal Kashiwara crystals including those for G^\vee-modules, where G^\vee is the Langlands dual groups. In fact, our analogues of crystal bases (which we refer to as crystals associated to G…
In this paper, we construct twist automorphisms on quantum unipotent cells, which are quantum analogues of the Berenstein-Fomin-Zelevinsky twist automorphisms on unipotent cells. We show that those quantum twist automorphisms preserve the dual canonical bases of quantum unipotent cells. Moreover, we prove that quantum twist automorphisms are described by the syzygy functors for representations of preprojective algebras in the symmetric case. This is the quantum analogue of Geiß-Leclerc-Schröer's description, and Geiß-Leclerc-Schröer's results are essential in our proof. As a consequence, we sh…
Let G be a unipotent algebraic subgroup of some GL_m(C) defined over Q. We describe an algorithm for finding a finite set of generators of the subgroup G(Z) = G \cap GL_m(Z). This is based on a new proof of the result (in more general form due to Borel and Harish-Chandra) that such a finite generating set exists.
We prove the following result in relative representation theory of a reductive p-adic group $G$: Let $U$ be the unipotent radical of a minimal parabolic subgroup of $G$, and let $ψ$ be an arbitrary smooth character of $U$. Let $S \subset Irr(G)$ be a Zariski dense collection of irreducible representations of $G$. Then the span of the Bessel distributions $B_π$ attached to representations $π$ from $S$ is dense in the space $\mathcal S^*(G)^{U\times U,ψ\times ψ}$ of all $(U\times U,ψ\times ψ)$-equivariant distributions on $G.$ We base our proof on the following results: 1. The category of smooth…
Let $G$ be a finite Chevalley group. We are concerned with computing the values of the unipotent characters of $G$ by making use of Lusztig's theory of character sheaves. In this framework, one has to find the transformation between several bases for the class functions on $G$. In principle, this has been achieved by Lusztig and Shoji, but the underlying process involves some scalars which are still unknown in many cases. We shall determine these scalars in the specific case where $G$ is the (twisted or non-twisted) group of type $E_6$ over the finite field with $q$ elements, for $q$ a power o…
Sergey Fomin and Andrei Zelevinsky have invented cluster algebras at the beginning of this decade with the aim of creating an algebraic framework for the study of canonical bases in quantum groups and total positivity in algebraic groups. It soon turned out that the combinatorics of cluster algebras also appear in many other subjects and notably in the representation theory of quivers and finite-dimensional algebras. In this talk, we give a concise introduction to cluster algebras and sketch two significant applications concerning the study of certain discrete dynamical systems and the constru…
E. Opdam introduced the tool of spectral transfer morphism (STM) of affine Hecke algebras to study the formal degrees of unipotent discrete series representations. He established a uniqueness property of STM for the affine Hecke algebras associated of unipotent discrete series representations. Based on this result, Opdam gave an explanation for Lusztig's arithmetic/geometric correspondence (in Lusztig's classification of unipotent representations of $p$-adic adjoint simple groups) in terms of harmonic analysis, and partitioned the unipotent discrete series representations into $L$-packets base…
This article is based on lectures given by the authors in 2005 and 2006. Our first goal is to present an introduction to the orbit method with an emphasis on the character theory of finite nilpotent groups. The second goal (motivated by a recent work of G. Lusztig) is to explain several nontrivial aspects of character theory for finite groups of the form $G(F_{q^n})$, where $G$ is a unipotent algebraic group over a finite field $F_q$. In particular, we introduce the notion of a character sheaf for a unipotent group, and provide a toy model for the representation-theoretic notion of an L-packet…
If A is a finite dimensional nilpotent associative algebra over a finite field k, the set G=1+A of all formal expressions of the form 1+a, where a is an element of A, has a natural group structure, given by (1+a)(1+b)=1+(a+b+ab). A finite group arising in this way is called an algebra group. One can also consider G as a unipotent algebraic group over k. We study representations of G from the point of view of ``geometric character theory'' for algebraic groups over finite fields (cf. G. Lusztig, ``Character sheaves and generalizations'', math.RT/0309134). The main result of this paper is a cons…
Let $G$ be a connected reductive algebraic group over an algebraically closed field of characteristic $p \ge 0$. We give a case-free proof of Lusztig's conjectures [Unipotent elements in small characteristic, {\em Transform. Groups} 10 (2005), 449--487] on so-called unipotent pieces. This presents a uniform picture of the unipotent elements of $G$ which can be viewed as an extension of the Dynkin--Kostant theory, but is valid without restriction on $p$. We also obtain analogous results for the adjoint action of $G$ on its Lie algebra $\gl$ and the coadjoint action of $G$ on $\gl^*$.
Let $G$ be a finite group of Lie type. In order to determine the character table of $G$, Lusztig developed the theory of character sheaves. In this framework, one has to find the transformation between two bases for the space of class functions on $G$, one of them being the irreducible characters of $G$, the other one consisting of characteristic functions associated to character sheaves. In principle, this has been achieved by Lusztig and Shoji, but the underlying process involves some scalars which are still unknown in many cases. The problem of specifying these scalars can be reduced to con…
We compare two important bases of an irreducible representation of the symmetric group: the web basis and the Specht basis. The web basis has its roots in the Temperley-Lieb algebra and knot-theoretic considerations. The Specht basis is a classic algebraic and combinatorial construction of symmetric group representations which arises in this context through the geometry of varieties called Springer fibers. We describe a graph that encapsulates combinatorial relations between each of these bases, prove that there is a unique way (up to scaling) to map the Specht basis into the web representatio…
We generalise to the equivariant case a result of J. Denef and F. Loeser about trigonometric sums on tori; on the other hand, we study the Thom-Boardman stratification associated to the multiplication of global sections of line bundles on a curve. We prove a subtle inequaliity about the dimensions of these strata. Our motivation comes from the geometric Langlands program. Based on works of W. T. Gan, N. Gurevich, D. Jiang and S. Lysenko, we propose, for the reductive group $G$ of type $\mathrm G_2$, a conjectural construction of the automorphic sheaf whose Arthur parameter is unipotent and sub…
The expressions of the coupling coefficients (3j-symbols) for the most degenerate (symmetric) representations of the orthogonal groups SO(n) in a canonical basis (with SO(n) restricted to SO(n-1)) and different semicanonical or tree bases [with SO(n) restricted to SO(n'})\times SO(n''), n'+n''=n] are considered, respectively, in context of the integrals involving triplets of the Gegenbauer and the Jacobi polynomials. Since the directly derived triple-hypergeometric series do not reveal the apparent triangle conditions of the 3j-symbols, they are rearranged, using their relation with the semist…
In this paper we introduce geometric crystals and unipotent crystals which are algebro-geometric analogues of Kashiwara's crystal bases. Given a reductive group G, let I be the set of vertices of the Dynkin diagram of G and T be the maximal torus of G. The structure of a geometric G-crystal on an algebraic variety X consists of a rational morphism γ:X-->T and a compatible family e_i:G_m\times X-->X, i\in I of rational actions of the multiplicative group G_m satisfying certain braid-like relations. Such a structure induces a rational action of W on X. Quite surprisingly, many interesting ration…
Hiraga, Ichino and Ikeda have conjectured an explicit expression for the Plancherel density of the group of points of a reductive group defined over a local field $F$, in terms of local Langlands parameters. In these lectures we shall present a proof of these conjectures for Lusztig's class of representations of unipotent reduction if $F$ is $p$-adic and $G$ is of adjoint type and splits over an unramified extension of $F$. This is based on the author's paper [Spectral transfer morphisms for unipotent affine Hecke algebras, Selecta Math. (N.S.) 22 (2016), no. 4, 2143--2207]. More generally for…
Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves by showing that a coherent middle extension (or intersection cohomology) functor from perverse sheaves on U to perverse sheaves on X may be defined for a much broader class of perversities than has previously been known. We also introduce a derived category version of the coherent middle extension functor. Under suitable hypotheses, we introduce a construct…
We propose an approach to Geiss-Leclerc-Schroer's conjecture on the cluster algebra structure on the coordinate ring of a unipotent subgroup and the dual canonical base. It is based on singular supports of perverse sheaves on the space of representations of a quiver, which give the canonical base.
It is known that many (upper) cluster algebras possess different kinds of good bases which contain the cluster monomials and are parametrized by the tropical points of cluster Poisson varieties. For a large class of upper cluster algebras (injective-reachable ones with full rank coefficients), we describe all of its bases with these properties. Moreover, we show the existence of the generic basis for them. In addition, we prove that Bridgeland's representation theoretic formula is effective for their theta functions (weak genteelness). Our results apply to (almost) all well-known cluster algeb…
For type $\tilde B_3$ we show that Lusztig's conjecture on the structure of the based ring of two-sided cell corresponding to the unipotent class in $Sp_6(\mathbb C)$ with 3 equal Jordan blocks needs modified.
We compute the based rings of two-sided cells corresponding to the unipotent class in $Sp_6(\mathbb C)$ with Jordan blocks (2211). The results also verify Lusztig's conjecture on the structure of the based rings of the two-sided cells of an affine Weyl group.
For a connected reductive algebraic group $G$ defined over a finite field $\mathbb F_q$, Kawanaka introduced the generalized Gelfand-Graev representations (GGGRs for short) of the finite group $G(\mathbb F_q)$ in the case where $q$ is a power of a good prime for $G$. This representation has been widely studied and used in various contexts. Recently, Geck proposed a conjecture, characterizing Lusztig's special unipotent classes in terms of weighted Dynkin diagrams. Based on this conjecture, he gave a guideline for extending the definition of GGGRs to the case where $q$ is a power of a bad prime…
We study invariants of the adjoint action of the unipotent group in the nilradical of a parabolic subalgebra of types Bn, Cn, Dn. We introduce the notion of expanded base in the set of positive roots and construct an invariant for every root of the expanded base. We prove that these invariants are algebraically independent. We also give an estimate of the transcendence degree of the field of invariants.
We compute the based rings of two-sided cells corresponding to the unipotent classes in $Sp_6(\mathbb C)$ with Jordan blocks (33), (411), (222) respectively. The results for the first two two-sided cells also verify Lusztig's conjecture on the structure of the based rings of two-sided cells of an affine Weyl group. The result for the last two-sided cell partially suggests a modification of Lusztig's conjecture on the structure of the based rings of two-sided cells of an affine Weyl group.
In this paper, we show that quantum twist maps, introduced by Lenagan-Yakimov, induce bijections between dual canonical bases of quantum nilpotent subalgebras. As a corollary, we show the unitriangular property between dual canonical bases and Poincaré-Birkhoff-Witt type bases under the "reverse" lexicographic order. We also show that quantum twist maps induce bijections between certain unipotent quantum minors.
In order to give a combinatorial descriptions of tensor product multiplicites for semisimple groups, it is useful to find bases for representations which are compatible with the actions of Chevalley generators of the Lie algebra. There are three known examples of such bases, each of which flows from geometric or algebraic mountain. Remarkably, each mountain gives the same combinatorial shadow: the crystal B(infty) and the Mirkovic-Vilonen polytopes. In order to distinguish between the three bases, we introduce measures supported on these polytopes. We also report on the interaction of these ba…
Dual canonical bases are expected to satisfy a certain (double) triangularity property by Leclerc's conjecture. We propose an analogous conjecture for common triangular bases of quantum cluster algebras. We show that a weaker form of the analogous conjecture is true. Our result applies to the dual canonical bases of quantum unipotent subgroups. It also applies to the $t$-analogs of $q$-characters of simple modules of quantum affine algebras.
The $G$-representation variety $R_G(Σ_g)$ parametrizes the representations of the fundamental groups of surfaces $π_1(Σ_g)$ into an algebraic group $G$. Taking $G$ to be the groups of $n \times n$ upper triangular or unipotent matrices, we compare two methods for computing algebraic invariants of $R_G(Σ_G)$. Using the geometric method initiated by González-Prieto, Logares and Muñoz, based on a Topological Quantum Field Theory (TQFT), we compute the virtual classes of $R_G(Σ_g)$ in the Grothendieck ring of varieties for $n = 1, \ldots, 5$. Introducing the notion of algebraic representatives we …
We compute the representation zeta functions of some finitely generated nilpotent groups associated to unipotent group schemes over rings of integers in number fields. These group schemes are defined by Lie lattices whose presentations are modelled on certain prehomogeneous vector spaces. Our method is based on evaluating $\mathfrak{p}$-adic integrals associated to certain rank varieties of matrices of linear forms.
Let $(W, I)$ be a finite Coxeter group. In the case where $W$ is a Weyl group, Berenstein and Kazhdan in \cite{BK} constructed a monoid structure on the set of all subsets of $I$ using unipotent $χ$-linear bicrystals. In this paper, we will generalize this result to all types of finite Coxeter groups (including non-crystallographic types). Our approach is more elementary, based on some combinatorics of Coxeter groups. Moreover, we will calculate this monoid structure explicitly for each type.
The article concerns the dual of Lusztig's canonical basis of a subalgebra of the positive part U_q(n) of the universal enveloping algebra of a Kac-Moody Lie algebra of type A_1^{(1)}. The examined subalgebra is associated with a terminal module M over the path algebra of the Kronecker quiver via an Weyl group element w of length four. Geiss-Leclerc-Schroeer attached to M a category C_M of nilpotent modules over the preprojective algebra of the Kronecker quiver together with an acyclic cluster algebra A(C_M). The dual semicanonical basis contains all cluster monomials. By construction, the clu…
Let V be a 2n dimensional vector space over an algebraically closed field of odd characteristic. Let G = GL(V) and H = Sp_{2n} be the symplectic group contained in G. We call X = G/H \times V the exotic symmetric space, since its "unipotent" part is isomorphic to Kato's exotic nilcone. Let W be the Weyl group of type C_n. Kato established the Springer correspondence between irreducible characters of W and H-orbits in the exotic nilcone, based on the Ginzburg theory of affine Hecke algebras. In this paper, we develpoe a theory of character sheaves on X, and give an alternate proof for the Sprin…
We provide a Hopf algebra structure on the space of superclass functions on the unipotent upper triangular group of type D over a finite field based on a supercharacter theory constructed by André and Neto. Also, we make further comments with respect to types B and C. Type A was explores by M. Aguiar et. al (2010), thus this paper is a contribution to understand combinatorially the supercharacter theory of the other classical Lie types.
