Left modularity and extremality for (some) infinite lattices

1. Introducción y Problema de Investigación

El artículo aborda la generalización de dos nociones fundamentales de la teoría de retículos finitos: la modularidad izquierda (left modularity) y la extremalidad (extremality), extendiéndolas al contexto de retículos completos infinitos.

• Contexto: En retículos finitos semidistributivos, se ha demostrado recientemente que la modularidad izquierda y la extremalidad son propiedades equivalentes, y que tales retículos son "trim" (una generalización de los retículos distributivos). Sin embargo, la teoría de retículos infinitos es mucho más compleja y las definiciones clásicas no se aplican directamente debido a problemas de cardinalidad y longitud de cadenas.
• Motivación: El trabajo surge de la intersección entre la teoría de representaciones de álgebras y la teoría de retículos. Específicamente, el retículo de clases de torsión ($\text{tors } A$) de un álgebra de dimensión finita $A$ es un ejemplo natural de un retículo completo que posee propiedades de semidistributividad completa, pero que puede ser infinito.
• Objetivo: Definir generalizaciones robustas de modularidad izquierda y extremalidad para familias específicas de retículos infinitos y probar su equivalencia. Además, caracterizar estas propiedades en términos de la teoría de representaciones (álgebras dirigidas por ladrillos o brick-directed).

2. Metodología y Definiciones Clave

Los autores adoptan un enfoque híbrido que combina teoría de retículos abstracta con herramientas de teoría de representaciones.

A. Familias de Retículos Estudiadas

El trabajo se centra en dos familias de retículos completos que coinciden en el caso finito pero son distintas en el infinito:

1. $\kappa$-retículos bien separados (Well-separated $\kappa$-lattices): Retículos que admiten una biyección $\kappa$ entre elementos completamente join-irreducibles ($JI_c$) y meet-irreducibles ($MI_c$), satisfaciendo una condición de separación fuerte.
2. Retículos completamente semidistributivos y débilmente atómicos: Una clase más general que incluye a los retículos de clases de torsión.

B. Generalización de las Nociónes

• Modularidad Izquierda (Definición 3.1): Un retículo $L$ es modular izquierdo si posee una cadena maximal (inclusion-maximal) compuesta enteramente por elementos modulares izquierdos. Un elemento $x$ es modular izquierdo si para todo $y \leq z$, se cumple $(y \vee x) \wedge z = y \vee (x \wedge z)$.
• Extremalidad (Definición 3.2): Para retículos infinitos, la definición clásica (longitud de cadena = número de irreducibles) no es aplicable. Los autores definen un retículo como $\lambda$-extremal si existe una biyección $\lambda: JI_c(L) \to MI_c(L)$ y una cadena maximal $X$ tal que:
  • Para cada $x \in X$, si un $j \in JI_c(L)$ no está por debajo de $x$, entonces $x \leq \lambda(j)$.
  • Para cada relación de cobertura $x \lessdot y$ en $X$, existe un único $j \in JI_c(L)$ y un único $m \in MI_c(L)$ que "cubren" la transición, cumpliendo $\lambda(j) = m$.

C. Herramientas de Representación

Se utiliza la teoría de clases de torsión y la noción de ladrillos (bricks, módulos con álgebra de endomorfismos de división). Se introduce el concepto de álgebra dirigida por ladrillos (brick-directed algebra), definida como aquella que no contiene ciclos de ladrillos (brick-cycles).

3. Contribuciones y Resultados Principales

A. Equivalencia de Modularidad y Extremalidad

El resultado central (Teorema 1.1) establece que para ambas familias de retículos, las nociones generalizadas son equivalentes:

1. Si $L$ es un $\kappa$-retículo bien separado, entonces $L$ es modular izquierdo si y solo si es extremal.
2. Si $L$ es un retículo completamente semidistributivo y débilmente atómico, entonces $L$ es modular izquierdo si y solo si es extremal.

Esto generaliza resultados previos conocidos solo para retículos finitos semidistributivos (trabajos de Thomas, Weng, Mousavand, etc.).

B. Caracterización de Elementos Modulares Izquierdos

Para retículos completamente semidistributivos y débilmente atómicos, los autores proporcionan varias caracterizaciones equivalentes de los elementos modulares izquierdos (Teorema 1.3):

• Un elemento $x$ es modular izquierdo si y solo si para cada $j \in JI_c(L)$, se cumple $j \leq x$ o $x \leq \kappa(j)$ (pero no ambos).
• Alternativamente, en términos de relaciones de cobertura $y \lessdot z$, se cumple $x \vee y = x \vee z$ o $x \wedge y = x \wedge z$, pero no ambas.
• Estructura del conjunto: El conjunto de elementos modulares izquierdos, $LM(L)$, forma un subretículo completo distributivo de $L$.

C. El Cuervo de Etiquetado y Conjuntos Cerrados por Sucesores

Se introduce el cuervo de etiquetado $Q_L$ (un grafo dirigido con vértices en $JI_c(L)$). Se demuestra que existe una biyección entre los elementos modulares izquierdos de $L$ y los conjuntos cerrados por sucesores (successor-closed sets) de los vértices de $Q_L$ (Teorema 1.2).

• Si $L$ es extremal, el cuervo $Q_L$ no tiene ciclos orientados, lo que permite definir un orden parcial sobre $JI_c(L)$.
• Existe una correspondencia biyectiva entre las extensiones lineales de este orden y las cadenas extremales de $L$ (Teorema 1.4).

D. Aplicación a Álgebras de Dimensión Finita

El resultado más significativo en el contexto de representación (Teorema 1.5 y Corolario 1.6) es la caracterización completa de cuándo el retículo de clases de torsión $\text{tors } A$ es modular izquierdo (o extremal):

• Teorema: Para un álgebra $A$, $\text{tors } A$ es modular izquierdo si y solo si $A$ es dirigida por ladrillos (brick-directed).
• Esto es equivalente a que el cuervo de ladrillos $Q_b(A)$ no tenga ciclos orientados.
• Las clases de torsión modulares izquierdas corresponden exactamente a las clases de torsión que dividen ladrillos (brick-splitting torsion classes), donde cada ladrillo pertenece o a la clase o a su clase libre de torsión.

4. Ejemplos y Consecuencias (Corolarios 1.7 y 1.8)

Los autores aplican sus resultados para clasificar y generar ejemplos concretos:

1. Álgebras de caminos ($kQ$): El retículo $\text{tors } kQ$ es modular izquierdo si y solo si $Q$ es un quiver de Dynkin o el quiver de Kronecker.
2. Grupos de Weyl: Para quivers de Dynkin, el retículo del grupo de Weyl (orden débil) tiene solo los elementos extremos ($\hat{0}$ y $\hat{1}$) como modulares izquierdos.
3. Existencia de ejemplos infinitos: Se demuestra que existen álgebras dirigidas por ladrillos de cualquier longitud finita $m > 4$ y, crucialmente, para cualquier cardinal infinito $\aleph$, existen retículos modulares izquierdos y extremos con $2^\aleph$ cadenas maximales de tamaño $\aleph$. Esto proporciona una abundancia de ejemplos de retículos infinitos con estas propiedades estructurales.

5. Significado e Impacto

• Unificación Teórica: El trabajo cierra la brecha entre la teoría de retículos finitos e infinitos, mostrando que las propiedades de "trimness" (equivalencia entre modularidad y extremalidad) se preservan bajo generalizaciones adecuadas para retículos semidistributivos completos.
• Puente Teoría de Representaciones-Teoría de Retículos: Proporciona un diccionario preciso entre propiedades estructurales de álgebras (ausencia de ciclos de ladrillos) y propiedades de retículos (modularidad izquierda/extremalidad).
• Nuevas Direcciones: Abre la puerta al estudio de retículos de torsión infinitos y plantea preguntas sobre la relación entre la cardinalidad de las cadenas modulares y la existencia de semiladrillos infinitos (Conjetura del Semiladrillo Fuerte).
• Herramientas Computacionales: La conexión con álgebras "gentle" y la estructura combinatoria de los cuervos de ladrillos sugiere que estos retículos infinitos pueden ser estudiados y computados de manera efectiva.

En resumen, el artículo establece un marco teórico sólido para entender la estructura de retículos infinitos derivados de la teoría de representaciones, demostrando que la modularidad izquierda y la extremalidad son nociones duales y equivalentes en este contexto, gobernadas por la ausencia de ciclos en estructuras combinatorias subyacentes (ladrillos).