Semilattice sums of algebras and Mal'tsev products of varieties

1. Planteamiento del Problema

El artículo aborda una cuestión fundamental en la teoría de variedades de álgebras: ¿Cuándo es el producto de Mal'tsev de dos variedades una variedad?

• Contexto: Dadas dos variedades de álgebras similares $Q$ y $R$ (donde $R$ es idempotente), el producto de Mal'tsev $Q \circ R$ consiste en todas las álgebras $A$ que poseen una congruencia $\theta$ tal que el cociente $A/\theta$ pertenece a $R$ y cada clase de congruencia (bloque) pertenece a $Q$.
• Estado del conocimiento: Se sabe por resultados de Mal'tsev que $Q \circ R$ es siempre una cuasivariiedad. Sin embargo, no siempre es una variedad (es decir, no siempre puede definirse únicamente mediante identidades ecuacionales; a veces requiere cuasi-identidades).
• Objetivo específico: El paper se centra en el caso donde $R$ es la variedad $S$ de los semirretículos (equivalente a la variedad de semirretículos en el mismo tipo de similitud) y $V$ es una variedad de álgebras. Se busca determinar bajo qué condiciones el producto $V \circ S$ es una variedad y cómo axiomatizarlo.

2. Metodología y Conceptos Clave

Los autores emplean una combinación de teoría de variedades, teoría de congruencias y construcciones algebraicas específicas:

• Tipos de Identidades:
  • Identidades Regulares: Aquellas donde las mismas variables aparecen a ambos lados.
  • Identidades Fuertemente Irregulares: Identidades de la forma $t(x, y) = x$ (donde $t$ es un término binario). Una variedad es fuertemente irregular si satisface al menos una identidad de este tipo.
• Sumas de Semirretículos: Un álgebra $A$ es una suma de semirretículos de álgebras en $V$ si $A$ es la unión disjunta de subálgebras en $V$ indexadas por un semirretículo $S$ (el cociente $A/\theta$).
• Prolongación de una Variedad ($V^p$):
  • Definición técnica: Dada una identidad $\sigma: u = v$, su "prolongación" $\sigma^p$ se obtiene reemplazando cada variable $y_i$ por un término $x_1 \dots x_m r_i$, donde $r_i$ es un término que contiene todas las variables $x_1, \dots, x_m$.
  • La variedad $V^p$ se define como la variedad generada por las prolongaciones de todas las identidades de $V$.
  • Propiedad clave: $V^p$ es siempre una variedad regular, incluso si $V$ no lo es.
• Construcciones de Descomposición:
  • Sumas de Płonka: Construcciones donde las operaciones entre bloques se definen mediante morfismos functoriales.
  • Sumas de Lallement: Una generalización de las sumas de Płonka que relaja la condición de functorialidad, permitiendo una representación más detallada de las sumas de semirretículos, especialmente cuando las álgebras tienen unidades.

3. Contribuciones y Resultados Principales

A. El Teorema Principal (Teorema 5.3)

El resultado central del artículo establece una condición suficiente para que el producto de Mal'tsev sea una variedad:

Teorema: Si $V$ es una variedad fuertemente irregular (satisface $t(x, y) = x$), que no tiene operaciones nulas (nullary) y tiene al menos una operación no unaria, entonces el producto de Mal'tsev $V \circ S$ es una variedad.

• Caracterización: Esta variedad coincide exactamente con la prolongación de $V$, denotada como $V^p$.
• Base Axiomática: Se proporciona un método para construir una base ecuacional para $V \circ S$ a partir de una base ecuacional para $V$. Si $\Sigma$ es la base de $V$, entonces $\Sigma^p$ (el conjunto de prolongaciones de las identidades en $\Sigma$) es la base de $V \circ S$.

B. Caso Especial: Variedades Definidas por una Identidad

Para la variedad $T_t$ definida únicamente por la identidad $t(x, y) = x$, los autores demuestran que $T_t \circ S = T_t^p$. Esto implica que el producto es una variedad y su base ecuacional es $\{t(x, y) = x\}^p$.

C. Contraejemplos y Limitaciones

El artículo demuestra que la condición de "fuerte irregularidad" es esencial:

• Si $V$ es una variedad regular (satisface solo identidades regulares), el producto $V \circ S$ no necesita ser una variedad.
• Ejemplo clave: Se muestra que $S \circ S$ (el producto de la variedad de semirretículos consigo misma) no es una variedad. Se presenta un contraejemplo concreto (un grupoide con una tabla de multiplicación específica) que pertenece a la cuasivariiedad pero no satisface una cuasi-identidad necesaria, demostrando que no es una variedad.
• Se discute que para variedades regulares como los grupos o los retículos, el producto con semirretículos a menudo falla en ser una variedad o en preservar propiedades como la asociatividad.

D. Representación Detallada (Sección 7)

Más allá de la axiomatización, los autores exploran cómo reconstruir el álgebra $A$ a partir de sus sumandos.

• Introducen el uso de Sumas de Lallement para representar álgebras en $V \circ S$.
• Demuestran que si las álgebras en $V$ tienen unidades (elementos neutros), la estructura de la suma de semirretículos puede describirse mediante un Lallement sum estricto, lo cual ofrece una representación más precisa que la simple descomposición en clases de congruencia.

4. Significado e Impacto

1. Resolución de un Problema Abierto: El trabajo resuelve la cuestión de cuándo $V \circ S$ es una variedad para una clase amplia de álgebras (las fuertemente irregulares), un problema que había permanecido abierto hasta recientemente.
2. Herramienta de Axiomatización: Proporciona un algoritmo explícito (la operación de prolongación) para generar las ecuaciones de un producto de Mal'tsev complejo a partir de las ecuaciones de una variedad base.
3. Distinción entre Regularización y Pseudo-regularización: El artículo clarifica la diferencia entre la regularización (suma de Płonka) y la pseudo-regularización (suma de semirretículos general) de una variedad. Muestra que para variedades fuertemente irregulares, la pseudo-regularización coincide con el producto de Mal'tsev, mientras que para otras, pueden divergir.
4. Aplicaciones: Los resultados tienen implicaciones en la teoría de:
   • Bandas y Semigrupos: Análisis de bandas regulares y semigrupos de Clifford.
   • Sistemas de Birkhoff y Retículos: Caracterización de sistemas que son sumas de semirretículos de retículos.
   • Álgebras Barycéntricas y Convexas: Conexión con la geometría de espacios afines y conjuntos convexos.
   • Quasigrupos de Steiner: Análisis de la estructura de estos objetos algebraicos.

En resumen, el artículo establece un puente sólido entre la teoría de productos de Mal'tsev y la teoría de variedades regulares/irregulares, demostrando que la "irregularidad fuerte" es la propiedad clave que permite que la estructura de suma de semirretículos sea axiomatizable puramente por ecuaciones.