Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,789 comments
1,470 users with positive rep
820 active unimported users
More ...

  Obtaining Killing fields from the tetrad

+ 4 like - 0 dislike
1514 views

I'm reading the following article by Newman

http://scitation.aip.org/content/aip/journal/jmp/4/7/10.1063/1.1704018

about the generalization of the Schwarzschild metric. My question is the following: after the author obtained the tetrad (resp. the metric) on page 5 of the article, he then proceeds to write down the corresponding four killing fields $\xi$ satisfying $\nabla_{\nu}\xi_{\mu}+\nabla_{\mu}\xi_{\nu}=0$. How can one obtain these Killing fields from the tetrad components? That is, I can check explicitly that they really satisfy the Killing equation but I don't know how to get them to start with.

My question is also valid in a general context: given a null tetrad, how does one calculate the Killing fields?

Any hints will be appreciated.

This post imported from StackExchange MathOverflow at 2015-10-17 20:47 (UTC), posted by SE-user GregVoit
asked Sep 21, 2015 in Theoretical Physics by GregVoit (115 points) [ no revision ]
retagged Oct 17, 2015

2 Answers

+ 6 like - 0 dislike

My answer will be a bit more charitable than Willie's. There is an algorithm (sort of) to compute the dimension of the solution space of the Killing equation. Whether it is simple or not, you can decide for yourself.

The Killing equation is an example of an (overdetermined) equation of finite type. This means that knowing the solution (up to finitely many derivatives) at one point is sufficient to determine it everywhere (up to possible multi-valuedness, when the domain is not simply connected). This property is a stronger version of something like analytic continuation. In the case of analytic continuation, the knowledge of all derivatives of a holomorphic function at a point determines it everywhere. For functions satisfying equations of finite type, we only need the knowledge of the derivatives up to some finite number, say $k$, and then all higher derivatives can be deduced from the known ones. To determine the full solution space one need only study the allowed values of the first $k$ derivatives (also known as the $k$-jet). Under the simplifying assumption that the subset of admissible values of the $k$-jet at a point is smooth, as well as varies smoothly from point to point, the the dimension of the subset of admissible $k$-jets will be the dimension of the solution space (at least on a simply-connected domain). (I'm actually not sure how this theory works when this simplifying assumption doesn't hold, but I think that any irregularities in the geometry of the set of admissible $k$-jets will only reduce the dimension of the solution space).

Just a few more details about how the the continuation of a solution from a point to the whole domain. Let me denote the space of $k$-jets by $J^k$ and the subset of admissible $k$-jets by $\mathcal{E} \subset J^k$. By our assumption, $\mathcal{E}$ is a smooth bundle over the domain. Since give a $k$-jet of the solution we can compute the $(k+1)$-jet as well, we can define a hyperplane distribution in $T\mathcal{E}$ (hyperplanes of the same dimension as the domain) to which the jet extended graph of any solution must be tangent. This distribution will actually be integrable and hence, by the Frobenius theorem, will define a foliation on $\mathcal{E}$. Each leaf of this foliation will be the $k$-jet extended graph of a (possibly multivalued) solution on the whole domain.

Why does the Killing equation have this structure? The answer follows from the following exercise: prove that if $\nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu = 0$, then $\nabla_{(\mu_1} \cdots \nabla_{\mu_l)} \xi_\nu = 0$ for any $l\ge 2$. A bit of knowledge of the theory of Yang diagrams and the Littlewood-Richardson rule will give you the answer without any explicit calculation, but it's not necessary to take that approach.

So, for the Killing equation, we can take $k=1$. Note that this means that the dimension of the solution space cannot be greater than the $1$-jet of $\xi_\mu$. In $4$ dimensions, this number is $4+4*4 = 20$. However, the Killing equation itself already tells us that $4*(4+1)/2=10$ of these $20$ components are determined by the equation, leaving at most $20-10 = 10$ as an upper bound on the dimension of the space of admissible jets, and hence the solution space. As is well known, this bound is in fact saturated on maximally symmetric spaces (Minkowski or (A)dS).

It remains to identify all other constraints on the admissible $1$-jets of Killing vectors. In general, these are known as integrability conditions. For the Killing equation, it is known that a complete list of integrability conditions is given by $\mathcal{L}_\xi \nabla_{\mu_1} \cdots \nabla_{\mu_l} R_{\alpha \beta \gamma \delta} = 0$, that is, the Lie derivative of the Riemann tensor and all of its covariant derivatives must vanish. I believe that this is what Willie meant under in the somewhat confusing phrasing "By virtue of the definition, Killing vectors are orthogonal to the gradient of curvature invariants." So, if you known enough about the Riemann tensor to conclude that after a sufficiently large $l$ you do not get any new constraints of the $1$-jet of $\xi_\mu$, you can apply the theory described above and obtain the dimension of the space of Killing vectors. (One should not think that it is easy to figure out how to know "sufficiently much" about the Riemann tensor in this way.) One way this happens is when some finite $l$ is sufficient to reduce the admissible $1$-jets to $\xi_\mu = 0$ and $\nabla_{[\mu} \xi_{\nu]} = 0$ at every point, meaning that the dimension of the solution space is $0$. This is the case for generic metrics.

While I gave the list of integrability conditions in terms of the Riemann tensor and its covariant derivatives, it's conceptually straight forward to convert them to formulas that use the tetrad analogs of these quantities.

This post imported from StackExchange MathOverflow at 2015-10-17 20:47 (UTC), posted by SE-user Igor Khavkine
answered Sep 21, 2015 by Igor Khavkine (420 points) [ no revision ]
Thank you for an extensive answer!

This post imported from StackExchange MathOverflow at 2015-10-17 20:47 (UTC), posted by SE-user GregVoit
+ 2 like - 0 dislike

You can't.

In general the Killing equation is not solvable (besides the trivial solution) on an arbitrary metric background (this is because arbitrary metrics do not, even locally, admit Killing vectors). When nontrivial solutions exist, their number can go anywhere from 1 to 10 (in four dimensions). Therefore there is no simple "algorithm" to compute the Killing fields based on metric data.

This post imported from StackExchange MathOverflow at 2015-10-17 20:47 (UTC), posted by SE-user Willie Wong
answered Sep 21, 2015 by Willie Wong (580 points) [ no revision ]
thank you for the answer. Could you maybe recommend a way of trying to obtain these fields though? I mean, the author of the article somehow came up with them. What are the options? @Willie Wong

This post imported from StackExchange MathOverflow at 2015-10-17 20:47 (UTC), posted by SE-user GregVoit
Make guesses and check? (This is also called "by inspection" if you want to sound fancy.) But seriously the authors probably have some idea what metric they are constructing, with certain particular properties that they want. Making educated guesses in this situation is not too hard. \\ Another option is to compute some curvature invariants. By virtue of the definition, Killing vectors are orthogonal to the gradient of curvature invariants. So given sufficiently many curvature invariants sometimes you can prove that there are no Killing vectors.

This post imported from StackExchange MathOverflow at 2015-10-17 20:47 (UTC), posted by SE-user Willie Wong

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysic$\varnothing$Overflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...