Right representations of Novikov algebras

Resumen Técnico: Representaciones Derechas de Álgebras de Novikov

Planteamiento del Problema
El artículo aborda un vacío en la teoría estructural de los álgebras de Novikov: la falta de una teoría desarrollada para los módulos y representaciones derechas. Si bien la teoría de los álgebras de Novikov de dimensión finita (incluyendo las clasificaciones de álgebras simples y semisimples sobre cuerpos de característica 0 y $p>0$) y el estudio de los bimodules sobre álgebras simples han sido establecidos por autores como Zel'manov, Osborn y Xu, los conceptos específicos de representaciones derechas y módulos derechos para álgebras de Novikov arbitrarias no habían sido investigados previamente. El autor pretende establecer los fundamentos de la teoría de representaciones derechas, definir las representaciones irreducibles y caracterizar el radical de Jacobson dentro de este contexto.

Metodología
El estudio se lleva a cabo sobre un cuerpo $F$ de característica distinta de 2. La metodología se basa en los siguientes enfoques estructurales:

1. Definición de Representaciones Derechas: Siguiendo el marco de Slinko y Shestakov para variedades generales de álgebras, el autor define una representación derecha $\rho: A \to \text{End}(V)$ mediante $R$-identidades (identidades del operador de multiplicación derecha). Esto conduce a la definición de un módulo derecho $A$ que satisface identidades específicas derivadas de los axiomas de Novikov: $(ma)b = (mb)a$y$(m, a, b)c = (mc, a, b) = (m, ac, b)$.
2. Clasificación de Módulos Irreducibles: El artículo analiza los módulos irreducibles distinguiendo entre los casos asociativos y no asociativos. Utiliza el concepto de cuasi-núcleo $K_\rho(A)$, definido como el mayor ideal de $A$ contenido en el núcleo de la representación $\rho$.
3. Ideales Modulares: El autor introduce el concepto de un ideal modular derecho. Un ideal derecho $I \neq A$ es modular si:
   • Existen $e, f \in A$ tales que $a - (a, e, f) \in I$ para todo $a \in A$ (el caso no asociativo); o
   • $I$ es un ideal bilaterales tal que $A/I$ es un álgebra conmutativa con unidad (el caso asociativo).
4. Teoría de Radicales: El artículo emplea el marco de la teoría de radicales de Kurosh-Amitsur para definir una clase de radicales $\mathcal{J}$ que consiste en álgebras de Novikov que no poseen módulos irreducibles.

Contribuciones Clave y Resultados

• Descripción de Representaciones Irreducibles:
  El artículo demuestra que toda representación derecha irreducible de un álgebra de Novikov $A$ es isomórfica a un módulo cociente $A/I$, donde $I$ es un ideal modular derecho maximal. Específicamente:

  • Si el módulo es asociativo, $I$ es un ideal bilateral maximal y $A/I$ es un cuerpo.
  • Si el módulo es no asociativo, $I$ es un ideal derecho maximal y existen elementos $e, f \in A$ tales que $a - (a, e, f) \in I$ para todo $a \in A$.
  • El artículo proporciona un ejemplo (basado en el trabajo de Osborn) de un álgebra de Novikov simple de dimensión finita que posee un módulo irreducible no asociativo, demostrando que la estructura difiere significativamente de las álgebras asociativas o alternativas.

• El Radical de Jacobson:
  El autor define el radical de Jacobson $J(A)$ de un álgebra de Novikov como la clase $\mathcal{J}$ de álgebras que no poseen representaciones irreducibles.

  • Teorema: La clase $\mathcal{J}$ es una clase de radicales (que satisface las condiciones de imágenes homomórficas, extensiones y uniones de cadenas).
  • Caracterización: Se demuestra que el radical de Jacobson $J(A)$ es la intersección de los cuasi-núcleos de todas las representaciones irreducibles de $A$.
  • Distinción de Casos Clásicos: El artículo señala que, a diferencia de los álgebras asociativas, la intersección de los núcleos (no de los cuasi-núcleos) de las representaciones irreducibles no tiene por qué ser un ideal, ni necesariamente coincide con el radical.

• Álgebras Primitivas:
  Un álgebra de Novikov se define como primitiva si posee un ideal modular derecho maximal que no contiene ideales bilaterales distintos de cero.

  • Equivalencia: Un álgebra de Novikov es primitiva si y solo si posee una representación irreducible casi fiel (donde el cuasi-núcleo es cero).
  • Estructura: Todo álgebra de Novikov primitiva es prima.

• Relación entre Radical y Ideales Primitivos:
  El artículo establece que el radical de Jacobson es la intersección de todos los ideales primitivos del álgebra. En consecuencia, todo álgebra de Novikov $J$-semisimple es un producto subdirecto de álgebras primitivas.

• Propiedad Hereditaria:
  Se demuestra que el radical de Jacobson de los álgebras de Novikov es hereditario. Esto significa que para cualquier álgebra de Novikov $A$ y cualquier ideal $I \subseteq A$, el radical del ideal coincide con la intersección del radical del álgebra y el ideal: $J(I) = J(A) \cap I$.

• Caso de Dimensión Finita:
  Para los álgebras de Novikov de dimensión finita, el radical de Jacobson coincide con el mayor ideal soluble.

Significado y Reivindicaciones
El artículo afirma proporcionar el primer estudio sistemático de las representaciones derechas para los álgebras de Novikov. Su principal importancia radica en:

1. Extender la teoría estructural de los álgebras de Novikov para incluir la teoría de módulos, abordando específicamente la naturaleza no asociativa de estos álgebras, lo que requiere una definición distinta de ideales modulares respecto a las álgebras asociativas.
2. Establecer una definición robusta del radical de Jacobson para los álgebras de Novikov mediante la intersección de los cuasi-núcleos de las representaciones irreducibles, en lugar de los núcleos simples.
3. Demostrar que la clase de álgebras sin representaciones irreducibles constituye un radical hereditario, integrando así a los álgebras de Novikov en el marco más amplio de la teoría de radicales de Kurosh-Amitsur.
4. Clarificar la relación entre la primitividad y la existencia de representaciones irreducibles casi fieles, de forma análoga a los resultados clásicos en la teoría de álgebras asociativas pero adaptada para la variedad de Novikov.

El autor evita explícitamente afirmar que estos resultados resuelven inmediatamente todas las cuestiones estructurales o que se aplican a las representaciones izquierdas (las cuales pueden diferir debido a la falta de clausura por anti-isomorfismo en la variedad de Novikov). El trabajo se presenta como un paso fundacional en la teoría de representaciones de los álgebras de Novikov.