Suppose $Y$ is a projective variety over a field $k$. Fix an embedding $\iota: Y \hookrightarrow \mathbb{P}^n_k$ for some $n$, and consider the local cohomology *sheaves* $\mathcal{H}^j_Y(\omega_{\mathbb{P}^n})$ of the canonical sheaf on $\mathbb{P}^n$ supported on $Y$. I believe that the sheaf cohomology groups

$H^i(\mathbb{P}^n, \mathcal{H}^{n+1-j}_Y(\omega_{\mathbb{P}^n}))$

should be independent of $n$ and of the embedding, for all $i > 0$. (By considering embeddings $Y = \mathbb{P}^0 \hookrightarrow \mathbb{P}^0$ and $Y = \mathbb{P}^0 \hookrightarrow \mathbb{P}^1$, is is not hard to see that this claim fails for $i = 0$.)

As in Hartshorne's paper *On the de Rham cohomology of algebraic varieties*, one strategy for proving such a statement is to consider two embeddings $\iota: Y \hookrightarrow \mathbb{P}^n$ and $\iota': Y \hookrightarrow \mathbb{P}^m$, together with the diagonal embedding $\Delta: Y \hookrightarrow X = \mathbb{P}^n \times \mathbb{P}^m$. If $\pi: X \rightarrow \mathbb{P}^n$ is the projection, we have $\iota = \pi \circ \Delta$. By symmetry, it would be enough to show that, given such data, we must have

$H^i(\mathbb{P}^n, \mathcal{H}^{n+1-j}_Y(\omega_{\mathbb{P}^n})) \simeq H^i(X, \mathcal{H}^{n+m+1-j}_Y(\omega_X))$ for all $i > 0$.

The sheaves $\mathcal{H}^{n+m+1-j}_Y(\omega_X)$ (indeed, any quasi-coherent $\mathcal{O}_X$-modules supported on $\Delta(Y)$) are $\pi_*$-acyclic: given any $P \in \mathbb{P}^n$, $\pi^{-1}(\{P\}) \cap \Delta(Y)$ contains at most one point, so we can use, *e.g.*, the theorem on formal functions to show the higher direct images have zero stalks. Therefore we have

$H^i(X, \mathcal{H}^{n+m+1-j}_Y(\omega_X)) \simeq H^i(\mathbb{P}^n, \pi_*\mathcal{H}^{n+m+1-j}_Y(\omega_X))$ for all $i \geq 0$.

To compute the local cohomology sheaves of $\omega_X$ and $\omega_{\mathbb{P}^n}$, we can use their Cousin resolutions (since the sheaves are line bundles, these are injective resolutions). In fact, if $E^{\bullet}(\omega_X)$ (resp. $E^{\bullet}(\omega_{\mathbb{P}^n})$) are these resolutions, we have a quasi-isomorphism $\pi_*E^{\bullet}(\omega_X)[m] \xrightarrow{\sim} E^{\bullet}(\omega_{\mathbb{P}^n})$ of complexes of sheaves on $\mathbb{P}^n$. The reason for this is that the map $\pi$ can be viewed as a "projective space" $\mathbb{P}^m_{\mathbb{P}^n} \rightarrow \mathbb{P}^n$, and so the corresponding trace map is a derived category isomorphism (Proposition III.4.3 of *Residues and duality*) This trace map takes the form $\mathbf{R}\pi_*\pi^!E^{\bullet}(\omega_{\mathbb{P}^n}) \rightarrow E^{\bullet}(\omega_{\mathbb{P}^n})$, and that the left-hand side coincides with $\pi_*E^{\bullet}(\omega_X)[m]$ is essentially worked out on pp. 31-32 of Hartshorne's de Rham paper.

It follows that we can use $\pi_*E^{\bullet}(\omega_X)[m]$ as an injective resolution of $\omega_{\mathbb{P}^n}$. Then we get

$\mathcal{H}^{n+1-j}_Y(\omega_{\mathbb{P}^n}) = h^{n+m+1-j}(\underline{\Gamma}_Y(\pi_*E^{\bullet}(\omega_X)))$, where $\underline{\Gamma}_Y$ is the sheafified "sections with support on $Y$" functor.

On the other hand, since $E^{\bullet}(\omega_X)$ is an injective resolution of $\omega_X$, we can compute $\pi_*\mathcal{H}^{n+m+1-j}_Y(\omega_X)$ as $h^{n+m+1-j}(\pi_*\underline{\Gamma}_YE^{\bullet}(\omega_X))$. Here I've used the fact that $\pi_*$ and cohomology objects commute when applied to a complex of quasi-coherent sheaves on $X$ supported on $\Delta(Y)$, again by the acyclicity argument.

So finally, we are comparing the sheaves $h^{n+m+1-j}(\pi_*\underline{\Gamma}_YE^{\bullet}(\omega_X))$ and $h^{n+m+1-j}(\underline{\Gamma}_Y(\pi_*E^{\bullet}(\omega_X)))$ on $\mathbb{P}^n$. The functors $\underline{\Gamma}_Y$ and $\pi_*$ do

notcommute, and in fact the global sections of these sheaves need not be the same. Is there a way to see that their higher sheaf cohomologies on $\mathbb{P}^n$ are the same? In general, is there a homological-algebraic gadget to handle the situation of complexes of sheaves which are not quasi-isomorphic, but whose cohomology objects should have identicalhighersheaf cohomology?

**Edited to add (5/4)** If $k$ has characteristic $p > 0$, or if $Y$ is smooth and $k$ has characteristic zero, I believe the independence holds. This is because the $k$-dimension of $H^i(\mathbb{P}^n, \mathcal{H}^{n+1-j}_Y(\omega_{\mathbb{P}^n}))$ is the *Lyubeznik number* $\lambda_{i+1,j}(Y)$ of $Y$, known already to be independent of the embedding in these cases. The embedding-independence of Lyubeznik numbers in characteristic zero for singular $Y$ is still open, and the above question comes from an attempt to attack this in a characteristic-free way (of course, it says nothing about $\lambda_{0,j}(Y)$ or $\lambda_{1,j}(Y)$, which are sure to be harder).