This is not a homework, neither it is any exercise. It is my understanding of $U(1)$ symmetry. I would request if anybody can please correct me on any one of the following understandings:

  1. The bottom line of particle physics is Lagrangian density which is a generalization of classical mechanics, $L= V-T$.

  2. We come across lot of symmetries in nature which are invariant under any changes made. Like an equilateral triangle is more symmetric than other triangles...... For a symmetry, if the object is rotated or flipped, the appearance will remain unchanged.

  3. But when we label a symmetry, we could differentiate it which is something called 'symmetry breaking'.

  4. $U(1)$ is a Lie group. Now, typically if a circle is rotated, flipped, it appears the same, called Lie group.

  5. There are different type of symmetries like (i) Translational --> Invariance of the laws of physics under any translation as pointed out in Noether's theorem (ii) Rotational -->Whichever direction you rotate it is the same (iii) Time symmetry --> the laws of physics are eternally unchanging (iv) Boost symmetry

  6. The rotational and boost symmetry are grouped under Lorentz group. The translational, rotational and boost symmetry together make up the Poincare group.

  7. Local symmetry is not a symmetry in physical spacetime.

  8. When Einstein applied special relativity to electromagnetism, he found electromagnetic 4 potential-- the four vector (1 time like, and 3 space like, which relates the electric scalar potential and magnetic vector potential). The physicists were happy, as the electromagentic 4 potential appears in the Lagrangian density.

  9. But the value of the electromagnetic 4 potential can be changed. The Electric field $E(t,x)$ and the Magnetic field, $B(t,x)$ can be expressed in scalar potential and vector field.The term gauge invariance refers to the property that a whole class of scalar and vector potentials, related by so-called gauge transformations, describe the same electric and magnetic fields. As a consequence, the dynamics of the electromagnetic fields and the dynamics of a charged system in a electromagnetic background do not depend on the choice of the representative $(A_0(t,x),A(t,x))$.

  10. $U(1)$ being a circle. When the charged particle move across the $U(1)$ plane, its' mass, kinetic energy does not depend on the position of the particle. It's value depend on the rate at which it circles the plane.

  11. This is the $U(1)$ symmetry of the standard model. If we rotate $U(1)$ at any angles, the Lagrangian density will remain unchanged.

Please do correct me where I am wrong.


  • 1
    $\begingroup$ The item (4) is too vague. A Lie group is just an infinite-dimensional and smooth group. Some of them, the $SO(N)$, can be realised as groups that leave spheres $S^{N-1}$ invariant, but that's not the way you should think of Lie groups in general. $\endgroup$ – Vibert Sep 19 '13 at 11:25
  • 1
    $\begingroup$ Comment to the question (v1): Similar to another Phys.SE question by OP the title mentions susy despite the body of text does not. $\endgroup$ – Qmechanic Sep 19 '13 at 11:26
  • 1
    $\begingroup$ And as to (9): a charged particle doesn't "move across the $U(1)$ plane" since there is no $U(1)$ plane. The $U(1)$ is some abstract space that has nothing to do with spacetime. Similarly there is no "rate at which the particle traverses $U(1)$." $\endgroup$ – Vibert Sep 19 '13 at 11:33
  • 1
    $\begingroup$ @Vibert: Lie groups are not infinite-dimensional. $\endgroup$ – MBN Sep 19 '13 at 11:57
  • 1
    $\begingroup$ @MBN: sorry, of course I meant finite but nonzero. Too late to edit, however. $\endgroup$ – Vibert Sep 19 '13 at 12:18

You have a few mistakes:

(3) I find the words label and differentiate odd. A symmetry could be broken, either spontaneously e.g. Higgs mechanism, or explicitly.

(4) is a poor definition of a Lie group... as mentioned in the comments, a Lie group is a group that is also a differentiable manifold.

(7) a local symmetry is continuous symmetry for which the continuous parameter that parameterizes the symmetry is a function of space and time. cf. a global symmetry, in which the continuous parameter is constant. For a theory with kinetic terms (e.g. Standard Model), local symmetries are possible only if the local symmetries are gauge symmetries.

(10) As per the comments, the $U(1)$ is an internal symmetry - a particle doesn't move around the $U(1)$ line (parametrized by only one continuous parameter) in the ordinary sense.

Please, somebody feel free to edit this answer to include more corrections or expand mine.

  • $\begingroup$ About (7οΌ‰, in a field theory which contains kinetic term, the local symmetry must be gauged. In that case, the local symmetry is not a symmetry. $\endgroup$ – thone Sep 19 '13 at 14:46
  • $\begingroup$ @CraigThone, thanks, I've incorporated your comment. $\endgroup$ – innisfree Sep 20 '13 at 9:08

The U(1) Symmetry of the Standard Model is not with Electromagnetism

Rather, it is with the hypercharge field. The electromagnetic field cuts across both the U(1) and SU(2) parts of the Standard Model: it is a superposition of the U(1) field and one of the components of the SU(2) field. This means (1) technically, electromagnetism in the standard model is part of a non-Abelian gauge field (the electroweak field), (2) its classical field equations are therefore non-linear and inhomogeneous and (3) this revision both supersedes and falsifies classical electromagnetism.

So, when quantizing electromagnetism, quantum electrodynamics (QED) is no longer the correct result. Rather, it would be the hypercharge field that would be described by a "QED"-like theory. Instead, you have to quantize it as part of a non-Abelian gauge field, non-linearities, inhomogeneities and all. A consequence of this is that the electroweak field, itself, has electric charge - manifested by the force carriers, the W⁺ and W⁻ particles.

Generally, these revisions do not have any significant effect beyond the sub-atomic level, so in practice one continues to treat the electromagnetic field classically as a Maxwell field and in quantum field theory by QED.

Electromagnetism and Einstein

You have the history all wrong. Einstein did not "discover" the electromagnetic potentials. These come from Maxwell, as do the alphabet soup of names: 𝐀 for magnetic potential, 𝐁 for magnetic induction, 𝐂 = 𝐉 + βˆ‚πƒβ„βˆ‚t for total current, 𝐃 for electric induction, 𝐄 for electric force, 𝐅 for force density, 𝐆 for the velocity relative to the isotropic frame, 𝐇 for the magnetic field, 𝐈 for magnetization and 𝐉 for current density. The 𝐆 vector was not used consistently, but appears in all formulations, in some fashion or another, of electromagnetism for moving media. Lorentz used -𝐩 in his papers 1895-1904, Minkowski used 𝐰 in his 1908 paper, and Einstein & Laub used 𝐯 in theirs. Maxwell used 𝐯, in the treatise, in addition to 𝐆, even in the same section at places.

It was, later (notably with Hertz and Helmholtz) that the potentials and their related equations were disregarded and mostly ignored. So, by Einstein's time, one talked almost exclusively about the field strengths rather than the potentials. Einstein did not (re)introduce or use them in any of his early papers, nor did his contemporaries. In particular, they were not part of Minkowski's 1908 formulation of electromagnetic theory of moving media (in which he also introduced Minkowski geometry), nor in Einstein & Laub's papers on the formulation of moving media.

The electromagnetic potentials are required for a Lagrangian formulation of electromagnetism. I don't know when this first arose, but do know the following: (1) Maxwell discussed the Lagrangian and Hamiltonian formulations of mechanics in his treatise ... only for mechanics, not for fields, (2) no mention of any Lagrangian formulations for field theories is made in the 19th century or before the 1910's by Hertz, Helmholtz, Heaviside, Lorentz, Einstein that I can find, (3) it is used for Einstein's equations by 1915, as well as for the coupled Einstein-Maxwell equations in the 1910's.

Some of the early history is discussed here "On the analytical formulation of classical electromagnetic fields" https://arxiv.org/pdf/1607.00406.pdf

According to this account, Minkowski was probably the one of the first to come up with the idea of using a continuum Lagrangian formulation for the field theory - in 1908. So, he might be the missing link.

Symmetries and Spacetime Geometry

Local Lorentz symmetry is not a symmetry of spacetime, when spacetime is modeled by a pseudo-Riemannian geometry. However, it is, when it is modeled by a Riemann-Cartan geometry, whose distinguishing feature is just that. It carries a representation for a locally gauged Lorentz symmetry, in the form of a frame field.

In order to even be able to talk about spinors (never mind, to actually do anything with them), you have to have a locally-gauged Lorentz symmetry there first. Riemannian geometries do not have sufficient infrastructure for this, therefore the additional infrastructure provided by a Riemann-Cartan geometries, as well as the geometries themselves, are mandatory and you can't use Riemannian geometries for anything that involves spinors and fermions.

It is an historical accident that General Relativity was formulated in Riemannian geometry, rather than Riemann-Cartan geometry. The latter simply did not arise until the 1920's, and a proper understanding of the role that symmetry groups played in Physics was still not fully developed at the time. Even non-relativistic physics required retro-fitting, with the expanded understanding (e.g. the concept of spin, the non-relativistic Wigner classification, etc.) later retroactively included in the framework. (So, technically, Newtonian physics is still an evolving field, still undergoing development, despite the fact that its role as a foundational field for physics has been superseded by Relativity.)

General Relativity was historically given by the Einstein-Hilbert action over [pseudo-]Riemannian geometries and its associated Lagrangian. It can be lifted intact into a Riemann-Cartan geometry, in which case it becomes equivalent to the Palatini action and Lagrangian.

One of the distinguishing features of Riemann-Cartan geometry is that it treats connections and metrics as independent objects and a connection need no longer be the Levi-Civita connection associated with the metric. The Palatini action forces the issue by constraining the connection to be Levi-Civita. When the constraint is removed, then the direct transcription of the Einstein-Hilbert action is the Einstein-Cartan action. This produces the same dynamics for exterior solutions, but couples to spin differently than the Palatini action does (I'm not sure Palatini even has any coupling to spin), and produces slightly different dynamics for interior solutions inside matter.

Both Palatini and Einstein-Cartan provide first-order formulations of gravity (the Lagrangians involve only first order derivatives), while Einstein-Hilbert is second order because the Levi-Civita connection is expressed directly in terms of the metric, so its derivatives are directly expressed in terms of second order derivatives of the metric.

One can also talk about locally gauging the translational symmetry of the PoincarΓ© group. This leads to teleparallel geometries, and more generally to metric affine geometries in which frame fields are associated with the locally gauged translational symmetries, while the connection continues to be associated with the locally gauged Lorentz symmetries (boosts and rotations). Concepts that go with this are "rolling tangent" and "Cartan connection".

Some of these issues are discussed directly or tangentially here in nLab. Here's a small list to use as a launching point:
Cartan Connection: https://ncatlab.org/nlab/show/Cartan+connection
Teleparallel Gravity: https://ncatlab.org/nlab/show/teleparallel+gravity
First-Order Formulation of Gravity: https://ncatlab.org/nlab/show/first-order+formulation+of+gravity
Gravity Contents: https://ncatlab.org/nlab/show/gravity+contents

Lagrangians, Hamiltonians and Symplectic Geometry

Your characterization "L is T - V" is inaccurate and probably comes from scanning too many introductory discussions of the issue, where one tends to see "L = T - V".

The Lagrangian is a generating function that connects the kinematic or configuration variables of a system with its dynamical variables. Such a connection may be said to form a set of constitutive relations. So a theory or system has a description that may be stratified into two layers.

In the first layer, is the list of which configuration variables and dynamical variables are at play. Things are generic at this level, since any of a large number of different systems of dynamical theories can be devised with these objects. So, this might be called the "framework" layer, where the basic playing field is laid out.

In the second layer, a set of relations is provided that link the configuration and dynamical variables to one another. These are the constitutive relations and provide the basis for the dynamics specific to the given system or theory. Different systems and theories are distinguished from one another by which set of constitutive relations they have. So, this might be called the "theory" layer, where different theories are devised on top of the framework.

A Lagrangian (or any of its transforms, such as a Hamiltonian) provides a generating function that produces those constitutive relations.

For example, in mechanics, one has the configuration variables $πͺ = (q^1,q^2,q^3,q^4,q^5,β‹―)$, and their first order derivatives, their velocities $𝐯 = (v^1,v^2,v^3,v^5,v^5,β‹―)$ that are related to one another by a kinematic law $𝐯 = dπͺ/dt$.

On the dynamics side, one has conjugate momenta $𝐩 = (p_1,p_2,p_3,p_4,p_5,β‹―)$ and their corresponding forces $𝐟 = (f_1,f_2,f_3,f_4,f_5,β‹―)$ that are related to one another by a dynamic law $𝐟 = d𝐩/dt$.

Together, that's the first layer of the description. It's generic and contains no empirical content other than the empirical supposition of physical relevance - that these variables are actually relevant to the system or dynamics being described and capture all of what needs to be accounted for in that description.

A Lagrangian $L(πͺ,𝐯)$ is a function of the $πͺ$'s and $𝐯$'s that generates the constitutive laws for the dynamical variables by $$𝐩 = {βˆ‚L \over βˆ‚π―}, 𝐟 = {βˆ‚L \over βˆ‚πͺ}.$$ A Hamiltonian $H(πͺ,𝐩)$ produces a set of constitutive laws that link the kinematic and dynamic laws to the $πͺ$'s and $𝐩$'s $$𝐯 = {βˆ‚H \over βˆ‚π©}, 𝐟 = -{βˆ‚H \over βˆ‚πͺ}.$$ They all have the property that they provide different implementations of the same differential equation involving a specific object, as you're about to see.

The differential equations for the Lagrangian and Hamiltonian can each be written as equations for first order differential forms: $$dL = βˆ‘_a (p_a dv^a + f_a dq^a),$$ $$dH = βˆ‘_a (v^a dp_a - f_a dq^a).$$ In both cases, they yield the same second order differential equation $$0 = d^2L = βˆ‘_a (dp_a \wedge dv^a + df_a \wedge dq^a),$$ $$0 = d^2H = βˆ‘_a (dv^a \wedge dp_a - df_a \wedge dq^a) = βˆ‘_a (dv^a \wedge dp_a + dq^a \wedge df_a).$$ The equation, in question, is $$βˆ‘_a (dp_a \wedge dv^a + df_a \wedge dq^a) = 0.$$ This, in turn, guides the creation of other generating functions that take different subsets of the variables as the independent variables. One might, for instance, take a mixture of some of the $𝐩$'s with some of the $𝐯$'s as independent variables, as well as picking out some of the $𝐟$'s and $πͺ$'s. For example, if one wanted a generating function $K(𝐯,𝐟)$ that takes the $𝐟$'s and $𝐯$'s as independent, then the corresponding differential equation would have to be $$dK = βˆ‘_a (p_a dv^a - q^a df_a),$$ or $${βˆ‚K \over βˆ‚π―} = 𝐩, {βˆ‚K \over βˆ‚πŸ} = -πͺ.$$ These are all related to one another by Legendre transforms, here: $H = 𝐩·𝐯 - L$ and $K = L - 𝐟·πͺ$.

The object involved in the differential equation may, itself, be thought of as a total time derivative of another object $$Ο‰ = βˆ‘_a (dq^a \wedge dp_a)$$ called the symplectic form. The equation, itself, can be rewritten as $${d \over dt}Ο‰ = βˆ‘_a \left({d \over dt}dq^a \wedge dp_a + dq^a \wedge {d \over dt}dp_a\right) = βˆ‘_a \left(dv^a \wedge dp_a + dq^a \wedge df_a\right) = 0.$$

Technically, the "$d/dt$" operator is actually a Lie derivative (and would be more correctly written as $β„’_{d/dt}$, with manipulations such as $β„’_{d/dt}dq^a = d(β„’_{d/dt}q^a) = dv^a$ and $β„’_{d/dt}dp_a = d(β„’_{d/dt}p_a) = df_a$ following from the basic properties of Lie derivatives). The $d/dt$ operator expresses the flow of time for the system - time translation. The equation $β„’_{d/dt}Ο‰ = 0$ tells us that the system has time translation symmetry.

In mechanics, the classical example is a conservative system, in which one normally has a relation that expresses the momentum components as homogeneous 1st degree function of the system's velocities in terms of a symmetric matrix $M_{ab} = M_{ba}$ by $$p_a = βˆ‘_b M_{ab} v^b,$$ while the force law is given in terms of a potential $V = V(πͺ)$, by $$f_a = -{βˆ‚V \over βˆ‚q^a}.$$ If the mass matrix $M = \left(M_{ab}\right)$ is invertible to $W = \left(W^{ab}\right) ≑ M^{-1}$, then one can also express the velocity in terms of the momentum $$v^a = βˆ‘_b W^{ab} p_b.$$

You can verify directly that this respects time translation symmetry $$0 = {d \over dt}Ο‰ = βˆ‘_a (dp_a \wedge dv^a + df_a \wedge dq^a)$$ by direct substitution: $$βˆ‘_a (dp_a \wedge dv^a + df_a \wedge dq^a) = βˆ‘_a βˆ‘_b \left(M_{ab} dv^b \wedge dv^a + {βˆ‚^2V \over βˆ‚q^aβˆ‚q^b} dq^b \wedge dq^a\right) = 0.$$ since the wedge product is anti-symmetric $u \wedge v = -v \wedge u$, while the coefficients are symmetric. Therefore, these kinds of systems admit Hamiltonian and Lagrangian formulations, which can be found by direct integration.

The differential equations for the Lagrangian, upon substitution, are $$dL = βˆ‘_a (p_a dv^a + f_a dq^a) = βˆ‘_a βˆ‘_b M_{ab} v^b dv^a - βˆ‘_a {βˆ‚V \over βˆ‚q^a} dq^a = d\left({\frac 1 2} βˆ‘_a βˆ‘_b M_{ab} v^a v^b - V\right)$$ while those for the Hamiltonian are $$dH = βˆ‘_a (v^a dp_a - f_a dq^a) = βˆ‘_a βˆ‘_b W_{ab} p_b dp_a + βˆ‘_a {βˆ‚V \over βˆ‚q^a} dq^a = d\left({\frac 1 2} βˆ‘_a βˆ‘_b W^{ab} p_a p_b + V\right).$$ That's actually where you get your $L = T - V$ and $H = T + V$ expressions from. They apply to the special case of conservative systems in mechanics, where the kinetic energy is a homogeneous function of second degree in the component velocities or momenta: $${\frac 1 2} βˆ‘_a βˆ‘_b M_{ab} v^a v^b = T = {\frac 1 2} βˆ‘_a βˆ‘_b W^{ab} p_a p_b.$$


Your Answer

By clicking β€œPost Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.