In all explainations of spontaneous symmetry breaking that I've seen, the scalar field doing the breaking is redefined around its vacuum expectation value (VEV), and similarly for the higgs mechanism - for example with a complex scalar field and U(1) symmetry:
$\phi(x) = (v + \rho(x))e^{i\chi(x)/v}$ where v is the VEV
Similarly for the higgs mechanism: the field is written as above, and then expanded out. This makes it very clear where the gauge field's mass term comes from, or in the case of just SSB, where the mass term for the goldstone boson goes. But my question is as follows: is this redefinition necessary?
Firstly, is there some fundamental reason why we need to expand around the VEV? I've seen the phrase "we perturb around the ground state" thrown around a few times, but my understanding was that when we do pertubation theory, we expand in the coupling constant, not some specific value of the fields - in fact in the path integral formalism, don't we even integrate over all of the field configs, even in pertubation theory? I feel I may have some fundamental misunderstanding here relating to the nature of pertubation theory.
Additionally, and this is my main question, if we don't make this field redefinition, the physical content of the theory seems to me like it shouldn't change. Specifically for the Higgs mechanism, my concern is as follows: when we don't make the field redefinition, there isn't an explicit mass term for the gauge boson, only an interaction term with the scalar. In this form of the lagrangian, does the mass of this vector boson (and the non-existence of the goldstone boson) manifest itself in some other way, and if so, whats the mechanism? If not, why not? Does it show up from renormalisation or loop corrections? Is there some non-perturbative effect which accounts for it? It puzzles me that the mass term can be seemingly eliminated by a field redefinition.
Also, even if there is no VEV, is it allowed to make the redefinition above anyway, with v a random parameter? This gives the gauge boson a mass term from the $\gamma \gamma \phi \phi$ term in the lagrangian, so what is fundamentally different about this situation? I sense that it is to do with the fact that the above redefinition is actually singular around $\phi$ = 0, and since that is the average value in the vacuum, we run into problems. But if we use something like $\phi = v + a + ib$ instead, the same idea seems to apply. What am I missing here?