We give a proof of Lusztig's conjectural multiplicity formula for non-restricted modules over the De Concini-Kac type quantized enveloping algebra at the $\ell$-th root of unity, where $\ell$ is an odd prime power satisfying certain reasonable conditions.
We show that the quantized flag manifold at a root of unity has natural affine open covering parametrized by the elements of the Weyl group. In particular, the quantized flag manifold turns out to be a quasi-scheme in the sense of Rosenberg.
The quantized flag manifold, which is a $q$-analogue of the ordinary flag manifold, is realized as a non-commutative scheme, and we can define the category of $D$-modules on it using the framework of non-commutative algebraic geometry; however, when the parameter $q$ is a root of unity, Lusztig's Frobenius morphism allows us to handle $D$-modules on the quantized flag manifold through modules over a certain sheaf of rings on the ordinary flag manifold. In this paper we will show that this sheaf of rings on the ordinary flag manifold is an Azumaya algebra over its center. We also show that its …
We prove an analogue of Weyl's law for quantized irreducible generalized flag manifolds. By this we mean defining a zeta function, similarly to the classical setting, and showing that it satisfies the following two properties: as a functional on the quantized algebra it is proportional to the Haar state; its first singularity coincides with the classical dimension. The relevant formulae are given for the more general case of compact quantum groups.
In this article the quantized matrix algebras as in the title have been studied at a root of unity. A full classification of simple modules over such quantized matrix algebras of rank $2$ along with a class of finite dimensional indecomposable modules are given.
We will give an explicit description of the center of the De Concini-Kac type specialization of a quantized enveloping algebra at an even root of unity. The case of an odd root of unity was already dealt with by De Concini-Kac-Procesi. Our description in the even case is similar to but a little more complicated than the odd case.
We describe the cohomology of the sheaf of twisted differential operators on the quantized flag manifold at a root of unity whose order is a prime power. It follows from this and our previous results that for the De Concini-Kac type quantized enveloping algebra, where the parameter $q$ is specialized to a root of unity whose order is a prime power, the number of irreducible modules with a certain specified central character coincides with the dimension of the total cohomology group of the corresponding Springer fiber. This gives a weak version of a conjecture of Lusztig concerning non-restrict…
By properly specializing the parameters irreducible modules of maximal dimension for the De Concini-Kac version of the Drinfeld-Jimbo quantum algebra in type $A$ may be transformed into modules over Lusztig's infinitesimal quantum algeba. Thus obtained modules have a simple socle and a simple head, and share the same dimension as the infinitesimal Verma modules. Despite these common features we find that they are never isomorphic to infinitesimal Verma modules unless they are irreducible. The same carry over to the modular setup for the special linear groups in positive characteristic.
We formulate a Beilinson-Bernstein type derived equivalence for a quantized enveloping algebra at a root of 1 as a conjecture. It says that there exists a derived equivalence between the category of modules over a quantized enveloping algebra at a root of 1 with fixed regular Harish-Chandra central character and the category of certain twisted $D$-modules on the corresponding quantized flag manifold. We show that the proof is reduced to a statement about the (derived) global sections of the ring of differential operators on the quantized flag manifold. We also give a reformulation of the conje…
Generalized flag manifolds endowed with the Bruhat-Poisson bracket are compact Poisson homogeneous spaces, whose decompositions in symplectic leaves coincide with their stratifications in Schubert cells. In this note it is proved that the irreducible *-representations of the corresponding quantized flag manifolds are also parametrized by their Schubert cells. An important step is the determination of suitable algebraic generators of the quantized flag manifolds. These algebraic generators can be naturally expressed in terms of quantum Plucker coordinates. This note complements the paper of the…
Let $\mathfrak{g}$ be a semi-simple Lie algebra with fixed root system, and $U_q(\mathfrak{g})$ the quantization of its universal enveloping algebra. Let $\mathcal{S}$ be a subset of the simple roots of $\mathfrak{g}$. We show that the defining relations for $U_q(\mathfrak{g})$ can be slightly modified in such a way that the resulting algebra $U_q(\mathfrak{g};\mathcal{S})$ allows a homomorphism onto (an extension of) the algebra $\mathrm{Pol}(\mathbb{G}_q/\mathbb{K}_{\mathcal{S},q})$ of functions on the quantum flag manifold $\mathbb{G}_q/\mathbb{K}_{\mathcal{S},q}$ corresponding to $\mathcal…
Let $\Oq(G)$ be the algebra of quantized functions on an algebraic group $G$ and $\Oq(B)$ its quotient algebra corresponding to a Borel subgroup $B$ of $G$. We define the category of sheaves on the "quantum flag variety of $G$" to be the $\Oq(B)$-equivariant $\Oq(G)$-modules and proves that this is a proj-category. We construct a category of equivariant quantum $\mathcal{D}$-modules on this quantized flag variety and prove the Beilinson-Bernsteins localization theorem for this category in the case when $q$ is not a root of unity.
In the paper \cite{BK} we defined categories of equivariant quantum $\mathcal{O}_q$-modules and $\mathcal{D}_q$-modules on the quantum flag variety of $G$. We proved that the Beilinson-Bernstein localization theorem holds at a generic $q$. Here we prove that a derived version of this theorem holds at the root of unity case. Namely, the global section functor gives a derived equivalence between category of $U_q$-modules and $\mathcal{D}_q$-modules on the quantum flag variety. For this we first prove that $\mathcal{D}_q$ is an Azumaya algebra over an open subset ofthe cotangent bundle $T^\star X…
Let U^+ be the plus part of the quantized enveloping algebra of a simple Lie algebra and let B^* be the dual canonical basis of U^+. Let b,b' be in B* and suppose that one of the two elements is a q-commuting product of quantum flag minors. We show that b and b' are multiplicative if and only if they q-commute.
The natural representation of the quantized affine algebra of type A can be defined via the deformed Fock space by Misra and Miwa. This relates the classes of Weyl modules for a type A quantum group at a root of unity to the action of the quantized affine algebra as the rank tends towards infinity. In this paper we investigate the situation outside of type A. In classical types, we construct embeddings of the Grothendieck group of finite dimensional modules for the corresponding quatum group at a root of unity into Fock spaces of different charges and define an action of an affine quantum symm…
Theory of the quantized flag manifold as a quasi-scheme (non-commutative scheme) has been developed by Lunts-Rosenberg. They have formulated an analogue of the Beilinson-Bernstein correspondence using the $q$-differential operators introduced in their earlier paper. In this paper we shall establish its modified version using a class of $q$-differential operators, which is (possibly) smaller than the one used by Lunts-Rosenberg.
In the case of an almost simple algebraic group $G$ of type $G_2$ over a field of characteristic $p>0$ we study the cohomology modules of line bundles on the flag variety for $G$. Our main result is a complete determination of the vanishing behavior of such cohomology in the case where the line bundles in question are induced by characters from the lowest $p^2$-alcoves. When $U_q$ is the quantum group corresponding to $G$ whose parameter $q$ is a complex root of unity of order prime to 6 we give a complete (i.e. covering all characters) description of the vanishing behavior for the correspondi…
A conjecture of De Concini Kac and Procesi provides a bound on the minimal possible dimension of an irreducible module for quantized enveloping algebras at an odd root of unity. We pose the problem of the existence of modules whose dimension equals this bound. We show that this question cannot have a positive answer in full generality and discuss variants of this question.
We study the finite dimensional modules on the half-quantum group u_q^+ at a root of unity q, whose action can be extended to u_q (quotient of the quantized enveloping algebra of sl_2). We derive decomposition formulas of the tensor product of indecomposable u_q^+-modules, which includes the cases of the universal and the quantized universal enveloping algebra of sl_2 for q not a root of unity. We also prove that simple modules on u_q correspond exactly to the extendable non projective u_q^+-modules. We thus establish decomposition formulas for the tensor product of simple u_q-modules.
The Shapovalov determinant for a class of pointed Hopf algebras is calculated, including quantized enveloping algebras, Lusztig's small quantum groups, and quantized Lie superalgebras. Our main tools are root systems, Weyl groupoids, and Lusztig type isomorphisms. We elaborate powerful novel techniques for the algebras at roots of unity, and pass to the general case using a density argument. Key words: Hopf algebra, Nichols algebra, quantum group, representation
Consider an almost-simple algebraic group G and a choice of complex root of unity q. We study the category of quasi-coherent sheaves $\mathscr{X}_q$ on the half-quantum flag variety, which itself forms a sheaf of tensor categories over the classical flag variety G/B. We prove that the category of small quantum group representations for G at q embeds fully faithfully into the global sections of $\mathscr{X}_q$, and that the fibers of $\mathscr{X}_q$ over G/B recover the tensor categories of representations for the small quantum Borels. These relationships hold both at an abelian and derived lev…
We conjecture that appropriate K-theoretic Gromov-Witten invariants of complex flag manifolds G/B are governed by finite-difference versions of Toda systems constructed in terms of the Langlands-dual quantized universal enveloping algebras U_q(g'). The conjecture is proved in the case of classical flag manifolds of the series A. The proof is based on a refinement of the famous Atiyah-Hirzebruch argument for rigidity of arithmetical genus applied to hyperquot-scheme compactifications of spaces of rational curves in the flag manifolds.
We show that the Weyl-Kac type character formula holds for the integrable highest weight modules over the quantized enveloping algebra of any symmetrizable Kac-Moody Lie algebra, when the parameter $q$ is not a root of unity.
In his work on crystal bases \cite{Kas}, Kashiwara introduced a certain degeneration of the quantized universal enveloping algebra of a semi-simple Lie algebra $\mathfrak g$, which he called a quantum boson algebra. In this paper, we construct Kashiwara operators associated to all positive roots and use them to define a variant of Kashiwara's quantum boson algebra. We show that a quasi-classical limit of the positive half of our variant is a Poisson algebra of the form $(P \simeq \mathbb C[\mathfrak n^{\ast}], \, \{~~,~~\}_P)$, where $\mathfrak n$ is the positive part of $\mathfrak g$ and $\{~…
We consider Dolbeault-Dirac operators on quantized irreducible flag manifolds as defined by Krähmer and Tucker-Simmons. We show that, in general, these operators do not satisfy a formula of Parthasarathy-type. This is a consequence of two results that we prove here: we always have quadratic commutation relations for the relevant quantum root vectors, up to terms in the quantized Levi factor; there are examples of quantum Clifford algebras where the commutation relations are not of quadratic-constant type.
For a finite dimensional semisimple Lie algebra ${\frak{g}}$ and a root $q$ of unity in a field $k,$ we associate to these data a double quiver $\bar{\cal{Q}}.$ It is shown that a restricted version of the quantized enveloping algebras $U_q(\frak g)$ is a quotient of the double quiver algebra $k\bar{\cal Q}.$
We construct infinite-dimensional analogues of finite-dimensional simple modules of the nonstandard $q$-deformed enveloping algebra $U_q'(\mathfrak{so}_n)$ defined by Gavrilik and Klimyk, and we do the same for the classical universal enveloping algebra $U(\mathfrak{so}_n)$. In this paper we only consider the case when $q$ is not a root of unity, and $q\to 1$ for the classical case. Extending work by Mazorchuk on $\mathfrak{so}_n$, we provide rational matrix coefficients for these infinite-dimensional modules of both $U_q'(\mathfrak{so}_n)$ and $U(\mathfrak{so}_n)$. We use these modules with r…
We quantize parabolic flag manifolds and describe categories of equivariant quantum $\D$-modules on them at a singular central character. We compute global sections at any $q \in \C^*$ and we also prove a singular version of Beilinson-Bernstein localization for a quantized enveloping algebra $\Uq(\g)$, when $q$ is generic.
We introduce a $p$-adic analytic analogue of Backelin and Kremnizer's construction of the quantum flag variety of a semisimple algebraic group, when $q$ is not a root of unity and $| q-1|<1$. We then define a category of $λ$-twisted $D$-modules on this analytic quantum flag variety. We show that when $λ$ is regular and dominant and when the characteristic of the residue field does not divide the order of the Weyl group, the global section functor gives an equivalence of categories between the coherent $λ$-twisted $D$-modules and the category of finitely generated modules over $\widehat{U_q^λ}$…
We give a classification of all irreducible completely pointed $U_q(\mathfrak{sl}_{n+1})$ modules over a characteristic zero field in which $q$ is not a root of unity. This generalizes the classification result of Benkart, Britten and Lemire in the non quantum case. We also show that any infinite-dimensional irreducible completely pointed $U_q(\mathfrak{sl}_{n+1})$ can be obtained from some irreducible completely pointed module over the quantized Weyl algebra $A_{n+1}^q$.
Let $\mathfrak g$ be a complex simple Lie algebra and let $U_ζ({\mathfrak g})$ be the corresponding Lusztig ${\mathbb Z}[q,q^{-1}]$-form of the quantized enveloping algebra specialized to an $\ell$th root of unity. Moreover, let $\mod(U_ζ({\mathfrak g}))$ be the braided monoidal category of finite-dimensional modules for $U_ζ({\mathfrak g})$. In this paper we classify the thick tensor ideals of $\mod(U_ζ({\mathfrak g}))$ and compute the prime spectrum of the stable module category associated to $\text{mod}(U_ζ({\mathfrak g}))$ as defined by Balmer.
Let $u_ζ(g)$ denote the small quantum group associated to the simple complex Lie algebra $g$, with parameter $q$ specialized to a primitive $\ell$-th root of unity $ζ$ in the field $k$. Generalizing a result of Cline, Parshall and Scott, we show that if $M$ is a finite-dimensional $u_ζ(g)$-module admitting a compatible torus action, then the injectivity of $M$ as a module for $u_ζ(g)$ can be detected by the restriction of $M$ to certain root subalgebras of $u_ζ(g)$. If the characteristic of $k$ is positive, then this injectivity criterion also holds for the higher Frobenius--Lusztig kernels $U…
The paper is concerned with cohomology of the small quantum group at a root of unity, and of its upper triangular subalgebra, with coefficients in a tilting module. We relate it to a certain t-structure on the derived category of equivariant coherent sheaves on the Springer resolution, and to equivariant coherent IC sheaves on the nil-cone. The support of these cohomology is described in terms of cells in affine Weyl groups, and the basis in the Grothendieck group they provide is related to the Kazhdan-Lusztig basis, as predicted by J. Humphreys and V. Ostrik. The proof is based on earlier res…
A conjecture by the second author, proven by Bonnafé-Rouquier, says that the multiplicity matrix for baby Verma modules over the restricted rational Cherednik algebra has rank one over $\mathbb{Q}$ when restricted to each block of the algebra. In this paper, we show that if $H$ is a prime algebra that is a free Frobenius extension over a regular central subalgebra $R$, and the centre of $H$ is normal Gorenstein, then each central quotient $A$ of $H$ by a maximal ideal $\mathfrak{m}$ of $R$ satisfies the rank one property with respect to the Cartan matrix of $A$. Examples where the result is ap…
We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the loop Grassmannian for the Langlands dual group. The equivalence (1)-(2) is an `enhancement' of the known expression for quantum group cohomology in terms of nilpotent variety, due to Ginzburg-Kumar. The equivalence (2)-(3) is a step towards resolving an old mystery surrounding the existense of two completely different realizations of the affine Hecke algebra…
