Related papers: Symmetry on rings of differential operators

Let ${\cal D}^k$ be the space of $k$-th order linear differential operators on ${\bf R}$: $A=a_k(x)\frac{d^k}{dx^k}+\cdots+a_0(x)$. We study a natural 1-parameter family of $\Diff(\bf R)$- (and $\Vect(\bf R)$)-modules on ${\cal D}^k$. (To…

Let $R$ be a regular domain containing a field $K$ of characteristic zero and let $D$ be the ring of $K$-linear differential operators on $R$. Let $E$ be an injective left $D$-module. We ask the question, when is $E$ injective as a…

We consider the following question: When are rings of differential operators coherent? If $A$ is a finitely generated smooth domain over a field $k$ of characteristic $0$, then the ring $D$ of differential operators on $A$ is a Noetherian…

Let $k$ be a commutative ring and $A$ a commutative $k$-algebra. In this paper we introduce the notion of enveloping algebra of Hasse--Schmidt derivations of $A$ over $k$ and we prove that, under suitable smoothness hypotheses, the…

Let $k$ be an algebraically closed field of characteristic zero, let $X$ and $Y$ be smooth irreducible algebraic curves over $k$, and let $D(X)$ and $D(Y)$ denote respectively the quotient division rings of the ring of differential…

Let $k$ be an arbitrary field. We construct examples of regular local $k$-algebras $R$ (of positive dimension) for which the ring of differential operators $D_k(R)$ is trivial in the sense that it contains {\it no} operators of positive…

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…

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…

Let $(R, \mf, k_R)$ be regular local $k$-algebra satisfying the weak Jacobian criterion, such that $k_R/k$ is an algebraic field extension. Let $D_R$ be the ring of $k$-linear differential operators of $R$. We give an explicit decomposition…

We determine the rings of invariants in the symmetric algebra on the dual of a vector space V over the field of two elements, for the group G of orthogonal transformations preserving a non-singular quadratic form on V. The invariant ring is…

Let R be a Stanley-Reisner ring (that is, a reduced monomial ring) with coefficients in a domain k, and K its associated simplicial complex. Also let D_k(R) be the ring of k-linear differential operators on R. We give two different…

Let $k$ be a field, let $R$ be a commutative ring, and assume the exponential characteristic of $k$ is invertible in $R$. In this note, we prove that isomorphisms in Voevodsky's triangulated category of motives $\mathcal{DM}(k;R)$ are…

We study linear ordinary differential equations which are analytically parametrized on Hermitian symmetric spaces and invariant under the action of symplectic groups. They are generalizations of the classical Lam\'e equation. Our main…

Let $(A,\mathfrak{m})$ be a complete equicharacteristic Noetherian domain of dimension $d + 1 \geq 2$. Assume $k = A/\mathfrak{m}$ has characteristic zero and that $A$ is not a regular local ring. Let $Sing(A)$ the singular locus of $A$ be…

Let $R$ be a commutative noetherian ring. The $n$-semidualizing modules of $R$ are generalizations of its semidualizing modules. We will prove some basic properties of $n$-semidualizing modules. Our main result and example shows that the…

Let $\mathbb{F}_q$ be the field of $q$ elements and let $A=\mathbb{F}_q[t]$ be the polynomial ring over $\mathbb{F}_q$. Let $\mathfrak{n}\in A\setminus \mathbb{F}_q$ be a monic polynomial with a prime factor of degree prime to $q-1$. Let…

We introduce a procedure based on computational algebraic geometry to determine whether two algebras are isomorphic. We then apply it to show that if $R$ is a commutative unital ring in which $2$ is not invertible, $G$ is a group of order…

Let ${\cal F}\_\lambda(S^1)$ be the space of tensor densities of degree (or weight) $\lambda$ on the circle $S^1$. The space ${\cal D}^k\_{\lambda,\mu}(S^1)$ of $k$-th order linear differential operators from ${\cal F}\_\lambda(S^1)$ to…

Let \Y be a derived algebraic stack satisfying some mild conditions. The purpose of this paper is three-fold. First, we introduce and study H(\Y), a monoidal DG category that might be regarded as a categorification of the ring of…

By reading a standard formula for the ring of Grothendieck differential operators in a derived way, we construct a derived (sheaf of) ring of Grothendieck differential operators for Noetherian schemes $X$ separated and finite-type over a…