Varieties of completely regular semigroups related to canonical varieties. (Q2346769)

The lattice \(\mathcal L(\mathcal{CR})\) of varieties of completely regular semigroups contains as an ideal the well-studied lattice \(\mathcal L(\mathcal B)\) of bands; moreover the decomposition induced by intersection with \(\mathcal L(\mathcal B)\) is a complete congruence. Thus the meet-subsemilattice \(\Delta\) of upper ends of the classes of this congruence can be expected to carry significant information. As the author notes, with a few exceptions the members of \(\Delta\) are intersections of the `canonical' varieties he introduced [in \textit{M. Petrich}, J. Aust. Math. Soc. 83, No. 1, 87-104 (2007; Zbl 1142.20035)]. The first goal of the paper is to determine the intersection of each member of \(\Delta\) with important subvarieties of \(\mathcal L(\mathcal{CR})\) such as cryptogroups (bands of groups) and orthogroups. In most cases, he computes a basis for the identities satisfied in the intersection. He also determines for each member of \(\Delta\) its class under the standard \(T\), \(T_\ell\), \(K\), \(L\) and \(C\) relations.