Branch iterated Galois groups with positive fixed-point proportion and positive Hausdorff dimension

Technische Samenvatting: Tak-geïteerde Galoisgroepen met Positieve Vaste-punt Proportie en Positieve Hausdorff-dimensie

Probleemstelling
Het artikel behandelt een specifieke vraag in de arithmetische dynamica en de theorie van groepen die handelen op boomstructuren, oorspronkelijk geformuleerd door Jones (2008). Het centrale probleem betreft de relatie tussen de Hausdorff-dimensie en de vaste-punt proportie (FPP) van niveau-transitieve subgroepen van de automorfisme-groep van een $d$-reguliere gewortelde boom, $\text{Aut}(T)$.

Jones vermoedde dat als een niveau-transitieve groep $G \leq \text{Aut}(T)$ een positieve Hausdorff-dimensie heeft ($H(G) > 0$), de vaste-punt proportie nul moet zijn ($FPP(G) = 0$). Hoewel Boston (2008) een tegenvoorbeeld leverde voor deze conjectuur op de binaire boom ($d=2$), waren er geen voorbeelden bekend voor bomen met graad $d > 2$, noch waren er voorbeelden van dergelijke groepen die voortkomen uit geïteerde Galoisgroepen (arithmetische geïteerde monodromie-groepen). Dit artikel onderzoekt specifiek of reguliere tak-geïteerde Galoisgroepen tegelijkertijd een positieve Hausdorff-dimensie en een positieve vaste-punt proportie kunnen bezitten.

Methodologie
De auteur maakt gebruik van een combinatie van groepstheoretische constructie en arithmetische dynamica-analyse:

1. Generalisering van Geïteerde Wreath-producten: Het artikel breidt de definitie van geïteerde wreath-producten $W_S$ uit naar willekeurige deelverzamelingen $S \subseteq \text{Sym}(d)$. Er wordt een recursieve relatie vastgesteld voor de vaste-punt proportie van deze verzamelingen, waarbij een karakteristiek polynoom $f_S(x)$ wordt afgeleid. De FPP wordt aangetoond de grootste vaste punt van dit polynoom in $[0, 1]$ te zijn.
2. Constructie van Reguliere Tak-groepen ($G^P_Q$): Een nieuwe familie van groepen, aangeduid als $G^P_Q$, wordt geconstrueerd voor subgroepen $Q \triangleleft P \leq \text{Sym}(d)$. Deze groepen bestaan uit automorfismen waarbij de werking op de kinderen van een willekeurige vertex in dezelfde coset van $P/Q$ ligt. Het artikel bewijst dat deze groepen een reguliere tak-groep zijn (en dus een positieve Hausdorff-dimensie hebben) indien $Q$ transitief is.
3. Expliciete Berekening van FPP: Met behulp van de karakteristieke polynoom-methode leidt de auteur een expliciete formule af voor de FPP van $G^P_Q$ als een gemiddelde van de FPP's van de geïteerde wreath-producten geassocieerd met de cosets van $P/Q$.
4. Arithmetische Realisatie: De geconstrueerde groepen worden gelinkt aan de geïteerde Galoisgroepen van unicritische polynomen $f(x) = x^d + c$. Door de Galois-werking op de pre-imageden van een transcendent element $t$ te analyseren, toont de auteur aan dat voor specifieke keuzes van $K$ en $c$, de arithmetische geïteerde Galoisgroep $G_\infty(K, x^d+c, t)$ isomorf is aan de geconstrueerde groep $G^P_Q$.

Belangrijkste Bijdragen en Resultaten

• Stelling 1 (Hoofdresultaat): Voor een post-kritisch oneindige unicritische polynoom $f(x) = x^d + c$ over een lichaam $K$ (waarbij $\text{char}(K) \nmid d$), is de arithmetische geïteerde Galoisgroep $G_\infty(K, x^d+c, t)$ een reguliere tak-groep.

  • De Hausdorff-dimensie wordt expliciet berekend als $H(G) = \frac{\log(d)}{\log(d!)}$.
  • De vaste-punt proportie wordt gegeven door:
    $$FPP(G) = \frac{\#\{a \in I : a - 1 \in (\mathbb{Z}/d\mathbb{Z})^\times\}}{\Phi(d)}$$
    waarbij $I$ de afbeelding is van de Galoisgroep $\text{Gal}(K(\xi)/K)$ in $(\mathbb{Z}/d\mathbb{Z})^\times$.
  • Cruciale Bevinding: Indien $K = \mathbb{Q}$ en $d$ oneven is, is de vaste-punt proportie positief. Specifiek $FPP = \prod_{p|d} \frac{p-2}{p-1}$. Dit levert de eerste voorbeelden buiten de binaire boom waar een niveau-transitieve groep zowel een positieve Hausdorff-dimensie als een positieve FPP heeft.

• Stelling 2 (Algemene Familie): Het artikel construeert een bredere familie van reguliere tak-groepen $G^P_Q$ voor $d = 2^n r$ (met $r$ oneven) waarbij $Q = C_2^n \times C_r$. Deze groepen vertonen eveneens een positieve Hausdorff-dimensie en, voor $d \not\equiv 2 \pmod 4$, een positieve vaste-punt proportie.

• Stelling 3 (Vaste-punt Proportie van Geïteerde Wreath-producten): Het artikel biedt een algemeen algoritme om de FPP van elk geïteerd wreath-product $W_S$ (waarbij $S \subseteq \text{Sym}(d)$) te berekenen. Het bewijst dat de FPP het grootste vaste punt is van een polynoom $f_S(x)$ van graad ten hoogste $d-1$. Het karakteriseert wanneer de FPP 0, 1, of strikt tussen 0 en 1 ligt op basis van de transitiviteit en de vaste-punt eigenschappen van elementen in $S$.

• Resolutie van de Conjectuur: Het artikel beantwoordt Jones' Vraag 1.1 in de negatieve zin voor de klasse van reguliere tak-geïteerde Galoisgroepen. Het demonstreert dat de voorwaarde "positieve Hausdorff-dimensie impliceert nul vaste-punt proportie" niet standhoudt voor deze groepen wanneer de graad $d$ oneven is.

Betekenis
Het artikel claimt de eerste voorbeelden te leveren buiten de binaire boom ($d=2$) waar een niveau-transitieve groep zowel een positieve Hausdorff-dimensie als een positieve vaste-punt proportie bezit. Dit weerlegt direct de conjectuur dat dergelijke eigenschappen wederzijds uitsluitend zijn voor "grote" groepen in de context van geïteerde Galoisgroepen.

Verder overbrugt het werk de kloof tussen abstracte groepstheorie (reguliere tak-groepen) en arithmetische dynamica (geïteerde Galoisgroepen). Door de FPP van deze arithmetische groepen expliciet te berekenen, biedt het artikel nieuwe instrumenten voor het begrijpen van de Dirichlet-dichtheid van priemgetallen die termen in dynamische sequenties verdelen, een primaire toepassing van vaste-punt proporties in de getaltheorie. De constructie van de familie $G^P_Q$ en de afleiding van het karakteristieke polynoom $f_S(x)$ bieden een systematisch kader voor het analyseren van vaste-punt proporties in groepen die handelen op bomen, waarmee eerdere resultaten die beperkt waren tot specifieke gevallen of subgroepen, worden uitgebreid.

De auteur merkt op dat hoewel de binaire boom-casus ($d=2$) eerder door Boston is behandeld, de casus met een oneven graad ($d \geq 3$) een significante obstructie vormde in de eerdere literatuur, die dit artikel overwint door gebruik te maken van de specifieke structuur van unicritische polynomen en de rekenkunde van cyclotomische velden.