Given a smooth quasi-projective variety over $\mathbb{C}$ and bounded complexes of vector bundles $(P,d)$ and $(P',d')$ with compactly supported cohomology. It is well-known that such complexes satisfy Serre-duality.

The intuition for me is that one can integrate compactly supported differential forms, but I've never seen a place where this result is actually proven in this way.

Question: Is there a reference which proves Serre duality using compactly supported Dolbeault cohomology?

The proof I have in mind is the standard proof of Serre duality for projective varieties, but there are two potential points of difficulty.

a) I remember in Serre's original paper there are some tricky points of topology on Frechet spaces which are complicated. I haven't actually seen the compactly supported Dolbeault theory used in any other papers since then.

b) GAGA for sheaves with compactly supported cohomology.

Given a smooth quasi-projective variety $X$ over $\mathbb{C}$ and bounded complexes of vector bundles $(P,d)$ and $(P',d')$ with compactly supported cohomology. It is well-known that such complexes satisfy Serre-duality. The standard proof that I have heard is to complete $X$ to a projective variety $\bar{X}$.

For me the intuition behind Serre duality is integration, and the intuition for the above result is that one can always integrate compactly supported differential forms. Unfortunately, I've never seen a place where this result is actually proven in this way.

Question: Is there a reference which proves Serre duality using compactly supported Dolbeault cohomology?

The proof I have in mind is the standard proof of Serre duality for projective varieties, but I remember in Serre's original paper there are some tricky points of topology on Frechet spaces which are complicated. I haven't actually seen the compactly supported Dolbeault theory used in any other papers since then, so I'm wondering whether there is any newer reference with the above statement and which covers its properties more systematically.

Given a smooth quasi-projective variety over $\mathbb{C}$ and bounded complexes of vector bundles $(P,d)$ and $(P',d')$ with compactly supported cohomology. It is well-known that such complexes satisfy Serre-duality.

Question: Is there a reference which proves Serre duality using compactly supported Dolbeault cohomology?

The proof I have in mind is the standard proof of Serre duality for projective varieties, but there are two potential points of difficulty.

a) I remember in Serre's original paper there are some tricky points of topology on Frechet spaces which are complicated. I haven't actually seen the compactly supported Dolbeault theory used in any other papers since then.

b) GAGA for sheaves with compactly supported cohomology.

Given a smooth quasi-projective variety over $\mathbb{C}$ and bounded complexes of vector bundles $(P,d)$ and $(P',d')$ with compactly supported cohomology. It is well-known that such complexes satisfy Serre-duality.

The intuition for me is that one can integrate compactly supported differential forms, but I've never seen a place where this result is actually proven in this way.

Question: Is there a reference which proves Serre duality using compactly supported Dolbeault cohomology?

The proof I have in mind is the standard proof of Serre duality for projective varieties, but there are two potential points of difficulty.

a) I remember in Serre's original paper there are some tricky points of topology on Frechet spaces which are complicated. I haven't actually seen the compactly supported Dolbeault theory used in any other papers since then.

b) GAGA for sheaves with compactly supported cohomology.