Double-points of compositions.
Let X be a separated scheme of finite type on a field k, the characteristic of k being assumed not equal to 2. We construct a duality for complexes of sheaves of Ox modules with maps differential operators of order ≤ 1. This theory is an extension of the theory built by R. Hartshorne for complexes with linear maps.
Soit une variété analytique complexe lisse et un diviseur libre. Les connexions logarithmiques intégrables par rapport à peuvent être étudiées comme des -modules localement libres munis d’une structure de module (à gauche) sur l’anneau des opérateurs différentiels logarithmiques . Dans cet article nous étudions deux résultats liés : la relation entre les duaux d’une connexion logarithmique intégrable sur les anneaux de base et , et un critère différentiel pour le théorème de comparaison...
In this paper the equality is established of three different pairings between the first de Rham cohomology group of an abelian scheme over a base flat over and that of its dual. These pairings have appeared and been used either explicitly or implicitly in the literature.In the last section we deduce a generalization to arbitrary characteristic of Serre’s formula for the Poincaré pairing on the first de Rham cohomology group of a curve over a field of characteristic zero.