Let $E\to X$ be a vector bundle with an inner product and fix a reference connection $A\_0$ on $E$. Then for $1\leq p < \infty$ and $k\geq 0$ we can define the Sobolev space $W^{k,p}(E)$ as the completition of $C^\infty(X, E)$ with the norm


$$
\lVert f \rVert\_{W^{k,p}} = \int\_X |f|^p + |\nabla\_{A\_0}f|^p + \cdots + |\nabla^k\_{A\_0} f|^p ) d\mathrm{vol}.
$$
My question is about Sobolev multiplication: 



> 
> If we have two elements $f\in W^{1,2}(E)$ and $g\in W^{1,2}(F)$, under
>  what conditions is it true that $f\otimes g\in W^{1,2}(E\otimes F)$?\*.
> 
> 
> 


I am interested mainly at the case when $E$ is a rank-2 vector bundles and $n=\dim(X)=4$ considering that additional conditions may be needed. 


*Note: I found [these](http://tensorial.com/math/gauge/sobolev.pdf) notes about the borderline case $kp=n$ for traditional Sobolev spaces. They suggest an $L^\infty$-bound condition. But I am not very familiar with these results and I do not know if they can be applied here.*



Sobolev multiplication $\otimes$ of $H^1=W^{1,2}$ in vector bundles
The rank of $E, F$ essentially doesn't enter the discussion, since given a basis of $e\_i$ and a basis $f\_j$ of $E$ and $F$, you have a basis $e\_i\otimes f\_j$ of $E\otimes F$ and representing your connection against this basis you are down to dealing with scalar functions. 


Suppose first that you can choose bases which are locally parallel. Then you see that exactly the usual theory applies: in dimension $\dim X = 4$ you have that $W^{1,2} \hookrightarrow L^4$ by Sobolev so you have that 


$$ W^{1,2}\otimes W^{1,2} \hookrightarrow L^2 $$


So you need to control


$$ \nabla (f\otimes g) = \nabla f \otimes g + f \otimes \nabla g $$


and you know that 


$$ (\nabla f) \in L^2, (\nabla g)\in L^2 $$


so you see that if you assume $f,g \in L^\infty$ also then you are all set. 


When the bases are not locally parallel, you are in the general situation of having chosen a local coordinate system relative to which the connection $\nabla\_A f = \partial f + A f$ where $A$ is the connection coefficients. For the second part of the argument nothing changes at all. For the first part where we used the Sobolev inequality we have to observe that 
$$ \|\partial f + Af\|\_{L^2} \geq \|\partial f\|\_{L^2} - \|A f\|\_{L^2}$$
so as long as $A$ has a uniform $L^\infty$ bound (across a set of different coordinate patches that cover $X$) you have that
$$ \|\partial f + Af\|\_{L^2} + \|f\|\_{L^2} \gtrsim \|\partial f\|\_{L^2} + \|f\|\_{L^2} $$
with a constant depending on the size of $\|A\|\_{L^\infty}$. So we can still apply Sobolev. 


In short, a sufficient set of conditions is that



> 
> $f,g\in W^{1,2} \cap L^\infty$ and that the reference connection $A$ has a uniform $L^\infty$ bound over $X$ in local coordinates. This condition on the connection would be satisfied if the connection is smooth and $X$ is compact, for example. 
> 
> 
> 


