Grothendieck trace on local cohomology?

Question

Let R be an augmented regular local ring over a field $k$ with maximal ideal m. There is the Grothendieck residue symbol:

$$Res: H^n_m(\Omega^n) \to k$$

If $k=\mathbb{C}$ and $R$ is affine space, this map has a well-known interpretation by way of an integral formula.

If X is a projective scheme over $\mathbb{C}$, there is the Serre-duality trace $$ tr: H^n(\omega) \to \mathbb{C}$$ which at least when $X$ is smooth can be represented similarly in terms of integrals. My question is whether there is a way to combine these two ideas namely suppose $X$ is a smooth quasi-projective variety over $\mathbb{C}$ and $Z$ a proper subscheme, can we define a trace:

$$ tr/Res: R^n\Gamma_{Z}(\Omega_X^n) \to \mathbb{C} $$

Is there a description for this map in terms of integrals?

Most of the literature on residues, Grothendieck duality and the like is way too heavy for me. Where is this written up in a friendly way?

Edit: Proposition 2.3.2 or Remark 2.3.8 of http://www.math.purdue.edu/~lipman/papers/formal-duality.pdf seem close to what I want (or maybe are exactly what I would like). Still, I would be happy if there is a more simple minded reference with some analytic treatment.

Answer 1

Perhaps you should look at Lipman's book:

"Dualizing sheaves, differentials and residues on algebraic varieties", Asterisque 117

It gives a treatment of the topic you asked for. In brief, there is a commutative triangle:

$\require{AMScd}$ \begin{CD} \bigoplus_{P \in X} H^n_P(\Omega^n) @>can>> H^n(X,\Omega^n)\\ @V\oplus_{P \in X}res_PVV \swarrow \tiny{\int_X} \\ k \end{CD}

Expressing the fact that the integral is computed through residues. The treatment is very down to earth. In particular, he avoids derived categories.