Addendum/Corrigendum to "On solubility of skew left braces and solutions of the Yang-Baxter equation"

Título e Contexto

O artigo é um adendo/corrigendum ao trabalho anterior dos mesmos autores publicado em Advances in Mathematics (2024). O objetivo principal é corrigir uma falha na prova do Teorema C do trabalho original, que estabelecia a equivalência entre a solubilidade de um skew brace (anel de torção enviesado) e a solubilidade da solução associada da Equação de Yang-Baxter (YBE).

1. O Problema

No trabalho anterior, os autores introduziram o conceito de "solubilidade de soluções" como uma extensão da solubilidade de skew braces no contexto da classificação de soluções não degeneradas da YBE. O Teorema C afirmava que um skew brace é solúvel se, e somente se, a sua solução associada for solúvel.

No entanto, os autores identificaram um erro irreparável na prova desse teorema, decorrente de uma definição inadequada de homomorfismo de soluções. A definição original não capturava corretamente a estrutura necessária para caracterizar soluções indecomponíveis e para garantir que a solubilidade da solução implicasse a solubilidade do skew brace de estrutura associado. Especificamente, a relação entre a decomposição da solução e a estrutura de ideais do skew brace não estava bem fundamentada.

2. Metodologia

Para corrigir o erro, os autores desenvolveram uma nova abordagem teórica baseada nos seguintes pilares:

• Introdução de i-homomorfismos: Eles definiram uma nova classe de homomorfismos entre soluções, chamados de i-homomorfismos. Um homomorfismo $f: (X, r) \to (Y, s)$ é um i-homomorfismo se existir uma classe de equivalência $X_0 \subseteq X$ (chamada de i-kernel) tal que as ações de $\lambda$ e $\rho$ troquem $X_0$ com qualquer outra classe de equivalência de forma controlada ($r(X_0, Z) = Z \times X_0$ e vice-versa).
• Caracterização de Soluções Indecomponíveis: Utilizando i-homomorfismos, os autores definiram i-simplicidade. Eles provaram que uma solução é indecomponível se, e somente se, for i-simples. Isso resolve a lacuna anterior onde a simplicidade clássica de soluções não correspondia perfeitamente à indecomponibilidade.
• Conexão com Ideais do Skew Brace: Demonstraram que os i-kernels de i-homomorfismos induzem ideais fortes (strong left ideals) no skew brace de estrutura associado ($G_X$). Isso permite mapear a estrutura de decomposição da solução diretamente para a estrutura de ideais do skew brace.
• Reformulação da Solubilidade: A solubilidade de soluções foi redefinida como a classe oposta às soluções indecomponíveis/i-simples, utilizando uma cadeia de i-epimorfismos cujos kernels geram ideais abelianos no skew brace de estrutura.

3. Principais Contribuições e Resultados

• Correção do Teorema C: A prova do Teorema C foi reparada e validada. O resultado central afirma que, para qualquer skew brace $B$, as seguintes afirmações são equivalentes:

  1. $B$ é um skew brace solúvel.
  2. A solução associada $(B, r_B)$ é uma solução solúvel.
  3. O skew brace de estrutura associado $G(B, r_B)$ é solúvel.
  4. O skew brace de permutação associado $G(B, r_B)$ é solúvel.

• Teorema 4.2 (Implicação Direta): Foi provado que toda solução solúvel possui um skew brace de estrutura solúvel. Este é um resultado mais forte do que o anterior, pois estabelece uma direção clara da solubilidade da solução para a do skew brace.

• Contra-exemplo e Condição Suficiente (Teorema 4.4):

  • Os autores mostram que a recíproca do Teorema 4.2 não é verdadeira em geral (ou seja, um skew brace solúvel nem sempre gera uma solução solúvel, conforme o Exemplo 4.7).
  • No entanto, estabeleceram uma condição suficiente para a recíproca: Se um skew brace de estrutura $G_X$ é solúvel e existe um elemento $x \in X$ tal que $\lambda_x = \rho_x = \text{id}_X$ (ou seja, $x$ está no centro do grupo de permutação), então a solução $(X, r)$ é solúvel.

• Relação com Soluções de Multipermutação: O trabalho conecta a nova definição de solubilidade com soluções de multipermutação. Corolários mostram que soluções de multipermutação com certas propriedades de interseção com o núcleo do skew brace são solúveis.

• Exemplo 4.7 (Importante): Apresenta uma solução de Lyubashenko que é uma solução de multipermutação (nível 1) e cujo skew brace de estrutura é solúvel, mas a própria solução é simples (e portanto, não solúvel). Isso ilustra a necessidade da nova definição e da condição adicional (existência de elemento fixo) para garantir a solubilidade da solução.

4. Significado e Impacto

• Rigor Teórico: O artigo restaura a validade dos resultados principais da pesquisa anterior, corrigindo uma falha fundamental na definição de homomorfismos que poderia ter comprometido a classificação de soluções da YBE.
• Novas Ferramentas de Classificação: A introdução de i-homomorfismos e i-kernels fornece uma ferramenta mais precisa para analisar a estrutura de soluções, especialmente na distinção entre soluções simples e indecomponíveis.
• Ponte entre Álgebra e Teoria de Grupos: O trabalho reforça a conexão profunda entre a teoria de skew braces e a teoria de soluções da Equação de Yang-Baxter, mostrando que a solubilidade é uma propriedade que pode ser transferida e caracterizada em ambos os lados, desde que as definições corretas sejam aplicadas.
• Avanço na Classificação: Ao caracterizar a solubilidade como o oposto da indecomponibilidade (via i-simplicidade), o trabalho oferece um caminho mais claro para a classificação de soluções não degeneradas, um problema em aberto de longa data na área.

Em resumo, este corrigendum não apenas conserta um erro técnico, mas também refina e fortalece a teoria subjacente, oferecendo definições mais robustas e resultados mais precisos sobre a solubilidade no contexto da Equação de Yang-Baxter e skew left braces.