A Darboux–Getzler Theorem for Scalar Difference Hamiltonian Operators

In this paper we extend the notion of Poisson–Lichnerowicz cohomology, an object encapsulating the building blocks for the theory of deformations of Hamiltonian operators, to the difference case. A local scalar difference Hamiltonian operator is a polynomial in the shift operator and its inverse, wi...

Full description

Saved in:
Bibliographic Details
Published in:Communications in mathematical physics 2020-03, Vol.374 (3), p.1497-1529
Main Authors: Casati, Matteo, Wang, Jing Ping
Format: Article
Language:English
Subjects:
Algebra
Canonical forms
Classical and Quantum Gravitation
Complex Systems
Deformation
Differential equations
Functionals
Homology
Lie groups
Mathematical analysis
Mathematical and Computational Physics
Mathematical Physics
Operators (mathematics)
Physics
Physics and Astronomy
Polynomials
Quantum Physics
Relativity Theory
Theoretical
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper we extend the notion of Poisson–Lichnerowicz cohomology, an object encapsulating the building blocks for the theory of deformations of Hamiltonian operators, to the difference case. A local scalar difference Hamiltonian operator is a polynomial in the shift operator and its inverse, with coefficients in the algebra of difference functions, endowing the space of local functionals with the structure of a Lie algebra. Its Poisson–Lichnerowicz cohomology carries information about the center, the symmetries and the admissible deformations of such an algebra. The analogue notion for the differential case has been widely investigated: the first and most important result is the triviality of all but the lowest cohomology for first order Hamiltonian differential operators, due to Getzler. We study the Poisson–Lichnerowicz cohomology for the operator K 0 = S - S - 1 , which is the normal form for ( - 1 , 1 ) order scalar difference Hamiltonian operators; we obtain the same result as Getzler did, namely H p ( K 0 ) = 0 ∀ p > 1 , and explicitly compute H 0 ( K 0 ) and H 1 ( K 0 ) . We then apply our main result to the classification of lower order scalar Hamiltonian operators recently obtained by De Sole, Kac, Valeri, and Wakimoto.
ISSN:0010-3616
1432-0916
DOI:10.1007/s00220-019-03497-2