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.

Generic dichotomy for homomorphisms for $E_0^\mathbb{N}$

The finite Friedman-Stanley jumps: generic dichotomies for Borel homomorphisms

Analogues of the countable Borel equivalence relations in the setting of computable reducibility

A dichotomy for countable unions of smooth Borel equivalence relations

Reducts of the Generic Digraph

A dichotomy phenomenon for Bad minus normed Dirichlet

Borel graphable equivalence relations

Dualité relative de type Kleiman I: Cas propre

Degree spectra of analytic complete equivalence relations

A better comparison of cdh- and ldh-cohomologies

A generalization of Dumas-Eisenstein criterion

Equivalences in diagrammatic sets

A Dichotomy for Finite Abstract Simplicial Complexes

Homotopy equivalences and Grothendieck duality over rings with finite Gorenstein weak global dimension

On small analytic relations

Milnor Algebras and Equivalence-Relations among Holomorphic-Functions

Homotopy theory of schemes and $R$-equivalence

Dichotomy Theorems for Homomorphism Polynomials of Graph Classes

Shelah's Main Gap and the generalized Borel-reducibility

Equivalence Hypergraphs: E-Graphs for Monoidal Theories

On the Existence of Non-Trivial Homoclinic Classes