{"id":13015,"date":"2022-08-06T22:20:10","date_gmt":"2022-08-07T02:20:10","guid":{"rendered":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=13015"},"modified":"2022-08-06T22:53:41","modified_gmt":"2022-08-07T02:53:41","slug":"symmetry-and-physics","status":"publish","type":"post","link":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=13015","title":{"rendered":"Symmetry and Physics"},"content":{"rendered":"<p><img decoding=\"async\" src=\"https:\/\/imgs.xkcd.com\/comics\/duty_calls.png\" width=\"300\" height=\"330\" alt=\"Someone is wrong on the internet\" class=\"aligncenter size-medium\" \/><\/p>\n<p>It&#8217;s getting late, but I can&#8217;t help myself.  Reading too many wrong things about symmetry and physics on Twitter has forced me to do this.  And, <a href=\"https:\/\/twitter.com\/johncarlosbaez\/status\/1553813063995797505\">John Baez says I don&#8217;t explain things<\/a>.  So, here&#8217;s what the relationship between symmetry and physics really is.<\/p>\n<p>In the language of mathematicians, talking about &#8220;symmetries&#8221; means you are talking about groups (often Lie groups, or their infinitesimal versions, Lie algebras) and representations.  The relation to physics is:<\/p>\n<p><strong>Classical mechanics (Hamiltonian form)<\/strong><\/p>\n<p>In classical mechanics the state of a system with $n$ degrees of freedom is given by a point in phase space $P=\\mathbf R^{2n}$ with $n$ position coordinates $q_j$ and $n$ momentum coordinates $p_j$.   Functions on this space are a Lie algebra, with Lie bracket the Poisson bracket<br \/>\n$\\{f,g\\}$.  Dynamics is given by choosing a distinguished function, the Hamiltonian $h$.  Then the value of any function on $P$ evolves in time according to<br \/>\n$$\\frac {df}{dt}=\\{f,h\\}$$<br \/>\nThe Hamiltonian $h$ generates the action of time translations.  Applying the same formula, other functions generate the action of other groups (spatial translations, rotations, etc.).   If your function satisfies $\\{f,h\\}=0$, it generates a &#8220;symmetry&#8221;, and doesn&#8217;t change with time (is a conserved quantity).<\/p>\n<p><strong>Quantum mechanics<\/strong><\/p>\n<p>Quantization of a classical system is something mathematically obvious: go from the above Lie algebra to a unitary representation of the Lie algebra. This takes elements of the Lie algebra (functions on $P$) to skew-adjoint operators on a Hilbert space, the space of quantum states.  There&#8217;s a theorem (Stone-von Neumann) that says that (modulo technicalities) there&#8217;s only one way to do this, and it gives an irreducible unitary representation that works for polynomials up to degree two. For higher degree polynomials there will always be &#8220;operator ordering ambiguities&#8221;.   The representation is given by<br \/>\n$$1\\rightarrow -i\\mathbf 1,\\ \\ q_j\\rightarrow -iQ_j,\\ \\ p_j\\rightarrow -iP_j$$<br \/>\nThis is a representation because<br \/>\n$$\\{q_j,p_k\\}=\\delta_{jk}\\rightarrow [-iQ_j,-iP_k]=-i\\delta_{jk}\\mathbf 1$$<br \/>\nThe right-hand side is the Heisenberg commutation relations for $\\hbar=1$.<\/p>\n<p>For more details, I wrote <a href=\"https:\/\/www.math.columbia.edu\/~woit\/QMbook\/qmbook-latest.pdf\">a whole book about this<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>It&#8217;s getting late, but I can&#8217;t help myself. Reading too many wrong things about symmetry and physics on Twitter has forced me to do this. And, John Baez says I don&#8217;t explain things. So, here&#8217;s what the relationship between symmetry &hellip; <a href=\"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=13015\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[21],"tags":[],"class_list":["post-13015","post","type-post","status-publish","format-standard","hentry","category-quantum-mechanics"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/13015","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=13015"}],"version-history":[{"count":10,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/13015\/revisions"}],"predecessor-version":[{"id":13025,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/13015\/revisions\/13025"}],"wp:attachment":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=13015"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=13015"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=13015"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}