Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 345

Modules over rings of differential operators.

5 votes
Accepted

Testing ideal membership in the Weyl algebra: a simple example

Following my nose gave the following argument. Writing $I$ be the left ideal generated by $x\partial^2$ and $x^3$ and using $\cdot$ to stress multiplication we get $$ x^2 \cdot x\partial^2 - \partia …
Simon Wadsley's user avatar
10 votes
Accepted

What kind of algebraic object is $\mathcal{D}_X$? (algebra of diifferential operators). What...

Proposition 1.2.9 of http://math.columbia.edu/~scautis/dmodules/hottaetal.pdf explains that if $M$ and $N$ are both left $D$-modules and $M'$ and $N'$ are both right $D$-modules then (a) $M\otimes_{ …
Simon Wadsley's user avatar
10 votes

Why should the tensor product of $\mathcal{D}_X$-modules over $\mathcal{O}_X$ be a $\mathcal...

One way to think about this is that $D$ is the universal enveloping algebra $U(R,L)$ of the $(k,R)$ Lie-Rinehart algebra $\mathrm{Der}_k(R,R)$. Whenever one has such an enveloping algebra one may perf …
Simon Wadsley's user avatar