Searcharxiv⌕ Search

arXiv · 2610.12479

A unified approach to the definition of anti-algebras

Abstract

We introduce the $\mathfrak M$arseille anti-construction $\mathfrak{Ma}$ for varieties of algebras defined by multilinear identities of degree $3$, obtained by changing the sign of the right-nested part of each defining polynomial. This gives, for any variety $\Var$, a new variety $\mathfrak{Ma}$-$\Var$ that generalizes antiassociative algebras and the recently studied anti-Novikov and anti-right-symmetric $\big($pre-Jacobi--Jordan$\big)$ algebras. We describe free objects in several $\mathfrak{Ma}$-varieties. On the operadic level, over a field of characteristic $\mathrm{char}\,\Bbbk\neq 2$, we show $(\mathfrak{Ma}\text{-}\Var)^{(!)}=\mathfrak{Ma}\text{-}(\Var^{(!)})$ and that the Dong property is preserved by $\mathfrak{Ma}.$ Finally, we obtain the necessary and sufficient condition for $\mathfrak{Ma}\text{-}\Var=\Var$. The second part of the paper is dedicated to another type of anti-algebras, called $\mathcal{M}anin$ anti-algebras. We give the description of this type of algebras via calculation of the white Manin product of suitable operads and present various examples of known $\mathcal{M}anin$ anti-algebras. In the end, we proved that the symmetric affinization of an algebra gives a Jacobi-Jordan algebra if and only if the original algebra is a $\mathcal{M}a$-Novikov algebra, that is, an analog of a well-known result about affinization of Novikov algebras given by Balinskii and Novikov.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ivan Kaygorodov, Abror Khudoyberdiyev, Bauyrzhan Sartayev. 2026-08-28. A unified approach to the definition of anti-algebras. https://arxiv.org/abs/2610.12479

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

KEEP EXPLORING

Related papers

Polygraphic resolutions for operated algebras

This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gröbner--Shirshov bases with non-monomial termination orders. We show how to construct polygraphic resolutions of free operated algebras from confluent and terminating presentations. We provide a combinatorial description of critical branchings of operated polygraphs using the structure of polyautomata introduced in this paper. Polyautomata are linear polygraphs equipped with an operator structure formalized by a pushdown automaton. Finally, we apply our constructions to several families of operated algebras, including Rota--Baxter algebras, differential algebras, and differential Rota--Baxter algebras.

math.RA↗

Nonassociative algebras of anti-biderivation-type

The main purpose of this paper is to study the class of Jacobi-Jordan-admissible algebras whose product is an anti-biderivation of the related Jacobi-Jordan algebra; we call them $\mathcal A{\rm BD}$-algebras. We give characterizations of $\mathcal A{\rm BD}$-algebras and show that this class includes Jacobi-Jordan algebras, symmetric anti-Leibniz algebras and anti-${\rm LR}$-algebras. The derived algebra of an anti-${\rm LR}$-algebra is associative and commutative, and all identities of its commutator algebra follow from the metabelian identity and one identity of degree $4$. We also study $\mathcal A$flexible ${\mathcal A}{\rm BD}$-algebras and prove that a complex finite-dimensional Jacobi-Jordan algebra admits a non-trivial post-Jacobi-Jordan structure if and only if its dimension is at least $3$. Finally, we give the algebraic classification of complex $3$-dimensional $\mathcal A{\rm BD}$-algebras and show that complex finite-dimensional simple ${\mathcal A}{\rm BD}$-algebras are anticommutative, while perfect ones need not be; the minimal dimension of perfect non-anticommutative ${\mathcal A}{\rm BD}$-algebras is $4$.

math.RA↗

Quasi-projective dimensions of complexes over rings

Quasi-projective dimension of modules over associative rings is generalized in this paper to the one of complexes of modules. Basic properties of this dimension are established, including a comparison result with projective dimension and a derived Auslander-Buchsbaum formula for complexes of finite quasi-projective dimension. Several sufficient conditions are provided for a commutative noetherian local ring to be a complete intersection under the assumption that each finitely generated module has finite quasi-projective dimension. This provides some positive answers to an open question on quasi-projective dimension proposed by Gheibi-Jorgensen-Takahashi. Moreover, the behavior of quasi-projective dimension under taking the quotient of a commutative ring modulo a regular sequence is investigated, and some partial results toward the change-of-rings question on quasi-projective dimension are given.

math.RA↗