Correct observer's event horizon in de Sitter space-time (Q2630615)

The authors study the properties of the future and past event horizons for the time-like geodesics in de Sitter space-time \(S(R)\). After presenting some definitions and known results about globally hyperbolic space times \(M\), the authors present the exact description of the past event horizon for a time-like geodesic of de Sitter space-time. Denote by \(J^+(L)\) the causal future i.e. the set of all events \(q\in M\) for which there exists future directed curve \(c=c(t),\;t\in[a,b]\) such that \(c(a)\in L\), \(c(b)=q\). The causal past \(J^-(L)\) is defined in a similar way. Theorem 1. Let \(L\) be a time-like geodesic in de Sitter space-time and \(\Gamma^-(L)\) be the past even horizon for \(L\) (observer's event horizon). Then: (1) \(\Gamma^-(L) =S(R)\cap \alpha \) where \(\alpha\) is some hyperplane in \(\mathbb{R}^{n+1}\) which passes through the origin of coordinate system and consists of isotropic geodesics. (2) \(J^+(L) = J^-(-L),\;J^-(L)=-J^+(-L)\). (3) The sets \(J^-(L)\) and \(J^+(-L)\) (respectively \(J^+(L)\) and \(J^-(-L)\)) do not intersect and have joint boundary \(\Gamma ^-(L)\). In particular, the past event horizon for \(L\) coincides with the future event horizon for \(-L\) (respectively, the future event horizon for \(L\) coincides with the past event horizon for \(-L\)). (4) The quotient map \(pr: S(R)\to S^1_n(R)\), gluing antipodal events in \(S(R)\), is diffeomorphism on all open submanifolds \(J^+(L),J^-(-L), J^-(L), J^+(-L)\) which identifies antipodal events of boundaries for these submanifolds (i.e. the corresponding event horizons). (5) The quotient manifold \((S^1_n(R),G)\) is the Lobachevsky space of positive curvature \(1/R^2\).