A Version of Nullstellensatz for Rings of Dİfferential Operators - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T07:43:24Z http://mathoverflow.net/feeds/question/98286 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/98286/a-version-of-nullstellensatz-for-rings-of-dfferential-operators A Version of Nullstellensatz for Rings of Dİfferential Operators Sonat Suer 2012-05-29T14:39:33Z 2012-05-29T17:25:39Z <p>Here is one of the classical versions of the nullstellensatz: Let $K$ be a field and let $\mathfrak{m}$ be a maximal ideal of the polynomial ring $K[T_1,\ldots,T_n]$. Then $K[T_1,\ldots,T_n]/\mathfrak{m}$ is a finite extension of $K$.</p> <p>I am interested in a noncommutative version of this theorem. To be more precise: Let $K$ be a field and let $\delta_1,\ldots,\delta_n$ be commuting derivations on $K$. Suppose $\mathfrak{m}$ is a maximal left ideal of $K[\delta_1,\ldots,\delta_n]$. Is $K[\delta_1,\ldots,\delta_n]/\mathfrak{m}$ finite dimensional as a vector space over $K$? If not, is there a simple counterexample?</p> <p>This seems like a very natural question to ask but I was unable to find anything relevant in the literature. I also tried to lift the proof of the classical theorem to this setting using the technology of associated graded rings/modules but I could not make it work.</p> http://mathoverflow.net/questions/98286/a-version-of-nullstellensatz-for-rings-of-dfferential-operators/98292#98292 Answer by Thomas Nevins for A Version of Nullstellensatz for Rings of Dİfferential Operators Thomas Nevins 2012-05-29T17:25:39Z 2012-05-29T17:25:39Z <p>I don't think it's true. Namely, Stafford showed ("Non-holonomic modules over Weyl algebras and enveloping algebras," Inventiones Mathematicae, 1985, Volume 79, Number 3, Pages 619-638) that if you choose $\lambda_2, \dots, \lambda_n$ linearly independent over $\mathbb{Q}$ then the element $x_1 + (-\partial_1)\big(\sum_2^{n}\lambda_i x_i(-\partial_i)\big) + \sum_2^{n}(x_i+\partial_i)$ in the $n$th Weyl algebra generates a maximal ideal (this was later vastly generalized by Bernstein-Lunts). If you localize to $K=\mathbb{C}(x_1,\dots, x_n)$, you should still get a maximal cyclic ideal and using induced filtrations on the ideal and the quotient you should be able to see that the quotient has GK dimension $n-1$ (thought of as a module over the localized algebra as a $K$-algebra). </p>