# Derivations and the curvature tensor

Let ${M}$ be a Riemannian manifold with Riemannian connection ${\nabla}$. A connection is a thing that knows how to differentiate a vector field ${Y}$ in the direction of a vector field ${X}$; the result is denoted by ${\nabla_X Y}$ and is also a vector field. For consistency of notation, it is convenient to write ${\nabla_X f }$ for the derivative of scalar function ${f}$ in the direction ${X}$, even though this derivative does not need a connection: vector fields are born with the ability to differentiate functions.

The pairs ${(f,Y)}$, with ${f}$ a scalar function and ${Y}$ a vector field, form a funky nonassociative algebra ${\mathcal{A}}$ described in the previous post. And ${\nabla_X}$ is a derivation on this algebra, because

• ${\nabla_X(fY) = f\nabla_X Y + (\nabla_X f)Y }$ by the definition of a connection
• ${\nabla_X\langle Y, Z\rangle = \langle \nabla_X Y, Z\rangle + \langle Y, \nabla_X Z\rangle}$ by the metric property of the Riemannian connection.

Recall that the commutator of two derivations is a derivation. Or just check this again: if ${{}'}$ and ${{}^\dag}$ are derivations, then ${ {(ab)'}^\dag = (a'b+ab')^\dag = {a'}^\dag b+a'b^\dag +a^\dag b'+a{b'}^\dag }$ ${ {(ab)^\dag}' = (a^\dag b+ab^\dag)' = {a^\dag }' b+a^\dag b' +a' b^\dag +a{b^\dag}' }$

and the difference ${{(ab)'}^\dag-{(ab)^\dag}'}$ simplifies to what it should be.

Thus, for any pair ${X,Y}$ of vector fields the commutator ${\nabla_X \nabla_Y-\nabla_Y\nabla_X}$ is a derivation on ${\mathcal{A}}$. The torsion-free property of the connection tells us how it works on functions: $\displaystyle (\nabla_X \nabla_Y-\nabla_Y\nabla_X) f = \nabla_{[X,Y]}f=\nabla_{\nabla_XY}f -\nabla_{\nabla_YX}f$

Subtracting ${\nabla_{[X,Y]}f}$ from the commutator, we get a derivation that kills scalar functions, $\displaystyle R(X,Y) = \nabla_X \nabla_Y-\nabla_Y\nabla_X - \nabla_{[X,Y]}$

But a derivation that kills scalar functions is linear over functions: $\displaystyle R(X,Y)(fZ) = R(X,Y)(f)\, Z + f\,R(X,Y)Z = f\,R(X,Y)Z$

In plain terms, ${R(X,Y)}$ processes any given vector field ${Z}$ pointwise, applying some linear operator ${L_p}$ to the vector ${Z_p}$ at every point ${p}$ of the manifold. No derivatives of ${Z}$ are actually taken, either of first or of second order.

Moreover, the derivation property immediately implies that ${R(X,Y)}$ is a skew-symmetric operator: for any vector fields ${Z,W}$ $\displaystyle \langle R(X,Y)Z,W\rangle + \langle R(X,Y)W,Z\rangle = R(X,Y)\langle Z,W\rangle =0$

because ${R(X,Y)}$ kills scalar functions.

The other kind of skew-symmetry was evident from the beginning: ${R(X,Y)=-R(Y,X)}$ by definition.

What is not yet evident is that ${R(X,Y)}$ is also a tensor in ${X}$ and ${Y}$, that is, it does not differentiate the direction fields themselves. To prove this, write ${R(X,Y)=\nabla_{X,Y}^2-\nabla_{Y,X}^2}$ where $\displaystyle \nabla_{X,Y}^2 = \nabla_X \nabla_Y - \nabla_{\nabla_X Y}$ should be thought of as the pointwise second-order derivative in the directions ${X,Y}$ (i.e., the result of plugging two direction vectors into the Hessian matrix). By symmetry, it suffices to show that ${\nabla_{X,Y}^2}$ is a tensor in ${X}$ and ${Y}$. For ${X}$, this is clear from the definition of connection. Concerning ${Y}$, we have ${ \nabla_{X,fY}^2 = \nabla_X (f\nabla_{Y}) - \nabla_{(\nabla_X f) Y+f\nabla_X Y} }$ ${= f \nabla_X \nabla_{Y} + (\nabla_X f )\nabla_{Y} - (\nabla_X f) \nabla_{ Y} - f \nabla_{\nabla_X Y} }$ ${= f \nabla_{X,Y}^2 }$

That’s it, we have a tensor that takes three vector fields ${X,Y,Z}$ and produces another one, denoted ${R(X,Y)Z}$. Now I wonder if there is a way to use the language of derivations to give a slick proof of the first Bianchi identity, ${R(X,Y)Z+R(Y,Z)X+R(Z,X)Y=0}$

To avoid having two picture-less posts in a row, here is something completely unrelated:

This is the image of the unit circle ${|z|=1}$ under the polynomial ${z^3-\sqrt{3}\,\bar z}$. Which area is larger: red or green? Answer hidden below.
{"ft_lang_label":"__label__en","ft_lang_prob":0.93167347,"math_prob":0.999814,"size":2504,"snap":"2020-45-2020-50","text_gpt3_token_len":524,"char_repetition_ratio":0.1608,"word_repetition_ratio":0.0046948357,"special_character_ratio":0.19808307,"punctuation_ratio":0.11691023,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000039,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114],"im_url_duplicate_count":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-12-03T13:40:40Z\",\"WARC-Record-ID\":\"<urn:uuid:68423aa9-4645-459a-872d-d9c8a8941763>\",\"Content-Length\":\"87237\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:0981eb21-4957-4948-afef-4613ffadeb8a>\",\"WARC-Concurrent-To\":\"<urn:uuid:d1141af2-72d8-4250-92bf-21c78a91c093>\",\"WARC-IP-Address\":\"192.0.78.24\",\"WARC-Target-URI\":\"https://calculus7.org/2013/04/05/derivations-and-the-curvature-tensor/\",\"WARC-Payload-Digest\":\"sha1:MAQLS74IMFF3Y6WPKPVZFBTDRXB4PBZY\",\"WARC-Block-Digest\":\"sha1:EA3744LGN7UXJNDTNKFJ7JPIJYX75DAD\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-50/CC-MAIN-2020-50_segments_1606141727782.88_warc_CC-MAIN-20201203124807-20201203154807-00435.warc.gz\"}"}