What are the computationally useful ways of thinking about Killing fields? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T16:40:31Z http://mathoverflow.net/feeds/question/31384 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/31384/what-are-the-computationally-useful-ways-of-thinking-about-killing-fields What are the computationally useful ways of thinking about Killing fields? Anirbit 2010-07-11T09:21:38Z 2010-07-11T17:20:09Z <p>One definition of the Killing field is as those vector fields along which the Lie Derivative of the metric vanishes. But for very many calculation purposes the useful way to think of them when dealing with the Riemann-Christoffel connection for a Riemannian metric is that they satisfy the differential equation, $\nabla_\nu X_\nu + \nabla_\nu X_\nu = 0$</p> <p>I suppose solving the above complicated set of coupled partial differential equations is the only way to find Killing fields given a metric. (That's the only way I have ever done it!) Would be happy to know if there are more elegant ways. </p> <p>But what would be the slickest way to say prove that the scalar curvature is constant along a Killing field, i.e it will satisfy the equation $X^\mu \nabla_\mu R = 0$ ? </p> <p>Sometimes it is probably good to think of Killing fields as satisfying a Helmholtz-like equation sourced by the Ricci tensor.</p> <p>Then again very often one first starts off knowing what symmetries one wants on the Riemannian manifold and hence knows the Lie algebra that the Killing fields on it should satisfy. Knowing this one wants to find a Riemannian metric which has that property. As I had asked in <a href="http://mathoverflow.net/questions/30885/frobenius-theorem" rel="nofollow">this earlier question</a></p> <p>There is also the issue of being able to relate Killing fields to Laplacians on homogeneous spaces and H-connection like earlier raised in <a href="http://mathoverflow.net/questions/16746/killing-fields-to-laplacian" rel="nofollow">this question</a>. Good literature on this has been very hard to find beyond the very terse and cryptic appendix of a paper by Camporesi and Higuchi. </p> <p>I would like to know what are the different ways of thinking about Killing fields some of which will say help easily understand the connection to Laplacians, some of which make calculations of metric from Killing fields easier and which ones give good proofs of the constancy of scalar curvature along them. It would be enlightening to see cases where the "original" definition in terms of Lie derivative is directly useful without needing to put it in coordinates. </p> http://mathoverflow.net/questions/31384/what-are-the-computationally-useful-ways-of-thinking-about-killing-fields/31385#31385 Answer by Michael for What are the computationally useful ways of thinking about Killing fields? Michael 2010-07-11T09:29:24Z 2010-07-11T15:12:08Z <blockquote> <p>what would be the slickest way to say prove that the scalar curvature is constant along a Killing Field? </p> </blockquote> <p>The (local) flow of the Killing field must preserve the metric and hence also the scalar curvature. Is that answer too terse?</p> http://mathoverflow.net/questions/31384/what-are-the-computationally-useful-ways-of-thinking-about-killing-fields/31425#31425 Answer by Willie Wong for What are the computationally useful ways of thinking about Killing fields? Willie Wong 2010-07-11T16:09:01Z 2010-07-11T16:09:01Z <blockquote> <p>Sometimes it is probably good to think of Killing fields as satisfying a Helmholtz-like equation sourced by the Ricci scalar. </p> </blockquote> <p>Firstly, the source is not the Ricci scalar, but the Ricci tensor. The equation, up to a minus sign and some constant factors should be $\triangle_g \tau_a \propto R_{ab}\tau^b$.</p> <p>That expression sometimes is useful when you already know the metric and the Killing vector field, and are interested in a priori esimates in geometric analysis. My Ph.D. thesis contains some related examples. (Though in the Riemannian case on a compact manifold, the Bochner technique is generally more fruitful; the classical paper of Bochner's [in the Killing case] is, however, isomorphic to contracting the elliptic equation against the Killing field itself. <a href="http://projecteuclid.org/euclid.bams/1183509635" rel="nofollow">http://projecteuclid.org/euclid.bams/1183509635</a> ) </p> <p>Anyway, the "Helmholtz like" equation is obtained by taking the trace of the Jacobi equation which is satisfied by any Killing vector field. So you are definitely losing information unless you work with only 2 or 3 manifolds. </p>