SearcharxivSearch

arXiv · 1203.1550

Forced gradings in integral quasi-hereditary algebras with applications to quantum groups

Abstract

Let $\sO$ be a discrete valuation ring with fraction field $K$ and residue field $k$. A quasi-hereditary algebra $\wA$ over $\sO$ provides a bridge between the representation theory of the quasi-hereditary algebra $\wA_K:=K\otimes \wA$ over the field $K$ and the quasi-hereditary algebra $A_k:=k\otimes_\sO\wA$ over $k$. In one important example, $\wA_K$--mod is a full subcategory of the category of modules for a quantum enveloping algebra while $\wA_k$--mod is a full subcategory of the category of modules for a reductive group in positive characteristic. This paper considers first the question of when the positively graded algebra $\gr \wA:= \bigoplus_{n\geq 0}(\wA\cap\rad^n\wA_K)/(\wA\cap\rad^{n+1}\wA_K)$ is quasi-hereditary. A main result gives sufficient conditions that $\gr\wA$ be quasi-hereditary. The main requirement is that each graded module $\gr\wDelta(λ)$ arising from a $\wA$-standard (Weyl) module $\wDelta(λ)$ have an irreducible head. An additional hypothesis requires that the graded algebra $\gr \wA_K$ be quasi-hereditary, a property recently proved by us to hold in some important cases involving quantum enveloping algebras. In the case where $\wA$ arises from regular dominant weights for a quantum enveloping algebra at a primitive $p$th root of unity for a prime $p>2h-2$ (where $h$ is the Coxeter number), a second main result shows that $\gr\wA$ is quasi-hereditary. The proof depends on previous work of the authors, including a continuation of the methods there involving tightly graded subalgebras, and a development of a quantum deformation theory over $\sO$, worthy of attention in its own right, extending the work of Andersen-Jantzen-Soergel. As we point out, this work provides an essential step in our work on $p$-filtrations of Weyl modules for reductive algebraic groups over fields of positive characteristic.

Explore related subjects

Keep this discovery

BibTeXRIS

Brian Parshall, Leonard Scott. 2012-08-15. Forced gradings in integral quasi-hereditary algebras with applications to quantum groups. https://arxiv.org/abs/1203.1550

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT