*This is a purely idle question, but one I'm increasingly interested the more thought I put into it:*

For $\mathcal{A}$ a universal algebra (that is, nonempty set together with some named functions), a *congruence* of $\mathcal{A}$ is an equivalence relation on $\mathcal{A}$ which respects the named functions: $$\overline{x}\approx\overline{y}\quad \implies \quad f(\overline{x})\approx f(\overline y).$$ It is immediate that the set of congruences ordered by $\subseteq$ forms a lattice.

An important theme of universal algebra (cf. http://www.math.hawaii.edu/~ralph/Classes/619/willard-ua.pdf) is that interesting structural properties of varieties often translate to interesting equations satisfied by their congruence lattices. For example, the congruence lattice of any group is always modular, and the congruence lattice of any Boolean algebra is always distributive.

For $\mathbb{V}$ any variety, let $\mathbb{V}'$ be the variety generated by the congruence lattices of elements of $\mathbb{V}$. Note that in general, $\mathbb{V}'$ will be a variety of algebras in a signature different from that of $\mathbb{V}$, so we cannot compare $\mathbb{V}$ and $\mathbb{V}'$ directly. However, if $\mathbb{V}$ is a variety of lattices, then $\mathbb{V}$ and $\mathbb{V}'$ are comparable. My question is, when does passing to the variety generated by congruence lattices result in a nicer ( = satisfying more equations) variety?

There are two specific versions of this question I'm interested in.

Generally,

(1) Are there natural conditions on a variety $\mathbb{L}$ of lattices which ensure that $\mathbb{L}\supseteq\mathbb{L}'$?

More specifically,

(2) Is there an example of a reasonably natural variety of lattices $\mathbb{L}$ such that $\mathbb{L}\supsetneq\mathbb{L}'\supsetneq\mathbb{L}''\supsetneq . . . $?

(Note, of course, that $\mathbb{V}$ and $\mathbb{V}'$ are comparable as long as the signature of $\mathbb{V}$ is $\{\wedge, \vee\}$, not only when $\mathbb{V}$ is a variety of lattices; but I'm specifically interested in varieties of lattices.)

4more comments