Zero tensor product over a complex algebra?

This is intuitively dual to the problem of finding left $A$-modules $M$ and $V$, neither having zero action, such that ${}_A{\rm hom}(M,V)=0$. Then a natural thing to do is to take two inequivalent (fin dim) complex irreps of some finite group $G$ (Schur orthogonality then tells us the hom-space between two inequivalent irreps of $G$ is zero).

You then recover examples for Q1 by taking $V=N^*$. The ease with which such examples are found makes me pessimistic about answering Q2 unless you can narrow down the class of modules or algebras you are interested in.

We can come up with very simple examples based on choosing the easiest possible $G$, namely ${\bf Z}/2{\bf Z}$, which has two inequivalent 1-dim modules given by the two characters of this group.

This translates into the following setup. $A$ can be identified with ${\bf C}\oplus {\bf C}$ (Fourier transform of ${\bf C}G$ for $G$ being the group above) and then there are two characters $\phi_1, \phi_2: A \to {\bf C}$ defined by $\phi_j((a_1,a_2)) = a_j$ ($j=1,2$). The corresponding 1-dimensional modules $V_1$ and $V_2$ satisfy $V_1\otimes_A V_2 =0$, because $$ 1 \otimes 1 = 1\cdot x\otimes 1 - 1 \otimes x\cdot 1 \quad\hbox{if $x=(1,0)$} $$


I give an answer in case the modules are finite dimensional (not 100% sure whether the algebra also has to be finite dimensional but I think it is not needed). The base field can be arbitrary and does not need to be $\mathbb{C}$. Let the algebra $A$ be over a field $K$ and $D=Hom_K(-,K)$. Then we have $N \otimes_A M \cong D Hom_A(N,D(M))$.

This makes it very easy to at least calculate the vector space dimension of $N \otimes_A M$ and give alot of examples for Q1: Just take $M$ and $N$ simple such that $N$ is not isomorphic to $D(M)$ and by Schur's lemma $N \otimes_A M \cong D Hom_A(N,D(M))=0$.

Example: Let $A$ be a finite dimensional algebra with $n$ fixed idempotent $e_1,...,e_n$ and simple right modules $S_1,...,S_n$ and simple left modules $G_1,...,G_n$ (corresponding to the idempotents ). Then $D(G_i) \cong S_i$ and thus $S_j \otimes_A G_i \neq 0$ if and only if $i=j$.

At least when the algeba is a finite dimensional quiver algebra deciding when $D Hom_A(N,D(M))=0$ can be reduced to linear algebra and answers Q2.