Gauge redundancies and global symmetries It is often said that local (gauge) transformation is only redundancy of description of spin one massless particles, to make the number degrees of freedom from three to two. It is often said that these are not really symmetries because it means that there are only apparently different points in configuration space that are physically identical, but these are the same. I have a bunch of questions related to these considerations:


*

*Noether charge under the gauge symmetry is gauge dependent, so does this mean that only global symmetries make sense as symmetries? 

*But why are local ones more fundamental? 

*Under which conditions local symmetry implies the global one? 

*Is conservation of electric charge due to local or global U(1) symmetry?

*Which symmetries are preferred by gravity, local or global? 

*Is it general rule that some transformation is called symmetry if action is left invariant (classically)? 

*Are there symmetries that strictly ask for Lagrangian to be left invariant? 

*Are non-abelian symmetries "more" symmetries or redundancies in comparing to U(1)? 


Which sentences I wrote here are wrong, or which questions are not valid? 
 A: Answer posted by Lubos Motl in the comments; I reproduce most of it here. This answer was posted in order to remove this question from the "unanswered" list.
Some (sketches of) answers to your questions, one by one:


*

*Physical states have to be invariant under gauge symmetries, so all of them are singlets and there are no nontrivial representations, 

*(and 3.) The above claim may be relaxed for gauge symmetry transformations that remain nontrivial even at infinity, so this "global part" of the gauge symmetries can admit nonzero charges and produce "global symmetries" out of the local one.

*In general relativity one generally expects that all global symmetries arise from local symmetries in this way, so only local ones are fundamentally possible

*Conservation of electric charge (in electrodynamics) is due to global $U(1)$ symmetry.

*Whenever an action exists, a symmetry is really a transformation (rule) that keeps the action invariant.

*Keeping the Lagrangian invariant at each point means to have a symmetry that doesn't mix any points, a very "internal one", and e.g. diffeomorphisms and translations don't count, but it can certainly happen. 

*Non-Abelian symmetries are equally redundancies as $U(1)$ gauge symmetries but $U(1)$ gauge symmetries are easier to be gauge-fixed at the quantum level, e.g. no $bc$ ghosts are required because the functional determinants in gauge-fixing are constant etc.

