Polylogarithmic motivic Chabauty-Kim for $\mathbb{P}^1 \setminus \{ 0,1,\infty \}$: the geometric step via resultants

Resumo Técnico: Chabauty–Kim Polilogarítmico Motivico para $\mathbb{P}^1 \setminus \{0, 1, \infty\}$: O Passo Geométrico via Resultantes

1. Enunciado do Problema
O artigo aborda a determinação explícita do conjunto de pontos $S$-integrais $X(\mathbb{Z}_S)$ na reta projetiva trincada $X = \mathbb{P}^1 \setminus \{0, 1, \infty\}$, onde $S$ é um conjunto finito de primos. Pelo teorema de Siegel, este conjunto é finito e equivalente às soluções da equação de $S$-unidades $a + b = 1$ com $a, b \in \mathbb{Z}_S^\times$.

Os autores focam no método de Chabauty–Kim polilogarítmico motivico, um refinamento do programa de Chabauty–Kim não abeliano de Kim. Este método constrói uma sequência aninhada de conjuntos que convergem para $X(\mathbb{Z}_S)$:
$$X(\mathbb{Z}_p) \supseteq X(\mathbb{Z}_p)^{PL}_{S,1} \supseteq X(\mathbb{Z}_p)^{PL}_{S,2} \supseteq \dots \supseteq X(\mathbb{Z}_S)$$
onde $X(\mathbb{Z}_p)^{PL}_{S,d}$ é o lugar de desaparecimento de polinômios específicos em polilogaritmos simples $p$-ádicos.

O cálculo desses conjuntos é dividido em dois passos:

1. Passo Geométrico: Encontrar elementos não triviais no núcleo de um mapa de cociclo específico $\theta^\#$, que define funções "Chabauty–Kim motivicas". Estas são polinômios em um anel ponderado envolvendo polilogaritmos de de Rham unipotentes ($\log_u, \text{Li}_n$) com coeficientes na álgebra de embaralhamento (shuffle algebra) $\mathcal{O}(U_S)$ do grupo fundamental de Tate misto pró-unipotente.
2. Passo Aritmético: Avaliar essas funções sob o mapa de período $p$-ádico para obter funções $p$-ádicas cujos lugares de zeros aproximam $X(\mathbb{Z}_S)$.

Embora o passo geométrico tenha sido resolvido para $|S|=1$ em profundidade $d \le 4$, ele torna-se computacionalmente intratável para $|S| \ge 2$ usando métodos anteriores. O artigo visa especificamente o caso $|S|=2$, buscando construir funções de Chabauty–Kim motivicas explícitas em profundidades superiores a 4.

2. Metodologia
Os autores propõem uma abordagem inovadora para o passo geométrico que evita o cálculo direto do núcleo de uma matriz massiva sobre um anel de polinômios, uma tarefa que eles demonstram ser inviável para $|S|=2$, mesmo com supercomputadores.

• Modelo de Coordenadas: O esquema de Selmer é modelado afinamente usando coordenadas não canônicas. O mapa $\theta^\#$ é expresso como um homomorfismo de álgebras graduadas:
  $$\theta^\#: \mathcal{O}(U_S)[\log_u, \text{Li}_1, \dots, \text{Li}_d] \to \mathcal{O}(U_S)[\Phi]$$
  O objetivo é encontrar elementos não nulos no núcleo deste mapa restrito a graus específicos.

• Algoritmo de Limite Superior: Para estabelecer resultados de não existência para baixos graus, os autores implementam um algoritmo que avalia a representação matricial de $\theta^\#_{d,v}$ em pontos inteiros aleatórios no anel de coeficientes. Pela Proposição 5.5, se a dimensão do núcleo for zero para uma avaliação genérica, o núcleo sobre o anel de polinômios é trivial. Isso permite que eles provem a não existência de tais funções para graus $v < 18$ quando $|S|=2$.

• Método de Resultantes: Para construir funções onde elas existem, os autores introduzem um método baseado em resultantes.

  1. Eles analisam as equações que definem $\theta^\#$ para $|S|=2$ (onde $\Sigma_{-1} = \{\tau_p, \tau_q\}$).
  2. Realizam um processo de eliminação para expressar as variáveis $\Phi_{\sigma_{2n-1}}$ e $\Phi_{\tau_{e_1}}$ em termos de $\Phi_{\tau_{e_0}}$ e das imagens dos polilogaritmos.
  3. Esta redução produz duas equações polinomiais, $P_4(X)$ e $P_6(X)$, em uma única variável $X = \Phi_{\tau_p}^{e_0}$, onde $P_k(X) = \theta^\#(\nu_k(X))$.
  4. Como esses polinômios compartilham uma raiz comum ($\Phi_{\tau_p}^{e_0}$), seu resultante deve desaparecer: $\text{Res}(P_4, P_6) = 0$.
  5. Como $\theta^\#$ é um homomorfismo, $\text{Res}(\nu_4, \nu_6)$ reside no núcleo de $\theta^\#$. Os autores computam explicitamente os polinômios $\nu_4(X)$ e $\nu_6(X)$ e seu resultante.

3. Contribuições Principais e Resultados
O artigo fornece a primeira construção explícita de funções de Chabauty–Kim motivicas para $|S| \ge 2$ em profundidade $d > 4$.

• Não Existência em Baixos Graus: Usando seu algoritmo de limite superior, os autores provam que, para $|S|=2$, não existem funções de Chabauty–Kim motivicas não triviais de grau inferior a 18.
• Profundidade e Grau Ótimos: Eles provam que a menor profundidade na qual uma função não trivial existe é a profundidade 6, e o grau mínimo é 18.
• Construção Explícita: Eles constroem uma função não trivial específica, denotada por $F^{|2|}_{6,18}$, de profundidade 6 e grau 18.
  • Esta função é derivada do resultante $\text{Res}(\nu_4(X), \nu_6(X))$.
  • O resultante é mostrado para fatorar como $(\log_u)^6 (\text{Li}_2 - \frac{1}{2}\log_u \text{Li}_1) F^{|2|}_{6,18}$.
  • O fator $(\text{Li}_2 - \frac{1}{2}\log_u \text{Li}_1)$ corresponde à solução conhecida para $|S|=1$, enquanto $F^{|2|}_{6,18}$ é o novo componente não trivial específico para $|S|=2$.
• Unicidade: Eles provam que qualquer outra função de Chabauty–Kim motivica de profundidade $<19$ e grau 18 é um múltiplo de $F^{|2|}_{6,18}$ por um elemento de $\mathcal{O}(U_S)$.
• Existência Surpreendente: Os autores destacam que a existência de $F^{|2|}_{6,18}$ não é garantida por uma simples contagem de dimensões (a dimensão do domínio 996 é menor que a dimensão do codomínio 4183 nesta profundidade/grau), sugerindo novos fenômenos na teoria não visíveis no caso $|S|=1$.

4. Significância e Alegações
O artigo afirma ser o primeiro trabalho a abordar o Chabauty–Kim explícito em profundidade $>4$ para $|S| \ge 2$.

• Avanço Algorítmico: Transforma o passo geométrico de um problema de álgebra linear de força bruta (inviável para $|S| \ge 2$) em um problema gerenciável de teoria de eliminação usando resultantes.
• Insight Teórico: A construção revela que os coeficientes dessas funções, embora garantidos para residir na subálgebra de Goncharov, podem exigir termos individuais que não estão nessa subálgebra, oferecendo pistas sobre a estrutura do passo aritmético.
• Generalização: Os autores delineiam uma estratégia para estender o método de resultantes para $|S| > 2$ ao tomar resultantes iterativamente para eliminar variáveis, embora notem que verificar a não trivialidade torna-se significativamente mais difícil no caso geral.

O trabalho serve como uma prova de conceito de que o passo geométrico pode ser tornado efetivo para conjuntos $S$ maiores e profundidades maiores, fornecendo as ferramentas necessárias para potencialmente verificar a conjectura de Chabauty–Kim para a equação de $S$-unidades em regimes anteriormente inacessíveis.