Kodaira-Iitaka dimension and multiplicity: an analytic perspective

1. Problema e Contexto

O artigo aborda a compreensão analítica de dois invariantes fundamentais na geometria algébrica complexa associados a séries lineares graduadas $W = \bigoplus_{k=0}^\infty W_k$ de um fibrado de linha holomorfo $L$ sobre uma variedade projetiva complexa $X$:

1. Dimensão de Kodaira-Iitaka ($\kappa(W)$): O grau de crescimento assintótico da dimensão dos espaços de seções $W_k$.
2. Multiplicidade ($vol_{\kappa(W)}$): O coeficiente de crescimento assintótico (volume) dessas dimensões.

Embora essas quantidades sejam bem compreendidas no contexto de séries lineares completas ($W = R(X, L)$) e fibrados "big" (onde a dimensão é máxima), o artigo busca estabelecer fórmulas analíticas precisas para séries lineares gerais (que podem não ser completas ou biracionais) e refiná-las em dois níveis:

• Nível Pontual: Analisando a convergência de kernels de Bergman parciais.
• Nível Métrico: Comparando volumes de bolas unitárias definidas por normas sup em diferentes métricas contínuas.

O trabalho também introduz e estuda uma nova noção de dimensão numérica de Kodaira-Iitaka não-pluripolar ($\kappa_{np}$), comparando-a com as definições clássicas e as existentes na literatura (como a dimensão via produto de interseção móvel).

2. Metodologia

O autor utiliza uma abordagem que combina teoria pluripotencial, teoria de interseção não-pluripolar e análise assintótica de kernels de Bergman. Os pilares metodológicos incluem:

• Envelopes Plurisubharmônicos (psh): Utilização do envelope de psh associado a uma métrica singular definida pela série linear. Para uma norma $N_k$ em $W_k$, define-se uma métrica singular de Fubini-Study $FS(N_k)$. O limite assintótico dessas métricas gera um envelope $P[W, h_L]$, que possui um potencial psh.
• Teoria de Interseção Não-Pluripolar: O autor expressa a dimensão e a multiplicidade em termos de produtos de interseção de correntes de Chern associadas a esses envelopes, integrados contra formas de Kähler.
• Aproximação de Fujita: Uso de teoremas de aproximação (Kaveh-Khovanskii, Lazarsfeld-Mustată) para reduzir o estudo de séries lineares arbitrárias a séries geradas por subespaços de dimensão finita, permitindo a aplicação de resultados de geometria algébrica em espaços singulares resolvidos.
• Energia de Monge-Ampère Relativa: Introdução de uma energia relativa generalizada ($\kappa$-energia) para medir a diferença entre volumes de bolas unitárias definidas por diferentes métricas.
• Convergência Fraca de Medidas: Análise da convergência de medidas induzidas por kernels de Bergman parciais em relação a medidas de Bernstein-Markov.

3. Principais Contribuições e Resultados

A. Fórmulas Analíticas para Dimensão e Multiplicidade

O artigo estabelece duas fórmulas centrais que expressam os invariantes algébricos através de objetos analíticos:

1. Teorema 1.1 (Dimensão): A dimensão de Kodaira-Iitaka $\kappa(W)$ é o maior inteiro $i$ tal que o produto de interseção não-pluripolar da corrente de Chern do envelope não se anula:
   $$\kappa(W) = \max \{ i \in \{0, \dots, n\} : c_1(L, P[W, h_L])^i \wedge \omega^{n-i} \neq 0 \}$$
   Isso mostra que a dimensão é determinada pela "singularidade" do envelope psh.

2. Teorema 1.3 (Multiplicidade): A multiplicidade é dada pela integral do produto de interseção de ordem $\kappa(W)$ do envelope, normalizada por um fator geométrico (integral de fibra):
   $$vol_{\kappa(W)} = \frac{1}{\phi^*[\omega]^{n-\kappa(W)}} \int_X c_1(L, P[W, h_L])^{\kappa(W)} \wedge \omega^{n-\kappa(W)}$$
   Esta fórmula generaliza resultados conhecidos de Boucksom para fibrados big para o caso geral.

B. Refinamento Métrico e Energia Relativa

O autor prova um teorema que relaciona a razão assintótica dos volumes de bolas unitárias (definidas por normas sup sobre um conjunto não-pluripolar $K$) com a energia de Monge-Ampère $\kappa$-relativa:

• Teorema 1.7:
  $$\lim_{k \to \infty} \frac{1}{k^{\kappa(W)+1}} \log \left( \frac{v(B_k[W, K, h_L^0])}{v(B_k[W, K, h_L^1])} \right) = E_\kappa(P[W, K, h_L^0]) - E_\kappa(P[W, K, h_L^1])$$
  Isso fornece uma interpretação métrica precisa da multiplicidade e generaliza resultados de Berman-Boucksom para séries lineares não-completas e fibrados não-bigs.

C. Dimensão Numérica Não-Pluripolar

O artigo introduz a dimensão numérica de Kodaira-Iitaka não-pluripolar ($\kappa_{np}(L)$), definida via a corrente de Chern com singularidades mínimas.

• Resultado Chave (Corolário 1.5): $\kappa(L) \leq \kappa_{np}(L)$.
• A desigualdade é estrita em geral, demonstrando que a dimensão de Kodaira-Iitaka clássica não é um invariante puramente numérico (depende da estrutura holomorfa, não apenas da classe de cohomologia $c_1(L)$).
• O autor posiciona $\kappa_{np}$ entre a dimensão clássica e a dimensão via produto de interseção móvel ($\kappa_{mov}$), mostrando $\kappa_{np} \leq \kappa_{mov}$.

D. Comportamento Assintótico de Kernels de Bergman

• Teorema 1.9: Para séries lineares biracionais, os kernels de Bergman parciais convergem fracamente para uma medida de equilíbrio definida pelo envelope psh.
• Contraexemplo (Seção 5.1): O autor constrói um exemplo explícito onde a convergência fraca falha para séries lineares não-biracionais, ligando esse fenômeno à não-diferenciabilidade da energia de Monge-Ampère $\kappa$-relativa em certas direções. Isso contrasta com o caso clássico de fibrados big e séries completas, onde a convergência e diferenciabilidade são garantidas.

E. Fechamento Analítico e Integral

O artigo define o fechamento analítico de uma série linear e prova que ele contém o fechamento integral.

• Teorema 2.1: Para qualquer série linear $W$, sua dimensão de Kodaira-Iitaka é igual à do seu fechamento integral $\bar{W}$, e a multiplicidade escala pelo grau genérico do mapa racional associado.

4. Significado e Impacto

Este trabalho é significativo por várias razões:

1. Unificação Analítica-Algébrica: Conecta invariantes puramente algébricos (dimensão e multiplicidade de séries lineares) com ferramentas poderosas da análise complexa (potenciais psh, correntes de Chern, energia de Monge-Ampère).
2. Generalização: Estende resultados fundamentais da teoria de volumes de fibrados big (como os de Boucksom, Berman, Witt Nyström) para o contexto de séries lineares arbitrárias e fibrados que não são necessariamente big.
3. Novos Invariantes: A introdução da dimensão $\kappa_{np}$ oferece uma nova ferramenta para distinguir entre propriedades numéricas e holomorfas de fibrados de linha, esclarecendo a natureza da dimensão de Kodaira-Iitaka.
4. Limites da Convergência: Ao fornecer contraexemplos para a convergência de kernels de Bergman em casos não-biracionais, o artigo delimita rigorosamente as condições sob as quais a quantização geométrica e a teoria de Bergman funcionam de forma suave.
5. Aplicações: Os resultados têm implicações diretas para a teoria de fechamento integral de séries lineares, a quantização geométrica e o estudo de variedades com ações de grupos (séries invariantes).

Em resumo, o artigo oferece uma perspectiva analítica profunda e refinada sobre a geometria das séries lineares, estabelecendo novas fórmulas de volume e dimensão que são robustas mesmo na ausência de propriedades de "bigness" ou biracionalidade, ao mesmo tempo que identifica as falhas de convergência que surgem nesses contextos mais gerais.