Ramified and Unramified Motivic Multiple $t$-, $T$- and $S$-Values

Resumo Técnico: Valores Múltiplos $t$-, $T$- e $S$- Motivicos Ramificados e Não Ramificados

Enunciado do Problema
O artigo investiga as propriedades estruturais de variantes específicas de valores zeta múltiplos (MZVs) no nível dois: valores múltiplos $t$, valores múltiplos $T$ (MTVs) e valores múltiplos $S$. Esses valores são definidos restringindo os índices de somatória a padrões de paridade fixos. Uma questão central no campo é determinar quais desses valores são "não ramificados", ou seja, pertencem ao $\mathbb{Q}$-espaço dos MZVs clássicos, versus "ramificados", onde envolvem estruturas mais complexas relacionadas à descendência de Galois das somas de Euler. Especificamente, os autores abordam a conjectura de Kaneko e Tsumura sobre a natureza não ramificada de MTVs de baixa profundidade e buscam classificar as condições de não ramificação para valores múltiplos $S$ e famílias mais amplas de valores múltiplos $t$ (MtVs).

Metodologia
Os autores empregam o arcabouço motivico desenvolvido por Brown e a teoria de descendência de somas de Euler estabelecida por Glanois. A metodologia central envolve:

1. Configuração Motivica: Definir versões motivicas dos valores $t$, $T$ e $S$ ($t^m, T^m, S^m$) como integrais iteradas motivicas.
2. Análise de Derivação: Utilizar a cocação de uma álgebra de Hopf, especificamente as derivações $D_r$, para testar a não ramificação. De acordo com o Teorema 2.1, uma soma de Euler motivica é não ramificada se, e somente se, $D_1$ desaparece e $D_r$ mapeia para o subespaço não ramificado $L_r \otimes H_{w-r}$ para todo $r$ ímpar $< w$.
3. Redução Combinatória: Analisar sistematicamente os "cortes" (subsequências e sequências quocientes) das integrais motivicas. Os autores computam fórmulas explícitas para $D_r$ atuando sobre valores duplos e triplos, frequentemente reduzindo somas complexas a produtos de valores de profundidade inferior ou termos não ramificados conhecidos.
4. Provas Indutivas: Usar indução sobre profundidade e peso para estabelecer a não ramificação de famílias de valores, particularmente aqueles envolvendo componentes unitários (índices iguais a 1).

Contribuições Principais e Resultados

• Classificação de Valores Múltiplos $T$ (Profundidade $\le$ 3):
  O artigo fornece condições necessárias e suficientes para que valores $T$ duplos e triplos motivicos sejam não ramificados (Teorema 1.2).

  • Para profundidade 1: $T^m(k)$ é não ramificado se, e somente se, $k \ge 2$.
  • Para profundidade 2: $T^m(k, l)$ é não ramificado se, e somente se, $k \ge 1, l \ge 2$ e $k+l$ é ímpar.
  • Para profundidade 3: Os autores provam que $T^m(k)$ é não ramificado apenas em casos específicos, incluindo $(1,1,2), (1,1,3), (1,2,2)$ e famílias onde a paridade do peso e os padrões de paridade dos índices se alinham (ex: $(O_{>1}, E, O_{>1})$ para peso par).
  • Significância: Assumindo a conjectura de períodos de Grothendieck, estes resultados confirmam a conjectura de Kaneko e Tsumura para MTVs de profundidade menor que quatro, estabelecendo que as condições anteriormente conhecidas como suficientes também são necessárias.

• Classificação de Valores Múltiplos $S$ (Profundidade $\le$ 3):
  De forma semelhante aos MTVs, os autores derivam condições necessárias e suficientes para que valores múltiplos $S$ motivicos sejam não ramificados (Teorema 1.4).

  • Para profundidade 2: $S^m(k, l)$ é não ramificado se, e somente se, $k, l \ge 2$ e $k+l$ é ímpar.
  • Para profundidade 3: Casos não ramificados incluem $(O_{>1}, O, E)$, $(O_{>1}, E, O_{>1})$ e $(E, 1, E)$ sob restrições de paridade específicas.
  • O artigo prova que $S^m(1, l)$ e $S^m(k, 1)$ são geralmente ramificados.

• Generalização de Valores Múltiplos $t$ Não Ramificados:
  Estendendo o trabalho anterior de Murakami e Charlton, o artigo identifica novas famílias de valores múltiplos $t$ motivicos não ramificados que contêm componentes unitários (Teorema 1.6).

  • Novas famílias incluem padrões como $t(\{2n\}^e, 1, q)$, $t(2n, 2m, 2n, 1, q)$ e $t(2, 1, 3, 2, 1, q)$, onde $q$ consiste de componentes $\ge 2$.
  • As provas baseiam-se em mostrar que as contribuições ramificadas das derivações $D_r$ se cancelam devido a relações algébricas específicas entre os componentes.

• Identificação de Famílias Ramificadas:
  O artigo identifica uma família de MtVs motivicos ramificados que não começam nem terminam com um componente unitário (Teorema 1.7). Especificamente, $t^m(k_1, \dots, k_\ell)$ é ramificado se houver um componente unitário único $k_n=1$ (com $n$ não nas extremidades), precedido por um componente ímpar $k_j \ge 3$ e componentes pares no restante.

Significância e Problemas Abertos
O artigo afirma confirmar parcialmente a conjectura de Kaneko-Tsumura sobre MTVs ao provar a necessidade de suas condições para profundidades até três no nível motivico. Ele também generaliza a compreensão de MtVs não ramificados, indo além dos casos onde todos os componentes são $\ge 2$ para incluir configurações específicas com componentes unitários.

Os autores concluem notando uma anomalia numérica: $S(2, 1, 1, 1, 4)$ parece ser o único valor múltiplo $S$ não ramificado de profundidade maior que três para pesos até 15. Isso leva a vários problemas abertos (Problema 10.2), incluindo se $S(2, 1, 1, 1, 4)$ é o único valor $S$ não ramificado de alta profundidade, se existem valores $T$ não ramificados para profundidade $>4$, e se as famílias identificadas de valores múltiplos $t$ não ramificados são exaustivas. O artigo sugere que a existência de valores $S$ não ramificados de alta profundidade justifica uma investigação mais aprofundada sobre se a conjectura de Kaneko-Tsumura se mantém para profundidades maiores.