menu

School of Physics and Astronomy

Astronomy Unit menu

A dezornification of the proof of the existence of a maximal Cauchy development for the Einstein equations

26 November 2014

Time: 4:30pm
Venue: Room 516
Series: 
The London Relativity and Cosmology Seminar
Speaker: 
Jan Sbierski (DAMTP)
 
Abstract: 
In 1969, Choquet-Bruhat and Geroch showed that there exists a unique maximal Cauchy development of given initial data for the Einstein equations. Their proof, however, has the unsatisfactory feature that it relies crucially on the axiom of choice in the form of Zorn's lemma. In particular, their proof ensures the existence of the maximal development without actually constructing it. 
 

In this talk, we present a proof of the existence of a maximal Cauchy development which avoids the use of Zorn's lemma and, moreover, provides an explicit construction of the maximal development.

Return to top