Searcharxiv⌕ Search

arXiv · 2610.22248

Evolution algebras: a survey of results and a list of open problems

Abstract

Evolution algebras, introduced by J. P. Tian as an algebraic model of non- Mendelian inheritance, are commutative algebras with a basis whose distinct elements multiply to zero. The first part of the paper surveys the theory: low-dimensional classifica- tions, structure theory, nilpotency, automorphisms and derivations, directed graphs and random walks, infinite-dimensional and dynamical aspects, and embedding theorems. The second part is a unified list of fifty open questions and eleven new conjectures, each accompanied by the available evidence; two of the conjectures and one of the questions are settled here. We also prove several new observations, most of them formally verified in the proof assistant Lean (see Section 2.1.11): every finite group is the automorphism group of a simple evolution algebra over every field, and | Aut(A)|/ dim A takes every positive ratio- nal value on simple evolution algebras over every field; infinitude of the automorphism group of nilpotent algebras, the possible numbers of idempotents of real perfect evolution algebras, a Galois-theoretic criterion for the existence of idempotents in dimension two, the average number of idempotents over finite fields, and a perfect evolution algebra whose automorphism group is a non-split extension.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ivan Kaygorodov, Cándido Mart\'ın González, Antonio Viruel. 2026-10-15. Evolution algebras: a survey of results and a list of open problems. https://arxiv.org/abs/2610.22248

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↗