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.

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
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
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