
We survey results concerning special elements of nine types (modular,
lowermodular, uppermodular, cancellable, distributive, codistributive,
standard, costandard and neutral elements) in the lattice of all semigroup
varieties and certain its sublattices, mainly in the lattices of all
commutative varieties and of all overcommutative ones. Several open questions
are formulated. The work is regularly updated and modified as new results
and/or articles appear.

We examine varieties of epigroups as unary semigroups, that is semigroups
equipped with an additional unary operation of pseudoinversion. The article
contains two main results. The first of them indicates a countably infinite
family of injective endomorphisms of the lattice of all epigroup varieties. An
epigroup variety is said to be a variety of finite degree if all its
nilsemigroups are nilpotent. The second result of the article provides a
characterization of epigroup varieties of finite degree in a language of
identities and in terms of minimal forbidden subvarieties. Note that the first
result is essentially used in the proof of the second one.

Let M be a commutative monoid. We provide an explicit firstorder formular
that defines the variety generated by M in the lattice of commutative semigroup
varieties.

We show that many important varieties and sets of varieties of semigroups may
be defined by relatively simple and transparent firstorder formulas in the
lattice of all semigroup varieties.

We completely determine all lowermodular elements of the lattice of all
semigroup varieties. As a corollary, we show that a lowermodular element of
this lattice is modular.

We completely determine all distributive, codistributive, standard,
costandard, and neutral elements in the lattice of overcommutative semigroup
varieties, thus correcting a gap contained in an earlier article by the second
author.