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

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

145 submissions , 122 unreviewed
3,930 questions , 1,398 unanswered
4,873 answers , 20,701 comments
1,470 users with positive rep
502 active unimported users
More ...

A Theorem Due to Hodge: Hawking/Ellis

+ 7 like - 0 dislike
1593 views

This is probably quite an obscure question but hopefully somebody has a simple answer. I'm studying the proof of the topology theorem on black holes due to Hawking and Ellis (Proposition 9.3.2, p. 335 of their famous book, see also Heusler ``black hole uniqueness theorems" p. 99 Theorem 6.17).

Their proof relies critically on a `theorem due to Hodge' which I have had no success in locating. I own Hodge's book, to which they refer, ``The theory and applications of harmonic integrals", but cannot find the actual theorem they are using.

Specifically, the important expression is (eq. (9.6), p. 336 of Hawking Ellis):

$$p_{b ; d} \hat{h}^{bd} + y_{; bd} \hat{h}^{bd} - R_{ac} Y^{a}_{1} Y^{c}_{2} + R_{adcb} Y^{d}_{1} Y^{c}_{2} Y^{a}_{2} Y^{b}_{1} + p'^{a} p'_{a} \tag{1}$$

They claim one can choose $y$ such that $(1)$ is constant with sign depending on the integral: $$\int_{\partial \mathscr{B}(\tau)} (- R_{ac} Y^{a}_{1} Y^{c}_{2} + R_{adcb} Y^{d}_{1} Y^{c}_{2} Y^{a}_{2} Y^{b}_{1})$$

In the above we have: $\partial \mathscr{B}$ is the horizon surface, $Y^{j}_{1}, Y^{\ell}_{2}$ are future directed null vectors orthogonal to $\partial \mathscr{B}$, $\hat{h}^{ij}$ is the induced metric on $\partial \mathscr{B}$ from the space-time, $p^{a} = - \hat{h}^{ba} Y_{2 c ; b} Y^{c}_{1}$, $y$ is the transformation $\boldsymbol{Y}'_{1} = e^{y} \boldsymbol{Y}_{1}$, $\boldsymbol{Y}'_{2} = e^{-y} \boldsymbol{Y}_{2}$ and fnally $p'^{a} = p^{a} + \hat{h}^{a b} y_{; b}$. So $(1) = \text{cst}$ becomes a differential equation in $y$.

Any ideas on which theorem is invoked?

This post imported from StackExchange Physics at 2014-10-16 11:14 (UTC), posted by SE-user Arthur Suvorov
asked Oct 8, 2014 in Theoretical Physics by Arthur Suvorov (180 points) [ no revision ]
LaTeX tip: use \tag{1} to number your equations. In addition, if you want to add extra spacing, instead of resorting to \, \, \, and so on, you can use the larger \quad.

This post imported from StackExchange Physics at 2014-10-16 11:14 (UTC), posted by SE-user JamalS

1 Answer

+ 4 like - 0 dislike

The claim is not that there exists a $y$ such that (1) is constant but that there exists $y$ such that the sum of the first four terms of (1) is constant. In these four terms, the only dependence in $y$ is the second term, which is exactly the Laplacian of $y$ that I denote $\Delta y$. So we have to solve an equation of the form $\Delta y = f + c$ where $f$ is a given function and where $c$ is a function.

The theorem due to Hodge is the following: Let $X$ be a compact Riemannian manifold and let $g$ be a smooth function on $X$. Then the equation $\Delta y = g$ of unknown $y$ has a solution if and only if $\int_X g vol =0$ (where $vol$ is the natural Riemannian volume form on $X$).

In this theorem, the necessity of the integral condition is clear by Stokes theorem. The non-trivial part is the existence of a solution given this integral condition. This is essentially the "existence fundamental theorem" of p119 of Hodge's book (in fact, Hodge proved much more: what is generally called the Hodge decomposition theorem can be found in many textbooks: see http://en.wikipedia.org/wiki/De_Rham_cohomology for example). In fact, Hawking and Ellis apply this result for $X$ the horizon which is a surface, in this case, the result was known long before Hodge (in his book, Hodge recalls that the case of dimension 2 is classical in the theory of Riemann surfaces).

Applying the theorem shows that given $f$, there exists a constant $c$ such that there exists $y$ with $\Delta y = f+c$, simply $c = - \int_X f$. In their case, Hawking and Ellis compute this integral in the passage following (1).  

answered Oct 16, 2014 by 40227 (4,660 points) [ revision history ]

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$ysicsOverflo$\varnothing$
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).
To avoid this verification in future, please log in or register.




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

Your rights
...