Tuesday, September 24, 2019

lagrangian formalism - Noether theorem with semigroup of symmetry instead of group



Suppose You have semigroup instead of typical group construction in Noether theorem. Is this interesting? In fact there is no time-reversal symmetry in the nature, right? At least not in the same meaning as with other symmetries ( rotation, translation etc). So why we construct energy as invariant of such kind of symmetry, not using semigroup instead? Is is even possible? There is a plenty of references about Lie semigroups - i looks like it is active field of mathematics. Is there any kind of Noether theory constructed within such theories? Could You give any references to, ideally introductory texts?



Answer



Here is an argument why "a Noether Theorem with Lie monoid symmetry" essentially wouldn't produce any new conservation laws. Noether's (first) Theorem is really not about Lie groups but only about Lie algebras, i.e., one just needs $n$ infinitesimal symmetries to deduce $n$ conservation laws. If one is only interested in getting the $n$ conservation laws one by one (and not so much interested in the fact that the $n$ conservation laws together form a representation of the Lie algebra), then one may focus on a $1$-dimensional Abelian subgroup of symmetry. The corresponding Lie subalgebra then becomes just $u(1)\cong\mathbb{R}$. Now returning to the question, one may, of course, artificially truncate a Lie group into a Lie monoid, say, if $q$ is a cyclic variable for a Lagrangian $L$, then artificially declare that the symmetry monoid is $q \to q + a$ for only non-negative translations $a\geq 0$, while artificially denying all negative $a<0$. On the other hand, one needs at least access "from one side" because Noether's Theorem is about continuous symmetry. But in practice, one can then always extend, at least infinitesimally, to "the other side" as well, and then one is back to a standard $u(1)$ Lie algebra and a standard Noether Theorem.


No comments:

Post a Comment

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...