Topics (318k) Articles (329k) Users (390) Discussions (237) Comments (383) Files (10k) New article
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 61 4 Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Take both curvature radii to be one. Coordinate ranges depend on the global identification, which a line element alone cannot fix. For the ordinary two-dimensional de Sitter spacetime,This is the unit hyperboloid in ambient signature , parametrized by , , . Unwrapping instead gives its universal cover.
For two-dimensional anti-de Sitter spacetime, the embedding in ambient signature is parametrized by , , . On this hyperboloid and is periodic modulo , creating closed timelike circles. The physically usual universal cover removes that periodicity:Both signs of are needed for the full two-dimensional spatial line. Taking without an additional construction would omit one of its two ends. The following causal comparison uses the AdS universal cover.
Both models are maximally symmetric Lorentzian manifolds, with constant sectional curvature and no curvature singularities. In the paper's convention their Ricci scalars are respectively and . The de Sitter spatial scale factor contracts to a nonzero minimum and then expands; is not a big-bang singularity. The AdS metric is static, and is timelike everywhere because .
The embeddings give a concise classification of all affinely parametrized geodesics. Geodesic acceleration in the ambient space is normal to the hyperboloid, hence proportional to . Differentiating the constraint and setting , with for timelike, null and spacelike curves, givesEvery solution stays in the two-plane spanned by its initial point and tangent , so every geodesic is a plane section through the ambient origin. For de Sitter, these are for timelike curves, for null curves, and for spacelike curves. Thus timelike geodesics and null geodesics are complete and nonclosed, while spacelike geodesics are closed circles on the ordinary hyperboloid. These are the geodesics of two-dimensional de Sitter spacetime.
For AdS the roles of the circular and hyperbolic solutions are reversed: timelike curves are , null curves are , and spacelike curves are . Timelike curves close after proper time on the hyperboloid, but their lifts on the universal cover continue to ever later time rather than forming closed curves. All three kinds extend for arbitrary affine parameter. This is geodesics of two-dimensional anti-de Sitter spacetime, not an assertion that geodesics reach the conformal boundary in finite physical affine length.
The coordinate first integrals make the behavior concrete. In de Sitter, spatial rotational symmetry gives a conserved , and normalization givesConstant- observers are timelike geodesics. Nontrivial null geodesics have affine parameter proportional to , which diverges at both . In AdS the conserved static energy is , withFor timelike curves, andThey oscillate through the center and never reach spatial infinity; is the geodesic. For null curves, , so both ends are at infinite affine parameter. Spacelike AdS geodesics likewise extend to the two spatial ends.
For the conformal structure, introduce de Sitter conformal timeMultiplying by gives the conformal cylinder of two-dimensional de Sitter spacetime. The past and future conformal infinities are spacelike circles at . Null curves are modulo . Although the conformal-time interval is finite, their physical affine parameters and timelike observers' proper times are infinite at its ends. Constant- circles are Cauchy hypersurfaces; global de Sitter is globally hyperbolic.
For AdS putThe conformal strip of two-dimensional anti-de Sitter spacetime has unbounded time and timelike conformal boundaries at . Null curves have . A signal from any finite reaches the center in coordinate time , and a null curve crosses the entire conformal strip in time . This finite coordinate travel time coexists with infinite physical affine length to the boundary. The covering spacetime has no closed timelike curves, but is not globally hyperbolic: causal curves can arrive from timelike infinity without meeting a proposed initial slice. Field evolution consequently requires boundary conditions as well as initial data. Unwrapping time removes closed timelike curves, not the timelike boundary.
The contrast in observer event horizons follows directly from these null curves. For the complete de Sitter observer , let be shortest angular distance. An event can send a signal to this observer before its future endpoint precisely whenEquality is its future observer event horizon. It can receive a signal emitted by the observer after its past endpoint precisely when , whose equality is the past horizon. In the observer's fundamental domain these horizons are null linesTheir intersection encloses the observer's static patch of de Sitter spacetime, the diamond . They are observer-dependent cosmological horizons, not curvature singularities or Cauchy horizons. Every inertial observer has the corresponding horizons by de Sitter symmetry.
For the complete AdS static observer at , every event at finite can send a signal to the observer, and can receive one, because time is unbounded and the coordinate distance is finite. Thus there is no corresponding global static-observer event horizon. The lapse never vanishes in these coordinates. Restricted accelerated-observer patches can have observer horizons, but those are distinct from the global static model. On the original periodic-time AdS hyperboloid, the more serious issue is closed timelike curves.
Conformal cylinder of de Sitter and covering anti-de Sitter strip, showing null geodesics, observer horizons and causal boundaries
. Details. The figure identifies the de Sitter spatial edges and displays only a finite time window of the AdS covering strip, whose time continues indefinitely. Solid red curves are null geodesics; the oscillating AdS curve is a timelike geodesic. The shaded de Sitter diamond is the static observer's two-way communication region, not the entire spacetime.
The concise comparison is de Sitter has spacelike conformal infinities and cosmological observer horizons; covering AdS has timelike conformal boundaries and no horizon for an eternal global static observer. Both are constant-curvature and geodesically complete, but their geodesic recurrence, global topology, causal boundaries and initial-value properties differ.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 61 3 Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Raise perturbation indices with the background Minkowski metric. To first order, the inverse metric is and the Levi-Civita connection isQuadratic connection products in the Riemann curvature tensor are of order . Substitution into the paper's curvature convention givesThe signs follow the convention on the cover sheet; reversing the curvature definition would reverse this expression.
The gauge freedom is the freedom to identify points of the perturbed spacetime with points of the flat background in slightly different coordinates. Under the passive infinitesimal change , the metric transformation law gives the linearized coordinate gauge transformationThus a nonzero perturbation can partly represent a coordinate change rather than physical curvature. Substituting this variation into the displayed curvature formula givesEach third derivative has a partner differing only by the order of its commuting partial derivatives. This explicitly proves gauge invariance of the linearized Riemann tensor. The restriction to first order matters: a coordinate change acts on nonzero background curvature as well, but the background here is flat.
Define the trace-reversed metric perturbation and d'Alembert operator byIn four dimensions and . Contract the curvature formula using :up to . Consequently the Einstein tensor isChoose Lorenz gauge in linearized gravity, . It can be imposed locally by solving , since the gauge transformation changes this divergence by . The remaining coordinate freedom satisfies . In this gauge,This is the requested Linearized Einstein equations in the stated sign convention. Their divergence requires to this order.
For the photon beam, introduce and the constant null covector , so . The stress-energy tensor isIt is trace-free and conserved: . A beam-adapted particular solution, with no independently added homogeneous gravitational field, isThe equality follows because its trace is zero, and the Lorenz condition holds because . The field equation becomes a transverse Poisson equation:For the transversely uniform source in the question, one particular solution is . Thus the sourced components can be chosen asBoundary conditions and homogeneous solutions determine additional freedom; the source does not uniquely specify every component in every gauge. In particular, taking to depend only on would give and cannot solve the equation for nonzero . The uniform idealization is not an asymptotically flat finite beam, and its quadratic particular solution is a weak-field description only where .
Finally consider another photon with tangent proportional to . Its tangent remains null because . Moreover , and since is constant, the connection contraction isThe geodesic equation is therefore satisfied by a straight affinely parametrized ray along the beam. Hence co-propagating photons experience no deflection from the beam's gravitational field. This is parallel photon beams in linearized gravity; it does not assert absence of forces on counter-propagating photons or effects from unrelated homogeneous gravitational perturbations.
Pinned article: Introduction to the OurBigBook Project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
Intro to OurBigBook
. Source. We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivativeVideo 2. OurBigBook Web topics demo. Source. - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.Figure 5. . You can also edit articles on the Web editor without installing anything locally. Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension. - Infinitely deep tables of contents:
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact






