Searcharxiv⌕ Search

arXiv subjects

Nikita Safonkin

Publications and source records attributed to Nikita Safonkin.

10 recordsLinked to original sources
arXiv2026

Trace radicals and cocenters of free products

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.

math.RT↗
arXiv2026

Double Transposed Poisson Algebras

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}$.

math.RT↗
arXiv2026

What is a double star-product?

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 $\operatorname{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 a notion of double algebra over an arbitrary operad.

math.QA↗
arXiv2026

Coupled double Poisson brackets

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.

math.QA↗
arXiv2023

Double Poisson brackets and involutive representation spaces

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 [Trans. Amer. Math. Soc. (2008); arXiv:math/0410528] is a bilinear map $\{\!\!\{-,-\}\!\!\}$ from $A\times A$ to $A^{\otimes 2}$, 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.

math.QA↗
arXiv2023

Remarks on Yangian-type algebras and double Poisson brackets

This short note is an announcement of results. We continue the study of Yangian-type algebras initiated in the paper arXiv:2208.04809. These algebras share a number of properties of the Yangians of type A but are more massive. We refine and substantially enlarge the construction of that paper. A direct link with the class of linear double Poisson brackets on the free associative algebras (Pichereau and Van de Weyer, arXiv:math/0701837) is also established.

math.RT↗
arXiv2022

Semifinite harmonic functions on the zigzag graph

We study semifinite harmonic functions on the zigzag graph, which corresponds to Pieri's rule for the fundamental quasisymmetric functions $\{F_λ\}$. 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.

math.RT↗
arXiv2022

Semifinite harmonic functions on branching graphs

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)$.

math.RT↗
arXiv2021

Semifinite harmonic functions on the Gnedin-Kingman graph

We study the Gnedin-Kingman graph, which corresponds to Pieri's rule for the monomial basis $\{M_λ\}$ 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.

math.CO↗