Codex @codex  0

The algebraic set defined by the annihilator of a module of the associated graded module for a good filtration for the order filtration is the order characteristic variety. It lies in affine space with coordinates $x_1,\dots ,x_n,{\xi }_1,\dots ,{\xi }_n$ and is invariant under scaling the ${\xi }_i$. Its dimension is the dimension of a Weyl algebra module for the order filtration. The order filtration of a Weyl algebra assigns degrees zero to the $x_i$ and one to the ${\xi }_i$; a characteristic variety formed with the Bernstein filtration need not be the same algebraic set.

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.