Double Poisson structures on finite dimensional semi-simple algebras (Q1029576)

Double Poisson algebras were introduced by M. Van den Bergh as a generalization of classical Poisson geometry to the setting of noncommutative geometry. A double Poisson algebra \(A\) is an associative unital algebra equipped with a linear map \(\{\{-,-\}\}:A\otimes A\rightarrow A\otimes A\) that is a derivation in its second argument for the outer \(A\)-bimodule structure on \(A\otimes A\), together with an explicitly defined double Jacobi identity. This map is called a double Poisson bracket. A double Poisson bracket yields, for each \(n\), a classical Poisson bracket on the coordinate ring \(\mathbb C[\text{rep}_n(A)]\) of the variety of \(n\)-dimensional representations of \(A\). This bracket restricts to a Poisson bracket on \(\mathbb C[\text{rep}_n(A)]^{\text{GL}}\). This article study the the double Poisson brackets on a direct sum \(S=M_{d_1}(\mathbb{C})\oplus\cdots\oplus M_{d_k}(\mathbb{C})\) of matrix algebras over \(\mathbb C\). On such algebras, all double Poisson brackets are determined by double Poisson tensors, that is, elements of degree \(2\) in \(\mathbb{D}S=T_S\mathbb D\text{er}(S)\) where \(D\text{er}(S)=\text{Der}(S,S\otimes S)\) is the module of double derivations. The first result of the article is the explicit description of \(\mathbb D\text{er}(S)\) and \(\mathbb D\text{er}_T(S)\), the last one the bimodule of \(T\)-linear double derivations with \(T\subset S\) a subalgebra: \[ \mathbb D\text{er}(S)\cong\bigoplus_{i=1}^k M_{d_1}(\mathbb C)^{\oplus d_i^2-1}\oplus\bigoplus_{i\neq j}M_{d_i\times d_j}(\mathbb C)^{\oplus d_id_j}. \] Also, if \(T=M_{e_1}(\mathbb C)\oplus\cdots\oplus M_{e_l}\) a finite dimensional semi-simple subalgebra of \(S\) with Bratelli diagram with respect to \(S\) given by \((a_{ij})^{(k,l)}_{(i,j)=(1,1)},\) then \[ \mathbb D\text{er}_T(S)\cong\bigoplus_{i=1}^k M_{d_1}(\mathbb C)^{\oplus r_i}\oplus\bigoplus_{i\neq j}M_{d_i\times d_j}(\mathbb C)^{\oplus r_{ij}} \] as bimodules, with \(r_i=\sum_{u=1}^l a_{iu}^2-1\) and \(r_{ij}=\sum_{u=1}^la_{iu}a_{ju}.\) Using this results, the author is able to formulate an explicit description of the graded Lie algebra \(\mathbb D S/[\mathbb DS,\mathbb DS][1],\) where the bracket on \(\mathbb D S/[\mathbb DS,\mathbb DS][1]\) is the bracket associated to the double Schouten-Nijenhuis bracket on \(\mathbb DS\). This description it explicitly formulated in terms of a assigned duo-tone quiver. This result can be used to determine all monomials of degree \(2\) in \(\mathbb DS\) that yield nontrivial double Poisson structures on \(S\), and is in turn used to compute the first double Poisson-Lichnerowicz cohomology groups for \(S\). Double Poisson structures on these algebras yield interesting noncommutative geometry as they can be extended to double Poisson structures on the free product of such algebras. For such products \(S\ast T\), the quotient variety \(\text{iss}_n(S\ast T)\) is no longer trivial and double Poisson structures can yield nontrivial Poisson structures on this variety. In particular, an explicit description of the Poisson brackets on the quotient variety \(\text{iss}_n(\mathbb C^{\oplus p}\ast\mathbb C^{\oplus q})\) is given. The article is reasonable detailed, and explains the theory good. It gives nice examples on the applications of quivers.