Existence of holomorphic Lie algebroid connections in higher dimensions

Resumo Técnico: Existência de Conexões de Lie Algebroides Holomórficas em Dimensões Superiores

1. Problema e Contexto

O artigo aborda um problema fundamental na geometria algébrica complexa: determinar condições necessárias e suficientes para a existência de conexões holomórficas em fibrados vetoriais holomórficos sobre variedades projetivas complexas.

• Contexto Histórico: Em superfícies de Riemann compactas, Atiyah e Weil estabeleceram que um fibrado vetorial admite uma conexão holomórfica se e somente se o grau de cada componente indecomponível for zero. Em variedades de dimensão $\ge 3$, Atiyah provou um critério de restrição: a existência de uma conexão no fibrado total é equivalente à existência de uma conexão na restrição do fibrado a uma hipersuperfície genérica suficientemente positiva.
• Generalização: O objetivo deste trabalho é generalizar o critério de Atiyah para o contexto de Lie algebroides holomórficos. Um Lie algebroid $(V, \phi)$ sobre uma variedade $X$ consiste num fibrado vetorial holomórfico $V$, um mapa âncora $\phi: V \to TX$ e uma estrutura de álgebra de Lie nas seções. Uma conexão $(V, \phi)$ generaliza a conexão holomórfica usual (onde $V=TX$).
• Motivação: Muitas estruturas geométricas importantes (fibrados de Higgs, conexões logarítmicas, conexões meromorfas e módulos de Simpson) podem ser interpretadas como conexões de Lie algebroides para escolhas específicas de $(V, \phi)$. O problema é que, em dimensões superiores, a existência dessas conexões é uma condição altamente restritiva e não trivial.

2. Metodologia e Ferramentas Teóricas

Os autores utilizam uma abordagem baseada na cohomologia de feixes coerentes e na teoria das classes de Atiyah generalizadas.

• Classe de Atiyah de Lie Algebroides ($at_V(E)$):

  • Os autores definem o fibrado de jato de primeira ordem $J^1_V(E)$ associado a um fibrado $E$ e um Lie algebroid $(V, \phi)$.
  • Existe uma sequência exata curta de $\mathcal{O}_X$-módulos:
    $$0 \to E \otimes V^* \xrightarrow{\iota_E} J^1_V(E) \xrightarrow{p_E} E \to 0$$
  • A existência de uma conexão $(V, \phi)$ em $E$ é equivalente ao fato de esta sequência exata dividir holomorficamente.
  • A obstrução à divisão é dada pela classe de extensão em $H^1(X, \text{End}(E) \otimes V^*)$, denominada classe de Atiyah $V$, denotada por $at_V(E)$. Portanto, $E$ admite uma conexão se e somente se $at_V(E) = 0$.

• Técnicas de Restrição e Dualidade:

  • O artigo emprega o Teorema de Serre e a Dualidade de Serre para analisar o comportamento da cohomologia sob restrições a hipersuperfícies.
  • Considera-se uma variedade projetiva $X$ de dimensão $\ge 3$ mergulhada em $\mathbb{CP}^N$. Seja $X_n = X \cap H_n$ a interseção de $X$ com uma hipersuperfície genérica $H_n$ de grau $n$ suficientemente grande.
  • Utiliza-se a sequência exata longa de cohomologia associada à sequência exata curta de feixes:
    $$0 \to F \otimes \mathcal{O}_X(-X_n) \to F \to i^*(F|_{X_n}) \to 0$$
  • Para $n$ suficientemente grande, os grupos de cohomologia $H^1$ e $H^2$ de $F \otimes \mathcal{O}_X(-kX_n)$ desaparecem, estabelecendo um isomorfismo entre $H^1(X, F)$ e $H^1(X_n, F|_{X_n})$.

3. Resultados Principais

O trabalho estabelece dois teoremas centrais que generalizam o critério de Atiyah para Lie algebroides.

Teorema 3.1 (Caso de Mapa Âncora Sobrejetivo):

• Hipóteses: $X$ é uma variedade projetiva complexa suave e irredutível com $\dim_{\mathbb{C}}(X) \ge 3$. $(V, \phi)$ é um Lie algebroid holomórfico onde o mapa âncora $\phi: V \to TX$ é sobrejetivo.
• Construção: Define-se o Lie algebroid restrito $(V_n, \phi_n)$ sobre a hipersuperfície $X_n$ como o núcleo da composição $\psi: V|_{X_n} \xrightarrow{\phi|_{X_n}} TX|_{X_n} \to N_{X_n}$ (onde $N_{X_n}$ é o fibrado normal).
• Resultado: Um fibrado vetorial holomórfico $E$ sobre $X$ admite uma conexão $(V, \phi)$ se e somente se a restrição $E|_{X_n}$ admite uma conexão $(V_n, \phi_n)$ para $n$ suficientemente grande.
• Lógica da Prova: A prova demonstra que o mapa de restrição induzido na cohomologia $i^\sharp: H^1(X, \text{End}(E) \otimes V^*) \to H^1(X_n, \text{End}(E|_{X_n}) \otimes V_n^*)$ é injetor. Como a classe de Atiyah é functorial ($i^\sharp(at_V(E)) = at_{V_n}(E|_{X_n})$), a nulidade da classe no restrito implica a nulidade no total.

Teorema 3.2 (Caso de Divisores Reduzidos):

• Hipóteses: $X$ com $\dim_{\mathbb{C}}(X) \ge 3$. $Z \subset X$ é um divisor efetivo reduzido.
• Construção: Considera-se o Lie algebroid associado a $Z$, definido como $W = TX \otimes \mathcal{O}_X(-Z)$ com o mapa âncora sendo a inclusão $j: W \hookrightarrow TX$ (que não é sobrejetivo).
• Resultado: $E$ admite uma conexão $(W, j)$ se e somente se, para alguma hipersuperfície suave $X_n$ de grau suficientemente grande que intersecta $Z$ propriamente (isto é, a interseção tem dimensão correta), a restrição $E|_{X_n}$ admite uma conexão $(W_n, j_n)$, onde $W_n$ é o Lie algebroid análogo sobre $X_n$ associado ao divisor $Z_n = Z \cap X_n$.

4. Contribuições e Significância

• Generalização do Teorema de Atiyah: O trabalho estende o clássico critério de restrição de Atiyah (originalmente para conexões holomórficas usuais em dimensão $\ge 3$) para uma classe vasta de objetos geométricos unificados sob a teoria de Lie algebroides.
• Unificação de Estruturas: Ao provar resultados para Lie algebroides gerais (ou específicos como os associados a divisores), o artigo fornece um quadro unificado para entender a existência de conexões em:
  • Fibrados de Higgs.
  • Conexões logarítmicas e meromorfas.
  • Módulos $\Lambda$ de Simpson.
• Redução Dimensional: O resultado permite reduzir problemas de existência de conexões em variedades de dimensão alta ($\ge 3$) para problemas em variedades de dimensão menor (hipersuperfícies), onde técnicas de classificação de fibrados podem ser mais aplicáveis.
• Limitações e Futuro: Os autores notam que a condição de sobrejetividade do mapa âncora (ou a estrutura específica de divisores) é crucial para as provas atuais. Estabelecer critérios análogos para Lie algebroides arbitrários ou foliações gerais permanece um problema em aberto.

Em suma, o artigo fornece uma ferramenta poderosa e rigorosa para a análise da existência de estruturas diferenciais holomórficas em geometria algébrica complexa de dimensão superior, conectando a teoria de cohomologia de feixes com a geometria de Lie algebroides.