Poisson bracket

In plain terms

In classical mechanics the state of a system is a point, specified by positions and momenta, and as time passes that point traces a path. A natural question is how fast any given quantity changes along the path, not just a position or a momentum but the energy, the angular momentum, the distance between two planets, anything you can compute from the state. The Poisson bracket is the single rule that answers it, as you feed it the quantity you care about together with the total energy and out comes the rate of change, so the whole of classical dynamics compresses into one line, that the rate of change of anything equals its bracket with the energy.

The bracket takes two quantities and produces a third, and it obeys three algebraic laws. It's antisymmetric, meaning that swapping the two inputs flips the sign of the result. It obeys a product rule of the same shape as the rule for differentiating a product. And it obeys the Jacobi identity, a consistency condition on what happens when three quantities are bracketed together in different orders.

A century later the same three laws turned up somewhere unexpected. In quantum mechanics physical quantities are represented by operators, and the order in which two operators are applied matters, so the commutator measures that mismatch, as you apply the first then the second, minus the second then the first. Dirac noticed, within months of quantum mechanics existing, that the commutator satisfies exactly the laws the Poisson bracket does, and he turned the observation into the recipe for quantisation, which is to keep the algebra and replace the bracket by the commutator. It's two theories with one grammar.

In CSD

For CSD the shared algebra isn't a curiosity but a structural support. The programme's ontic side, the level at which things actually happen, is a deterministic flow of the Hamiltonian kind on the constraint surface, and its epistemic side, the level of what can be predicted, is ordinary operator dynamics with commutators. The claim that these are two descriptions of one process, rather than an analogy between two processes, rests on the two brackets obeying the same laws.

The scope of the formal work is narrower than the idea and is stated as such. The corpus establishes that the state space is a symplectic manifold, the general setting in which the bracket is defined, so its oriented-area structure is closed and non-degenerate, it's Kahler, meaning that its notion of distance and its notion of oriented area fit together in the way the bracket requires, Hamiltonian vector fields and their flows are constructed on it, and the flow preserves the volume measure. The bracket itself is formal in canonical coordinates, where the vanishing of the bracket for functions with disjoint supports is proved and used. What isn't yet stated is the bracket of two functions on the manifold itself, with its Jacobi identity, and that step is recorded as a gap and not presented as done.

Mathematically

The bilinear antisymmetric bracket on phase-space functions induced by the symplectic form. It satisfies the Jacobi identity and generates Hamiltonian flow via df/dt = {f, H}, and its algebraic agreement with the commutator underwrites Dirac's quantisation dictionary.

In the corpus the symplectic manifold structure of CP^(N-1) is formal (fsForm_isSymplectic, IsKahler, hamiltonianVectorField and its integral curves, Mathlib/Geometry/Manifold/), as is the canonical bracket in a Darboux chart with its disjoint-support vanishing theorem (SigmaLayer/ChartBracket.lean). The manifold- level bracket of functions, omega(X_f, X_g), isn't yet named, and its Jacobi identity isn't stated, and that's the recorded gap.

The name

Simeon Denis Poisson (1781-1840), from Pithiviers, entered the Ecole Polytechnique in 1798 and was at once marked out by Laplace and Lagrange as the coming man. He stayed within the Paris institutions all his life and put his name on more mathematics than almost anyone, the distribution, the equation, the ratio and the bracket, the last from an 1809 memoir on planetary perturbation.

The distribution, now everywhere, made its first appearance in a book about the probability of criminal verdicts and was ignored for half a century. As an examiner he was also one of the officials who failed to recognise Galois, which is a reminder that even the great ones grade badly.

Related entries

• Jacobi identityThe Jacobi identity is the law that turns the mismatch between doing things in different orders into a structure of its own, and it's why classical and quantum dynamics read as two dialects of one language.
• 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 equationIn CSD the Schrodinger equation isn't postulated, as it's what any continuous motion that preserves the measurable relations between quantum states is forced to look like.