Quasiidentities implying modularity and related conditions in lattices of overcommutative semigroup varieties (Q1393046)

A semigroup variety is said to be overcommutative if it contains the variety \(\mathcal{COM}\) of all commutative semigroups. For an overcommutative variety \(\mathcal V\), the interval \([\mathcal{COM,V}]\) of the lattice of all semigroup varieties is called the lattice of overcommutative subvarieties of \(\mathcal V\) and is denoted by \(L_{oc}({\mathcal V})\). A congruence \(\alpha\) on a semigroup \(S\) is called subcommutative if \(\alpha\) is contained in the least commutative congruence on \(S\). The author announces the following results: the distributivity of \(L_{oc}({\mathcal V})\) is equivalent to permutability of subcommutative fully invariant congruences on free objects of \(\mathcal V\); \(L_{oc}({\mathcal V})\) is modular iff it is Arguesian iff it is upper semimodular iff it is weakly upper semimodular iff it satisfies the quasiidentities of the 9-element modular lattice \(M_{4,3}\) and iff subcommutative fully invariant congruences on free objects satisfy \(\alpha\beta\alpha=\beta\alpha\beta\). In both cases all varieties \(\mathcal V\) with the corresponding properties are completely classified in the language of identities holding in \(\mathcal V\). Varieties \(\mathcal V\) with lower semimodular or weakly lower semimodular lattice \(L_{oc}({\mathcal V})\) as well as varieties with some related restrictions to \(L_{oc}({\mathcal V})\) are described in a similar manner.