Related papers: Arithmetic structures for differential operators o…

Let A denote the ring of differential operators on the affine line with its two usual generators t and d/dt given degrees +1 and -1 respectively. Let X be the stack having coarse moduli space the affine line Spec k[z] and isotropy groups…

Let X be a smooth compact manifold with boundary. For smooth foliations on the boundary of X admitting a `resolution' in terms of a fibration, we construct a pseudodifferential calculus generalizing the fibred cusp calculus of Mazzeo and…

We first establish some general results connecting real and complex Lie algebras of first-order differential operators. These are applied to completely classify all finite-dimensional real Lie algebras of first-order differential operators…

For a commutative ring $R$, we define the notions of deformed Picard algebroids and deformed twisted differential operators on a smooth, separated, locally of finite type $R$-scheme and prove these are in a natural bijection. We then define…

This paper has two main parts. First, we construct certain differential operators, which generalize operators studied by G. Shimura. Then, as an application of some of these differential operators, we construct certain p-adic families of…

We describe a topological predual to differential forms constructed as an inductive limit of a sequence of Banach spaces. This subspace of currents has nice properties, in that Dirac chains and polyhedral chains are dense, and its operator…

A construction of the tangent dg Lie algebra of a sheaf of operad algebras on a site is presented. The requirements on the site are very mild; the requirements on the algebra are more substantial. A few applications including the…

We define a class of discrete operators acting on infinite, finite or periodic sequences mimicking the standard properties of pseudo-differential operators. In particular we can define the notion of order and regularity, and we recover the…

For a formal scheme $\mathfrak{X}$ of finite type over a complete rank one valuation ring, we construct a specialization morphism \[ \pi^{\rm dJ}_1(\mathfrak{X}_\eta) \to \pi^{\rm proet}_1(\mathfrak{X}_k) \] from the de Jong fundamental…

We investigate the structure of the ring ${\mathbb D}_G(X)$ of $G$-invariant differential operators on a reductive spherical homogeneous space $X=G/H$ with an overgroup $\widetilde{G}$. We consider three natural subalgebras of ${\mathbb…

Real blow-ups and more refined "zooms" play a key role in the analysis of singularities of complex-analytic differential modules. They do not change the underlying topology, but the uniform structure. This suggests to revisit the cohomology…

In this paper we study the vertex operator algebra $\mathscr D^{\text{ch}}(\mathbb H,\Gamma)$ constructed from the fixed points of the chiral differential operators on the upper half plane which is holomorphic at all the cusps, under the…

We obtain a global resolution for the sheaf of differential operators on smooth geometric quotients of free linear actions of algebraic groups. The terms of our resolution involve symmetric and alternating powers of vector bundles easily…

We develop a theory of derived rigid spaces and quasi-coherent sheaves and analytic "stratifications" on them. Amongst other things, we obtain a six-functor formalism for these quasi-coherent sheaves and analytic stratifications. We provide…

Let $R$ be a commutative ring: we explain the Beilinson-Bernstein localisation mechanism for sheaves of homogeneous twisted differential operators defined over a smooth, separated, locally of finite type $R$-scheme. As an application, we…

Let $C$ be an arrangement of affine hyperplanes in a complex affine space $X$, $D$ the ring of algebraic differential operators on $X$. We define a category of quivers associated with $C$. A quiver is a collection of vector spaces, attached…

We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…

The existing constructions of derived Lie and sh-Lie brackets involve multilinear maps that are used to define higher order differential operators. In this paper, we prove the equivalence of three different definitions of higher order…

Let $\mathcal{V}$ be a complete discrete valuation ring of unequal characteristic with perfect residue field, $u\colon \mathcal{Z} \hookrightarrow \mathfrak{X}$ be a closed immersion of smooth, quasi-compact, separated formal schemes over…

We prove that a usual differential operator is formally the limit of quantum differential operators. For this purpose, we introduce the notion of twisted differential operator of infinite level and prove that, formally, such an object is…