$\mathbb T$-homogeneous locally nilpotent derivations of trinomial algebras

Resumo Técnico: Derivações Localmente Nilpotentes T-Homogêneas de Álgebras Trinomiais

Enunciado do Problema
O artigo investiga derivações localmente nilpotentes (DLNs) em álgebras trinomiais, que são álgebras comutativas finitamente geradas definidas por sistemas de relações compatíveis, cada uma sendo um trinômio (um polinômio com três termos). Essas álgebras surgem como anéis de Cox de variedades semiprojetivas racionais normais que admitem uma ação de toro de complexidade um. O problema central é descrever aquelas DLNs que são homogêneas em relação à ação natural do toro $T$ de complexidade um.

Enquanto DLNs homogêneas sob um quasitorus específico $H$ (as derivações "elementares") foram previamente estudadas, este trabalho foca em DLNs $T$-homogêneas, onde $T$ é a componente neutra de $H$. Uma motivação chave é que, para variedades não fatoriais, $T$ é um subgrupo estrito de $H$, permitindo potencialmente DLNs $T$-homogêneas que não são $H$-homogêneas. Além disso, compreender os componentes homogêneos de DLNs é crucial para analisar DLNs arbitrárias, pois os componentes homogêneos correspondentes aos vértices do poliedro de Newton dos graus são garantidamente localmente nilpotentes.

Metodologia
Os autores empregam uma combinação de técnicas algébricas e estratégias de redução geométrica:

1. Decomposição Algébrica e Coprimalidade: A análise baseia-se fortemente nas propriedades da graduação pelo grupo de caracteres de $T$. Os autores utilizam o fato de que as variáveis em álgebras trinomiais são coprimas duas a duas e de que o núcleo de uma DLN é fechado fatorialmente. Eles decompõem as derivações com base em quais variáveis elas anulam, distinguindo entre derivações que atuam nas variáveis "trinomiais" ($T_{ij}$) e nas variáveis "livres" ($S_k$).
2. Redução a Casos Superficiais: Para álgebras trinomiais do Tipo 2 (definidas por relações envolvendo vetores em $k^2$), os autores reduzem o problema de descrever DLNs em uma variedade arbitrária de alta dimensão ao caso de superfícies trinomiais. Isso é alcançado considerando o fecho algébrico do corpo gerado pelas variáveis não envolvidas no suporte específico da derivação.
3. Geometria Combinatória e Torica: Para os casos superficiais, o artigo utiliza a descrição combinatória de DLNs homogêneas em variedades com ações de toro.
   • Para certos casos (por exemplo, $x^2 + y^2 + z^\gamma = 0$ com $\gamma > 2$), a variedade está relacionada a uma variedade torica, permitindo o uso de raízes de Demazure para classificar DLNs homogêneas.
   • Para o caso $x^2 + y^2 + z^2 = 0$, onde a variedade não é torica no sentido padrão em relação ao toro atuante, os autores aplicam a teoria de divisores poliedrais próprios em curvas semiprojetivas (especificamente $\mathbb{P}^1$) para classificar DLNs de tipo horizontal.
4. Construção Explícita: O artigo constrói fórmulas explícitas para essas derivações elevando soluções do nível superficial de volta à álgebra trinomial geral, garantindo que os mapas resultantes sejam bem definidos na álgebra quociente.

Principais Contribuições e Resultados

O artigo distingue dois tipos de álgebras trinomiais, definidos pela estrutura de suas relações:

1. Álgebras Trinomiais do Tipo 1:
Definidas por relações da forma $T_i^{l_i} - T_{i+1}^{l_{i+1}} - (a_{i+1} - a_i) = 0$.

• Classificação: Os autores provam que qualquer DLN $T$-homogênea em uma álgebra do Tipo 1 é uma "réplica" (um múltiplo escalar por um elemento no núcleo) de uma DLN "elementar" ou de uma derivada parcial em relação a uma variável livre $S_k$.
• Fórmulas Explícitas: Eles fornecem fórmulas explícitas para essas derivações (Teorema 2.2), mostrando que são determinadas por uma tupla de índices $C = (c_1, \dots, c_r)$ onde expoentes específicos são iguais a 1.
• Rigidez e Semirigidez: O artigo fornece uma nova prova do critério de rigidez (Corolário 2.4) e estabelece um critério de semirigidez (Corolário 3.2). Uma álgebra é semirígida se todas as DLNs não nulas forem equivalentes (compartilharem o mesmo núcleo). Os critérios dependem da existência de variáveis livres e dos expoentes específicos nas relações.

2. Álgebras Trinomiais do Tipo 2:
Definidas por relações que exigem a dependência linear das colunas em uma matriz envolvendo monômios e vetores em $k^2$.

• Classes de Equivalência: O Teorema 4.1 descreve as classes de equivalência de DLNs $T$-homogêneas. Diferentemente do Tipo 1, as álgebras do Tipo 2 admitem DLNs $T$-homogêneas que não são réplicas das elementares.
• Famílias Infinitas: Os autores identificam condições sob as quais uma única tupla $C$ corresponde a uma família infinita de classes de equivalência de DLNs (por exemplo, quando certas condições de divisibilidade nos expoentes são atendidas).
• Fórmulas Explícitas para Relações Únicas: Para álgebras definidas por uma única relação trinomial $T_0^{l_0} + T_1^{l_1} + T_2^{l_2} = 0$, o Teorema 4.4 e a Construção 4.3 fornecem fórmulas explícitas para todas as DLNs $T$-homogêneas. Estas incluem casos envolvendo coeficientes complexos (raízes da unidade) e condições específicas de paridade nos expoentes.
• Semirigidez: Um critério de semirigidez é derivado (Corolário 4.2), mostrando que as álgebras do Tipo 2 são semirígidas se e somente se forem rígidas ou reduzirem-se a uma álgebra rígida após a remoção de uma única variável livre.

Significado
O artigo reivindica significado em várias áreas:

• Extensão do Trabalho Anterior: Generaliza o estudo de DLNs homogêneas do caso "elementar" $H$-homogêneo para o caso mais amplo $T$-homogêneo, revelando novas derivações que existem especificamente no cenário não fatorial.
• Insight Estrutural: Ao fornecer fórmulas explícitas e teoremas de classificação, o trabalho esclarece a estrutura dos grupos de automorfismos (especificamente os subgrupos $\mathbb{G}_a$) de variedades trinomiais.
• Utilidade Metodológica: A técnica de redução, que mapeia o problema em variedades trinomiais de alta dimensão para superfícies trinomiais, oferece uma ferramenta poderosa para analisar DLNs em álgebras complexas sem recorrer à complexidade total de divisores poliedrais multidimensionais para cada caso.
• Critérios de Rigidez: Os resultados oferecem critérios refinados para determinar quando essas álgebras são rígidas (não admitem DLNs não nulas) ou semirígidas, que são propriedades fundamentais no estudo de variedades algébricas e suas simetrias.

Os autores enfatizam que suas provas para o Tipo 2 dependem da descrição combinatória de DLNs em ações de toro de complexidade um, fechando a lacuna entre a geometria torica abstrata e os cálculos algébricos explícitos em variedades trinomiais.