Dual $p$-adic Diophantine approximation on manifolds

Resumo Técnico: Aproximação Diofantina $p$-ádica Dual em Variedades

Enunciado do Problema
Este artigo aborda o Problema Generalizado de Baker-Schmidt (GBSP) no contexto da aproximação diofantina dual em variedades sobre os números $p$-ádicos, $\mathbb{Q}_p$. O GBSP busca determinar a medida de Hausdorff do conjunto de pontos $\psi$-aproximáveis em uma variedade não degenerada. Enquanto a parte de divergência deste problema (estabelecer que a medida é infinita quando uma certa série diverge) foi resolvida tanto para cenários reais quanto $p$-ádicos (por Beresnevich-Dickinson-Velani, Badziahin-Beresnevich-Velani e Datta-Ghosh), a parte correspondente de convergência (estabelecer que a medida é zero quando a série converge) permanece um problema aberto desafiador, particularmente no cenário $p$-ádico.

Os autores focam no caso homogêneo ($\theta = 0$) e no caso inhomogêneo ($\theta \neq 0$) para aproximação dual. Especificamente, eles investigam o conjunto $D_n^{\theta}(\Psi)$ de pontos $x \in \mathbb{Q}_p^n$ satisfazendo $|a_1 x_1 + \dots + a_n x_n + a_0 + \theta|_p < \Psi(a)$ para infinitos vetores inteiros $a = (a_0, \dots, a_n)$. O objetivo é provar que, para classes específicas de variedades, a medida de Hausdorff $f$-dimensional da interseção deste conjunto com a variedade é zero, desde que a soma dos termos da função de aproximação convirja.

Metodologia
O artigo emprega uma combinação de análise $p$-ádica, teoria da medida geométrica e o quadro do princípio de transposição de massa adaptado a espaços ultramétricos.

1. Variedades Analíticas e Diferenciabilidade Forte: Diferentemente do cenário real, onde a regularidade $C^2$ frequentemente basta, os autores exigem que as variedades sejam definidas por mapas analíticos. Isso é necessário pelo Teorema da Função Inversa $p$-ádico, que depende da diferenciabilidade forte (uma condição mais forte que a diferenciabilidade ordinária em espaços $p$-ádicos) para garantir propriedades de isomorfismo local.
2. Redução a Estimativas Locais: A variedade $M$ é parametrizada por um mapa analítico $g: U \subset \mathbb{Q}_p^d \to \mathbb{Q}_p^{n-d}$. O problema é reduzido à estimativa da medida de Hausdorff do conjunto $S(a) = \{x \in U : |h_a(x)|_p < \Psi(a)\}$, onde $h_a$ é uma combinação linear das coordenadas e da função da variedade $g$.
3. Lema Chave (Lema 2.3): A contribuição técnica central é a prova de um lema de cobertura (Lema 2.3) que limita o conteúdo de Hausdorff de $S(a)$. A prova envolve uma análise caso a caso baseada no gradiente $\nabla h_a(x)$:
   • Caso (a): $a_2 = 0$ (apenas parte linear).
   • Caso (b): O gradiente é dominado pelo termo linear.
   • Caso (c): O gradiente se anula em um ponto (ponto crítico).
   • Caso (d): O gradiente é não nulo e limitado afastado de zero.
     Em cada caso, os autores utilizam o Teorema do Valor Médio $p$-ádico e o determinante não nulo da matriz Hessiana (sob a Condição II$_p$) para mostrar que $S(a)$ pode ser coberto por um número específico de bolas de um certo raio.
4. Condições da Função de Dimensão: A prova depende de condições específicas para a função de dimensão $f(r)$, denotadas como (I$_p$) e (II$_p$). A Condição (I$_p$) impõe uma restrição de crescimento ($f(xy) \ll x^s f(y)$) para algum $s < 2(d-1)$. A Condição (II$_p$) exige que a Hessiana da parametrização da variedade seja não singular em quase toda parte com respeito à medida de Hausdorff $H_f$.
5. Soma e Convergência: Usando o Lema de Hausdorff-Cantelli, os autores somam as medidas dos conjuntos de cobertura sobre os vetores inteiros. Eles lidam cuidadosamente com a soma sobre diferentes subconjuntos de vetores inteiros ($Z^{(1)}$ e $Z^{(2)}$) e utilizam a condição $\Psi(a) < \|a\|^{-1}$ para garantir a convergência da série.

Contribuições e Resultados Principais
O resultado primário é o Teorema 1.4, que estabelece a parte de convergência do GBSP para aproximação dual $p$-ádica em variedades sob condições específicas de regularidade e curvatura.

• Teorema 1.4(i): Para o conjunto de vetores inteiros onde $p$ divide no máximo um componente (conjunto $Z^{(1)}$), a medida de Hausdorff $H_f(D_n^{\theta}(\Psi, Z^{(1)}) \cap M)$ é zero se $\sum \Psi(a)^{-(d-1)} f(\Psi(a)) < \infty$. Isso vale para qualquer dimensão $d$ e satisfaz a previsão do GBSP.
• Teorema 1.4(ii): Para o conjunto de vetores inteiros onde $p$ não divide todos os componentes (conjunto $Z^{(2)}$), a medida é zero sob a mesma condição de convergência, desde que $|\theta|_p \neq 1$. Os autores notam que essa restrição em $\theta$ é um artefato de seu método.
• Teorema 1.4(iii): Para o conjunto completo de vetores inteiros não nulos no caso homogêneo ($\theta=0$), a medida é zero se a série convergir e $\Psi$ satisfizer uma condição de escalonamento ($p\Psi(a) \leq \Psi(p^{-1}a)$).

Corolários e Casos Específicos:

• Teorema 1.8: Combina o resultado de convergência com o resultado de divergência de Datta e Ghosh (Teorema 1.5) para fornecer uma dicotomia zero-inteira para a medida de Hausdorff $s$-dimensional ($d-1 < s < 2(d-1)$) em variedades analíticas não degeneradas.
• Corolário 1.10: Calcula explicitamente a dimensão de Hausdorff para funções de aproximação de lei de potência $\Psi(a) = \|a\|^{-1-\tau}$ com $\tau > n$. A dimensão é dada por $d - 1 + \frac{n+1}{1+\tau}$.
• Dimensão $d=2$: Uma característica notável deste trabalho é que ele estende resultados para hipersuperfícies de dimensão $d=2$ (dimensão ambiente 3), whereas resultados anteriores em cenário real frequentemente exigiam $d \geq 3$. Isso é alcançado assumindo a desigualdade estrita $\tau > n$, o que melhora o intervalo de parâmetros para $s$.

Significado e Afirmações
O artigo afirma resolver o correspondente de convergência do Problema Generalizado de Baker-Schmidt para aproximação dual $p$-ádica em uma classe significativa de variedades (hipersuperfícies de dimensão $d \geq 3$ e certas outras classes satisfazendo condições de Hessiana).

• Extensão da Teoria: Estende os resultados conhecidos de divergência (Datta-Ghosh) para uma dicotomia completa zero-inteira para aproximação dual homogênea em hipersuperfícies suficientemente curvas no espaço $p$-ádico.
• Requisitos de Regularidade: Os autores destacam que a exigência de analiticidade (em vez de apenas $C^2$) é uma necessidade técnica no cenário $p$-ádico devido à natureza do Teorema da Função Inversa em espaços ultramétricos.
• Limitações: Os autores modestamente notam que o resultado inhomogêneo (Teorema 1.4(ii)) requer a condição $|\theta|_p \neq 1$, para a qual não têm uma explicação satisfatória. Além disso, os resultados para não hipersuperfícies (codimensão $>1$) dependem da Condição (II$_p$), que impõe restrições rígidas aos pares de dimensões $(n, d)$, embora sugiram que estas possam ser simplificáveis no caso analítico.
• Escopo: Os resultados são apresentados para funções de aproximação multivariáveis $\Psi$, embora os corolários frequentemente se especializem em formas univariáveis. O artigo não afirma resolver o GBSP para todas as variedades ou todas as funções de aproximação, mas sim para aquelas que satisfazem as condições analíticas e de curvatura específicas delineadas.