Right representations of Novikov algebras

Resumo Técnico: Representações à Direita de Álgebras de Novikov

Enunciado do Problema
O artigo aborda uma lacuna na teoria estrutural das álgebras de Novikov: a falta de uma teoria desenvolvida para módulos e representações à direita. Embora a teoria das álgebras de Novikov de dimensão finita (incluindo classificações de álgebras simples e semissimples sobre corpos de característica 0 e $p>0$) e o estudo de bimodulos sobre álgebras simples tenham sido estabelecidos por autores como Zel'manov, Osborn e Xu, os conceitos específicos de representações à direita e módulos à direita para arbitrarias álgebras de Novikov não haviam sido investigados anteriormente. O autor visa estabelecer os fundamentos da teoria de representação à direita, definir representações irredutíveis e caracterizar o radical de Jacobson neste contexto.

Metodologia
O estudo é conduzido sobre um corpo $F$ de característica diferente de 2. A metodologia baseia-se nas seguintes abordagens estruturais:

1. Definição de Representações à Direita: Seguindo o arcabouço de Slinko e Shestakov para variedades gerais de álgebras, o autor define uma representação à direita $\rho: A \to \text{End}(V)$ via identidades $R$ (identidades do operador de multiplicação à direita). Isso leva à definição de um módulo à direita $A$ satisfazendo identidades específicas derivadas dos axiomas de Novikov: $(ma)b = (mb)a$e$(m, a, b)c = (mc, a, b) = (m, ac, b)$.
2. Classificação de Módulos Irredutíveis: O artigo analisa módulos irredutíveis distinguindo entre os casos associativos e não associativos. Utiliza-se o conceito de quase-núcleo $K_\rho(A)$, definido como o maior ideal de $A$ contido no núcleo da representação $\rho$.
3. Ideais Modulares: O autor introduz o conceito de um ideal modular à direita. Um ideal à direita $I \neq A$ é modular se:
   • Existirem $e, f \in A$ tais que $a - (a, e, f) \in I$ para todo $a \in A$ (o caso não associativo); ou
   • $I$ é um ideal bilateral tal que $A/I$ é uma álgebra comutativa com unidade (o caso associativo).
4. Teoria do Radical: O artigo emprega a estrutura da teoria do radical de Kurosh-Amitsur para definir uma classe de radical $\mathcal{J}$ consistindo em álgebras de Novikov que não possuem módulos irredutíveis.

Principais Contribuições e Resultados

• Descrição de Representações Irredutíveis:
  O artigo prova que toda representação à direita irredutível de uma álgebra de Novikov $A$ é isomórfica a um módulo quociente $A/I$, onde $I$ é um ideal modular à direita maximal. Especificamente:

  • Se o módulo for associativo, $I$ é um ideal bilateral maximal, e $A/I$ é um corpo.
  • Se o módulo for não associativo, $I$ é um ideal à direita maximal, e existem elementos $e, f \in A$ tais que $a - (a, e, f) \in I$ para todo $a \in A$.
  • O artigo fornece um exemplo (baseado no trabalho de Osborn) de uma álgebra de Novikov simples de dimensão finita que possui um módulo irredutível não associativo, demonstrando que a estrutura difere significativamente das álgebras associativas ou alternativas.

• O Radical de Jacobson:
  O autor define o radical de Jacobson $J(A)$ de uma álgebra de Novikov como a classe $\mathcal{J}$ de álgebras que não possuem representações irredutíveis.

  • Teorema: A classe $\mathcal{J}$ é uma classe de radical (satisfazendo as condições de imagens homomórficas, extensões e uniões de cadeias).
  • Caracterização: O radical de Jacobson $J(A)$ é provado ser a interseção dos quase-núcleos de todas as representações irredutíveis de $A$.
  • Distinção de Casos Clássicos: O artigo observa que, diferentemente das álgebras associativas, a interseção dos núcleos (não dos quase-núcleos) das representações irredutíveis não precisa ser um ideal, nem necessariamente coincide com o radical.

• Álgebras Primitivas:
  Uma álgebra de Novikov é definida como primitiva se possuir um ideal modular à direita maximal que não contém ideais bilaterais não nulos.

  • Equivalência: Uma álgebra de Novikov é primitiva se, e somente se, possui uma representação irredutível quase-fiel (onde o quase-núcleo é zero).
  • Estrutura: Toda álgebra de Novikov primitiva é prima.

• Relacionamento entre Radical e Ideais Primitivos:
  O artigo estabelece que o radical de Jacobson é a interseção de todos os ideais primitivos da álgebra. Consequentemente, toda álgebra de Novikov $J$-semissimples é um produto subdireto de álgebras primitivas.

• Propriedade Hereditária:
  O radical de Jacobson das álgebras de Novikov é provado ser hereditário. Isso significa que, para qualquer álgebra de Novikov $A$ e qualquer ideal $I \subseteq A$, o radical do ideal coincide com a interseção do radical da álgebra e o ideal: $J(I) = J(A) \cap I$.

• Caso de Dimensão Finita:
  Para álgebras de Novikov de dimensão finita, o radical de Jacobson coincide com o maior ideal solúvel.

Significância e Alegações
O artigo alega fornecer o primeiro estudo sistemático das representações à direita para álgebras de Novikov. Sua principal significância reside em:

1. Estender a teoria estrutural das álgebras de Novikov para incluir a teoria de módulos, especificamente abordando a natureza não associativa destas álgebras, o que exige uma definição distinta de ideais modulares em comparação com as álgebras associativas.
2. Estabelecer uma definição robusta para o radical de Jacobson de álgebras de Novikov via interseção dos quase-núcleos de representações irredutíveis, em vez de simples núcleos.
3. Provar que a classe de álgebras sem representações irredutíveis forma um radical hereditário, integrando assim as álgebras de Novikov ao arcabouço mais amplo da teoria do radical de Kurosh-Amitsur.
4. Esclarecer a relação entre primitividade e a existência de representações irredutíveis quase-féis, de forma análoga aos resultados clássicos na teoria das álgebras associativas, mas adaptada para a variedade de Novikov.

O autor explicitamente evita alegar que estes resultados resolvem imediatamente todas as questões estruturais ou que se aplicam às representações à esquerda (que podem diferir devido à falta de fechamento por anti-isomorfismo na variedade de Novikov). O trabalho é apresentado como um passo fundamental na teoria de representação das álgebras de Novikov.