SIMPLICITY CRITERIA FOR RINGS OF DIFFERENTIAL OPERATORS

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.

Higher symmetries of powers of the Laplacian and rings of differential operators

We study the interplay between the minimal representations of the orthogonal Lie algebra $\mathfrak{g}=\mathfrak{so}(n+2,\mathbb{C})$ and the algebra of symmetries$\mathscr{S}(\Box ^{r})$ of powers of the Laplacian $\Box$ on $\mathbb{C}^{n}$. The connection is made through the construction of a highest-weight representation of $\mathfrak{g}$ via the ring of differential operators ${\mathcal{D}}(X)$ on the singular scheme $X=(\mathtt{F}^{r}=0)\subset \mathbb{C}^{n}$, for $\mathtt{F}=\sum _{j=1}^{n}X_{i}^{2}\in \mathbb{C}[X_{1},\ldots ,X_{n}]$. In particular, we prove that $U(\mathfrak{g})/K_{r}\cong \mathscr{S}(\Box ^{r})\cong {\mathcal{D}}(X)$ for a certain primitive ideal $K_{r}$. Interestingly, if (and only if) $n$ is even with $r\geqslant n/2$, then both $\mathscr{S}(\Box ^{r})$ and its natural module ${\mathcal{A}}=\mathbb{C}[\unicode[STIX]{x2202}/\unicode[STIX]{x2202}X_{n},\ldots ,\unicode[STIX]{x2202}/\unicode[STIX]{x2202}X_{n}]/(\Box ^{r})$ have a finite-dimensional factor. The same holds for the ${\mathcal{D}}(X)$-module ${\mathcal{O}}(X)$. We also study higher-dimensional analogues $M_{r}=\{x\in A:\Box ^{r}(x)=0\}$ of the module of harmonic elements in $A=\mathbb{C}[X_{1},\ldots ,X_{n}]$ and of the space of ‘harmonic densities’. In both cases we obtain a minimal $\mathfrak{g}$-representation that is closely related to the $\mathfrak{g}$-modules ${\mathcal{O}}(X)$ and ${\mathcal{A}}$. Essentially all these results have real analogues, with the Laplacian replaced by the d’Alembertian $\Box _{p}$ on the pseudo-Euclidean space $\mathbb{R}^{p,q}$ and with $\mathfrak{g}$ replaced by the real Lie algebra $\mathfrak{so}(p+1,q+1)$.

LOCALLY ANALYTIC REPRESENTATIONS OF VIA SEMISTABLE MODELS OF

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.