论文部分内容阅读
In the study of the holonomic modules over D_n(■_n) and ■p, it is claimed and used that gr(D_n)(gr(■_n)) and gr(■p) are regular Noetherian rings with pure dimension 2n, where D_n is the stalk of the sheaf of differential operators withholomorphic coeffici