Let $\Omega _n$ be the ring of polynomial-valued holomorphic differential forms on complex n-space, referred to in physics as the superspace ring of rank n. The symmetric group ${\mathfrak {S}}_n$ acts diagonally on $\Omega _n$ by permuting commuting and anticommuting generators simultaneously. We let $SI_n \subseteq \Omega _n$ be the ideal generated by ${\mathfrak {S}}_n$-invariants with vanishing constant term and study the quotient $SR_n = \Omega _n / SI_n$ of superspace by this ideal. We calculate the doubly-graded Hilbert series of $SR_n$ and prove an ‘operator theorem’, which characterizes the harmonic space $SH_n \subseteq \Omega _n$ attached to $SR_n$ in terms of the Vandermonde determinant and certain differential operators. Our methods employ commutative algebra results that were used in the study of Hessenberg varieties. Our results prove conjectures of N. Bergeron, Colmenarejo, Li, Machacek, Sulzgruber, Swanson, Wallach and Zabrocki.

We discuss practical methods for computing the space of solutions to an arbitrary homogeneous linear system of partial differential equations with constant coefficients. These rest on the Fundamental Principle of Ehrenpreis–Palamodov from the 1960s. We develop this further using recent advances in computational commutative algebra.

Let K be a field of arbitrary characteristic, $${\cal A}$$ be a commutative K-algebra which is a domain of essentially finite type (e.g., the algebra of functions on an irreducible affine algebraic variety), $${a_r}$$ be its Jacobian ideal, and $${\cal D}\left( {\cal A} \right)$$ be the algebra of differential operators on the algebra $${\cal A}$$ . The aim of the paper is to give a simplicity criterion for the algebra $${\cal D}\left( {\cal A} \right)$$ : the algebra $${\cal D}\left( {\cal A} \right)$$ is simple iff $${\cal D}\left( {\cal A} \right)a_r^i{\cal D}\left( {\cal A} \right) = {\cal D}\left( {\cal A} \right)$$ for all i ≥ 1 provided the field K is a perfect field. Furthermore, a simplicity criterion is given for the algebra $${\cal D}\left( R \right)$$ of differential operators on an arbitrary commutative algebra R over an arbitrary field. This gives an answer to an old question to find a simplicity criterion for algebras of differential operators.

In this paper we study certain sheaves of $p$-adically complete rings of differential operators on semistable models of the projective line over the ring of integers in a finite extension $L$ of $\mathbb{Q}_{p}$. The global sections of these sheaves can be identified with (central reductions of) analytic distribution algebras of wide open congruence subgroups. It is shown that the global sections functor furnishes an equivalence between the categories of coherent module sheaves and finitely presented modules over the distribution algebras. Using the work of M. Emerton, we then describe admissible representations of $\text{GL}_{2}(L)$ in terms of sheaves on the projective limit of these formal schemes. As an application, we show that representations coming from certain equivariant line bundles on Drinfeld’s first étale covering of the $p$-adic upper half plane are admissible.

Given a local ring containing a field, we define and investigate a family of invariants that includes the Lyubeznik numbers but captures finer information. These generalized Lyubeznik numbers are defined in terms of D-modules and are proved well defined using a generalization of the classical version of Kashiwara’s equivalence for smooth varieties; we also give a definition for finitely generated K-algebras. These new invariants are indicators of F-singularities in characteristic p > 0 and have close connections with characteristic cycle multiplicities in characteristic zero. We characterize the generalized Lyubeznik numbers associated to monomial ideals and compute examples of those associated to determinantal ideals.

We deal with aspects of direct and inverse problems in parameterized Picard–Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) $G$ is a PPV Galois group over these fields if and only if $G$ contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs $G$, including unipotent groups, $G$ is such a group if and only if it has differential type $0$. We give a procedure to determine if a parameterized linear differential equation has a PPV Galois group in this class and show how one can calculate the PPV Galois group of a parameterized linear differential equation if its Galois group has differential type $0$.

Linear differential algebraic groups (LDAGs) measure differential algebraic dependencies among solutions of linear differential and difference equations with parameters, for which LDAGs are Galois groups. Differential representation theory is a key to developing algorithms computing these groups. In the rational representation theory of algebraic groups, one starts with and tori to develop the rest of the theory. In this paper, we give an explicit description of differential representations of tori and differential extensions of irreducible representation of . In these extensions, the two irreducible representations can be non-isomorphic. This is in contrast to differential representations of tori, which turn out to be direct sums of isotypic representations.

We describe a noncommutative deformation theory for presheaves and sheaves of modules that generalizes the commutative deformation theory of these global algebraic structures and the noncommutative deformation theory of modules over algebras due to Laudal.

In the first part of the paper, we describe a noncommutative deformation functor for presheaves of modules on a small category and an obstruction theory for this functor in terms of global Hochschild cohomology. An important feature of this obstruction theory is that it can be computed in concrete terms in many interesting cases.

In the last part of the paper, we describe a noncommutative deformation functor for quasi-coherent sheaves of modules on a ringed space $\left( X,\,\mathcal{A} \right)$. We show that for any good $\mathcal{A}$-affine open cover $\cup$ of $X$, the forgetful functor $\text{QCoh}\mathcal{A}\,\to \,\text{PreSh}\left( \cup ,\,\mathcal{A} \right)$ induces an isomorphism of noncommutative deformation functors.

Applications. We consider noncommutative deformations of quasi-coherent $\mathcal{A}$-modules on $X$ when $\left( X,\,\mathcal{A} \right)\,=\,\left( X,\,{{\mathcal{O}}_{X}} \right)$ is a scheme or $\left( X,\,\mathcal{A} \right)\,=\,\left( X,\,\mathcal{D} \right)$ is a $\text{D}$-scheme in the sense of Beilinson and Bernstein. In these cases, we may use any open affine cover of $X$ closed under finite intersections to compute noncommutative deformations in concrete terms using presheaf methods. We compute the noncommutative deformations of the left ${{\mathcal{D}}_{X}}$-module ${{\mathcal{D}}_{X}}$ when $X$ is an elliptic curve as an example.

We give new examples of affine sufaces whose rings of coordinates are d-simple and use these examples to construct simple nonholonomic D-modules over these surfaces.

We show that the spherical subalgebra $U_{k,c}$ of the rational Cherednik algebra associated to $S_n C_{\ell}$, the wreath product of the symmetric group and the cyclic group of order $\ell$, is isomorphic to a quotient of the ring of invariant differential operators on a space of representations of the cyclic quiver of size $\ell$. This confirms a version of [5Conjecture 11.22] in the case of cyclic groups. The proof is a straightforward application of work of Oblomkov [12] on the deformed Harish–Chandra homomorphism, and of Crawley–Boevey, [3] and [4], and Gan and Ginzburg [7] on preprojective algebras.

We prove that holonomic arithmetical ${\mathcal{D}}$-modules over curves have finite fibers. We also define L-functions associated with arithmetical ${\mathcal{D}}$-modules and, when the scheme is a curve, we show a cohomological formula. Furthermore, we prove that F-isocrystals over curves are holonomic.

We prove that if the order-one differential operator $S=\partial_1 + \sum_{i=2}^{n} \beta_i\partial_i + \gamma$, with $\beta_i,\gamma \in K[x_1,\ldots,x_n]$, generates a maximal left ideal of the Weyl algebra $A_n(K)$, then $S$ does not admit any Darboux differential operator in $K[x_1,\ldots,x_n]\langle \partial_2,\ldots,\partial_n\rangle $; hence in particular, the derivation $\partial_1 + \sum_{i=2}^{n} \beta_i\partial_i$ does not admit any Darboux polynomial in $K[x_1,\ldots,x_n]$. We show that the converse is true when $\beta_i \in K[x_1,x_i]$, for every $i=2,\ldots,n$. Then, we generalize to $K[x_1,\ldots,x_n]$ the classical result of Shamsuddin that characterizes the simple linear derivations of $K[x_1,x_2]$. Finally, we establish a criterion for the left ideal generated by $S$ in $A_n(K)$ to be maximal in terms of the existence of polynomial solutions of a finite system of differential polynomial equations.

We prove Pursell–Shanks type results for the Lie algebra $\mathcal{D}(M)$ of all linear differential operators of a smooth manifold M, for its Lie subalgebra $\mathcal{D}^1(M)$ of all linear first-order differential operators of M and for the Poisson algebra S(M) = Pol(T*M) of all polynomial functions on T*M, the symbols of the operators in $\mathcal{D}(M)$. Chiefly, however, we provide explicit formulas completely describing the automorphisms of the Lie algebras $\mathcal{D}^1(M)$, S(M) and $\mathcal{D}(M)$.

We give an elementary proof of the function field (or geometric) case of the Mordell–Lang conjecture in characteristic zero.

The behaviour of the Hasse-Schmidt algebra of higher derivations under localization is studied using André cohomology. Elementary techniques are used to describe the Hasse-Schmidt derivations on certain monomial rings in the nonmodular case. The localization conjecture is then verified for all monomial rings.