The Derived Algebra of Nonlinear Polynomial Divergence-Free Vector Fields
Abstract
We study the Lie algebra L≥2 of divergence-free polynomial vector fields on kn, n≥3, with coefficients of degree at least two, graded by coefficient degree. Over every field its derived algebra in degree d≥3 is the space of exact fields, those whose contraction with the volume form is an exact form, and it is already spanned by brackets with quadratic fields. In characteristic zero this is the whole degree-d component. In characteristic p>0 the abelianization is nonzero above degree two exactly in the degrees d≥(p−1)(n−1) with d≡1−npmod p, and Cartier descent identifies it with a Frobenius twist of a rational GLn-module, tensored with a power of the determinant. For p≥5 each exact component is obtained from the previous one by bracketing with quadratic fields.
Related
- The Lie algebra of polynomial vector fields on the affine space with constant divergence is $1.5$-generated
- Hopf algebra polynomial identities in the Sweedler algebra
- Global Solvability in Critical Sobolev Spaces for divergence-type equations associated with elliptic systems of vector fields
- The divergence of continuously differentiable vector fields
- Support Vector Machines Directly Minimise KL Divergence
BibTeX
@misc{ma2026derived,
title = {{The Derived Algebra of Nonlinear Polynomial Divergence-Free Vector Fields}},
author = {Chao Ma},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.01838},
eprint = {2610.01838},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.01838},
}
RIS
TY - UNPB
TI - The Derived Algebra of Nonlinear Polynomial Divergence-Free Vector Fields
AU - Chao Ma
PY - 2026
DA - 2026/10/01
PB - arXiv
DO - 10.48550/arxiv.2610.01838
UR - https://arxiv.org/abs/2610.01838
AB - We study the Lie algebra L_≥2 of divergence-free polynomial vector fields on k^n, n≥3, with coefficients of degree at least two, graded by coefficient degree. Over every field its derived algebra in degree d≥3 is the space of exact fields, those whose contraction with the volume form is an exact form, and it is already spanned by brackets with quadratic fields. In characteristic zero this is the whole degree-d component. In characteristic p>0 the abelianization is nonzero above degree two exactly in the degrees d≥(p−1)(n−1) with d≡1−npmod p, and Cartier descent identifies it with a Frobenius twist of a rational GL_n-module, tensored with a power of the determinant. For p≥5 each exact component is obtained from the previous one by bracketing with quadratic fields.
ER -