
D.6.10 gmspoly_lib
 Library:
 gmspoly.lib
 Purpose:
 GaussManin System of Tame Polynomials
 Author:
 Mathias Schulze, mschulze at mathematik.unikl.de
 Overview:
 A library for computing the GaussManin system of a cohomologically tame
polynomial f. Schulze's algorithm [Sch05], based on Sabbah's theory [Sab98],
is used to compute a good basis of (the Brieskorn lattice of) the GaussManin system and the differential operation of f in terms of this basis.
In addition, there is a test for tameness in the sense of Broughton.
Tame polynomials can be considered as an affine algebraic analogue of local
analytic isolated hypersurface singularities. They have only finitely many
citical points, and those at infinity do not give rise to atypical values
in a sense depending on the precise notion of tameness considered. Wellknown
notions of tameness like tameness, Mtameness, Malgrangetameness, and
cohomological tameness, and their relations, are reviewed in [Sab98,8].
For ordinary tameness, see Broughton [Bro88,3].
Sabbah [Sab98] showed that the GaussManin system, the Dmodule direct image
of the structure sheaf, of a cohomologically tame polynomial carries a
similar structure as in the isolated singularity case, coming from a Mixed
Hodge structure on the cohomology of the Milnor (typical) fibre (see
gmssing.lib). The data computed by this library encodes the differential structure of the GaussManin system, and the Mixed Hodge structure of the Milnor fibre over the complex numbers. As a consequence, it yields the Hodge numbers, spectral pairs, and monodromy at infinity.
 References:
 [Bro88] S. Broughton: Milnor numbers and the topology of polynomial
hypersurfaces. Inv. Math. 92 (1988) 217241.
[Sab98] C. Sabbah: Hypergeometric periods for a tame polynomial.
arXiv.org math.AG/9805077.
[Sch05] M. Schulze: Good bases for tame polynomials.
J. Symb. Comp. 39,1 (2005), 103126.
Procedures:
See also:
gmssing_lib.
