SearcharxivSearch

arXiv · 2507.17970

A note on D-modules on the projective spaces of a class of G-representations

Abstract

Consider $(G, V)$ a finite-dimensional representation of a connected reductive complex Lie group $G$ and $\mathbb{P}\left( V\right) $ the projective space of $V$. Denote by $G'$ the derived subgroup of $G$ and assume that the categorical quotient is one dimensional. In the case where the representation $(G, V)$ is also multiplicity-free, it is known from Howe-Umeda [4] that the algebra of $G$-invariant differential operators $\Gamma\left(V, \mathcal{D}_V\right)^G$ is a commutative polynomial ring. Suppose that the representation $(G, V)$ satisfies the abstract Capelli condition: $(G, V)$ is an irreducible multiplicity-free representation such that the Weyl algebra $\Gamma\left(V, \mathcal{D}_V\right)^G$ is equal to the image of the center of the universal enveloping algebra of $\mathrm{Lie}(G)$ under the differential $\tau: \mathrm{Lie}(G) \longrightarrow \Gamma\left(V, \mathcal{D}_V\right)$ of the $G$-action. Let $\mathcal{A}$ be the quotient algebra of all $G'$-invariant differential operators by those vanishing on $G'$-invariant polynomials. The main aim of this paper is to prove that there is an equivalence of categories between the category of regular holonomic $\mathcal{D}_{\mathbb{P}\left( V\right)}$-modules on the complex projective space $\mathbb{P}\left( V\right) $ and the quotient category of finitely generated graded $\mathcal{A}$-modules modulo those supported by $\left\{ 0\right\} $. This result is a generalization of [12, Theorem 3.4] and of [13, Theorem 8]. As an application we give an algebraic/combinatorial classification of regular holonomic $\mathcal{D}_{\mathbb{P}\left( V\right) }$-modules on the projective space of skew-symmetric matrices.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Philibert Nang. 2025-07-23. A note on D-modules on the projective spaces of a class of G-representations. https://arxiv.org/abs/2507.17970

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