1: \documentclass[aps,floatfix]{revtex4}
2: \usepackage{graphicx}
3: \usepackage{epsfig}
4:
5: \begin{document}
6:
7: \title{Scalar Polynomial Singularities in Power-Law Spacetimes}
8: \author{Kayll Lake\cite{email}}
9: \affiliation{Department of Physics and Department of Mathematics
10: and Statistics, Queen's University, Kingston, Ontario, Canada, K7L
11: 3N6 }
12: \date{\today}
13:
14:
15: \begin{abstract}
16: Recently, Helliwell and Konkowski (\texttt{gr-qc/0701149}) have
17: examined the quantum ``healing" of some classical singularities in
18: certain power-law spacetimes. Here I further examine classical
19: properties of these spacetimes and show that some of them contain
20: naked strong curvature singularities.
21: \end{abstract}
22: \maketitle
23: \section{Power-law spacetimes}
24: The purpose of this study is to examine scalar polynomial
25: singularities associated with power-law spacetimes that can be
26: given in the form
27: \begin{equation}
28: ds^2=r^{\alpha}dt^2-r^{\beta}dr^2-\frac{r^{\gamma}}{C^2}d\theta^2-r^{\delta}(dz+Ad\theta)^2,\label{general}
29: \end{equation}
30: where $\alpha, \beta, \gamma$ and $\delta$ are (real) constants
31: and $A$ and $C$ are functions of $\theta$ only. Helliwell and
32: Konkowski \cite{hk} have recently considered the quantum
33: ``healing" of classical singularities in the spacetimes
34: (\ref{general}) (for $C$ constant and $A=0$). An elementary
35: transformation in $r$ can be used to simplify (\ref{general}) into
36: two cases and in the notation of Helliwell and Konkowski these
37: are; $\alpha=\beta$ for $\alpha \neq \beta+2$ (Type I) and $\alpha
38: = \beta+2$ (Type II). The present discussion is organized as
39: follows: first we locate all polynomial singularities in these
40: spacetimes, then we examine the affine distance to the
41: singularities along timelike and null geodesics. Further, we
42: examine details in the $t-r$ subspaces, including the construction
43: of double-null coordinates and finally the focusing conditions
44: associated with the singularities.
45: \section{Singularities in Type I}
46: Consider the Newman-Penrose tetrad \cite{np}
47: \begin{equation}
48: l_{a}=r^{\delta}[\sqrt {{r}^{\beta-\delta}},0,-A,-1],\label{l1}
49: \end{equation}
50: \begin{equation}
51: n_{a}=\frac{1}{2}[\sqrt {{r}^{\beta-\delta}},0 ,A,1],\label{n1}
52: \end{equation}
53: \begin{equation}
54: m_{a}=\frac{1}{\sqrt{2}}[0,-\sqrt {{r}^{\beta}},-\frac {i \sqrt
55: {r^{\gamma}}}{C},0]\label{m1}
56: \end{equation}
57: and
58: \begin{equation}
59: \bar{m}_{{a}}=\frac{1}{\sqrt{2}}[0,-\sqrt {{r}^{\beta}},\frac {i
60: \sqrt {r^{\gamma}}}{C},0].\label{mbar1}
61: \end{equation}
62: This tetrad generates the Type I spacetime
63: \begin{equation} \label{type1ds}
64: ds^2=r^{\beta}(dt^2-dr^2)-\frac{r^{\gamma}}{C^2}d\theta^2-r^{\delta}(dz+Ad\theta)^2.
65: \end{equation}
66: The non-vanishing tetrad components of the trace-free Ricci tensor
67: are given by
68: \begin{equation}
69: \Phi 00={\frac {{r}^{\delta} \left( \delta+\gamma-2
70: \right) \left( \beta-\delta \right) }{8{r}^{\beta}{r}^{2}}},
71: \end{equation}
72: \begin{equation}
73: \Phi 02=\frac
74: {\beta\,\gamma-{\delta}^{2}+\delta\,\gamma+\beta\,\delta+2\,\beta+2\,\delta}{16{r}^{\beta}{r}^{2}},
75: \end{equation}
76: \begin{equation}
77: \Phi 11=\frac {-{\gamma}^{2}+\beta\,\gamma+\beta
78: \,\delta+2\,\gamma}{16{r}^{\beta}{r}^{2}}
79: \end{equation}
80: and
81: \begin{equation}
82: \Phi 22=\frac { ( \beta-\delta ) ( \delta+ \gamma-2)
83: }{32{r}^{\beta}{r}^{\delta}{r}^{2}}.
84: \end{equation}
85: The non-vanishing tetrad components of the Weyl tensor are given
86: by
87: \begin{equation}
88: \Psi 0=-\frac {{r}^{\delta} ( -\delta+\gamma+2
89: ) ( \beta-\delta) }{8{r}^{\beta}{r}^{2}},
90: \end{equation}
91: \begin{equation}
92: \Psi 2=-\frac
93: {-3\,\beta\,\delta+{\delta}^{2}+3\,\beta\,\gamma+\delta\,\gamma-2\,{\gamma}^{2}+4\,\gamma-2\,
94: \beta-2\,\delta}{48{r}^{\beta}{r}^{2}}
95: \end{equation}
96: and
97: \begin{equation}
98: \Psi 4=-\frac { \left( -\delta+\gamma+2 \right)
99: \left( \beta-\delta \right) }{32{r}^{\beta}{r}^{\delta}{r}^{2}}.
100: \end{equation}
101: Finally, the Ricci scalar is given by
102: \begin{equation}
103: R=-\frac {-\delta\,\gamma-{\delta}^{2}+2\,
104: \delta+2\,\gamma+2\,\beta-{\gamma}^{2}}{2{r}^{\beta}{r}^{2}}.
105: \label{Ricci}
106: \end{equation}
107:
108: \bigskip
109:
110: In general these spacetimes are of Petrov type I but reduce to
111: Petrov type D (and then O) for the following specializations:
112: $\gamma=\delta$ ($\beta=\delta$), $\gamma=\delta+2$
113: ($\beta=\delta$), $\gamma=\beta$ ($\beta=\delta$,
114: $\beta=\delta-2$), $\gamma=2\beta+2-\delta$ ($\beta=\delta$,
115: $\beta=\delta-2$).
116:
117: \bigskip
118:
119: The tetrad components of the trace-free Ricci and Weyl tensors
120: vanish identically in four cases: (i)
121: $(\beta=\gamma=\delta=0)$, (ii) $(\beta=\delta=0, \gamma=2)$, (iii)
122: $(\beta=\gamma=0,\delta=2)$ and (iv) $(\beta=-2,
123: \delta=\gamma=-2)$. In cases (i), (ii) and (iii) the spacetime is
124: flat. In case (iv) the Ricci scalar reduces to $12$.
125:
126: \bigskip
127:
128: Invariants of any spacetime consist of the Ricci scalar, the
129: invariant of lowest degree, and invariants of higher degree
130: constructed from appropriate products of the tetrad components of
131: the trace-free Ricci and Weyl tensors \cite{CM} \cite{Kret}. From
132: (\ref{Ricci}) it follows that $R$ diverges like
133: $1/{r}^{\beta}{r}^{2}$ as $r\rightarrow0$ unless
134: \begin{equation}
135: \beta=\gamma^2/2-\gamma+\delta^2/2-\delta+\delta \gamma/2.
136: \label{beta}
137: \end{equation}
138: Substitution of $\beta$ from (\ref{beta}) into the Ricci invariant
139: of next degree shows that the invariant diverges like
140: $(1/{r}^{\beta}{r}^{2})^2$ as $r\rightarrow0$ unless \cite{unless}
141: \begin{equation}
142: (\delta-2+\gamma)^2(\delta^2-2 \delta+4+\gamma \delta-2
143: \gamma+\gamma^2)=0.\label{next}
144: \end{equation}
145: Substitution of $\beta$ from (\ref{beta}) and $\delta=2-\gamma$
146: from (\ref{next}) into the first Weyl invariant shows that this
147: invariant diverges like $(1/{r}^{\beta}{r}^{2})^2$ as
148: $r\rightarrow0$ unless
149: \begin{equation}
150: \gamma^2(\gamma-2)^2=0.
151: \end{equation}
152: The case $\gamma=0$ gives $\delta=2$ and $\beta=0$, that is, the
153: flat case (iii). The case $\gamma=2$ gives $\delta=0$ and
154: $\beta=0$, that is the flat case (ii). Substitution of $\beta$
155: from (\ref{beta}) and $\delta^2-2 \delta+4+\gamma \delta-2
156: \gamma+\gamma^2=0$ from (\ref{next}) into the first Weyl invariant
157: shows that this invariant diverges as $(1/{r}^{\beta}{r}^{2})^2$
158: as $r\rightarrow0$ for all real $\gamma$ and $\delta$. Finally,
159: note that both factors in (\ref{next}) cannot vanish
160: simultaneously for real $\gamma$ and $\delta$.
161:
162: \bigskip
163:
164: It follows that for Type I power-law spacetimes, except for the
165: four cases (i) through (iv), the spacetimes contain a scalar
166: polynomial singularity at $r=0$ for all $\beta+2>0$.
167:
168: \section{Singularities in Type II}
169: Now consider the Newman-Penrose tetrad consisting of (\ref{l1})
170: and (\ref{n1}), both with $\beta$ replaced by $\beta+2$, along
171: with (\ref{m1}) and (\ref{mbar1}) unchanged. This tetrad generates
172: the Type II spacetime
173: \begin{equation}\label{type2ds}
174: ds^2=r^{\beta+2}(dt^2-\frac{dr^2}{r^2})-\frac{r^{\gamma}}{C^2}d\theta^2-r^{\delta}(dz+Ad\theta)^2.
175: \end{equation}
176: The non-vanishing tetrad components of the trace-free Ricci tensor
177: are now given by
178: \begin{equation}
179: \Phi 00={\frac {{r}^{\delta} \left(\beta-\delta+2
180: \right) \left( \delta+\gamma \right) }{8{r}^{\beta}{r}^{2}}},
181: \end{equation}
182: \begin{equation}
183: \Phi 02=\frac
184: {\beta\,\gamma-{\delta}^{2}+\delta\,\gamma+\beta\,\delta+2\,\gamma+2\,\delta}{16{r}^{\beta}{r}^{2}},
185: \end{equation}
186: \begin{equation}
187: \Phi 11=\frac {-{\gamma}^{2}+\beta\,\gamma+\beta
188: \,\delta+2\,\gamma+2\,\delta}{16{r}^{\beta}{r}^{2}}
189: \end{equation}
190: and
191: \begin{equation}
192: \Phi 22=\frac { ( \beta-\delta +2) ( \delta+ \gamma)
193: }{32{r}^{\beta}{r}^{\delta}{r}^{2}}.
194: \end{equation}
195: The non-vanishing tetrad components of the Weyl tensor are now
196: given by
197: \begin{equation}
198: \Psi 0=-\frac {{r}^{\delta} ( -\delta+\beta+2
199: ) ( \gamma-\delta) }{8{r}^{\beta}{r}^{2}},
200: \end{equation}
201: \begin{equation}
202: \Psi 2=-\frac {\left( \gamma-\delta \right)
203: \left(-\delta-2\gamma+6+3\beta \right) }{48{r}^{\beta}{r}^{2}},
204: \end{equation}
205: and
206: \begin{equation}
207: \Psi 4=-\frac { \left( -\delta+\beta+2 \right)
208: \left( \gamma-\delta \right) }{32{r}^{\beta}{r}^{\delta}{r}^{2}}.
209: \end{equation}
210: Finally, the Ricci scalar is now given by
211: \begin{equation}
212: R=\frac {{\delta}^{2}+\,
213: \delta\gamma+\,{\gamma}^{2}}{2{r}^{\beta}{r}^{2}}. \label{Ricci2}
214: \end{equation}
215:
216: \bigskip
217:
218: In general these spacetimes are of Petrov type I but reduce to
219: Petrov type O for $\gamma=\delta$, and Petrov type D (and then O)
220: for the following specializations: $\gamma=\beta+2$
221: ($\beta=\delta-2$), $\gamma=2\beta+4-\delta$ ($\beta=\delta-2$).
222:
223: \bigskip
224:
225: The tetrad components of the trace-free Ricci and Weyl tensors now
226: vanish identically only for $\delta=\gamma=0$ in which case the
227: spacetime is flat. Except in this case the Ricci scalar itself
228: diverges like $1/{r}^{\beta}{r}^{2}$ as $r\rightarrow0$.
229:
230: \bigskip
231:
232: It follows that for Type II power-law spacetimes, except for the
233: flat case $\delta=\gamma=0$, the spacetimes contain a scalar
234: polynomial singularity at $r=0$ for all $\beta+2>0$.
235:
236: \section{Affine distance to the singularities}
237:
238: Geodesics of the spacetimes (\ref{general}) satisfy
239: \begin{equation}
240: r^{\beta}\dot{r}^2=\frac{c_1^2}{r^{\alpha}}-\frac{r^{\gamma}\dot{\theta}^2}{C^2}-\frac{c_2^2}{r^{\delta}}-2\mathcal{L}
241: \label{geodesics}
242: \end{equation}
243: where $2\mathcal{L}=0$ in the null case and $2\mathcal{L}=1$ in
244: the timelike case, $c_1$ and $c_2$ are constants of the motion and
245: $ \dot{} \equiv d/d\lambda$ where $\lambda$ is an affine
246: parameter. It follows from (\ref{geodesics}) that
247: \begin{equation}
248: \lambda_{*}- \lambda_{0} \geq
249: \int_{0}^{r_{*}}r^{(\alpha+\beta)/2}dr \label{affine}
250: \end{equation}
251: where $\lambda_{*}$ and $r_{*}$ are finite and non-zero. As a
252: result, the singularities at $r=0$ are at finite affine distance
253: if and only if
254: \begin{equation}
255: \alpha+\beta+2>0.\label{finite}
256: \end{equation}
257: Whereas condition (\ref{finite}) offers no further restriction on
258: $\beta$ for singularities in Type II spacetimes (we again have
259: $\beta+2>0$), for Type I spacetimes we obtain the refined
260: condition $\beta+1>0$ for singularities, assuming, as usual, that
261: they must be at a finite affine distance.
262:
263: \section{the $t-r$ subspaces $\Sigma$}
264: In what follows we examine in further detail the $t-r$ subspaces
265: (designated by $\Sigma$) of the spacetimes (\ref{general}). Since
266: we are primarily interested in the structure of the singularities
267: at $r=0$ we first explore the conditions under which null
268: geodesics can terminate there. Now transforming from $\theta$ to
269: $\tilde{\theta}$ where $d \theta/C(\theta)=d \tilde{\theta}$ we
270: have a constant of the motion $c_{3}$ and the null geodesic
271: equation can be given as
272: \begin{equation}\label{fullnull}
273: r^{\beta}
274: \dot{r}^2=\frac{1}{r^{\alpha}}-\frac{c_{2}^2}{r^{\delta}}-\frac{c_{3}^2}{r^{\gamma}}
275: \end{equation}
276: where, without loss in generality, we have set $c_{1}^2=1$. There
277: are four cases of interest: (i) If $c_{2}=c_{3}=0$ then clearly
278: there are no turning points $\dot{r}=0$ at finite $r$. (ii) If
279: $c_{2}=0, c_{3}\neq0$ then there is a minimum $r$ at $r_{0}>0$ for
280: $\alpha \geq \gamma$. (iii) If $c_{2}=0, c_{3}\neq0$ then there is
281: a minimum $r$ at $r_{0}>0$ for $\alpha \geq \delta$. (iv) If
282: $c_{2} \neq 0$ and $c_{3}\neq0$ then there is a minimum $r$ at
283: $r_{0}$ where
284: \begin{equation}\label{min}
285: \frac{1}{r_{0}^{\alpha}}=\frac{c_{2}^2}{r_{0}^{\delta}}+\frac{c_{3}^3}{r_{0}^{\gamma}}
286: \end{equation}
287: as long as the constants of the motion satisfy
288: \begin{equation}\label{c2}
289: c_{2}^2(\delta-\gamma)\leq(\alpha-\gamma)r_{0}^{\delta-\alpha}
290: \end{equation}
291: and
292: \begin{equation}\label{c3}
293: c_{3}^2(\gamma-\delta)\leq(\alpha-\delta)r_{0}^{\gamma-\alpha}.
294: \end{equation}
295: If there are minima in $r$ along null geodesics then a discussion
296: in the $t-r$ subspace of the spacetimes (\ref{general}) below the
297: minima is adequate for these geodesics in the sense that they do
298: not populate that region of the $t-r$ subspace. However, since
299: there are geodesics for which $c_{2}$ and $c_{3}$ do not vanish
300: simultaneously and which terminate at $r=0$, the $t-r$ subspaces
301: are not totally geodesic and discussions restricted to these
302: subspaces are not complete. However, an examination of these
303: subspaces is, though incomplete, very instructive. We now
304: construct double- null coordinates and examine focusing
305: conditions.
306:
307: \subsection{Double Null Coordinates}
308: It is clear from (\ref{type1ds}) and (\ref{type2ds}) that the
309: trajectories $r=r_{0}=constant >0$ are timelike for $r>0$.
310: However, the nature of the singularities at $r=0$ is not clear.
311: Here we construct double-null coordinates to clarify the nature of
312: the singularities. By double-null coordinates we mean coordinates
313: which label affinely parameterized null geodesics of the full
314: spacetime. The associated spacetime diagrams that we draw are,
315: however, restricted to the $t-r$ subspaces.
316: \subsubsection{Type I}
317: On $\Sigma$ we have
318: \begin{equation}\label{sigma1}
319: ds^2_{\Sigma}=r^{\beta}(dt-dr)(dt+dr).
320: \end{equation}
321: Introducing null coordinates $u$ and $v$ where $u=constant$ along
322: $dt=dr$ and $v=constant$ along $dt=-dr$ and writing $r=f(u,v)$ and
323: $t=g(u,v)$ it follows that
324: \begin{equation}\label{type1uv}
325: f(u,v)=g(u,v)+F(u)=-g(u,v)+H(v).
326: \end{equation}
327: With the choices
328: \begin{equation}\label{type1uvchoice}
329: F(u)=2u,\;\;\;H(v)=2v,
330: \end{equation}
331: we have
332: \begin{equation}\label{type1rt}
333: r=u+v,\;\;\;t=v-u,
334: \end{equation}
335: so that
336: \begin{equation}\label{dstype1uv}
337: ds^2_{\Sigma}=-4(u+v)^{\beta}dudv
338: \end{equation}
339: where we have orientated the future so that $dv>0$ but $du<0$. We
340: have the following tangents to null geodesics in the full
341: spacetime (\ref{type1ds}) subject to the transformations
342: (\ref{type1rt}): along $v=v_{0}=constant$
343: \begin{equation}\label{k^atype1}
344: k^{a}= -\frac{\delta_{u}^{a}}{(u+v_{0})^{\beta}}
345: \end{equation}
346: so that $k^{b}\nabla_{b}k^{a}=0$ and along $u=u_{0}=constant$
347: \begin{equation}\label{l^a}
348: l^{a}= \frac{\delta_{v}^{a}}{(v+u_{0})^{\beta}}
349: \end{equation}
350: so that $l^{b}\nabla_{b}l^{a}=0$. As a result, the singularities
351: at $r=0$ are at finite affine distance only for $\beta+1>0$ as
352: discussed above. The trajectories $r=constant$ are straight
353: vertical lines and timelike throughout the $u-v$ diagram.
354: Trajectories of constant $t$ are straight horizontal lines and
355: spacelike throughout the $u-v$ diagram. A diagram is shown below
356: in Figure\ref{type1f}.
357: \begin{figure}[ht]
358: \epsfig{file=typ1new.eps,height=2.5in,width=2.5in,angle=0}
359: \caption{\label{type1f}Representation of the $t-r$ subspace for
360: Type I power-law spacetimes in the double-null coordinates $u$ and
361: $v$. The singularity at $r=0$ is timelike.}
362: \end{figure}
363: \subsubsection{Type II}
364: On $\Sigma$ we now have
365: \begin{equation}\label{sigma2}
366: ds^2_{\Sigma}=r^{\beta+2}(dt-\frac{dr}{r})(dt+\frac{dr}{r}).
367: \end{equation}
368: Introducing null coordinates $u$ and $v$ where now $u=constant$
369: along $dt=\frac{dr}{r}$ and $v=constant$ along $dt=-\frac{dr}{r}$
370: and again writing $r=f(u,v)$ and $t=g(u,v)$ it now follows that
371: \begin{equation}\label{type2uv}
372: f(u,v)=F(u)e^{g(u,v)}=H(v)e^{-g(u,v)}.
373: \end{equation}
374: With the choices
375: \begin{equation}\label{type2uvchoice}
376: F(u)=u^2,\;\;\;H(v)=v^2,
377: \end{equation}
378: so that $u$ and $v$ are not simultaneously zero, we have
379: \begin{equation}\label{type2rt}
380: r=uv,\;\;\;t=\ln(\frac{v}{u}),
381: \end{equation}
382: so that
383: \begin{equation}\label{nulltype2}
384: ds_{\Sigma}^{2}=-4 (u v)^{\beta +1}d u d v
385: \end{equation}
386: where again we have orientated the future so that $dv >0$ but $d u
387: < 0$. We now have tangents to null geodesics in the full spacetime
388: (\ref{type2ds}) subject to the transformations (\ref{type2rt})
389: \begin{equation}\label{k^a2}
390: k^{a}= -\frac{\delta_{u}^{a}}{u^{\beta+1}}
391: \end{equation}
392: so that $k^{b}\nabla_{b}k^{a}=0$ and
393: \begin{equation}\label{l^a2}
394: l^{a}= \frac{\delta_{v}^{a}}{v^{\beta+1}}
395: \end{equation}
396: so that $l^{b}\nabla_{b}l^{a}=0$. As a result, the singularities
397: at $r=0$ are at finite affine distance only for $\beta+2>0$ also
398: as shown above. The surfaces $r=constant >0$ are now hyperbolae in
399: the $u-v$ diagram and timelike. They become the degenerate null
400: hyperbola for $r=0$. Trajectories of constant $t$ are straight
401: lines through the origin $u=v=0$ which is a point of internal
402: infinity. A diagram is shown below in Figure\ref{type2f}.
403: \begin{figure}[ht]
404: \epsfig{file=typ2new.eps,height=2.5in,width=2.5in,angle=0}
405: \caption{\label{type2f}Representation of the $t-r$ subspace for
406: Type II power-law spacetimes in the double-null coordinates $u$
407: and $v$. The singularity at $r=0$ is either past or future null.
408: The origin $u=v=0$ is a point of internal infinity.}
409: \end{figure}
410:
411: \subsection{Focusing conditions} In this section we consider a
412: unified treatment of both types of spacetime. The vector
413: \begin{equation}
414: k^{a}=(1/r^{\alpha},\pm 1/r^{(\alpha+\beta)/2},0,0)\label{null}
415: \end{equation}
416: is tangent to a class of null geodesics of the spacetimes
417: (\ref{general}) and we use (\ref{null}) to examine focusing
418: conditions in the $t-r$ subspaces. Define
419: \begin{equation}
420: \Psi\equiv\lambda^nR_{ab}k^{a}k^{b}\label{focus}
421: \end{equation}
422: where $R_{ab}$ is the Ricci tensor. We find
423: \begin{equation}
424: \Psi=r^{(n/2-1)(\alpha+\beta+2)} \Delta\label{focuspower}
425: \end{equation}
426: where
427: \begin{equation}
428: \Delta=2\beta(\gamma+\delta)+\gamma(2-\gamma)+\delta(2-\delta)\equiv\Delta_{I}\label{deltaI}
429: \end{equation}
430: for Type I and
431: \begin{equation}
432: \Delta=2\beta(\gamma+\delta)+\gamma(4-\gamma)+\delta(4-\delta)\equiv\Delta_{II}\label{deltaII}
433: \end{equation}
434: for Type II. Clearly $\Psi=0 \;\forall \;n$ with $\Delta=0$. For
435: $\Delta\neq0$, $\Psi\rightarrow0$ as $r\rightarrow0$ for $n>2$ and
436: $|\Psi|\rightarrow\infty$ as $r\rightarrow 0$ for $n<2$. For
437: $n=2$, $\Psi=\Delta$ and for $\Delta>0$ the singularities at
438: $r=0$ satisfy the strong curvature condition \cite{clarke}.
439: \section{Conclusions}
440: Type I spacetimes can have strong curvature timelike
441: naked singularities at $r=0$ for $\beta+1>0$ and $\Delta_{I}>0$.
442: Type II spacetimes can have strong curvature past-null naked
443: singularities at $r=0$ for $\beta+2>0$ and $\Delta_{II}>0$.
444: \begin{acknowledgments}
445: It is a pleasure to thank Thomas Helliwell and Deborah Konkowski
446: for comments and in particular for suggesting a clarification of
447: the Type II singularities. This work was supported by a grant from
448: the Natural Sciences and Engineering Research Council of Canada
449: and was made possible by use of \textit{GRTensorII} \cite{grt}.
450: \end{acknowledgments}
451:
452: \begin{thebibliography}{}\label{sec:TeXbooks}
453: \bibitem[*]{email}{Electronic Address: lake@astro.queensu.ca}
454: \bibitem{hk} T. M. Helliwell and D. A. Konkowski gr-qc/0701149
455: \bibitem{np}See, for example, H. Stephani, D. Kramer, M. MacCallum, C. Hoenselaers and
456: E. Herlt, \textit{Exact Solutions of Einstein's Field Equations}
457: (Cambridge University Press, Cambridge, 2003) chapter 7.
458: \bibitem{CM}See, for example, H. Stephani \textit{et al.} \cite{np} chapter 9.
459: \bibitem{Kret}The Kretschmann scalar (the full contraction of the
460: Riemann tensor) is not used here since it is a linear combination
461: of the square of the Ricci scalar, the first Ricci invarinat and
462: the real component of the first Weyl invariant.
463: \bibitem{unless}We exclude factors which have no non-vanishing real roots.
464: \bibitem{clarke} See, for example, C. J. S. Clarke,\textit{ The Analysis of Space-Time Singularities}
465: (Cambridge University Press, Cambridge, 1993).
466: \bibitem{grt}This is a package which runs within Maple. It is entirely
467: distinct from packages distributed with Maple and must be obtained
468: independently. The GRTensorII software and documentation is
469: distributed freely on the World-Wide-Web from the address \textit{
470: http://grtensor.org}
471: \end{thebibliography}
472: \end{document}
473: