I am trying to organize my knowledge of Noether's theorem in QFT. There are several questions I would like to have an answer to.

In classical field theory, Noether's theorem states that for each continuous global symmetry of the action there is a corresponding current (Noether current) $j^{\mu}$, which satisfies (classically) the conservation condition:

$$ \partial_{\mu} j^{\,\mu} \simeq 0, $$

where I use the $\simeq$ sign to denote that the equation is only valid on-shell, i.e. on field configurations which are subject to the classical equations of motion.

Conserved currents lead eventually to conserved charges, which are given by

$$ Q(t) = \int d^{n-1}x \; j^{\,0}(x, t) \simeq \text{const}. $$

Is it correct that these charges form an algebra (with an algebraic Lie bracket given by the Poisson bracket), which is exactly the Lie algebra of the symmetry group?

Vector fields on the space-time manifold also have a Lie algebra structure given by the Lie derivative. I did some calculations and it turned out that conserved vector fields are algebraically close and therefore form a subalgebra. My question is: do Noether currents of an arbitrary field theory also form a subalgebra through the Lie derivative, and if they do, does this subalgebra have any physical meaning?

Despite the questions, this part is relatively clear. Now comes the quantum magic. In the path integral formalism, the Ward identity is a formal analogue of the classical Noether's theorem.

Noether currents are considered very important components of the quantum theory, a kind of vicars of symmetries on the physical system. I never understood this completely. For example, they are ought to be well-defined in the quantum sense and therefore are subject to normal-ordering. This sometimes leads to the modification (!) of the symmetry algebra itself, the best example being the Witt algebra of conformal symmetries and its quantum counterpart, the Virasoro algebra of the normal-ordered conformal currents.

- So why are currents more fundamental than geometrical symmetries of classical configurations itself? Why are they even have to be well-defined in the quantum theory, where the only observable quantities are correlations?

P.S. I have studied lots of literature, and all explanations seemed to me unclear and speculative. **So I am not looking for a reference, but rather for some kind of a paraphrasing which would make things clearer.**

@JamalS, I am keeping the string-theory tag because I expect string theorists to know a lot about (mentioned in my question) Witt/Virasoro algebras and therefore to give expanded answers.

This post imported from StackExchange Physics at 2015-07-11 08:01 (UTC), posted by SE-user Hindsight