## Localizability of differential operators a la Grothendieck

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Hello,

Maybe this question is trivial, so sorry

Let $A$ be a (comm. with 1) $k$-algebra, where $k$ is a ring (comm. with 1).

Then we can define the module of differential operators $D^{\leq n} (A)$, a submodule of $End_k (A,A)$ (endomorphisms of vector spaces). $D^{\leq -1} = 0$, and then inductively $D^{\leq n} = { d | [d,a]\in D^{\leq n-1}}$.

We have a lemma:

Lemma. Let $f \in A$. Then for every $d \in D^{\leq n}(A)$ we can find unique $e \in D^{\leq n}(A_f )$, such that $l\circ d = e \circ l$, where $l: A \to A_f$ is the localization map.

I think that I know how to prove the lemma, by induction on the order of diff. op. (just need to see how to apply operators to fractions). It gives us a map $D^{\leq n}(A) \to D^{\leq n}(A_f)$.

Question 1. Under which assumptions on $A/k$ this map $D^{\leq n}(A) \to D^{\leq n}(A_f)$ is a localization map (i.e. becomes an isomorphism after tensoring (say on the left, it does not matter) with $A_f$)?

Question 2 (my real question). If $A/k$ is finitely generated, or finitely presented, is this a localization map?

Somehow, I am having trouble with the "surjectivness" part. Maybe there is some reference?

Thank you, Sasha

-

1
Take a look at EGA IV, section 16 and in particular 16.8.3. (Trivial aside $D^{\le n}(A)$ isn't a ring, but the union is.) – Donu Arapura Nov 23 2011 at 18:44
Thanks very much, I'll look there. – Sasha Nov 25 2011 at 14:56

## 1 Answer

Two observations (with $k$ a field of characteristic zero):

• If $A$ is a domain over a field $k$, then elements of $D(A)$ extend to elements of $D(A_S)$ for all multiplicatively closed sets $S$.

• Your questions become easier if you ask instead about the subalgebra $\Delta(A)$ of $D(A)$ generated by $A$ and derivations: then the answer is yes to your two questions. Now, if $A$ is finitely generated and regular, then $D(A)=\Delta(A)$, so in this case the answer is yes for $D(A)$ too.

You'll find this in the last chapter of McConnell and Robson's book on noetherian rings.

(Finally, $D^{\leq n}(A)$ is an $A$-bimodule which is not symmetric, so tensoring with $A_f$ on one side or the other is not the same thing)

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 33, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8999797105789185, "perplexity_flag": "head"}