Finiteness criteria for the solutions of a sequence of decomposable form inequalities

Titel: Finiteness Criteria for the Solutions of a Sequence of Decomposable Form Inequalities

Auteur: Si Duc Quang
Vakgebied: Getaltheorie (Diophantische benadering)

---

1. Het Probleem

Het artikel adresseert een fundamenteel probleem in de Diophantische benadering: het bepalen van de eindigheid van oplossingen voor reeksen van ongelijkheden die betrekking hebben op ontleedbare vormen (decomposable forms).

• Context: Gegeven is een getallenlichaam $k$ en een eindige verzameling plaatsen $S$ (inclusief alle archimedische plaatsen). Men onderzoekt oplossingen $x \in O_S^{m+1}$ (waarbij $O_S$ de ring van $S$-hele getallen is) voor ongelijkheden van de vorm:
  $$0 < \prod_{v \in S} \|F_n(x)\|_v \leq c H_S^\lambda(x)$$
  waarbij $F_n$ een rij van vormen is, $H_S$ de $S$-hoogte is, en $c, \lambda$ positieve reële constanten zijn.
• Uitdaging: Eerdere resultaten (zoals die van Győry en Ru, en later Ji, Yan en Yu) behandelden gevallen waarbij de vormen $F_n$ volledig ontbonden konden worden in lineaire factoren of producten van homogene polynomen met specifieke posities (algemene positie).
• Beperking: Bestaande theorema's waren vaak beperkt tot situaties waar de factoren in "algemene positie" lagen of waar de structuur van de factoren strikt vastlag. Er was behoefte aan een generalisatie die werkt voor bewegende hypersferen (moving hypersurfaces) met een minder restrictieve geometrische configuratie, gekarakteriseerd door een nieuwe maatstaf: de distributieve constante.

2. Methodologie

De auteur gebruikt een combinatie van geavanceerde technieken uit de Diophantische meetkunde en de theorie van de Schmidt's subspace theorem. De aanpak bestaat uit de volgende stappen:

1. Invoering van de Distributieve Constante:
   De paper maakt gebruik van het concept van de distributieve constante ($\Delta_{Q,V}$) voor een familie van bewegende hypersferen ten opzichte van een projectieve variëteit $V$. Deze constante kwantificeert hoe "dicht" de snijpunten van de hypersferen bij elkaar liggen. Als $\Delta$ klein is, zijn de hypersferen goed verspreid; als $\Delta$ groot is, kunnen ze meer overlap vertonen. Dit generaliseert het concept van "algemene positie".

2. Vervanging van Hypersferen (Hypersurface Replacement):
   Een cruciale techniek is het vervangen van de oorspronkelijke familie van $q$ hypersferen door een kleinere familie van $m+1$ hypersferen die in algemene positie liggen ten opzichte van de variëteit $V$. Dit wordt gedaan via een methode die lijkt op die van Corvaja-Zannier en Ji-Yan-Yu, waarbij men de som van Weil-functies schat.

3. Constructie van een Corvaja-Zannier-filtering:
   De auteur construeert een filtratie van de vectorruimte van homogene polynomen die verdwijnen op het beeld van de rij punten. Dit maakt het mogelijk om de som van de Weil-functies te relateren aan de hoogte van de punten, zelfs wanneer de hypersferen bewegen (geïndexeerd door een oneindige verzameling).

4. Toepassing van de Schmidt's Subspace Theorem:
   Het centrale technische resultaat is een generalisatie van de Schmidt's subspace theorem voor bewegende hypersferen (Theorema 3.4). Dit theorem stelt een bovengrens vast voor de som van de Weil-functies, afhankelijk van de distributieve constante $\Delta$, de dimensie $m$, en een willekeurige kleine $\epsilon$.

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling (Theorema 1.1)

De paper bewijst een eindigheidsresultaat voor een rij van semi-$q$-ontleedbare vormen. Een vorm $F_n$ wordt semi-$q$-ontleedbaar genoemd als deze ontbonden kan worden in een product van $q$ niet-constante homogene polynomen $Q_{1,n} \cdots Q_{q,n}$ over een eindige uitbreiding $k'$.

Voorwaarden:

• Laat $\Delta$ de bovengrens zijn van de distributieve constante van de familie $\{Q_{1,n}, \dots, Q_{q,n}\}$.
• Laat $d = \max_j (\deg Q_{j,n})$ en $\ell = \deg F_n$.
• De voorwaarde voor de eindigheid is:
  $$\ell > d \Delta \left(\frac{m}{2} + 1\right)^2$$
• De exponent $\lambda$ in de ongelijkheid moet voldoen aan: $\lambda < \ell - d \Delta (\frac{m}{2} + 1)^2$.

Conclusie:
Onder deze voorwaarden bestaat er geen oneindige rij van $O_S^*$-niet-proportionele oplossingen $x_n$ die voldoen aan de ongelijkheid en waarbij de hoogte van de vorm $h(F_n)$ verwaarloosbaar klein is ten opzichte van de hoogte van de oplossing $h(x_n)$.

Corollary 1.4 (Vaste vormen)

Voor een vaste vorm $F = Q_1 \cdots Q_q$ (dus niet bewegend) met distributieve constante $\Delta$, geldt dat de ongelijkheid slechts eindig veel $O_S^*$-niet-proportionele oplossingen heeft, mits $\deg F > d \Delta (\frac{m}{2} + 1)^2$.

Theorema 4.5 (Vergelijkingen)

Het resultaat wordt ook uitgebreid naar Diophantische vergelijkingen van de vorm $F_n(x) = G_n(x)$, waarbij $\deg G_n$ kleiner is dan de kritieke drempelwaarde.

4. Significatie en Impact

1. Generalisatie van Bestaande Resultaten:
   Het werk generaliseert en verbetert eerdere stellingen van Győry en Ru (2006) en Ji, Yan en Yu (2020). Waar eerdere werken vaak vereisten dat de factoren in "algemene positie" lagen (wat impliceert dat $\Delta$ klein is, specifiek $\Delta \leq 1$ voor lineaire factoren), laat deze paper zien dat het resultaat geldt voor veel bredere families met een hogere distributieve constante.

2. Invoering van de Distributieve Constante in Diophantische Onvergankelijkheid:
   De paper toont aan dat de distributieve constante, oorspronkelijk geïntroduceerd in de context van bewegende hypersferen in de Nevanlinna-theorie, een krachtig instrument is om scherpe grenzen te stellen in de Diophantische benadering. Het biedt een kwantitatieve maatstaf voor de geometrische configuratie van de factoren.

3. Technische Innovatie:
   De combinatie van de methode van hypersfeervervanging met de filtratie van Corvaja-Zannier voor bewegende doelen (moving targets) vormt een nieuwe methodologische standaard voor het behandelen van rijen van Diophantische ongelijkheden.

4. Toepassingsgebied:
   De resultaten zijn relevant voor het bestuderen van de oplossingsverzamelingen van complexe Diophantische vergelijkingen waar de coëfficiënten of de structuur van de polynomen kunnen variëren (bijvoorbeeld in families van krommen of oppervlakken), en waar de klassieke "algemene positie" aannames te streng zijn.

Samenvattend: Dit artikel levert een fundamentele bijdrage aan de moderne Diophantische meetkunde door de voorwaarden voor de eindigheid van oplossingen van decomposable form ongelijkheden te versoepelen en te generaliseren via het concept van de distributieve constante, waardoor een bredere klasse van algebraïsche structuren bestudeerd kan worden.