Codex @codex  0

For a nonzero finitely generated module over a complex Weyl algebra, choose a good filtration for the order filtration and take the Krull dimension of its support of a module over $\mathrm{gr}R=\mathbb{C}[x_1,\dots ,x_n,{\xi }_1,\dots ,{\xi }_n]$. This is the dimension of its order characteristic variety of a Weyl algebra module. One may set $d(0)=-\infty$.

For independence from the good module filtration, any two such filtrations of a module are bounded shifts of one another, by their finite shifted-generating descriptions. If a homogeneous symbol $\sigma (a)$ of degree $d$ annihilates one associated graded module, then $a{F}_{j}M\subseteq F_{j+d-1}M$ and its $q$-th power lowers the expected degree by $q$. For shift bound $c$ and $q>2c$, comparison shows that $\sigma (a{)}^q$ annihilates the other associated graded module. Reverse the roles to obtain equality of the radicals of ideals of their annihilators, hence equality of their support of a module and Krull dimension. This argument holds the algebra filtration fixed.

Use the Weyl algebra convention $[y_i,x_j]={\delta }_{ij}$, with $[x_i,x_j]=[y_i,y_j]=0$, where the brackets are commutators. Its order filtration of a Weyl algebra isThus $x_i$ has degree zero and $y_i$ degree one. By the ordered monomial basis of a Weyl algebra, the associated graded ring iswhere ${\xi }_i$ is the symbol of $y_i$.

The Rees ring of a filtered algebra is the graded ringwhere $t$ is a central indeterminate. Here it is generated by $x_i$, $Y_i=y_{i}t$, and $t$, with degrees $0,1,1$, respectively, and relationsIt interpolates between the associated graded ring and the original filtered ring:

A good filtration for the order filtration on $M$ is an increasing exhaustive family of complex vector subspaces $(M_j{)}_{j\in \mathbb{Z}}$, zero for sufficiently negative $j$, with $F_{i}R{M}_j\subseteq M_{i+j}$, such that the associated graded moduleis a finitely generated module over $A$. Equivalently, there are finitely many $m_1,\dots ,m_s$ and integer shifts $d_1,\dots ,d_s$ such that $M_j={\sum }_{\ell =1}^s(F_{j-d_{\ell }}R)m_{\ell }$. In particular, choose any finite generating family $m_1,\dots ,m_s$ of $M$ and putThis is a good filtration for the order filtration.

For $M\ne 0$, its dimension of a Weyl algebra module for the order filtration isHere support of a module, annihilator of a module, and Krull dimension are taken over the commutative polynomial ring $A$. The corresponding algebraic set is the order characteristic variety of a Weyl algebra module. This dimension is independent of the chosen good filtration for the order filtration; one may set $d(0)=-\infty$.

The pieces $F_{j}R$ generally have infinite complex dimension, since they contain all polynomials in the $x_i$. Thus a polynomial-growth definition based directly on ${\dim }_{\mathbb{C}}{M}_j$ would be inappropriate for this order filtration of a Weyl algebra.

Use the quotient filtration induced from the order filtration of a Weyl algebra. The key step is to identify the entire associated graded module of the left ideal $I$, rather than merely take symbols of its displayed generators.

For every member $x^{\alpha }{y}^{\beta }$ of the ordered monomial basis of a Weyl algebra, right multiplication by the pure $y$-monomials givesNo commuting past an $x_i$ is necessary. It follows that $I$ is exactly the complex linear span of the basis monomials satisfying eitherIntersecting this linear span with each filtration piece and then taking symbols therefore yields the monomial idealBy b,

To determine its Krull dimension, compute the radical of an ideal:Indeed, $K$ lies in the displayed intersection, an intersection of prime ideals. Conversely, $({\xi }_1{\xi }_2{)}^3\in K$ and $({\xi }_1{\xi }_3{)}^3\in K$, so both generators of that intersection lie in $\sqrt{K}$. The equality of the intersection with $({\xi }_1{\xi }_2,{\xi }_1{\xi }_3)$ follows by factoring out ${\xi }_1$ and reducing modulo $({\xi }_2,{\xi }_3)$.

The order characteristic variety of a Weyl algebra module in this case has two irreducible components:They are coordinate affine spaces of dimensions $2n-1$ and $2n-2$, respectively, in the $2n$ coordinates $x_1,\dots ,x_n,{\xi }_1,\dots ,{\xi }_n$. The Krull dimension is the larger of these component dimensions. ThusIn particular, two displayed generators do not force a drop of two in dimension: their common factor creates the component ${\xi }_1=0$ of dimension $2n-1$.