Morphismes géométriquement plats et faisceaux dualisants

RésuméSoient n un entier et S un espace complexe réduit de dimension pure finie. Notons E(S,n) (resp. G(S,n)) l'ensemble des morphismes n-équidimensionnels et ouverts avec X dénombrable à l'infini (resp. les morphismes géométriquement plats, c'est-à-dire les élément de E(S,n) muni d'un cycle poids induisant des multiplicités convenables sur les fibres pour en faire une famille analytique de cycles au sens de Barlet). Après avoir montré que tout élément π de E(S,n) porte naturellement un faisceau OX-cohérent possédant bon nombre de propriétés fonctorielles, nous établissons le résultat principal de cette Note disant que π appartient à G(S,n) si et seulement si il existe un morphisme canonique stable par changement de bases entre espaces complexes réduits, vérifiant la propriété de la trace relative et donnant, dans la situation plongée, la classe fondamentale relative construite par Barlet (1980). On constate, par ailleurs, que π est géométriquement plat si et seulement si est caractérisé par la propriété de la trace relative ; ce qui généralise à ce cadre, la construction des formes méromorphes régulières de Kunz–Waldi (1988) faite par Kersken (1983) dans le cadre des algèbres analytiques plates. Pour citer cet article : M. Kaddar, C. R. Acad. Sci. Paris, Ser. I 346 (2008).

Let n be an integer, S a reduced pure dimensional complex analytic space. Let E(S,n) (resp. G(S,n)) be the set of morphisms from an countable at infinity analytic complex space X to S which are n-equidimensional and open (resp. the set of geometrically flat map that is the element of E(S,n) endowed with cycle of X×S which induce a good multiplicity on the fibers such that (π−1(s))s∈S become an analytic family of cycles in the sense of Barlet). After showing that each π of E(S,n) is endowed with a canonical OX-coherent analytic sheaf with many functorial properties, we state the main result of this Note which says that π is in G(S,n) if and only if there exists a canonical morphism (called a relative fundamental class of π) , compatible with any base change between reduced finite pure dimensional complex spaces, which satisfies the relative trace property and gives, in the local setting, the relative fundamental class of Barlet constructed in 1980. From this, we deduce that π belong to G(S,n) if and only if is stable by base change and is characterized by the relative trace property; that means precisely that the relative Kunz–Waldi (1988) sheaf of regular differential forms constructed for flat analytic algebra by Kersken (1983) exists in this setting. To cite this article: M. Kaddar, C. R. Acad. Sci. Paris, Ser. I 346 (2008).