On montre que la fibre F
définie par l’intersection des invariants du système différentiel de Hénon–Heiles
se complète en une surface abélienne F, par l’adjonction d’une surface de Riemann
Γ lisse hyperelliptique de genre 3; laquelle est un revêtement double ramifié le
long d’une courbe elliptique Γ0. Aussi F peut être identifiée à la duale
d’une variété de Prym Prym(Γ∕Γ0) et le système se linéarise sur cette
variété.