Universality of the Divergence
Lei Ni, Yijian Zhang
TL;DR
The paper addresses axiomatizing the divergence operator on smooth vector fields over a smooth orientable manifold by requiring two algebraic conditions: a $1$-cocycle property and a Leibniz-type rule with respect to smooth functions. It proves that when $H^1(M,\mathbb{R})=0$, every operator $D$ satisfying these axioms is the divergence with respect to some volume form $\Omega$, i.e., $D=\operatorname{div}_{\Omega}$; conversely, such divergences satisfy the axioms. The proof reduces a given $D$ to a reference divergence $D_0=\operatorname{div}_{\Omega_0}$ and absorbs the difference by a closed $1$-form $E=df$, then adjusts the volume form to $\Omega=e^f\Omega_0$ to recover $D$. The result highlights the role of $H^1(M,\mathbb{R})$ in the uniqueness of divergence operators and provides an axiomatic classification that extends to densities and other generalized divergences when cohomological obstructions are present.
Abstract
Algebraists asked whether or not an operator on the module of smooth sections of the tangent bundle over the commutative ring of smooth functions of a smooth (orientable) manifold (can be any piece of a compact or a complete manifold) can be characterized by two axioms. In this note we confirm this for any smooth manifold M under the assumption that H^1(M, R) = {0}.