SearcharxivSearch

arXiv · 1607.06342

Relaxed Highest Weight Modules from $\mathcal{D}$-Modules on the Kashiwara Flag Scheme

Abstract

The relaxed highest weight representations introduced by Feigin et al. are a class of representations of the affine Kac-Moody algebra $\hat{\mathfrak{sl}_2}$, which do not have a highest (or lowest) weight. We formulate a generalization of this notion for an arbitrary affine Kac-Moody algebra $\mathfrak{g}$. We then realize induced $\mathfrak{g}$-modules of this type and their duals as global sections of twisted $\mathcal{D}$-modules on the Kashiwara flag scheme $X$ associated to $\mathfrak{g}$. The $\mathcal{D}$-modules that appear in our construction are direct images from subschemes of $X$ that are intersections of finite dimensional Schubert cells with their translate by a simple reflection. Besides the twist $\lambda$, they depend on a complex number describing the monodromy of the local systems we construct on these intersections. We describe the global sections of the $*$-direct images as a module over the Cartan subalgebra of $\mathfrak{g}$ and show that the higher cohomology vanishes. We obtain a complete description of the cohomology groups of the direct images as $\mathfrak{g}$-modules in the following two cases. First, we address the case when the intersection is isomorphic to $\mathbb{G}_{\text{m}}$. Second, we address the case of the $*$-direct image from an arbitrary intersection when the twist is regular antidominant and the monodromy is trivial. For the proof of this case we introduce an auto-equivalence of the category of $\mathcal{D}$-modules $\text{Hol}(\lambda)$ induced by the automorphism of $X$ defined by a lift of a simple reflection. These results describe for the first time explicit non-highest weight $\mathfrak{g}$-modules as global sections on the Kashiwara flag scheme and extend several results of Kashiwara-Tanisaki to the case of relaxed highest weight representations.

Explore related subjects

Keep this discovery

BibTeXRIS

C. Eicher. 2016-07-21. Relaxed Highest Weight Modules from $\mathcal{D}$-Modules on the Kashiwara Flag Scheme. https://arxiv.org/abs/1607.06342

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