Irrationality of finite logarithms in a congruence-class adèle ring

Technische Samenvatting: Irrationaliteit van Eindige Logaritmen in een Congruentieklasse Adèle-ring

Probleemstelling
Het artikel onderzoekt de arithmetische eigenschappen van "eindige logaritmen" binnen de "poor man's adèle-ring" $\mathcal{A}$, gedefinieerd als de beperkte product van $\mathbb{Z}/p\mathbb{Z}$ over alle priemgetallen $p$. Elementen in deze ring zijn sequenties $(t_p)_{p \in \mathbb{P}}$ waarbij $t_p \in \mathbb{Q}$ is, geïdentificeerd modulo $p$ voor voldoende grote priemgetallen. De eindige logaritme-functie $\log_{\mathcal{A}}: \mathbb{Q}^\times \to \mathcal{A}$ wordt gedefinieerd via Fermat-quotiënten:
$$\log_{\mathcal{A}}(\alpha) = (q_p(\alpha) \pmod p)_{p \in \mathbb{P}}, \quad \text{waarbij } q_p(\alpha) = \frac{\alpha^{p-1}-1}{p}.$$
Vorig werk door Matsusaka en Seki heeft vastgesteld dat voor $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$, $\log_{\mathcal{A}}(\alpha)$ nooit een niet-nul rationaal element in $\mathcal{A}$ is. Bovendien toonde Silverman aan (onder de aanname van de $abc$-vermoeden) dat $\log_{\mathcal{A}}(\alpha) \neq 0$.

De centrale probleemstelling die dit artikel behandelt, is het uitbreiden van deze irrationaliteits- en niet-nul resultaten naar beperkte verzamelingen van priemgetallen. Specifiek beschouwt de auteur priemgetallen die beperkt zijn tot rekenkundige progressies van de vorm $p \equiv 1 \pmod m$ voor een vaste integer $m \ge 1$. Het doel is om te bepalen of $\log_{\mathcal{A}}(\alpha)$ rationale waarden kan aannemen of kan verdwijnen binnen de beperkte ring $\mathcal{A}(m)$, en om de "recurrentie-graad" van deze logaritmen te analyseren, specifiek of zij kwadratische irrationale elementen kunnen zijn.

Methodologie
Het artikel maakt gebruik van een combinatie van cyclotomische polynoomtheorie en klassieke technieken voor irrationaliteitsbewijzen, aangepast aan de adèle-setting.

1. Cyclotomische Constructies: De auteur relateert Fermat-quotiënten aan de waarden van cyclotomische polynomen $\Phi_n(u, v)$ en hun partiële afgeleiden. Een cruciale identiteit die wordt gebruikt is de gehomogeniseerde vorm $\Phi_n(X^p, Y^p) = \Phi_n(X, Y)\Phi_{np}(X, Y)$.
2. Congruentieanalyse: Door de priemfactoren van $\Phi_n(u, v)$ te analyseren, stelt het artikel vast dat als een priemgetal $p$ $\Phi_n(u, v)$ deelt (met $p \nmid n$), dan $p \equiv 1 \pmod n$. Deze eigenschap is essentieel voor het beperken van de analyse tot de congruentieklasse $p \equiv 1 \pmod m$.
3. Tegenspraak via Verdwijnende Sequenties: Om irrationaliteit te bewijzen (Theorem 1.2(i)), neemt de auteur aan dat $\log_{\mathcal{A}(m)}(\alpha)$ rationaal is. Deze aanname maakt de constructie mogelijk van een sequentie van niet-nul gehele getallen afgeleid van de waarden van $\Phi_{m\ell}(u, v)$ en hun afgeleiden. Het bewijs toont aan dat deze sequentie, wanneer genormaliseerd, naar nul convergeert naarmate de hulp-priem $\ell \to \infty$, wat een tegenspraak oplevert.
4. Toepassing van het $abc$-vermoeden: Om niet-nulheid te bewijzen (Theorem 1.2(ii)), past de auteur de methode van Silverman aan. Er wordt gebruikgemaakt van het $abc$-vermoeden om de "krachtige component" (powerful part) van $u^n - v^n$ te begrenzen. Door aan te tonen dat de cyclotomische waarden te snel groeien om "krachtig" (square-full) te zijn onder de aanname dat de logaritme verdwijnt, wordt een tegenspraak bereikt.
5. Classificatie van de Recurrentie-graad: Het artikel definieert de recurrentie-graad $\deg_{\mathcal{A}}(t)$ als de minimale orde van een lineaire recurrentie met rationale coëfficiënten waaraan de sequentie die $t \in \mathcal{A}$ representeert, voldoet. Het classificeert elementen van graad $\le 2$ met behulp van kwadratische Dirichlet-karakters.

Belangrijkste Bijdragen en Resultaten

• Uitbreiding naar Congruentieklassen (Theorem 1.2): Het artikel bewijst dat voor elke $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ en $m \ge 1$:

  • (i) $\log_{\mathcal{A}(m)}(\alpha)$ geen niet-nul rationaal getal is in de beperkte ring $\mathcal{A}(m)$.
  • (ii) Onder de aanname van het $abc$-vermoeden, $\log_{\mathcal{A}(m)}(\alpha) \neq 0$ in $\mathcal{A}(m)$.
  • Noot: De beperking $p \equiv 1 \pmod m$ is inherent aan de gebruikte cyclotomische methode; de auteur merkt op dat het afdwingen van andere residuklassen $p \equiv b \pmod m$ (waarbij $b \not\equiv 1$) niet toegankelijk is voor deze specifieke benadering.

• Kwadratische Irrationaliteit (Theorem 1.3): Het artikel onderzoekt of eindige logaritmen "kwadratisch" kunnen zijn in de zin van het hebben van een recurrentie-graad $\le 2$.

  • Er wordt aangetoond dat als $\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) \le 2$, dan $\log_{\mathcal{A}}(\alpha)$ de specifieke vorm $r(1 - (\frac{D}{p}))_p$ moet hebben voor een bepaalde $r \in \mathbb{Q}$ en een vierkant-vrije integer $D$.
  • Cruciaal is dat, uitgaande van het $abc$-vermoeden, het artikel bewijst dat $\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) > 2$. Dit impliceert dat eindige logaritmen geen kwadratische irrationale elementen in $\mathcal{A}$ kunnen zijn.

• Generalisatie naar Abelische Extensies (Remark 4.2): Het argument wordt uitgebreid om te suggereren dat als het splitsingsveld van de karakteristieke polynoom van een recurrentie Abelisch is, de logaritme niet in de afbeelding van die recurrentie kan liggen (opnieuw, uitgaande van het $abc$-vermoeden).

Betekenis en Claims
Het artikel claimt de bekende irrationaliteitsresultaten van Matsusaka, Seki en Silverman uit te breiden van de volledige adèle-ring naar ringen die beperkt zijn tot specifieke rekenkundige progressies. Dit is significant omdat het aantoont dat de irrationaliteit van eindige logaritmen robuust blijft, zelfs wanneer de onderliggende verzameling priemgetallen wordt uitgedund tot een dichtheid van $1/\phi(m)$.

Verder verbindt het werk de arithmetica van Fermat-quotiënten met de theorie van eindige algebraïsche getallen (in de zin van Rosen). Door te bewijzen dat $\log_{\mathcal{A}}(\alpha)$ niet kwadratisch kan zijn (en algemener niet in de afbeelding kan liggen van recurrenties met Abelische splitsingsvelden), levert het artikel bewijs voor de bredere conjectuur dat eindige logaritmen "naief transcendent" zijn (dat wil zeggen: niet algebraïsch in de zin van het voldoen aan lineaire recurrenties). De auteur merkt bescheiden op dat de niet-Abelische casus open blijft vanwege het gebrek aan een directe cyclotomische benadering voor priemgetallen in niet-identieke residuklassen.