Talk:Geroch's splitting theorem