Using the harmonic theory developed by Takegoshi for representation of relative cohomology and the framework of computation of curvature of direct image bundles by Berndtsson, we prove that the higher direct images by a smooth morphism of the relative canonical bundle twisted by a semi-positive vector bundle are locally free and semi-positively curved, when endowed with a suitable Hodge type metric.
Ce travail s’inscrit dans le cadre de la théorie des -modules arithmétiques de Berthelot. Nous définissons la notion de -modules arithmétiques holonomes. Lorsque les modules sont munis d’une structure de Frobenius, nous retrouvons la définition d’holonomie de Berthelot. Nous vérifions que l’inégalité de Bernstein et le critère homologique d’holonomie de Virrion restent valables sans l’hypothèse d’une structure de Frobenius. Nous établissons qu’un -module surcohérent (sans structure de Frobenius)...
Homology with values in a connection with possibly irregular singular points on an algebraic curve is defined, generalizing homology with values in the underlying local system for a connection with regular singular points. Integration defines a perfect pairing between de Rham cohomology with values in the connection and homology with values in the dual connection.
Cet article a pour but de calculer les coefficients du caractère du produit alterné des déterminants des connexions de Gauss–Manin associées à une famille de polynômes sur . Nous généralisons et précisons certains résultats de T. Terasoma (Inv. Math., 1992). L’idée de ce travail est de considérer la structure mixte donnée par l’action des translations entières sur les exposants sur le déterminant de l’image directe de et celle de -module.
L’objectif dans ce travail est de présenter une généralisation pour l’obstruction d’Euler locale d’une fonction holomorphe singulière à l’origine dans le cas d’une application holomorphe , où est un germe de variété analytique complexe, équidimensionnel de dimension . Le résultat principal (Théorème 6.1) exprime l’obstruction d’Euler locale, définie pour un -repère par Brasselet, Seade, Suwa, en fonction de l’obstruction d’Euler relative à .