A geometric consequence of residual smallness

We describe a new way to construct large subdirectly irreducibles within an equational class of algebras. We use this construction to show that there are forbidden geometries of multitraces for finite algebras in residually small equational classes. The construction is first applied to show that minimal equational classes generated by simple algebras of types 2, 3 or 4 are residually small if and only if they are congruence modular. As a second …