physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
For $S : C \to \mathbb{A}^1$ an action functional, the $\mathcal{O}(C)$-module of its Noether identities is the kernel $N_S \hookrightarrow Der(\mathcal{O}(C))$ of the canonical morphism
See BRST-BV complex for background and details.
Assume that $C$ is sufficiently well behaved and of finite dimension such that the module of derivations has (locally) a basis $\{\partial_i\}_i$. Then the Noether identities are (locally) tuples of functions $\{v^i\}$ such that