Algorithms for the Gauss-Manin connection (Q5950987)

Let \(f:(\mathbb{C}^{n+1}, 0)\to \mathbb{C}\) be the germ of a holomorphic function defining an isolated hypersurface singularity. On good representatives, one obtains the Milnor fibration \(f:X\to T\), \(T\subset\mathbb{C}\) a disc, \(X_t= f^{-1}(t)\) the fibre. On \(T'=T\setminus \{0\}\) the fibration is \(C^\infty\)-trivial. The cohomology bundle \(H^n= \bigcup_{t\in T'} H^n(X_t, \mathbb{C})\) is a flat vector bundle. Hence, there exists a flat connection on the cohomology bundle, the Gauß-Manin connection.NEWLINENEWLINENEWLINEThe Gauß-Manin connection defines a \({\mathcal D}\)-module \({\mathcal G}\), \({\mathcal D}=\mathbb{C} \{t\} [\partial_t]\), and a \(V\)-filtration defined by \(V^\alpha ({\mathcal G})=\sum_{\alpha \leq\beta} C\{t\} C_\beta \), \(C_\beta= \text{Ker} (t\partial_t- \beta)^{n+1}\). The Brieskorn lattice, \(\Omega^{n+1}_{X,0}/df \wedge d\Omega^{n-1}_{X,0}\), can be embedded in \({\mathcal G}\).NEWLINENEWLINENEWLINEAn algorithm to compute the \(V\)-filtration on the Brieskorn lattice is described. This algorithm is successfully implemented in the computer algebra system singular. Based on the \(V\)-filtration, the spectral map \(sp:\mathbb{Q} \to\mathbb{N}\) is defined by \(sp(a)= \dim_\mathbb{C} Gr^a_V Gr_0^F{\mathcal G}\), \(F\) the Hodge filtration.NEWLINENEWLINENEWLINEThe spectral numbers \(a_1\leq\cdots\leq a_\mu\) are those numbers with \(sp(a)>0\). A conjecture of Hertling gives a bound of their variance. Using the implementation in Singular it is proved to be true for all singularities with Milnor number \(\leq 16\).