Skip to main content
1 of 2
Linda
  • 269
  • 2
  • 5

Conceptual definition of the extension of a connection to 1-forms

I have a question that arose while reading Milnor's "Characteristic Classes". I will use the notation from that book.

Let $M$ be a smooth manifold and let $\zeta$ be a complex vector bundle on $M$. Milnor defines a connection on $M$ to be a map $\Delta\colon C^{\infty}(\zeta) \rightarrow C^{\infty}(\tau_{\mathbb{C}}^{\ast} \otimes \zeta)$ satisfying the Leibniz identity, where $\tau_{\mathbb{C}}$ is the complexified tangent bundle of $M$.

In Lemma 4 of Appendix C, he proves that such a connection can be extended to a map $\hat{\Delta}\colon C^{\infty}(\tau_{\mathbb{C}}^{\ast} \otimes \zeta) \rightarrow C^{\infty}(\wedge^2 \tau_{\mathbb{C}}^{\ast} \otimes \zeta)$ satisfying an appropriate Leibniz rule. However, his proof is just a definition in local coordinates, with the details left to the reader. I verified these details, though they were a bit of a pain.

However, I feel like there must be a more conceptual definition of $\hat{\Delta}$ that makes no reference to local coordinates. Does anyone know one?

Linda
  • 269
  • 2
  • 5