Updated 0n ${\bf 02.04.2020}$
$\large{\bf Context}$
In the first $3$ minutes of this video lecture (based on the presentation here) on the subject matter of Goldstone theorem without Lorentz invariance by Hitoshi Murayama, he recalls that the derivation of Goldstone theorem relies on (i) Lorentz invariance of the theory and (ii) the positive definite metric of the Hilbert space.
Then he asserts that the Higgs mechanism either (i) violates Lorentz invariance by gauge fixing or (ii) violates positive definiteness of the metric to maintain Lorentz invariance.
Here is the Nobel Lecture: Evading Goldstone theorem by Peter Higgs, where he makes a similar remark:
There was an obstacle to the success of the Nambu-Goldstone program.
and then quotes from a paper by Goldstone, Salam and Weinberg,
''In a manifestly Lorentz-invariant quantum field theory, if there is a continuous symmetry under which the Lagrangian is invariant, then either the vacuum state is also invariant or there must exist spinless particles of zero mass.''
Given this context, I have a few questions.
$\large{\bf Questions}$
$1$. Frankly speaking, I am not sure which step(s) of the derivation of Goldstone theorem requires the assumptions (i) and (ii) and how it fails in the description of the Higgs mechanism. Maybe someone can point it out before answering questions $1$ and $2$. The derivation that I am familiar with can be found in page $540$ of Quantum Field Theory by Itzykson and Zuber.
Is there better proof in the literature which makes clear use of the assumptions (i) and (ii)?
$2.$ He says that gauge fixing breaks Lorentz invariance. But in what sense? Ordinarily, spacetime symmetries are not allowed to be spontaneously broken in a Lorentz-invariant theory. Does he have something like Coumob gauge in mind (as AccidentalFourierTransform points out in his comment) which lacks manifest Lorentz invariance?
$3.$ How is it that if Lorentz invariance needs to be maintained, as in the positive definiteness of the metric of the Hilbert space has to be sacrificed? Does he refer to here covariant quantization in Lorentz gauge?