---
title: Daletskii–Takhtajan Functors
url: https://www.emergentmind.com/topics/daletskii-takhtajan-s-functors
type: topic
---

# Daletskii–Takhtajan Functors

The Daletskii–Takhtajan functors serve as a bridge between the categories of Leibniz $n$-algebras and ordinary (binary) Leibniz algebras, providing canonical constructions of lower-arity algebras from higher-arity ones. Their most prominent role is in encoding the structure of an $n$-ary algebra into algebraic data amenable for homological analysis by means of the Loday–Pirashvili–Quillen style chain complexes. Although these functors admit well-defined categorical formulations and explicit bracket formulas, they do not, in general, preserve key structural properties such as perfectness or compatibility with universal central extensions.

## 1. Definition and Formal Construction

Let $n \geq 2$, and denote by $\mathrm{Lb}_n$ the category of Leibniz $n$-algebras, and by $\mathrm{Lb}_2 \equiv \mathrm{Lb}$ the category of (binary) Leibniz algebras. For any $\mathcal{L} \in \operatorname{Ob}(\mathrm{Lb}_n)$, with $n$-ary bracket $[\,-,\,\ldots,\,-\,] : \mathcal{L}^{\otimes n} \to \mathcal{L}$, the Daletskii–Takhtajan functor $D_n$ is defined by
\[
D_n(\mathcal{L}) = \mathcal{L}^{\otimes (n-1)}
\]
equipped with the binary Leibniz bracket (Proposition 5.1):
\[
[\,\ell_1 \otimes \cdots \otimes \ell_{n-1},\, \ell'_1 \otimes \cdots \otimes \ell'_{n-1}\,]
= \sum_{i=1}^{n} \ell_1 \otimes \cdots \otimes [\,\ell_i,\ell'_1,\ldots,\ell'_{n-1}\,] \otimes \cdots \otimes \ell_{n-1}.
\]
For a morphism $f\colon \mathcal{L} \to \mathcal{L}'$ in $\mathrm{Lb}_n$, $D_n(f) = f^{\otimes(n-1)}$. The bracket satisfies the binary Leibniz identity by direct computation, so $D_n : (\mathrm{Lb}_n) \to (\mathrm{Lb}_2)$ is a well-defined functor [2601.17531].

## 2. Generalization to Multary Daletskii–Takhtajan Functors

Given $p,\,q \geq 2$ such that $q = \kappa (p-1) + 1$ for $\kappa \in \mathbb{N}$, there is a generalized functor $\mathfrak{D}_q^{p} : (\mathrm{Lb}_q) \to (\mathrm{Lb}_p)$ defined on objects by
\[
\mathfrak{D}_q^{p}(\mathcal{L}) = \mathcal{L}^{\otimes \kappa}
\]
and equipped with the $p$-ary bracket (Proposition 5.2):
\[
\begin{align*}
&[x_{1,1} \otimes \cdots \otimes x_{1,\kappa},\, x_{2,1} \otimes \cdots \otimes x_{2,\kappa},\, \ldots,\, x_{p,1} \otimes \cdots \otimes x_{p,\kappa}]_p \\
&\quad = \sum_{i=1}^\kappa x_{1,1} \otimes \cdots \otimes [x_{1,i}, x_{2,1},\ldots, x_{2,\kappa},\ldots, x_{p,1},\ldots, x_{p,\kappa}]_q \otimes \cdots \otimes x_{1,\kappa}.
\end{align*}
\]
For morphisms, $\mathfrak{D}_q^{p}(f) = f^{\otimes \kappa}$. The $p$-ary bracket is well-defined by repeated application of the $q$-ary fundamental identity. The functors $D_n$ and $\mathfrak{D}_q^p$ fit into commutative diagrams relating $\mathrm{Lb}_q, \mathrm{Lb}_p$, and lower-arity categories [2601.17531].

## 3. Behavior on Perfect Objects and Crossed Modules

A Leibniz $r$-algebra $A$ is perfect if $A = [A, \ldots, A]$ ($r$-fold bracket). It might be expected that $D_n$ and $\mathfrak{D}_q^p$ would map perfect objects to perfect objects; this is not the case. An explicit counterexample is given by the four-dimensional simple Lie 3-algebra $\mathcal{L}$ (basis $\{e_1, e_2, e_3, e_4\}$, brackets $[e_1, e_2, e_3]=e_4$, $[e_1, e_2, e_4]= -e_3$, etc.), which is perfect as a 3-algebra. Its image $D_3(\mathcal{L}) = \mathcal{L} \otimes \mathcal{L}$ is not perfect as a Leibniz algebra; for example, $e_1 \otimes e_1$ and $e_2 \otimes e_2$ never occur in any binary bracket of simple tensors (Example 5.3(i)). Therefore, $\mathfrak{D}_q^p$ does not, in general, preserve perfectness [2601.17531].

Since perfectness is the criterion for the existence of universal central extensions, it follows that $D_n$ and $\mathfrak{D}_q^p$ do not generally induce functors between categories of universal central-extension crossed modules.

## 4. Categorical and Homological Context

No nontrivial adjointness, natural transformations, or further universal properties (in the sense of central extensions) are developed for $\mathfrak{D}_q^{p}$ or $D_n$. The principal universal application is as follows: these functors provide a construction that encodes a Leibniz $n$-algebra as a Leibniz algebra or $p$-ary algebra, which can then be used to produce Loday–Pirashvili–Quillen-style chain complexes for the computation of homology and cohomology (Sec. 5, [2601.17531]). No additional universal property is established for the functors themselves.

## 5. Explicit Computational Examples

For $\mathcal{L}$ a Leibniz 3-algebra, $D_3(\mathcal{L}) = \mathcal{L} \otimes \mathcal{L}$ receives the bracket
\[
[\ell \otimes m,\, \ell' \otimes m'] = \ell \otimes [m,\,\ell',\,m'] + [\ell,\,\ell',\,m'] \otimes m.
\]
If $\mathcal{L}$ is a simple Lie 3-algebra (thus perfect), a direct computation shows that $e_i \otimes e_i$ does not appear in the bracket expansion of any commutator, confirming that $D_3(\mathcal{L})$ is not perfect. This exemplifies the structural loss under the functor and substantiates the failure of perfectness preservation [2601.17531].

## 6. Summary Table

| Functor            | Domain            | Codomain           | Bracket Structure           |
|--------------------|-------------------|--------------------|----------------------------|
| $D_n$              | $\mathrm{Lb}_n$   | $\mathrm{Lb}_2$    | Binary Leibniz ([...])      |
| $\mathfrak{D}_q^p$ | $\mathrm{Lb}_q$   | $\mathrm{Lb}_p$    | $p$-ary canonical ([...])   |

The explicit formulas for these brackets appear above, consistently originating from expansions using the original $n$- or $q$-ary brackets of the source algebra.

## 7. Significance and Limitations

Daletskii–Takhtajan functors offer a systematic approach for associating (multi)linear algebraic objects of lower arity with given Leibniz $n$-algebras, essential for applications such as the construction of chain complexes for homological investigations. However, the inability of these functors to preserve perfectness and to interact well with universal central extension structures limits their direct application to crossed module categories and certain functorial constructions. No deeper adjunction relations or categorical naturalities have been identified in the foundational reference [2601.17531].

Source: https://www.emergentmind.com/topics/daletskii-takhtajan-s-functors