Two-sided homological properties of special and one-relator monoids

A continuación presento un resumen técnico detallado del artículo "Two-Sided Homological Properties of Special and One-Relator Monoids" (Propiedades Homológicas de Lado Doble de Monoides Especiales y de un Relator), escrito por Robert D. Gray y Benjamin Steinberg.

1. Planteamiento del Problema

El artículo aborda problemas fundamentales en la teoría de monoides, específicamente en el contexto de monoides de un relator (definidos por una sola relación $u = v$ sobre un alfabeto finito). Aunque la teoría de grupos de un relator está bien desarrollada (con resultados clásicos como el Teorema de Identidad de Lyndon), la teoría de monoides de un relator presenta desafíos significativos, incluyendo la indecidibilidad general del problema de la palabra.

El foco central de este trabajo es la finitud homológica de lado doble (two-sided homological finiteness). Mientras que propiedades de un solo lado (izquierdo o derecho) como $FP_n$ han sido estudiadas, la propiedad bi-$FP_n$ es más robusta y proporciona información estructural más profunda sobre el monoide.

• Problema principal: Determinar si todos los monoides de un relator son de tipo bi-$FP_\infty$.
• Contexto específico: Los autores se centran en monoides especiales, definidos por presentaciones donde el lado derecho de cada relación es la identidad ($w_i = 1$). Estos monoides son cruciales porque el grupo de unidades de un monoide especial de un relator es un grupo de un relator, lo que permite reducir problemas del monoide a problemas del grupo.

2. Metodología

Los autores desarrollan una teoría de lado doble completamente nueva, extendiendo el trabajo previo de Adjan, Makanin y Zhang sobre monoides especiales. La metodología se basa en herramientas de álgebra homológica, teoría de grafos de Cayley y teoría de grupos.

Los pasos metodológicos clave incluyen:

1. Construcción del Monoide $N$:

   • Se define un submonoide $N$ dentro del producto $M \times M^{op}$ (donde $M^{op}$ es el monoide opuesto).
   • $N$ consiste en pares $(u, v)$ de unidades derechas e izquierdas tales que $uv = 1$.
   • Resultado estructural clave: Se demuestra que $N$ es isomorfo al producto libre de su grupo de unidades $G$ y un monoide libre de rango finito ($N \cong G * C^*$). Esto generaliza resultados unilaterales previos.

2. Análisis del Grafo de Cayley de Lado Doble ($\overrightarrow{\Gamma}$):

   • Se estudia la acción de $M \times M^{op}$ sobre el grafo de Cayley de lado doble del monoide.
   • Se define una acción de $N$ sobre el conjunto de vértices $M \times M$.
   • Se demuestra que el conjunto $M \times M$ es un $N$-conjunto libre (free right $N$-set).

3. Cociente del Grafo y Estructura de Bosque:

   • Se considera el cociente del grafo de Cayley de lado doble $\overrightarrow{\Gamma}$ por la acción de $N$, denotado como $\overrightarrow{\Gamma}/N$.
   • Teorema clave: Este cociente es un bosque (un grafo sin ciclos). Esto implica que sus componentes conexas son contractibles, lo cual es esencial para construir resoluciones proyectivas.

4. Resoluciones Homológicas:

   • Utilizando la estructura de bosque y la descomposición de $N$, los autores construyen una resolución proyectiva del módulo trivial $\mathbb{Z}M$ como un $\mathbb{Z}M$-bimódulo.
   • Se aplican lemas de álgebra homológica (como el Lema de Ping-Pong y propiedades de módulos $FP_n$) para relacionar la dimensión cohomológica del monoide con la de su grupo de unidades.

3. Contribuciones Clave y Resultados Principales

El artículo establece dos teoremas principales que vinculan las propiedades homológicas de un monoide especial con las de su grupo de unidades.

Teorema A (Resultado General para Monoides Especiales)

Sea $M = \langle A \mid w_1=1, \dots, w_k=1 \rangle$ un monoide finitamente presentado y $G$ su grupo de unidades.

1. Finitud: Si el grupo $G$ es de tipo $FP_n$ (para $1 \le n \le \infty$), entonces el monoide $M$ es de tipo bi-$FP_n$.
2. Dimensión Cohomológica: La dimensión cohomológica de Hochschild de $M$, denotada $\dim M$, satisface:
   $$\text{cd}(G) \le \dim M \le \max\{2, \text{cd}(G)\}$$
   Donde $\text{cd}(G)$ es la dimensión cohomológica del grupo $G$.

Teorema B (Aplicación a Monoides de Un Relator Especiales)

Para un monoide de un relator de la forma $M = \langle A \mid r = 1 \rangle$:

1. Tipo Bi-$FP_\infty$: Todos estos monoides son de tipo bi-$FP_\infty$. Esto resuelve la cuestión de finitud homológica para esta clase importante.
2. Dimensión de Hochschild:
   • Si $r$ no es una potencia propia (es decir, $r$ no es de la forma $s^k$ con $k > 1$), entonces $\dim M \le 2$.
   • Si $r$ es una potencia propia, entonces $\dim M = \infty$.

Resultados Adicionales (Sección 8)

Los autores extienden el análisis a monoides de un relator no especiales ($u = v$). Demuestran que si no existe una palabra no vacía $w$ tal que $u, v \in A^*w \cap wA^*$ (caso "incompresible" o asférico estricto), entonces el monoide también es de tipo bi-$FP_\infty$ y tiene dimensión de Hochschild $\le 2$. Esto sugiere que todos los monoides de un relator podrían ser bi-$FP_\infty$, con los casos especiales y los asféricos estrictos sirviendo como casos base para una prueba inductiva futura mediante compresión.

4. Significado e Impacto

1. Avance en la Teoría de Monoides: Este trabajo cierra una brecha significativa al establecer la propiedad bi-$FP_\infty$ para una clase importante de monoides (los especiales de un relator). Antes de esto, solo se conocían resultados unilaterales ($FP_\infty$ izquierdo y derecho) para esta clase.
2. Generalización del Teorema de Identidad de Lyndon: El Teorema B puede verse como una versión de "lado doble" del clásico Teorema de Identidad de Lyndon para grupos. Proporciona una comprensión completa de la estructura homológica de los monoides definidos por $r=1$.
3. Herramientas Nuevas: La introducción y desarrollo de la teoría de lado doble para monoides especiales (específicamente el estudio del monoide $N$ y el grafo de Cayley de lado doble) proporciona un marco metodológico nuevo que podría aplicarse a otros problemas en la teoría de monoides y semigrupos.
4. Conexión con la Decidibilidad: Dado que las propiedades $FP_n$ están relacionadas con la existencia de sistemas de reescritura completos finitos (teorema de Anick-Groves-Squier), estos resultados aportan evidencia fuerte sobre la estructura computacional de los monoides de un relator, aunque la decidibilidad general del problema de la palabra para monoides de un relator sigue siendo un problema abierto.
5. Implicaciones para la Conjetura General: Los resultados apoyan la conjetura de que todos los monoides de un relator son de tipo bi-$FP_\infty$. Al resolver los casos base (especiales y asféricos estrictos), los autores allanan el camino para intentar probar la conjetura general mediante técnicas de compresión.

En resumen, el artículo representa un hito en la intersección de la teoría de monoides, la topología algebraica y la teoría de grupos, demostrando que las técnicas homológicas de lado doble son poderosas para desentrañar la estructura de monoides definidos por relaciones simples.