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

A continuación presento un resumen técnico detallado del artículo "Addendum/Corrigendum to On solubility of skew left braces and solutions of the Yang-Baxter equation" de Ballester-Bolinches, Esteban-Romero, Jiménez-Seral y Pérez-Calabuig.

1. Planteamiento del Problema

El artículo aborda una corrección necesaria en un trabajo previo de los mismos autores (publicado en Adv. Math. 455, 2024) sobre la clasificación de soluciones no degeneradas de la ecuación de Yang-Baxter (YBE) mediante el uso de skew braces (corchetes sesgados) y su solubilidad.

• El Error: En el trabajo anterior, el Teorema C afirmaba que un skew brace es soluble si y solo si su solución asociada es soluble. Sin embargo, los autores reconocen que la demostración contenía un error fundamental derivado de una definición insuficiente de homomorfismo de soluciones.
• La Limitación: La noción original de "solubilidad de soluciones" (definida como una cadena de subconjuntos con homomorfismos estándar) no lograba caracterizar correctamente las soluciones indecomponibles. Específicamente, la relación entre la simplicidad de la solución y la estructura de ideales del skew brace asociado no era biunívoca bajo la definición anterior.
• Objetivo: Reparar la demostración del Teorema C introduciendo una nueva clase de homomorfismos que permita una caracterización precisa de la indecomponibilidad y restablecer la equivalencia entre la solubilidad de la solución y la del skew brace estructural.

2. Metodología

Los autores desarrollan una nueva herramienta teórica llamada i-homomorfismos de soluciones (i-homomorphisms) para redefinir la solubilidad en el contexto de la YBE.

• Definición de i-homomorfismo: Un homomorfismo de soluciones $f: (X, r) \to (Y, s)$ se denomina i-homomorfismo si existe una clase de equivalencia $X_0 \subseteq X$ (llamada i-núcleo) tal que para cualquier otra clase de equivalencia $Z$ del núcleo de $f$, se cumple:
  $$r(X_0, Z) = Z \times X_0 \quad \text{y} \quad r(Z, X_0) = X_0 \times Z$$
  Esto implica que el núcleo interactúa de manera "trivial" o de "twist" con el resto de la solución.
• Conexión con Skew Braces: Se demuestra que los i-núcleos de estos homomorfismos inducen ideales fuertes en el skew brace estructural asociado ($G_X$). Específicamente, el subgrupo generado por el i-núcleo en el grupo multiplicativo y aditivo de $G_X$ forma un ideal fuerte.
• Reformulación de la Solubilidad: Se redefine una solución como soluble si existe una cadena de i-epimorfismos donde los núcleos sucesivos generan una serie de ideales abelianos en los skew braces asociados, análoga a la serie de composición en teoría de grupos.

3. Contribuciones Clave

1. Introducción de i-homomorfismos: Se establece que los i-homomorfismos son la herramienta correcta para analizar la estructura de soluciones, superando las limitaciones de los homomorfismos estándar.
2. Caracterización de la Indecomponibilidad: Se prueba que una solución no trivial es indecomponible si y solo si es i-simple (Definición 3.2). Esto resuelve la brecha entre la teoría de soluciones y la teoría de skew braces simples.
3. Corrección del Teorema C: Se demuestra que la solubilidad de una solución (bajo la nueva definición) es equivalente a la solubilidad de su skew brace estructural y de su skew brace de permutación.
4. Relación con la Solubilidad del Skew Brace: Se establece que toda solución soluble tiene un skew brace estructural soluble. Además, se identifica una condición suficiente para la recíproca: si el skew brace estructural es soluble y existe un elemento $x \in X$ tal que $\lambda_x = \rho_x = \text{id}_X$, entonces la solución es soluble.

4. Resultados Principales

• Proposición 3.3: Una solución $(X, r)$ es indecomponible si y solo si es i-simple. Esto corrige la idea anterior de que la simplicidad estándar de la solución equivalía a la indecomponibilidad.
• Teorema 3.9: Establece la conexión algebraica crucial: si $f$ es un i-homomorfismo con i-núcleo $X_0$, entonces el subgrupo generado por $X_0$ en el skew brace estructural $G_X$ es un ideal fuerte (y por tanto un ideal). Además, el núcleo del homomorfismo inducido $\bar{f}$ está relacionado con este ideal.
• Teorema 4.2: Si una solución $(X, r)$ es soluble (según la nueva definición), entonces su skew brace estructural asociado $G_X$ es un skew brace soluble.
• Corolario 4.3 (Versión Corregida del Teorema C): Para un skew brace $B$, las siguientes afirmaciones son equivalentes:
  1. $B$ es un skew brace soluble.
  2. La solución asociada $(B, r_B)$ es una solución soluble.
  3. El skew brace estructural $G(B, r_B)$ es soluble.
  4. El skew brace de permutación $G(B, r_B)$ es soluble.
• Teorema 4.4 (Nueva Versión del Teorema D): Proporciona una condición suficiente para que una solución sea soluble: si el skew brace estructural $G_X$ es soluble y existe un elemento $x \in X$ tal que $\lambda_x = \rho_x = \text{id}_X$ (lo que implica que $\iota(x)$ está en el Socle de $G_X$), entonces $(X, r)$ es una solución soluble.
• Contraejemplo (Ejemplo 4.7): Se demuestra que la recíproca del Teorema 4.2 no es cierta en general sin condiciones adicionales. Existe una solución multipermutación (que tiene un skew brace estructural soluble) que es una solución simple (y por tanto no soluble bajo la nueva definición), mostrando que la solubilidad del skew brace no garantiza automáticamente la solubilidad de la solución a menos que se cumplan ciertas condiciones de estructura (como la existencia de elementos con acción trivial).

5. Significado e Impacto

Este trabajo es fundamental para la teoría algebraica de la ecuación de Yang-Baxter por varias razones:

• Rigorización de la Teoría: Corrige un error conceptual en la literatura reciente, asegurando que las clasificaciones de soluciones basadas en la solubilidad sean matemáticamente sólidas.
• Puente entre Estructuras: Establece un puente más robusto entre la teoría de skew braces (álgebra) y la teoría de soluciones de la YBE (combinatoria/física matemática). La introducción de los i-homomorfismos permite traducir propiedades de indecomponibilidad en propiedades de ideales, facilitando el uso de herramientas de teoría de grupos y anillos.
• Nueva Clasificación: La redefinición de solubilidad como la clase opuesta a las soluciones i-simples (indecomponibles) ofrece un marco más claro para estudiar la estructura de soluciones complejas.
• Aplicaciones Futuras: Al clarificar la relación entre soluciones multipermutación, nilpotencia derecha y solubilidad, este trabajo abre nuevas vías para la construcción y clasificación de soluciones de la YBE, especialmente en el contexto de estructuras finitas y de tipo abeliano.

En resumen, el artículo no solo repara una demostración fallida, sino que enriquece la teoría al introducir una noción de homomorfismo más fina (i-homomorfismo) que captura la estructura interna de las soluciones de manera más fiel que las definiciones anteriores.