PROJETO PUB 2023:

IDENTIDADES POLINOMIAIS E IMAGEM DE POLINÔMIOS

DE MATRIZES TRIANGULARES SUPERIORES DE ORDEM 3

1. Dados do Projeto

Projeto submetido ao PUB 2023.

Tı́tulo: Identidades polinomiais e imagem de polinômios de matrizes trian-

gulares superiores de ordem 3
Responsável: Felipe Yukihide Yasumura (IME-USP)
Instituto: IME-USP
Vertente: Pesquisa
Palavras-chave: Imagem de polinômio, Identidade polinomial, Conjectura
de L’vov-Kaplansky

2. Resumo

A teoria de álgebras satisfazendo identidades polinomiais é uma teoria bas-

tante consolidada e que recebeu a atenção de diversos pesquisadores da área.
Hoje, existem diversas obras que compilam os principais resultados e ferramen-
tas desenvolvidas nas últimas décadas. Entretanto, para responder as principais
perguntas da área, diversas ferramentas foram construı́das e desenvolvidas. Por
outro lado, a teoria de imagem de polinômios não-comutativos substituı́dos em
álgebras (em especial, álgebra de matrizes) é uma teoria relativamente nova, com
muitas relações a se explorar e descobrir. Ambas as teorias possuem motivações
e estudos nas suas contrapartidas em grupos. Entretanto, artigos recentes que
concernem esta última teoria têm mostrado que as ferramentas da teoria de PI-
álgebras podem ser aplicadas para provar teoremas sobre a imagem de polinômios.
1
2 PROJETO PUB 2023

Portanto, o objetivo deste projeto é introduzir a(o) aluna(o) às mencionadas teo-
rias, apresentando as ferramentas de PI-álgebras necessárias para estudar imagem
de polinômios, via o estudo de um artigo recente sobre a classificação da imagem
de polinômio em matrizes triangulares superiores de ordem 3.

3. Introdução e Justificativa

A teoria de álgebras satisfazendo identidades polinomiais (ou, simplesmente

PI-álgebras) foi bastante desenvolvida ao longo das últimas décadas, conforme
evidencia algumas obras, por exemplo, [Dr00, GZ05, Bah87, Raz94]. O cresci-
mento da teoria foi motivada graças a diversos problemas difı́ceis, e perguntas e
teoremas interessantes. Vale ressaltar que, originalmente, os problemas e os es-
tudos concerniam o contexto de grupos, entretanto, mais e mais pesquisadores
começaram a se interessar e dedicar para os problemas análogos em álgebras.
Uma identidade polinomial é uma relação polinomial satisfeita por todos os el-
ementos de uma álgebra. Por exemplo, uma álgebra é comutativa se e somente se
satisfaz x1 x2 − x2 x1 = 0. Um dos problemas mais famosos da teoria, um dos prin-
cipais responsáveis por seu desenvolvimento, é o problema de Specht. O mesmo
pergunta se uma variedade de álgebras pode ser descrita via uma quantidade
finita de identidades polinomiais. Uma das teorias mais impressionantes da área
é devido a Kemer ([Km91], veja também o artigo [AljK-BK15]). Uma de suas
consequências é que qualquer variedade de álgebras associativas definidas sobre
um corpo de caracterı́stica zero pode ser descrita por uma quantidade finita de
identidades polinomiais, ou seja, responde em positivo o problema de Spech neste
contexto. Por outro lado, existem variedades de álgebras não-associativas que não
podem ser descritas por uma quantidade finita de identidades polinomiais (veja,
por exemplo, [VL70, Dr74]). O problema no contexto de uma variedade de
álgebras associativas definidas sobre um corpo de caracterı́stica positiva continua
em aberto.
 PROJETO PUB 2023 3

Tudo o que foi mencionado evidencia e justifica a afirmação de que a teoria

de PI-álgebras é consolidada, continua ativa hoje em dia, e recebeu e recebe
muitas contribuições de diversos pesquisadores. Em particular, várias ferramentas
foram desenvolvidas ao aprofundar os estudos nos principais problemas da área
de investigação. Pode-se citar também as obras de Bahturin [Bah87], Razmyslov
[Raz94] e Procesi [Pr] como referências de compilados de diversos teoremas da
área, que não foram mencionados aqui.
Numa outra direção, em princı́pio não conectada com a teoria anterior, estuda-
se a imagem de um polinômio multilinear não-comutativo substituı́do em uma
álgebra de matriz Mn (F), em que F é um corpo qualquer. Mais precisamente,
sejam F um corpo e f = f (x1 , . . . , xm ) ∈ F⟨X⟩ um polinômio (associativo e não-
comutativo) multilinear. Define-se a imagem de f substituı́do em matrizes n × n
por

Im f = f (Mn (F)) = {f (a1 , . . . , am ) | a1 , . . . , am ∈ Mn (F)} .

Na obra que contempla um compilado de problemas em álgebra interessantes e

em aberto [Dn], L’vov pergunta se a imagem de um polinômio multilinear sub-
stituı́do por matrizes é um subespaço vetorial. Tal pergunta também é atribuı́da
a Kaplansky. No caso de uma resposta positiva, sabe-se que a imagem Im f do
polinômio multilinear f será um ideal de Lie. A álgebra de matrizes admite so-
mente 4 ideias de Lie, são eles: 0, F (ou seja, o conjunto das matrizes múltiplas
da identidade), sln (F) (o conjunto das matrizes de traço nulo) e Mn (F). Por-
tanto, a conjectura de L’vov-Kaplansky pode ser enunciada da seguinte forma: a
imagem de um polinômio multilinear (não-comutativo) substituı́do em Mn (F) é
0, F, sln (F) ou Mn (F). Em paralelo, um problema análogo na teoria de grupos é
investigado.
A imagem de polinômio está relacionado com a teoria de PI-álgebras no seguinte
sentido: se Im f = 0, então f é uma identidade polinomial de Mn (F), e se Im f =
4 PROJETO PUB 2023

F, então f é um polinômio central. Assim, tal estudo intersecta diretamente

outras áreas de matemática, e em especial, a área de PI-álgebras.
Em princı́pio, um dos primeiros artigos relacionados ao estudo de imagem
de polinômios (mesmo que não focado em responder à conjectura de L’vov-
Kaplansky) é o artigo de [Sh36]. Nele, o autor prova que a imagem do polinômio
comutador [x1 , x2 ] = x1 x2 − x2 x1 é sln (F), em que F é um corpo de caracterı́stica
zero. Alguns anos depois, em [AM57], os autores estenderam o resultado anterior
para corpos quaisquer. Portanto, a conjectura de L’vov-Kaplansky é verdadeira
se tomarmos o caso particular de f = [x1 , x2 ].
Mais recentemente, Kanel-Belov, Malev e Rowen dedicaram um artigo para at-
acar a Conjectura de L’vov-Kaplansky [K-BSR12]. No mesmo, mostrou-se que
a linguagem de topologia (e, em especial, o uso de grupos e geometria algébrica)
é adequada, além de útil, para abordar o problema. Nesse artigo, podendo ser
considerado o marco inicial da teoria, os autores respondem em positivo o prob-
lema de L’vov, mas restringindo às matrizes 2 × 2 e fixando restrições sobre o
corpo base. Além disso, os autores investigam também a imagem de uma classe
maior de polinômios (ou seja, não necessariamente multilineares), listando suas
possı́veis imagens.
Em seguida, várias outras contribuições apareceram. Por um lado, os mesmos
autores [K-BSR16] investigaram a conjectura no contexto de matrizes 3 × 3,
obtendo resultados parciais. Numa outra direção, variações da conjectura de
L’vov-Kaplansky começaram a ser investigadas, em que troca-se a álgebra Mn (F)
para alguma outra álgebra não-associativa simples (veja, dentre diversos exemplos
na literatura, [AEV15, MaOl16, Sp13]). Vários resultados positivos foram
obtidos, em que a dimensão da álgebra é baixa, ou limita-se o grau de polinômio,
ou trabalha-se com uma álgebra com uma estrutura favorável. Mas, num contexto
extenso e geral, parece ainda longe de se obter bons resultados positivos, ou
contra-exemplos satisfatórios.
 PROJETO PUB 2023 5

Numa outra direção que soa promissor, propõe-se também o estudo da conjec-
tura no contexto de álgebras não-simples. O artigo [F19] caracteriza a imagem
de polinômios substituı́dos na álgebra das matrizes estritamente triangulares su-
periores. Já em [FMe18], os autores investigaram a imagem da álgebra das
matrizes triangulares superiores substituı́do em polinômios multilineares de grau
baixo. Nos últimos dois artigos, as técnicas envolvidas são essencialmente contas
elementares, porém inteligentes. No meio tempo, houve mais autores estudando
a imagem de polinômios multilineares substituı́dos por matrizes triangulares su-
periores, mas nos limitamos a citar os artigos [Me21, GMe22]. Na primeira,
investiga-se a imagem das matrizes triangulares superiores de ordem 3, e na se-
gunda, completa-se a caracterização, trabalhando com as matrizes triangulares
n×n. O resultado principal de [GMe22] é o seguinte: denote por J = J(UTn (F))
o radical de Jacobson de UTn (F) (ou seja, o conjunto das matrizes estritamente
triangulares superiores). Dado um polinômio multilinear f , f (UTn ) = J ℓ , para
algum ℓ ∈ N. Nestes últimos artigos, aparece explicitamente o uso de ferramentas
da teoria de PI-álgebra para estudar a imagem de polinômios. Mais precisamente,
um passo fundamental é utilizar uma base da álgebra relativamente livre da var-
iedade gerada por UTn (F) (em que F é um corpo infinito).
Evidenciada a importância da teoria de imagem de polinômios e identidades
polinomiais, além da sua mútua conexão, este projeto tem por objetivo a ini-
ciação da(o) aluna(o) nessas duas áreas de pesquisa. Para isso, o objetivo será o
entendimento completo do artigo recente [MeRo], que concerne a caracterização
da imagem de polinômios a 1 variável substituı́da em matrizes 3 × 3. Para isso,
a(o) aluna(o) deverá estudar diversos pré-requisitos, que incluem a parte estrutu-
ral de teoria de anéis e álgebras, e álgebras satisfazendo identidades polinomiais
e construções relacionadas.
6 PROJETO PUB 2023

4. Objetivos

O objetivo deste projeto é introduzir a(o) aluna(o) na área de pesquisa de

imagem de polinômios, em especial, utilizando técnicas da teoria de álgebras
satisfazendo identidades polinomiais. Para isso, o objetivo final é o entendimento
do artigo recente [MeRo].
Para atingir tal objetivo, a(o) aluna(o) deverá aprofundar seus estudos envol-
vendo a teoria de anéis e álgebras e teoria de álgebras satisfazendo identidades
polinomiais. Será utilizado a referência [Br19] para tal. Adquirido uma boa
base com respeito a essas teorias, a(o) aluna(o) deverá iniciar os estudos gerais
com respeito a teoria de identidades polinomiais (referência [Dr00]) e imagem de
polinômios, sua conexão com a teoria de PI-álgebras, e estudar o desenvolvimento
especı́fico da teoria apresentada no artigo [MeRo].
Complementando o desenvolvimento da(o) aluna(o), em paralelo ao desenvolvi-
mento deste projeto, visa-se o aperfeiçoamento do uso da ferramenta LATEX em
prol da elaboração de relatórios técnicos para fins de comunicação das suas con-
clusões e resultados para a comunidade cientı́fica.

5. Metodologia e Detalhamento das atividades

A(o) aluna(o) bolsista estudará, seguindo as referências e roteiros apresentados

a seguir, e realizará reuniões semanais (de forma remota ou presencial) com o
supervisor, para apresentar os tópicos estudados, discussão geral e sanar possı́veis
dúvidas e dificuldades.
Utilizaremos a referência [Br19] para estudar os fundamentos da teoria de
anéis e álgebras. Para propriedades mais avançadas da estrutura de álgebras que
eventualmente serão necessárias, utilizaremos a referência [Br14].
A seguir, a(o) candidata(o) deve adquirir os conhecimentos básicos que con-
cernem a teoria de álgebras satisfazendo identidades polinomiais. Para isso, a re-
ferência principal será o livro [Dr00]. Pretende-se entender o conceito de álgebra
 PROJETO PUB 2023 7

livre (e relativamente livre), além de desenvolver suas principais propriedades. Em

especial, o entedimento da álgebra relativamente livre das matrizes triangulares
superiores será de fundamental importância aos objetivos finais deste projeto.
A seguir, focaremos nos estudos especı́ficos que concernem imagem de polinômios.
Para isso, inicialmente o estudo será focado no desenvolvimento histórico e nas
propriedades gerais desenvolvidas no artigo [K-BSR12]. Será relevante enten-
der o artigo [Me21], em que apresenta-se explicitamente uma aplicação do uso
de PI-teoria em imagem de polinômios. Por fim, focaremos o estudo no artigo
[MeRo].

6. Resultados esperados

Todos os resultados deste projeto são em prol do desenvolvimento acadêmico

da(o) aluna(o), e visam a sua iniciação na área de pesquisa de PI-álgebras e
imagem de polinômios. A Matemática pura é uma disciplina conhecida pela
dificuldade em publicação cientı́fica. Portanto, este projeto é um investimento a
longo prazo, e espera-se, com a inclusão de um(a) futuro(a) pesquisador(a) na
área, o retorno via a sua contribuição com o desenvolvimento teórico deste tópico
de pesquisa.

7. Cronograma

O cronograma, dividido nos 12 meses, é descrito a seguir:

8 PROJETO PUB 2023

Mês Atividade
1a3 Estudo da teoria de anéis e álgebras, via [Br19]
4e5 Entendimento de álgebras relativamente livres e teoria
relacionada, via [Dr00]
6 Estudo estrutural de álgebras (Teorema de Wedderburn-
Malcev), em particular, das matrizes triangulares supe-
riores. Referência principal: [Br14]
7 Estudo da álgebra relativamente livre das matrizes tri-
angulares superiores, via [Dr00]
8 Compreensão dos fundamentos da teoria de imagem de
polinômios, apresentados em [K-BSR12]
9 Conexão entre PI-teoria e imagem de polinômios: estudo
do artigo [Me21].
10 e 11 Entendimento completo do artigo [MeRo]
12 Redação do relatório técnico e ajustes finais.

Bibliografia

[Dn] Dniester notebook: unsolved problems in the theory of rings and modules, Non-
associative algebra and its applications, Lect. Notes Pure Appl. Math., vol. 246,
Chapman & Hall/CRC, Boca Raton, FL, 2006, pp. 461–516. Translated from the
1993 Russian edition by Murray R. Bremner and Mikhail V. Kochetov and edited
by V. T. Filippov, V. K. Kharchenko and I. P. Shestakov.
[AM57] A. Albert, B. Muckenhoupt, On matrices of trace zeros, The Michigan Mathematical
Journal 4 (1957), 1–3.
[AljK-BK15] E. Aljadeff, A. Kanel-Belov, Y. Karasik, Kemer’s theorem for affine PI-algebras
over a field of characteristc zero, Journal of Pure and Applied Algebra 220 (2016),
2771–2808.
[AEV15] B. Anzis, Z. Emrich, K. Valiveti, On the images of Lie polynomials evaluated on Lie
algebras, Linear Algebra and its Applications 469 (2015), 51–75.
 PROJETO PUB 2023 9

[Bah87] Y. Bahturin, 1987. Identical relations in Lie algebras. Translated from the Russian
by Bahturin. VNU Science Press, b.v., Utrecht.
[Br14] M. Brešar, Introduction to noncommutative algebra. Universitext. Springer, Cham,
2014.
[Br19] M. Brešar, Undergraduate algebra. A unified approach. Springer Undergraduate
Mathematics Series. Springer, Cham, 2019.
[Dr74] V. Drensky, Identities in Lie algebras (Russian), Algebra i Logika 13 (1974), 265–
290. Translation: Algebra and Logic 13 (1974), 150–165.
[Dr00] V. Drensky, Free algebras and PI-algebras. Graduate course in algebra., Springer-
Verlag Singapore, Singapore, 2000.
[FMe18] P. Fagundes, T. de Mello, Images of multilinear polynomials of degree up to four on
upper triangular matrices, Operators and Matrices 13 (2019), 283–292.
[F19] P. Fagundes, The images of multilinear polynomials on strictly upper triangular ma-
trices, Linear Algebra and its Applications 563 (2019), 287–301.
[GMe22] I. Gargate, T. de Mello, Images of multilinear polynomials on n × n upper triangular
matrices over infinite fields, Israel Journal of Mathematics (to appear)
[GZ05] A. Giambruno, M. Zaicev, 2005. Polynomial identities and asymptotic methods (No.
122). American Mathematical Society, Providence, RI.
[K-BSR12] A. Kanel-Belov, S. Malev, L. Rowen, The images of non-commutative polynomials
evaluated on 2 × 2 matrices, Proceedings of the American Mathematical Society 140
(2012), 465–478.
[K-BSR16] A. Kanel-Belov, S. Malev, L. Rowen, The images of multilinear polynomials eval-
uated on 3 × 3 matrices, Proceedings of the American Mathematical Society 144
(2016), 7–19.
[Km91] A. Kemer, Ideal of Identities of Associative Algebras, Translations of Mathematical
Monographs, vol. 87, American Mathematical Society, 1991.
[MaOl16] A. Ma, J. Oliva, On the images of Jordan polynomials evaluated over symmetric
matrices, Linear Algebra and its Applications 492 (2016), 13–25.
[Me21] T. de Mello, The image of multilinear polynomials evaluated on 3 × 3 upper trian-
gular matrices, Communications in Mathematics 29 (2021), 183–186.
[MeRo] T. de Mello, D. Rodrigues, The image of polynomials in one variable on the algebra
of 3 × 3 upper triangular matrices, to appear.
10 PROJETO PUB 2023

[Pr] C. Procesi, Rings with polynomial identities, Pure and Applied Mathematics, 17,
Marcel Dekker, Inc., New York, 1973.
[Raz94] I. P. Razmyslov, Identities of algebras and their representations, No. 138. American
Mathematical Society (1994).
[Sh36] V. Shoda, Einige Sätze über Matrizen, In Japanese journal of mathematics: trans-
actions and abstracts 13 (1936), 361–365.
[Sp13] Š. Špenko, On the image of a noncommutative polynomial, Journal of Algebra 377
(2013), 298–311.
[VL70] M. R. Vaughan-Lee, Varieties of Lie algebras, Quart. J. Math. Oxford Ser. (2) 21
(1970), 297–308.