[Paper Review] 10-commutator and 13-commutator

Askar Dzhumadil’daev|ArXiv.org|Mar 22, 2006

Neuroendocrine Tumor Research Advances3 citations

TL;DR

This paper constructs the 10-commutator and 13-commutator on the Lie algebra of vector fields on 3-dimensional space, $\mathrm{Vect}(3)$, and the 10-commutator on divergence-free vector fields $\mathrm{Vect}_0(3)$, proving these are the only non-trivial $N$-commutators for $N>2$. The construction relies on analyzing powers of odd derivations and identifying escort invariants, showing $\mathrm{Vect}(3)$ and $\mathrm{Vect}_0(3)$ carry a sh-Lie algebra structure via these operations.

ABSTRACT

Skew-symmetric sum of $N!$ compositions of $N$ vector fields in all possible order is called $N$-commutator. We construct 10-commutator and 13-commutator on a space of vector fields $Vect(3)$ and 10-commutator on a space of divergenceless vector fields $Vect_0(3).$

Motivation & Objective

• To determine all non-trivial $N$-commutators on $\mathrm{Vect}(3)$ and $\mathrm{Vect}_0(3)$ for $N>2$, extending known results on $n$-commutators in differential operator algebras.
• To establish that the $2$-commutator, $10$-commutator, and $13$-commutator form a complete list of $N$-commutators on $\mathrm{Vect}(3)$, with the $10$-commutator being the only additional one beyond the standard commutator.
• To analyze the structure of higher-order derivations $D^k$ on $\mathrm{Vect}(3)$ and $\mathrm{Vect}_0(3)$, particularly focusing on $D^{10}$ and $D^{13}$, and to identify their escort invariants.
• To prove that the $10$-commutator is well-defined on $\mathrm{Vect}_0(3)$ by transforming terms involving $\partial_3$ using divergence-free constraints, reducing the number of terms and confirming closure.

Proposed method

• The $N$-commutator is defined as the skew-symmetric sum over all $N!$ permutations of compositions of $N$ vector fields, forming a multilinear operation on $\mathrm{Vect}(n)$.
• The paper uses the formalism of non-commutative polynomials and their induced multilinear maps to analyze identities and operations on differential operators.
• It computes powers of odd derivations $D^k$ associated with vector fields, tracking differential order and term structure to detect when $s_k$ becomes well-defined on $\mathrm{Vect}(n)$.
• The construction of the $10$- and $13$-commutators relies on identifying 'escort invariants'—specific multilinear forms that encode the structure of $D^k$ and ensure the $k$-commutator maps into $\mathrm{Vect}(3)$.
• For $\mathrm{Vect}_0(3)$, the method applies the divergence-free condition $\mathrm{Div}\,D=0$ to eliminate terms with $\partial_3$-derivatives, replacing them via $\partial_3\eta_3 \to -\partial_1\eta_1 - \partial_2\eta_2$, reducing the number of terms.
• Symbolic computation with Mathematica and Maple is used to derive and verify the explicit form of escort invariants for $D^{10}$ and $D^{13}$, including their term counts and types.

Experimental results

Research questions

• RQ1 Is $N = n^2 + 2n - 1$ the nilpotency index of the odd derivation $D$ on $\mathrm{Vect}(n)$, with $D^{n^2+2n-2} \neq 0$?
• RQ2 For $n > 3$, is $s_{n^2+2n-2}$ the only $N$-commutator (besides $2$-commutator) well-defined on $\mathrm{Vect}(n)$?
• RQ3 Does $\mathrm{Vect}(3)$ admit only $2$-, $10$-, and $13$-commutators as non-trivial $N$-commutators, and is this list complete?
• RQ4 Is the $10$-commutator on $\mathrm{Vect}_0(3)$ well-defined, and does it arise from a unique set of escort invariants under the divergence-free constraint?
• RQ5 Can the $10$- and $13$-commutators be expressed as sums of determinants or matrices of specific types, and what are their term counts and types?

Key findings

• The $10$-commutator on $\mathrm{Vect}(3)$ is well-defined and has $4062$ terms, distributed as $489$ of type $(2,7,1)$, $3093$ of type $(3,5,2)$, and $480$ of type $(3,6,0,1)$, with three escort invariants.
• The $13$-commutator on $\mathrm{Vect}(3)$ has $261$ terms, all of type $(3,8,2)$, and is associated with a single escort invariant.
• On $\mathrm{Vect}_0(3)$, the $10$-commutator is well-defined and reduces to $864$ terms after applying the divergence-free condition, with $82$ of type $(2,7,1)$, $76$ of type $(3,6,0,1)$, and $706$ of type $(3,5,2)$.
• The $10$-commutator on $\mathrm{Vect}_0(3)$ is supported by two escort invariants: $\mathrm{escort}_{271}$ and $\mathrm{escort}_{3601}$, with explicit formulas involving wedge products of differential forms and divergence terms.
• The $13$-commutator is not linked to a skew-symmetric identity of degree $14$, unlike the $10$-commutator, which is not connected to a degree $11$ identity either, as $s_{11}$ is not well-defined on $\mathrm{Vect}(3)$.
• The list of $N$-commutators on $\mathrm{Vect}(3)$ is complete: only $2$-, $10$-, and $13$-commutators exist for $N>2$, and the same holds for $\mathrm{Vect}_0(3)$, confirming the finality of this classification.