On transposed Poisson conformal algebras

1. Problem Statement and Motivation

The paper addresses the need to extend classical algebraic structures into the realm of conformal algebras, which are fundamental in the study of two-dimensional conformal field theory (CFT) and vertex operator algebras. Specifically, the authors aim to introduce and analyze the transposed Poisson conformal algebra (TPCA).

• Context: Poisson algebras (combining a Lie bracket and a commutative associative product) are well-studied in mechanics and geometry. Their "dual" notion, the transposed Poisson algebra, was recently introduced by reversing the roles of the operations in the Leibniz rule.
• Gap: While Poisson conformal algebras (the conformal analogues of Poisson algebras) have been studied, their transposed counterparts had not been formally defined or classified.
• Objective: To define the (noncommutative) transposed Poisson conformal algebra, establish its fundamental properties, explore its relationship with other structures (like Hom-Lie conformal algebras), and provide a complete classification of such structures over the specific Lie conformal algebra $W(a, b)$.

2. Methodology

The authors employ a rigorous algebraic approach combining structural definitions, identity derivations, and explicit classification techniques:

1. Definition and Axiomatization: They define a TPCA as a $\mathbb{C}[\partial]$-module equipped with two operations: a commutative associative $\lambda$-product ($\circ_\lambda$) and a Lie $\lambda$-bracket ($[\cdot_\lambda\cdot]$). The core axiom is the transposed conformal Leibniz rule:
   $$2(a \circ_\lambda [b_\mu c]) = [(a \circ_\lambda b)_{\lambda+\mu} c] + [b_\mu (a \circ_\lambda c)]$$
   They also define the noncommutative version where the associative product is not necessarily commutative.

2. Derivation of Identities: Using the axioms, the authors derive a rich class of identities (Theorem 3.5) involving cyclic sums and higher-order products, analogous to identities found in classical transposed Poisson algebras.

3. Structural Constructions:

   • Tensor Products: They prove that the tensor product of two TPCAs is again a TPCA.
   • Relationship with Hom-Lie Algebras: They demonstrate that for any element $h$ in a TPCA, the map $\alpha_h(x) = h \circ_{(0)} x$ turns the Lie conformal algebra part into a Hom-Lie conformal algebra.
   • Compatibility: They establish conditions under which an algebra is simultaneously a Poisson conformal algebra and a TPCA (showing this forces the interaction between the bracket and product to vanish).

4. Construction from Related Structures: The paper constructs TPCAs from:

   • Novikov-Poisson conformal algebras.
   • Pre-Lie commutative conformal algebras.
   • Differential Novikov-Poisson conformal algebras.
   • Pre-Lie Poisson conformal algebras.
     In each case, the TPCA bracket is defined via the commutator of the underlying non-associative product.

5. Classification via Polynomial Analysis: The core classification result (Section 5) involves analyzing the Lie conformal algebra $W(a, b)$. The authors assume a general form for the $\lambda$-product on the generators $L$ and $M$ with polynomial coefficients in $\mathbb{C}[\partial, \lambda]$. By substituting these into the associativity and transposed Leibniz rules, they derive a system of functional equations for these polynomials. They solve these equations by comparing degrees and coefficients, distinguishing cases based on the parameter $a$.

3. Key Contributions and Results

A. Theoretical Framework

• Definition: Formal introduction of (noncommutative) transposed Poisson conformal algebras.
• Tensor Product Theorem: Proved that the category of TPCAs is closed under tensor products (Theorem 3.6).
• Hom-Lie Connection: Established a direct link between TPCAs and Hom-Lie conformal algebras, showing that every TPCA induces a Hom-Lie structure via the multiplication by a fixed element (Proposition 3.7).
• Compatibility: Proved that if an algebra is both a Poisson conformal algebra and a TPCA, the interaction between the two structures is trivial (Proposition 3.8).

B. Construction Methods

The paper provides a "dictionary" for generating TPCAs from known structures:

• Theorem 4.4: The commutator of a Novikov-Poisson conformal algebra yields a TPCA.
• Corollary 4.6: Given a commutative associative conformal algebra and a derivation $D$, one can construct a TPCA using the operation $[a_\lambda b] = a \circ_\lambda D(b) - b \circ_{-\partial-\lambda} D(a)$.
• Proposition 4.11: Pre-Lie Poisson conformal algebras naturally give rise to TPCAs.

C. Classification over $W(a, b)$

The most significant technical result is the complete classification of compatible noncommutative TPCA structures over the Lie conformal algebra $W(a, b)$ (Theorem 5.5 and Theorem 5.6).

• Case $a \neq 2$: The only compatible structure is the trivial one (all products are zero).
• Case $a = 2$: Non-trivial structures exist. The authors classify them into four distinct isomorphism classes (Theorem 5.6):
  1. Type 1: $L \circ_\lambda L = s(\lambda)M$ (where $s(\lambda)$ is a non-zero polynomial), with all other products zero.
  2. Type 2: $L \circ_\lambda L = c_1 L$ and $L \circ_\lambda M = c_1 M$ (with $c_1 \neq 0$).
  3. Type 3: $L \circ_\lambda L = c_1 L$, $L \circ_\lambda M = M \circ_\lambda L = c_1 M$.
  4. Type 4: A more complex structure involving linear and quadratic terms in $\lambda$, which can be transformed into a canonical form where $L \circ_\lambda L = cL$, $L \circ_\lambda M = cM$, $M \circ_\lambda L = L$, and $M \circ_\lambda M = M$.

4. Significance

• Expansion of Conformal Algebra Theory: This work significantly broadens the landscape of conformal algebras by introducing a new class that sits between Lie conformal algebras and Poisson conformal algebras.
• Unification: It connects various algebraic concepts (Novikov, Pre-Lie, Hom-Lie) under the umbrella of transposed Poisson structures in the conformal setting.
• Classification Rigor: The complete classification over $W(a, b)$ provides a concrete testbed for the theory. The distinction between the cases $a=2$ and $a \neq 2$ highlights the sensitivity of conformal structures to the parameters of the underlying Lie algebra.
• Future Applications: Given the role of Poisson conformal algebras in integrable systems and quantization, transposed Poisson conformal algebras may offer new insights into the deformation theory of conformal algebras and the structure of vertex algebras.

In summary, Yuan and Fang successfully define a new algebraic structure, prove its robustness through tensor products and connections to Hom-Lie algebras, and provide a definitive classification of its non-trivial realizations on a fundamental Lie conformal algebra.