Related papers: Witt Differential Operators
Differential chains are a proper subspace of de Rham currents given as an inductive limit of Banach spaces endowed with a geometrically defined strong topology. Boundary is a continuous operator, as are operators that dualize to Hodge star,…
For a scheme $X$ defined over the length $2$ $p$-typical Witt vectors $W_2(k)$ of a characteristic $p$ field, we introduce total $p$-differentials which interpolate between Frobenius-twisted differentials and Buium's $p$-differentials. They…
Let M be a manifold, possibly with boundary. We show that the deRham differential from k-forms to exact (k+1)-forms has a continuous right inverse when both spaces are given the weak Whitney topology. This antidifferential operator is given…
On conformal manifolds of even dimension $n\geq 4$ we construct a family of new conformally invariant differential complexes. Each bundle in each of these complexes appears either in the de Rham complex or in its dual. Each of the new…
Given a finite subgroup $W \subset \GL(\fh)$ of the linear group of a finite-dimensional complex vector field $\fh$, it is a well-studied problem to describe the structure of the symmetric algebra $B= \sym(\fh^*)$ as a representation of…
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…
Given a Noetherian formal scheme $\hat X$ over ${\rm Spf}(R)$, where $R$ is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of $\hat{X}$. Using this we construct a specialization functor from…
In this paper we study the decomposition of the direct image of $\pi_+(\Oc_{X})$ the polynomial ring $\Oc_X$ as a $\D$-module, under the map $\pi: \spec \Oc_{X} \to \spec \Oc_{X}^{G(r,n)}$, where $\Oc_{X}^{G(r,n)}$ is the ring of invariant…
We construct a cofibrantly generated model structure on the category of differential non-negatively graded quasi-coherent commutative $D_X$-algebras, where $D_X$ is the sheaf of differential operators of a smooth afine algebraic variety X.…
We introduce and study invariant differential operators acting on the space $\mathcal{H}(\Omega)$ of holomorphic functions on the complement ${\Omega=\{(z,w) \in \hat{\mathbb{C}}^2 \, : \, z\cdot w \not=1\}}$ of the "complexified unit…
We construct an algebra of pseudodifferential operators on each groupoid in a class that generalizes differentiable groupoids to allow manifolds with corners. We show that this construction encompasses many examples. The subalgebra of…
Vertex operators, being families of birational transformations of infinite-dimensional algebraic ``varieties'' M, act on appropriate line bundles on M. However, they act on (meromorphic) sections only as_partial operators_: they are defined…
For a variety $X$ separated over a perfect field of characteristic $p>0$ which admits an embedding into a smooth variety, we establish an anti-equivalence between the bounded derived categories of Cartier crystals on $X$ and constructible…
We determine necessary and sufficient conditions on the ring of differential operators of a finite purely inseparable field extension of positive characteristic for determining whether the extension is modular.
Let R be a polynomial ring and M a finitely generated graded R-module of maximal grade (which means that the ideal I_t(\cA) generated by the maximal minors of a homogeneous presentation matrix, \cA, of M has maximal codimension in R).…
Given a smooth proper morphism $f\colon X\rightarrow S$, we introduce a certain derived category where morphisms are permitted to be $\mathcal{O}_S$-linear differential operators. We then prove a generalisation of Serre duality that applies…
We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the motivic ring spectrum $H_{dR}$ representing algebraic de Rham…
If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if $\sD_X$ is the sheaf of differential operators on $X$ [EGAIV], it is well known that giving an action of $\sD_X$ on an $\sO_X$-module $\sE$ is equivalent to giving…
For an arbitrary Riemannian manifold $X$ and Hermitian vector bundles $E$ and $F$ over $X$ we define the notion of the normal symbol of a pseudodifferential operator $P$ from $E$ to $F$. The normal symbol of $P$ is a certain smooth function…
We introduce the notion of a poset scheme and study the categories of quasi-coherent sheaves on such spaces. We then show that smooth poset schemes may be used to obtain categorical resolutions of singularities for usual singular schemes.…