Let $\frak F_ł$ be the space of tensor densities of degree $λ$ on the supercircle $S^{1|1}$. We consider the space $\mathfrak{D}_{λ,μ}^k$ of k-th order linear differential operators from $\frak F_ł$ to $\frak F_μ$ as $\mathfrak{osp}(1|2)$-module and we determine the space $\mathfrak{I}_{λ,μ}^k$ of linear maps on $\mathfrak{D}_{λ,μ}^k$ commuting with the $\mathfrak{osp}(1|2)$-action.
We introduce and study the category of twisted modules over a triangular differential graded bocs. We show that in this category idempotents split, that it admits a natural structure of a Frobenius category, that a twisted module is homotopically trivial if and only if its underlying complex is acyclic, and that any homotopy equivalence of differential graded bocses determines an equivalence of the corresponding homotopy categories of twisted modules. The category of modules over an $A_{\infty}$-algebra is equivalent to the category of twisted modules over a triangular differential graded bocs…
Fix a manifold M, and let V be an infinite dimensional Lie algebra of vector fields on M. Assume that V contains a finite dimensional semisimple maximal subalgebra A, the projective or conformal subalgebra. A projective or conformal quantization of a V-module of differential operators on M is a decomposition into irreducible A-modules. We survey recent results on projective quantizations and their applications to cohomology, geometric equivalences and symmetries of differential operator modules, and indecomposable modules.
For the algebra L= K <x, d/dx, \int> of polynomial integro-differential operators over a field K of characteristic zero, a classification of indecomposable, generalized weight L-modules of finite length is given. Each such module is an infinite dimensional uniserial module. Ext-groups are found between indecomposable generalized weight modules, it is proven that they are finite dimensional vector spaces.
The Lie algebra of vector fields on $R^m$ acts naturally on the spaces of differential operators between tensor field modules. Its projective subalgebra is isomorphic to $sl_{m+1}$, and its affine subalgebra is a maximal parabolic subalgebra of the projective subalgebra with Levi factor $gl_m$. We prove two results. First, we realize all injective objects of the parabolic category O$^{gl_m}(sl_{m+1})$ of $gl_m$-finite $sl_{m+1}$-modules as submodules of differential operator modules. Second, we study projective quantizations of differential operator modules, i.e., $sl_{m+1}$-invariant splittin…
We classify blocks of categories of weight and generalized weight modules of algebras of twisted differential operators on P^n. Necessary and sufficient conditions for these blocks to be tame and proofs that some of the blocks are Koszul are provided. We also establish equivalences of categories between these blocks and categories of bounded and generalized bounded weight sl(n+1)-modules in the cases of nonintegral and singular central character.
In this paper we close the cases that were left open in our earlier works on the study of conformally invariant systems of second-order differential operators for degenerate principal series. More precisely, for these cases, we find the special values of the systems of differential operators, and determine the standardness of the homomorphisms between the generalized Verma modules, that come from the conformally invariant systems.
We study holonomic modules for the rings of invariant differential operators on affine commutative domains with finite Krull dimension with respect to arbitrary actions of finite groups. We prove the Bernstein inequality for these rings. Our main tool is the filter dimension introduced by Bavula. We extend the results for the invariants of the Weyl algebra with respect to the symplectic action of a finite group, for the rings of invariant differential operators on quotient varieties, and invariants of certain generalized Weyl algebras under the linear actions. We show that the filter dimension…
We study irreducible representations for the Lie algebra of vector fields on a 2-dimensional torus constructed using the generalized Verma modules. We show that for a certain choice of parameters these representations remain irreducible when restricted to a loop subalgebra in the Lie algebra of vector fields. We prove this result by studying vertex algebras associated with the Lie algebra of vector fields on a torus and solving non-commutative differential equations that we derive using the vertex algebra technique.
For the algebra $I_n$ of polynomial integro-differential operators over a field $K$ of characteristic zero, a classification of simple weight and generalized weight (left and right) $I_n$-modules is given. It is proven that the category of weight $I_n$-modules is semisimple. An explicit description of generalized weight $I_n$-modules is given and using it a criterion is obtained for the problem of classification of indecomposable generalized weight $I_n$-modules to be of finite representation type, tame or wild. In the tame case, a classification of indecomposable generalized weight $I_n$-modu…
If $\fg$ is a semisimple Lie algebra, we describe the prime factors of $\mcU(\fg)$ that have enough finite dimensional modules. The proof depends on some combinatorial facts about the Weyl group which may be of independent interest. We also determine, which finite dimensional $\mcU(\fg)$-modules are modules over a given prime factor. As an application we study finite dimensional modules over some rings of invariant differential operators arising from Howe duality.
In the present paper we continue the project of systematic classification and construction of invariant differential operators for non-compact semisimple Lie groups. This time we make the stress on one of the main building blocks, namely the Verma modules and the corresponding parabolic subalgebras. In particular, we start the study of the relation between the parabolic subalgebras of real semisimple Lie algebras and of their complexification. Two cases are given in more detail: the conformal algebra of 4D Minkowski space-time and the minimal parabolics of classical real semisimple Lie algebra…
The concept of $λ$-differential operators is a natural generalization of differential operators and difference operators. In this paper, we determine the $λ$-differential Lie algebraic structure on the Witt algebra and the Virasoro algebra for invertible $λ$. Then we consider several families of modules over the Virasoro algebra with explicit module actions and determine the $λ$-differential module structures on them.
Xu introduced a system of partial differential equations to investigate singular vectors in the Verma modules of highest weight $λ$ over $\mathfrak{sl}(n,\mathbb{C})$. He proved that the solution space of this system in the space of truncated power series is spanned by $\{σ(1)\ |\ σ\in S_n\}$. We present an explicit formula of the solution $s_α(1)$ for every positive root $α$ and showed directly that $s_α(1)$ is a polynomial if and only if $\langleλ+ρ,α\rangle$ is a nonnegative integer. From this, we can recover a formula of singular vectors given by Malikov et al.
We prove that an irreducible quasifinite module over the central extension of the Lie algebra of $N\times N$-matrix differential operators on the circle is either a highest or lowest weight module or else a module of the intermediate series. Furthermore, we give a complete classification of indecomposable uniformly bounded modules.
A module M over a vertex algebra V is half-integrable if a_n act locally nilpotently on M for all a in V, m in M, n>0. We study half-integrable modules over sheaves of twisted chiral differential operators (TCDO) on a smooth variety X. We prove an equivalence between certain categories of half-integrable modules over TCDO and categories of (twisted) D-modules on X.
Given a suitable ordering of the positive root system associated with a semisimple Lie algebra, there exists a natural correspondence between Verma modules and related polynomial algebras. With this, the Lie algebra action on a Verma module can be interpreted as a differential operator action on polynomials, and thus on the corresponding truncated formal power series. We prove that the space of truncated formal power series is a differential-operator representation of the Weyl group $W$. We also introduce a system of partial differential equations to investigate singular vectors in the Verma m…
For a smooth algebraic variety $X$, we study the category of finitely generated modules over the ring of function of $X$ that has a compatible action of the Lie algebra $\mathcal{V}$ of polynomials vector fields on $X$. We show that the associated representation of $\mathcal{V}$ is given by a differential operator of order depending on the rank of the module. The order of the differential operator provides a natural measure of the complexity of the representation, with the simplest case being that of $D$-modules.
We show that a differential module is Gorenstein projective if and only if its underlying module is Gorenstein projective. Dually, a differential module is Gorenstein injective if and only if its underlying module is Gorenstein injective.
It is shown by Barchini, Kable, and Zierau that conformally invariant systems of differential operators yield explicit homomorphisms between certain generalized Verma modules. In this paper we determine whether or not the homomorphisms arising from such systems of first and second order differential operators associated to maximal parabolic subalgebras of quasi-Heisenberg type are standard.
The space D(k,p) of differential operators of order at most k, from the differential forms of degree p of a smooth manifold M into the functions of M, is a module over the Lie algebra of vector fields of M, when it's equipped with the natural Lie derivative. In this paper, we compute all equivariant i.e. intertwining operators from D(k,p) into D(k',p') and conclude that the preceding modules of differential operators are never isomorphic. We also answer a question of P. Lecomte, who observed that the restriction to D(k,p) of some homotopy operator, introduced in one of his works, is equivarian…
The classical radial part formula for the invariant differential operators and the K-invariant functions on a Riemannian symmetric space G/K is generalized to some non-invariant cases by use of Cherednik operators and a graded Hecke algebra H naturally attached to G/K. We introduce a category C_{rad} whose object is a pair of a (g_C,K)-module and an H-module satisfying some axioms which are formally the same as the generalized Chevalley restriction theorem and the generalized radial part formula. Various pairs of analogous notions in the representation theories for G and H, such as the Helgaso…
With this paper we start the study of reducible representations of the Jacobi algebra with the ultimate goal of constructing differential operators invariant w.r.t. the Jacobi algebra. In this first paper we show examples of the low level singular vectors of Verma modules over the Jacobi algebra. According to our methodology these will produce the invariant differential operators.
Let $Q$ be a finite quiver and $Λ$ be the radical square zero algebra of $Q$ over a field. We give a full and dense functor from the category of reduced differential projective modules over $Λ$ to the category of representations of the opposite of $Q$. If moreover $Q$ has oriented cycles and $Q$ is not a basic cycle, we prove that the algebra of dual numbers over $Λ$ is not virtually Gorenstein.
In this article are given explicit expressions for differential operators representing the action of any element of any Lie superalgebra g on a module induced or coinduced from an h-module V, where h is any subsuperalgebra of g. For the special case where g=g_+h, and g_ is a finite-dimensional subsuperalgebra of g, whose adjoint action on g is nilpotent, there is given a practical algorithm of calculation of this action. The program in C++ making the calculations for this case is also written.
We propose a notion of algebra of {\it twisted} chiral differential operators over algebraic manifolds with vanishing 1st Pontrjagin class. We show that such algebras possess families of modules depending on infinitely many complex parameters, which we classify in terms of the corresponding algebra of twisted differential operators. If the underlying manifold is a flag manifold, our construction recovers modules over an affine Lie algebra parameterized by opers over the Langlands dual Lie algebra. The spaces of global sections of "smallest" such modules are irreducible $\ghat$-modules and all …
Given a weight of $sl(n,\mbb{C})$, we derive a system of variable-coefficient second-order linear partial differential equations that determines the singular vectors in the corresponding Verma module, and a differential-operator representation of the symmetric group $S_n$ on the related space of truncated power series. We prove that the solution space of the system of partial differential equations is exactly spanned by $\{\sgm(1)\mid \sgm\in S_n\}$. Moreover, the singular vectors of $sl(n,\mbb{C})$ in the Verma module are given by those $\sgm(1)$ that are polynomials. The well-known results o…
We compare the so-called clock condition to the gradability of certain differential modules over quadratic monomial algebras. For a stably hereditary algebra or a gentle one-cycle algebra, these considerations show that the orbit category of its bounded derived category with respect to a positive power of the shift functor is triangulated if and only if the algebra is piecewise hereditary.
In this paper, we consider some non-weight modules over the Lie algebra of Weyl type. First, we determine the modules whose restriction to $U(\frak h)$ are free of rank $1$ over the Lie algebra of differential operators on the circle. Then we determine the necessary and sufficient conditions for the tensor products of quasi-finite highest weight modules and $U(\frak h)$-free modules to be irreducible, and obtain that any two such tensor products are isomorphic if and only if the corresponding highest weight modules and $U(\frak h)$-free modules are isomorphic. Finally, we extend such results t…
We show for an affine variety $X$, the derived category of quasi-coherent $D$-modules is equivalent to the category of DG modules over an explicit DG algebra, whose zeroth cohomology is the ring of Grothendieck differential operators $\operatorname{Diff}(X)$. When the variety is cuspidal, we show that this is just the usual ring $\operatorname{Diff}(X)$, and the equivalence is the abelian equivalence constructed by Ben-Zvi and Nevins. We compute the cohomology algebra and its natural modules in the hypersurface, curve and isolated quotient singularity cases. We identify cases where a $D$-modul…
In recent years, algebras and modules of differential operators have been extensively studied. Equivariant quantization and dequantization establish a tight link between invariant operators connecting modules of differential operators on tensor densities, and module morphisms that connect the corresponding dequantized spaces. In this paper, we investigate dequantized differential operators as modules over a Lie subalgebra of vector fields that preserve an additional structure. More precisely, we take an interest in invariant operators between dequantized spaces, viewed as modules over the Lie …
Motivated by recent developments of $\infty$-categorical theories related to differential graded (dg for short) Lie algebras, we develop a general framework for locally finite $\infty$-$\mathfrak{g}$-modules over a dg Lie algebra $\mathfrak{g}$. We show that the category of such locally finite $\infty$-$\mathfrak{g}$-modules is almost a model category in the sense of Vallette. As a homotopy theoretical generalization of Loday and Pirashvili's Lie algebra objects in the tensor category of linear maps, we further study weak Loday-Pirashvili modules consisting of $\infty$-morphisms from locally f…
Let $G$ be a finite subgroup of the linear group of a finite-dimensional complex vector $V$, $B={\operatorname S}(V)$ be the symmetric algebra, ${\mathcal D}=\mathcal D^G_B$ the ring of $G$-invariant differential operators, and ${\mathcal D}^-$ its subring of negative degree operators. We prove that $M\mapsto M^{ann}= {\operatorname Ann}_{\mathcal D^-}(M)$ defines an isomorphism between the category of ${\mathcal D}$-submodules of $B$ and a category of modules formed as lowest weight spaces. This is applied to a construction of simple ${\mathcal D}$-submodules of $B$ when $G$ is a generalized …
Lowest weight representations of the ${\mathbb Z}_2 \otimes {\mathbb Z}_2$ graded superalgebra introduced by Rittenberg and Wyler are investigated. We give a explicit construction of Verma modules over the ${\mathbb Z}_2 \otimes {\mathbb Z}_2$ graded superalgebra and show their reducibility by using singular vectors. The explicit formula of singular vectors are given and are used to derive partial differential equations invariant under the color supergroup generated by the ${\mathbb Z}_2 \otimes {\mathbb Z}_2$ graded superalgebra.
The present paper contains two interrelated developments. First, are proposed new generalized Verma modules. They are called k-Verma modules, k\in N, and coincide with the usual Verma modules for k=1. As a vector space a k-Verma module is isomorphic to the symmetric tensor product of k copies of the universal enveloping algebra U(g^-), where g^- is the subalgebra of lowering generators in the standard triangular decomposition of a simple Lie algebra g = g^+ \oplus h \oplus g^- . The second development is the proposal of a procedure for the construction of multilinear intertwining differential …
In this paper we revisit Ribenboim's notion of higher derivations of modules and relate it to the recent work of De Fernex and Docampo on the sheaf of differentials of the arc space. In particular, we derive their formula for the Kähler differentials of the Hasse-Schmidt algebra as a consequence of the fact that the Hasse-Schmidt algebra functors commute.
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 …
In this paper, we introduce the class of Cohen-Macaulay (=CM) dg (=differential graded) modules over Gorenstein dg algebras and study their basic properties. We show that the category of CM dg modules forms a Frobenius extriangulated category, in the sense of Nakaoka and Palu, and it admits almost split extensions. We also study representation-finite $d$-self-injective dg algebras $A$ in detail. In particular, we classify the Auslander-Reiten (=AR) quivers of CM $A$ for those $A$ in terms of $(-d)$-Calabi-Yau (=CY) configurations, which are Riedtmann's configuration for the case $d=1$. For any…
Given a weight of sl(n), we derive a system of variable-coefficient second-order linear partial differential equations that determines the singular vectors in the corresponding Verma module. Moreover, we completely solve the system in a certain space of power series. The polynomial solutions correspond to the singular vectors in the Verma module. The well-known results of Verma, Bernstein-Gel'fand-Gel'fand and Jantzen for the case of $sl(n)$ are naturally included in our almost elementary approach of partial differential equations.
We present a complete classification and the construction of $\mathrm{Mp}(2n+2,\mathbb{R})$-equivariant differential operators acting on the principal series representations, associated to the contact projective geometry on $\mathbb{RP}^{2n+1}$ and induced from the irreducible $\mathrm{Mp}(2n,\mathbb{R})$-submodules of the Segal-Shale-Weil representation twisted by a one-parameter family of characters. The proof is based on the classification of homomorphisms of generalized Verma modules for the Segal-Shale-Weil representation twisted by a one-parameter family of characters, together with a ge…