Order affine completeness of lattices with Boolean congruence lattices

Abstract

This paper grew out from attempts to determine which modular lattices of finite height are locally order affine complete. A surprising discovery was that one can go quite far without assuming the modularity itself. The only thing which matters is that the congruence lattice is finite Boolean. The local order affine completeness problem of such lattices ${\mathbf L}$ easily reduces to the case when ${\mathbf L}$ is a subdirect product of two simple lattices ${\mathbf L}_1$ and ${\mathbf L}_2$. Our main result claims that such a lattice is locally order affine complete iff ${\mathbf L}_1$ and ${\mathbf L}_2$ are tolerance trivial and one of the following three cases occurs: 1) ${\mathbf L}={\mathbf L}_1\times {\mathbf L}_2$, 2) ${\mathbf L}$ is a maximal sublattice of the direct product, 3) ${\mathbf L}$ is the intersection of two maximal sublattices, one containing $\langle 0,1\rangle $ and the other $\langle 1,0\rangle $.