On the determinant of Gauss-Manin connections and hypergeometric functions of hypersurfaces (Q2366461): Difference between revisions

After Gauss, hypergeometric functions were studied by many mathematicians. Recently they are studied and generalized by \textit{K. Aomoto} [J. Fac. Sci., Univ. Tokyo, Sect. IA 22, 271-297 (1975; Zbl 0339.35021)]\ and \textit{I. M. Gel'fand}, \textit{A. V. Zelevinskij} and \textit{M. M. Kapranov} [Funkts. Anal. Appl. 23, No. 2, 94-106 (1989); translation from Funkts. Anal. Prilozh. 23, No. 2, 12-26 (1989; Zbl 0787.33012)]. These hypergeometric functions are expressed as integrals of complex powers of rational functions on varieties. They reflect a geometry of configurations of poles and zeros of these rational functions. These integrals regarded as functions on the space of configurations satisfy a regular holonomic system. In this paper, we are interested in generalized hypergeometric functions and their determinant structure. We explain briefly the contents of this paper. First two sections are considered in the purely algebraic category. The first section is devoted to the definition of the determinants for modules with connections. In this section, we define the determinant of a connection for a finitely generated module or more generally for a perfect complex with a connection. In this section, we also define the notion of quasi- isomorphism. A quasi-isomorphism is not assumed to be compatible with connections but it is assumed to induce the isomorphism as modules with connections on their cohomologies. We prove the proper base change theorem for the determinants of modules with connections in this section. In section 2, we apply them to the geometric situation. The first main theorem is the linearity theorem (theorem 2.2.1) for the determinants of Gauss-Manin connections with indeterminate residue. By this theorem, the character of the Gauss-Manin connection comes to be a linear form on the residue of the logarithmic connection. The coefficients of this linear form satisfy an inductive relation by using the proper base change theorem. We apply the theorem of linearity to a more analytic situation in section 3. In this section we define hypergeometric functions for relative divisors. By the theorem of linearity, the determinant of hypergeometric function is expressed as a product of (analytic) Kummer characters and a function of the residue. These Kummer characters relate to the leading coefficients of the characters of the determinant of the Gauss-Manin connection obtained in theorem 2.2.1. The last two sections are spent to obtain this Kummer character for configurations of hyperplane sections on hypersurfaces. In section 4, we construct a base of hypergeometric functions. To obtain a base, we use three basic relations for differential forms. In the last section, we treat the case where the number of the hyperplane sections is equal to the dimension of the hypersurfaces plus two. The main theorem is theorem 5.2.3. In this case the factor of the determinant which depends on the residue of the connection is expressed by Gamma functions explicitly.