Showing 1–13 of 13 results for author: Fairon, M

Modified double brackets and a conjecture of S. Arthamonov

Authors: Maxime Fairon

Abstract: Around 20 years ago, M. Van den Bergh introduced double Poisson brackets as operations on associative algebras inducing Poisson brackets under the representation functor. Weaker versions of these operations, called modified double Poisson brackets, were later introduced by S. Arthamonov in order to induce a Poisson bracket on moduli spaces of representations of the corresponding associative algebr… ▽ More Around 20 years ago, M. Van den Bergh introduced double Poisson brackets as operations on associative algebras inducing Poisson brackets under the representation functor. Weaker versions of these operations, called modified double Poisson brackets, were later introduced by S. Arthamonov in order to induce a Poisson bracket on moduli spaces of representations of the corresponding associative algebras. Moreover, he defined two operations that he conjectured to be modified double Poisson brackets. The first case of this conjecture was recently proved by M. Goncharov and V. Gubarev motivated by the theory of Rota-Baxter operators of nonzero weight. We settle the conjecture by realising the second case as part of a new family of modified double Poisson brackets. These are obtained from mixed double Poisson algebras, a new class of algebraic structures that are introduced and studied in the present work. △ Less

Submitted 11 October, 2024; v1 submitted 28 May, 2024; originally announced May 2024.

Comments: v4: Journal version

MSC Class: 17B63 (primary); 16S38; 16W99 (secondary)

Journal ref: Communications in Mathematics, Volume 33 (2025), Issue 3 (Special issue: European Non-Associative Algebra Seminar) (October 14, 2024) cm:13786

Compatible Poisson structures on multiplicative quiver varieties

Authors: Maxime Fairon

Abstract: Any multiplicative quiver variety is endowed with a Poisson structure constructed by Van den Bergh through reduction from a Hamiltonian quasi-Poisson structure. The smooth locus carries a corresponding symplectic form defined by Yamakama through quasi-Hamiltonian reduction. In this note, we include the Poisson structure as part of a pencil of compatible Poisson structures on the multiplicative qui… ▽ More Any multiplicative quiver variety is endowed with a Poisson structure constructed by Van den Bergh through reduction from a Hamiltonian quasi-Poisson structure. The smooth locus carries a corresponding symplectic form defined by Yamakama through quasi-Hamiltonian reduction. In this note, we include the Poisson structure as part of a pencil of compatible Poisson structures on the multiplicative quiver variety. The pencil is defined by reduction from a pencil of Hamiltonian quasi-Poisson structures which has dimension $\ell(\ell-1)/2$, where $\ell$ is the number of arrows in the underlying quiver. For each element of the pencil, we exhibit the corresponding compatible symplectic or quasi-Hamiltonian structure. We comment on analogous constructions for character varieties and quiver varieties. This formalism is applied to the spin Ruijsenaars-Schneider phase space in order to explain the compatibility of two Poisson structures that have recently appeared in the literature. △ Less

Submitted 21 December, 2023; v1 submitted 28 October, 2023; originally announced October 2023.

Comments: v2: 28 pages. Remark 3.21 and Section 4 added

Functorial constructions related to double Poisson vertex algebras

Authors: Tristan Bozec, Maxime Fairon, Anne Moreau

Abstract: For any double Poisson algebra, we produce a double Poisson vertex algebra using the jet algebra construction. We show that this construction is compatible with the representation functor which associates to any double Poisson (vertex) algebra and any positive integer a Poisson (vertex) algebra. We also consider related constructions, such as Poisson reductions and Hamiltonian reductions, with the… ▽ More For any double Poisson algebra, we produce a double Poisson vertex algebra using the jet algebra construction. We show that this construction is compatible with the representation functor which associates to any double Poisson (vertex) algebra and any positive integer a Poisson (vertex) algebra. We also consider related constructions, such as Poisson reductions and Hamiltonian reductions, with the aim of comparing the different corresponding categories. This allows us to provide various interesting examples of double Poisson vertex algebras, in particular from double quivers. △ Less

Submitted 12 July, 2023; originally announced July 2023.

Comments: 69 pages, 7 figures. Comments are welcome

MSC Class: 17B63; 17B69; 14L30; 16S38

Integrable multi-Hamiltonian systems from reduction of an extended quasi-Poisson double of $\operatorname{U}(n)$

Authors: M. Fairon, L. Feher

Abstract: We construct a master dynamical system on a $\operatorname{U}(n)$ quasi-Poisson manifold, $\mathcal{M}_d$, built from the double $\operatorname{U}(n) \times \operatorname{U}(n)$ and $d\geq 2$ open balls in $\mathbb{C}^n$, whose quasi-Poisson structures are obtained from $T^* \mathbb{R}^n$ by exponentiation. A pencil of quasi-Poisson bivectors $P_{\underline{z}}$ is defined on $\mathcal{M}_d$ that… ▽ More We construct a master dynamical system on a $\operatorname{U}(n)$ quasi-Poisson manifold, $\mathcal{M}_d$, built from the double $\operatorname{U}(n) \times \operatorname{U}(n)$ and $d\geq 2$ open balls in $\mathbb{C}^n$, whose quasi-Poisson structures are obtained from $T^* \mathbb{R}^n$ by exponentiation. A pencil of quasi-Poisson bivectors $P_{\underline{z}}$ is defined on $\mathcal{M}_d$ that depends on $d(d-1)/2$ arbitrary real parameters and gives rise to pairwise compatible Poisson brackets on the $\operatorname{U}(n)$-invariant functions. The master system on $\mathcal{M}_d$ is a quasi-Poisson analogue of the degenerate integrable system of free motion on the extended cotangent bundle $T^*\!\operatorname{U}(n) \times \mathbb{C}^{n\times d}$. Its commuting Hamiltonians are pullbacks of the class functions on one of the $\operatorname{U}(n)$ factors. We prove that the master system descends to a degenerate integrable system on a dense open subset of the smooth component of the quotient space $\mathcal{M}_d/\operatorname{U}(n)$ associated with the principal orbit type. Any reduced Hamiltonian arising from a class function generates the same flow via any of the compatible Poisson structures stemming from the bivectors $P_{\underline{z}}$. The restrictions of the reduced system on minimal symplectic leaves parameterized by generic elements of the center of $\operatorname{U}(n)$ provide a new real form of the complex, trigonometric spin Ruijsenaars-Schneider model of Krichever and Zabrodin. This generalizes the derivation of the compactified trigonometric RS model found previously in the $d=1$ case. △ Less

Submitted 30 September, 2023; v1 submitted 28 February, 2023; originally announced February 2023.

Comments: 56 pages, 2 figures, v2: a typo is removed from equation (4.25)

Journal ref: Annales Henri Poincare 24 (2023) 3461-3529

Around Van den Bergh's double brackets for different bimodule structures

Authors: Maxime Fairon, Colin McCulloch

Abstract: A double Poisson bracket, in the sense of M. Van den Bergh, is an operation on an associative algebra $A$ which induces a Poisson bracket on each representation space $\operatorname{Rep}(A,n)$ in an explicit way. In this note, we study the impact of changing the Leibniz rules underlying a double bracket. This change amounts to make a suitable choice of $A$-bimodule structure on $A\otimes A$. In th… ▽ More A double Poisson bracket, in the sense of M. Van den Bergh, is an operation on an associative algebra $A$ which induces a Poisson bracket on each representation space $\operatorname{Rep}(A,n)$ in an explicit way. In this note, we study the impact of changing the Leibniz rules underlying a double bracket. This change amounts to make a suitable choice of $A$-bimodule structure on $A\otimes A$. In the most important cases, we describe how the choice of $A$-bimodule structure fixes an analogue to Jacobi identity, and we obtain induced Poisson brackets on representation spaces. The present theory also encodes a formalisation of the widespread tensor notation used to write Poisson brackets of matrices in mathematical physics. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: 34 pages, 1 figure. Comments are welcome

Journal ref: Communications in Algebra 51, no. 4 (2023), 1673-1706

A decoupling property of some Poisson structures on ${\rm Mat}_{n\times d}(\mathbb{C}) \times {\rm Mat}_{d\times n}(\mathbb{C})$ supporting ${\rm GL}(n,\mathbb{C}) \times {\rm GL}(d,\mathbb{C})$ Poisson-Lie symmetry

Authors: M. Fairon, L. Feher

Abstract: We study a holomorphic Poisson structure defined on the linear space $S(n,d):= {\rm Mat}_{n\times d}(\mathbb{C}) \times {\rm Mat}_{d\times n}(\mathbb{C})$ that is covariant under the natural left actions of the standard ${\rm GL}(n,\mathbb{C})$ and ${\rm GL}(d,\mathbb{C})$ Poisson-Lie groups. The Poisson brackets of the matrix elements contain quadratic and constant terms, and the Poisson tensor i… ▽ More We study a holomorphic Poisson structure defined on the linear space $S(n,d):= {\rm Mat}_{n\times d}(\mathbb{C}) \times {\rm Mat}_{d\times n}(\mathbb{C})$ that is covariant under the natural left actions of the standard ${\rm GL}(n,\mathbb{C})$ and ${\rm GL}(d,\mathbb{C})$ Poisson-Lie groups. The Poisson brackets of the matrix elements contain quadratic and constant terms, and the Poisson tensor is non-degenerate on a dense subset. Taking the $d=1$ special case gives a Poisson structure on $S(n,1)$, and we construct a local Poisson map from the Cartesian product of $d$ independent copies of $S(n,1)$ into $S(n,d)$, which is a holomorphic diffeomorphism in a neighborhood of zero. The Poisson structure on $S(n,d)$ is the complexification of a real Poisson structure on ${\rm Mat}_{n\times d}(\mathbb{C})$ constructed by the authors and Marshall, where a similar decoupling into $d$ independent copies was observed. We also relate our construction to a Poisson structure on $S(n,d)$ defined by Arutyunov and Olivucci in the treatment of the complex trigonometric spin Ruijsenaars-Schneider system by Hamiltonian reduction. △ Less

Submitted 1 December, 2021; originally announced December 2021.

Comments: Accepted version

Journal ref: Journal of Mathematical Physics 62, 033512 (2021)

Double Multiplicative Poisson Vertex Algebras

Authors: Maxime Fairon, Daniele Valeri

Abstract: We develop the theory of double multiplicative Poisson vertex algebras. These structures, defined at the level of associative algebras, are shown to be such that they induce a classical structure of multiplicative Poisson vertex algebra on the corresponding representation spaces. Moreover, we prove that they are in one-to-one correspondence with local lattice double Poisson algebras, a new importa… ▽ More We develop the theory of double multiplicative Poisson vertex algebras. These structures, defined at the level of associative algebras, are shown to be such that they induce a classical structure of multiplicative Poisson vertex algebra on the corresponding representation spaces. Moreover, we prove that they are in one-to-one correspondence with local lattice double Poisson algebras, a new important class among Van den Bergh's double Poisson algebras. We derive several classification results, and we exhibit their relation to non-abelian integrable differential-difference equations. A rigorous definition of double multiplicative Poisson vertex algebras in the non-local and rational cases is also provided. △ Less

Submitted 23 August, 2022; v1 submitted 7 October, 2021; originally announced October 2021.

Comments: v3: 46 pages, 1 figure. Minor corrections following the referee's suggestions

Report number: Roma01.Math

Journal ref: International Mathematics Research Notices (2022); rnac245

Euler continuants in noncommutative quasi-Poisson geometry

Authors: Maxime Fairon, David Fernández

Abstract: It was established by Boalch that Euler continuants arise as Lie group valued moment maps for a class of wild character varieties described as moduli spaces of points on $\mathbb{P}^1$ by Sibuya. Furthermore, Boalch noticed that these varieties are multiplicative analogues of certain Nakajima quiver varieties originally introduced by Calabi, which are attached to the quiver $Γ_n$ on two vertices a… ▽ More It was established by Boalch that Euler continuants arise as Lie group valued moment maps for a class of wild character varieties described as moduli spaces of points on $\mathbb{P}^1$ by Sibuya. Furthermore, Boalch noticed that these varieties are multiplicative analogues of certain Nakajima quiver varieties originally introduced by Calabi, which are attached to the quiver $Γ_n$ on two vertices and $n$ equioriented arrows. In this article, we go a step further by unveiling that the Sibuya varieties can be understood using noncommutative quasi-Poisson geometry modeled on the quiver $Γ_n$. We prove that the Poisson structure carried by these varieties is induced, via the Kontsevich-Rosenberg principle, by an explicit Hamiltonian double quasi-Poisson algebra defined at the level of the quiver $Γ_n$ such that its noncommutative multiplicative moment map is given in terms of Euler continuants. This result generalises the Hamiltonian double quasi-Poisson algebra associated with the quiver $Γ_1$ by Van den Bergh. Moreover, using the method of fusion, we prove that the Hamiltonian double quasi-Poisson algebra attached to $Γ_n$ admits a factorisation in terms of $n$ copies of the algebra attached to $Γ_1$. △ Less

Submitted 20 September, 2022; v1 submitted 11 May, 2021; originally announced May 2021.

Comments: 51 pages, 1 figure. v3: Subsection 5.6 added + minor changes. Accepted version

Journal ref: Forum Math. Sigma 10 (2022) Paper No. e88, 54 pp

On the noncommutative Poisson geometry of certain wild character varieties

Authors: Maxime Fairon, David Fernández

Abstract: To show that certain wild character varieties are multiplicative analogues of quiver varieties, Boalch introduced colored multiplicative quiver varieties. They form a class of (nondegenerate) Poisson varieties attached to colored quivers whose representation theory is controlled by fission algebras: noncommutative algebras generalizing the multiplicative preprojective algebras of Crawley-Boevey an… ▽ More To show that certain wild character varieties are multiplicative analogues of quiver varieties, Boalch introduced colored multiplicative quiver varieties. They form a class of (nondegenerate) Poisson varieties attached to colored quivers whose representation theory is controlled by fission algebras: noncommutative algebras generalizing the multiplicative preprojective algebras of Crawley-Boevey and Shaw. Previously, Van den Bergh exploited the Kontsevich-Rosenberg principle to prove that the natural Poisson structure of any (non-colored) multiplicative quiver variety is induced by an $H_0$-Poisson structure on the underlying multiplicative preprojective algebra; indeed, it turns out that this noncommutative structure comes from a Hamiltonian double quasi-Poisson algebra constructed from the quiver itself. In this article we conjecture that, via the Kontsevich-Rosenberg principle, the natural Poisson structure on each colored multiplicative quiver variety is induced by an $H_0$-Poisson structure on the underlying fission algebra which, in turn, is obtained from a Hamiltonian double quasi-Poisson algebra attached to the colored quiver. We study some consequences of this conjecture and we prove it in two significant cases: the interval and the triangle. △ Less

Submitted 11 April, 2025; v1 submitted 18 March, 2021; originally announced March 2021.

Comments: v4: Final version to appear in Journal of Noncommutative Geometry

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

Authors: Maxime Fairon

Abstract: Double (quasi-)Poisson algebras were introduced by Van den Bergh as non-commutative analogues of algebras endowed with a (quasi-)Poisson bracket. In this work, we provide a study of morphisms of double (quasi-)Poisson algebras, which we relate to the $H_0$-Poisson structures of Crawley-Boevey. We prove in particular that the double (quasi-)Poisson algebra structure defined by Van den Bergh for an… ▽ More Double (quasi-)Poisson algebras were introduced by Van den Bergh as non-commutative analogues of algebras endowed with a (quasi-)Poisson bracket. In this work, we provide a study of morphisms of double (quasi-)Poisson algebras, which we relate to the $H_0$-Poisson structures of Crawley-Boevey. We prove in particular that the double (quasi-)Poisson algebra structure defined by Van den Bergh for an arbitrary quiver only depends upon the quiver seen as an undirected graph, up to isomorphism. We derive from our results a representation theoretic description of action-angle duality for several classical integrable systems. △ Less

Submitted 15 September, 2021; v1 submitted 4 August, 2020; originally announced August 2020.

Comments: v2: 51 pages, 3 figures -- Sections 2,3,4 rearranged + intro extended + minor changes. Accepted in Ann. Henri Lebesgue

Journal ref: Annales Henri Lebesgue 5 (2022), 179-262

Double quasi-Poisson brackets : fusion and new examples

Authors: Maxime Fairon

Abstract: We exhibit new examples of double quasi-Poisson brackets, based on some classification results and the method of fusion. This method was introduced by Van den Bergh for a large class of double quasi-Poisson brackets which are said differential, and our main result is that it can be extended to arbitrary double quasi-Poisson brackets. We also provide an alternative construction for the double quasi… ▽ More We exhibit new examples of double quasi-Poisson brackets, based on some classification results and the method of fusion. This method was introduced by Van den Bergh for a large class of double quasi-Poisson brackets which are said differential, and our main result is that it can be extended to arbitrary double quasi-Poisson brackets. We also provide an alternative construction for the double quasi-Poisson brackets of Van den Bergh associated to quivers, and of Massuyeau-Turaev associated to the fundamental groups of surfaces. △ Less

Submitted 2 July, 2020; v1 submitted 27 May, 2019; originally announced May 2019.

Comments: 37pages, 1 figure, including 4 appendices. v2 : minor changes, accepted version

MSC Class: 16S38; 17B63; 53D17

Journal ref: Algebr. Represent. Theor. 24 (2021), 911-958

Multiplicative quiver varieties and generalised Ruijsenaars-Schneider models

Authors: Oleg Chalykh, Maxime Fairon

Abstract: We study some classical integrable systems naturally associated with multiplicative quiver varieties for the (extended) cyclic quiver with $m$ vertices. The phase space of our integrable systems is obtained by quasi-Hamiltonian reduction from the space of representations of the quiver. Three families of Poisson-commuting functions are constructed and written explicitly in suitable Darboux coordina… ▽ More We study some classical integrable systems naturally associated with multiplicative quiver varieties for the (extended) cyclic quiver with $m$ vertices. The phase space of our integrable systems is obtained by quasi-Hamiltonian reduction from the space of representations of the quiver. Three families of Poisson-commuting functions are constructed and written explicitly in suitable Darboux coordinates. The case $m=1$ corresponds to the tadpole quiver and the Ruijsenaars-Schneider system and its variants, while for $m>1$ we obtain new integrable systems that generalise the Ruijsenaars-Schneider system. These systems and their quantum versions also appeared recently in the context of supersymmetric gauge theory and cyclotomic DAHAs, as well as in the context of the Macdonald theory. △ Less

Submitted 19 April, 2017; originally announced April 2017.

Comments: 27 pages

Journal ref: J. Geom. Phys. 121 (2017), 413-437

Introduction to graded geometry

Authors: Maxime Fairon

Abstract: This paper aims at setting out the basics of $\mathbb{Z}$-graded manifolds theory. We introduce $\mathbb{Z}$-graded manifolds from local models and give some of their properties. The requirement to work with a completed graded symmetric algebra to define functions is made clear. Moreover, we define vector fields and exhibit their graded local basis. The paper also reviews some correspondences betw… ▽ More This paper aims at setting out the basics of $\mathbb{Z}$-graded manifolds theory. We introduce $\mathbb{Z}$-graded manifolds from local models and give some of their properties. The requirement to work with a completed graded symmetric algebra to define functions is made clear. Moreover, we define vector fields and exhibit their graded local basis. The paper also reviews some correspondences between differential Z-graded manifolds and algebraic structures. △ Less

Submitted 14 March, 2017; v1 submitted 9 December, 2015; originally announced December 2015.

Comments: 15 pages, to appear in European Journal of Mathematics

MSC Class: 58A50; 51-02

Journal ref: Eur. J. Math. 3 (2017), no. 2, 208-222