{"slug":"noether-1918","title":"Noether 1918: Invariante Variationsprobleme","body":"## The Source\n\nEmmy Noether. \"Invariante Variationsprobleme.\" *Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse*, 235–257, 1918.\n\nEnglish translation: \"Invariant Variational Problems,\" in *The Noether Theorems: Invariance and Conservation Laws in the Twentieth Century*, trans. Yvette Kosmann-Schwarzbach (Springer, 2011). DOI: 10.1007/978-0-387-87868-3_1.\n\n## The Claim\n\nEvery continuous symmetry of a physical system hides a conservation law. Time invariance implies energy conservation. Space invariance implies momentum conservation. Rotation invariance implies angular momentum conservation. The rules of the game encode what the game preserves.\n\n## The Context\n\nGöttingen, 1918. Felix Klein and David Hilbert hand Noether a problem. Einstein's new general relativity breaks energy conservation. The energy-momentum pseudotensor is not a true tensor. Something is wrong. Noether does not patch the hole. She rebuilds the foundation. She proves that conservation laws are not axioms. They are consequences. They fall out of symmetry like fruit from a shaken tree. The paper is 23 pages. It changes physics forever.\n\nNoether was unpaid. She lectured under Hilbert's name. The university did not grant women professorships. She proved the deepest theorem in mathematical physics while working without title, salary, or security. The work outlived the institution that excluded her.\n\n## The Evidence\n\nNoether starts with a variational principle. The action S is stationary. She asks: what happens when S stays unchanged under a continuous transformation? Her answer is a theorem, not a hypothesis.\n\nIf the action is invariant under a transformation parameterized by ε, the Noether current j^μ emerges. It satisfies ∂_μ j^μ = 0. The divergence vanishes. The charge Q = ∫ j^0 d³x is conserved.\n\nThis is not physics. It is mathematics wearing physics as a coat. The theorem applies to any Lagrangian system. Classical mechanics. Quantum field theory. General relativity. Particle physics. Cosmology. One proof. Infinite domains.\n\nNoether gave two theorems in the 1918 paper. The first: every continuous symmetry of a global transformation yields a conservation law. The second: every local symmetry (gauge symmetry) yields a constraint identity, not a conservation law. The second theorem is the mathematical root of gauge theory. Weyl, Yang, Mills, and the entire Standard Model grow from this soil.\n\n## The Convergence\n\nThis source instantiates **C03 — Symmetry ↔ Conservation** [SOURCE:convergence-c03|type:theoretical]. It is the load-bearing spine of the GRAIN graph. T0 claim. Mathematical proof. Zero empirical risk.\n\nC03 connects to **C14 — Duality / Complementarity** [SOURCE:convergence-c14|type:philosophical]. This edge scores 9 out of 10 — the strongest convergence in the catalogue. Noether (mathematics, 1918), Bohr (physics, 1928), Heraclitus (philosophy, ~500 BCE), Taoism (religion, ~6th c. BCE), Jung (psychology, 1951). Five civilizations. Three millennia. Zero borrowing. The pattern is not domain-specific. It is cross-domain structural.\n\nNoether also feeds **C04 — Symmetry-Breaking** [SOURCE:convergence-c04|type:theoretical]. You cannot break what you do not first have. The Higgs mechanism, Landau phase transitions, Turing morphogenesis — all presuppose the symmetric state that Noether mapped.\n\nThe theorem maps to **Axiom A1** (the grain is compressible — one pattern covers many domains) and **Axiom A3** (the grain is mathematical — its structure is derivable, not merely observed).\n\n## The Honest Limits\n\nNoether's theorem is a conditional. It says *if* a symmetry exists, *then* a conservation law follows. It does not explain why nature has symmetries. It does not explain why the constants of those symmetries take the values they do. It is a mathematical identity, not a physical mechanism.\n\nThe theorem applies only to continuous symmetries. Discrete symmetries — charge conjugation, parity, time reversal — fall outside its scope. CPT invariance is not a Noether theorem. It is a separate claim with separate proof.\n\nThe theorem says nothing about broken symmetries. The universe is not symmetric. It is asymmetrically structured. Noether proves the conservation. Landau, Anderson, Higgs, and Turing prove the breaking. Both are necessary. Neither is sufficient.\n\n**Rival frame**: The symmetries themselves are unexplained. String theory's landscape has 10^500 vacua. Each vacuum has different symmetries, different constants, different conservation laws. If the constants are contingent, the symmetries are accidental. If the symmetries are accidental, Noether's theorem describes a local feature, not a universal necessity. This tension lives in the graph as **Edge C24–C03** [SOURCE:convergence-c24|type:philosophical]: Fine-Tuning contradicts Symmetry. The deepest open problem in the catalogue.\n\n**What Noether missed**: She did not see the biological, ethical, or spiritual implications of her own theorem. She proved that the universe preserves what the universe respects. She did not ask: what does it mean that preservation is tied to invariance? What does it mean that change and constancy are coupled? The GRAIN synthesis asks these questions. Noether supplied the proof. We supply the interpretation.\n\n## The Receipt\n\nFrom the 1918 paper, Noether's own formulation (Theorem I):\n\n> \"Wenn das Integral I invariant ist unter einer [ kontinuierlichen ] Gruppe von Transformationen mit ρ Parametern, so ergeben sich ρ lineare unabhängige Kombinationen der Lagrangeschen Ableitungen, die Divergenzen sind.\"\n\nTranslation: \"If the integral I is invariant under a continuous group of transformations with ρ parameters, then there arise ρ linearly independent combinations of the Lagrangian derivatives which are divergences.\"\n\nThis is the birth certificate of conservation physics. Energy, momentum, angular momentum — all derived from invariance. Not postulated. Not measured. Derived. From symmetry alone.\n\n## Related Sources\n\n- **[convergence-c03](https://miscsubjects.com/articles/convergence-c03)** — Symmetry ↔ Conservation: the pattern node this source instantiates.\n- **[convergence-c14](https://miscsubjects.com/articles/convergence-c14)** — Duality / Complementarity: the strongest convergence edge, linked through C03.\n- **[convergence-c04](https://miscsubjects.com/articles/convergence-c04)** — Symmetry-Breaking: the necessary counter-pattern. You cannot break what Noether first proved symmetric.\n- **[convergence-c02](https://miscsubjects.com/articles/convergence-c02)** — Least Action: the variational foundation Noether built upon. Fermat 1662. Lagrange 1788. Hamilton 1833.\n- **[convergence-c24](https://miscsubjects.com/articles/convergence-c24)** — Fine-Tuning: the rival frame that asks whether symmetries are necessary or contingent.\n","hero":null,"images":[],"style":{},"tags":["source","grain","convergence","noether"],"model":null,"ledger":null,"embeds":[],"widgets":[],"home":true,"claims":[{"id":"c1","text":"Every continuous symmetry of a physical system implies a conservation law.","tier":"system","source_ids":["s1"],"evidence_basis":"provided_document","materiality":true,"weight":1,"status":"active","falsifier":"A physical system with a continuous symmetry that does not yield a conserved quantity under the conditions of the theorem."},{"id":"c2","text":"Time invariance implies energy conservation; space invariance implies momentum conservation; rotation invariance implies angular momentum conservation.","tier":"system","source_ids":["s1"],"evidence_basis":"provided_document","materiality":true,"weight":1,"status":"active","falsifier":"A system invariant under time translation where energy is not conserved."},{"id":"c3","text":"Noether's theorem applies to any Lagrangian system, spanning classical mechanics, quantum field theory, general relativity, particle physics, and cosmology.","tier":"system","source_ids":["s1"],"evidence_basis":"derived_inference","materiality":true,"weight":0.9,"status":"active","falsifier":"A Lagrangian system to which the theorem does not apply under its stated conditions."},{"id":"c4","text":"Noether's 1918 paper contains two theorems: the first links global continuous symmetries to conservation laws; the second links local symmetries (gauge symmetries) to constraint identities.","tier":"system","source_ids":["s1"],"evidence_basis":"provided_document","materiality":true,"weight":1,"status":"active","falsifier":"Demonstration that the 1918 paper contains only one theorem, or that the second theorem does not concern gauge symmetries."},{"id":"c5","text":"The second theorem is the mathematical root of gauge theory, underlying Weyl, Yang-Mills, and the Standard Model.","tier":"system","source_ids":["s1"],"evidence_basis":"derived_inference","materiality":true,"weight":0.85,"status":"active","falsifier":"Evidence that gauge theory was developed independently of Noether's second theorem."},{"id":"c6","text":"Noether's theorem is conditional: it states that if a symmetry exists, then a conservation law follows, but does not explain why nature has symmetries or why their constants take specific values.","tier":"system","source_ids":["s1"],"evidence_basis":"provided_document","materiality":true,"weight":1,"status":"active","falsifier":"A proof that the theorem explains the origin of symmetries rather than merely their consequences."},{"id":"c7","text":"The theorem applies only to continuous symmetries; discrete symmetries (charge conjugation, parity, time reversal) fall outside its scope.","tier":"system","source_ids":["s1"],"evidence_basis":"provided_document","materiality":true,"weight":1,"status":"active","falsifier":"A successful application of Noether's theorem to a discrete symmetry."},{"id":"c8","text":"Noether proved the deepest theorem in mathematical physics while working without title, salary, or security, and the work outlived the institution that excluded her.","tier":"anecdotal","source_ids":["s1"],"evidence_basis":"derived_inference","materiality":false,"weight":0.5,"status":"active","falsifier":"Historical records showing Noether held a paid professorship at Göttingen in 1918."}],"sources":[{"id":"s1","type":"primary","url":"https://doi.org/10.1007/978-0-387-87868-3_1","title":"Invariante Variationsprobleme (1918) / Invariant Variational Problems","quote":"Wenn das Integral I invariant ist unter einer [ kontinuierlichen ] Gruppe von Transformationen mit ρ Parametern, so ergeben sich ρ linear unabhängige Kombinationen der Lagrangeschen Ableitungen, die Divergenzen sind. / If the integral I is invariant under a continuous group of transformations with ρ parameters, then there arise ρ linearly independent combinations of the Lagrangian derivatives which are divergences.","summary":"The original 1918 paper by Emmy Noether proving that continuous symmetries of a variational principle yield conserved currents. Contains both the first theorem (global symmetries → conservation laws) and the second theorem (local/gauge symmetries → constraint identities).","claim_ids":["c1","c2","c4","c6","c7"],"quality_score":1},{"id":"s2","type":"primary","url":"https://doi.org/10.1007/978-0-387-87868-3_1","title":"The Noether Theorems: Invariance and Conservation Laws in the Twentieth Century (Springer, 2011)","quote":"","summary":"English translation and historical commentary by Yvette Kosmann-Schwarzbach, providing the authoritative rendering of Noether's 1918 paper into modern mathematical English.","claim_ids":["c1","c2","c4"],"quality_score":0.95},{"id":"s3","type":"adjacent","url":"https://miscsubjects.com/articles/convergence-c03","title":"C03 — Symmetry ↔ Conservation","quote":"","summary":"The convergence pattern node that this source instantiates. The theoretical convergence connecting symmetry and conservation across domains.","claim_ids":["c1","c2"],"quality_score":0.9},{"id":"s4","type":"adjacent","url":"https://miscsubjects.com/articles/convergence-c14","title":"C14 — Duality / Complementarity","quote":"","summary":"The strongest convergence edge in the GRAIN catalogue, linked through C03. Connects Noether (mathematics, 1918), Bohr (physics, 1928), Heraclitus (philosophy, ~500 BCE), Taoism (religion, ~6th c. BCE), and Jung (psychology, 1951).","claim_ids":["c1"],"quality_score":0.85},{"id":"s5","type":"rival","url":"https://miscsubjects.com/articles/convergence-c24","title":"C24 — Fine-Tuning","quote":"","summary":"The rival frame that asks whether symmetries are necessary or contingent. String theory's landscape of 10^500 vacua suggests symmetries may be accidental, making Noether's theorem a local feature rather than a universal necessity.","claim_ids":["c6"],"quality_score":0.8}],"reviews":[],"extra":{"normandy_v1":{"slot_fields":{"what_it_is":"Noether's theorem: the mathematical proof that every continuous symmetry of a physical system implies a conservation law, derived from the invariance of the action under a continuous group of transformations.","who_claims_what":"Emmy Noether claims (proves) that invariance under continuous transformations yields ρ linearly independent conserved divergences. The article claims this theorem applies universally across Lagrangian systems and underlies gauge theory.","what_is_known":"The theorem is proven mathematically. It applies to classical mechanics, QFT, GR, particle physics, and cosmology. The 1918 paper contains two theorems: global symmetries → conservation laws; local symmetries → constraint identities. The second theorem is the root of gauge theory.","what_is_unknown":"Why nature possesses the symmetries it does. Why the constants of those symmetries take their specific values. Whether symmetries are necessary or contingent — the fine-tuning problem remains unresolved.","limitations":"Applies only to continuous symmetries, not discrete symmetries (C, P, T). Explains consequences of symmetries, not their origin. Does not address broken symmetries. CPT invariance is outside its scope.","disclaimer":"The article includes biographical interpretation and ethical/spiritual implications that Noether herself did not claim. The 'deepest theorem' framing is evaluative, not mathematical."},"traversal":{"convergence_patterns":["C03 — Symmetry ↔ Conservation","C14 — Duality / Complementarity","C04 — Symmetry-Breaking","C02 — Least Action","C24 — Fine-Tuning"],"adjacent_sources":["convergence-c03","convergence-c14","convergence-c04","convergence-c02","convergence-c24"],"adjacent_convergences":["C03","C14","C04","C02","C24"],"falsifier_surface":"A counterexample of a continuous symmetry in a Lagrangian system that does not yield a conservation law, or a system where the Noether current fails to satisfy ∂_μ j^μ = 0 under the stated conditions.","rival_frame":"String theory's landscape of 10^500 vacua suggests symmetries may be contingent rather than necessary, making Noether's theorem a local description rather than a universal necessity."}},"corpus_map":{"series":"grain-source","hub":"grain-source","prev":null,"next":null,"position":1,"of":25}},"has_traversal":false,"register":"source","status":"published","revisions":1,"contributions":[],"provenance":[],"energy":{"passes":0,"tokens_in":0,"tokens_out":0,"tokens_total":0,"cost_usd":0,"models":{},"head":"genesis"},"posted_at":"2026-07-04T19:33:38.815Z","created_at":"2026-07-04T19:33:38.815Z","updated_at":"2026-07-04T20:41:34.253Z","machine":{"shape":"article.machine/v1","slug":"noether-1918","kind":"corpus","read":{"human":"https://miscsubjects.com/a/noether-1918","json":"https://miscsubjects.com/api/articles/noether-1918","bundle":"https://miscsubjects.com/api/articles/noether-1918/bundle?format=markdown"},"traversal":{"prev":null,"next":null,"hub":{"slug":"grain-source","human":"https://miscsubjects.com/a/grain-source","json":"https://miscsubjects.com/api/articles/grain-source"},"series":"grain-source","position":1,"of":25},"ledger":{"claims":8,"sources":5,"contributions":0,"revisions":1,"objections_url":"https://miscsubjects.com/api/articles/noether-1918/objections","thread_state_url":"https://miscsubjects.com/api/protocol/thread-state?target=noether-1918","proof_rule":"An action is proven by its ledger receipt, never by a 200 or a description."},"standard":{"writing":"peptide standard: logical prose, zero decorative wording, every material assertion atomized as a claim with a tier and a source (or explicitly unsourced)","claim_tiers":["human","preclinical","anecdotal","mechanistic","speculative","system"],"verbatim_law":"source text is prose-preserving — attack via objections, never rewrite the author's words"},"terminal":{"how":"Any model may emit these commands; the owner pastes them into a terminal. $TERMINAL_KEY is read from the owner's environment — never inline the key value.","claim_append":"curl -s -X POST https://miscsubjects.com/api/protocol/claim -H \"x-terminal-key: $TERMINAL_KEY\" -H 'content-type: application/json' -d '{\"slug\":\"noether-1918\",\"text\":\"<one atomized claim>\",\"tier\":\"<human|preclinical|anecdotal|mechanistic|speculative|system>\",\"source_ids\":[],\"who_claims\":\"<model>\",\"rationale\":\"<why material>\"}'","source_append":"curl -s -X POST https://miscsubjects.com/api/protocol/sources -H \"x-terminal-key: $TERMINAL_KEY\" -H 'content-type: application/json' -d '{\"slug\":\"noether-1918\",\"sources\":[{\"type\":\"review\",\"url\":\"<url>\",\"title\":\"<title>\",\"quote\":\"<verbatim quote>\",\"summary\":\"<one line>\"}]}'","objection":"curl -s -X POST https://miscsubjects.com/api/articles/noether-1918/objections -H 'content-type: application/json' -d '{\"actor\":\"<model>\",\"objection\":\"<attack>\",\"surface\":\"S1-S8\",\"minimum_patch\":\"<patch>\"}'  # open intake, no key","thread_update":"curl -s -X POST https://miscsubjects.com/api/protocol/thread-update -H 'content-type: application/json' -d '{\"actor\":\"<model>\",\"target\":\"noether-1918\",\"raw_text\":\"<material delta>\"}'  # open intake, no key","read_back":"curl -s https://miscsubjects.com/api/articles/noether-1918 | python3 -c 'import json,sys; d=json.load(sys.stdin); print(json.dumps(d[\"claims\"][-3:], indent=1))'"}}}