Jacobi identity

In plain terms

Many operations depend on the order in which they're done. Turn a book a quarter turn about a vertical axis and then about a horizontal one, and it ends up in a different position from the one it reaches when the two turns are done the other way round. Take two operations, do them in one order and then in the other, and call the difference their bracket, which measures how badly the two fail to commute, that is, to give the same result in either order. The question is whether this bracket is merely a number you compute case by case, or whether it obeys laws of its own, because if it had none every calculation involving it would be bespoke drudgery.

It obeys exactly one deep law. Take three ingredients, form the bracket of the first with the bracket of the other two, then cycle the roles so each ingredient takes the outer position in turn, and add the three results, and everything cancels. That's the Jacobi identity, and it's what promotes the bracket from an arithmetical accident to an algebraic structure, the multiplication of what mathematicians call a Lie algebra, the algebra of continuous symmetries such as rotations and time evolution.

The payoff for physics is that two very different brackets both satisfy it. In quantum mechanics the bracket is the commutator, the difference between applying two operators in one order and in the other, and in classical mechanics it's the Poisson bracket, the rule that says how one quantity, such as position, changes along the motion generated by another, such as energy. It's the same law in two theories, and that shared grammar is why quantum and classical dynamics translate into each other as smoothly as they do.

In CSD

The identity sits underneath the programme's central translation. CSD's ontic side, its description of what actually exists, is a deterministic flow with Hamiltonian structure, the same kind of structure that governs classical mechanics, and its epistemic side, its description of what can be known, is operator dynamics with commutators, the familiar quantum formalism. The two levels correspond rather than merely resembling each other, because both brackets obey the same law, and without it the two levels would be connected only by analogy and hand-waving.

This is background structure rather than a theorem of the corpus, and the formal work around it has a definite edge. The state space is established as a symplectic manifold, the geometric setting in which Hamiltonian flows are usually studied, so its area-like structure is closed and non-degenerate, the space is Kahler, and Hamiltonian vector fields with their flows are constructed on it. The bracket of two functions on that manifold, and the Jacobi identity for it, aren't yet stated at the manifold level, as the bracket is formal in canonical coordinates, where its vanishing for functions with disjoint supports is proved and used, and that remaining step is recorded as a gap.

Mathematically

For a Lie bracket, the cyclic sum of nested brackets vanishes, and equivalently bracketing with a fixed element is a derivation, which is the form the identity takes in actual calculations.

The matrix commutator and the Poisson bracket both satisfy it, making each a Lie algebra multiplication and licensing the classical-quantum dictionary.

The corpus status is that the symplectic structure of CP^(N-1) is formal (fsForm_isSymplectic, the atlas-sense IsKahler, hamiltonianVectorField with integral curves, Mathlib/Geometry/Manifold/), and the canonical bracket in a Darboux chart and its disjoint-support vanishing are formal (SigmaLayer/ChartBracket.lean, poissonBracket, poissonBracket_eq_zero_of_disjoint). A manifold-level bracket of functions and its Jacobi identity aren't stated, and that's the recorded gap.

The name

Carl Gustav Jacob Jacobi (1804-1851) was born in Potsdam to a Jewish banking family and converted to Christianity to make an academic career possible, the standard toll of the era. He taught at Konigsberg for eighteen years, building it into a mathematical centre, before illness moved him to Berlin.

His work covered elliptic functions, in a legendary race with Abel, determinants, and mechanics, and the Hamilton-Jacobi equation still carries his half of the name. He also left the era's best statement of pure-science defiance, answering Fourier's complaint that he wasted his talent on number theory with the reply that the sole end of science is the honour of the human spirit.

Related entries

• Poisson bracketThe Poisson bracket is the one rule that tells classical mechanics how fast any quantity changes, and the quantum commutator obeys exactly the same algebra, so that shared grammar is what lets a deterministic flow present itself in quantum form.
• Kahler formOn the space of quantum states, distance, area and a quarter-turn coming from the complex numbers lock together, and that lock is what makes the volume of the space nobody's choice.
• Liouville measureA deterministic substrate needs a notion of volume that its own motion can't distort, and on CSD's sector that volume is forced and it's the Born measure.
• Moment mapThe Born probabilities are coordinates, and the moment map reads them straight off the geometry of the space of quantum states, with no measurement postulate consulted.
• Schrodinger from recordsCSD doesn't postulate the Schrodinger equation, as preserving the statistics of records forces the dynamics to be unitary, unitarity together with continuity forces a Hamiltonian, and the exponential form of the equation is a theorem at the end of that chain.