Morphisms of double (quasi-)Poisson algebras and action-angle duality of integrable systems (Q2119574)

This paper is a contribution to the theory of non-commutative Poisson structures, with applications to integrable systems. The main theoretical results concern double (quasi)Poisson structures, as introduced in [\textit{M. Van den Bergh}, Trans. Am. Math. Soc. 360, No. 11, 5711--5769 (2008; Zbl 1157.53046)]. Fusion for algebras generalizes fusion for quiver algebras corresponding to identification of vertices; Van den Bergh established that the behaviour of non-commutative Poisson structures under fusion is of significant interest. For double Poisson structures, the author first proves that iterated fusions are independent of the choices involved and likewise for Hamiltonian algebras (i.e., in presence of a moment map). The double quasi-Poisson case is much more delicate, since the passage of such a structure to the fusion algebra involves a correction fusion term, analysed in special cases by Van den Bergh and in full generality in [\textit{M. Fairon}, Algebr. Represent. Theory 24, No. 4, 911--958 (2021; Zbl 1480.16049)]. The main algebraic result (announced in [Zbl 1480.16049]) is a double quasi-Poisson analogue of the above, together with a version for quasi-Hamiltonian algebras (i.e., in presence of a multiplicative moment map). The results are illustrated by examples constructed from quivers (following Van den Bergh) which give, respectively, a Hamiltonian double Poisson structure and a quasi-Hamiltonian structure. The above theorems imply that, up to isomorphism, these structures only depend upon the underlying graph of the quiver. These results are applied to give a very conceptual explanation of action-angle duality for several examples of classical integrable systems, notably generalizations of the Calogero-Moser system and of the Ruijsenaars-Schneider systems. The associated phase spaces are constructed as quiver varieties, with Poisson structure induced by a NC-Poisson structure in the sense of [\textit{W. Crawley-Boevey}, J. Algebra 325, No. 1, 205--215 (2011; Zbl 1255.17012)]. The author exhibits action-angle coordinates, building upon [\textit{O. Chalykh} and \textit{M. Fairon}, J. Geom. Phys. 121, 413--437 (2017; Zbl 1418.70026)] and [\textit{O. Chalykh} and \textit{A. Silantyev}, J. Math. Phys. 58, No. 7, 071702, 31 p. (2017; Zbl 1370.37126)]. The action-angle duality corresponds to the reversal of arrows of the quiver.