6 research outputs found
Lifting retracted diagrams with respect to projectable functors
We prove a general categorical theorem that enables us to state that under
certain conditions, the range of a functor is large. As an application, we
prove various results of which the following is a prototype: If every diagram,
indexed by a lattice, of finite Boolean (v,0)-semilattices with
(v,0)-embeddings, can be lifted with respect to the \Conc functor on
lattices, then so can every diagram, indexed by a lattice, of finite
distributive (v,0)-semilattices with (v,0-embeddings. If the premise of this
statement held, this would solve in turn the (still open) problem whether every
distributive algebraic lattice is isomorphic to the congruence lattice of a
lattice. We also outline potential applications of the method to other
functors, such as the functor on von Neumann regular rings
Infinite combinatorial issues raised by lifting problems in universal algebra
The critical point between varieties A and B of algebras is defined as the
least cardinality of the semilattice of compact congruences of a member of A
but of no member of B, if it exists. The study of critical points gives rise to
a whole array of problems, often involving lifting problems of either diagrams
or objects, with respect to functors. These, in turn, involve problems that
belong to infinite combinatorics. We survey some of the combinatorial problems
and results thus encountered. The corresponding problematic is articulated
around the notion of a k-ladder (for proving that a critical point is large),
large free set theorems and the classical notation (k,r,l){\to}m (for proving
that a critical point is small). In the middle, we find l-lifters of posets and
the relation (k, < l){\to}P, for infinite cardinals k and l and a poset P.Comment: 22 pages. Order, to appea
Congruence lifting of diagrams of finite Boolean semilattices requires large congruence varieties
We construct a diagram D, indexed by a finite partially ordered set, of finite Boolean semilattices and (v,0,1)-embeddings, with top semilattice , such that for any variety V of algebras, if D has a lifting, with respect to the congruence lattice functor, by algebras and homomorphisms in V, then there exists an algebra in V such that the congruence lattice of contains, as a 0,1-sublattice, the five-element modular nondistributive lattice . In particular, V has an algebra whose congruence lattice is neither join- nor meet-semidistributive. Using earlier work of K.A. Kearnes and A.Szendrei, we also deduce that V has no nontrivial congruence lattice identity. In particular, there is no functor F from finite Boolean semilattices and (v,0,1)-embeddings to lattices and lattice embeddings such that the composition Con F is equivalent to the identity (where Con denotes the congruence lattice functor), thus solving negatively a problem raised by P. Pudlak in 1985 about the existence of a functorial solution of the Congruence Lattice Problem