Let G be a nonlinear double cover of the real points of a connected reductive complex algebraic group with simply laced root system. We establish a uniform character multiplicity duality theory for the category of Harish-Chandra modules for G.
The Morita equivalences of classical Brauer algebras and classical Birman-Murakami-Wenzl algebras have been well studied. Here we study the Morita equivalence problems on these two kinds of algebras of simply-laced type, especially for them with the generic parameters. We show that Brauer algebras and Birman-Murakami-Wenzl algebras of simply-laced type are Morita equivalent to the direct sums of some group algebras of Coxeter groups and some Hecke algebras of some Coxeter groups, respectively.
We show the uniqueness and existence of the Euler form for a simply-laced generalized root system. This enables us to show that the Coxeter element for a simply-laced generalized root system is admissible in the sense of R.~W.~Carter. As an application, the isomorphism classes of simply-laced generalized root systems with positive definite Cartan forms are classified by Cartar's admissible diagrams associated to their Coxeter elements.
We study the decomposition problem for tensor powers of $B_2$-fundamental modules. To solve this problem singular weight technique and injection fan algorithms are applied. Properties of multiplicity coefficients are formulated in terms of multiplicity functions. These functions are constructed showing explicitly the dependence of multiplicity coefficients on the highest weight coordinates and the tensor power parameter. It is thus possible to study general properties of multiplicity coefficients for powers of the fundamental $B_2$- modules.
Let $\g$ be any simple Lie algebra over $\mathbb{C}$. Recall that there exists an embedding of $\mathfrak{sl}_2$ into $\g$, called a principal TDS, passing through a principal nilpotent element of $\g$ and uniquely determined up to conjugation. Moreover, $\wedge (\g^*)^\g$ is freely generated (in the super-graded sense) by primitive elements $ω_1, \dots, ω_\ell$, where $\ell$ is the rank of $\g$. N. Hitchin conjectured that for any primitive element $ω\in \wedge^d (\g^*)^\g$, there exists an irreducible $\mathfrak{sl}_2$-submodule $V_ω\subset \g$ of dimension $d$ such that $ω$ is non-zero on t…
Hecke-Hopf algebras were defined by A. Berenstein and D. Kazhdan. We give an explicit presentation of an Hecke-Hopf algebra when the parameter $m_{ij},$ associated to any two distinct vertices $i$ and $j$ in the presentation of a Coxeter group, equals $4,$ $5$ or $6$. As an application, we give a proof of a conjecture of Berenstein and Kazhdan when the Coxeter group is crystallographic and non-simply-laced. As another application, we show that another conjecture of Berenstein and Kazhdan holds when $m_{ij},$ associated to any two distinct vertices $i$ and $j,$ equals $4$ and that the conjectur…
We establish, for all simply laced types, a q,t-character formula, first conjectured by Nakajima. It relates, on one hand, the structure of the $\ell$-weight spaces of standard modules regarded as modules over the Heisenberg subalgebra of some quantum affine algebra and, on the other hand, the t-dependence of their q,t-characters, as originally defined in terms of the Poincaré polynomials of certain Lagrangian subvarieties in quiver varieties of the corresponding simply laced type. Our proof is essentially geometric and generalizes to arbitrary simply laced types earlier representation theoret…
We show that every Weyl module for a current algebra has a filtration whose successive quotients are isomorphic to Demazure modules, and that the path model for a tensor product of level zero fundamental representations is isomorphic to a disjoint union of Demazure crystals. Moreover, we show that the Demazure modules appearing in these two objects coincide exactly. Though these results have been previously known in the simply laced case, they are new in the non-simply laced case.
This paper investigates a non simply-laced version of cluster structures for 2-Calabi-Yau or stably 2-Calabi-Yau categories over arbitrary fields. It results that 2-Calabi-Yau or stably 2-Calabi-Yau categories having a cluster tilting subcategory with neither loops nor 2-cycles do have the generalized version of cluster structure. This is in particular the case of cluster categories over non-algebraically closed fields.
Let $\mathfrak{g}$ be a finite simply-laced type simple Lie algebra. Baumann-Kamnitzer-Knutson recently defined an algebra morphism $\overline{D}$ on the coordinate ring $\mathbb{C}[N]$ related to Brion's equivariant multiplicities via the geometric Satake correspondence. This map is known to take distinguished values on the elements of the MV basis corresponding to smooth MV cycles, as well as on the elements of the dual canonical basis corresponding to Kleshchev-Ram's strongly homogeneous modules over quiver Hecke algebras. In this paper we show that when $\mathfrak{g}$ is of type $A_n$ or $…
We provide an explicit construction for a class of commutative, non-associative algebras for each of the simple Chevalley groups of simply laced type. Moreover, we equip these algebras with an associating bilinear form, which turns them into Frobenius algebras. This class includes a 3876-dimensional algebra on which the Chevalley group of type E8 acts by automorphisms. We also prove that these algebras admit the structure of (axial) decomposition algebras.
Let $Λ$ be a simply laced root lattice and $w$ an elliptic automorphism of $Λ$ of order $d$. This paper gives a construction that begins with a central extension of the group of coinvariants $Λ_w$ and produces a semisimple Lie algebra of Dykin type $Λ$ with an automorphism of order $d$ lifting $w$. The input for this construction naturally arises when considering certain families of algebraic curves. The construction generalizes one used by Thorne to study plane quartics and one used by the author and Thorne to study a family of genus-2 curves.
We establish a quantum cluster algebra structure on the quantum Grothendieck ring of a certain monoidal subcategory of the category of finite-dimensional representations of a simply-laced quantum affine algebra. Moreover, the (q,t)-characters of certain irreducible representations, among which fundamental representations, are obtained as quantum cluster variables. This approach gives a new algorithm to compute these (q,t)-characters. As an application, we prove that the quantum Grothendieck ring of a larger category of representations of the Borel subalgebra of the quantum affine algebra, defi…
We study the (complex) Hecke algebra $\mathcal{H}_S(\mathbf{q})$ of a finite simply-laced Coxeter system $(W,S)$ with independent parameters $\mathbf{q} \in \left( \mathbb{C} \setminus\{\text{roots of unity}\} \right)^S$. We construct its irreducible representations and projective indecomposable representations. We obtain the quiver of this algebra and determine when it is of finite representation type. We provide decomposition formulas for induced and restricted representations between the algebra $\mathcal{H}_S(\mathbf{q})$ and the algebra $\mathcal{H}_R(\mathbf{q}|_R)$ with $R\subseteq S$. …
We study the ODE/IM correspondence for ODE associated to $\hat{\mathfrak g}$-valued connections, for a simply-laced Lie algebra $\mathfrak g$. We prove that subdominant solutions to the ODE defined in different fundamental representations satisfy a set of quadratic equations called $Ψ$-system. This allows us to show that the generalized spectral determinants satisfy the Bethe Ansatz equations.
We construct the positive principal series representations for $\mathcal{U}_q(\mathfrak{g}_\mathbb{R})$ where $\mathfrak{g}$ is of simply-laced type, parametrized by $\mathbb{R}_{\geq 0}^r$ where $r$ is the rank of $\mathfrak{g}$. We describe explicitly the actions of the generators in the positive representations as positive essentially self-adjoint operators on a Hilbert space, and prove the transcendental relations between the generators of the modular double. We define the modified quantum group $\mathbf{U}_{\mathfrak{q}\tilde{\mathfrak{q}}}(\mathfrak{g}_\mathbb{R})$ of the modular double …
We put forward the exact version of two-parameter generating functions with $τ$-invariance, which allows us to give a unified and inherent definition for the Drinfeld realization of two-parameter quantum affine algebras for all the untwisted types. As verification, we first construct their level-one vertex representations of $U_{r,s}(\widehat{\mathfrak{g}})$ for simply-laced types, which in turn well-detect the effectiveness of our definitions both for $(r,s)$-generating functions and $(r,s)$-Drinfeld realization in the framework of establishing the two-parameter vertex representation theory.
In this paper, we seek to prove the equality of the $q$-graded fermionic sums conjectured by Hatayama et al. in its full generality, by extending the results of Di Francesco and Kedem to the non-simply laced case. To this end, we will derive explicit expressions for the quantum $Q$-system relations, which are quantum cluster mutations that correspond to the classical $Q$-system relations, and write the identity of the $q$-graded fermionic sums as a constant term identity. As an application, we will show that these quantum $Q$-system relations are consistent with the short exact sequence of the…
For every cluster-tilted algebra of simply-laced Dynkin type we provide a companion basis which is strong, i.e. gives the set of dimension vectors of the finitely generated indecomposable modules for the cluster-tilted algebra. This shows in particular that every companion basis of a cluster-tilted algebra of simply-laced Dynkin type is strong. Thus we give a proof of Parsons's conjecture.
We construct the positive principal series representations for $U_q(g_R)$ where $g$ is of type $B_n$, $C_n$, $F_4$ or $G_2$, parametrized by $R^r$ where $r$ is the rank of $g$. We show that under the representations, the generators of the Langlands dual group $U_{\tilde{q}}({}^Lg_R)$ are related to the generators of $U_q(g_R)$ by the transcendental relations. We define the modified quantum group of the modular double and show that the representations of both parts of the modular double commute with each other, and there is an embedding into the $q$-tori polynomials.
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra with an indeterminate $q$ and let $\mathscr{C}_{\mathfrak{g}}$ be the category of finite-dimensional integrable $U_q'(\mathfrak{g})$-modules. We write $\mathscr{C}_{\mathfrak{g}}^0$ for the monoidal subcategory of $\mathscr{C}_{\mathfrak{g}}$ introduced by Hernandez-Leclerc. In this paper, we associate a simply-laced finite type root system to each quantum affine algebra $U_q'(\mathfrak{g})$ in a natural way, and show that the block decompositions of $\mathscr{C}_{\mathfrak{g}}$ and $\mathscr{C}_{\mathfrak{g}}^0$ are parameterized by the lat…
Using vertex operators, we build representations of the Yangian of a simply laced Kac-Moody algebra and of its double. As a corollary, we prove the PBW property for simply laced affine Yangians.
We present here two detailed examples of additive categorifications of the cluster algebra structure of a coordinate ring of a maximal unipotent subgroup of a simple Lie group. The first one is of simply-laced type ($A_3$) and relies on an article by Geiß, Leclerc and Schröer. The second is of non simply-laced type ($C_2$) and relies on an article by the author of this note. This is aimed to be accessible, specially for people who are not familiar with this subject.
In this paper we analyze Fourier coefficients of automorphic forms on a finite cover $G$ of an adelic split simply-laced group. Let $π$ be a minimal or next-to-minimal automorphic representation of $G$. We prove that any $η\in π$ is completely determined by its Whittaker coefficients with respect to (possibly degenerate) characters of the unipotent radical of a fixed Borel subgroup, analogously to the Piatetski-Shapiro--Shalika formula for cusp forms on $GL_n$. We also derive explicit formulas expressing the form, as well as all its maximal parabolic Fourier coefficient in terms of these Whitt…
It is known that there exists an order isomorphism between the Weyl group orbit through a minuscule weight of a simply-laced finite-dimensional simple Lie algebra and the set of all order filters in a self-dual connected d-complete poset. In this paper, we try to extend this fact to the case of multiply-laced finite-dimensional simple Lie algebras by using the "folding" technique with respect to a Dynkin diagram automorphism.
We present a way to associate an algebra $B_G (Υ) $ with every pseudo reflection group $G$. When $G$ is a Coxeter group of simply-laced type we show $B_G (Υ)$ is isomorphic to the generalized Brauer algebra of simply-laced type introduced by Cohen,Gijsbers and Wales[10]. We prove $B_G (Υ)$ has a cellular structure and be semisimple for generic parameters when $G$ is a rank 2 Coxeter group. In the process of construction we introduce a Cherednik type connection for BMW algebras and a generalization of Lawrence-Krammer representation to complex braid groups associated with all pseudo reflection …
We describe a combinatorial realization of the crystals $B(\infty)$ and $B(λ)$ using rigged configurations in all symmetrizable Kac-Moody types up to certain conditions. This includes all simply-laced types and all non-simply-laced finite and affine types.
Let G be a semisimple simply connected group of simply laced type over C. We show that the flag manifold of G has a version defined over the "tropical" semifield Z on which the monoid G(Z) associated to G and the semifield Z acts.
A cluster algebra is a commutative algebra whose structure is decided by a skew-symmetrizable matrix or a quiver. When a skew-symmetrizable matrix is invariant under an action of a finite group and this action is admissible, the folded cluster algebra is obtained from the original one. Any cluster algebra of non-simply-laced affine type can be obtained by folding a cluster algebra of simply-laced affine type with a specific $G$-action. In this paper, we study the combinatorial properties of quivers in the cluster algebra of affine type. We prove that for any quiver of simply-laced affine type,…
Affine Kazhdan-Lusztig polynomials on the subregular cell in non simply-laced Lie algebras: with an application to character formulae (with an appendix by Roman Bezrukavnikov, Vasily Krylov, and Kenta Suzuki)
We prove an explicit inverse Chevalley formula in the equivariant $K$-theory of semi-infinite flag manifolds of simply-laced type. By an inverse Chevalley formula, we mean a formula for the product of an equivariant scalar with a Schubert class, expressed as a $\mathbb{Z}[q^{\pm 1}]$-linear combination of Schubert classes twisted by equivariant line bundles. Our formula applies to arbitrary Schubert classes in semi-infinite flag manifolds of simply-laced type and equivariant scalars $e^λ$, where $λ$ is an arbitrary minuscule weight. By a result of Stembridge, our formula completely determines …
We study the principal series representations of central extensions of a split reductive algebraic group by a cyclic group of order $n$. We compute the Plancherel measure of the representation using Eisenstein series and a comparison method. In addition, we construct genuine central characters of the metaplectic torus in the simply-laced case.
Let g be a semi-simple Lie algebra. In this paper we study the spaces of based quasi-maps from the projective line P^1 to the flag variety of g (it is well-known that their singularities are supposed to model the singularities of the so called semi-infinite Schubert varieties which are hard to define directly). In the first part of the paper we show that the above spaces are normal and in the case when g is simply laced they are also Gorenstein and have rational singularities. In the second part of the paper we compute the character of the ring of functions on the above spaces; in view of the …
We investigate Fourier coefficients of automorphic forms on split simply-laced Lie groups G. We show that for automorphic representations of small Gelfand-Kirillov dimension the Fourier coefficients are completely determined by certain degenerate Whittaker vectors on G. Although we expect our results to hold for arbitrary simply-laced groups, we give complete proofs only for G=SL(3) and G=SL(4). This is based on a method of Ginzburg that associates Fourier coefficients of automorphic forms with nilpotent orbits of G. Our results complement and extend recent results of Miller and Sahi. We also …
Let $C$ be a simply laced generalized Cartan matrix. Given an element $b$ of the generalized braid semigroup related to $C$, we construct a collection of mutation-equivalent quivers with potentials. A quiver with potential in such a collection corresponds to an expression of $b$ in terms of the standard generators. For two expressions that differ by a braid relation, the corresponding quivers with potentials are related by a mutation. The main application of this result is a construction of a family of $CY_3$ $A_\infty$-categories associated to elements of the braid semigroup related to $C$. I…