The space of foliations on projective spaces in positive characteristic

Resumo Técnico: O Espaço de Foliações em Espaços Projetivos em Característica Positiva

Enunciado do Problema
O estudo do espaço de foliações holomorfas em espaços projetivos tem sido um tópico central na geometria algébrica complexa, notadamente após o trabalho fundamental de Jouanolou, Cerveau e Lins Neto. Embora os componentes irredutíveis desses espaços sejam bem compreendidos sobre os números complexos para graus baixos (especificamente graus zero, um e dois), o comportamento desses espaços sobre corpos algebricamente fechados de característica positiva permanece amplamente inexplorado. Este artigo aborda a classificação dos componentes irredutíveis do esquema $\text{Fol}^1_d(\mathbb{P}^n_k)$, que representa foliações de codimensão um de grau $d$ em $\mathbb{P}^n_k$, onde $k$ é um corpo algebricamente fechado de característica $p > 0$. O objetivo primário é determinar como a geometria e o número de componentes irredutíveis desses espaços variam com a característica $p$, particularmente em graus baixos ($d=0, 1, 2$).

Metodologia
Os autores empregam uma combinação de técnicas de geometria algébrica específicas de característica positiva e adaptações de argumentos da geometria complexa. Elementos metodológicos chave incluem:

1. Relação de Euler e Formas Fechadas: A análise de foliações de grau zero baseia-se fortemente na relação de Euler para formas homogêneas. Os autores utilizam o comportamento específico de formas projetivas fechadas em característica $p$, observando que formas fechadas de grau $e$ existem apenas se $p$ divide $e$ (ou sob condições específicas de exatidão).
2. Classificação de Medeiros: O artigo adapta a descrição de Medeiros para formas diferenciais integráveis localmente decomponíveis com coeficientes lineares. Embora originalmente formulada sobre $\mathbb{C}$, os autores verificam sua validade em característica arbitrária, utilizando-a para classificar foliações de grau zero e um.
3. $p$-Curvatura e Divisores de Degenerescência: Para foliações de grau um, os autores utilizam a teoria da $p$-curvatura. Eles distinguem entre foliações $p$-fechadas e $p$-densas, analisando o divisor de degenerescência $\Delta_F$ associado ao morfismo de $p$-curvatura. Isso permite caracterizar foliações como pull-backs lineares ou formas logarítmicas com base no grau relativo a $p$.
4. Transformada de Cartier: Uma ferramenta central para o estudo de componentes logarítmicos é a transformada de Cartier de foliações. Ao aplicar o operador de Cartier a formas de 1-logarítmicas fechadas, os autores analisam a estabilidade dessas formas sob deformação e estabelecem condições sob as quais componentes logarítmicas permanecem irredutíveis.
5. Especialização Aritmética: Para provar resultados para característica arbitrária, os autores frequentemente estabelecem resultados em característica zero (ou $p$ grande) e utilizam argumentos de semicontinuidade ou especialização para deduzir propriedades em característica pequena. Inversamente, utilizam a existência de componentes específicos em característica $p$ para fornecer provas alternativas para resultados clássicos sobre $\mathbb{C}$.

Principais Contribuições e Resultados

• Foliações de Grau Zero ($d=0$):
  Os autores fornecem uma descrição completa dos componentes irredutíveis para foliações de grau zero.

  • Se $\text{char}(k) \neq 2$ ou a codimensão $q > 1$, o espaço é isomorfo ao Grassmanniano de subespaços lineares, correspondendo a foliações definidas por projeções lineares.
  • No caso excepcional onde $\text{char}(k) = 2$ e $q=1$, o espaço corresponde ao espaço projetivo de formas de 1 fechadas de grau 2, o que difere significamente do caso de característica $\neq 2$.

• Foliações de Grau Um ($d=1$):
  O número de componentes irredutíveis depende estritamente da característica $p$:

  • $p=2$: Existe exatamente um componente irredutível, o componente de pull-back linear $\text{Lin}_1(\mathbb{P}^n_k)$.
  • $p=3$: Existem exatamente dois componentes: o componente de pull-back linear $\text{Lin}_1(\mathbb{P}^n_k)$ e o componente de formas de 1 fechadas $\text{Cl}_1(\mathbb{P}^n_k)$.
  • $p \geq 5$: Existem exatamente dois componentes: $\text{Lin}_1(\mathbb{P}^n_k)$ e o componente logarítmico $\text{Log}_{(1,2)}(\mathbb{P}^n_k)$.
    O artigo estabelece que para $p \geq 5$, a descrição é uniforme, e o componente logarítmico surge de formas com dois resíduos distintos.

• Foliações de Grau Dois ($d=2$):
  Os resultados para grau dois são menos definitivos, mas fornecem uma classificação parcial.

  • Os autores mostram que os seis componentes irredutíveis conhecidos em característica zero especializam-se para componentes irredutíveis em característica $p$ para $p \geq 5$.
  • Eles identificam componentes específicos para características pequenas ($p=2, 3$), incluindo o componente "excepcional" $\text{Exc}(\mathbb{P}^n_k)$, que é definido pela órbita de uma foliação associada a uma subálgebra de Lie não-abeliana de campos vetoriais.
  • A existência do componente excepcional é provada para $p \neq 3$. Para $p=3$, o status deste componente permanece uma questão aberta devido à falha da condição de singularidade não-Kupka exigida pela principal ferramenta técnica dos autores.

• Teorema A (Estabilidade de Formas Logarítmicas):
  Uma grande contribuição teórica é o Teorema A, que estabelece a irredutibilidade de componentes logarítmicos $\text{Log}_{(d_1, \dots, d_r)}(\mathbb{P}^n_k)$ em característica arbitrária. O teorema fornece condições aritméticas específicas sobre os graus $d_i$ e a característica $p$ (por exemplo, se $p$ divide os graus ou suas somas) sob as quais esses conjuntos formam componentes irredutíveis. Este resultado generaliza o teorema de estabilidade de Calvo-Andrade para formas de 1 logarítmicas genéricas do cenário complexo para característica arbitrária.

Significância e Alegações
O artigo afirma iniciar o estudo sistemático dos espaços de foliações em característica positiva, revelando que a geometria desses espaços de módulos é altamente sensível à característica do corpo base.

• Perspectiva Aritmética: Os autores demonstram que o Teorema A oferece uma nova prova aritmética do resultado de estabilidade de Calvo-Andrade sobre $\mathbb{C}$ (Corolário 6.3), derivada do comportamento desses espaços em característica positiva.
• Modéstia sobre Completude: Os autores declaram explicitamente que, embora forneçam uma descrição completa para graus zero e um, a classificação para grau dois permanece incompleta, particularmente para características pequenas ($p=2, 3$) e para codimensões mais altas. Eles observam que a situação para foliações de grau três é ainda menos compreendida.
• Questões Abertas: O artigo conclui destacando problemas abertos, como a completude da lista de componentes para o grau dois em características pequenas e a classificação de componentes irredutíveis para graus e codimensões superiores.

Em resumo, o trabalho estabelece que, embora a classificação complexa sirva como uma linha de base, o cenário de característica positiva introduz fenômenos distintos (como o surgimento de formas fechadas em característica 2 e a dependência do número de componentes em $p$) que requerem ferramentas aritméticas específicas para sua análise.