Assume we have a locally free sheaf $R$ of associative $O_S$-algebras of rank $r^2$, possibly noncommutative, where $S=\mathbb{P}^2$ over $\mathbb{C}$. Furthermore given a locally free $O_S$-module $E$ also of rank $r^2$, which is a simple $R$-module, i.e. $End_R(E)=\mathbb{C}$.

We also know that all bundles come from a cyclic degree $r$ covering $f:X\rightarrow S$ ramified on a smooth curve of degree $nr$, i.e. $E$ is also a locally free $O_X$-module of rank $r$, and $R$ also an $O_X$-algbera of rank $r$ and $E$ is an $R$-module.

Now if $L$ is a cohomologically trivial $O_X$-line bundle, i.e. $H^i(X,L)=0$ for all $i$, what can we say about $Hom_R(E,L\otimes_{O_X} E)$? Does it vanish? Is it isomorphic to $\mathbb{C}$? Can it have bigger dimension?

If this is too broad, here is the situation im especially interested in: $X$ is a $K3$-surface with two disjoint (-2)-curves $C_1,C_2$, constructed as a double cover of $\mathbb{P}^2$ ramified on a sextic $C$. The line bundle $L$ is given by $O_X(C_1-C_2)$ and $R$ and $E$ are rank 2 locally free sheaves on $X$.

I was hoping that there are no such morphisms: my idea was to construct a map $\alpha: L\otimes_{O_X}E\rightarrow E$, such that if there were a map $\beta: E \rightarrow L\otimes_{O_X} E$, one could look at $\alpha\circ \beta=c id_E$ by simplicity. Then one had to show that a multiple of the identity can not factor in this way. But i couldn't make this argument work.

Another idea was to use the determinant bundle: if i had a map $E\rightarrow L\otimes_{O_X} E$, this would give me a map $det(E)\rightarrow L^2\otimes_{O_X} det(E)$, so a map $O_X\rightarrow L^2$, but i couldn't see if there can be such maps. If $L$ is cohomologically trivial, especially $H^0(L)=0$ does this imply $H^0(L^2)=0$?

Maybe there can be nontrivial elements in $Hom_R(E,L\otimes_{O_X} E)$? Or are there other ways to attack this problem? Any idea is welcome.

Edit: We may restrict to those bundles $E$ with first Chern class $c_1(E)=C_1-C_2+f^{\*}(nH)$ on $X$, with $H$ a line in $\mathbb{P}^2$, where $n=0$ and $n=1$ would be enough, so $c_1(E)=C_1-C_2$ and $c_1(E)=C_1-C_2+f^{\*}H=C_1-C_2+C_2+f(C_2)=C_1+f(C_2)$. We may also assume $E$ is a semistable $O_X$-module.

Assume we have a locally free sheaf $R$ of associative $O_S$-algebras of rank $r^2$, possibly noncommutative, where $S=\mathbb{P}^2$ over $\mathbb{C}$. Furthermore given a locally free $O_S$-module $E$ also of rank $r^2$, which is a simple $R$-module, i.e. $End_R(E)=\mathbb{C}$.

We also know that all bundles come from a cyclic degree $r$ covering $f:X\rightarrow S$ ramified on a smooth curve of degree $nr$, i.e. $E$ is also a locally free $O_X$-module of rank $r$, and $R$ also an $O_X$-algbera of rank $r$ and $E$ is an $R$-module.

Now if $L$ is a cohomologically trivial $O_X$-line bundle, i.e. $H^i(X,L)=0$ for all $i$, what can we say about $Hom_R(E,L\otimes_{O_X} E)$? Does it vanish? Is it isomorphic to $\mathbb{C}$? Can it have bigger dimension?

If this is too broad, here is the situation im especially interested in: $X$ is a $K3$-surface with two disjoint (-2)-curves $C_1,C_2$, constructed as a double cover of $\mathbb{P}^2$ ramified on a sextic $C$. The line bundle $L$ is given by $O_X(C_1-C_2)$ and $R$ and $E$ are rank 2 locally free sheaves on $X$.

I was hoping that there are no such morphisms: my idea was to construct a map $\alpha: L\otimes_{O_X}E\rightarrow E$, such that if there were a map $\beta: E \rightarrow L\otimes_{O_X} E$, one could look at $\alpha\circ \beta=c id_E$ by simplicity. Then one had to show that a multiple of the identity can not factor in this way. But i couldn't make this argument work.

Another idea was to use the determinant bundle: if i had a map $E\rightarrow L\otimes_{O_X} E$, this would give me a map $det(E)\rightarrow L^2\otimes_{O_X} det(E)$, so a map $O_X\rightarrow L^2$, but i couldn't see if there can be such maps. If $L$ is cohomologically trivial, especially $H^0(L)=0$ does this imply $H^0(L^2)=0$?

Maybe there can be nontrivial elements in $Hom_R(E,L\otimes_{O_X} E)$? Or are there other ways to attack this problem? Any idea is welcome.

Edit: We may restrict to those bundles $E$ with first Chern class $c_1(E)=C_1-C_2+f^*(nH)$ on $X$, with $H$ a line in $\mathbb{P}^2$, where $n=0$ and $n=1$ would be enough, so $c_1(E)=C_1-C_2$ and $c_1(E)=C_1-C_2+f^*H=C_1-C_2+C_2+f(C_2)=C_1+f(C_2)$. We may also assume $E$ is a semistable $O_X$-module.

Assume we have a locally free sheaf $R$ of associative $O_S$-algebras of rank $r^2$, possibly noncommutative, where $S=\mathbb{P}^2$ over $\mathbb{C}$. Furthermore given a locally free $O_S$-module $E$ also of rank $r^2$, which is a simple $R$-module, i.e. $End_R(E)=\mathbb{C}$.

We also know that all bundles come from a cyclic degree $r$ covering $f:X\rightarrow S$ ramified on a smooth curve of degree $nr$, i.e. $E$ is also a locally free $O_X$-module of rank $r$, and $R$ also an $O_X$-algbera of rank $r$ and $E$ is an $R$-module.

Now if $L$ is a cohomologically trivial $O_X$-line bundle, i.e. $H^i(X,L)=0$ for all $i$, what can we say about $Hom_R(E,L\otimes_{O_X} E)$? Does it vanish? Is it isomorphic to $\mathbb{C}$? Can it have bigger dimension?

If this is too broad, here is the situation im especially interested in: $X$ is a $K3$-surface with two disjoint (-2)-curves $C_1,C_2$, constructed as a double cover of $\mathbb{P}^2$ ramified on a sextic $C$. The line bundle $L$ is given by $O_X(C_1-C_2)$ and $R$ and $E$ are rank 2 locally free sheaves on $X$.

I was hoping that there are no such morphisms: my idea was to construct a map $\alpha: L\otimes_{O_X}E\rightarrow E$, such that if there were a map $\beta: E \rightarrow L\otimes_{O_X} E$, one could look at $\alpha\circ \beta=c id_E$ by simplicity. Then one had to show that a multiple of the identity can not factor in this way. But i couldn't make this argument work.

Another idea was to use the determinant bundle: if i had a map $E\rightarrow L\otimes_{O_X} E$, this would give me a map $det(E)\rightarrow L^2\otimes_{O_X} det(E)$, so a map $O_X\rightarrow L^2$, but i couldn't see if there can be such maps. If $L$ is cohomologically trivial, especially $H^0(L)=0$ does this imply $H^0(L^2)=0$?

Maybe there can be nontrivial elements in $Hom_R(E,L\otimes_{O_X} E)$? Or are there other ways to attack this problem? Any idea is welcome.

Assume we have a locally free sheaf $R$ of associative $O_S$-algebras of rank $r^2$, possibly noncommutative, where $S=\mathbb{P}^2$ over $\mathbb{C}$. Furthermore given a locally free $O_S$-module $E$ also of rank $r^2$, which is a simple $R$-module, i.e. $End_R(E)=\mathbb{C}$.

We also know that all bundles come from a cyclic degree $r$ covering $f:X\rightarrow S$ ramified on a smooth curve of degree $nr$, i.e. $E$ is also a locally free $O_X$-module of rank $r$, and $R$ also an $O_X$-algbera of rank $r$ and $E$ is an $R$-module.

Now if $L$ is a cohomologically trivial $O_X$-line bundle, i.e. $H^i(X,L)=0$ for all $i$, what can we say about $Hom_R(E,L\otimes_{O_X} E)$? Does it vanish? Is it isomorphic to $\mathbb{C}$? Can it have bigger dimension?

If this is too broad, here is the situation im especially interested in: $X$ is a $K3$-surface with two disjoint (-2)-curves $C_1,C_2$, constructed as a double cover of $\mathbb{P}^2$ ramified on a sextic $C$. The line bundle $L$ is given by $O_X(C_1-C_2)$ and $R$ and $E$ are rank 2 locally free sheaves on $X$.

I was hoping that there are no such morphisms: my idea was to construct a map $\alpha: L\otimes_{O_X}E\rightarrow E$, such that if there were a map $\beta: E \rightarrow L\otimes_{O_X} E$, one could look at $\alpha\circ \beta=c id_E$ by simplicity. Then one had to show that a multiple of the identity can not factor in this way. But i couldn't make this argument work.

Another idea was to use the determinant bundle: if i had a map $E\rightarrow L\otimes_{O_X} E$, this would give me a map $det(E)\rightarrow L^2\otimes_{O_X} det(E)$, so a map $O_X\rightarrow L^2$, but i couldn't see if there can be such maps. If $L$ is cohomologically trivial, especially $H^0(L)=0$ does this imply $H^0(L^2)=0$?

Maybe there can be nontrivial elements in $Hom_R(E,L\otimes_{O_X} E)$? Or are there other ways to attack this problem? Any idea is welcome.

Edit: We may restrict to those bundles $E$ with first Chern class $c_1(E)=C_1-C_2+f^{\*}(nH)$ on $X$, with $H$ a line in $\mathbb{P}^2$, where $n=0$ and $n=1$ would be enough, so $c_1(E)=C_1-C_2$ and $c_1(E)=C_1-C_2+f^{\*}H=C_1-C_2+C_2+f(C_2)=C_1+f(C_2)$. We may also assume $E$ is a semistable $O_X$-module.