On a $q$-Skew Amitsur's Theorem

Technische Samenvatting: Over een q-afwijkende stelling van Amitsur

Probleemstelling
Het artikel behandelt de structuur van de Jacobson-radicaal, aangeduid als $J(R[x; \sigma, \delta])$, in Ore-uitbreidingen $R[x; \sigma, \delta]$. Specifiek onderzoekt het of de doorsnede van deze radicaal met de basisring $R$, genoteerd als $J(R[x; \sigma, \delta]) \cap R$, een nil-ideaal is (een ideaal waarbij elk element nilpotent is). Deze vraagstelling wordt geformuleerd als een generalisatie van Amitsurs stelling uit 1956 voor standaard polynoomringen, waarbij $J(R[x]) = (J(R[x]) \cap R)[x]$ en de doorsnede een nil-ideaal is.

Het artikel concentreert zich op het geval waarin de Ore-uitbreiding wordt gedefinieerd door een automorfisme $\sigma$ en een $\sigma$-afgeleide $\delta$. De specifieke voorwaarden die worden onderzocht zijn:

1. $R$ is een algebra over een onaftelbaar lichaam $k$.
2. $\sigma$ is een lokaal torsie automorfisme (voor elke $a \in R$ geldt $\sigma^n(a) = a$ voor zekere $n$).
3. $\delta$ is een lokaal nilpotente $\sigma$-afgeleide (voor elke $a \in R$ geldt $\delta^n(a) = 0$ voor zekere $n$).
4. De afgeleide is q-afwijkend, wat betekent dat $q\sigma\delta = \delta\sigma$ voor zekere niet-nul scalair $q \in k$.

Dit werk geeft een deels antwoord op een open vraag die door Greenfeld, Smoktunowicz en Ziembowski (2019) werd gesteld, namelijk of $J(R[x; \sigma, \delta]) \cap R$ nil is onder de aannames van een lokaal nilpotente $\delta$ en een lokaal torsie $\sigma$.

Methodologie
De bewijsstrategie volgt de aanpak die door Smoktunowicz en Ziembowski (2014) werd vastgesteld voor het geval van afgeleiden ($\sigma=1$), aangepast aan de q-afwijkende setting. De methodologie steunt op enkele belangrijke technische componenten:

• Kwasi-inverteerbaarheid in machtreeksen: De auteur maakt gebruik van het feit dat als een element in de Jacobson-radicaal van de polynoomring zit, het kwasi-inverteerbaar is. Door de vermenigvuldiging uit te breiden naar de Ore-machtreeksenring $R[[x; \sigma, \delta]]$ (die goed gedefinieerd is vanwege de lokale nilpotentie van $\delta$), kan de kwasi-inverse worden uitgedrukt als een formele reeks $f = \sum (-ax^n)^i$.
• Graadanalyse en coëfficiëntenextractie: Het bewijs analyseert de coëfficiënten van machten van elementen van de vorm $ax^n$. Met behulp van een gegeneraliseerde q-binomiale expansie (Propositie 4) en iteratieve formules voor $(ax^n)^m$ (Lemma 5), leidt de auteur grenzen af voor de nilpotentiedegraad van elementen onder de werking van $\delta$ en $\sigma$ (Lemma 6).
• Lineaire onafhankelijkheid over onaftelbare lichamen: Een kritieke stap houdt in dat men de kwasi-inversen van $\lambda ax^n$ beschouwt voor variërende scalairen $\lambda \in k$. Omdat $k$ onaftelbaar is, past de auteur een argument met een Vandermonde-matrix toe. Door aan te tonen dat de graad van de kwasi-inverse begrensd is voor oneindig veel $\lambda$, wordt afgeleid dat specifieke hoogwaardige coëfficiënten in de expansie moeten verdwijnen.
• Lokaal torsie eigenschap: Het verdwijnen van deze coëfficiënten leidt tot een relatie van de vorm $a\sigma^n(a)\sigma^{2n}(a)\cdots\sigma^{(d-1)n}(a) = 0$. De lokaal torsie aard van $\sigma$ wordt vervolgens gebruikt om een $n$ te selecteren die een veelvoud is van de orde van $a$, waardoor het product wordt gedwongen een macht van $a$ te worden (specifiek $a^d$), en aldus de nilpotentie wordt bewezen.

Belangrijkste Resultaten
Het artikel vestigt de volgende hoofdstelling en corollarium:

• Stelling 1: Laat $R$ een $k$-algebra zijn over een onaftelbaar lichaam $k$, $\sigma$ een lokaal torsie automorfisme, en $\delta$ een lokaal nilpotente, q-afwijkende $\sigma$-afgeleide. Dan is de verzameling $I = \{a \in R : ax^t \in J(R[x; \sigma, \delta])\}$ een nil-ideaal van $R$ voor elke $t \in \mathbb{N}$.

  • Betekenis: Dit bevestigt dat voor elk element $a$ in de doorsnede $J(R[x; \sigma, \delta]) \cap R$, $a$ nilpotent is. Dit biedt een deels bevestigend antwoord op Vraag 6.17 in [GSZ19].

• Corollarium 10 (q-afwijkende stelling van Amitsur): Als het lichaam $k$ bovendien wordt verondersteld karakteristiek nul te hebben, dan geldt de volledige Amitsur-eigenschap:
  $$J(R[x; \sigma, \delta]) = (J(R[x; \sigma, \delta]) \cap R)[x; \sigma, \delta]$$
  en is $J(R[x; \sigma, \delta]) \cap R$ een nil-ideaal van $R$.

  • Afleiding: Dit resultaat combineert Stelling 1 met een resultaat uit 2024 van Shin, dat de Jacobson-radicaal in karakteristiek nul voor q-afwijkende uitbreidingen karakteriseert.

Betekenis en Reikwijdte
Het artikel beweert een deels antwoord te geven op de vraag of de Jacobson-radicaal van een Ore-uitbreiding de basisring snijdt in een nil-ideaal, specifiek onder de voorwaarden van een onaftelbaar lichaam, een lokaal torsie automorfisme en een q-afwijkende lokaal nilpotente afgeleide.

De auteur merkt expliciet op dat het resultaat "deels" is omdat het steunt op het feit dat het lichaam onaftelbaar is en, voor de volledige Amitsur-eigenschap (Corollarium 10), op het feit dat het lichaam karakteristiek nul heeft. Het artikel beweert niet het algemene geval voor willekeurige lichamen op te lossen, noch voor gevallen waarin de q-afwijkende voorwaarde ($q\sigma\delta = \delta\sigma$) niet geldt.

Open Vragen en Toekomstige Richtingen
Het artikel sluit af met de nadruk op resterende open problemen, waarbij een bescheiden houding wordt aangenomen ten aanzien van de huidige reikwijdte van de resultaten:

1. Of $J(R[x; \sigma, \delta]) \cap R$ altijd het nilradicaal is (het grootste nil-ideaal) in de context van Corollarium 10.
2. Of Stelling 1 geldt als de q-afwijkende voorwaarde wordt verwijderd ($q\sigma\delta \neq \delta\sigma$).
3. Of Corollarium 10 geldt als $\sigma$ slechts lokaal eindig is in plaats van lokaal torsie.
4. Of $J(R[x; \delta]) \cap R$ nil is voor algebra's over lichamen van karakteristiek nul wanneer $\sigma=1$ (het standaard geval van afgeleiden).

De auteur conjectureert dat deze vragen bevestigend kunnen worden beantwoord, maar merkt op dat ze open blijven.