Assume we are workling on $\mathbb{P}^n$ for some $n\geq 1$ and we have a coherent sheaf $F$ on it.
Then there are two (well known?) spectral sequences $E_r^{p,q}$ with $E_1$-term:
$E_1^{p,q}=H^q(\mathbb{P}^n,F(p))\otimes \Omega^{-p}(-p)$
$E_1^{p,q}=H^q(\mathbb{P}^n,F\otimes \Omega^{-p}(-p))\otimes O_{\mathbb{P}^n}(p)$
both converging to $F$. Here $\Omega^{p}=\wedge^p((T_{\mathbb{P}^n})^{\*})$, see e.g. Okonek/Spindler/Schneider Ch.2 §3.
In special cases these sequences lead to a monad description for $F$, i.e. a complex $0\rightarrow A\rightarrow B\rightarrow C\rightarrow 0$, which is exact at $A$ and $C$ such that $F$ is the cohomology of this complex.
The main ingredient of the proof of this fact is the existence of a Koszul resolution for the diagonal $\Delta\subset \mathbb{P}^n\times\mathbb{P}^n$.
Now assume with have an additional "structure" sheaf $R$ of noncommutative rings or algebras on $\mathbb{P}^n$, such that $F$ is also an $R$-module.
Is there a generalization or a way to adjust these spectral sequences that also uses the extra structure as an $R$-module?
Maybe there are more general Koszul resolutions which one can use here? Everything in a more noncommuative setting. Maybe there is something like this in the literature?
One case i'm especially interested in is that of maximal orders on the projective plane. That is $R$ is a sheaf of noncommutative algebras, say of rank $4$, which is an Azumaya algebra $\mathcal{A}$ on the complement of a (smooth) divisor $D\subset \mathbb{P}^2$, such that the generic algbera $R_\eta$ is a nontrivial quaternion algebra.
So we have a trace pairing $tr: R\otimes R \rightarrow O_{\mathbb{P}^2}$ which is nondegenerate away from $D$. For every point $p\in D$ the module $R_p$ is a maximal $O_p$-order in the generic stalk $R_\eta$.
