Holomorphic Lie algebroid connections over rationally connected varieties

Resumo Técnico: Conexões de Lie Algebroides Holomorfos sobre Variedades Racionalmente Conectadas

Enunciado do Problema
O artigo investiga a existência e as propriedades de conexões de Lie algebroides holomorfos em fibrados vetoriais sobre variedades projetivas complexas suaves. Enquanto conexões holomorfas em fibrados vetoriais sobre superfícies de Riemann compactas são bem compreendidas (a existência implica planaridade, e a existência é governada por condições de grau em somandos indecomponíveis), a situação sobre variedades de dimensão superior é mais restritiva. Especificamente, os autores abordam o comportamento dessas conexões quando a variedade base $X$ é racionalmente conectada (onde quaisquer dois pontos podem ser unidos por uma curva racional irredutível) e a estrutura subjacente é um Lie algebrole holomorfo geral $(V, \phi)$, em vez do fibrado tangente padrão $(TX, \text{Id}_{TX})$.

A questão central é: Sob quais condições um fibrado vetorial holomorfo $E$ sobre uma variedade racionalmente conectada $X$ admite uma $(V, \phi)$-conexão e, se tal conexão existir, ela é necessariamente plana?

Metodologia
Os autores empregam uma combinação de técnicas de geometria algébrica e a teoria de Lie algebroides:

1. Estrutura de Lie Algebrole: O artigo utiliza a definição de um Lie algebrole $(V, \phi)$, onde $V$ é um fibrado vetorial holomorfo e $\phi: V \to TX$ é o mapa âncora. Uma $(V, \phi)$-conexão é definida como um mapa holomorfo $\mathbb{C}$-linear $\nabla: E \to E \otimes V^*$ satisfazendo a regra de Leibniz envolvendo o dual do mapa âncora $\phi^*$.
2. Formulação via Fibrado de Jato: A existência de uma $(V, \phi)$-conexão é caracterizada pela divisão de uma sequência exata curta específica envolvendo o fibrado de jato $V$-de primeira ordem $J^1_V(E)$. Especificamente, $E$ admite uma conexão se e somente se a sequência $0 \to E \otimes V^* \to J^1_V(E) \to E \to 0$ se dividir holomorficamente.
3. Restrição a Curvas Racionais: Um passo metodológico chave envolve restringir o problema a morfismos não constantes $f: \mathbb{P}^1 \to X$. Como $X$ é racionalmente conectada, tais curvas são abundantes. Os autores puxam o Lie algebrole $(V, \phi)$ e o fibrado $E$ para $\mathbb{P}^1$, construindo um novo Lie algebrole $(V_f, \hat{\phi})$ sobre $\mathbb{P}^1$.
4. Condições Ampla e Estritamente Nef: As provas dependem fortemente das propriedades do núcleo $S := \text{Ker}(\phi)$. Os autores assumem que $S$ é estritamente nef. Eles utilizam o fato de que o pullback de um fibrado estritamente nef para $\mathbb{P}^1$ permanece estritamente nef (e, portanto, possui componentes de grau positivo). Isso permite invocar teoremas de anulação (via dualidade de Serre) para mostrar que certas classes de extensão se anulam, forçando as sequências relevantes a se dividirem.
5. Análise de Curvatura: Para provar a planaridade, os autores analisam a curvatura $K(\nabla) \in H^0(X, \text{End}(E) \otimes \bigwedge^2 V^*)$. Ao restringir a curvas racionais onde o pullback de $TX$ é amplo, eles demonstram que o pullback de $V$ também é amplo. Consequentemente, o fibrado $\bigwedge^2 V^*$ consiste em fibrados de linha de grau negativo, levando ao anulação das seções globais da curvatura nessas curvas. Pela densidade de Zariski de tais curvas, a curvatura global se anula.

Contribuições e Resultados Principais
O artigo estabelece dois teoremas principais sob a suposição de que $X$ é uma variedade projetiva complexa suave e racionalmente conectada e $(V, \phi)$ é um Lie algebrole com um mapa âncora sobrejetivo $\phi$ tal que $S := \text{Ker}(\phi)$ é estritamente nef:

• Teorema 3.1 (Critério de Existência): Um fibrado vetorial holomorfo $E$ sobre $X$ admite uma $(V, \phi)$-conexão se e somente se $E$ for trivial holomorficamente.

  • Mecanismo: A prova mostra que, se uma conexão existir, seu pullback para qualquer curva racional $\mathbb{P}^1$ produz uma conexão holomorfa em um fibrado sobre $\mathbb{P}^1$. Como qualquer conexão holomorfa em $\mathbb{P}^1$ implica que o fibrado é trivial (devido à simples conexidade e planaridade), $f^*E$ é trivial para todas essas curvas. Isso força $E$ a ser trivial em $X$.

• Teorema 3.2 (Planaridade): Qualquer $(V, \phi)$-conexão em um fibrado vetorial holomorfo sobre $X$ (que deve ser trivial pelo Teorema 3.1) é plana (integrável).

  • Mecanismo: A curvatura da conexão, quando restrita a curvas racionais onde $f^*TX$ é amplo, deve se anular porque o grupo de cohomologia relevante $H^0(\mathbb{P}^1, \bigwedge^2 f^*V^*)$ é zero devido à negatividade dos graus do dual de um fibrado amplo. Como essas curvas cobrem um subconjunto denso de Zariski de $X$, a curvatura global é zero.

• Corolário 3.3: Como uma aplicação específica, se $X$ é racionalmente conectada e $E$ admite uma conexão holomorfa usual (correspondendo ao Lie algebrole $(TX, \text{Id}_{TX})$), então $E$ é trivial holomorficamente e a conexão é plana.

Significado e Afirmações
O artigo afirma generalizar resultados conhecidos sobre conexões holomorfas em superfícies de Riemann e variedades Calabi-Yau para o contexto mais amplo de variedades racionalmente conectadas e conexões de Lie algebroides.

• Unificação: O trabalho unifica vários objetos geométricos (fibrados de Higgs, conexões logarítmicas, conexões meromorfas) sob o único quadro de conexões de Lie algebroides, mostrando que, para variedades racionalmente conectadas com núcleos estritamente nef, a existência de tais estruturas é uma condição extremamente rígida.
• Rigidez: Os resultados destacam um forte fenômeno de rigidez: em variedades racionalmente conectadas com as condições específicas de Lie algebrole, os únicos fibrados vetoriais capazes de suportar uma $(V, \phi)$-conexão são os triviais, e qualquer tal conexão é automaticamente plana.
• Escopo: Os autores não afirmam resolver o problema para todas as variedades racionalmente conectadas ou todos os Lie algebroides; os resultados são estritamente condicionados à sobrejetividade do mapa âncora e à nef estrita de seu núcleo. O artigo posiciona essas descobertas como uma extensão natural do trabalho clássico de Atiyah sobre conexões sobre curvas para configurações racionais de dimensão superior.