Splitting aspects of holomorphic distributions with locally free tangent sheaf

Resumo Técnico: Decomposição de Aspectos de Distribuições Holomorfas com Feixe Tangente Localmente Livre

Enunciado do Problema
O artigo aborda as propriedades estruturais de distribuições holomorfas singulares $D$ de dimensão $k$ em variedades complexas (especificamente $\mathbb{P}^n$ para $n \ge 3$ ou germes na origem de $\mathbb{C}^n$), focando no caso em que o feixe tangente $T_D$ é localmente livre. Uma questão central no campo, previamente formulada em [1], é se o feixe tangente de uma foliação de codimensão um em $\mathbb{P}^3$ com um feixe tangente localmente livre necessariamente se decompõe em uma soma direta de fibrados de linha (ou seja, $T_F \cong \bigoplus \mathcal{O}_{\mathbb{P}^3}(e_i)$). Embora um trabalho recente [15] tenha fornecido uma resposta negativa para distribuições não integráveis (especificamente estruturas de contato), este trabalho investiga condições suficientes sob as quais tal decomposição ocorre, particularmente quando a distribuição admite uma foliação tangente unidimensional $G$.

O problema central (Problema 2) é formulado da seguinte forma: Dada uma distribuição bidimensional $D$ com um feixe tangente localmente livre e uma foliação unidimensional $G$ tangente a $D$, sob quais condições existe outra foliação unidimensional $H$ tangente a $D$ tal que $T_D = T_G \oplus T_H$?

Metodologia
O autor emprega uma combinação de geometria algébrica local, teoria de feixes e métodos combinatórios envolvendo grafos direcionados.

1. Divisão Local e Posto Linear: O artigo introduz o conceito de "divisão local", onde uma foliação $G$ divide localmente uma distribuição $D$ em um ponto $p$ se a forma definidora de $D$ puder ser expressa como o produto interno do campo vetorial que define $G$ e outra forma. Um invariante fundamental utilizado é o "posto linear" de um campo vetorial (ou foliação) em uma singularidade, definido como o posto da parte linear do campo vetorial.
2. Caracterização via Teoria de Feixes: O autor estabelece equivalências entre a decomposição do feixe tangente, a liberdade local do feixe quociente $T_D/T_G$ e a propriedade de $G$ dividir localmente $D$. O Lema 4.6 e a Proposição 8.8 são cruciais, vinculando a decomposição do feixe ao fato de $T_G$ ser um subfeixe de $T_D$.
3. Análise Global em $\mathbb{P}^n$: Para o caso projetivo, a análise baseia-se nas propriedades de interseção dos conjuntos singulares. O autor utiliza o fato de que, em $\mathbb{P}^n$, componentes irredutíveis de certas dimensões devem se intersectar, permitindo conclusões globais a partir de propriedades de divisão local.
4. Teoria dos Grafos Combinatórios: Na prova do Teorema C (especificamente para campos vetoriais nilpotentes), o autor constrói grafos direcionados (ss-digraphs) representando a ação da derivada de Lie sobre espaços de formas homogêneas. Ao analisar caminhos, ciclos, fontes e sumidouros nesses grafos, o autor prova que certos coeficientes nas formas definidoras das foliações devem ser nulos, estabelecendo assim condições de multiplicidade algébrica para as singularidades.
5. Verificação Computacional: O artigo utiliza o software Maple para resolver sistemas de equações lineares derivados das condições de tangência e integrabilidade, particularmente nas provas da Proposição 6.1 e do Teorema C para casos de baixo grau.

Principidades Contribuições e Resultados

• Teorema A (Decomposição Local): Para um germe de uma distribuição $k$-dimensional $D$ com um feixe tangente localmente livre e uma foliação tangente $G$ com posto linear pelo menos $k$, o artigo prova que ou $T_D$ se decompõe como $T_G \oplus T_{H_1} \oplus \dots \oplus T_{H_{k-1}}$, ou a distribuição é regular. Esta decomposição ocorre se, e somente se, o conjunto singular de $G$ estiver contido no conjunto singular de $D$.
• Teorema B (Decomposição Global em $\mathbb{P}^n$): Para uma distribuição bidimensional $D$ em $\mathbb{P}^n$ ($n \ge 3$) com um feixe tangente localmente livre e uma foliação tangente $G$ com posto linear pelo menos 2, a existência de uma decomposição $T_D = T_G \oplus T_H$ é equivalente à condição de que toda componente irredutível de $\text{sing}(G)$ de dimensão $n-2$ intersecta $\text{sing}(D)$. Em particular, se $\dim(\text{sing}(D)) \ge 2$ e $n \ge 4$, $T_D$ sempre se decompõe.
• Teorema C (Codimensão Um em $\mathbb{P}^3$): Se $F$ é uma foliação holomorfa de codimensão um em $\mathbb{P}^3$ com um feixe tangente localmente livre, e existe um campo vetorial holomorfo não nulo em $\mathbb{P}^3$ tangente a $F$, então $T_F$ se decompõe. Este resultado é significativo pois fornece uma resposta positiva ao Problema 1 sob a condição específica da existência de um campo vetorial tangente.
• Propriedades de Divisão: O artigo refina o Lema de Divisão de De Rham-Saito. Ele fornece condições alternativas para um campo vetorial dividir uma forma diferencial baseadas no posto da parte linear do campo vetorial (Proposição 5.17) e no posto da parte linear de uma 1-forma (Proposição 5.19). Estes resultados mostram-se aplicáveis em situações não cobertas pelos lemas clássicos.
• Corolário 6.22: Estendendo os resultados para distribuições não integráveis, o artigo mostra que uma distribuição de codimensão um $D$ em $\mathbb{P}^3$ com um feixe tangente localmente livre e grau $\deg(D) \ge 1$ se decompõe se existir um campo vetorial holomorfo não nilpotente tangente a ela.

Significância e Alegações
O artigo afirma fornecer um arcabouço abrangente para compreender a decomposição de feixes tangentes de distribuições holomorfas. Ao introduzir o conceito de divisão local e caracterizar o conjunto $S(G, D)$ (pontos onde a divisão falha), o autor estabelece critérios geométricos precisos (interseção de conjuntos singulares) para a decomposição.

O trabalho é apresentado como uma extensão de estudos anteriores sobre foliações [1, 4, 8, 9, 16] e oferece uma resolução parcial para o problema aberto sobre a decomposição de feixes tangentes para foliações de codimensão um em $\mathbb{P}^3$. O autor observa que, embora distribuições não integráveis de grau 0 (estruturas de contato) não se decomponham, a presença de um campo vetorial tangente (especificamente não nilpotente para grau $\ge 1$) força a decomposição do feixe tangente.

O artigo conclui propondo o Problema 3: Se uma foliação de codimensão um em $\mathbb{P}^3$ possui um feixe tangente localmente livre e nenhuma hipersuperfície invariante (e, portanto, nenhuma integral racional primeira), seu feixe tangente necessariamente se decompõe? O autor sugere que, com base em contraexemplos conhecidos (que possuem integrais racionais primeiras), a resposta pode ser afirmativa, mas isso permanece uma questão aberta. Os resultados são estruturados de modo a fornecer condições suficientes e critérios de divisão que servem como alternativas ou complementos aos resultados clássicos, como o Lema de Divisão de De Rham-Saito.