🔢 mathematics

On anti-left-invariant and left-invariant pseudo-Euclidean nearly associative algebras

Este artículo introduce y clasifica las álgebras pseudo-euclidianas casi asociativas anti-invariantes por la izquierda e invariantes por la izquierda mediante el establecimiento de su correspondencia con productos de Levi-Civita de estructuras de Lie y de Jordan, demostrando propiedades específicas de nilpotencia y solvibilidad, y demostrando que ambas clases pueden construirse recursivamente a través de procedimientos de doble extensión desde fundamentos algebraicos más simples.

Autores originales: Elisabete Barreiro, Said Benayadi, Hamza El Ouali, Carla Rizzo

Publicado 2026-08-04

📖 7 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Elisabete Barreiro, Said Benayadi, Hamza El Ouali, Carla Rizzo

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina el universo no solo como una colección de estrellas y planetas, sino como una gigantesca e invisible pista de baile donde cada movimiento está gobernado por reglas estrictas. En el mundo de las matemáticas, específicamente en una rama llamada geometría, los científicos estudian estas reglas para entender cómo las formas se doblan, se retuercen e interactúan. Uno de los "pasos de baile" más famosos es la conexión de Levi-Civita, una forma de describir cómo cambian las cosas a medida que se deslizan sobre una superficie curva sin resbalar. Usualmente, esto sucede en un escenario llamado "grupo de Lie", que es un nombre elegante para una forma que también posee un álgebra intrínseca (un conjunto de reglas para combinar elementos).

Pero, ¿qué pasaría si la pista de baile misma fuera un poco extraña? ¿Qué pasaría si las reglas para combinar movimientos no siguieran la ley "asociativa" estándar (donde el orden de agrupación no importa, como $(A \times B) \times C = A \times (B \times C)$ )? Aquí es donde entran en juego las "álgebras casi asociativas". Son como un baile donde los pasos están casi perfectamente coordinados, pero con un pequeño y rítmico error que las hace únicas. Cuando añades un métrico "pseudo-euclidiano" a esta mezcla, estás esencialmente dándole a los bailarines una forma específica de medir distancias y ángulos, incluso si ese espacio es un poco extraño (como tener algunas direcciones que actúan como el tiempo y otras como el espacio). La gran pregunta que los matemáticos se han estado haciendo es: ¿Podemos construir estas pistas de baile extrañas y con errores desde cero? ¿Podemos tomar una pista simple y aburrida y añadirle capas hasta obtener estas estructuras complejas? Este artículo se sumerge profundamente en esa pregunta, tratando de mapear exactamente cómo se construyen estas pistas de baile algebraicas.

El Gran Proyecto de Construcción Algebraica

En este artículo, los autores actúan como maestros arquitectos y constructores de LEGO, pero en lugar de ladrillos de plástico, están utilizando estructuras matemáticas abstractas llamadas "álgebras casi asociativas". Están investigando dos tipos muy específicos de estas álgebras: las pseudo-euclidianas casi asociativas anti-invariantes por la izquierda y invariantes por la izquierda.

Para entender lo que encontraron, imagina que tienes un conjunto de bloques de construcción mágicos. Los autores descubrieron que, sin importar cuán compleja o extraña sea tu estructura final, siempre puedes construirla partiendo de un bloque muy simple y vacío, añadiendo capas una por una utilizando una técnica específica que llaman "doble extensión".

Los Dos Tipos de Pistas de Baile

El artículo divide su investigación en dos categorías principales, que son como dos estilos de baile diferentes:

El Estilo Anti-Invariante por la Izquierda:
Piensa en esto como un baile donde los compañeros se mueven en direcciones opuestas respecto a la música. Los autores demostraron que, si construyes una estructura usando estas reglas, esta tiene un límite muy estricto de qué tan "alta" o compleja puede llegar a ser. Específicamente, demostraron que estas álgebras son nilpotentes de índice como máximo cinco. En lenguaje sencillo, esto significa que si sigues multiplicando los elementos entre sí (como apilar bloques), la pila colapsará y se convertirá en cero después de como máximo cinco pasos. Es un juego finito.

También descubrieron que estas estructuras están profundamente conectadas con algo llamado álgebras Jacobi-Jordan (un tipo de álgebra que se comporta como una mezcla de álgebras de Lie y de Jordan). Demostraron que el álgebra "subyacente" de estas estructuras es siempre cíclica, lo que significa que tiene un patrón específico y repetitivo.

La Gran Sorpresa: Los autores descartaron explícitamente toda una clase de estas álgebras. Demostraron que, si intentas construir un álgebra anti-invariante por la izquierda en un espacio "euclidiano" (un espacio de distancias positivas estándar como la habitación en la que estás sentado), el resultado es siempre trivial. Esto significa que la pista de baile está vacía; nada sucede. La única forma de obtener una estructura no trivial (interesante) es si el espacio tiene una firma "lorentziana" (como en la relatividad, con el tiempo y el espacio mezclados) o una firma específica como $(2, n-2)$ . Incluso en ese caso, descubrieron que para la firma $(2, n-2)$ , el álgebra colapsa aún más rápido, volviéndose nilpotente de índice como máximo tres.
El Estilo Invariante por la Izquierda:
Este es el baile donde los compañeros se mueven en sincronía. Los autores descubrieron que estas estructuras son ligeramente más flexibles. Demostraron que el álgebra de Lie (el "esqueleto" de la estructura) asociado con estas álgebras es soluble de dos pasos. Esta es una forma elegante de decir que la estructura se desmorona rápidamente si intentas descomponerla.

Crucialmente, demostraron que si estás trabajando en un espacio euclidiano estándar (solo distancias positivas), estas álgebras deben ser álgebras conmutativas asociativas cuadráticas. En otras palabras, si el espacio es "normal", el "error" desaparece y simplemente obtienes un álgebra asociativa estándar y aburrida. La parte de "casi" solo sobrevive si el espacio es pseudo-euclidiano (extraño).

La Magia de la Doble Extensión

El núcleo del artículo es el método de construcción. Los autores introdujeron un procedimiento llamado doble extensión. Imagina que tienes una plataforma pequeña y estable (un álgebra de menor dimensión). Para construir una más grande, no solo apilas un bloque encima; añades una capa de "sombra" y una capa de "núcleo" simultáneamente. Los conectas con reglas específicas (mapas y formas bilineales) que aseguran que la nueva estructura más grande siga las reglas de baile "casi asociativas".

Demostraron un teorema poderoso: Cada álgebra pseudo-euclidiana casi asociativa anti-invariante por la izquierda o invariante por la izquierda no trivial puede construirse de esta manera. Comienzas con un álgebra trivial (vacía) o una álgebra conmutativa asociativa cuadrática simple, y aplicas una secuencia finita de estas dobles extensiones hasta alcanzar tu objetivo.

Clasificando las Pequeñas

Para asegurar que su teoría funciona, los autores fueron al laboratorio y clasificaron todas las estructuras posibles de tamaños pequeños.

Para Anti-Invariante por la Izquierda: Listaron todas las álgebras posibles hasta la dimensión 6 con una firma específica $(2, n-2)$ . Encontraron que todas se construyen a partir de álgebras triviales usando su método de doble extensión.
Para Invariante por la Izquierda: Clasificaron todas las álgebras no conmutativas lorentzianas (tipo espacio-tiempo) hasta la dimensión 4. Encontraron que la dimensión 2 es imposible (no existe tal álgebra no conmutativa), la dimensión 3 tiene exactamente un tipo, y la dimensión 4 tiene exactamente dos tipos.

Qué Significa Esto

El artículo no solo enumera ejemplos; proporciona un marco unificado. Nos dice que estos objetos algebraico-geométricos complejos no son accidentes aleatorios. Todos se construyen a partir de los mismos ingredientes simples usando la misma receta. Si quieres entender la geometría de estos espacios "casi asociativos", solo necesitas entender cómo realizar la doble extensión.

Los autores están muy seguros de sus resultados; no se limitaron a sugerir estos patrones o realizar simulaciones. Proporcionaron demostraciones matemáticas rigurosas de que estas estructuras deben ser nilpotentes, deben ser solubles y deben ser construibles mediante dobles extensiones. Efectivamente cerraron la puerta a la idea de que pudiera haber alguna otra álgebra exótica oculta de este tipo que no encaje en su método de construcción. Para cualquiera que intente construir estos mundos matemáticos, el artículo proporciona el plano completo.

Resumen Técnico: Álgebras Pseudo-Euclídeas Casi Asociativas Anti-izquierda-invariantes y Leva-invariantes

Planteamiento del Problema y Motivación
El artículo aborda la estructura algebraica de las álgebras pseudo-euclídeas casi asociativas que surgen de los productos de Levi-Civita asociados con álgebras de Lie y de Jordan pseudo-euclídeas. Si bien la conexión de Levi-Civita en grupos de Lie pseudo-riemannianos está bien comprendida —dando lugar a álgebras léxico-simétricas cuando la curvatura es nula—, esta construcción se ha extendido a entornos no asociativos más amplios. Los autores se centran en dos clases específicas de álgebras pseudo-euclídeas casi asociativas:

Anti-izquierda-invariantes: Aquellas donde la métrica satisface $\langle u \cdot v, w \rangle = -\langle v, u \cdot w \rangle$ . Estas surgen del producto de Levi-Civita de álgebras de Lie pseudo-euclídeas.
Levas-invariantes: Aquellas donde la métrica satisface $\langle u \cdot v, w \rangle = \langle v, u \cdot w \rangle$ . Estas surgen del producto de Levi-Civita de álgebras de Jordan pseudo-euclídeas.

El problema central es establecer las propiedades estructurales de estas álgebras, caracterizar sus estructuras subyacentes de Lie y de Jordan, y proporcionar un marco de clasificación recursivo utilizando técnicas de doble extensión.

Metodología
Los autores emplean una combinación de identidades algebraicas, teoría de representaciones y métodos constructivos:

Caracterización Algebraica: El artículo utiliza la identidad definitoria de las álgebras casi asociativas, $(u \cdot v) \cdot w = v \cdot (w \cdot u)$ , junto con las propiedades de invariancia específicas de la forma bilineal para derivar restricciones sobre los operadores de multiplicación y los asociadores.
Análisis Estructural: Los autores analizan la solvibilidad y la nilpotencia de las álgebras de Lie ( $A^-$ ) y de Jordan/Jacobi-Jordan ( $A^+$ ) subyacentes. Investigan las propiedades del álgebra derivada $[A, A]$ y su complemento ortogonal.
Procedimiento de Doble Extensión: Motivado por la construcción clásica de Medina y Revoy para álgebras de Lie cuadráticas, el artículo introduce un procedimiento de doble extensión generalizado. Esto implica extender un álgebra base mediante un álgebra conmutativa asociativa (o su dual) utilizando mapas lineales específicos y formas bilineales que satisfacen condiciones de compatibilidad derivadas de los axiomas de casi asociatividad e invariancia.
Clasificación Inductiva: Al demostrar que los álgebras no triviales en estas clases contienen ideales totalmente isotrópicos específicos, los autores establecen que cada una de estas álgebras puede construirse recursivamente desde un álgebra conmutativa trivial o cuadrática mediante una secuencia finita de estas extensiones.

Contribuciones Clave y Resultados

1. Álgebras Pseudo-Euclídeas Casi Asociativas Anti-izquierda-invariantes

Nilpotencia y Admisibilidad: Los autores demuestran que cualquier álgebra casi asociativa pseudo-euclídea anti-izquierda-invariante es nilpotente de índice como máximo cinco. Además, establecen que el álgebra conmutativa asociada ( $A^+$ ) es un álgebra de Jacobi-Jordan (también conocida como álgebra Mock-Lie).
Estructura Cíclica: Se demuestra que el álgebra de Jacobi-Jordan pseudo-euclídea asociada es cíclica.
Restricciones de Firma:
- Todo álgebra casi asociativa euclídea o lorentziana anti-izquierda-invariante es trivial (es decir, el producto es cero).
- Toda álgebra de firma $(2, n-2)$ es nilpotente de índice como máximo tres y es asociativa.
Clasificación: Utilizando el método de doble extensión, el artículo proporciona una clasificación completa de las álgebras casi asociativas pseudo-euclídeas anti-izquierda-invariantes de dimensión a lo sumo seis con firma $(2, n-2)$ . La clasificación se basa en el hecho de que el álgebra base en la cadena de extensión debe ser trivial.

2. Álgebras Pseudo-Euclídeas Casi Asociativas Levas-invariantes

Solvibilidad y Ciclicidad: Se demuestra que el álgebra de Lie asociada ( $A^-$ ) es solvable de índice como máximo dos. Además, el álgebra pseudo-euclídea asociada es cíclica.
Caso Euclídeo: Se muestra que toda álgebra casi asociativa euclídea levas-invariante es un álgebra conmutativa asociativa cuadrática.
Construcción Recursiva: Los autores introducen extensiones dobles de tipo bloque, planar y lineal. Demuestran que toda álgebra casi asociativa pseudo-euclídea levas-invariante puede construirse recursivamente desde un álgebra conmutativa asociativa cuadrática.
- Sobre el cuerpo de los números reales, esta construcción puede lograrse específicamente utilizando extensiones dobles planares.
Clasificación: Se proporciona una clasificación completa de las álgebras no conmutativas casi asociativas lorentzianas levas-invariantes de dimensión a lo sumo cuatro. Los resultados indican que no existen tales álgebras en dimensión dos, e identifican estructuras específicas para las dimensiones tres y cuatro.

Significado
El artículo pretende proporcionar un marco unificado para describir y clasificar las álgebras pseudo-euclídeas casi asociativas tanto en los entornos anti-izquierda-invariantes como levas-invariantes. Al establecer una correspondencia entre estas álgebras y los productos de Levi-Civita de sus estructuras de Lie y de Jordan asociadas, el trabajo tiende un puente entre la geometría diferencial y el álgebra no asociativa. La introducción del procedimiento de doble extensión sirve como una poderosa herramienta para generar y clasificar estas estructuras, demostrando que no son ejemplos aislados, sino que pueden construirse sistemáticamente a partir de álgebras conmutativas cuadráticas más simples y bien comprendidas. Los resultados refinan la comprensión de las propiedades geométricas (planitud, curvatura) inherentes a estas estructuras algebraicas al traducirlas en identidades algebraicas precisas y teoremas estructurales.

El Gran Proyecto de Construcción Algebraica

Los Dos Tipos de Pistas de Baile

La Magia de la Doble Extensión

Clasificando las Pequeñas

Qué Significa Esto

Más como este