Counting Polynomials via Galois Actions on Root Subsets

Probleemstelling

Het artikel bevindt zich binnen het domein van de probabilistische Galoistheorie. Het centrale probleem is het tellen van het aantal monische polynomen met gehele coëfficiënten van een vaste graad $n$ en een "hoogte" (de maximale absolute waarde van de coëfficiënten) ten hoogste $H$, waarvan de Galois-groep isomorf is met een specifieke voorgeschreven permutatiegroep $(G, \Omega)$.

De auteur bestudeert de verzameling $B(H; G, \Omega)$, gedefinieerd als de verzameling van monische polynomen $f$ met $\deg(f) = |\Omega|$ en $H(f) \le H$, zodanig dat de Galois-groep van $f$ (gezien als een permutatiegroep op de wortels) isomorf is aan $(G, \Omega)$.

Het doel is om nieuwe, scherpere bovengrenzen te vinden voor de grootte van deze verzameling, $|B(H; G, \Omega)|$, voor verschillende families van permutatiegroepen. Dit is een verfijning van eerdere resultaten (zoals die van Bhargava), die aantoonden dat voor de meeste subgroepen $G < S_n$ de grootte $O(H^{n-1})$ is, maar specifieke exponenten voor complexe groepen wilden verbeteren.

Methodologie

De aanpak van Ben-Porath volgt een strategie die lijkt op eerdere werken (zoals [11]), maar introduceert een krachtige groep-theoretische constructie om het probleem te reduceren. De methode bestaat uit drie hoofdstappen:

1. Vervorming naar velden: In plaats van direct polynomen te tellen, wordt eerst het aantal mogelijke splijtingsvelden $K_f$ (de velden gegenereerd door de wortels van $f$) beperkt. Voor een vast veld $K$ is het aantal polynomen met $K_f = K$ beperkt tot $O(H^{1+\epsilon})$.
2. Constructie van stabiele families ($\Lambda$): Voor elke beschouwde actie $(G, \Omega)$ construeert de auteur een familie $\Lambda$ van deelverzamelingen van $\Omega$ die gesloten is onder de actie van $G$ op de machtsverzameling $\mathcal{P}(\Omega)$. Cruciaal is dat $G$ getrouw (faithful) werkt op deze familie $\Lambda$.
3. Reductie via Propositie 3.3 en 3.4:
   • De auteur toont aan dat het splijtingsveld $K_f$ van een polynoom $f$ de compositum is van de vaste velden $E_\ell = K_f^{\text{Stab}_G(A_\ell)}$ voor vertegenwoordigers $A_\ell$ van de banen van $\Lambda$.
   • De coëfficiënten van de polynomen $\prod_{\alpha \in A_\ell} (x-\alpha)$ genereren deze velden $E_\ell$.
   • Door de hoogte van deze coëfficiënten te schatten, kan het tellen van polynomen met Galois-groep $(G, \Omega)$ worden gereduceerd tot het tellen van polynomen met Galois-groepen die corresponderen met de actie van $G$ op de kleinere verzamelingen in $\Lambda$.
   • Dit leidt tot een productformule waarbij de exponent van $H$ wordt bepaald door de verhouding van de grootte van de banen in $\Lambda$ tot de grootte van $\Omega$.

Belangrijkste Bijdragen en Resultaten

De paper levert verbeterde bovengrenzen voor vier specifieke families van permutatiegroepen. De resultaten worden vergeleken met eerdere schattingen (vaak van Bhargava) en tonen aan dat de nieuwe exponenten aanzienlijk lager zijn voor grote $n$.

1. Primitieve Wreath Product Acties

• Context: Transitieve subgroepen van de wreath product $S_m \wr S_r$ die primitief werken op de verzameling $\Omega_P(m, r, k)$ (r-tupels van k-deelverzamelingen van $[m]$).
• Eerdere grens: $O(H^{c\sqrt{n}(\log n)^2})$.
• Nieuwe Grens (Stelling 1.1):
  $$|B(H; G, \Omega_P(m, r, k))| \ll H^{r(\binom{m}{k} + r - 1) + 1 + \epsilon}$$
• Resultaat: Voor $r > 1$ is deze exponent aanzienlijk kleiner dan de vorige schatting, vooral wanneer $n$ groot is. De exponent groeit lineair met $r$ in plaats van met $\sqrt{n}$.

2. $k$-Homogene Acties

• Context: Subgroepen $G \le S_m$ die transitief werken op de verzameling van $k$-deelverzamelingen $\binom{[m]}{k}$.
• Eerdere grens: $O(H^{c\binom{m}{k}^{1/2}(\log \binom{m}{k})^2})$.
• Nieuwe Grens (Stelling 1.2):
  $$|B(H; G, \binom{[m]}{k})| \ll H^{mk + 1 + \epsilon}$$
• Resultaat: Voor $k \ge 2$ en voldoende grote $m$ is de nieuwe exponent $mk$ veel kleiner dan de vorige exponent die afhankelijk was van de binomiaalcoëfficiënt $\binom{m}{k}$.

3. $k$-Transitieve Acties

• Context: Subgroepen $G \le S_m$ die transitief werken op de verzameling van $k$-tupels van verschillende elementen $[m]_k$.
• Eerdere grens: $O(H^{(m)_k - 1})$, waarbij $(m)_k$ de dalende faculteit is.
• Nieuwe Grens (Stelling 1.3):
  $$|B(H; G, [m]_k)| \ll H^{m + 1 + \epsilon}$$
• Resultaat: Dit is een drastische verbetering. De exponent hangt nu alleen af van $m$ (de graad van de symmetrische groep) en niet van de grootte van de doelverzameling $[m]_k$. Dit geldt zelfs voor $G = A_m$ en $S_m$.

4. Reguliere Acties

• Context: Permutatiegroepen $(G, \Omega)$ waar $G$ op zichzelf werkt door linkvermenigvuldiging (dus $|G| = |\Omega|$).
• Eerdere grens: $O(H^{\frac{3|G|}{11} + 1.164})$.
• Nieuwe Grens (Stelling 1.4):
  $$|B(H; G, \Omega)| \ll H^{\mu(G) + 1 + \epsilon}$$
  waarbij $\mu(G)$ de minimale getrouwe permutatiegraad van $G$ is (de kleinste $m$ waarvoor $G$ inbedbaar is in $S_m$).
• Resultaat: Aangezien $\mu(G)$ vaak veel kleiner is dan $|G|$ (en zeker kleiner dan $\frac{3|G|}{11}$ voor de meeste groepen), is dit een significante verbetering. Voor de symmetrische groep $S_m$ (die $m$-transitief is op $[m]_m$) verbetert de exponent van $O(H^{3m!/11})$ naar $O(H^{m+1})$.

Significantie

De betekenis van dit werk ligt in de volgende punten:

1. Technische Innovatie: De methode van het construeren van een getrouwe familie $\Lambda$ van deelverzamelingen en het reduceren van het tellen van polynomen via Galois-correspondentie en hoogte-schattingen is een krachtig nieuw hulpmiddel in de probabilistische Galoistheorie.
2. Asymptotische Verbetering: De paper levert de eerste scherpe bovengrenzen voor veel specifieke groepen die niet de volledige symmetrische of alternerende groep zijn. De exponenten in de nieuwe grenzen zijn vaak lineair in de parameters ($m, r$) in plaats van exponentieel of wortel-gewijs in de totale graad $n$.
3. Verband met Groepstheorie: De resultaten benadrukken het verband tussen de structurele eigenschappen van een groep (zoals de minimale getrouwe permutatiegraad $\mu(G)$) en de waarschijnlijkheid dat een willekeurige polynoom precies die Galois-groep heeft.
4. Toepassing: Deze schattingen zijn essentieel voor het begrijpen van de verdeling van Galois-groepen in "grote dozen" (large box models) en dragen bij aan het oplossen van conjectures over de dichtheid van irreducibele polynomen met specifieke symmetrieën.

Kortom, Ben-Porath toont aan dat voor een breed scala aan complexe permutatiegroepen, het aantal polynomen met die specifieke Galois-groep veel schaarser is dan eerder gedacht, en biedt een robuust raamwerk om dit kwantitatief te onderbouwen.