Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.24852

$\frac{1}{2}$ derivations and biderivations of 3-dimensional nilpotent Lie-Yamaguti algebras

Hassan Oubba
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we investigate $\frac{1}{2}$-derivations and their corresponding local and 2-local analogues on three-dimensional nilpotent Lie--Yamaguti algebras over a field $\mathbb{F}$ of characteristic zero. Utilizing the established classification of these algebras, we explicitly determine their structures of $\frac{1}{2}$-derivations and biderivations. Furthermore, we characterize the matrix representations of their local $\frac{1}{2}$-derivations. Our findings demonstrate that, for the non-abelian algebras under consideration, the space of local $\frac{1}{2}$-derivations is strictly larger than that of ordinary $\frac{1}{2}$-derivations. In addition, we construct examples of 2-local $\frac{1}{2}$-derivations that fail to be global $\frac{1}{2}$-derivations. Finally, a complete characterization of the biderivations for these algebras is provided.

Explore related subjects

math.RAmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hassan Oubba. 2026-10-17. $\frac{1}{2}$ derivations and biderivations of 3-dimensional nilpotent Lie-Yamaguti algebras. https://arxiv.org/abs/2610.24852

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Lie Bracket on the Space of (Right) Biderivations of a Lie Algebra

Derivations of a Lie algebra form a Lie algebra under the commutator bracket. Motivated by this property, we investigate Lie algebra structures on spaces of biderivations. We introduce right and left biderivations and show that their spaces admit natural Lie brackets induced by pointwise commutators of derivations. We describe these structures in terms of current Lie algebras and establish a cohomological characterisation of classical biderivations, with applications to semisimple and Heisenberg Lie algebras. We also examine the relation between the right and left brackets for symmetric and skew-symmetric biderivations. Finally, we discuss the pointwise integration of right biderivations into families of Lie group automorphisms.

math.RA↗
arXiv2026

Root of the generic cubic as a power series in the discriminant

An observation of J-P.~Serre implies that the generic monic cubic polynomial, unique among generic monic polynomials of degree at least two, has a root that is a power series in the discriminant; Serre asked for a formula. We give formulas that work over any field with an absolute value and in every characteristic. Over a complete non-archimedean field we identify the root intrinsically: it is the isolated root, the one farthest from the others. We also answer the next case of Serre's question, computing explicitly the distinguished ramified quadratic factor of the generic monic quartic. The methods combine Hensel's lemma, identities for generalized binomial series, and elementary non-archimedean analysis.

math.RA↗
arXiv2026

A polynomial criterion for Jordan elements in a free associative algebra

Let $J$ be the Jordan subalgebra of the free associative algebra $\Q\langle X\rangle$ generated by $X$ and $1$ under $a\cdot b=\tfrac12(ab+ba)$. We give a polynomial criterion for an associative polynomial to belong to $J$. For every $n\ge1$, Robbins' recursion gives a family of operators $T_α\in\Q[S_n]$, indexed by compositions of $n$ into parts $1$ and $2$. We prove that right multiplication by $U_n=\sum_αT_α^\dagger T_α$ has image $\SJ(n)$, the space of multilinear Jordan elements. If its characteristic polynomial is $t^{e_n}q_n(t)$, where $q_n(0)\ne0$, then $Π_n=I-q_n(U_n)/q_n(0)$ is an idempotent and $f\in\SJ(n)$ if and only if $fq_n(U_n)=0$, or equivalently $fΠ_n=f$. The same operators give the criterion for arbitrary homogeneous polynomials of degree $n$. We also prove $\SJ(n)\cong\bigoplus_{λ\vdash n}r_λS^λ$, where $r_λ=\rankρ_λ(U_n)$. Thus $\dim\SJ(n)=\sum_λd_λr_λ$ and $e_n=\sum_λd_λ(d_λ-r_λ)$, with $d_λ=\dim S^λ$. We give a recursion for the corresponding row spaces and use it to compute the multiplicities over $\Q$ through degree $12$. Exact block characteristic polynomials through degree $7$ and direct computations in small degrees illustrate the criterion.

math.RA↗