Holonomic étale sheaves are constructible

Resumo Técnico: Feixes Étale Holonômicos São Construíveis

Enunciado do Problema
O artigo aborda a relação entre as noções de "construibilidade" e "holonomia" para feixes étale em variedades algébricas. No contexto de $\mathcal{D}_X$-módulos em variedades complexas, o teorema de Kashiwara estabelece que módulos holonômicos são construíveis. No cenário algébrico, Beilinson provou anteriormente que todo feixe étale construível possui um suporte singular com componentes irredutíveis de dimensão igual à dimensão da variedade subjacente, efetivamente caracterizando feixes construíveis como "holonômicos" (embora ele não tenha definido explicitamente a holonomia para feixes não-construíveis).

O problema central tratado aqui é o inverso: pode-se definir uma noção de holonomia para feixes étale sem assumir a priori a construibilidade, e essa definição implica construibilidade? Os autores visam estabelecer que feixes étale holonômicos são, de fato, construíveis, fornecendo um análogo étale do teorema de Kashiwara.

Metodologia
Os autores desenvolvem um arcabouço para "suporte micro" (suporte singular) para feixes étale arbitrários, estendendo a construção de Beilinson que originalmente assumia a construibilidade. A metodologia procede através dos seguintes passos:

1. Fundamentos Geométricos (Seções 1–3): O artigo estabelece a linguagem geométrica necessária em relação a subconjuntos cônicos fechados no feixe cotangente $T^*X$. Define e analisa duas propriedades chave de morfismos em relação a um subconjunto cônico $C$:

   • $C$-transversalidade: Uma condição sobre um morfismo $h: W \to X$ em relação à interseção do pullback de $C$ com o núcleo do mapa cotangente.
   • $C$-aciclicidade: Uma condição sobre um par de morfismos $(h, f)$ envolvendo a aciclicidade de $f$ em relação ao pushforward de $C$.
     Estes conceitos são adaptados do trabalho de Beilinson, mas são definidos rigorosamente sem assumir que os feixes envolvidos sejam construíveis.

2. Definição de Suporte Micro (Seção 4): Os autores definem um feixe $F$ como sendo micro suportado em um subconjunto cônico fechado $C \subset T^*X$ se, para todo par de morfismos $(h, f)$ que seja $C$-acíclico, o morfismo $f$ é localmente acíclico em relação ao $h^*F$. Esta definição generaliza a noção de suporte micro para feixes não-construíveis. Lemas fundamentais estabelecem o comportamento do suporte micro sob operações como pullbacks, pushforwards e triângulos distinguídos.

3. Existência de Suporte Singular (Seção 5): Os autores provam que, para qualquer feixe $F$ em um esquema liso $X$, existe um único subconjunto cônico minimal $SSF$ (o suporte singular) tal que $F$ é micro suportado nele.

   • A prova baseia-se na redução do problema para o caso onde $X$ é o espaço projetivo $\mathbb{P}^n$.
   • A Transformada de Radon e a Transformada de Legendre são empregadas para analisar o suporte micro em espaços projetivos. Especificamente, os autores utilizam a geometria da variedade de incidência $Q \subset \mathbb{P} \times \mathbb{P}^\vee$ e as propriedades da transformada de Radon $R$ e sua inversa $R^\vee$ para relacionar o suporte micro de um feixe ao de sua transformada.
   • Esta seção demonstra que o suporte singular existe mesmo sem a suposição de construibilidade, um ponto levantado por Tong Zhou.

4. Holonomia e Construibilidade (Seção 6):

   • Definição: Um feixe $F$ é definido como holonômico se (1) seu suporte singular $SSF$ satisfaz $\dim SSF \leq \dim X$, e (2) a fibra (stalk) $F_x$ é construível para cada ponto geométrico $x$.
   • Teorema Principal: Os autores provam que, se $F$ é holonômico, então $F$ é construível.
   • Estratégia de Prova: A prova procede por indução sobre $\dim X$. Utiliza-se o fato de que, em um subconjunto aberto denso, um feixe holonômico é localmente constante (micro suportado na seção zero). Ao analisar o triângulo distinguido associado ao complemento deste conjunto aberto e utilizando a hipótese indutiva, os autores mostram que o feixe deve ser construível em toda parte. O argumento é estabelecido primeiro para corpos perfeitos e depois estendido para corpos gerais via mudança de base para o fechamento perfeito.

Contribuições e Resultados Chave

• Definição de Holonomia: O artigo introduz uma definição rigorosa de holonomia para feixes étale que não pressupõe a construibilidade.
• Existência de Suporte Singular: Estabelece a existência do suporte singular $SSF$ para feixes arbitrários (não apenas construíveis), resolvendo uma questão sobre a necessidade da suposição de construibilidade para a existência de $SSF$.
• Teorema Principal (Teorema 6.3): O resultado central é o inverso do teorema de Beilinson: Feixes étale holonômicos são construíveis.
  • Especificamente, se $\dim SSF \leq \dim X$ e todas as fibras são construíveis, o feixe em si é construível.
• Extensão para Esquemas Singulares: A noção de holonomia é estendida para feixes em esquemas singulares via imersões fechadas em esquemas lis, provando que esta definição é independente da imersão.
• Estabilidade: O artigo confirma que a categoria de feixes holonômicos é estável sob operações padrão (imagens diretas e inversas, imagens diretas próprias com suporte compacto) para morfismos de tipo finito.

Significância
O artigo afirma sua significância como um análogo étale do teorema de Kashiwara sobre $\mathcal{D}_X$-módulos holonômicos. Assim como o teorema de Kashiwara afirma que $\mathcal{D}$-módulos holonômicos possuem cohomologia construível (um ingrediente chave na correspondência de Riemann–Hilbert), este trabalho afirma que feixes étale holonômicos são construíveis.

Os autores observam que este resultado fornece um substituto robusto para a "noção deficiente de construibilidade" em contextos como variedades rígidas, onde uma noção semelhante de holonomia espera-se que seja definível. O trabalho constrói diretamente sobre o artigo fundamental de Beilinson [3], refinando as definições para remover a suposição a priori de construibilidade e provando que a condição geométrica de possuir um suporte singular "pequeno" (dimensão $\leq \dim X$) combinada com a construibilidade pontual é suficiente para garantir a construibilidade global.