The Künneth Formula of Fundamental Group Schemes

1. Problema e Contexto

O artigo aborda um problema central na geometria algébrica: a validade da Fórmula de Künneth para esquemas de grupos fundamentais em contextos gerais de corpos (fields) e esquemas.

• Contexto Histórico:

  • Grothendieck estabeleceu a sequência exata de homotopia e a fórmula de Künneth para o grupo fundamental étale ($\pi_1^{ét}$) sobre corpos algebricamente fechados.
  • Nori introduziu o grupo fundamental de Nori ($\pi_N$) e o grupo fundamental unipotente ($\pi_{uni}$), provando a fórmula de Künneth para estes em casos específicos (ex: variedades projetivas suaves sobre corpos algebricamente fechados).
  • Outros autores (Mehta, Subramanian, Esnault, Hai, Viehweg, Zhang, Langer, Amrutiya, Biswas, Otabe) estenderam resultados para grupos fundamentais locais ($\pi_{Loc}$), S-fundamentais ($\pi_S$), F-fundamentais ($\pi_F$) e EN-fundamentais ($\pi_{EN}$), mas frequentemente com restrições ao tipo de corpo (ex: perfeito, algebricamente fechado, característica zero) ou à natureza dos esquemas.

• O Problema:
  Não existia uma teoria unificada que fornecesse condições necessárias e suficientes para a exatidão da sequência de homotopia e a validade da fórmula de Künneth para uma vasta classe de grupos fundamentais (definidos via categorias de Tannakian) sobre qualquer corpo $k$, sem restrições severas de característica ou de reduibilidade geométrica. O objetivo é generalizar esses resultados para esquemas próprios e conexos sobre um corpo arbitrário.

2. Metodologia

Os autores utilizam a Teoria de Tannakian e a teoria de esquemas de grupos para reformular o problema em termos de categorias de feixes vetoriais e funtores de pullback.

• Estrutura Tannakian:

  • Consideram um esquema $X$ próprio e conexo sobre um corpo $k$ e um ponto racional $x \in X(k)$.
  • Associam a $X$ uma categoria de Tannakian neutra $C_X$ (subcategorias de feixes vetoriais com certas propriedades, como "essencialmente finitos", "numéricamente planos", etc.).
  • O grupo fundamental $\pi(C_X, x)$ é definido como o grupo de Tannakian dual a essa categoria.

• Sequência de Homotopia:

  • Dada uma morfismo próprio $f: X \to S$ com fibra $X_s$ sobre $s \in S(k)$, eles investigam a sequência:
    $$\pi(C_{X_s}, x) \to \pi(C_X, x) \to \pi(C_S, s) \to 1$$
  • O foco é determinar quando esta sequência é exata.

• Conceitos Chave Utilizados:

  • Funtores Observáveis (Observable Functors): Uma condição técnica sobre o funtor de restrição à fibra $|_{X_s}: C_X \to C_{X_s}$ que garante a injetividade do mapa de grupos fundamentais.
  • Mudança de Base (Base Change): A condição de que os feixes vetoriais na categoria $C_X$ satisfazem a propriedade de mudança de base no ponto $s$ (ou seja, a cohomologia da fibra é isomorfa à fibra do pushforward).
  • Colimites Filtrados: Uso de sistemas de colimites filtrados de subfeixes para caracterizar a estrutura dos feixes universais associados aos grupos de Tannakian.

3. Contribuições Principais e Resultados

O artigo apresenta dois teoremas centrais que unificam e generalizam resultados anteriores.

Teorema 3.8: Condições para a Exatidão da Sequência de Homotopia

Os autores estabelecem condições equivalentes para que a sequência de homotopia seja exata para um morfismo $f: X \to S$ com $f_* \mathcal{O}_X \cong \mathcal{O}_S$:

1. O funtor de restrição à fibra é observável.
2. Para qualquer objeto $E \in C_X$, o pushforward $f_* E$ pertence a $C_S$ e $E$ satisfaz a mudança de base em $s$.
3. Uma condição técnica envolvendo colimites filtrados de subfeixes do feixe universal principal.

Resultado: Se essas condições são satisfeitas, a sequência $\pi(C_{X_s}, x) \to \pi(C_X, x) \to \pi(C_S, s) \to 1$ é exata. Além disso, se $S$ é integral e $f$ é plano, a exatidão implica essas condições.

Teorema 4.2: A Fórmula de Künneth Geral

Para dois esquemas conexos próprios $X$ e $Y$ sobre $k$, com pontos $x_0, y_0$, e categorias $C_X, C_Y, C_{X \times Y}$, os autores provam que as seguintes condições são equivalentes:

1. Para todo $E \in C_{X \times Y}$, o pullback $p_X^* E$ está em $C_X$ e $E$ satisfaz mudança de base em $x_0$.
2. (Simetricamente para $Y$).
3. A sequência de homotopia $1 \to \pi(C_Y, y_0) \to \pi(C_{X \times Y}, (x_0, y_0)) \to \pi(C_X, x_0) \to 1$ é exata.
4. A sequência de homotopia $1 \to \pi(C_X, x_0) \to \pi(C_{X \times Y}, (x_0, y_0)) \to \pi(C_Y, y_0) \to 1$ é exata.
5. O homomorfismo natural $\pi(C_{X \times Y}, (x_0, y_0)) \to \pi(C_X, x_0) \times_k \pi(C_Y, y_0)$ é um isomorfismo.

Proposição 4.3 (Redução de Subcategorias): Se a fórmula de Künneth vale para uma categoria maior $C'$, ela também vale para qualquer subcategoria de Tannakian $C \subseteq C'$ que satisfaça as condições de pullback. Isso permite deduzir resultados para grupos específicos a partir de resultados gerais.

4. Aplicações e Generalizações (Seção 5)

Aplicando os teoremas gerais, os autores demonstram que a Fórmula de Künneth vale sobre qualquer corpo $k$ (não necessariamente algebricamente fechado ou perfeito) para uma vasta gama de grupos fundamentais, desde que os esquemas sejam geometricamente reduzidos e conexos:

1. $\pi_S$ (S-fundamental): Definido por feixes numericamente planos.
2. $\pi_N$ (Nori): Definido por feixes essencialmente finitos.
3. $\pi_{EN}$: Definido por feixes semi-essencialmente finitos.
4. $\pi_F$ (F-fundamental): Definido por feixes Frobenius-finitos (característica $p > 0$).
5. $\pi_{Loc}$ (Local): Definido por feixes Frobenius-triviais.
6. $\pi_{ELoc}$ (Local Estendido): Definido por feixes Frobenius-semi-triviais.
7. $\pi_{ét}$ (Étale): Definido por feixes etale-trivializáveis.
8. $\pi_{uni}$ (Unipotente): Definido por feixes unipotentes.

Inovação: Enquanto resultados anteriores exigiam corpos algebricamente fechados ou perfeitos, este trabalho remove essas restrições, provando a fórmula para corpos arbitrários, utilizando a técnica de base para o fecho algébrico ($\bar{k}$) e propriedades de invariância de estabilidade numérica sob extensão de corpo.

5. Significado e Impacto

• Unificação Teórica: O trabalho fornece um quadro teórico unificado que engloba quase todos os grupos fundamentais conhecidos na literatura moderna de geometria algébrica, tratando-os sob a mesma ótica de categorias de Tannakian.
• Remoção de Restrições: A capacidade de trabalhar sobre qualquer corpo é um avanço significativo, permitindo aplicações em contextos aritméticos e em variedades sobre corpos não-perfeitos, onde resultados anteriores falhavam.
• Ferramentas Técnicas: A introdução de condições de "observabilidade" e "mudança de base" como critérios precisos para a exatidão da sequência de homotopia oferece novas ferramentas para pesquisadores que estudam a estrutura de grupos fundamentais em morfismos de fibrados.
• Aplicabilidade: Os resultados são imediatamente aplicáveis ao estudo de feixes vetoriais em produtos de variedades, permitindo a decomposição de problemas complexos em fatores mais simples (os fatores $X$ e $Y$).

Em resumo, Li e Tian estabelecem as condições fundamentais para a validade da fórmula de Künneth no contexto dos esquemas de grupos fundamentais, generalizando e consolidando décadas de pesquisa fragmentada em um único resultado robusto e aplicável a múltiplas teorias de grupos fundamentais.