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

1. Problema e Contexto

O artigo aborda questões fundamentais na teoria de monoides, especificamente no estudo de monoides de um relator (definidos por uma única relação $u = v$) e, mais particularmente, dos monoides especiais (onde a relação é da forma $r = 1$).

• O Problema Central: Determinar as propriedades de finitude homológica de "lado duplo" (two-sided) para esses monoides. Enquanto propriedades de lado único (left-FP$_n$ e right-FP$_n$) já foram estabelecidas para monoides de um relator (incluindo o fato de serem left-FP$_\infty$ e right-FP$_\infty$), a questão de saber se eles satisfazem a propriedade bi-FP$_n$ (que envolve a estrutura do módulo bimódulo sobre o anel de grupo) permanecia aberta.
• Importância: A propriedade bi-FP$_n$ é mais robusta e informativa que as propriedades de lado único. Por exemplo, a adição de um elemento zero a um grupo torna-o left e right-FP$_\infty$, mas preserva a propriedade bi-FP$_n$ apenas se o grupo original já a tivesse.
• Objetivo Específico: Estabelecer uma conexão entre as propriedades homológicas de um monóide especial e as do seu grupo de unidades (o grupo formado pelos elementos invertíveis do monóide). O objetivo final é provar que monoides de um relator da forma $\langle A \mid r = 1 \rangle$ são de tipo bi-FP$_\infty$ e determinar sua dimensão cohomológica de Hochschild.

2. Metodologia

Os autores desenvolvem uma nova teoria homológica de "lado duplo" para monoides especiais, generalizando a teoria clássica unilateral de Adjan, Makanin e Zhang. A metodologia baseia-se em:

1. Análise Estrutural de Monoides Especiais:

   • Utilizam a teoria de sistemas de reescrita (string rewriting systems) para obter formas normais (normal forms) para os elementos do monóide.
   • Definem um novo objeto algébrico crucial: o monóide $N = \{(u, v) \in R_1 \times L_1 \mid uv = 1\}$, onde $R_1$ e $L_1$ são os submonoides de unidades à direita e à esquerda, respectivamente.
   • Resultado Chave Estrutural: Provam que $N$ é isomorfo ao produto livre de um grupo livre e um grupo livre de posto finito: $N \cong G * C^*$, onde $G$ é o grupo de unidades do monóide original e $C$ é um conjunto finito.

2. Geometria do Gráfico de Cayley de Lado Duplo:

   • Analisam o gráfico de Cayley de lado duplo ($\overrightarrow{\Gamma}$) do monóide $M$, que é um grafo dirigido onde os vértices são pares $(m_1, m_2) \in M \times M$ e as arestas representam a ação de $M \times M^{op}$.
   • Demonstram que o quociente deste gráfico pela ação de $N$ ($\overrightarrow{\Gamma}/N$) é uma floresta (um grafo sem ciclos).
   • Mostram que o conjunto de arestas "colapsadas" ao formar o quociente forma um conjunto livre finitamente gerado sob a ação de $M \times M^{op}$.

3. Álgebra Homológica e Resoluções:

   • Constroem uma resolução de cadeias celular para o módulo bimódulo trivial $\mathbb{Z}M$ utilizando a estrutura topológica do gráfico de Cayley quociente.
   • Utilizam o Lema do Ping-Pong (adaptado para monoides) para provar a decomposição livre de $N$.
   • Aplicam resultados sobre dimensão projetiva e propriedades FP$_n$ para relacionar a finitude homológica de $M$ com a de $G$.

3. Contribuições Principais

• Teoria de Lado Duplo para Monoides Especiais: A criação de uma teoria completa que relaciona a estrutura de monoides especiais com seus grupos de unidades no contexto de propriedades homológicas de lado duplo, superando as limitações das abordagens unilaterais anteriores.
• Decomposição do Monóide $N$: A prova de que o monóide de pares de unidades $(u, v)$ com $uv=1$ possui uma estrutura de produto livre ($G * C^*$), o que é fundamental para a construção das resoluções homológicas.
• Conexão entre Dimensões Cohomológicas: Estabelecimento de limites precisos para a dimensão cohomológica de Hochschild de monoides especiais em termos da dimensão cohomológica de seus grupos de unidades.

4. Resultados Principais

Os resultados são sintetizados nos Teoremas A e B do artigo:

Teorema A (Monoides Especiais Finitamente Apresentados):
Seja $M = \langle A \mid w_1 = 1, \dots, w_k = 1 \rangle$ um monóide especial e $G$ seu grupo de unidades.

1. Propriedade Bi-FP$_n$: Se $G$ é do tipo FP$_n$ (para $1 \le n \le \infty$), então $M$ é do tipo bi-FP$_n$.
2. Dimensão Cohomológica de Hochschild: A dimensão cohomológica de Hochschild de $M$, denotada por $\dim M$, satisfaz:
   $$\text{cd}(G) \le \dim M \le \max\{2, \text{cd}(G)\}$$
   Onde $\text{cd}(G)$ é a dimensão cohomológica do grupo $G$.

Teorema B (Monoides de Um Relator Especiais):
Para um monóide de um relator da forma $M = \langle A \mid r = 1 \rangle$:

1. Finitude Homológica: $M$ é sempre do tipo bi-FP$_\infty$.
2. Dimensão de Hochschild:
   • Se $r$ não é uma potência própria (ou seja, $r$ não é da forma $s^k$ com $k > 1$), então $\dim M \le 2$.
   • Se $r$ é uma potência própria, então $\dim M = \infty$.

Teorema 8.1 (Monoides de Um Relator Não-Especiais):
Para monoides de um relator não-especiais $M = \langle A \mid u = v \rangle$ que são incompressíveis (não existe palavra $r$ não vazia tal que $u, v \in A^*r \cap rA^*$):

• $M$ é do tipo bi-FP$_\infty$.
• A dimensão cohomológica de Hochschild é no máximo 2.

5. Significado e Impacto

• Resolução de um Problema Aberto: O artigo resolve positivamente a questão de saber se monoides de um relator especiais são de tipo bi-FP$_\infty$, confirmando que eles possuem a melhor propriedade de finitude homológica possível.
• Generalização do Teorema da Identidade de Lyndon: O resultado estende o clássico Teorema da Identidade de Lyndon (originalmente para grupos de um relator) para o contexto de monoides de um relator especiais, fornecendo uma estrutura topológica (espaço classificador) para a homologia de lado duplo.
• Fundamento para Casos Gerais: Os resultados servem como "casos base" para uma futura prova de que todos os monoides de um relator (especiais e não-especiais) são de tipo bi-FP$_\infty$. Os autores propõem que, combinando estes resultados com a teoria de compressão (compression) e monoides estritamente asféricos, é possível atacar o problema geral.
• Avanço Metodológico: A introdução e o desenvolvimento da teoria de lado duplo para monoides especiais abrem novas portas para o estudo de propriedades homológicas em estruturas algébricas mais complexas, como semigrupos inversos e outras classes de monoides.

Em resumo, o trabalho estabelece uma ponte profunda entre a teoria de grupos (através do grupo de unidades) e a teoria de monoides, utilizando ferramentas topológicas e homológicas avançadas para classificar a finitude estrutural de uma classe importante de monoides.