Dual $p$-adic Diophantine approximation on manifolds

Technische Samenvatting: Dual $p$-adische Diophantische Benadering op Variëteiten

Probleemstelling
Dit artikel behandelt het Veralgemeende Baker-Schmidt-probleem (GBSP) in de context van dual Diophantische benadering op variëteiten over de $p$-adische getallen, $\mathbb{Q}_p$. Het GBSP streeft ernaar de Hausdorff-maat van de verzameling van $\psi$-benaderbare punten op een niet-degenererende variëteit te bepalen. Hoewel het divergentiedeel van dit probleem (het vaststellen dat de maat oneindig is wanneer een bepaalde reeks divergeert) is opgelost voor zowel de reële als de $p$-adische setting (door Beresnevich-Dickinson-Velani, Badziahin-Beresnevich-Velani en Datta-Ghosh), blijft het overeenkomstige convergentiedeel (het vaststellen dat de maat nul is wanneer de reeks convergeert) een uitdagend open probleem, met name in de $p$-adische setting.

De auteurs richten zich op de homogene geval ($\theta = 0$) en het inhomogene geval ($\theta \neq 0$) voor dual benadering. Specifiek onderzoeken zij de verzameling $D_n^{\theta}(\Psi)$ van punten $x \in \mathbb{Q}_p^n$ die voldoen aan $|a_1 x_1 + \dots + a_n x_n + a_0 + \theta|_p < \Psi(a)$ voor oneindig veel geheeltallige vectoren $a = (a_0, \dots, a_n)$. Het doel is te bewijzen dat voor specifieke klassen van variëteiten de $f$-dimensionale Hausdorff-maat van de doorsnede van deze verzameling met de variëteit nul is, mits de som van de termen van de benaderingsfunctie convergeert.

Methodologie
Het artikel maakt gebruik van een combinatie van $p$-adische analyse, meetkundige maattheorie en het raamwerk van het massatransferentieprincipe, aangepast aan ultrametrische ruimten.

1. Analytische Variëteiten en Sterke Differentieerbaarheid: In tegenstelling tot de reële setting, waar $C^2$-regulariteit vaak volstaat, vereisen de auteurs dat variëteiten worden gedefinieerd door analytische afbeeldingen. Dit wordt noodzakelijk gemaakt door de $p$-adische Inverse Functiestelling, die steunt op sterke differentieerbaarheid (een sterkere voorwaarde dan gewone differentieerbaarheid in $p$-adische ruimten) om lokale isomorfisme-eigenschappen te waarborgen.
2. Reductie tot Lokale Schattingen: De variëteit $M$ wordt geparametriseerd door een analytische afbeelding $g: U \subset \mathbb{Q}_p^d \to \mathbb{Q}_p^{n-d}$. Het probleem wordt gereduceerd tot het schatten van de Hausdorff-maat van de verzameling $S(a) = \{x \in U : |h_a(x)|_p < \Psi(a)\}$, waarbij $h_a$ een lineaire combinatie is van de coördinaten en de variëteitsfunctie $g$.
3. Kernlemma (Lemma 2.3): De centrale technische bijdrage is het bewijs van een overdekkingslemma (Lemma 2.3) dat de Hausdorff-inhoud van $S(a)$ begrenst. Het bewijs omvat een analyse per geval op basis van de gradiënt $\nabla h_a(x)$:
   • Geval (a): $a_2 = 0$ (alleen lineair deel).
   • Geval (b): De gradiënt wordt gedomineerd door het lineaire term.
   • Geval (c): De gradiënt verdwijnt in een punt (kritiek punt).
   • Geval (d): De gradiënt is niet-verdwindend en bounded away from zero.
     In elk geval maken de auteurs gebruik van de $p$-adische Gemiddelde-Waardestelling en de niet-verdwindende determinant van de Hessiaan-matrix (onder Voorwaarde II$_p$) om aan te tonen dat $S(a)$ kan worden overdekt door een specifiek aantal ballen met een bepaalde straal.
4. Voorwaarden voor Dimensiefuncties: Het bewijs steunt op specifieke voorwaarden voor de dimensiefunctie $f(r)$, aangeduid als (I$_p$) en (II$_p$). Voorwaarde (I$_p$) legt een groeibeperking op ($f(xy) \ll x^s f(y)$) voor zekere $s < 2(d-1)$. Voorwaarde (II$_p$) vereist dat de Hessiaan van de variëteitsparametrisatie bijna overal niet-singulier is met betrekking tot de Hausdorff-maat $H_f$.
5. Sommatie en Convergentie: Met behulp van het Hausdorff-Cantelli-lemma sommeren de auteurs de maten van de overdekkende verzamelingen over de geheeltallige vectoren. Zij behandelen zorgvuldig de sommatie over verschillende deelverzamelingen van geheeltallige vectoren ($Z^{(1)}$ en $Z^{(2)}$) en maken gebruik van de voorwaarde $\Psi(a) < \|a\|^{-1}$ om de convergentie van de reeks te waarborgen.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Stelling 1.4, die het convergentiedeel van het GBSP voor dual $p$-adische benadering op variëteiten vaststelt onder specifieke regulariteits- en krommingsvoorwaarden.

• Stelling 1.4(i): Voor de verzameling geheeltallige vectoren waarbij $p$ ten hoogste één component deelt (verzameling $Z^{(1)}$), is de Hausdorff-maat $H_f(D_n^{\theta}(\Psi, Z^{(1)}) \cap M)$ gelijk aan nul als $\sum \Psi(a)^{-(d-1)} f(\Psi(a)) < \infty$. Dit geldt voor elke dimensie $d$ en voldoet aan de voorspelling van het GBSP.
• Stelling 1.4(ii): Voor de verzameling geheeltallige vectoren waarbij $p$ niet alle componenten deelt (verzameling $Z^{(2)}$), is de maat nul onder dezelfde convergentievoorwaarde, mits $|\theta|_p \neq 1$. De auteurs merken op dat deze beperking op $\theta$ een artefact is van hun methode.
• Stelling 1.4(iii): Voor de volledige verzameling van niet-nul geheeltallige vectoren in het homogene geval ($\theta=0$), is de maat nul als de reeks convergeert en $\Psi$ voldoet aan een schaalvoorwaarde ($p\Psi(a) \leq \Psi(p^{-1}a)$).

Corollaria en Specifieke Gevallen:

• Stelling 1.8: Combineert het convergentieresultaat met het divergentieresultaat van Datta en Ghosh (Stelling 1.5) om een nul-vol dichotomie te bieden voor de $s$-dimensionale Hausdorff-maat ($d-1 < s < 2(d-1)$) op analytische niet-degenererende variëteiten.
• Corollarium 1.10: Berekent expliciet de Hausdorff-dimensie voor machtsregel-benaderingsfuncties $\Psi(a) = \|a\|^{-1-\tau}$ met $\tau > n$. De dimensie wordt gegeven door $d - 1 + \frac{n+1}{1+\tau}$.
• Dimensie $d=2$: Een opvallend kenmerk van dit werk is dat het resultaten uitbreidt naar hypersurfaces van dimensie $d=2$ (omgevingsdimensie 3), terwijl eerdere resultaten in de reële setting vaak $d \geq 3$ vereisten. Dit wordt bereikt door een strikte ongelijkheid $\tau > n$ aan te nemen, wat het parametervak voor $s$ verbetert.

Betekenis en Aanspraken
Het artikel claimt het convergentie-tegenhanger van het Veralgemeende Baker-Schmidt-probleem op te lossen voor dual $p$-adische benadering op een aanzienlijke klasse van variëteiten (hypersurfaces van dimensie $d \geq 3$ en bepaalde andere klassen die voldoen aan Hessiaan-voorwaarden).

• Uitbreiding van Theorie: Het breidt de bekende divergentieresultaten (Datta-Ghosh) uit tot een volledige nul-vol dichotomie voor homogene dual benadering op voldoende gekromde hypersurfaces in $p$-adische ruimte.
• Regulariteitsvereisten: De auteurs benadrukken dat de eis voor analytische aard (in plaats van alleen $C^2$) een technische noodzaak is in de $p$-adische setting vanwege de aard van de Inverse Functiestelling in ultrametrische ruimten.
• Beperkingen: De auteurs merken met bescheidenheid op dat het inhomogene resultaat (Stelling 1.4(ii)) de voorwaarde $|\theta|_p \neq 1$ vereist, waarvoor zij geen bevredigende verklaring hebben. Bovendien berusten de resultaten voor niet-hypersurfaces (codimensie $>1$) op Voorwaarde (II$_p$), wat rigide beperkingen oplegt aan de dimensieparen $(n, d)$, hoewel zij suggereren dat deze in het analytische geval misschien kunnen worden vereenvoudigd.
• Reikwijdte: De resultaten worden gepresenteerd voor meervoudige variabele benaderingsfuncties $\Psi$, hoewel de corollaria vaak specialiseren tot univariabele vormen. Het artikel claimt niet het GBSP op te lossen voor alle variëteiten of alle benaderingsfuncties, maar wel voor die welke voldoen aan de specifieke analytische en krommingsvoorwaarden zoals uiteengezet.