<i>G</i>-fonctions et cohomologie des hypersurfaces singulières (Q4354637)

The arithmetic of the differential modules \({\mathcal W}^{(l)}\) \((l\in{\mathbb N}\setminus\{0\})\), associated by Dwork's theory to a homogeneous polynomial \(f(\lambda,X)\) with coefficients in a number field is studied. It is proven that \({\mathcal W}^{(l)}\) is a differential module of the type \(G\), i.e., a module whose solutions are \(G\)-functions. Two cases are distinguished: the regular one and the irregular one. An effective upper bound for the global radius of \({\mathcal W}^{(l)}\), which does not depend on ``\(l\)'' but only on the polynomial \(f(\lambda,X)\) is obtained. It is known that in the regular case there is an isomorphism of differential modules between \({\mathcal W}^{(1)}\) and a certain De Rham cohomology group, endowed with the Gauss--Manin connection, i.e., the module ``comes from geometry''. Therefore, the main result of the paper is a particular case of André's theorem which asserts that at least in the regular case, all modules coming from geometry are of type \(G\). [Part II, see Bull. Aust. Math. Soc. 58, 189-198 (1998)].