Timeline for Lie derivative of curvature
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 28, 2013 at 15:13 | comment | added | Moduli | @Deane Yang: Thanks for your clear explanation. | |
| Feb 28, 2013 at 15:12 | vote | accept | Moduli | ||
| Feb 28, 2013 at 3:57 | answer | added | Peter Michor | timeline score: 6 | |
| Feb 28, 2013 at 3:04 | comment | added | Deane Yang | In particular, if you integrate a Killing vector field, you get a 1-parameter family of isometries. Pulling back the curvature tensor by an isometry gives the original curvature tensor. So if you differentiate the 1-parameter family of curvature tensors obtained by pulling back with the 1-parameter family of isometries, you get the zero tensor. | |
| Feb 28, 2013 at 2:31 | comment | added | Robert Haslhofer | Yes, that's true for any Killing field (Kahler and holomorphic is not needed). | |
| Feb 28, 2013 at 2:09 | history | asked | Moduli | CC BY-SA 3.0 |