Liouville function, von Mangoldt function and norm forms at random binary forms

Technische Samenvatting: Liouville-functie, von Mangoldt-functie en Normvormen bij Willekeurige Binaire Vormen

Probleemstelling
Dit artikel onderzoekt het gemiddelde gedrag van rekenkundige functies geëvalueerd op de waarden van willekeurige binaire vormen van graad $d$. Het behandelt specifiek drie onderling verbonden problemen:

1. De Chowla-conjectuur: Het analyseren van de annulering van de Liouville-functie $\lambda(n)$ over de waarden van binaire vormen.
2. De Bateman–Horn-conjectuur: Het vaststellen van asymptotische formules voor de gelijktijdige priemwaarden van tupels van binaire vormen, gebruikmakend van de von Mangoldt-functie $\Lambda(n)$.
3. Het Hasse-principe: Het bepalen van de proportie Châtelet-variëteiten gedefinieerd door normvormen die het rationale Hasse-principe bevredigen.

Hoewel eerder werk door Browning, Sofos en Teräväinen [5] analoge resultaten heeft vastgesteld voor willekeurige polynomen in één variabele, breidt dit artikel het kader uit naar binaire vormen in twee variabelen. De centrale uitdaging is om aan te tonen dat "bijna alle" binaire vormen (in een combinatorische zin) het verwachte statistische gedrag vertonen dat door deze conjecturen wordt voorspeld, ondanks de verhoogde complexiteit van de onderliggende geometrie en rekenkunde.

Methodologie
Het artikel hanteert een probabilistische en analytische getaltheoretische benadering, gecentreerd rond het concept van combinatorische kubussen. Een combinatorische kubus $C$ wordt gedefinieerd als een deelverzameling van coëfficiëntvectoren $(c_0, \dots, c_d) \in \mathbb{Z}^{d+1}$ waarbij bepaalde coëfficiënten vaststaan en andere variëren binnen het bereik $[-H, H]$. Het doel is om aan te tonen dat voor een verzameling coëfficiënten $C$ met zijde $H$, de "slechte" vormen (die de conjecturen niet volgen) een verwaarloosbaar deel vormen, specifiek $O((\log H)^{-A})$.

De kern van de technische machinerie omvat:

• Equidistributie in Rekenkundige Progressies: Het artikel generaliseert een cruciaal instrument uit [5] (Theorema 2.1), dat de equidistributie van een rekenkundige functie in rekenkundige progressies koppelt aan het gemiddelde gedrag over willekeurige polynomen. Dit wordt aangepast aan binaire vormen door sommen van de vorm $\sum F(am^k n^{d-k} + bm^l n^{d-l} + g(m,n))$ te controleren.
• Zeefmethode en Gelokaliseerde Telling: Voor de normvormproblemen introduceert de auteur een gelokaliseerde tellingfunctie $\hat{N}_c(x)$. Deze functie benadert de globale telling van gehele oplossingen van $N_K(x) = g_c(u)$ door de zoektocht te beperken tot een specifieke regio $B$ en lokale dichtheden (singuliere series) en archimedische dichtheden op te nemen.
• Benadering en Foutanalyse: De bewijstrategie behelst het aantonen dat de globale telling $N_c(x)$ goed wordt benaderd door $\hat{N}_c(x)$ voor bijna alle coëfficiënten. Dit vereist het begrenzen van de foutterm $|N_c(x) - \hat{N}_c(x)|$ en het aantonen dat de gelokaliseerde functie $\hat{N}_c(x)$ zelden klein is (dat wil zeggen: groot genoeg is om de existentie van oplossingen te garanderen).
• Geometrische en Algebraïsche Beperkingen: De analyse maakt onderscheid tussen "scheidbare" vormen en die met gehele nulpunten of een hoge inhoud. Er worden lemma's geleverd om aan te tonen dat vormen die deze "toelaatbaarheidsvoorwaarden" niet voldoen, zeldzaam zijn. Het bewijs maakt ook gebruik van eigenschappen van de Dedekind-zetafunctie en lokale dichtheden over $p$-adische velden.

Belangrijkste Bijdragen en Resultaten

1. Gemiddelde Chowla-conjectuur voor Binaire Vormen (Theorema 1.2):
   Het artikel bewijst dat voor bijna alle binaire vormen $g \in \mathbb{Z}[s, t]$ van graad $d$ met coëfficiënten in een combinatorische kubus, de som van de Liouville-functie over de waarden van de vorm annulering vertoont. Specifiek, voor $x \in [H^c, 2H^c]$,
   $$\sup_{x} \frac{1}{x^2} \left| \sum_{u,v \leq x} \lambda(g(u,v)) \right| \leq (\log H)^{-A}$$
   houdt voor alle behalve een verwaarloosbaar deel van de vormen.

2. Gemiddelde Bateman–Horn-conjectuur voor Binaire Vormen (Theorema 1.3):
   De auteur stelt een asymptotische formule vast voor het aantal gelijktijdige priemwaarden van een $r$-tuple van binaire vormen. Zij tonen aan dat voor bijna alle $r$-tuples de som van producten van von Mangoldt-functies voldoet aan:
   $$\sum_{m,n \leq x} \Lambda(g_1(m,n)) \cdots \Lambda(g_r(m,n)) \sim x^2 S_{g_1, \dots, g_r}(x)$$
   waarbij $S$ het product van de lokale dichtheden is. Dit geldt uniform voor $x$ in het gespecificeerde bereik.

3. Rationaal Hasse-principe voor Châtelet-variëteiten (Theorema 1.5):
   Het artikel bewijst dat voor een vaste normvorm $N_K$ van graad $e$ en een variërende binaire vorm $g$ van graad $d$ (waarbij $e|d$), de geassocieerde Châtelet-variëteit $N_K(x) = g(u)$ het rationale Hasse-principe bevredigt voor 100% van de coëfficiëntvectoren.
   $$\frac{\#S_{glob}(H)}{\#S_{loc}(H)} = 1 + O((\log H)^{-A})$$
   Hierbij vertegenwoordigt $S_{loc}(H)$ vormen die overal lokaal oplosbaar zijn en $S_{glob}(H)$ vormen met een rationeel punt. Het resultaat impliceert dat de Brauer–Manin-obsternutie de enige obstructie is voor bijna alle dergelijke variëteiten.

Betekenis en Claims
Het artikel beweert de "gemiddelde" methodologie van Browning, Sofos en Teräväinen [5] uit te breiden van univariate polynomen naar binaire vormen, wat een significante stap is gezien de hogere dimensionaliteit en de verschillende rekenkundige eigenschappen van binaire vormen.

• Resolutie van Colliot-Thélène's Conjectuur (Gemiddelde Geval): Het werk biedt een gemiddelde versie van een conjectuur van Colliot-Thélène betreffende het Hasse-principe voor Châtelet-variëteiten. Hoewel eerdere resultaten specifieke gevallen dekten (bijv. lineaire polynomen of specifieke graden), bewijst dit artikel dat het principe geldt voor 100% van de normvorm-vergelijkingen van het gespecificeerde type, mits de graad van de norm de graad van de binaire vorm deelt.
• Kwantitatieve Precisie: De resultaten zijn kwantitatief en bieden expliciete fouttermen van de orde $(\log H)^{-A}$, wat een rigoureuze definitie van "bijna alle" mogelijk maakt in de context van hoogte-geordende binaire vormen.
• Methodologische Vooruitgang: Het artikel introduceert een verfijnde gelokaliseerde tellingfunctie en een gedetailleerde analyse van archimedische en niet-archimedische dichtheden om de normvormvergelijkingen te behandelen, waarmee de het gebrek aan homogeniteit in de Châtelet-variëteitvergelijkingen wordt overwonnen.

De auteur stelt expliciet dat hun resultaten het rationale Hasse-principe bewijzen voor 100% van de overwogen normvorm-vergelijkingen, een sterker resultaat dan het integraal Hasse-principe dat eerder in [5] werd vastgesteld, aangezien dat laatste niet de rationale casus met waarschijnlijkheid 1 garandeerde vanwege de niet-homogeniteit. Het artikel claimt niet de conjecturen voor elke individuele vorm te hebben opgelost, maar stelt hun geldigheid vast in de statistische limiet over de ruimte van coëfficiënten.