Algorithms for the Gauss-Manin connection
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\).
- Gauss-Manin connection of hyperelliptic polynomials
- Algorithms in Algebraic Number Theory
- scientific article; zbMATH DE number 194764
- scientific article; zbMATH DE number 778199
- scientific article; zbMATH DE number 1066172
- Algorithms for residues and Łojasiewicz exponents
- An algorithmic approach to Ramanujan-Kolberg identities
- Gauss-Manin connections for arrangements, III Formal connections
- Algorithms for differential equations on manifolds
- ASYMPTOTIC HODGE STRUCTURE IN THE VANISHING COHOMOLOGY
- Caustiques, phase stationnaire et microfonctions
- Equations différentielles à points singuliers réguliers
- Exponents and Newton polyhedra of isolated hypersurface singularities
- Frobenius manifolds and variance of the spectral numbers
- scientific article; zbMATH DE number 3883226 (Why is no real title available?)
- scientific article; zbMATH DE number 3879057 (Why is no real title available?)
- scientific article; zbMATH DE number 193595 (Why is no real title available?)
- scientific article; zbMATH DE number 3580679 (Why is no real title available?)
- Intégrales asymptotiques et monodromie
- Invariants mesurant l'irrégularité en un point singulier des systèmes d'équations différentielles linéaires
- Monodromy of isolated singularities of hypersurfaces
- On the mixed Hodge structure on the cohomology of the Milnor fibre
- Preuve d'une conjecture de Brieskorn
- Singular Points of Complex Hypersurfaces. (AM-61)
- Singularités des systèmes différentiels de Gauss-Manin. Avec des contributions de Lo Kam Chan, Philippe Maisonobe et Jean-Etienne Rombaldi
- On the structure of Brieskorn lattice
- Monodromy of hypersurface singularities
- Computing regular meromorphic differential forms via Saito's logarithmic residues
- A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals
- Stratification associated with local \(b\)-functions
- Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems
- Motivic Milnor fibers and Jordan normal forms of Milnor monodromies
- A normal form algorithm for the Brieskorn lattice
- scientific article; zbMATH DE number 1860715 (Why is no real title available?)
- Formulas for monodromy
This page was built for publication: Algorithms for the Gauss-Manin connection
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5950987)
