bcrowell said:
The Hawking singularity theorem
http://en.wikipedia.org/wiki/Singularity_theorems , combined with observation, proves that there was a big bang singularity. (This is within the context of GR, not other theories, and it assumes certain energy conditions
http://en.wikipedia.org/wiki/Energy_condition .) That means that, since about the 1970's, it's been clear that no static spacetime can be a valid cosmological model of our universe.
I think this statement is misleading without further explanation, for instance one can read in the wiki article:
Wiki quote
"Hawking's singularity theorem is for the whole universe, and works backwards-in-time: in Hawking's original formulation, it guaranteed that the Big Bang has infinite density.
Hawking later revised his position in "A Brief History of Time" (1988) where he stated "There was in fact no singularity at the beginning of the universe" (p50). This revision followed from quantum mechanics, in which general relativity must break down at times less than the Planck time. Hence
general relativity cannot be used to show a singularity
" End Quote
So what the Hawking theorem proved in the 70's first version is that every FRW solution of General relativity (without cosmological constant) must have an initial singularity with infinite density, so first of all it only applies to a certain type of GR solutions and it claims nothing about other cosmological models, static or otherwise. But the later revision of the theorem doesn't even assert this.
This is reinforced later in the article by remembering that :
Wiki quote
"During inflation, the universe violates the stronger dominant energy condition (but not the weak energy condition), and
inflationary cosmologies avoid the initial big-bang singularity, rounding them out to a smooth beginning." End quote
And also when it says:
Wiki quote
"Singularities can be found in all the black-hole spacetimes, the Schwarzschild metric, the Reissner–Nordström metric and the Kerr metric, and in
all cosmological solutions which don't have a scalar field energy or a cosmological constant" End quote
I think it is important to clarify this as Hawking theorem is often used to make unwarranted claims about cosmology and it usually is used pretending to prove things it actually doesn't prove at all, I'm not sure if this is done relying on the fact not many people know exactly what the theorem says and how it has been revised based on QM or by posterior observations like accelerated expansion interpreted as CC, but it is obvious the theorem has as "a priori" assumptions not only an expanding universe, but no cosmological constant or no inflationists scenarios so it can hardly say anything about any other model.