Jacob's conjecture

Claim: complete proof of the Jacobian conjecture for all polynomial maps F:Cn ⁣→ ⁣CnF:\mathbb{C}^n\!\to\!\mathbb{C}^nF:Cn→Cn with constant non-zero Jacobian determinant.
Key step: a self-adjoint resonance operator; its principal trace inequality and the monotonic stability function prove global invertibility.