Ward Identity and Proca Fields I'm following the book Quantum Field Theory and the Standard Model by Schwartz and I came to the rigorous non-perturbative proof of the Ward identity with path integrals via the Schwinger-Dyson equations in subsections 14.8.1-3. Since it is clear to me that the proof of the Ward-Takahaski identity is the "quantum version" of the Noether trick, I don't understand the passage from the Ward-Takahashi identity to the "standard" Ward identity. The latter can be thought of as a direct consequence of the photons being massless/without longitudinal polarization, but the proof followed by Schwartz does not seem to exclude the case of a massive vector boson. However this one breaks gauge invariance with its mass (or again equivalently it admit a longitudinal d.o.f.) so intuitively it would have no meaning that $p_\mu M^\mu=0$ for a generic amplitude $M^\mu$. Where am I wrong?
 A: I'm just transferring some of what I wrote in the comments to an answer -- I may add more to this later.
There is no Ward identity for a massive spin-1 field; the massive and massless cases work differently.
For a massive photon, there exists a rest frame, so $p_\mu$ is timelike (on shell), so the fact that on shell $p_\mu A^\mu=0$ for a massive photon means that a timelike component is removed from external states. For internal lines, the numerator of the propagator is $\eta_{\mu\nu} + p_\mu p_\nu / m^2$; if you contract this with $p^\mu$ you get $p_\nu - (m^2/m^2) p_\nu=0$; this property follows from the second class constraint and is responsible for removing the time-like mode.
For a massless photon, there is no rest frame, and so on shell $p_\mu$ is null. Furthermore we need to remove two components from $A_\mu$ since there are only two polarizations. The Ward identity guarantees that the unphysical polarizations decouple from the other dofs, and so are never excited (so long as they are not present in external states) .
Another way to think of all this is in terms of first class and second class constraints (google "Dirac-Bergman quantization"). A first class constraint (gauge symmetry) removes two degrees of freedom, while a second class constraint (just a normal constraint) removes one. Massless electromagnetism has a first class constraint, Proca theory (without the Stuckelberg trick) has a second class constraint.
The story is different if you use the Stuckelberg trick in the massive case; then you introduce a new field, so naively you have 5 degrees of freedom (4 components of the vector field plus a scalar field). You also a new gauge symmetry, with an associated first class constraint. The first class constraint removes two degrees of freedom, and 5-2=3, which is the correct number of degrees of freedom for a massive spin-1 particle.
A: There are two hierarchies of Ward-Takahashi identities (WTI):

*

*WTI for connected diagrams expressing charge conservation and derived via the Schwinger-Dyson (SD) equations from a global gauge symmetry.


*WTI for proper diagrams derived from BRST/local gauge symmetry. This implies (among other things) that the 2-point polarization tensor for the photon field is transverse in the $R_{\xi}$ gauge.
Both WTI hierarchies are in principle off-shell identities.
Already for QED with matter the pairing between the two WTI hierarchies is somewhat intricate, cf. e.g. this and this related Phys.SE posts, especially when one considers the roles of gauge-fixing conditions and renormalization.
Since Proca theory with matter fields has global but not local gauge symmetry, it only has the 1st WTI hierarchy.
