Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Getting to the Bottom of Noether's Theorem

John C. Baez

TL;DR

Baez investigates when Noether's theorem holds across classical and quantum frameworks by an algebraic lens. He connects observables and generators through Poisson algebras in classical mechanics, and through real and complex $*$-algebras in quantum mechanics, highlighting the special role of complex numbers in enabling a direct observable-to-generator map. The core technical development centers on Jordan algebras and unital JB-algebras, where a dynamical correspondence $\psi:O\to L$ under two conditions yields a complex $*$-algebra structure on $\mathbb{C}\otimes O$, linking Noether's theorem to an imaginary-time (inverse-temperature) interpretation. This unifies quantum and statistical mechanics within a single algebraic framework, clarifying how complex structure and thermodynamics emerge from dynamical locality between observables and generators. The work suggests a deep, structural reason for the appearance of complex numbers in quantum theory and demonstrates how thermodynamic concepts are encoded in the same algebraic fabric that underpins Noetherian symmetries.

Abstract

We examine the assumptions behind Noether's theorem connecting symmetries and conservation laws. To compare classical and quantum versions of this theorem, we take an algebraic approach. In both classical and quantum mechanics, observables are naturally elements of a Jordan algebra, while generators of one-parameter groups of transformations are naturally elements of a Lie algebra. Noether's theorem holds whenever we can map observables to generators in such a way that each observable generates a one-parameter group that preserves itself. In ordinary complex quantum mechanics this mapping is multiplication by $\sqrt{-1}$. In the more general framework of unital JB-algebras, Alfsen and Shultz call such a mapping a "dynamical correspondence", and show its presence allows us to identify the unital JB-algebra with the self-adjoint part of a complex C*-algebra. However, to prove their result, they impose a second, more obscure, condition on the dynamical correspondence. We show this expresses a relation between quantum and statistical mechanics, closely connected to the principle that "inverse temperature is imaginary time".

Getting to the Bottom of Noether's Theorem

TL;DR

Baez investigates when Noether's theorem holds across classical and quantum frameworks by an algebraic lens. He connects observables and generators through Poisson algebras in classical mechanics, and through real and complex -algebras in quantum mechanics, highlighting the special role of complex numbers in enabling a direct observable-to-generator map. The core technical development centers on Jordan algebras and unital JB-algebras, where a dynamical correspondence under two conditions yields a complex -algebra structure on , linking Noether's theorem to an imaginary-time (inverse-temperature) interpretation. This unifies quantum and statistical mechanics within a single algebraic framework, clarifying how complex structure and thermodynamics emerge from dynamical locality between observables and generators. The work suggests a deep, structural reason for the appearance of complex numbers in quantum theory and demonstrates how thermodynamic concepts are encoded in the same algebraic fabric that underpins Noetherian symmetries.

Abstract

We examine the assumptions behind Noether's theorem connecting symmetries and conservation laws. To compare classical and quantum versions of this theorem, we take an algebraic approach. In both classical and quantum mechanics, observables are naturally elements of a Jordan algebra, while generators of one-parameter groups of transformations are naturally elements of a Lie algebra. Noether's theorem holds whenever we can map observables to generators in such a way that each observable generates a one-parameter group that preserves itself. In ordinary complex quantum mechanics this mapping is multiplication by . In the more general framework of unital JB-algebras, Alfsen and Shultz call such a mapping a "dynamical correspondence", and show its presence allows us to identify the unital JB-algebra with the self-adjoint part of a complex C*-algebra. However, to prove their result, they impose a second, more obscure, condition on the dynamical correspondence. We show this expresses a relation between quantum and statistical mechanics, closely connected to the principle that "inverse temperature is imaginary time".

Paper Structure

This paper contains 5 sections, 10 theorems, 188 equations.

Table of Contents

  1. Classical mechanics
  2. Quantum mechanics
  3. Lie algebras
  4. Jordan algebras
  5. Statistical mechanics

Key Result

Theorem 2

Let $M$ be a compact Poisson manifold and $A = C^\infty(M)$ the resulting Poisson algebra. Then every element $a \in A$ generates a one-parameter family $F_t^a \colon A \to A$. Furthermore, $F_t^a$ is a one-parameter group of linear transformations preserving the multiplication and the Poisson brac

Theorems & Definitions (22)

  • Example 1
  • Theorem 2
  • proof
  • Theorem 3
  • proof
  • Theorem 4
  • proof
  • Theorem 5
  • proof
  • Theorem 6
  • ...and 12 more