Questions tagged [d-modules]

This tag is for questions relating to -Modules.

The origin of -modules is in the work of the Japanese school of Mikio Sato in the mid-twentieth century on algebraic analysis. The aim of this program was to understand systems of linear partial differential equations on manifolds, and their generalizations, using the techniques of algebraic geometry and sheaf theory.

A -module on an (algebraic or complex analytic) variety X is the notion generalising the one of finite rank vector bundles with flat connection.

The theory of algebraic -modules provides a bridge from algebra to analysis and topology. It can be regarded as "mildly non-commutative algebra" in the sense that it is obtained by extending the methods of commutative algebra to non-commutative rings (or rather sheaves of rings) of algebraic differential operators on complex varieties. As such it gives a substitute in algebraic geometry for the theory of linear partial differential equations.

For more details see

https://en.wikipedia.org/wiki/D-module

https://www.encyclopediaofmath.org/index.php/D-module

76 questions
2
votes
1 answer

A question regarding an application of the Seidenberg-Tarski Theorem

I'm reading J. N. Bernstein's Paper; The Analytic Continuation of Generalized Functions With Respect to a Parameter. You can find it here: http://www.math1.tau.ac.il/~bernstei/Publication_list/publication_texts/Bern-a-cont-FAN.pdf In Lemma 4.1 he…
1
vote
1 answer

Why does this identity hold for D-modules?

Consider $\mathbb{C}^n$ with coordinates $x_1,\ldots,x_n$ and let $\partial_1,\ldots,\partial_n$ be the corresponding vector fields. Then the canonical free rank 1 D-module should be $$ \mathbb{C}[x_1,\ldots ,x_n][\partial_1,\ldots,…
54321user
  • 3,223