4
$\begingroup$

For a (smooth) vector bundle $F$ over a manifold $M$, one normally defines a connection to be a linear map $$ \nabla:\Gamma^{\infty}(V) \to \Omega^1(M) \otimes \Gamma^{\infty}(V), $$ satisfying $\nabla(fv) = $d$f \otimes v + f \nabla(v)$. One can then extend this to a map $$ \nabla:\Omega^k(M) \otimes_{C^{\infty}(M)} \Gamma^{\infty}(V) \to \Omega^{k+1}(M) \otimes_{C^{\infty}(M)} \Gamma^{\infty}(V) $$ by defining $$ \nabla(\omega \otimes v) = \text{d}\omega \otimes v + (-1)^k\omega \wedge \nabla(v). $$ The factor of $(-1)^k$ ensures that the definition is well-defined over the tensor product.

Alternatively, one can use the equivalent definition of a connection as a linear map $$ \nabla:\Gamma^{\infty}(V) \to \Gamma^{\infty}(V) \otimes \Omega^1(M), $$ satisfying $\nabla(vf) = v \otimes $d$f + \nabla(v)f$. However, this has the simpler extension to a map $$ \nabla:\Gamma^{\infty}(V) \otimes_{C^{\infty}(M)} \Omega^k(M) \to \Gamma^{\infty}(V) \otimes_{C^{\infty}(M)}\Omega^{k+1}(M) $$ defined by $$ \nabla(v \otimes \omega) = v \otimes \text{d}\omega + \nabla(v) \wedge \omega. $$ I.E. there is no $(-1)^k$ factor. My question is why isn't this simpler formulation the one that is normally used?

$\endgroup$
4
  • 2
    $\begingroup$ Probably because people often skip parentheses, whereupon $\nabla \nu \wedge \omega$ is ambiguous as opposed to $\omega \wedge \nabla \nu$ which is not. $\endgroup$ Commented Feb 7, 2013 at 18:18
  • $\begingroup$ The way I survived, heuristically, so far, is as follows. Notice that the factors in the tensor products are permuted in the two approaches. If from the second approach, you want to get to the first, you have to "pass" the $\omega$ (on the right) above the $\nabla(v)$ (which is on the left in the 2nd approach). This second factor is a bundle valuated one form, ie locally a one form tensor a section of $V$, hence you reobtain the $(-1)^k$. It's a bit sketchy but I've been ok with it. $\endgroup$
    – Amin
    Commented Feb 7, 2013 at 21:37
  • $\begingroup$ Oups sorry I just looked at A. Stacey's comment; sorry if this is what it was saying... $\endgroup$
    – Amin
    Commented Feb 7, 2013 at 21:39
  • 2
    $\begingroup$ I am inclined to disagree with your claim that begins with "one normally defines". It is a convention that depends on the author, and varies across the literature. $\endgroup$
    – S. Carnahan
    Commented Feb 8, 2013 at 0:32

1 Answer 1

1
$\begingroup$

The "usual" definition tantamounts to saying that $[\nabla, \omega ]=d\omega$, where $[,]$ is the (graded) commutator of (graded) endomorphisms.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .