A few neat bits from Geroch and Horowitz

Manifolds, metrics, orientation

1. A manifold admits a Lorentz metric if and only if its universal covering manifold does. (FALSE)
2. Every flat spacetime admits a nonzero Killing field. (FALSE)
3. Call two Lorentz metrics on $M$ equivalent if there is a diffeomorphism from $M$ to $M$ which sends one to the other. Then each of two equivalent metrics can be continuously deformed to the other. (FALSE)
4. For $M$ a, a manifold, and $p$, a point of $M$, $M$ with $p$ removed is not diffeomorphic with $M$. (FALSE)
5. If spacetime $M, g_{ab}$ has vanishing Weyl tensor, then $\Omega^2 g_{ab}$ is flat for some $\Omega$. (FALSE)
6. If, for $C$ a closed subset of $M$, $M \setminus C$ admits a Lorentz metric, then so does $M$. (FALSE)
7. For $S$, a two-dimensional manifold, and $p$, a point of $S$, $S \setminus p$ is not simply connected. (FALSE)
8. The product of two simply connected manifolds is simply connected. (TRUE)
9. If, for $S$ and $S'$, three-dimensional manifolds, $S \times \mathbb{R}$ and $S' \times \mathbb{R}$ are diffeomorphic then $S$ and $S'$ are diffeomorphic. (FALSE)
10. No compact spacetime is extendible. (TRUE)
11. Every simply connected $4$-manifold which is a product admits a Lorentz metric, except $S^2 \times S^2$. (TRUE)
12. A spacetime is extendible if and only if its universal covering spacetime is. (FALSE)
13. A non-simply connected manifold which admits a Lorentz metric admits one which is neither time-orientable nor space-orientable. (FALSE)
14. A flat spacetime is time-orientable. (FALSE)
15. If each of two spacetimes can be embedded isometrically as an open subset of the other, then the spacetimes are isometric. (FALSE)
16. The sum of two complete vector fields is complete. (FALSE)

Domain of influence

17. If the futures of two points do not intersect, then neither do their pasts. (FALSE)
18. A non-empty subset of a spacetime equal to its own future and its own past is the entire spacetime. (TRUE)
19. A non-compact manifold admits a stably causal Lorentz metric. (TRUE)
20. A stably causal spacetime admits a time-function $t$ with all sub-manifolds $t = \text{constant}$ connected. (FALSE)
21. A manifold which admits a Lorentz metric admits a stably causal Lorentz metric. (FALSE)
22. Every compact spacetime admits a closed timelike curve through every point. (FALSE)
23. A spacetime admitting a closed timelike curve admits a closed null curve. (TRUE)
24. For $p$ a point of a spacetime, the past of the future of the past... of $p$ is the entire spacetime. (TRUE)
25. Fix a point $p$ of a spacetime. We say that $p$ has index $n$ if the past of the future of the past... ($n$ times) of $p$ is the entire spacetime, while this fails for $(n-1)$. Every spacetime has finite index. For every positive integer, there exists a spacetime with that integer as index. Every compact spacetime has finite index. (FALSE, TRUE, TRUE)
26. No spacetime has exactly one closed timelike curve; exactly one closed null curve. (TRUE, FALSE)
27. Every local Maxwell field in the example of figure $5.9$ can be extended to a global field. (TRUE)
28. The set of points a spacetime through which there pass closed timelike curves is open. (TRUE)
29. If there passes a closed timelike curve through $p$, and $q$ precedes $p$, then there passes a closed timelike curve through $q$. (FALSE)
30. There exists a spacetime with points $p$ and $q$ such that these can be joined simultaneously by timelike, null and spacelike geodesics. (TRUE)
31. If the past of $p$ intersects the future of $q$, then the past of $p$ contains $q$. (TRUE)
32. Any two points of a spacetime can be joined by a spacelike curve. (TRUE)
33. For any timelike vector field $t_a$ in Minkowski spacetime, $g_{ab} - t_at_b$ admits no closed timelike curves. (FALSE)
34. In a stably causal spacetime, two points with the same future are the same. (TRUE)
35. If the future of $p$ is the entire spacetime, then through every point of that spacetime there passes a closed timelike curve. (FALSE)
36. If a spacetime violates stable causality, then some open subset of that spacetime with compact closure violates stable causality. (FALSE)
37. If $M, g_{ab}$ is stably causal then, for some timelike $t_a$, $M, g_{ab} - t_at_b$ is stably causal. (TRUE)
38. If the past of $p$ contains the future of $q$, then there is a closed timelike curve through $p$. (TRUE)
39. If a stably causal spacetime has an extension, then it has a stably causal one. (TRUE)

Slices, domain of dependence

40. Every compact slice in a spacetime with Cauchy surface is itself a Cauchy surface.³⁵ (TRUE)
41. No compact spacetime admits an achronal slice. (FALSE)
42. Let $S$ be a three-dimensional manifold, and set $M = S times \mathbb{R}$. Then there exists a Lorentz metric on $M$ which admits a Cauchy surface. (TRUE)
43. The future Cauchy horizon is achronal. (TRUE)
44. Through a point of the future Cauchy horizon there passes a unique past-directed null geodesic remaining in that horizon. (FALSE)
45. All Cauchy surfaces for a spacetime are diffeomorphic. (TRUE)
46. No spacetime with non-compact Cauchy surface admits a compact slice. (TRUE)
47. Through a point of the future Cauchy horizon there passes a future-directed null geodesic remaining, at least for a while, in that horizon. (FALSE)
48. If all connected slices in a spacetime are achronal, then it admits a Cauchy surface. (FALSE)
49. In a spacetime with Cauchy surface, every connected slice is achronal. (FALSE)
50. Let $S$ be an achronal slice not a Cauchy surface. Then the past of the future Cauchy horizon of $S$ includes $S$. (FALSE)
51. Let $S$ be an achronal slice. Then the future domain of dependence of any slice in $D^+(S)$ is itself in $D^+(S)$. (TRUE)
52. Every maximally extended, past-directed null geodesic from a point of $D^+(S)$ meets $S$. (FALSE)
53. For $p$ and $q$ in $D^+(S)$, with $p$ preceding $q$, there is a timelike geodesic joining $p$ and $q$. (FALSE)
54. If the non-empty future Cauchy horizon of $S$ is compact, so is $S$. (TRUE)
55. Two slices having the same domain of dependence are the same. (FALSE)
56. If two points of a stably causal spacetime can be joined by neither a timelike nor null curve, then some connected achronal slice contains them both. (FALSE)
57. If $p$ precedes $q$ in a spacetime with Cauchy surface, then there is a Cauchy surface having $p$ in its past and $q$ in its future. (TRUE)
58. If $S$ is a Cauchy surface, then for no $p$ is $S$ in $I^-(p)$. (TRUE)
59. If through every point of a spacetime there passes an achronal slice, then that spacetime is stably causal. (FALSE)
60. A simply connected spacetime which has a closed timelike curve through every point admits no slices. (TRUE)
61. Every maximally extended null geodesic meets a Cauchy surface. (TRUE)
62. No null curve can meet an achronal slice more than once. (TRUE)
63. For $S$ a Cauchy surface, every point of the spacetime is on $S$, in its future, or in its past. (TRUE)
64. If the closure of $I^-(p)$ meets achronal slice $S$ compactly, then $p$ is in the future domain of dependence of $S$. (FALSE)
65. A spacetime with orientable Cauchy surface is space-orientable. (TRUE)

Singular spacetimes

66. Every spacetime is conformally related to one which is timelike and null geodesically complete. (FALSE)
67. Two points, one of which precedes the other, in a geodesically complete spacetime can be joined by a timelike geodesic. (FALSE)
68. If a spacetime has a compact Cauchy surface with converging normal, and satisfies the energy condition, then every timelike geodesic is incomplete. (TRUE)
69. Every non-compact manifold admits a geodesically complete Lorentz metric. (TRUE)
70. Every compact spacetime is geodesically complete. (FALSE)
71. In a geodesically complete spacetime, every maximally extended timelike curve has infinite length.(FALSE)

[...]

(35) Budic, R. et al. (1978). Commun. Math. Phys., 61, 87