🔢 mathematics

Jacobi algebras and Jacobi Novikov-Poisson algebras

This paper introduces the concept of Jacobi Novikov-Poisson algebras, explores their structural properties and relationships with Jacobi algebras, presents various constructions including tensor products and Frobenius characterizations, and provides classifications of low-dimensional examples over the complex numbers.

Original authors: Chengyang Lu, Yanyong Hong

Published 2026-02-16

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Chengyang Lu, Yanyong Hong

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

This paper introduces the discovery of a very abstract and complex new structure within 'Algebra,' a branch of mathematics, and presents a method for constructing larger structures using it. While technical terms such as 'Jacobi Novikov-Poisson algebra' appear, the core idea is similar to assembling Lego blocks or modifying a cooking recipe.

The following explanation uses analogies to make the content of this paper accessible to general readers.

1. Core Concept: "Mathematical Lego Blocks"

In this paper, Algebra is not merely about calculating numbers; think of it as a system for mixing and combining objects (numbers) according to specific rules.

Poisson Algebra: This is a system with two rules. One is a smooth mixing rule like 'multiplication (·)', and the other is a pushing-away rule like 'subtraction ([·,·])'. When these two rules harmonize, it becomes a 'Poisson Algebra'. (For example, it is widely used in physics and mechanics.)
Jacobi Algebra: This is like a 'sibling' to the Poisson Algebra, but with slightly more flexible rules. If the Poisson Algebra is a perfect square, the Jacobi Algebra is like a slightly distorted rectangle, allowing for more diverse shapes.

2. What This Paper Discovered: "A New Lego Set"

The authors invented a completely new Lego set called the "Jacobi Novikov-Poisson algebra".

Novikov: One of the blocks constituting this set has a special shape called 'Novikov'. Uniquely, this block possesses the property that "if you push it to the left, it bounces off to the right."
New Combination: The authors discovered a new combination method that mixes the existing 'smooth multiplication' rule with this 'peculiar Novikov' rule to create a Jacobi Algebra.

Analogy: It is like discovering a previously non-existent 'magical adhesive (Novikov rule)' and finding that attaching ordinary blocks (multiplication) to it completes a more powerful and complex structure (Jacobi Algebra).

3. Major Achievement 1: "Building Massive Structures via Affinization"

The first major achievement of the paper is presenting a method for creating massive structures by stretching small blocks.

Principle: If you have a small Lego block (a finite-dimensional algebra), you can stretch it infinitely along the axis of time or space (like a polynomial) to create a massive structure.
Discovery: The authors proved that "only by possessing small blocks (Jacobi Novikov-Poisson algebras) that satisfy certain conditions can one stretch them to complete a massive 'Jacobi Algebra'."
Significance: This is mathematically equivalent to proving that if you plant a small seed (a new algebra), it will grow into a massive tree (a Jacobi Algebra).

4. Major Achievement 2: "Classifying Lego Blocks"

The authors identified all the possible shapes this new Lego set can take in two dimensions (plane) and three dimensions (solid).

Classification Work: They organized all possibilities, stating "this shape is Type A, that shape is Type B."
Importance: When mathematicians discover a new structure, they classify every case to determine "Is this all? Or are there more?" This is akin to discovering a new animal and drawing and organizing all its variants (2D, 3D) of that species.

5. Major Achievement 3: "Combining Blocks (Tensor Product)"

The paper also discovered another remarkable fact: Even if you attach two different Lego sets together, the result remains the same kind of Lego set.

Analogy: Suppose there is a Lego set called A and another called B. If you attach them (tensor product) to create a new large block, the result still follows the rules of the 'Jacobi Novikov-Poisson algebra'.
Significance: This means that Lego blocks do not clash with each other; rather, when creating larger structures, they maintain their original rules.

6. Major Achievement 4: "Frobenius - Perfect Balancing"

Finally, the authors introduced a method to create a special state called 'Frobenius Jacobi Algebra'.

What is a Frobenius Algebra? It is a mathematically very 'balanced' state. Just as a scale is perfectly level, it is a state where energy or mass within the system perfectly cancels out or connects with each other.
Discovery: The authors proved that "if you have small Lego blocks with appropriate 'weights (quadratic forms)', you can combine them to create a 'Frobenius Jacobi Algebra,' which is a state of perfect balance."
Application: This is like providing a recipe for mixing unbalanced ingredients to create a perfect dish.

Summary: Why is this paper important?

Invention of a New Tool: It created a new mathematical tool (Jacobi Novikov-Poisson algebra) that mathematicians can use to explain complex physical phenomena or geometric structures.
Discovery of a Link: It found the link between small rules (Novikov) and large rules (Jacobi). Knowing the small allows one to understand the large.
Design of Perfect Structures: It presented a method for designing perfectly balanced (Frobenius) structures using these tools.

One-sentence summary:

"This paper is the blueprint showing how mathematicians invented a new type of Lego block (Jacobi Novikov-Poisson algebra) and how to stretch, combine, and classify these blocks to create massive and perfect structures (Jacobi Algebra)."

Technical Summary: Jacobi Algebras and Jacobi Novikov-Poisson Algebras

Problem Statement
The paper addresses the algebraic structure required to generate Jacobi algebras through an affinization process analogous to the construction of Lie algebras from Novikov algebras. While it is established that the affinization of a Novikov algebra yields a Lie algebra, and the affinization of a differential Novikov-Poisson algebra yields a Poisson algebra, the specific algebraic structure on a vector space $A$ that produces a Jacobi algebra via the same tensor product construction ( $A[t, t^{-1}]$ ) remained undefined. Furthermore, the paper seeks to extend the theory of Frobenius algebras to the context of Jacobi algebras, specifically investigating whether Frobenius Jacobi algebras can be constructed from tensor products of algebras with appropriate quadratic structures.

Methodology
The authors employ a structural approach involving the definition of new algebraic categories, the verification of their properties through direct computation, and the classification of low-dimensional instances over the complex field $\mathbb{C}$ .

Definition and Characterization: The authors introduce the concept of Jacobi Novikov-Poisson algebras, defined as a triple $(A, \cdot, \circ)$ where $(A, \cdot)$ is a unital commutative associative algebra and $(A, \circ)$ is a Novikov algebra, satisfying specific compatibility conditions that generalize differential Novikov-Poisson algebras.
Affinization and Construction: The paper utilizes the affinization construction (extending scalars to Laurent polynomials $A[t, t^{-1}]$ ) to demonstrate the equivalence between the Jacobi Novikov-Poisson structure on $A$ and the resulting Jacobi algebra structure on the extended space. Additionally, tensor product constructions are used to generate Jacobi algebras from pairs of Jacobi and right Jacobi Novikov-Poisson algebras.
Classification: The authors perform a systematic classification of Jacobi Novikov-Poisson algebras in dimensions 2 and 3 over $\mathbb{C}$ by analyzing the characteristic matrices of the underlying commutative and Novikov products.
Quadratic Structures and Integrals: The study introduces Frobenius Jacobi Novikov-Poisson algebras and establishes equivalent characterizations using nondegenerate symmetric invariant bilinear forms (quadratic structures) and integrals (linear functionals satisfying specific trace-like properties).
Deformation Theory: The paper investigates $u$ -conformal deformations of these algebras, showing how they relate to differential Novikov-Poisson algebras and how they induce conformal deformations on the associated Jacobi algebras.

Key Contributions and Results

Introduction of Jacobi Novikov-Poisson Algebras: The paper defines Jacobi Novikov-Poisson algebras and proves that $(A[t, t^{-1}], \cdot, [\cdot, \cdot])$ is a Jacobi algebra if and only if $(A, \cdot, \circ)$ is a Jacobi Novikov-Poisson algebra. This provides a complete answer to the motivation regarding the affinization of Jacobi algebras.
Relationship with Existing Structures: It is shown that every unital differential Novikov-Poisson algebra is a Jacobi Novikov-Poisson algebra (provided a specific condition on the unit holds). The paper also demonstrates that Jacobi algebras can be derived from Jacobi Novikov-Poisson algebras via the commutator bracket of the Novikov product or via derivations.
Tensor Product Closure: The authors prove that the tensor product of two Jacobi Novikov-Poisson algebras (or a Jacobi and a right Jacobi Novikov-Poisson algebra) naturally carries a Jacobi Novikov-Poisson (or Jacobi) algebra structure.
Low-Dimensional Classifications:
- Complete classifications of 2-dimensional and 3-dimensional Jacobi Novikov-Poisson algebras over $\mathbb{C}$ are provided up to isomorphism.
- A classification of 3-dimensional Jacobi Novikov-Poisson algebras with simple Novikov algebra structures is given for fields of characteristic 3.
- An explicit example of a Jacobi Novikov-Poisson algebra with a simple Novikov structure is provided for fields of characteristic $p > 2$ .
Frobenius Theory: The concept of Frobenius Jacobi Novikov-Poisson algebras is introduced. The paper establishes that a finite-dimensional Jacobi Novikov-Poisson algebra is Frobenius if and only if it admits a nondegenerate integral or a nondegenerate symmetric invariant bilinear form (making it a quadratic Jacobi Novikov-Poisson algebra).
Construction of Frobenius Jacobi Algebras: A construction is presented showing that the tensor product of a finite-dimensional quadratic Jacobi Novikov-Poisson algebra and a finite-dimensional quadratic right Jacobi Novikov-Poisson algebra yields a Frobenius Jacobi algebra.
Conformal Deformations: The paper details how $u$ -conformal deformations of Jacobi Novikov-Poisson algebras induce conformal deformations of the associated Jacobi algebras, providing examples where such deformations yield differential Novikov-Poisson algebras.

Significance
The paper claims significance in providing the missing algebraic link between Novikov-type structures and Jacobi algebras via the affinization process. By introducing Jacobi Novikov-Poisson algebras, the authors unify the study of Jacobi manifolds with Novikov algebras and differential structures. The work extends the theory of Frobenius algebras to the Jacobi setting, offering new construction methods for Frobenius Jacobi algebras through tensor products. The explicit classifications in low dimensions serve as a foundational resource for further structural analysis of these algebras. The results also highlight the role of unital commutative differential algebras as a fundamental source of examples for this new class of algebras.