Trilinear Kloosterman fractions I: partially fixed moduli and unbalanced convolutions

1. Probleemstelling

Het artikel behandelt een centraal probleem in de analytische getaltheorie betreffende de verdeling van rekenkundige functies in rekenkundige rijen, met name gericht op ongebalanceerde convoluties.

Gegeven twee rijen complexe getallen, $\alpha_m$ (ondersteund op $m \sim M$) en $\beta_n$ (ondersteund op $n \sim N$), is het doel de foutterm te schatten in de verdeling van hun product $mn$ modulo $q$. Specifiek onderzoekt de auteur de grootheid:
$$\Delta(\alpha, \beta, M, N, Q, a) = \sum_{q \sim Q} \left| \sum_{\substack{mn \equiv a \pmod q \\ m \sim M, n \sim N}} \alpha_m \beta_n - \frac{1}{\phi(q)} \sum_{\substack{mn \equiv a \pmod q \\ (mn,q)=1}} \alpha_m \beta_n \right|$$
Het doel is om grenzen van de vorm $\ll X (\log X)^{-A}$ te vestigen voor modulussen $Q$ tot $X^{1/2 + \delta}$, waarbij $X \approx MN$.

De Uitdaging:
Hoewel de gegeneraliseerde stelling van Bombieri-Vinogradov gevallen afhandelt waar $\delta < 0$, is het bewijzen van resultaten voor $\delta > 0$ (d.w.z. het uitbreiden van het bereik van modulussen buiten de vierkantswortel van de conductor) aanzienlijk moeilijker. Vorig werk van Fouvry en Radziwiłł (2018) vestigde dergelijke grenzen voor kleine $\delta > 0$, maar alleen onder restrictieve voorwaarden waarbij $N$ (de lengte van de kortere rij) zeer klein was ten opzichte van $X$ (specifiek $N \le X^{1/72}$). Het artikel heeft tot doel deze beperkingen op $N$ en $Q$ te versoepelen.

2. Methodologie

De kerninnovatie van het artikel ligt in het verfijnen van de schatting van trilineaire vormen die Kloosterman-breuken bevatten.

2.1. Het Bettin-Chandee Kader

De methodologie bouwt voort op een beroemd resultaat van Bettin en Chandee (2011) met betrekking tot trilineaire vormen met Kloosterman-breuken. De standaardvorm die wordt geanalyseerd is:
$$B(M, N, A) = \sum_{a \sim A, m \sim M, n \sim N} \alpha_m \beta_n \nu_a e\left( \frac{\vartheta am}{n} \right)$$
Fouvry en Radziwiłł pasten deze stelling toe op hun probleem door effectief een vaste factor in de noemer te behandelen als onderdeel van de variabele $n$, wat resulteerde in een verlies aan efficiëntie (het vervangen van $N$ door $NQ$ in de grenzen).

2.2. De "Gedeeltelijk Vaste Modulussen" Verbetering

Wright introduceert een nieuwe variatie waarbij de noemer een vaste factor $R$ bevat. Hij definieert een gewijzigde trilineaire vorm:
$$B(M, N, A; R) = \sum_{a \in A, m \in M, n \in N} \alpha_m \beta_n \nu_a e\left( \frac{\vartheta am}{nR} \right)$$
waarbij $R$ een parameter is zodat $R \ll M A$.

Belangrijke Technische Stappen:

1. Complementaire Delers: Wright past het mechanisme van "complementaire delers" toe dat door Bettin en Chandee werd gebruikt. In plaats van een hulpvariabele $b$ in te voeren om de noemer af te handelen, maakt hij gebruik van de bestaande vaste factor $R$ in de noemer.
2. Gefineerde Grenzen: Door de som met de vaste factor $R$ expliciet te analyseren, leidt hij een nieuwe grens af voor $B(M, N, A; R)$ die superieur is aan het simpelweg substitueren van $N \to NR$ in de oorspronkelijke Bettin-Chandee-stelling.
3. Dispersiemethode: De verbeterde grens op de trilineaire vorm wordt vervolgens ingevoerd in de dispersiemethode (specifiek de dispersietechniek van Linnik die door Fouvry en Radziwiłł werd gebruikt) om de foutterm $\Delta$ te begrenzen. Dit impliceert het ontleden van de fout in hoofdtermen en fouttermen, waarbij de nieuwe trilineaire grens specifiek de schatting van de foutterm $\tilde{W}_{Err1}$ verbetert.

3. Belangrijkste Bijdragen

Het artikel levert twee primaire technische bijdragen:

1. Stelling 2.1 (Verbeterde Trilineaire Grens):
   Wright bewijst een nieuwe grens voor trilineaire vormen met een vaste factor $R$ in de noemer.
   $$B(M, N, A; R) \ll M^\epsilon \|\alpha\| \|\nu\| \|\beta\| (AMN)^{1/2} R^{1/4} \left( 1 + \frac{|\vartheta|A}{MN} \right)^{1/4} \times (\text{polynoomtermen in } M, N, A, R)$$
   Cruciaal is dat, wanneer $R$ groot is, deze grens aanzienlijk strakker is dan de naïeve toepassing van de oorspronkelijke Bettin-Chandee-stelling.

2. Stelling 2.3 (Verbeterde Dispersiegrens):
   Door Stelling 2.1 toe te passen op de dispersiemethode, leidt Wright een scherpere grens af voor de dispersie $\Delta$.

   • Vorig Resultaat (Fouvry-Radziwiłł): De foutterm bevatte componenten zoals $Q^{15/8} N^{23/8}$.
   • Nieuw Resultaat: De foutterm wordt gereduceerd tot $Q^{15/8} N^{11/4}$.
   • Besparing: Dit vertegenwoordigt een besparing van een factor $N^{1/8}$ in de eerste term en $N^{2/5}$ in de tweede term van de foutschatting.

4. Hoofdresultaten

De verbeterde foutgrenzen staan aanzienlijk bredere geldigheidsbereiken toe voor de schattingen van ongebalanceerde convoluties (Corollarium 2.2).

Corollarium 2.2 vestigt dat de gewenste grens $\ll X (\log X)^{-A}$ geldt onder de volgende voorwaarden (waarbij $MN \approx X$):

• Geval (i) - Verbeterd Bereik voor $N$:
  Als $Q \le X^{1/2 + 1/66 - \delta}$, wordt het toelaatbare bereik voor $N$ verbeterd van $N \le X^{1/72}$ (vorige) naar:
  $$N \le Q^{-33/28} X^{17/28 - \epsilon}$$
  Specifiek, als $Q = X^{1/2 + \epsilon}$, dit staat $N \le X^{1/56 - \epsilon'}$ toe, een aanzienlijke verbetering ten opzichte van $X^{1/72}$.

• Geval (ii) & (iii) - Verbeterd Bereik voor $Q$:
  Voor vaste $N$ in het bereik $X^{1/89} \le N \le X^{7/90}$, wordt de toelaatbare modulus $Q$ verbeterd van $X^{53/105}$ naar:
  $$Q \le X^{45/89 - \epsilon}$$
  (Opmerking: $45/89 \approx 0,5056$, terwijl $53/105 \approx 0,5047$).

Daarnaast breidt Corollarium 2.4 deze verbeteringen uit tot de verdeling van delersommen (gerelateerd aan de delersfunctie), waardoor het bereik van modulussen $Q$ wordt verbeterd waarvoor de stelling van Bombieri-Vinogradov in deze context geldt.

5. Betekenis

• Doorbreken van Barrières: Het artikel duwt de grenzen van het "ongebalanceerde" geval in de stelling van Bombieri-Vinogradov. In de analytische getaltheorie is het vermogen om grotere modulussen $Q$ (dichterbij $X^{1/2}$) of langere rijen $N$ te hanteren cruciaal voor problemen die betrekking hebben op priemgetallen, zoals de conjectuur van Elliott-Halberstam.
• Methodologische Verfijning: Het werk toont aan dat de "vaste factor" in de noemer van Kloosterman-sommen, vaak behandeld als een hinderlijk element of opgenomen in variabelen, structureel kan worden uitgebuit om besparingen te behalen. Dit suggereert een nieuwe weg voor het verfijnen van schattingen van exponentiële sommen.
• Fundering voor Toekomstig Werk: Als het eerste deel van een reeks ("Deel I") legt dit artikel de basis voor verdere verbeteringen. De hier ontwikkelde technieken zullen waarschijnlijk worden toegepast op complexere convolutieproblemen of om de exponent $\delta$ dichter bij de geconjectureerde limieten te duwen.

Kortom, Thomas Wright verfijnt succesvol de analyse van trilineaire Kloosterman-breuken door gedeeltelijk vaste modulussen uit te buiten, wat resulteert in strakkere foutgrenzen die het bekende geldigheidsbereik voor schattingen van ongebalanceerde convoluties in de analytische getaltheorie uitbreiden.