Search

Given a vector space $V$ over a field $\K$ whose characteristic is coprime with $d!$, let us decompose the vector space of multilinear forms $V^*\otimes\overset{\text(d)}{\ldots}\otimes V^*=\bigoplus _\lambda W_\lambda(X,\K)$ according to the different partitions $\lambda$ of $d$, i.e. the different representations of $S_d$. In this paper we first give a decomposition $W_{(d-1,1)}(V,\K)=\bigoplus_{i=1}^{d-1}W_{(d-1,1)}^i(V,\K)$. We finally prove the vanishing of the hyperdeterminant of any $F\in(\bigoplus_{\lambda\ne(d),(d-1,1)})\oplus W_{(d-1,1)}^i(V,\K)$. This improves the result in [10] and [1], where the same result was proved without this new last summand.

In this survey we recognize Enrique Arrondo's contributions over the whole of its career, recalling his professional history and collecting the results of his mathematical production.

We consider the intersection $\mathfrak{M}(A)$ of all maximal ideals of an evolution algebra $A$ and study the structure of the quotient $A/\M(A)$. In a previous work, maximal ideals have been related to hereditary subsets of a graph associated to the given algebra. We investigate the superfluous members both in the family of maximal ideals and also in the set of hereditary subsets of the associated graphs. By using subdirect products we state a structure theorem for arbitrary evolution algebras (arbitrary dimensions and ground field). Specializing in the perfect finite-dimensional case, we obtain a direct sum decomposition instead of a subdirect product and also a uniqueness property. We also study some examples in which Grassmanians appear in a natural way and others that exhibit a richer structure with a nonzero semisimple part that is non-associative., Comment: We rewritten and added some relevant parts of the paper. We also changed the tittle according to the new concepts and results. The system doesn't allow us to replace it. We are going to upload a new version that is called "Reductive radical of evolution algebras"

In this article, we introduce a relation including ideals of an evolution algebra and hereditary subsets of vertices of its associated graph and establish some properties among them. This relation allows us to determine maximal ideals and ideals having the absorption property of an evolution algebra in terms of its associated graph. We also define a couple of order-preserving maps, one from the sets of ideals of an evolution algebra to that of hereditary subsets of the corresponding graph, and the other in the reverse direction. Conveniently restricted to the set of absorption ideals and to the set of hereditary saturated subsets, this is a monotone Galois connection. According to the graph, we characterize arbitrary dimensional finitely-generated (as algebras) evolution algebras under certain restrictions of its graph. Furthermore, the simplicity of finitely-generated perfect evolution algebras is described on the basis of the simplicity of the graph.

In this paper we introduce a new species of evolution algebras that we call Cayley evolution algebras. We show that if a field $k$ contains sufficiently many elements (for example if $k$ is infinite) then every finite group $G$ is isomorphic to $Aut(X)$ where $X$ is a finite-dimensional absolutely simple Cayley evolution $k$-algebra., Comment: This version of the article has been accepted for publication, after peer review but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is published under the Creative Commons Attribution license and can be freely dowloaded it from https://doi.org/10.1007/s13398-023-01414-w

This work classifies three-dimensional simple evolution algebras over arbitrary fields. For this purpose, we use tools such as the associated directed graph, the moduli set, inductive limit group, Zariski topology and the dimension of the diagonal subspace. Explicitly, in the three-dimensional case, we construct some models $_i\mathbf{III}_{\lambda_1,\ldots,\lambda_n}^{p,q}$ of such algebras with $1\le i\le 4$, $\lambda_i\in\mathbb{K}^\times$, $p,q\in\mathbb{N}$, such that any algebra is isomorphic to one (and only one) of the given in the models and we further investigate the isomorphic question within each one. Moreover, we show how to construct simple evolution algebras of higher-order from known simple evolution algebras of smaller size.

The starting point of this work is that the class of evolution algebras over a fixed field is closed under tensor product. This arises questions about the inheritance of properties from the tensor product to the factors and conversely. For instance nondegeneracy, irreducibility, perfectness and simplicity are investigated. The four-dimensional case is illustrative and useful to contrast conjectures so we achieve a complete classification of four-dimensional perfect evolution algebras arising as tensor product of two-dimensional ones. We find that there are 4-dimensional evolution algebras which are the tensor product of two nonevolution algebras., Comment: 18 pages, 2 tables

In this paper we show that evolution algebras over any given field $\Bbbk$ are universally finite. In other words, given any finite group $G$, there exist infinitely many regular evolution algebras $X$ such that $Aut(X)\cong G$. The proof is built upon the construction of a covariant faithful functor from the category of finite simple (non oriented) graphs to the category of (finite dimensional) regular evolution algebras. Finally, we show that any constant finite algebraic affine group scheme $\mathbf{G}$ over $\Bbbk$ is isomorphic to the algebraic affine group scheme of automorphisms of a regular evolution algebra., Comment: Minor corrections. Bibliography updated. To appear in Proc. Amer. Math. Soc

Given a tensor $f$ in a Euclidean tensor space, we are interested in the critical points of the distance function from $f$ to the set of tensors of rank at most $k$, which we call the critical rank-at-most-$k$ tensors for $f$. When $f$ is a matrix, the critical rank-one matrices for $f$ correspond to the singular pairs of $f$. The critical rank-one tensors for $f$ lie in a linear subspace $H_f$, the critical space of $f$. Our main result is that, for any $k$, the critical rank-at-most-$k$ tensors for a sufficiently general $f$ also lie in the critical space $H_f$. This is the part of Eckart-Young Theorem that generalizes from matrices to tensors. Moreover, we show that when the tensor format satisfies the triangle inequalities, the critical space $H_f$ is spanned by the complex critical rank-one tensors. Since $f$ itself belongs to $H_f$, we deduce that also $f$ itself is a linear combination of its critical rank-one tensors.

In the tensor space $\mathrm{Sym}^d {\mathbb R}^2$ of binary forms we study the best rank $k$ approximation problem. The critical points of the best rank $1$ approximation problem are the eigenvectors and it is known that they span a hyperplane. We prove that the critical points of the best rank $k$ approximation problem lie in the same hyperplane., Comment: 9 pages