Extendability of foliations

Resumo Técnico: Extendibilidade de Foliações

Enunciado do Problema
Este artigo aborda o problema da extensão para foliações holomorfas singulares. Dada uma variedade suave $X$ imersa em uma variedade maior $Y$ (especificamente um mergulho regular de codimensão 1), e uma foliação $\mathcal{F}$ em $X$, a questão central é se existe uma foliação em $Y$ que restringe-se a $\mathcal{F}$ em $X$. Os autores investigam isso tanto em contextos analíticos quanto algébricos, considerando $Y$ como um espaço ambiente geral ou especificamente como o espaço total de um desdobramento (unfolding) de $X$.

Metodologia
Os autores empregam uma abordagem geométrica formal, analisando o problema da extensão ao nível dos vizinhanças infinitesimais $X^{(n)}$ de $X$ em $Y$. A estratégia procede em duas etapas principais:

1. Análise Infinitesimal: Os autores constroem a teoria de obstrução para estender uma foliação de $X^{(n-1)}$ para $X^{(n)}$. Eles utilizam o feixe de partes principais ao longo da distribuição, denotado por $P_{\mathcal{F}, L}$, para descrever o espaço de possíveis extensões.

   • Eles estabelecem que o conjunto de extensões de uma distribuição é atuado transitivamente por $H^0(X, P_{\mathcal{F}, N_{X/Y}^{\otimes -n}})$.
   • Eles identificam o subespaço de extensões integráveis via uma condição de núcleo envolvendo o diferencial da 1-forma definidora, levando ao feixe $P^{\text{int}}_{\mathcal{F}, N_{X/Y}^{\otimes -n}}$.
   • Crucialmente, eles relacionam as obstruções para estender foliações integráveis aos grupos de cohomologia $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}} \otimes N_{X/Y}^{\otimes -n})$, onde $\mathcal{I}_{\text{Per}}$ é o feixe ideal de singularidades persistentes (singularidades que não podem ser suavizadas ao longo de um desdobramento).

2. Algebraização: Uma vez estabelecidas as extensões formais (ou seja, extensões para a vizinhança formal $\hat{X}_{/Y}$), os autores aplicam a condição de Lefschetz efetiva, $\text{Leff}(X, Y)$. Esta condição garante que fibrados vetoriais e seções formais possam ser algebraizados para objetos algébricos (ou analíticos) reais em uma vizinhança de $X$ em $Y$.

Principais Contribuições e Resultados

• Existência de Extensões (Teorema 1.1 & Corolários 1.2, 1.3):
  O artigo prova que, se $X \subseteq Y$ é um mergulho regular de codimensão 1, $\mathcal{F}$ possui singularidades sem obstruções, e o grupo de cohomologia $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}} \otimes N_{X/Y}^{\otimes -n})$ é nulo para todo $n \geq 1$, então $\mathcal{F}$ admite uma extensão formal. Se a condição de Lefschetz efetiva $\text{Leff}(X, Y)$ for satisfeita (o que ocorre se $X$ for um divisor amplo em uma variedade projetiva suave $Y$), esta extensão formal algebraiza-se para uma foliação global em $Y$.

  • Este resultado é aplicado para mostrar que foliações em divisores amplos estendem-se sob condições específicas de nulidade de cohomologia.
  • Também é aplicado a desdobramentos (unfoldings): se $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}}) = 0$, qualquer foliação com singularidades sem obstruções desdobra-se ao longo de qualquer deformação de $X$.

• Critérios de Positividade (Teorema 1.4):
  Os autores fornecem um critério baseado na positividade do mergulho versus o fibrado normal da foliação. Se $X$ é um divisor amplo em $Y$, $\dim(X) \geq 3$, e o fibrado $N_{\mathcal{F}}^{\otimes 2} \otimes N_{X/Y}^{\otimes -1}$ é anti-ámpio, então qualquer foliação com singularidades sem obstruções estende-se unicamente para $Y$. Isso recupera e generaliza resultados anteriores (ex: de [Fig23]) relativos a foliações em hipersuperfícies no espaço projetivo.

• Unicidade e o Problema de Zak-L'vovsky Foliado (Seção 5):
  O artigo investiga a unicidade das extensões. Ele introduz um análogo foliado do problema de Zak-L'vovsky (que pergunta se as extensões de subvariedades são cones).

  • Os autores definem foliações Camacho-Lins Neto regulares, caracterizadas pelo desaparecimento dos espaços de extensão $\text{Ex}_n(\mathcal{F}, N_{X/Y})$.
  • Eles provam que, se esses espaços de extensão forem nulos, a extensão da foliação é única.
  • Uma dicotomia é estabelecida: se $X$ é um divisor amplo e a extensão é única, então ou a extensão é única, ou $X$ é um hiperplano e a extensão é um cone.

• Vizinhanças Tubulares e Rigidez (Teorema 1.5 & 1.6):
  O artigo vincula a existência de vizinhanças tubulares à extensibilidade de foliações.

  • Teorema 1.5: Se $X$ possui uma foliação com singularidades rígidas (singularidades onde o espaço de desdobramento de primeira ordem é trivial) que se estende para $Y$, e certos grupos de cohomologia são nulos, então $X$ admite uma vizinhança tubular. Se $Y$ é projetiva e $X$ é ampla, isso leva à dicotomia mencionada acima.
  • Teorema 1.6 (Generalização de Gómez-Mont): Os autores provam que, se uma foliação $\mathcal{F}$ em uma variedade suave própria $X$ possui singularidades rígidas e $H^1(X, T_{\mathcal{F}}) = 0$, então todo desdobramento de $\mathcal{F}$ é analiticamente trivial. Isso generaliza resultados anteriores para superfícies e classes específicas de foliações em $\mathbb{P}^m$.

Significância e Escopo
O artigo afirma fornecer um arcabouço unificado para compreender a extensão de foliações, combinando a teoria de deformação formal com condições globais de positividade. Sua significância reside em:

1. Generalização da Teoria de Desdobramentos: Ele estende a teoria de desdobramentos (unfoldings, anteriormente estudada por Suwa, Gómez-Mont e outros) para desdobramentos arbitrários e espaços ambientes, não apenas casos específicos.
2. Conexão entre Singularidades e Geometria Global: Ele vincula explicitamente a natureza local das singularidades (persistentes vs. rígidas) às obstruções globais via o feixe $\mathcal{I}_{\text{Per}}$.
3. Resultados de Unicidade: Oferece novas condições suficientes para a unicidade das extensões de foliações, contribuindo para a teoria de módulos de foliações.

Os autores mantêm um tom modesto, observando que seus resultados dependem de condições específicas de nulidade de cohomologia e da condição de Lefschetz efetiva. Eles não afirmam resolver o problema da extensão para todas as foliações, mas sim fornecem respostas afirmativas para uma ampla classe de singularidades "sem obstruções" e "rígidas" sob condições de mergulho positivo. O trabalho é apresentado como uma contribuição para a melhor compreensão da teoria de módulos de foliações e da geometria de restrições/extensões.