Kobayashi length bounds on bordered surfaces and generalized integral points on abelian varieties

Resumo Técnico

1. O Problema e o Contexto

O artigo aborda dois problemas interligados na geometria aritmética e na teoria de superfícies de Riemann:

1. Crescimento de Comprimento Kobayashi: Determinar a taxa assintótica de crescimento do comprimento mínimo de Kobayashi de um laço não trivial em uma superfície hiperbólica com borda ($B_0$) quando pontos (singularidades) são removidos aleatoriamente. Especificamente, dada uma superfície $B_0$ e um laço $\alpha$, qual é o comportamento de $L(\alpha, s)$, definido como o supremo do comprimento mínimo de um representante de $\alpha$ em $B_0 \setminus S$, onde $S$ é um conjunto de até $s$ pontos?
2. Pontos Integrais Generalizados: Estimar o número de pontos integrais generalizados em variedades abelianas sobre corpos de funções complexos. O trabalho anterior de Phung [7] estabeleceu um limite superior para o número desses pontos, mas o expoente no termo de crescimento era considerado subótimo.

O contexto central é a Conjectura Geométrica de Lang-Vojta, que prevê restrições fortes sobre a distribuição de pontos integrais em pares de tipo log-geral. Para variedades abelianas, a conjectura permanece aberta no caso não constante, e este artigo visa refinar os limites quantitativos conhecidos.

2. Metodologia

A abordagem de Dolce combina análise complexa (métrica de Kobayashi-Royden), geometria hiperbólica e teoria de cociclos de Parshin.

• Melhoria do Limite Superior de Kobayashi (Teorema 1.5):

  • Abordagem Anterior (Phung): Estava baseada em estimativas pontuais diretas, resultando em um limite linear $O(s)$.
  • Nova Abordagem (Dolce): Utiliza uma média integral sobre uma "faixa de Fermi" ($T_\delta(\gamma)$) ao redor de um laço suave $\gamma$.
  • Técnica Chave: A decomposição da faixa em células de Voronoi centradas nos pontos de $S$. O autor analisa a função de distorção $\lambda_S$ (razão entre a métrica de Kobayashi de $B_0 \setminus S$ e uma métrica de fundo $\rho$).
  • Integração $L^p$: Em vez de estimar o pico da função, o autor calcula a norma $L^p$ de $\lambda_S$ para um expoente variável $1 < p < 2$. A integrabilidade de $\lambda_S$ para $p < 2$ (devido ao comportamento de $1/d$ perto dos pontos removidos) permite controlar a singularidade.
  • Otimização: Aplica-se a desigualdade de Hölder para converter o limite $L^p$ em um limite para o comprimento de uma curva paralela específica $\gamma_{u_0}$ que evita $S$. O expoente $p$ é otimizado como $p = 2 - 1/\log(s+2)$, equilibrando a divergência da norma $L^p$ quando $p \to 2$ com a precisão da desigualdade de Hölder.

• Aplicação a Pontos Integrais (Teorema 1.4):

  • O autor reexamina a prova de Phung, que utiliza o argumento de cociclos de Parshin para contar pontos em variedades abelianas.
  • Modificação Crítica: Substitui o limite linear $O(s)$ para o comprimento dos laços na base (passo 2 da prova original) pelo novo limite sublinear $O(\sqrt{s \log s})$ obtido no Teorema 1.5.
  • Adaptação Técnica: Diferente do argumento original, que exigia que todos os laços compartilhassem um ponto base comum, a nova prova permite que os laços tenham pontos base distintos. Como a fibra (grupo fundamental da variedade abeliana) é abeliana, as classes de cohomologia resultantes são equivalentes, permitindo que a contagem de lattice (rede) proceda sem alterações fundamentais na estrutura algébrica.

3. Contribuições e Resultados Principais

A. Teorema 1.5 (Limite de Comprimento Kobayashi):
O autor prova que para um laço não trivial $\alpha$ em uma superfície hiperbólica com borda $B_0$, o comprimento mínimo $L(\alpha, s)$ satisfaz:
$$L(\alpha, s) \leq C \sqrt{(s+1) \log(s+2)}$$
Isso refina o limite superior anterior de $O(s)$ e, combinado com o limite inferior conhecido de Phung ($\Omega(\sqrt{s}/\log s)$), determina a taxa de crescimento exata:
$$\lim_{s \to \infty} \frac{\log L(\alpha, s)}{\log s} = \frac{1}{2}$$
Nota: Isso responde positivamente à Questão 1.4 levantada em [7].

B. Teorema 1.4 (Limite para Pontos Integrais Generalizados):
Para uma variedade abeliana $A$ de dimensão $n$ sobre o corpo de funções $K = \mathbb{C}(B)$, o número de pontos integrais generalizados $(s, B_0)$ (módulo o traço constante) é limitado por:
$$\# \left( I(s, B_0) / \text{Tr}_{K/\mathbb{C}}(A)(\mathbb{C}) \right) \leq m (s+1)^{nk + \varepsilon}$$
onde $k = \text{rk}(\pi_1(B_0))$ e $\varepsilon > 0$ é arbitrário.

Comparação com Resultados Anteriores:

• Phung [7]: Limite de ordem $s^{2nk}$.
• Dolce [Este Artigo]: Limite de ordem $s^{nk + \varepsilon}$.
• Impacto: O expoente foi reduzido pela metade (de $2nk$ para $nk$), alinhando-se com o comportamento esperado para curvas elípticas ($n=1$) e resultados clássicos de Hindry-Silverman e Shioda.

4. Significado e Implicações

1. Otimização de Limites Quantitativos: A redução do expoente de $2nk$ para $nk$ é um avanço significativo na Conjectura de Lang-Vojta geométrica. Embora a conjectura exija um limite linear em $s$ (expoente 1), a redução pela metade do expoente atual é um passo crucial em direção a essa meta, especialmente para variedades abelianas não constantes.
2. Novas Técnicas Analíticas: O método de usar médias integrais $L^p$ sobre faixas de Fermi e decomposição de Voronoi para estimar métricas de Kobayashi em superfícies perfuradas é uma ferramenta poderosa que pode ser aplicada a outros problemas de geometria hiperbólica e teoria de valores excepcionais.
3. Flexibilidade Topológica: A prova demonstra que a restrição de pontos base comuns, frequentemente usada em argumentos de cociclos, pode ser relaxada quando a estrutura da fibra é abeliana, simplificando a análise de laços em superfícies com múltiplas singularidades.
4. Resolução de Questões Abertas: O trabalho resolve explicitamente a questão sobre o comportamento assintótico de $L(\alpha, s)$, confirmando que a raiz quadrada ($\sqrt{s}$) é a taxa correta, com correções logarítmicas menores.

Em suma, o artigo fornece uma melhoria fundamental na compreensão quantitativa da distribuição de pontos integrais em variedades abelianas, utilizando técnicas refinadas de análise complexa para otimizar limites geométricos subjacentes.