Integral Diophantine approximation on varieties

Resumo Técnico: Aproximação Diofantina Integral em Variedades

Enunciado do Problema
Este artigo investiga o comportamento local de pontos inteiros em pares logarítmicos $(X, D)$ próximos a um ponto racional fixo $x$ no divisor de fronteira $D$. Enquanto a aproximação diofantina clássica concerne à densidade de pontos racionais em variedades projetivas, os pontos inteiros em variedades afins (ou subconjuntos abertos $U = X \setminus D$) são restringidos pelo reticulado inteiro e não podem aproximar pontos reais arbitrários no interior. No entanto, pontos inteiros podem acumular-se próximo à fronteira. A questão central abordada é: quão bem um ponto racional fixo $x \in D(k)$ pode ser aproximado por pontos inteiros $y \in U(o)$, medido pela taxa de decaimento da distância $d_v(x, y)$ em relação à altura $H_L(y)$?

Os autores buscam determinar a constante de aproximação integral $\alpha_v(x, U; L)$, definida como o ínfimo dos expoentes $a$ tais que $d_v(x, y)^a H_L(y)$ permanece limitado para infinitos pontos inteiros $y$. Este trabalho estende a estrutura geométrica de McKinnon e Roth, que estudaram constantes de aproximação racional, para o contexto integral, motivado pelo teorema de Siegel sobre pontos inteiros em curvas e pela distribuição de pontos inteiros em variedades log-Fano.

Metodologia
Os autores empregam uma combinação de geometria aritmética, a teoria de esquemas logarítmicos e a geometria dos números.

1. Esquemas Logarítmicos e Parametrização Integral: O estudo é enquadrado dentro da teoria de esquemas logarítmicos sobre um domínio de Dedekind. Os autores classificam curvas racionais em um par logarítmico $(X, D)$ que podem suportar infinitos pontos inteiros. Ao invocar o teorema de Siegel, restringem a atenção a curvas onde o divisor de fronteira $D$ intersecta a curva em no máximo dois pontos.

   • Curvas Racionais Logarítmicas: Curvas onde a interseção com a fronteira consiste em um ponto (ou zero). Estas admitem parametrizações pela reta afim $\mathbb{A}^1$.
   • Curvas Toroidais: Curvas onde a interseção consiste em dois pontos. Estas admitem parametrizações por um toro (seja $\mathbb{G}_m$ ou um toro de norma unitária).
   • Os autores constroem explicitamente parametrizações integrais para essas curvas, mostrando que pontos inteiros em curvas racionais logarítmicas correspondem à reta afim, enquanto aqueles em curvas toroidais correspondem a subgrupos de unidades em uma extensão de corpo de números.

2. Constantes de Aproximação em Curvas: Usando as parametrizações explícitas, os autores calculam as constantes de aproximação integral para esses tipos específicos de curvas.

   • Para curvas racionais logarítmicas, a constante é determinada pelo grau do fibrado de linha e pela multiplicidade da curva no ponto $x$.
   • Para curvas toroidais, a constante depende se a curva é nodal (singular) ou suave, e crucialmente do corpo de decomposição da curva e do comportamento das unidades nesse corpo (Teorema das Unidades de Dirichlet).

3. Formulação de Conjectura: Com base nos cálculos em curvas, os autores propõem uma conjectura análoga à conjectura de McKinnon para pontos racionais. Eles postulam que, para variedades log-Fano fracamente satisfazendo a propriedade de Hilbert integral, a constante global de aproximação integral é governada pelas constantes de aproximação de curvas racionais específicas (racionais logarítmicas ou toroidais) passando pelo ponto de fronteira.

4. Verificação via Exemplos: A conjectura é verificada em dois contextos distintos:

   • Uma superfície del Pezzo específica de grau 6 (uma variedade toric obtida soprando $\mathbb{P}^1 \times \mathbb{P}^1$).
   • Uma família geral de variedades toricas projetivas suaves com cones pseudo-efetivos simpliciais.

Principais Contribuições e Resultados

• Definição de Constantes de Aproximação Integral: O artigo formaliza a noção de uma constante de aproximação para pontos inteiros próximos a um divisor de fronteira, distinguindo-a do caso racional pela natureza da medida limite (suportada na fronteira).
• Classificação de Curvas Contribuintes: Os autores provam que apenas curvas racionais logarítmicas e toroidais podem contribuir para constantes de aproximação integral finitas. Eles fornecem fórmulas precisas para essas constantes (Proposições 4.1 e 4.5), destacando o papel do corpo de decomposição e da natureza "nodal" da curva.
• Conjectura 4.8: O artigo conjectura que, para esquemas log-Fano fracamente com a propriedade de Hilbert integral, a constante de aproximação $\alpha_v(x, U; L)$ é alcançada por uma curva racional $C$ que é ou racional logarítmica ou toroidal.
• Exemplo: Superfície del Pezzo de Grau 6: Os autores analisam uma superfície específica onde a constante de aproximação é 1. Eles demonstram que as "melhores" aproximações residem em duas curvas racionais logarítmicas suaves. Além disso, mostram que a constante de aproximação "essencial" (ignorando essas curvas específicas) é 2, alcançada simultaneamente por três tipos distintos de curvas: curvas racionais logarítmicas suaves, curvas toroidais nodais e curvas racionais logarítmicas com cúspide. Isso ilustra que diferentes famílias geométricas podem produzir a mesma constante de aproximação, apesar de terem taxas de crescimento drasticamente diferentes para o número de pontos inteiros (polinomial versus logarítmica).
• Variedades Toricas: O artigo prova a conjectura para uma classe de variedades toricas. O Teorema 6.1 estabelece que, para uma variedade torica projetiva suave e dividida e um ponto $x$ em um divisor de fronteira específico, a constante de aproximação integral é igual ao grau da curva racional mínima associada a uma coleção primitiva central contendo esse divisor.

Significado e Alegações
O artigo alega fornecer uma caracterização geométrica de como pontos inteiros se acumulam próximo à fronteira de variedades log-Fano. Ao estabelecer que essas taxas de acumulação são governadas por curvas racionais, o trabalho preenche a lacuna entre a distribuição de pontos inteiros (problemas do tipo Manin) e a aproximação diofantina local.

Os autores enfatizam que seus resultados verificam a conjectura para exemplos específicos e variedades toricas, sugerindo que o fenômeno é robusto. Eles notam que, embora as constantes de aproximação possam ser as mesmas para diferentes famílias de curvas, a "densidade" de pontos (a função de contagem) varia significativamente, com curvas racionais logarítmicas fornecendo crescimento polinomial e curvas toroidais fornecendo crescimento logarítmico. Essa distinção é crucial para entender a geometria do par $(X, D)$ e a natureza da propriedade de Hilbert integral.

O trabalho não alega resolver o caso geral para todas as variedades, mas oferece uma estrutura e verificações específicas que suportam a hipótese de que curvas racionais são os principais impulsionadores do comportamento de aproximação integral no contexto log-Fano.