pith. sign in

arxiv: 2607.01066 · v1 · pith:OWCLCKK7new · submitted 2026-07-01 · 🧮 math.RT · math.QA· math.RA

Double Transposed Poisson Algebras

Maxime Fairon , Nikita Safonkin This is my paper

Pith reviewed 2026-07-02 02:41 UTC · model grok-4.3

classification 🧮 math.RT math.QAmath.RA
keywords double transposed Poisson algebrasrepresentation algebrastrace mapsderivationsGL_N invariantsnoncommutative Poisson structuresH_0 structures
0
0 comments X

The pith

Every double transposed Poisson structure on a unital associative algebra is controlled by a single derivation to A tensor the symmetric algebra on the commutator quotient.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines double transposed Poisson algebras as a noncommutative analogue of transposed Poisson algebras that respects the principle allowing structures to pass to representation spaces. It proves that any such structure on a unital associative algebra A arises from exactly one derivation sending A into A tensor the symmetric algebra on A modulo its commutator ideal. This single object then produces a GL_N-equivariant transposed Poisson structure on the representation algebra of N by N matrices over A, and further yields a transposed Poisson structure on the ring of GL_N-invariants by composing with the trace map. A reader would care because the construction supplies an explicit and uniform way to equip representation varieties and their quotients with Poisson-type brackets starting from data on the original algebra.

Core claim

We introduce double transposed Poisson algebras, first in an id-adapted version and then in general form. We prove that every such structure on a unital associative algebra A is governed by a single derivation A to A tensor S(A/[A,A]). Furthermore, this induces a GL_N-equivariant transposed Poisson structure on each representation algebra A_N and, via the trace map, a transposed Poisson structure on the ring of GL_N-invariants. We also define H_0-transposed Poisson structures and obtain the invariant-ring structure from them.

What carries the argument

The single derivation A to A tensor S(A/[A,A]) that encodes the entire double transposed Poisson structure and from which all induced brackets are recovered.

If this is right

  • Every double transposed Poisson structure on A is completely determined by one derivation into A tensor S(A/[A,A]).
  • The structure on A produces a GL_N-equivariant transposed Poisson structure on the representation algebra A_N for every N.
  • Composing with the trace map produces a transposed Poisson structure on the ring of GL_N-invariants of A_N.
  • H_0-transposed Poisson structures are defined and likewise induce structures on the invariant rings.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The governing derivation may give a practical way to classify or construct such structures on free algebras or path algebras.
  • The same mechanism could be tested on other functors from algebras to varieties beyond matrix representations.
  • If the derivation is inner or satisfies extra conditions, the induced structures on invariants might simplify to ordinary Poisson brackets.

Load-bearing premise

The definition of double transposed Poisson algebras must be compatible with the principle that lets algebraic structures descend to representation algebras and their invariants.

What would settle it

Exhibit a double transposed Poisson structure on some unital associative algebra A whose brackets cannot be recovered from any single derivation A to A tensor S(A/[A,A]).

read the original abstract

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

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper introduces double transposed Poisson algebras (both id-adapted and general versions) as a noncommutative analogue of transposed Poisson algebras compatible with the Kontsevich-Rosenberg principle. It proves that every such structure on a unital associative algebra A is equivalent to a single derivation A → A ⊗ S(A/[A,A]), and shows that this derivation induces a GL_N-equivariant transposed Poisson structure on each representation algebra A_N as well as a transposed Poisson structure on the ring of GL_N-invariants via the trace map; it also defines H_0-transposed Poisson structures as the transposed counterpart of Crawley-Boevey's H_0-Poisson structures.

Significance. If the central claims hold, the work supplies a representation-theoretic framework for noncommutative Poisson structures that respects the Kontsevich-Rosenberg principle and yields explicit derivations governing the structures; the equivalence to a single derivation and the induction to A_N and invariants are concrete strengths that could facilitate further study of invariants and representations in noncommutative algebra.

major comments (2)
  1. [general definition and induction (around the statement of the main theorem on derivations and representation algebras)] The induction step for the general (non-id-adapted) definition: the manuscript must explicitly verify that the extra terms permitted by the general definition map compatibly under the universal representation A → Mat_N(A_N) so that the induced bracket on A_N satisfies the transposed Poisson axioms and remains GL_N-equivariant; the abstract states the result but the verification for the general case is load-bearing for the central claim and requires a concrete check beyond the id-adapted case.
  2. [§ on general definition (following the id-adapted case)] Definition of the general double transposed Poisson algebra: the compatibility with the Kontsevich-Rosenberg principle for the general version (beyond id-adapted) needs to be shown to ensure the derivation A → A ⊗ S(A/[A,A]) automatically produces the claimed structures without additional restrictions; if the extra terms do not preserve the axioms under the representation map, the equivalence and induction statements require qualification.
minor comments (2)
  1. [preliminaries and main statements] Notation for the symmetric algebra factor S(A/[A,A]) and the trace map should be introduced with explicit reference to the universal representation to aid readability.
  2. [definition of H_0-transposed Poisson structures] Clarify whether the H_0-transposed Poisson structure is defined only for the id-adapted case or extends directly to the general case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comments. We agree that the general (non-id-adapted) case requires explicit verification to fully support the induction and Kontsevich-Rosenberg compatibility claims. We will incorporate the requested checks in the revised manuscript.

read point-by-point responses

  1. Referee: [general definition and induction (around the statement of the main theorem on derivations and representation algebras)] The induction step for the general (non-id-adapted) definition: the manuscript must explicitly verify that the extra terms permitted by the general definition map compatibly under the universal representation A → Mat_N(A_N) so that the induced bracket on A_N satisfies the transposed Poisson axioms and remains GL_N-equivariant; the abstract states the result but the verification for the general case is load-bearing for the central claim and requires a concrete check beyond the id-adapted case.

    Authors: We agree that an explicit verification for the general case is necessary and was insufficiently detailed. The general definition is designed so the extra terms are compatible by construction, but to address this we will add a concrete computation in a new subsection verifying that these terms map compatibly under A → Mat_N(A_N), confirming the induced bracket on A_N satisfies the transposed Poisson axioms and is GL_N-equivariant. This will be included in the revised version. revision: yes

  2. Referee: [§ on general definition (following the id-adapted case)] Definition of the general double transposed Poisson algebra: the compatibility with the Kontsevich-Rosenberg principle for the general version (beyond id-adapted) needs to be shown to ensure the derivation A → A ⊗ S(A/[A,A]) automatically produces the claimed structures without additional restrictions; if the extra terms do not preserve the axioms under the representation map, the equivalence and induction statements require qualification.

    Authors: We concur that explicit demonstration of Kontsevich-Rosenberg compatibility for the general version is required. In the revision we will prove that the derivation A → A ⊗ S(A/[A,A]) produces the structures without further restrictions by directly checking that the extra terms preserve the axioms under the representation map, thereby justifying the equivalence and induction statements for the general case. revision: yes

Circularity Check

0 steps flagged

No significant circularity; claims rest on new definitions and independent proofs.

full rationale

The paper defines double transposed Poisson algebras (id-adapted and general) and states theorems that every such structure is governed by a single derivation A → A ⊗ S(A/[A,A]), with induction to GL_N-equivariant structures on A_N and invariants via trace. These are presented as proven results from the definitions, compatible with Kontsevich-Rosenberg, without reducing to self-citations, fitted parameters renamed as predictions, or ansatzes smuggled via prior author work. No load-bearing step equates a claimed output to its input by construction. The derivation chain is self-contained against external benchmarks like the original transposed Poisson algebras.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The paper introduces a new algebraic structure whose properties are claimed to follow from standard associative algebra operations and derivations; no explicit free parameters or invented entities beyond the new definition itself are mentioned in the abstract.

axioms (2)
  • standard math Standard properties of unital associative algebras, commutators, symmetric algebras, and derivations hold.
    Invoked implicitly when defining the structures and the governing derivation.
  • domain assumption The Kontsevich-Rosenberg principle provides a valid compatibility condition for the structures on representation algebras.
    Used to justify the induction of GL_N-equivariant structures.
invented entities (2)
  • double transposed Poisson algebra (id-adapted and general versions) no independent evidence
    purpose: To serve as a noncommutative analogue of transposed Poisson algebras compatible with the Kontsevich-Rosenberg principle.
    Newly postulated algebraic structure whose independent evidence is not provided in the abstract.
  • H_0-transposed Poisson structure no independent evidence
    purpose: Transposed counterpart to Crawley-Boevey's H_0-Poisson structures.
    Newly defined object used to obtain structures on invariants.

pith-pipeline@v0.9.1-grok · 5714 in / 1570 out tokens · 49068 ms · 2026-07-02T02:41:10.827446+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

12 extracted references · 11 canonical work pages · 7 internal anchors

  1. [1]

    $\delta$-Poisson and transposed $\delta$-Poisson algebras

    Abdelwahab, H.; Kaygorodov, I.; Sartayev, B.: -Poisson and transposed -Poisson algebras . Journal of Non-Associative Structures 1, Paper no. 6 (2026); arXiv:2411.05490

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  2. [2]

    Journal of Algebra 632, 535--566 (2023); arXiv:2005.01110

    Bai, C.; Bai, R.; Guo, L.; Wu, Y.: Transposed Poisson algebras, Novikov-Poisson algebras and 3-Lie algebras . Journal of Algebra 632, 535--566 (2023); arXiv:2005.01110

    work page arXiv 2023

  3. [3]

    A note on noncommutative Poisson structures

    Crawley-Boevey W.: Poisson structures on moduli spaces of representations . Journal of Algebra 325, 205--215 (2011); arXiv:math/0506268

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  4. [4]

    Results in Mathematics 79, no

    Damas Beites, P.; Ferreira, B.L.M.; Kaygorodov, I.: Transposed Poisson structures . Results in Mathematics 79, no. 2, Article 93 (2024); arXiv:2207.00281

    work page arXiv 2024

  5. [5]

    Revista de la Real Academia de Ciencias Exactas, F \' sicas y Naturales

    Ferreira, B.L.M.; Kaygorodov, I.; Lopatkin, V.: 1 2 -derivations of L ie algebras and transposed P oisson algebras . Revista de la Real Academia de Ciencias Exactas, F \' sicas y Naturales. Serie A. Matem \'a ticas (RACSAM) 115, no. 3, Paper No. 142 (2021); arXiv:2010.00443

    work page arXiv 2021

  6. [6]

    Differential operators and BV structures in noncommutative geometry

    Ginzburg, V.; Schedler, T.: Differential operators and BV structures in noncommutative geometry . Selecta Mathematica New Series 16, no. 4, 673--730 (2010); arXiv:0710.3392

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  7. [7]

    Journal of Physics A: Mathematical and Theoretical 57, no

    Kaygorodov, I.; Khudoyberdiyev, A.: Transposed Poisson structures on solvable and perfect Lie algebras . Journal of Physics A: Mathematical and Theoretical 57, no. 3, Article ID 035205 (2024); arXiv:2310.00624

    work page arXiv 2024

  8. [8]

    Harmonic analysis on the infinite symmetric group

    Kerov, S.; Olshanski, G.; Vershik, A.: Harmonic analysis on the infinite symmetric group . Inventiones Mathematicae 158, no. 3, 551--642, (2004); arXiv:math/0312270

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  9. [9]

    Noncommutative smooth spaces

    Kontsevich, M.; Rosenberg, A.: Noncommutative smooth spaces . In: The Gelfand Mathematical Seminars, 1996--1999, Birkh\"auser, Boston, pp. 85--108 (2000); arXiv:math/9812158

    work page internal anchor Pith review Pith/arXiv arXiv 1996

  10. [10]

    Advances in Mathematics 19, no

    Procesi, C.: The invariant theory of n n matrices . Advances in Mathematics 19, no. 3, 306--381 (1976)

    1976

  11. [11]

    What is a double star-product?

    Safonkin, N.: What is a double star-product? . Preprint (17 May 2026); arXiv:2506.00699v4

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  12. [12]

    Double Poisson algebras

    Van den Bergh, M.: Double Poisson algebras . Transactions of the American Mathematical Society 360, no. 11, 5711--5769 (2008); arXiv:math/0410528

    work page internal anchor Pith review Pith/arXiv arXiv 2008