The exceptional locus of a motivic local system

1. Problema e Motivação

O artigo aborda a questão fundamental de como a "complexidade" das fibras (estalks) de um sistema local varia ao longo de uma variedade algébrica complexa suave e conexa $X$.

• Contexto Clássico (Hodge): Para variações de estruturas de Hodge mistas (VHS) de origem geométrica, o Lugar de Hodge (Hodge locus) é definido como o conjunto de pontos onde a fibra admite mais tensores de Hodge do que uma fibra "geralmente" (very general). O teorema seminal de Cattani–Deligne–Kaplan (1995) estabelece que este lugar é uma união contável de subvariedades algébricas fechadas estritas. Resultados posteriores estenderam isso para o caso misto e para o lugar de divisão da filtração de peso.
• O Desafio Motivico: A motivação central deste trabalho é definir e estudar um análogo motivico desses lugares. Em vez de trabalhar apenas com estruturas de Hodge (realizações), o autor trabalha diretamente com Sistemas Locais de Motivos de Nori ($ML(X)$). O objetivo é definir um "Lugar Excepcional" que meça a variação na complexidade motivica das fibras, utilizando grupos de Galois motivicos em vez de grupos de Mumford-Tate.
• Limitações Anteriores: Resultados anteriores, como os de Yves André (1996), tratavam apenas de motivos puros construídos a partir de ciclos motivados. O artigo de Terenzi visa generalizar isso para motivos mistos (mixed motives) e sistemas locais gerais, onde técnicas baseadas em ciclos algébricos diretos não são aplicáveis.

2. Metodologia e Ferramentas Teóricas

A abordagem do autor é profundamente baseada na teoria de categorias de Tannakian e na estrutura dos motivos de Nori.

• Sistemas Locais de Motivos de Nori: O autor utiliza a teoria desenvolvida por Ivorra-Morel e o próprio Terenzi, que define uma categoria abeliana $ML(X)$ de sistemas locais motivicos sobre uma variedade $X$. Esta categoria é Tannakiana neutra sobre $\mathbb{Q}$.
• Grupos de Galois Motivicos: Para cada ponto $x \in X(\mathbb{C})$, define-se o grupo de Galois motivico $G_{mot}(M, x)$ como o dual de Tannaka da subcategoria gerada pela fibra $M_x$.
• Definição do Lugar Excepcional ($EL(M)$):
  • O autor observa que, para a maioria dos pontos, a fibra $M_x$ é "quase tão complexa" quanto o sistema global $M$.
  • Define-se um subgrupo normal $G^{\odot}_{mot}(M, x)$ como o núcleo do mapa para o grupo de Galois dos motivos de Artin (que é finito).
  • O Lugar Excepcional é definido como o conjunto de pontos $x$ onde a inclusão $G_{mot}(M_x) \hookrightarrow G^{\odot}_{mot}(M, x)$ não é um isomorfismo. Intuitivamente, é onde a complexidade da fibra cai.
• Técnicas de Demonstração:
  • Redução a Corpos de Funções: A prova chave envolve interpretar sistemas locais sobre $X$ como motivos sobre o corpo de funções $k(X)$.
  • Invariância sob Extensões de Corpos: Utiliza-se o fato de que os grupos de Galois motivicos são invariantes sob extensões de corpos algebricamente fechados (Teorema 2.11 e 2.15).
  • Indução de Noether e Resolução de Singularidades: Para lidar com subvariedades fechadas que podem ser singulares, o autor emprega a resolução de singularidades embutida de Hironaka, mostrando que o lugar excepcional é compatível com morfismos biracionais.
  • Realização de Hodge: Para conectar com a teoria clássica, utiliza-se o funtor de realização de Hodge de Tubach, que é conhecido ser um mergulho pleno (fully faithful) para motivos 1-motivos.

3. Contribuições Principais e Resultados

O artigo estabelece resultados estruturais robustos para o lugar excepcional e o lugar de divisão de peso.

A. O Lugar Excepcional ($EL(M)$)

Teorema Principal (Teorema 3.5): Seja $M$ um sistema local motivico que não é de tipo Artin.

1. Geometria: $EL(M)$ é uma união contável de subconjuntos da forma $S(\mathbb{C})$, onde $S$ é uma subvariedade algébrica fechada estrita de $X$.
2. Definição de Corpo: Se $X$ e $M$ admitirem modelos sobre um subcorpo algebricamente fechado $k \subset \mathbb{C}$, então todas as subvariedades fechadas maximais contidas em $EL(M)$ são definidas sobre $k$.
3. Estabilidade Galoiana: A ação de Galois de $\text{Gal}(\bar{k}/k)$ sobre $X$ estabiliza o lugar excepcional $EL(M)$.

B. O Lugar de Divisão de Peso ($WL(M)$)

O autor define o Lugar de Divisão de Peso como o conjunto de pontos onde a fibra $M_x$ é semissimples (ou seja, a filtração de peso se divide).
Teorema (Teorema 4.13):

1. Se $M$ não é semissimples, $WL(M)$ é uma união contável de subvariedades fechadas estritas.
2. Propriedades de definição de corpo e estabilidade Galoiana análogas às do lugar excepcional são válidas.
3. O resultado se generaliza para o lugar de divisão de qualquer sequência exata curta de sistemas locais motivicos.

C. Aplicações a Variações 1-Motivicas

O autor aplica seus resultados motivicos gerais ao caso das variações 1-motivicas (subcategorias geradas por motivos de dimensão 1).

• Graças ao teorema de plenitude (fullness) de André e Tubach, que estabelece que a realização de Hodge é um mergulho pleno para motivos 1-motivos, os resultados motivicos são transferidos para as variações de estruturas de Hodge subjacentes.
• Teorema 5.19 e 5.20: Estabelecem que o Lugar de Hodge (tensorial) e o Lugar de Divisão de Peso para variações 1-motivicas de origem geométrica satisfazem as mesmas propriedades de contabilidade, definição sobre corpos de definição e estabilidade Galoiana.

4. Significado e Impacto

• Generalização do Teorema de Cattani–Deligne–Kaplan: O trabalho fornece uma prova motivica direta e "limpa" (clean) do análogo do teorema de CDK para sistemas locais mistos, bypassando a necessidade de argumentos analíticos complexos ou da Conjectura de Hodge.
• Abordagem Tannakiana Pura: Ao basear-se na teoria de grupos de Galois motivicos e na estrutura de categorias de Tannakian, o autor evita a dependência de ciclos algébricos explícitos, permitindo tratar o caso misto de forma natural, algo que era difícil com as técnicas anteriores de André.
• Propriedades Arithméticas: O artigo fornece resultados novos e precisos sobre a definição de corpo e a estabilidade Galoiana desses lugares excepcionais. Enquanto no contexto de Hodge essas propriedades eram apenas parcialmente compreendidas ou esperadas, aqui são provadas rigorosamente no contexto motivico e transferidas para o caso 1-motivico.
• Potencial para Futuras Aplicações: A estratégia desenvolvida não depende diretamente da teoria de variedades de Shimura mistas (embora use resultados que dela derivam para o caso 1-motivico). Isso sugere que a metodologia pode ser aplicada a outras subcategorias de motivos onde a conjectura de plenitude da realização de Hodge seja conhecida, abrindo caminho para novos resultados sobre variações de origem geométrica mais gerais.

Em resumo, o artigo consolida a teoria de sistemas locais motivicos de Nori, fornecendo uma descrição geométrica e aritmética precisa de onde a complexidade motivica decaiu, generalizando resultados clássicos de Hodge para o domínio motivico misto.