Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Jim Stasheff asks whether we have an entry for $\mathcal{D}$-algebra, some kind of $\mathcal{D}$-module.
I see Paugam speaks of them in his contribution to Urs and Sati’s book.
we define the category of D-algebras, that solves the mathematical problem of finding a natural setting for a coordinate free study of polynomial non-linear partial differential equations with smooth superfunction coefficients.
one can extend the jet functor to the category of smooth D-algebras (and even to smooth super-algebras), to extend the forthcoming results to the study of nonpolynomial smooth partial differential equations.
Surely this will have much to do with your current interest, Urs, in jet comonads.
So a $\mathcal{D}$-algebra is
an algebra in $(Mod(\mathcal{D}), \bigotimes_{\mathcal{O}})$
Yes, so these are just the function algebras of the $\mathcal{D}$-schemes over the de Rham stack $\Im \Sigma$ of the given base scheme $\Sigma$:
$\mathcal{D}$-modules are just the quasicoherent sheaves over $\Im \Sigma$. By the comonadic $\mathrm{PDE}_\Sigma \simeq \mathbf{H}_{/\Im \Sigma}$ a space over $\Im \Sigma$ is equivalently a differential equation, and in terms of algebraic geometry such a space, when affine, is an algebra in the modules over $\Im \Sigma$, hence is a $\mathcal{D}$-algebra.
I’ll sling these comments into a stub for D-algebra.
1 to 3 of 3