Let $k$ be a field of characteristic zero, $\mathfrak{g}$ a finite-dimensional Lie algebra over $k$, and let $A,B$ associative $k$-algebras. 


Suppose that $\mathfrak{g}$ acts on $A$ and $B$, and that each of these actions admit a quantum moment map. Then the associative algebra $A\otimes\_kB$ also has a $\mathfrak{g}$ action and admits a quantum moment map.


In this case, is it true that


$$(A\otimes\_kB)//\mathfrak{g}\cong (A//\mathfrak{g})\otimes\_k(B//\mathfrak{g})$$


where "$//\mathfrak{g}$" is the operation of quantum Hamiltonian reduction? 



Quantum Hamiltonian reduction and tensor products
This is not true.


It is analogous to asking if $(X \times Y)/G \cong (X/G) \times (Y/G)$ for $G$ a group acting on spaces $X$ and $Y$, which is almost never the case. For example, take $X=Y=G$ with the action by left translation. Then the left hand side is isomorphic to $G$, but the right hand side is a point.


The corresponding counterexample in your setting is the following. Suppose $G$ is a connected complex algebraic group acting on $X=G$ by left translations, then set $A=B=\mathcal D\_X$. Then the left hand side is isomorphic to $\mathcal D\_X$ but the right hand side is isomorphic to $\mathbb C$. To be even more concrete you could set $G$ to be the additive group $\mathbb C$ acting on itself by left translation.


