Locally finite sets of derivations

Technische Samenvatting: Lokaal eindige verzamelingen van afgeleiden

Probleemstelling
Het artikel onderzoekt de relatie tussen de lokale eindigheid van individuele afgeleiden en de lokale eindigheid van de door hen gegenereerde Lie-subalgebraën. Laat $B$ een algebra zijn over een lichaam $k$, en laat $\text{Der}_k(B)$ de Lie-algebra van $k$-afgeleiden van $B$ zijn. Een deelverzameling $\Delta \subseteq \text{Der}_k(B)$ is lokaal eindig als elk element $b \in B$ behorend is tot een einddimensionele onderruimte $U \subseteq B$ die invariant is onder alle afgeleiden in $\Delta$. De deelverzameling is zwak lokaal eindig indien elke eindige deelverzameling van $\Delta$ lokaal eindig is.

De centrale vraag die wordt behandeld is: Onder welke voorwaarden wordt een Lie-subalgebra $L \subseteq \text{Der}_k(B)$, bestaande uit uitsluitend lokaal eindige afgeleiden (d.w.z. $L \subseteq \text{LFD}_k(B)$), zwak lokaal eindig? Hoewel het triviaal is dat een zwak lokaal eindige algebra bestaat uit lokaal eindige afgeleiden, is het omgekeerde in het algemeen niet waar zonder aanvullende hypothesen. De auteurs beogen structurele voorwaarden op $B$ en $L$ te identificeren die ervoor zorgen dat dit omgekeerde standhoudt.

Methodologie en Definities
De auteurs werken binnen een zeer algemeen kader waarbij $B$ een willekeurige $k$-algebra is (niet noodzakelijkerwijs commutatief of associatief). Een cruciaal concept dat wordt geïntroduceerd is dat van een afgeleide-eindige algebra: een algebra $B$ is afgeleide-eindig indien er een eindige deelverzameling $S \subseteq B$ bestaat waarvoor de enige afgeleide die op alle elementen van $S$ nul is, de nul-afgeleide is. Het artikel stelt vast dat veel standaardalgebra's in de algebraïsche meetkunde (bijv. eindig gegenereerde algebra's, lokalisaties daarvan, en ringen van reguliere functies op quasi-affiene variëteiten) aan deze voorwaarde voldoen.

De methodologie steunt op:

1. Lineair-algebraïsche technieken: Het analyseren van de werking van afgeleiden op einddimensionale onderruimten en het benutten van eigenschappen van de Lie-haak $[D, E] = D \circ E - E \circ D$.
2. Inductieve argumenten en Zorns lemma: Specifiek het construeren van sequenties van verzamelingen afgeleid uit iteratieve Lie-haken en het gebruiken van maximaliteitsargumenten om lokale eindelijkheidseigenschappen uit te breiden.
3. Constructie van tegenvoorbeelden: Het gebruik van Golods tegenvoorbeeld voor het Kurosh-probleem (een oneindig-dimensionale associatieve algebra gegenereerd door $m$ elementen waarbij elke $(m-1)$-deelverzameling nilpotent is) om de noodzaak van de "afgeleide-eindige" hypothese aan te tonen.

Belangrijkste Resultaten
Het artikel stelt de volgende hoofdtheorema's en corollaria vast, uitgaande van het feit dat $B$ een afgeleide-eindige algebra is:

1. Theorema over iteratieve haken: Laat $S \subseteq \text{LFD}_k(B)$ gesloten zijn onder de Lie-haak. Definieer een sequentie $S_0 = S$ en $S_{n+1} = \{[D, E] \mid D, E \in S_n\}$. Indien een verzameling $S_n$ in deze dalende keten zwak lokaal eindig is, dan is de oorspronkelijke verzameling $S$ zwak lokaal eindig.
2. Oplosbare Lie-algebra's: Indien $L$ een oplosbare Lie-subalgebra is van $\text{Der}_k(B)$ en $L \subseteq \text{LFD}_k(B)$, dan is $L$ zwak lokaal eindig. Dit generaliseert eerdere resultaten die beperkt waren tot specifieke polynoomringen.
3. Extensies en Filtraties:
   • Indien $L$ zwak lokaal eindig is en $\Delta \subseteq \text{LFD}_k(B)$ voldoet aan $[\Delta, \Delta] \subseteq L$ en $[\Delta, L] \subseteq L$, dan is de Lie-algebra gegenereerd door $\Delta \cup L$ zwak lokaal eindig.
   • Voor een quasi-affiene variëteit $X$ over een willekeurig lichaam $k$, indien $L$ een oplosbare Lie-subalgebra is van $\text{Der}_k(\mathcal{O}_X(X))$ bestaande uit lokaal eindige afgeleiden, dan is $L$ zwak lokaal eindig en bezit het een aftelbare toenemende filtratie door lokaal eindige Lie-subalgebra's.
4. Integreerbaarheid: In het specifieke geval waar $k$ algebraïsch gesloten is van karakteristiek nul en $X$ een irreducibele affiene variëteit is, tonen de auteurs aan dat een dergelijke oplosbare Lie-algebra $L$ lokaal integreerbaar is (het bezit een aftelbare stijgende filtratie door lokaal eindige subalgebra's), wat overeenkomt met de terminologie van [AZ26].

Tegenvoorbeeld en Noodzaak van Hypothesen
Het artikel bewijst dat de aanname dat $B$ afgeleide-eindig is, essentieel is. In Sectie 4 construeren de auteurs een commutatieve polynoomring $B$ in oneindig veel variabelen (die niet afgeleide-eindig is) en, voor elke $m \ge 2$, een Lie-subalgebra $L_m \subseteq \text{Der}_k(B)$ die $m$-gegenereerd is. Deze algebra $L_m$ bestaat geheel uit lokaal nilpotente (en dus lokaal eindige) afgeleiden. Echter, $L_m$ is niet zwak lokaal eindig. Bovendien is elke $(m-1)$-gegenereerde sub-algebra van $L_m$ nilpotent en lokaal eindig. Dit demonstreert dat zonder de afgeleide-eindige voorwaarde, een eindig gegenereerde Lie-algebra van lokaal eindige afgeleiden niet noodzakelijkerwijs zwak lokaal eindig hoeft te zijn.

Betekenis en Claims
De auteurs stellen dat de resultaten een algemeen criterium bieden voor de zwakke lokale eindigheid van Lie-algebra's van afgeleiden, waarmee bekende resultaten voor specifieke polynoomringen worden uitgebreid naar willekeurige afgeleide-eindige algebra's. Het artikel merkt expliciet op dat deze resultaten bedoeld zijn voor gebruik in een komend werk van de auteurs betreffende Borel-subgroepen van automorfisme-groepen van affiene variëteiten en Lie-algebra's van lokaal nilpotente afgeleiden. Het artikel stelt geen nieuwe experimentele toepassingen voor, maar verstevigt de theoretische fundering met betrekking tot de structuur van afgeleide-algebra's in de algebraïsche meetkunde.