Cross varieties of aperiodic monoids with central idempotents. (Q658576)

A `cross' variety of monoids (or of algebras in general) is a finitely based, finitely generated variety that contains finitely many subvarieties. For example, finite bands and finite commutative monoids generate such varieties. Perkins' early examples of non-finitely based finite semigroups and, more recently, \textit{M. Jackson}'s discovery [Semigroup Forum 70, No. 2, 159-187 (2005; Zbl 1073.20052)] of two finitely generated limit varieties \(\mathbf J_1\) and \(\mathbf J_2\) of monoids (varieties that are minimal with respect to being non-finitely based), all consisting of aperiodic monoids with central idempotents, has indicated the key place of the class \(\mathbf A\) of all such monoids. The author [J. Algebra Appl. 8, No. 6, 779-796 (2009; Zbl 1193.20066)] showed that \(\mathbf J_1\) and \(\mathbf J_2\) are the only finitely generated limit varieties of \(\mathbf A\). Using a combination of the results of these two papers, he now describes all the cross subvarieties of \(\mathbf A\), in two fashions: by the identities they must satisfy and by the exclusion of \(\mathbf J_1\) and \(\mathbf J_2\).