Papers

We call a unital associative algebra \( A \) trace residually finite-dimensional if its elements are separated by finite-dimensional representations and its cocenter \( A/[A,A] \) is separated by the corresponding trace functionals. For RFD algebras \( A \) and \( B \), we prove that the trace radical of \( A*B \), the common kernel of all finite-dimensional trace functionals, is the direct sum of the trace radicals of \( A \) and \( B \), which implies that \( A*B \) is trace RFD if and only if both \( A \) and \( B \) are trace RFD. The proof combines an explicit cocenter decomposition with a construction of finite-dimensional representations whose traces detect nonzero classes of words of length greater than one.

We introduce double transposed Poisson algebras, a noncommutative analogue of the transposed Poisson algebras of Bai, Bai, Guo and Wu that is compatible with the Kontsevich–Rosenberg principle. We first consider a simplified version which we call id-adapted double transposed Poisson algebras and then explore the general definition. We prove that every such structure on a unital associative algebra \( \mathbb{A} \) is governed by a single derivation \( \mathbb{A} \to \mathbb{A} \otimes \operatorname{S}(\mathbb{A}/[\mathbb{A},\mathbb{A}]) \). Furthermore, this induces a \( \operatorname{GL}_N \)-equivariant transposed Poisson structure on each representation algebra \( \mathbb{A}_N = \Bbbk[\operatorname{Rep}_N(\mathbb{A})] \). We also define \( H_0 \)-transposed Poisson structures, the transposed counterpart of Crawley-Boevey's \( H_0 \)-Poisson structures, and use the trace map to obtain a transposed Poisson structure on the ring of \( \operatorname{GL}_N \)-invariants \( \mathbb{A}_N^{\operatorname{GL}_N} \).

We introduce coupled double Poisson brackets on an associative algebra \( A \) as pairs consisting of a generalized Van den Bergh's double Poisson bracket and a generalized Fairon–McCulloch's right double Poisson bracket subject to a cross-Jacobi identity. Each of Van den Bergh's double brackets, Fairon–McCulloch's right double brackets, and also Ginzburg–Schedler's wheeled Poisson brackets induces a \( \operatorname{GL}_N \)-invariant Poisson structure on the representation scheme \( \operatorname{Rep}_N(A) \) parametrizing \( N \)-dimensional representations of \( A \), thereby satisfying the Kontsevich–Rosenberg principle. Wheeled Poisson brackets seem to be the most general such structures, and while their relation to Van den Bergh's double Poisson brackets is known, their relation to Fairon–McCulloch's right double Poisson brackets has remained open.

We fill this gap and establish a bijection between pairs of coupled double Poisson brackets and wheeled Poisson brackets of Ginzburg and Schedler. On free polynomial algebras, we furthermore establish a one-to-one correspondence between linear coupled double Poisson brackets and a new algebraic structure that we call Poisson-left-pre-Lie algebras, and describe quadratic ones via solutions of the associative and classical Yang–Baxter equations satisfying a compatibility condition.

Double Poisson brackets, introduced by M. Van den Bergh in 2004, are noncommutative analogs of the usual Poisson brackets in the sense of the Kontsevich–Rosenberg principle: they induce Poisson structures on the space of \( N \)-dimensional representations \( \mathrm{Rep}_N(A) \) of an associative algebra \( A \) for any \( N \). The problem of deformation quantization of double Poisson brackets was raised by D. Calaque in 2010, and had remained open since then.

In this paper, we address this problem by answering the question in the title. We present a structure on \( A \) that induces a star-product under the representation functor and, therefore, according to the Kontsevich–Rosenberg principle, can be viewed as an analog of star-products in noncommutative geometry. We also provide an explicit example for \( A = \Bbbk\langle x_1, \ldots, x_d \rangle \) and prove a double formality theorem in this case. Along the way, we invert the Kontsevich–Rosenberg principle by introducing the notion of a double algebra over an arbitrary operad.

Let \( \Bbbk \) be an algebraically closed field of characteristic \( 0 \) and \( A \) be a finitely generated associative \( \Bbbk \)-algebra, in general noncommutative. One assigns to \( A \) a sequence of commutative \( \Bbbk \)-algebras \( \mathcal{O}(A,d) \), \( d = 1, 2, 3, \dots \), where \( \mathcal{O}(A,d) \) is the coordinate ring of the space \( \operatorname{Rep}(A,d) \) of \( d \)-dimensional representations of the algebra \( A \). A double Poisson bracket on \( A \) in the sense of Van den Bergh is a bilinear map \( \{\!\!\{-,-\}\!\!\} \colon A \times A \to A \otimes A \), subject to certain conditions. Van den Bergh showed that any such bracket \( \{\!\!\{-,-\}\!\!\} \) induces Poisson structures on all algebras \( \mathcal{O}(A,d) \).

We propose an analog of Van den Bergh's construction, which produces Poisson structures on the coordinate rings of certain subspaces of the representation spaces \( \operatorname{Rep}(A,d) \). We call these subspaces the involutive representation spaces. They arise by imposing an additional symmetry condition on \( \operatorname{Rep}(A,d) \) — just as the classical groups from the series B, C, D are obtained from the general linear groups (series A) as fixed point sets of involutive automorphisms.

This short note is an announcement of results. We continue the study of Yangian-type algebras initiated by the first author. These algebras share a number of properties of the Yangians of type A but are more massive. We refine and substantially enlarge the known construction. A direct link with the class of linear double Poisson brackets on the free associative algebras (Pichereau and Van de Weyer, 2008) is also established.

Indecomposable semifinite harmonic functions on the direct product of graded graphs are classified. As a particular case, the full list of indecomposable traces for the infinite inverse symmetric semigroup is obtained.

We study semifinite harmonic functions on the zigzag graph, which corresponds to Pieri's rule for the fundamental quasisymmetric functions \( \{F_{\lambda}\} \). The main problem, which we solve here, is to classify the indecomposable semifinite harmonic functions on this graph. We describe the set of classification parameters and an explicit construction that produces a semifinite indecomposable harmonic function out of every point of this set. We also establish a semifinite analog of the Vershik–Kerov ring theorem.

We study semifinite harmonic functions on arbitrary branching graphs. We give a detailed exposition of an algebraic method which allows one to classify semifinite indecomposable harmonic functions on some multiplicative branching graphs. This method was proposed by A. Wassermann in terms of operator algebras, while we rephrase, clarify, and simplify the main arguments, working only with combinatorial objects. This work was inspired by the theory of traceable factor representations of the infinite symmetric group \( S(\infty) \).

We study the Gnedin–Kingman graph, which corresponds to Pieri's rule for the monomial basis \( \{M_{\lambda}\} \) in the algebra \( \mathrm{QSym} \) of quasisymmetric functions. The paper contains a detailed announcement of results concerning the classification of indecomposable semifinite harmonic functions on the Gnedin–Kingman graph. For these functions, we also establish a multiplicativity property, which is an analog of the Vershik–Kerov ring theorem.

We study problem of global classification of ordinary differential equations of the first order with the linear-fractional right-hand side with rational coefficients with respect to a symmetry group. We find the field of differential invariants and obtain the equivalence criterion for two such equations.