A vanishing criterion for Lie elements in a free Novikov algebra
Abstract
Every Novikov algebra is Lie-admissible: the commutator turns it into a Lie algebra. We give a finite criterion for a multilinear element of the free Novikov algebra to belong to the Lie subalgebra generated by the free generators. By the differential realization of free Novikov algebras, the multilinear component of degree n is identified with the space of homogeneous polynomials of degree n−1 in n variables. We prove that a multilinear element is a Lie element if and only if its symbol vanishes at every integer point (a1,…,an) with ai≤ 1 and a1+⋯+an≥ 2. Equivalently, the symbol is annihilated by two explicit linear differential operators of orders two and three. The proof combines the Witt algebra, a specialization argument for a symmetric block of variables, homogeneous interpolation and Molev's description of the multilinear component of the Lie algebra generated by the free generators as a module over the symmetric group. As applications we show that a nonzero multilinear Lie element is never a total derivative, recover the dimension of the multilinear Lie component, and illustrate the criterion by examples in degrees $4$, $5$ and $6$.
Related
- A polynomial criterion for Jordan elements in a free associative algebra
- Asymptotic Behavior of Distance near the Origin Between Two Elements of the Semigroup in a Banach Algebra
- Divergence-free concentrations come from vanishing sequences
- Spectral Criterion for Disorder-Free Localization of Quantum Walks on Hypercube: QBN Approach
- Entropy-Regularized Mean-Field Games with Average-Reward Criterion: Span-Seminorm Contractions and Model-Free Learning
BibTeX
@misc{mashurov2026vanishing,
title = {{A vanishing criterion for Lie elements in a free Novikov algebra}},
author = {F. A. Mashurov and B. K. Sartayev},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.08538},
eprint = {2609.08538},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.08538},
}
RIS
TY - UNPB
TI - A vanishing criterion for Lie elements in a free Novikov algebra
AU - F. A. Mashurov
AU - B. K. Sartayev
PY - 2026
DA - 2026/09/08
PB - arXiv
DO - 10.48550/arxiv.2609.08538
UR - https://arxiv.org/abs/2609.08538
AB - Every Novikov algebra is Lie-admissible: the commutator turns it into a Lie algebra. We give a finite criterion for a multilinear element of the free Novikov algebra to belong to the Lie subalgebra generated by the free generators. By the differential realization of free Novikov algebras, the multilinear component of degree n is identified with the space of homogeneous polynomials of degree n−1 in n variables. We prove that a multilinear element is a Lie element if and only if its symbol vanishes at every integer point (a_1,…,a_n) with a_i≤ 1 and a_1+⋯+a_n≥ 2. Equivalently, the symbol is annihilated by two explicit linear differential operators of orders two and three. The proof combines the Witt algebra, a specialization argument for a symmetric block of variables, homogeneous interpolation and Molev's description of the multilinear component of the Lie algebra generated by the free generators as a module over the symmetric group. As applications we show that a nonzero multilinear Lie element is never a total derivative, recover the dimension of the multilinear Lie component, and illustrate the criterion by examples in degrees $4$, $5$ and $6$.
ER -