Curvature is tensorial

This article gives the statement, and possibly proof, that a map constructed in a certain way is tensorial
View other such statements

Statement

Let $\nabla$ be a connection on a vector bundle $E$ over a differential manifold $M$. The Riemann curvature tensor of $\nabla$ is given as a map $\Gamma (TM)\otimes \Gamma (TM)\otimes \Gamma (E)\to \Gamma (E)$ defined by:

$R(X,Y)Z=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z$

We claim that $R$ is a tensorial map in each of the variables $X,Y,Z$.

Related facts

• Curvature is antisymmetric in first two variables
• Curvature is antisymmetric in last two variables
• Curvature is symmetric in the pairs of first and last two variables

Facts used

Fact no.	Name	Statement with symbols
1	Any connection is $C^{\infty }$-linear in its subscript argument	$\nabla _{fA}=f\nabla _{A}$ for any $C^{\infty }$-function $f$ and vector field $A$.
2	The Leibniz-like axiom that is part of the definition of a connection	For a function $f$ and vector fields $A,B$, and a connection $\nabla$, we have $\nabla _{A}(fB)=(Af)(B)+f\nabla _{A}(B)$
3	Corollary of Leibniz rule for Lie bracket (in turn follows from leibniz rule for derivations	For a function $f$ and vector fields $X,Y$: $\!f[X,Y]=[fX,Y]+(Yf)X$ $\!f[X,Y]=[X,fY]-(Xf)Y$

Proof

To prove tensoriality in a variable, it suffices to show $C^{\infty }$-linearity in that variable. This is because linearity in $C^{\infty }$-functions guarantees linearity in a function that is 1 at exactly one point, and zero at others.

The proofs for $X$ and $Y$ are analogous, and rely on manipulation of the Lie bracket $[fX,Y]$ and the property of a connection being $C^{\infty }$ in the subscript vector. These proofs do not involve any explicit use of $Z$. The proof for $Z$ relies simply on repeated application of the product rule, and the fact that $XY-YX=[X,Y]$.

Tensoriality in the first variable

Given: $f:M\to \mathbb {R}$ is a $C^{\infty }$-function.

To prove: $\!R(fX,Y)=fR(X,Y)$, or more explicitly, $\!\nabla _{fX}\nabla _{Y}-\nabla _{Y}\nabla _{fX}-\nabla _{[fX,Y]}=f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X}-\nabla _{[X,Y]}$

We start out with the left side:

$\nabla _{fX}\nabla _{Y}-\nabla _{Y}\nabla _{fX}-\nabla _{[fX,Y]}$

Each step below is obtained from the previous one via some manipulation explained along side.

Step no.	Current status of left side	Facts/properties used	Specific rewrites
1	$f\nabla _{X}\nabla _{Y}-\nabla _{Y}(f\nabla _{X})-\nabla _{[fX,Y]}$	Fact (1): $\nabla$ is $C^{\infty }$-linear in its subscript argument.	$\nabla _{fX}\to f\nabla _{X}$
2	$f\nabla _{X}\nabla _{Y}-(Yf)\nabla _{X}-f\nabla _{Y}\nabla _{X}-\nabla _{[fX,Y]}$	Fact (2)	$\nabla _{Y}(f\nabla _{X})\to (Yf)\nabla _{X}+f\nabla _{Y}\nabla _{X}$. To understand this more clearly imagine an input $Z$ to the whole expression, so that the rewrite becomes $\nabla _{Y}(f\nabla _{X}(Z))\to (Yf)\nabla _{X}(Z)+f\nabla _{Y}\nabla _{X}(Z)$. In the notation of fact (3), $A=Y$, $f=f$, and $B=\nabla _{X}(Z)$.
3	$f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X})-\nabla _{(Yf)X}-\nabla _{[fX,Y]}$	Fact (1)	$(Yf)\nabla _{X}\to \nabla _{(Yf)X}$
4	$f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X})-\nabla _{(Yf)X+[fX,Y]}$	$\nabla$ is additive in its subscript argument	$\nabla _{(Yf)X}+\nabla _{[fX,Y]}=\nabla _{(Yf)X+[fX,Y]}$
5	$f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X})-\nabla _{f[X,Y]}$	Fact (3)	$[fX,Y]+(Yf)X\to f[X,Y]$
6	$f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X}-\nabla _{[X,Y]})$	Fact (1)	$\nabla _{f[X,Y]}\to f\nabla _{[X,Y]}$

Tensoriality in the second variable

Given: $f:M\to \mathbb {R}$ is a $C^{\infty }$-function.

To prove: $\!R(X,fY)=fR(X,Y)$, or more explicitly, $\nabla _{X}\nabla _{fY}-\nabla _{fY}\nabla _{X}-\nabla _{[X,fY]}=f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X}-\nabla _{[X,Y]}$.

We start out with the left side:

$\nabla _{X}\nabla _{fY}-\nabla _{fY}\nabla _{X}-\nabla _{[X,fY]}$

Each step below is obtained from the previous one via some manipulation explained along side.

Step no.	Current status of left side	Facts/properties used	Specific rewrites
1	$\nabla _{X}(f\nabla _{Y})-f\nabla _{Y}\nabla _{X}-\nabla _{[X,fY]}$	Fact (1)	$\nabla _{fY}\to f\nabla _{Y}$.
2	$(Xf)\nabla _{Y}+f(\nabla _{X}\nabla _{Y})-f\nabla _{Y}\nabla _{X}-\nabla _{[X,fY]}$	Fact (2)	$\nabla _{X}(f\nabla _{Y})\to (Xf)\nabla _{Y}+f(\nabla _{X}\nabla _{Y})$. To make this more concrete, imagine an input $Z$. Then, the rewrite becomes $\nabla _{X}(f\nabla _{Y}(Z))\to (Xf)\nabla _{Y}(X)+f(\nabla _{X}\nabla _{Y}(Z))$. This comes setting $A=X$, $f=f$, $B=\nabla _{Y}Z$ in Fact (3).
3	$f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X})-\nabla _{[X,fY]}+\nabla _{(Xf)Y}$	Fact (1)	$(Xf)\nabla _{Y}\to \nabla _{(Xf)Y}$
4	$f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X})-\nabla _{[X,fY]-(Xf)Y}$	$\nabla$ is additive in its subscript argument.	$\nabla _{[X,fY]}-\nabla _{(Xf)Y}\to \nabla _{[X,fY]-(Xf)Y}$.
5	$f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X})-\nabla _{f[X,Y]}$	Fact (3)	$[X,fY]-(Xf)Y\to f[X,Y]$
6	$f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X}-\nabla _{[X,Y]})$	Fact (1)	$\nabla _{f[X,Y]}\to f\nabla _{[X,Y]}$

Tensoriality in the third variable

Given: A $C^{\infty }$-function $f:M\to \mathbb {R}$.

To prove: $\!R(X,Y)(fZ)=fR(X,Y)Z$. More explicitly, $\!\nabla _{X}\nabla _{Y}(fZ)-\nabla _{Y}\nabla _{X}(fZ)-\nabla _{[X,Y]}(fZ)=f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X}-\nabla _{[X,Y]})Z+((XY-YX-[X,Y])f)Z$.

We start out with the left side:

$\nabla _{X}\nabla _{Y}(fZ)-\nabla _{Y}\nabla _{X}(fZ)-\nabla _{[X,Y]}(fZ)$

Each step below is obtained from the previous one via some manipulation explained along side.

Step no.	Current status of left side	Facts/properties used	Specific rewrites
1	$\!\nabla _{X}((Yf)(Z)+f\nabla _{Y}Z)-\nabla _{Y}((Xf)Z+f\nabla _{X}Z)-f\nabla _{[X,Y]}Z-([X,Y]f)Z$	Fact (2)	$\nabla _{Y}(fZ)\to (Yf)(Z)+f\nabla _{Y}Z$ and $\nabla _{X}(fZ)\to (Xf)Z+f\nabla _{X}Z$
2	$\!(XYf)(Z)+(Yf)\nabla _{X}Z+(Xf)\nabla _{Y}Z+f\nabla _{X}\nabla _{Y}Z-(YXf)Z-(Xf)\nabla _{Y}Z-(Yf)\nabla _{X}Z-f\nabla _{Y}\nabla _{X}Z-f\nabla _{[X,Y]}Z-([X,Y]f)Z$	Fact (2)	$\nabla _{X}((Yf)Z)\to X((Yf)Z)+(Yf)\nabla _{X}Z$, etc.
3	$f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X}-\nabla _{[X,Y]})Z+((XY-YX-[X,Y])f)Z$	--	cancellations
4	$f(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X}-\nabla _{[X,Y]})Z+((XY-YX-[X,Y])f)Z$	use $[X,Y]=XY-YX$, definition	cancellation