Notes on acceptable bundles I

Resumo Técnico: Notas sobre Fibrados Aceitáveis I

1. Problema e Contexto

O artigo aborda o estudo detalhado dos fibrados aceitáveis (acceptable bundles) sobre um disco perfurado $\Delta^* = \{z \in \mathbb{C} \mid 0 < |z| < 1\}$. Este conceito é fundamental na teoria de Simpson–Mochizuki, que conecta a geometria algébrica, a teoria de Hodge não abeliana e a análise complexa (especificamente fibrados vetoriais com métricas hermitianas e curvatura controlada).

Embora Takuro Mochizuki tenha tratado o assunto em um contexto geral de alta dimensão (Capítulo 21 de [M4]), o tratamento do caso básico unidimensional (disco perfurado) foi relativamente breve nessas obras anteriores. O objetivo deste artigo é preencher essa lacuna, fornecendo uma análise exaustiva e autocontida do caso unidimensional, introduzindo novas ferramentas e invariantes que serão essenciais para trabalhos subsequentes (como o estudo de polidiscos parcialmente perfurados).

2. Metodologia

Os autores adotam uma abordagem que combina análise complexa, teoria de equações diferenciais parciais (especificamente equações $\bar{\partial}$) e geometria algébrica. A metodologia baseia-se nos seguintes pilares:

• Definição de Fibrados Aceitáveis: Um fibrado vetorial holomorfo $(E, h)$ sobre $\Delta^*$ é "aceitável" se a norma da sua forma de curvatura de Chern $\Theta_h(E)$ for limitada em relação à métrica de Poincaré $\omega_P$ no disco perfurado.
  $$|\Theta_h(E)|_{h, \omega_P} \leq C$$
• Prolongamento por Ordens Crescentes: O foco central é o estudo do feixe $\alpha E$, definido como o conjunto de seções holomorfas de $E$ que crescem no máximo como $O(|z|^{-\alpha-\epsilon})$ perto da singularidade. O teorema fundamental (de Simpson) afirma que $\alpha E$ é um fibrado vetorial holomorfo sobre o disco completo $\Delta$.
• Método $L^2$ e Estimativas de Crescimento: Os autores utilizam extensivamente o método $L^2$ para resolver equações $\bar{\partial}$ em variedades de Kähler completas (o disco perfurado com a métrica de Poincaré). Isso permite construir seções holomorfas com crescimento controlado.
• Coberturas Cíclicas: Para lidar com a estrutura de filtragem, os autores utilizam coberturas cíclicas $\pi: w \mapsto z^m$ para "desdobrar" o comportamento assintótico das métricas e seções, facilitando a análise de invariantes.
• Lema Chave de Simpson: Uma parte crucial da prova envolve uma versão refinada do Lema Chave de Simpson, que fornece estimativas de norma para seções constantes em fibrados com curvatura negativa, permitindo controlar o comportamento assintótico perto da origem.

3. Principais Contribuições e Novos Invariantes

A contribuição mais significativa do artigo é a introdução e o estudo rigoroso de um novo invariante numérico, denotado por $\gamma(\alpha E)$.

• Definição de $\gamma(\alpha E)$: Para um fibrado aceitável $(E, h)$ de posto $r$ e um número real $\alpha$, define-se:
  $$\gamma(\alpha E) := -\frac{1}{2} \liminf_{z \to 0} \frac{\log \det H(h, v)}{\log |z|}$$
  onde $v = \{v_1, \dots, v_r\}$ é uma base local de $\alpha E$ e $H(h, v)$ é a matriz de Gram $(h(v_i, v_j))$.
• Propriedade Fundamental: Os autores provam que este limite inferior é, na verdade, um limite e que o valor é independente da escolha da base.
• Relação com Pesos Parabólicos: O resultado central (Teorema 1.9 e Teorema 12.3) estabelece uma identidade profunda entre este invariante analítico e a estrutura algébrica de filtragem parabólica:
  $$\gamma(\alpha E) = \sum_{i=1}^r b_i$$
  onde $\{b_1, \dots, b_r\}$ são os pesos parabólicos (parabolic weights) do fibrado, contados com multiplicidade. Isso conecta diretamente o comportamento analítico da métrica (crescimento das seções) com a estrutura de filtragem do fibrado.

4. Resultados Principais

O artigo estabelece uma série de teoremas que descrevem a estrutura dos fibrados aceitáveis e suas operações:

1. Prolongamento de Fibrados de Linha (Seção 4):

   • Para um fibrado de linha aceitável $(L, h)$, existe um limite $\gamma = \lim_{z \to 0} \frac{\phi(z)}{\log |z|}$ (onde $h = |\cdot|^2 e^{-2\phi}$).
   • O prolongamento $\alpha L$ é gerado por $z^{-\lfloor \alpha - \gamma \rfloor}$.
   • Estabelece-se uma fórmula explícita para o dual: $(\alpha L)^\vee = -\alpha + 1 - \epsilon (L^\vee)$.

2. Prolongamento de Fibrados Vetoriais (Seção 6):

   • Reafirmação e prova detalhada de que $\alpha E$ é um fibrado vetorial holomorfo sobre $\Delta$ para todo $\alpha \in \mathbb{R}$.

3. Fibrados Determinantes (Seção 7 e 12):

   • O fibrado determinante $(\det E, \det h)$ é aceitável.
   • Prova-se que $\det(\alpha E) = \gamma(\alpha E) \det E$. Isso significa que o prolongamento do determinante é determinado inteiramente pelo invariante $\gamma$.

4. Dualidade (Seção 13):

   • Estabelecimento da relação precisa entre o prolongamento do fibrado dual e o original:
     $$(\alpha E)^\vee = -\alpha + 1 - \epsilon (E^\vee)$$
   • Os pesos parabólicos do dual são os negativos dos pesos originais (com um ajuste de índice).

5. Produtos Tensoriais e Hom (Seções 16 e 17):

   • O produto tensorial de fibrados aceitáveis é aceitável.
   • A filtragem parabólica induzida no produto tensorial coincide com a soma das filtragens:
     $$\alpha(E_1 \otimes E_2) = \sum_{a_1 + a_2 \leq \alpha} a_1 E_1 \otimes a_2 E_2$$
   • Resultados análogos são provados para fibrados Hom.

6. Estimativas de Norma Fraca (Teorema 1.13):

   • Para uma base compatível com a filtragem parabólica, a matriz de métrica $H(h, v')$ (onde $v'_i = v_i |z|^{b_i}$) é controlada por potências de $(-\log |z|)$, garantindo que a métrica não "explode" nem "desaparece" de forma patológica, apenas com crescimento logarítmico.

5. Significância e Impacto

• Fundamentação Teórica: O artigo fornece a base técnica rigorosa necessária para a teoria de fibrados aceitáveis em dimensão superior. Ao resolver o caso unidimensional com detalhes explícitos, ele valida as generalizações feitas por Mochizuki.
• Novas Ferramentas: A introdução do invariante $\gamma(\alpha E)$ e a prova de sua igualdade com a soma dos pesos parabólicos oferecem uma ferramenta poderosa para calcular e manipular estruturas de filtragem sem depender apenas de argumentos existenciais.
• Autocontenção: O texto é projetado para ser autocontido, reunindo lemas de análise complexa (como estimativas de funções subharmônicas e o teorema de Skoda-El Mir) que são frequentemente assumidos ou citados de forma vaga em outras obras.
• Aplicabilidade Futura: As técnicas desenvolvidas, especialmente o uso de coberturas cíclicas e o lema chave de Simpson refinado, são preparadas para serem aplicadas no estudo de fibrados em polidiscos parcialmente perfurados (o tema do artigo subsequente [FFO]), que é crucial para a compactificação de espaços de módulos e a teoria de Hodge não abeliana em variedades de dimensão superior.

Em resumo, este trabalho é uma contribuição essencial para a clareza e o rigor da teoria de fibrados aceitáveis, transformando resultados profundos, mas por vezes esquemáticos, em uma teoria completa e calculável para o caso unidimensional.