Abstract:The goal of this papers is to extending to the complex analytic framework the relative Kleiman duality for quasi coherent sheaves. Precisely, he show that for any flat,locally projectivea and finitely presented morphism of schemes $\pi:X\rightarrow S$ whose fibers are of pure dimension $n$, the functor ${\rm I}\!{\rm R}^{n}\pi_{*}:{\rm Q}coh(X) \rightarrow {\rm Q}coh(S)$ admits a right adjoint covariant functor (noted $\pi^{!}_{\mathcal K}$) inducing, for any quasi-coherent sheaves ${\mathcal F}$ and ${\mathcal G}$ on $X$ and $S$ respectively, a relative duality isomorphism ${\rm I}\!{\rm H}om(X; {\mathcal F},\pi^{!}_{\mathcal K}({\mathcal G}))\simeq {\rm I}\!{\rm H}om(S; {\rm I}\!{\rm R}^{n}\pi_{*}{\mathcal F}, {\mathcal G})$ bifunctorial in ${\mathcal F}$, ${\mathcal G}$ satisfying many nice functorial properties. Furthermore, he shows that full duality is achieved if and only if $\pi$ is Cohen Macaulay morphism. We show in the first part which concerns proper morphism of complex spaces with constant fibers dimension that we have a similar duality in this context with the same conclusion for the full duality. In the secod part, the morphism are not necessarly proper but equidimensional or open with constant fibers dimension. The situation is much more complicated because we must use a specific analytic geometry tools. Infinite dimensional cohomology groups considered as locally convex vectorial topological spaces are generally not Hausdorff, the higher direct image with propre support ${\rm I}\!{\rm R}^{n}\pi_{!}$ are generally never coherent. Despite all this problems, we are able to give a semi-relative duality theorem as mentioned above and in a certain sense.

A Note on Morphisms Determined by Objects

The Auslander–Reiten Duality Via Morphisms Determined by Objects

Duality in Monoidal Categories

Morphisms in Derived Algebraic Geometry

From Morphism Categories to Functor Categories

Morphisms of pre-Calabi-Yau categories and morphisms of cyclic $A_{\infty}$-categories

Duality of differential operators and algebraic de Rham cohomology

Dualité relative de type Kleiman I: Cas propre

On the Dualizability of Fusion 2-Categories

The Core and Dual Core Inverse of a Morphism with Factorization

Extended Stone Duality via Monoidal Adjunctions

Core and Dual Core Inverses of a Sum of Morphisms

A functorial approach to monomorphism categories II: Indecomposables

Prescribed duality dynamics in comodule categories

Di-Exact Categories and Lattices of Normal Subobjects

Endomorphism Category of an Abelian Category

Constructing monoidal structures on fibered categories via factorizations

Morphing etale spaces

On splitting of morphisms induced by unit map of adjoint functors

Half-spherical twists on derived categories of coherent sheaves

Categorical Resolutions of a Class of Derived Categories