Abstract
We study polynomial identities satisfied by the mutation product \(xpy - yqx\) on the underlying vector space of an associative algebra A, where p, q are fixed elements of A. We simplify known results for identities in degree 4, proving that only two identities are necessary and sufficient to generate them all; in degree 5, we show that adding one new identity suffices; in degree 6, we demonstrate the existence of a significant number of new identities, which induce us to conjecture that the variety generated by mutation algebras of associative algebras is not finitely based.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let A be an associative algebra over a field \(\mathbb {F}\) of characteristic 0. Fix two elements \(p, q \in A\) and define a new bilinear operation on the underlying vector space:
The resulting nonassociative algebra \(A_{pq}\) is called the pq-mutation of A.
Mutation algebras were introduced by theoretical physicists around 1980; see [8, equation (1.6b)] and [17, equation (66)]. For a survey of early work by mathematicians on this topic, see [15]. For a detailed exposition of the structure theory of mutation algebras, see [6]. For mutations of nonassociative algebras, see [2].
To motivate the investigation of polynomial identities for mutation algebras, we paraphrase some comments from [6, Preface]. Mutation algebras are both Lie- and Jordan-admissible, but they also satisfy other more complex identities of higher degree; see [6, Chapter 5]. It is an open problem to determine a complete set of independent identities satisfied by all mutation algebras for arbitrary p, q. In fact, mutation algebras do not form a variety defined by polynomial identities. We note that Lie- and Jordan-admissible algebras were introduced by Albert in [1, IV.1-2].
Polynomial identities for mutation algebras were first studied systematically by Montaner [14] using the classical techniques of nonassociative algebra [16, 18]. That work did not consider the original operation \(*_{pq}\) but decomposed it as the sum of commutative and anticommutative operations: \(x *_{pq} y = \{x,y\} + [x,y]\) where
For further information about the notion of polarization of a binary operation, see [12]. Furthermore, the work of Montaner considered identities which are not necessarily multilinear, but hand calculation restricted the degree of the identities to \(n \le 4\).
We use a different approach which allows us to simplify the known results in degree 4, to determine a complete set of identities in degree 5, and to demonstrate the existence of a significant number of new identities in degree 6:
-
We use elementary concepts from the theory of algebraic operads [3, 10, 11, 13].
-
Our main tool is computer algebra, in particular:
-
We consider only multilinear identities for the original operation \(x *_{pq} y\): this allows us to use the representation theory of the symmetric group [4] to decompose the computations into small pieces corresponding to irreducible representations.
2 Algebraic Operads
2.1 The Free Nonsymmetric Operad
We write \(T_n\) for the set of all complete rooted plane binary trees with n leaves denoted by asterisks; for \(n = 1\) there is only the exceptional tree with one leaf and no root, \(T_1 = \{ *\}\). Each tree in \(T_n\) contains \(n{-}1\) internal nodes (including the root); hence the size of \(T_n\) is the Catalan number \(\tfrac{1}{n}\left( {\begin{array}{c}2n{-}2\\ n{-}1\end{array}}\right) \). We write \(U_n\) for the set of all association types in degree n: balanced placements of parentheses in a sequence of n asterisks. There is a bijection \(\mu _n:T_n \rightarrow U_n\) defined recursively: \(\mu _1(*) = *\); for every internal node v with left and right subtrees \(t_1 \in T_{n_1}\) and \(t_2 \in T_{n_2}\) we replace the subtree with root v by \(( \, \mu _{n_1}(t_1) \, \mu _{n_2}(t_2) \, )\). For example,
(We omit the outermost pair of parentheses corresponding to the root of the tree.)
If \(t_1 \in T_{n_1}\) and \(t_2 \in T_{n_2}\) then the partial composition \(t_1 \circ _i t_2 \in T_{n_1{+}n_2{-}1}\) for \(1 \le i \le n_1\) is obtained by grafting the right tree into the left at position i: that is, identifying leaf i of \(t_1\) (from left to right) with the root of \(t_2\). For example,
In terms of association types, \(\mu _{n_1}(t_1) \, \circ _i \, \mu _{n_2}(t_2)\) corresponds to substitution of \(( \, \mu _{n_2}(t_2) \, )\) for argument i of \(\mu _{n_1}(t_1)\); we omit the parentheses if \(n_2 = 1\). For example, \( (**)(**) \, \circ _3 \, *(**) \, = \, (**)((*(**))*) \).
Partial composition is nonassociative but satisfies sequential and parallel axioms [3, Definition 3.2.2.3] (see also [10, 13]). We state these axioms following [11, Definition 11, Figure 1]. If \(f \in T_m\), \(g \in T_n\), \(h \in T_p\) then
Let T denote the disjoint union of the \(T_n\) for \(n \ge 1\):
The set T together with all partial compositions is isomorphic to the free nonsymmetric set operad generated by one binary operation \(\omega \) corresponding to the tree with root and two leaves. (Nonsymmetric means that we have not yet introduced the action of the symmetric group on the arguments.) Let T(n) denote the vector space with basis \(T_n\). On the direct sum
we extend partial compositions so that they are linear in each factor. The vector space \(\mathcal {T}\) together with the extended partial compositions is isomorphic to the free nonsymmetric vector operad generated by \(\omega \).
2.2 The Free Symmetric Operad
Consider an integer \(n \ge 1\) and the set of indeterminates \(\{ x_1, \dots , x_n \}\). We write \(S_n\) for the symmetric group of all n! permutations of \(\{ 1, \dots , n \}\). For each \(\alpha \in S_n\) and \(t \in T_n\) we obtain the labelled tree \(\alpha t\) consisting of t with leaves labelled \(\alpha (1), \dots , \alpha (n)\) from left to right. We write \(LT_n\) for the set of all such labelled trees. Similarly, we apply the association type \(\mu _n(t)\) for \(t \in T_n\) to the multilinear associative monomial \(x_{\alpha (1)} \cdots x_{\alpha (n)}\) and obtain the nonassociative monomial \(\alpha \mu _n(t)\). We write \(LU_n\) for the set of all such nonassociative monomials. The bijection \(\mu _n:T_n \rightarrow U_n\) extends in the obvious way to the bijection \(\lambda \mu _n:LT_n \rightarrow LU_n\). For example,
We extend partial compositions to labelled trees. Consider two labelled trees \(\alpha t \in LT_m\) and \(\beta u \in LT_n\). If \(1 \le i \le m\) then the partial composition \(\alpha t \circ _i \beta u \in LT_{m{+}n{-}1}\) must be a tree with \(m{+}n{-}1\) leaves labelled by a permutation in \(S_{m{+}n{-}1}\). (Simple grafting of one labelled tree onto the other does not produce a permutation.) This must be done in a manner which is equivariant with respect to the action of the symmetric group. Following [13, Definion 1.37] with minor changes, we have:
-
A leaf of \(\alpha t\) with label j for \(1 \le j \le \alpha (i)-1\) retains its label.
-
A leaf of \(\beta u\) with label j for \(1 \le j \le n\) is relabelled \(j+\alpha (i)-1\).
-
A leaf of \(\alpha t\) with label j for \(\alpha (i)+1 \le j \le m\) is relabelled \(j+n-1\).
For example,
Let LT(n) denote the \(S_n\)-module with linear basis \(LT_n\); we use the natural left action on labels (not on positions). The direct sum of these \(S_n\)-modules,
together with the bilinear extension of the partial compositions, is isomorphic to the free symmetric vector operad generated by \(\omega \). (This binary operation has no symmetry: it is neither commutative nor anticommutative.)
An ideal \(\mathcal {I}\) in the free symmetric operad \(\mathcal{L}\mathcal{T}\) is a graded subspace (that is, \(\mathcal {I}(n) \subseteq \mathcal{L}\mathcal{T}(n)\) for \(n \ge 1\)) such that
-
\(S_n \cdot \mathcal {I}(n) = \mathcal {I}(n)\): each homogeneous space \(\mathcal {I}(n)\) is an \(S_n\)-module (that is, closed under the action of the symmetric group), and
-
if \(f \in \mathcal {I}(m)\) and \(g \in \mathcal{L}\mathcal{T}(n)\) then \(f \circ _i g\) (\(1 \le i \le m\)) and \(g \circ _j f\) (\(1 \le j \le n\)) belong to \(\mathcal {I}(m{+}n{-}1)\) (that is, \(\mathcal {I}\) is closed under partial compositions).
The ideal \(\langle f_1, f_2, \dots \rangle \subseteq \mathcal{L}\mathcal{T}\) generated by homogeneous elements \(f_1, f_2, \dots \) is the smallest ideal of \(\mathcal{L}\mathcal{T}\) containing \(f_1, f_2, \dots \) If \(\mathcal {I} = \langle f_1, f_2, \dots \rangle \) then we say that \(\mathcal G = \{ f_1, f_2, \dots \}\) is a minimal set of generators for \(\mathcal {I}\) if no proper subset of \(\mathcal G\) generates \(\mathcal {I}\); this condition does not uniquely determine \(\mathcal G\).
2.3 Associativity, Nullary Operations, and the Expansion Map
In general, an n-ary operation (\(n \ge 0\)) on a vector space V is a multilinear map \(f:V^n \rightarrow V\). For \(n = 1\) we have \(V^1 = V\), so a unary operation is simply a linear operator on V; for \(n = 0\) we have \(V^0 = \mathbb {F}\), so a nullary operation is equivalent to the choice of a constant vector \(f(1) \in V\). If we write \(\textrm{End}_n(V)\) for the vector space of all n-ary operations on V, then the direct sum \(\textrm{End}(V) = \bigoplus _{n \ge 0} \textrm{End}_n(V)\), together with partial compositions (substitution of the output of one operation for an input of another operation), is the endomorphism operad of V.
Let p, q be symbols denoting nullary operations on some underlying vector space. For \(n \ge 1\), consider monomials \(v_1 v_2 \cdots v_{2n-1}\) with an odd number of factors such that the n odd-indexed factors \(v_{2i-1}\) (\(1 \le i \le n\)) form a multilinear associative monomial \(x_{\alpha (1)} \cdots x_{\alpha (n)}\) for some \(\alpha \in S_n\), and each of the \(n-1\) even-indexed factors is either p or q. We write \(W_n\) for the set of all such monomials; \(S_n\) acts by permuting the odd-indexed factors. For \(v \in W_m\) and \(w \in W_n\), we define \(v \circ _i w \in W_{m+n-1}\) for \(1 \le i \le m\) by substituting w for \(v_{2i-1}\) (with the appropriate change of labels). We write W(n) for the vector space whose basis consists of all such monomials. The direct sum \(\mathcal {W} = \bigoplus _{n \ge 1} W(n)\) is a suboperad of the symmetric associative operad with two nullary operations.
Definition 2.1
The expansion map \(X_n :LT(n) \rightarrow W(n)\) on monomials \(\alpha t \in LT_n\) is defined recursively. For a leaf with label i, we set \(X_n( i ) = x_i\). If tu denotes an internal node with left and right subtrees \(t \in LT_r\) and \(u \in LT_s\) with \(r+s = n\) then
That is, we replace each internal node by the operation \(*_{pq}\).
If we represent trees by nonassociative monomials and leaf labels by letters then \(X_2( ab ) = apb - bqa\) and
For the expansions in degree 4, see Fig. 1.
Definition 2.2
For each \(n \ge 1\), the expansion map \(X_n:\mathcal{L}\mathcal{T}(n) \rightarrow \mathcal {W}(n)\) is a morphism of \(S_n\)-modules; we write \(\mathcal {K}(n) = \ker (X_n)\). Combining all the expansion maps we obtain the morphism of operads \(X :\mathcal{L}\mathcal{T} \rightarrow \mathcal {W}\) with kernel \(\mathcal {K} = \bigoplus _{n \ge 1} \mathcal {K}(n)\). The polynomial identities satisfied by \(*_{pq}\) for all associative algebras A and all \(p, q \in A\) coincide with \(\mathcal {K}\), which is an operad ideal in \(\mathcal{L}\mathcal{T}\). These identities are the linear dependence relations among the expansions of the nonassociative monomials. We refer to \(\mathcal {K}(n)\) as the \(S_n\)-module of all identities in degree n.
Our ultimate goal is to determine a set of generators for \(\mathcal {K}\).
3 Polynomial Identities in Degree \(n \le 3\)
Definition 3.1
In a nonassociative algebra, the Lie-admissible identity is
where \(\varepsilon :S_3 \rightarrow \{\pm 1\}\) is the sign homomorphism. If \(L(a,b,c) \equiv 0\) then the commutator \(xy - yx\) satisfies the Jacobi identity.
We provide a different proof of the next result using elementary linear algebra.
Theorem 3.2
[14]. Over a field of characteristic 0, every multilinear polynomial identity in degree \(n \le 3\) satisfied by every mutation of every associative algebra is a consequence of the Lie-admissible identity.
Proof
It is straightforward to verify that \(\ker X_n = \{0\}\) for \(1 \le n \le 2\). The monomial basis of \(\mathcal{L}\mathcal{T}(3)\) consists of 12 elements ordered first by association type and then by permutation of the variables:
The monomial basis of \(\mathcal {W}(3)\) consists of 24 elements ordered first by lex order of the pair of nullary operations (pp, pq, qp, qq) and then by permutation of the variables:
The expansion map \(X_3:\mathcal{L}\mathcal{T}(3) \rightarrow \mathcal {W}(3)\) is determined by its values on the nonassociative monomials with the identity permutation of the arguments; see (1). We apply all permutations in \(S_3\) to the arguments a, b, c and store the coefficients of the monomials in the \(24 \times 12\) matrix \(E_3\) representing \(X_3\) with respect to the ordered bases; see Fig. 2. That is, the (i, j) entry of \(E_3\) is the coefficient of the ith associative monomial (3) in the expansion of the jth nonassociative monomial (2). It is easy to check that this matrix has rank 11 and hence nullity 1, and that a basis for its nullspace is the coefficient vector of the Lie-admissible identity. \(\square \)
4 Polynomial Identities in Degree 4
Montaner [14] (see also [6, Chapter 5]) showed that every identity in degree \(n \le 4\) satisfied by every mutation algebra is a consequence of the Lie-admissible identity, the Jordan-admissible identity, and two further identities; furthermore, none of these identities is a consequence of the other three. In this section we use computer algebra to simplify this result: we discover two new multilinear identities in degree 4, which are not consequences of the Lie-admissible identity, and which generate all identities in degree 4 (including the Jordan-admissible identity).
Definition 4.1
In a nonassociative algebra, the linearized Jordan identity is
If we expand each nonassociative product xy as the anticommutator \(xy + yx\) then we obtain the Jordan-admissible identity:
If \(J(a,b,c,d) \equiv 0\) then the anticommutator \(xy + yx\) satisfies the Jordan identity.
Definition 4.2
In a nonassociative algebra, we consider the following identities where \((x,y,z) = (xy)z - x(yz)\) and \(x \circ y = xy + yx\):
In identity H, the first three terms include a cyclic sum of associators [7, Equation (5)], and each term in the summation can be written as the difference of two associators.
The next result improves [14, Theorem 2.3]: we have only two new identities in degree 4, not three. In addition, even though our new identities H and I are multilinear, each contains only 18 nonassociative monomials (after expanding the associators and anticommutators), whereas the new identities of [14] have 48 monomials (the Jordan-admissible identity), 20 monomials (identity E), and 52 monomials (identity K). Furthermore, our new identities have only coefficients \(\pm 1\), whereas identity K has coefficients 1, 2, 4, 6. Finally, we show that the new identities also generate the consequences of the Lie-admissible identity, and thus the latter do not need to be considered.
Theorem 4.3
Every identity in degree 4 satisfied by every mutation algebra follows from the identities H and I from Definition 4.2.
Proof
We first consider the expansion matrix. The monomial basis of \(\mathcal{L}\mathcal{T}(4)\) consists of 120 elements ordered first by association type and then by lex order of permutations \(\sigma \in S_4\) (indicated by superscripts):
The monomial basis of \(\mathcal {W}(4)\) consists of 192 elements ordered first by lex order of the triple of nullary operations and then by lex order of permutations \(\sigma \in S_4\):
The expansion map \(X_4:\mathcal{L}\mathcal{T}(4) \rightarrow \mathcal {W}(4)\) is determined by its values on the nonassociative monomials with the identity permutation of the arguments (Fig. 1). We apply all permutations in \(S_4\) to the arguments a, b, c, d in the expansions and store the coefficients in the \(192 \times 120\) matrix \(E_4\) representing \(X_4\) with respect to the ordered bases (4) and (5). The (i, j) entry of \(E_4\) is the coefficient of the ith associative monomial in the expansion of the jth nonassociative monomial. Thus each column of \(E_4\) contains 1 and \(-1\) each four times.
Next, we consider the consequences of the Lie-admissible identity. The identity \(L(a,b,c) \in \mathcal{L}\mathcal{T}(3)\) is skew-symmetric:
We write \(\mathcal {L} \subset \mathcal{L}\mathcal{T}\) for the operad ideal generated by L; clearly \(\mathcal {L} \subseteq \mathcal {K}\). The homogeneous component \(\mathcal {L}(4)\) is generated as an \(S_4\)-module by the partial compositions
We refer to the elements of \(\mathcal {L}(4)\) as the old identities in degree 4. Applying all permutations \(\sigma \in S_4\) to the generators (6) allows us to represent \(\mathcal {L}(4)\) as the row space of the \(72 \times 120\) matrix \(C_4\) whose columns are labelled by the monomials (4). The row space of \(C_4\) is a subspace (in fact an \(S_4\)-submodule) of the nullspace of the matrix \(E_4\). We set \(o_4 = \textrm{rank}( C_4)\) and write \(\overline{C}_4\) for the \(o_4 \times 120\) matrix in RCF (row canonical form) whose row space equals that of \(C_4\).
Finally, we consider the new identities. The elements of the nullspace of \(E_4\) are the coefficient vectors of \(\mathcal {K}(4)\). We set \(a_4 = \textrm{nullity}(E_4)\) and write \(N_4\) for the \(a_4 \times 120\) matrix in RCF whose row space is the nullspace of \(E_4\). The rows of \(N_4\) span the \(S_4\)-module of all identities in degree 4. Clearly the row space of \(\overline{C}_4\) is a subspace of the row space of \(N_4\), and hence \(o_4 \le a_4\). The quotient \(\mathcal {K}(4) / \mathcal {L}(4)\) is the \(S_4\)-module of new identities in degree 4, and its dimension is \(a_4 - o_4\).
Let \(A, O \subseteq \{1,\dots ,120\}\) be the column indices of the leading 1 s in \(N_4\) and \(\overline{C}_4\) respectively. A linear basis of \(\mathcal {K}(4) / \mathcal {L}(4)\) corresponds to (the cosets of) the rows of \(N_4\) whose leading 1 s have column indices in \(A \setminus O\). It is straightforward using the module generators algorithm [4] to compute a subset of this linear basis which represents a set of \(S_4\)-module generators for the quotient module. Computations with the computer algebra system SageMath show that \(a_4 = 88\) and hence \(N_4\) has rank \(n_4 = 32\); the nonzero entries of \(N_4\) are \(\pm \frac{1}{2}, \pm 1, -\frac{3}{2}\). For each row of \(N_4\), we multiply the coefficients by the LCM of their denominators to obtain integers and then divide by the GCD of these integers to obtain vectors with relatively prime integer coefficients. The squared Euclidean lengths of the resulting vectors with multiplicities in parentheses are
We sort the rows of the new integer matrix, also called \(N_4\), by increasing length. Further SageMath computations show that \(o_4 = 19\), which implies that the quotient module \(\mathcal {K}(4)/\mathcal {L}(4)\) has dimension 13.
We next use the module generators algorithm again to determine the smallest subset of the shortest rows of \(N_4\) which generates the quotient module \(\mathcal {K}(4) / \mathcal {L}(4)\). We obtain two identities and verify that neither is a consequence of the other. The first has 18 terms and coefficients \(\pm \, 1\) (squared length 18); the second has 33 terms and coefficients \(\pm \,1, \pm \,2\) (squared length 42).
We can obtain better results using linear algebra over the integers; this requires replacing the RCF by the HNF (Hermite normal form), and applying the LLL algorithm [5] to determine shorter integer vectors.
The entries of the matrix \(E_4\) belong to \(\{ 0, \pm 1 \}\). We compute the HNF of the transpose \(E_4^t\), denoted by V, and a square matrix U with \(\det (U) = \pm 1\) such that \(U E_4^t = V\). Since \(E_4^t\) has rank 88, the bottom 32 rows of V are zero, and hence the bottom 32 rows of U form a matrix N whose rows form a lattice basis of the left nullspace of \(E_4^t\) (the right nullspace of \(E_4\)). (By a lattice basis we mean a set of free generators for a submodule of a free \(\mathbb {Z}\)-module.)
After applying the LLL algorithm to the lattice generated by the rows of N, we obtain a matrix \(N_{LLL}\) whose nonzero entries are \(\pm 1\) and whose rows have the following squared Euclidean lengths with multiplicities given in parentheses:
Further computations show that the quotient module \(\mathcal {K}(4)/\mathcal {L}(4)\) is generated by two rows of \(N_{LLL}\) with squared length 18. These are the coefficient vectors of the identities I(a, b, c, d) and H(a, b, c, d). Moreover, the \(S_4\)-module generated by I(a, b, c, d) and H(a, b, c, d) has dimension 32, so it coincides with \(\mathcal K(4)\). \(\square \)
Remark 4.4
Since the dimension of \(\mathcal K(4)\) is 32 and the permutation of variables of a multilinear identity of degree 4 can produce at most \(4!=24\) linearly independent identities, a lower bound on the number of generators of \(\mathcal K(4)\) as an \(S_4\)-module is \(\lceil 32/24\rceil = 2\). Therefore the set of generators \(\{H,I\}\) of \(\mathcal K(4)\) has minimum cardinal.
Corollary 4.5
Consider the consequences of the Lie-admissible identity
Then
where J(a, b, c, d) stands for the Jordan-admissible identity.
Proof
Straightforward computation. \(\square \)
5 Polynomial Identities in Degree 5
In degree 5 there are 14 association types and hence \(14 \cdot 5! = 1680\) multilinear nonassociative monomials; there are \(5! \cdot 2^4 = 1920\) associative pq-monomials.
Recall that in degree 4, identities H and I from Definition 4.2 generate the kernel \(\mathcal K(4)\) of the expansion map as an \(S_4\)-module. Each identity U in degree 4 produces six consequences in degree 5:
Theorem 5.1
Every identity in degree 5 satisfied by every mutation algebra follows from the consequences of H and I in degree 4, and the new identity G in degree 5 displayed in Fig. 3.
Proof
The proof is similar to that of degree 4. We order the monomial bases of \(\mathcal{L}\mathcal{T}(5)\) and \(\mathcal W(5)\) as in Theorem 4.3. We need to perform computations on the \(1920 \times 1680\) matrix \(E_5\) representing the expansion map \(X_5:\mathcal{L}\mathcal{T}(5)\rightarrow \mathcal W(5)\) (with respect to the monomial bases above). To this end, we use the class of rational sparse matrices in SageMath.
The kernel \(\mathcal K(5)\) of the expansion map is an \(S_5\)-module of dimension 778 (comprising all identities). The twelve consequences (in degree 5) of identities H and I generate the \(S_5\)-module \(\mathcal O(5)\) of old identities, which has dimension 747. Hence the quotient module \(\mathcal K(5)/\mathcal O(5)\) of new identities has dimension 31. We compute the HNF, denoted by V, of \(E_5^t\) and a square matrix U with \(\det (U) = \pm 1\) such that \(UE_5^t = V\). The bottom 778 rows of U produce a matrix N whose rows form a lattice basis of the right nullspace of \(E_5\). Next, we apply the LLL algorithm to the lattice generated by the rows of N to obtain the matrix \(N_{LLL}\); we find that the \(S_5\)-module \(\mathcal K(5)/\mathcal O(5)\) is generated by one row of \(N_{LLL}\) having 48 nonzero \(\pm \, 1\) entries, which is the coefficient vector of identity G(a, b, c, d, e). The computations required around 4 GB of RAM, and had a runtime of 90 min, in an AMD Ryzen 5 5600X processor at 3.70 GHz running SageMath 9.2 on Windows 10. \(\square \)
Remark 5.2
The dimension of \(\mathcal K(5)\) is 778 and permuting the variables of a multilinear identity of degree 5 can produce at most \(5!=120\) linearly independent identities, so a lower bound on the number of generators of \(\mathcal K(5)\) as an \(S_5\)-module is \(\lceil 778/120\rceil = 7\). In Theorem 5.1 we have obtained a set with 13 generators: the 12 consequences of identities H and I plus a new identity G. In fact, it can be checked that \(\mathcal K(5)\) is already generated by identity G, the consequences of identity I, and consequences H(ab, c, d, e), H(a, b, c, d)e and aH(b, c, d, e) of identity H. Therefore an upper bound on the minimum number of generators of \(\mathcal K(5)\) as an \(S_5\)-module is 10.
6 Polynomial Identities in Degree 6
In degree 6 there are 42 association types and hence \(42\cdot 6!=30{,}240\) multilinear nonassociative monomials, and there are \(6!\cdot 2^5=\,\)23,040 associative pq-monomials. So, to represent the expansion map \(X_6\) as a whole we would need to use a matrix of size \(30,240 \,\times \,\, 23,040\), which is too large to manipulate with our computer system. We use the representation theory of the symmetric group to reduce the problem to a set of matrices of smaller sizes and demonstrate the existence of a number of new identities in degree 6. We choose a set of conjugacy class representatives in \(S_6\) and calculate the matrices representing these permutations on the modules of old and all identities. Comparing the traces of these matrices with the character table of \(S_6\), we obtain the multiplicities of the irreducible representations of the \(S_6\)-modules.
Theorem 6.1
For each of the 11 partitions \(\lambda \) of 6, the following table contains the multiplicity of each irreducible representation in the \(S_6\)-modules of all identities (the kernel of the expansion map), the old identities (the consequences of the identities of lower degree), and the quotient module of new identities (the difference of the previous two multiplicities):
Furthermore, the dimension of the quotient module of new identities is
Proof
These methods have been described in detail in [4, Sections 2.4–2.7]. \(\square \)
By the previous theorem, the number of generators of the \(S_6\)-module of new identities is at least \(\lceil 10449/6!\rceil =15\). This observation motivates the next conjecture.
Conjecture 6.2
The kernel of the expansion map in all degrees, that is, the operad ideal \(\mathcal {K} = \bigoplus _{n \ge 1} \mathcal {K}(n)\) (see Definition 2.2), is not finitely generated. In other words, no finite set of identities generates all the identities satisfied by all mutation algebras.
Data availability
The datasets generated during and/or analysed during the current study are available from the corresponding author on reasonable request.
References
Albert, A.A.: Power-associative rings. Trans. Amer. Math. Soc. 64, 552–593 (1948). https://doi.org/10.1090/S0002-9947-1948-0027750-7
Boers, A.H.: Mutation algebras of a nonassociative algebra. Indag. Math. (N.S.) 6(1), 25–33 (1995). https://doi.org/10.1016/0019-3577(95)98198-K
Bremner, M.R., Dotsenko, V.: Algebraic Operads: An Algorithmic Companion. Chapman and Hall/CRC Press, Boca Raton (2016). https://doi.org/10.1201/b20061
Bremner, M.R., Madariaga, S., Peresi, L.A.: Structure theory for the group algebra of the symmetric group, with applications to polynomial identities for the octonions. Comment. Math. Univ. Carolin. 57(4), 413–452 (2016). https://doi.org/10.14712/1213-7243.2015.188
Bremner, M.R., Peresi, L.A.: An application of lattice basis reduction to polynomial identities for algebraic structures. Linear Algebra Appl. 430(2–3), 642–659 (2009). https://doi.org/10.1016/j.laa.2008.09.003
Elduque, A., Myung, H.C.: Mutations of Alternative Algebras. Mathematics and its Applications, vol. 278. Kluwer Academic Publishers, Dordrecht (1994). https://doi.org/10.1007/978-94-015-8279-7
Kleinfeld, E., Kosier, F., Osborn, J.M., Rodabaugh, D.: The structure of associator dependent rings. Trans. Amer. Math. Soc. 110, 473–483 (1964). https://doi.org/10.1090/S0002-9947-1964-0157993-2
Ktorides, C.N., Myung, H.C., Santilli, R.M.: Elaboration of the recently proposed test of Pauli’s principle under strong interactions. Phys. Rev. D 22(4), 892–907 (1980). https://doi.org/10.1103/PhysRevD.22.892
Lenstra, A.K., Lenstra, H.W., Jr., Lovász, L.: Factoring polynomials with rational coefficients. Math. Ann. 261(4), 515–534 (1982). https://doi.org/10.1007/BF01457454
Loday, J.-L., Vallette, B.: Algebraic Operads. Grundlehren der mathematischen Wissenschaften, vol. 346. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-30362-3
Markl, M.: Operads and PROPs. In: Hazewinkel, M. (ed.) Handbook of Algebra, vol. 5, pp. 87–140. Elsevier/North-Holland, Amsterdam (2008). https://doi.org/10.1016/S1570-7954(07)05002-4
Markl, M., Remm, E.: Algebras with one operation including Poisson and other Lie-admissible algebras. J. Algebra 299(1), 171–189 (2006). https://doi.org/10.1016/j.jalgebra.2005.09.018
Markl, M., Shnider, S., Stasheff, J.: Operads in Algebra, Topology and Physics. Mathematical Surveys and Monographs 96. American Mathematical Society, Providence (2002). https://doi.org/10.1090/surv/096
Montaner, F.: Identities in mutations of associative algebras. Comm. Algebra 20(1), 55–67 (1992). https://doi.org/10.1080/00927879208824331
Myung, H.C., Sagle, A.A.: On Lie-admissible mutations of associative algebras. Hadronic J. 10(1), 35–51 (1987)
Osborn, J.M.: Varieties of algebras. Adv. Math. 8, 163–369 (1972). https://doi.org/10.1016/0001-8708(72)90003-5
Santilli, R.M.: An intriguing legacy of Einstein, Fermi, Jordan, and others: the possible invalidation of quark conjectures. Found. Phys. 11(5–6), 383–472 (1981). https://doi.org/10.1007/BF00727075
Zhevlakov, K.A., Slinko, A.M., Shestakov, I.P., Shirshov, A.I.: Rings that are Nearly Associative. Translated from the Russian by Smith, Harry F. Pure and Applied Mathematics 104, Academic Press, New York-London (1982). https://www.sciencedirect.com/bookseries/pure-and-applied-mathematics/vol/104/
Funding
Open access funding provided by FCT|FCCN (b-on). Murray Bremner was supported by the Discovery Grant Algebraic Operads from NSERC, the Natural Sciences and Engineering Research Council of Canada. Jose Brox was supported by the Portuguese Government through grant SFRH/BPD/118665/2016 (FCT/Centro 2020/Portugal 2020/ESF). Juana Sánchez-Ortega was supported by a CSUR grant from the NRF, the National Research Foundation of South Africa. This work was partially supported by the Centre for Mathematics of the University of Coimbra—UID/MAT/00324/2020, funded through FCT/MCTES, Fundação para a Ciência e a Tecnologia/Ministério da Ciência, Tecnologia e Ensino Superior de Portugal.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bremner, M.R., Brox, J. & Sánchez-Ortega, J. Higher Polynomial Identities for Mutations of Associative Algebras. Results Math 78, 237 (2023). https://doi.org/10.1007/s00025-023-01986-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-023-01986-4
Keywords
- Mutation algebras
- Lie-admissible
- Jordan-admissible
- polynomial identities
- algebraic operads
- computer algebra
- theoretical particle-physics