4

I know that if $E$ and $F$ are two vector bundle with connection $\nabla^E$ and $\nabla^F$, then it is natural to define tensor connection $\nabla = \nabla^E\otimes 1 + 1 \otimes \nabla^F$ on $E \otimes F$.

By I have a stupid question: is is $\nabla^E \otimes 1$ also a connection?

It seems to satisfy the conditions: $\nabla(f\sigma_E\otimes \sigma_F) = \nabla^E(f\sigma_E)\otimes\sigma_F = (\nabla f) \sigma_E \otimes \sigma_F +f \nabla^E\sigma_E\otimes \sigma_F = \nabla f \sigma_E \otimes \sigma_F + f\nabla(\sigma_E \otimes \sigma_F)$.

I guess the reason is the above condition is true only if I put $f$ with $\sigma_E$; and this ambiguity is not desired. But I'm not sure.

Lelouch
  • 637

2 Answers2

4

It can't be, because, on the one hand, for any vector field $X \in \Gamma(TX)$, you would have $$ (\nabla \otimes I)_X(f(\sigma_E \otimes \sigma_F)) = (\nabla \otimes I)_X((f \sigma_E) \otimes \sigma_F) = \nabla_X(f\sigma_E) \otimes \sigma_F = (X(f)\sigma_E + f\nabla_X\sigma_E) \otimes \sigma_F\\ = X(f)(\sigma_E \otimes \sigma_F) + f(\nabla_X\sigma_E \otimes \sigma_F), $$ whilst on the other, $$ (\nabla \otimes I)_X(f(\sigma_E \otimes \sigma_F)) = (\nabla \otimes I)_X(\sigma_E \otimes (f\sigma_F)) = \nabla_x\sigma_E \otimes(f \sigma_F) = f(\nabla_X \sigma_E \otimes \sigma_F). $$ You really do need an honest connection on $F$ to get a connection on $E \otimes F$. Indeed, even if $F$ is trivial, you need to take at least the flat connection $d$.

Branimir Ćaćić
  • 13,684
3

Only if $F$ is a trivial bundle. Note that $f(\sigma_E\otimes\sigma_F)=\sigma_E\otimes(f\sigma_F)$ as well!

Ted Shifrin
  • 115,160