Induced structures of operated algebras with applications to multi-Novikov algebras

Resumen Técnico: Estructuras Inducidas de Álgebras Operadas con Aplicaciones a Álgebras Multi-Novikov

Planteamiento del Problema
El estudio de las álgebras operadas —álgebras equipadas con operadores lineales tales como derivaciones, operadores de Rota-Baxter o operadores de Nijenhuis— ha revelado un fenómeno recurrente donde surgen estructuras algebraicas específicas de la interacción entre el operador y el álgebra subyacente. Estas son denominadas informalmente "estructuras inducidas". Por ejemplo, la construcción de Gelfand demuestra que un álgebra conmutativa diferencial induce un álgebra de Novikov. Sin embargo, la literatura carece de un marco riguroso y unificado para definir qué constituye una "estructura inducida". Las definiciones existentes son a menudo informales, lo que genera ambigüedad sobre si una estructura inducida específica (por ejemplo, Novikov) es la única o la más fuerte estructura derivable de un álgebra operada dada. Además, sigue sin estar claro si existen estructuras adicionales independientes que puedan inducirse de la misma fuente. Este artículo aborda las siguientes preguntas:

1. ¿Cuál es la definición precisa de una estructura (totalmente) inducida de un álgebra operada?
2. ¿Cómo se puede determinar este estructura sistemáticamente?
3. ¿Es el álgebra de Novikov la estructura única máxima inducida de un álgebra conmutativa diferencial?

Metodología
Los autores desarrollan un marco operádico riguroso para formalizar el concepto de estructuras inducidas dentro del contexto de las operadas unaria-binarias (operadas que contienen tanto operaciones unarias, representando operadores, como productos binarios, representando el producto del álgebra).

1. Definiciones Operádicas: El artículo introduce los conceptos de operadas cuadráticas pre-inducidas y post-inducidas.

   • Dado una operada unaria-binaria $Q = P(W, S)$, donde $W$ contiene operadores unarios ($\Omega$) y productos binarios ($\Theta$), los autores construyen una nueva operada cuadrática binaria generada por un espacio de operaciones binarias derivadas de la interacción de $\Omega$ y $\Theta$.
   • Definen un homomorfismo pre-inducido $\Phi$ desde una operada binaria libre (generada por nuevas operaciones binarias $\prec_{\omega, \theta}$ y $\succ_{\omega, \theta}$) hacia la operada $Q$ original.
   • La operada pre-inducida, denotada como $\text{pre-}(Q)$, se define como el cociente de la operada binaria libre por el núcleo de $\Phi$ restringido al grado 3 (relaciones cuadráticas). Este núcleo captura todas las relaciones cuadráticas binarias que deben cumplirse en cualquier álgebra inducida por $Q$.
   • Una construcción similar produce la operada post-inducida, $\text{post-}(Q)$, que incluye los productos binarios originales en el conjunto generador.

2. Aplicación a Álgebras Multi-Diferenciales: El marco se aplica a dos clases específicas de álgebras operadas:

   • Álgebras Conmutativas Multi-Diferenciales Conmutativas: Álgebras con un conjunto de derivaciones que conmutan entre sí.
   • Álgebras Conmutativas Multi-Diferenciales No Conmutativas: Álgebras con derivaciones que no necesariamente conmutan.
     Los autores utilizan las construcciones conocidas de objetos libres para estas álgebras (álgebras conmutativas multi-diferenciales libres) para computar explícitamente los núcleos de las homomorfismos inducidos.

3. Verificación Computacional: Mediante el análisis de las álgebras libres generadas por tres elementos $\{x, y, z\}$, los autores sustituyen los productos inducidos (definidos como $x \triangleright_\omega y = x \cdot D_\omega(y)$) en relaciones ternarias generales. Utilizando la independencia lineal de los monomios diferenciales en las álgebras libres, resuelven el sistema resultante de ecuaciones lineales para determinar el conjunto exacto de relaciones que deben anularse.

Contribuciones Clave y Resultados

1. Formalización de Estructuras Inducidas: El artículo proporciona la primera definición rigurosa de "estructuras inducidas" a través de la operada pre-inducida. Esta definición captura plenamente todas las relaciones cuadráticas binarias codificadas por una operada unaria-binaria, unificando diversas construcciones ad-hoc encontradas en la literatura.

2. Caracterización de las Álgebras Multi-Novikov:

   • Los autores demuestran que la operada de las álgebras multi-Novikov (introducida por Bruned y Dotsenko) es precisamente la operada pre-inducida de la operada de álgebras conmutativas multi-diferenciales conmutativas.
   • Específicamente, muestran que el núcleo del homomorfismo desde la operada binaria libre hacia la operada multi-diferencial está generado exactamente por las relaciones que definen a las álgebras multi-Novikov.
   • Corolario: En el caso de una sola derivación, esto confirma que el álgebra de Novikov es la estructura pre-inducida (la estructura "totalmente" inducida) del álgebra conmutativa diferencial. Esto responde a la pregunta de si los axiomas de Novikov son las relaciones binarias cuadráticas más fuertes posibles, afirmando que no existen otras identidades binarias cuadráticas independientes más allá de las que definen el álgebra de Novikov.

3. Descubrimiento de Álgebras Multi-Novikov No Conmutativas:

   • Aplicando la misma metodología a las álgebras conmutativas multi-diferenciales no conmutativas, los autores determinan que la estructura inducida es el álgebra multi-Novikov no conmutativa.
   • Esta estructura satisface un subconjunto de los axiomas multi-Novikov (específicamente, la identidad de tipo pre-Lie y una condición de simetría específica) pero carece de la simetría completa requerida en el caso conmutativo. Este resultado fue determinado previamente de forma computacional en [47]; este artículo proporciona la derivación y justificación operádica.

4. Isomorfismo Operádico: El artículo establece isomorfismos explícitos entre el cociente de la operada binaria libre por las relaciones inducidas y las operadas conocidas de los álgebras de Novikov y multi-Novikov.

Significado
Los autores afirman que este trabajo es significativo en tres áreas principales:

• Unificación Teórica: Reemplaza el uso informal de "estructura inducida" con una definición operádica precisa (estructuras pre-inducidas y post-inducidas), permitiendo la determinación sistemática de todas las posibles relaciones inducidas.
• Resolución de Preguntas Abiertas: Proporciona una respuesta afirmativa definitiva a la inversa de la construcción de Gelfand, probando que la estructura de álgebra de Novikov es, de hecho, la estructura binaria cuadrática máxima inducida de un álgebra conmutativa diferencial.
• Nuevas Estructuras Algebraicas: El marco facilita el descubrimiento y la definición rigurosa de nuevas estructuras algebraicas, como el álgebra multi-Novikov no conmutativa, derivándolas directamente de las propiedades de las álgebras operadas subyacentes (específicamente, la no conmutatividad de las derivaciones).

Los autores señalan que este trabajo representa la "primera etapa" de un estudio más profundo, con direcciones futuras que podrían involucrar relaciones cúbicas y estructuras inducidas de operadas de mayor aridad.