Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm learning about the curvature of a vector bundle, and trying to compute it for a simple example. Let $\nabla$ be the connection on a trivial line bundle over $\mathbb{R}^2$ given by $\nabla s = ds$.

I know that curvature is given by $F(X,Y)(s) = \nabla_X\nabla_Ys - \nabla_{Y} \nabla_Xs - \nabla_{[X,Y]}s$.

I found that $\nabla_X\nabla_Ys = \nabla_X(ds(Y)) = \nabla(ds(Y))(X) = d(ds(Y))(X) = 0$, and similarly $\nabla_{Y} \nabla_Xs =0$.

How do I compute $\nabla_{[X,Y]}s$? I've written it as $(ds)[X,Y] = ds(XY)-ds(YX) = (XY)(s)-(YX)(s)$ but I'm not sure where to go from here.

share|improve this question

1 Answer 1

up vote 3 down vote accepted

You might be mistaken about the meaning of $ds(X)$.

The space of vector fields acts on smooth functions by derivation. So in local coordinates, if we write $X=\sum_{i=1}^nX_i \partial_i$ where $X_i\in \mathcal{C}^\infty$, then we get $$(X\cdot s)(p)=\sum_{i=1}^nX_i(p)\dfrac{\partial s}{\partial x_i}(p)=ds_p(X(p)).$$

Let's see what happens on your bundle $\mathbb R^2\times \mathbb R\rightarrow \mathbb R^2$ and your connection $\nabla$. I will use the global coordinates denoted by $(x,y)$ on $\mathbb R^2$ and the corresponding basis of the tangent space $(\partial_x,\partial_y)$.

For every section $s$ of your bundle and for every $X,Y\in \mathcal{C}^\infty(\mathbb R^2,\mathbb R)$, $\nabla_{X\partial_x+Y\partial_y}s$ is just the map given by $$p\in \mathbb R^2\mapsto X(p)\dfrac{\partial s}{\partial x}(p)+Y(p)\dfrac{\partial s}{\partial y}(p).$$

Furthermore, since the curvature is a skew-symmetric bilinear map, to compute $F$ it suffices to compute $F(X\partial_x,Y\partial_y)$. Other terms can be deduced by linearity.

It is then an easy computation to see that $$\nabla_{X\partial_x}\nabla_{Y\partial_y}s-\nabla_{Y\partial_y}\nabla_{X\partial_x}s = X\dfrac{\partial Y}{\partial x}\dfrac{\partial s}{\partial y}-Y\dfrac{\partial X}{\partial y}\dfrac{\partial s}{\partial x}$$ which is in fact also equal to $\nabla_{[X\partial_x,Y\partial_y]}$.

It follows that the curvature of $\nabla$ vanishes.

In fact, this result tells you that the Lie bracket $[X,Y]$ of two vector fields is exactly the vector field associated to the derivation $\mathcal{L}_X\mathcal{L}_Y-\mathcal{L}_Y\mathcal{L}_X$.

share|improve this answer
    
What do you mean by "vector field associated to the derivation $\mathcal{L}_X\mathcal{L}_Y-\mathcal{L}_Y\mathcal{L}_X$? Isn't simply $\mathcal{L}_XY=[X,Y]$ true? –  gofvonx Aug 20 '13 at 14:21
    
Yes exactly. I just wanted to see $\mathcal{L}_X$ as an operator acting on smooth functions instead of acting on tensor fields for the sake of simplicity. –  Bebop Aug 21 '13 at 18:47

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.