Families of minimal involutive surfaces in projective space (Q298034): Difference between revisions

A very important class of \(D\)-modules are the \textit{holonomic} \(D\)-modules, as they have particular relevance in the relation of \(D\)-modules with representation theory, Fuchsian equations, perverse sheaves, etc. A \(D\)-module \(M\) over a variety \(X\) is of this type if its characteristic variety \(\text{char}(M)\subset T^*X\) is of the same dimension as \(X\). \textit{J. Bernstein} and \textit{V. Lunts} [Invent. Math. 94, No. 2, 223--243 (1988; Zbl 0658.32009)], prove that generic hypersurfaces of degree greater than \(3\) in affine space \(\mathbb{A}^4\) (viewed as \(T^*\mathbb{A}^2\)) are characteristic varieties of irreducible \(D\)-modules. This result was important as it gives the first known examples of irreducible non-holonomic \(D\)-modules. The result of Bernstein-Lunts was subsequently generalized to hypersurfaces in \(\mathbb{A}^{2n}\) of degree greater than \(2\) by Lunts and later by McCune. Anyway, the construction of the irreducible non-holonomic \(D\)-module remained somehow non-constructive, as it was not clear how to determine when a particular hypersurface of \(\mathbb{A}^{2n}\) was generic in this sense. The present work comes to clarify this point, as it presents an algorithm to decide whether a given polynomial in \(4\) variables defines a hypersurface such that it induced \(D\)-module will be irreducible non-holonomic. The method relies on a study of the foliation defined by the hamiltonian flow \(\xi_F\) associated to a polynomial \(F\in k[x,y,z,w]\).