Non-Runge Fatou-Bieberbach Domains in Stein Manifolds with the Density Property

Deze paper presenteert methoden voor het construeren van twee soorten niet-Runge Fatou-Bieberbach-domeinen in Stein-variëteiten met de dichtheidseigenschap, waarbij voor beide soorten voorbeelden worden gegeven waarin de methoden van toepassing zijn.

De kern

Stel je voor dat je een heel groot, onbegrensd universum hebt, dat we in de wiskunde een Stein-variëteit noemen. Dit is een soort complexe ruimte waar je met getallen en functies kunt spelen. In dit universum zijn er speciale "deuren" of "tunnels" die je kunt openen. Deze tunnels heten Fatou-Bieberbach-domeinen.

Normaal gesproken zijn deze tunnels zo gemaakt dat je ze perfect kunt benaderen vanuit de rest van het universum. In de wiskundetaal noemen we dit Runge-domeinen. Het is alsof je een kamer hebt die volledig zichtbaar is vanuit de gang; je kunt elke hoek van de kamer zien en benaderen zonder obstakels.

Maar wat als je een tunnel bouwt die niet zo werkt? Een tunnel die verborgen is, of waar je niet zomaar bij kunt komen vanuit bepaalde hoeken? Dit noemen we een niet-Runge-domein. Het is alsof je een geheime kamer hebt die wel deel uitmaakt van het gebouw, maar waar de muren zo zijn gebouwd dat je ze niet kunt "voelen" of benaderen vanuit de rest van het huis.

Het grote mysterie

Vroeger dachten wiskundigen dat je in een ruimte als $\mathbb{C}^n$ (een veel-dimensionale versie van ons gewone vlak) alleen die "normale" tunnels kon bouwen. Maar in 2008 bewees iemand dat er ook "geheime" tunnels bestaan in die ruimte.

De auteurs van dit paper (Huang, Kutzschebauch en Rong) willen nu een stap verder gaan. Ze kijken naar een heel specifieke, krachtige soort ruimtes: Stein-variëteiten met de "dichtheids-eigenschap".

De analogie van de "Dichtheids-eigenschap":
Stel je voor dat je een kamer hebt met een enorm groot team van magische architecten. Deze architecten kunnen de kamer op elke denkbare manier verdraaien, uitrekken en vervormen zonder de structuur te breken. Als je genoeg architecten hebt die overal in de kamer kunnen werken, noem je dit een ruimte met de "dichtheids-eigenschap". Het betekent dat je bijna elke beweging die je wilt, kunt nabootsen met deze architecten.

Wat doen deze auteurs?

Ze zeggen: "Oké, we weten dat we in deze krachtige ruimtes normale tunnels kunnen bouwen. Maar kunnen we ook die geheime, niet-Runge-tunnels bouwen?"

Ze presenteren twee nieuwe methoden om deze geheime tunnels te construeren:

1. De "Aantrekkingskracht"-methode (Eerste soort):

   • Het idee: Stel je voor dat je een magneet in de kamer plaatst die alles naar zich toe trekt. Als je kijkt naar alles wat uiteindelijk in de buurt van die magneet belandt, heb je een tunnel.
   • De truc: Meestal is deze tunnel "normaal" (Runge). Maar de auteurs laten zien dat als je een speciaal obstakel (een muur of een wand) in de kamer plaatst, en je zorgt dat de magneet er niet tegenaan botst, je een tunnel kunt maken die wel in de kamer zit, maar niet goed benaderbaar is vanuit de rest van de kamer omdat de muur in de weg zit. Het is alsof je een kamer bouwt die wel in het huis zit, maar waar de deur naar de gang door die muur wordt geblokkeerd.

2. De "Uitstoot"-methode (Tweede soort):

   • Het idee: Dit is alsof je een stuk van de kamer (bijvoorbeeld een muur) langzaam uit de kamer duwt, terwijl je de rest van de kamer intact houdt.
   • De truc: Je duwt de muur zo ver weg dat hij de kamer verlaat, maar je doet dit op een manier dat de ruimte die overblijft (de tunnel) nog steeds lijkt op de hele oorspronkelijke kamer. Het probleem? Omdat je de muur hebt verplaatst, is de nieuwe ruimte "gebroken" op een manier die je niet kunt repareren vanuit de buitenkant. Het is alsof je een kamer hebt die eruitziet als een heel huis, maar waar een belangrijke muur ontbreekt die je niet kunt zien of bereiken.

Waarom is dit moeilijk?

De auteurs geven een leuk voorbeeld om uit te leggen waarom dit lastig is.
Stel je voor dat je een muur (een hypersurface) in je kamer hebt. Je wilt die muur verplaatsen zodat hij niet meer in de weg zit van een bepaalde groep mensen (een compacte verzameling).

• De wiskundige uitdaging: Je hebt de "magische architecten" (de dichtheids-eigenschap) nodig om de muur te verplaatsen.
• De topologische valstrik: Soms is de muur zo verbonden met de vorm van de kamer, dat je hem niet kunt verplaatsen zonder de hele kamer te scheuren. Het is alsof je probeert een knoop in een touw op te lossen, maar het touw is vastgebonden aan de vloer. Als je de knoop probeert te verplaatsen, trek je de hele vloer mee.

Ze laten zien dat in sommige ruimtes (zoals de Koras-Russell kubus of bepaalde matrixgroepen) je wél die geheime tunnels kunt bouwen, maar dat het in andere ruimtes misschien onmogelijk is door de "vorm" van de ruimte zelf.

Samenvatting in één zin

Deze paper laat zien hoe je in bepaalde complexe wiskundige ruimtes, die vol zitten met magische architecten, je "geheime kamers" kunt bouwen die eruitzien als de hele ruimte, maar die zo verborgen zijn dat je ze niet kunt benaderen vanuit de rest van het gebouw, en ze geven regels voor wanneer dit wel of niet kan.

Het is een beetje alsof ze een handleiding hebben geschreven voor het bouwen van onzichtbare kamers in een universum dat vol zit met magische deuren.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Non-Runge Fatou-Bieberbach Domains in Stein Manifolds with the Density Property" van Huang, Kutzschebauch en Rong, in het Nederlands.

Titel: Niet-Runge Fatou-Bieberbach-domeinen in Stein-variëteiten met de dichtheids-eigenschap

1. Het Probleem

Het artikel adresseert een fundamenteel vraagstuk binnen de meervoudige complexe analyse en de theorie van Stein-variëteiten.

• Achtergrond: Een Fatou-Bieberbach-domein is een proper open deelverzameling $\Omega \subset X$ van een complexe variëteit $X$ die biholomorf is aan $\mathbb{C}^n$ (voor $n = \dim_{\mathbb{C}} X$) of aan $X$ zelf. De bestaande van dergelijke domeinen (het Poincaré-Fatou-Bieberbach-fenomeen) is bekend voor $\mathbb{C}^n$ ($n \geq 2$) en voor Stein-variëteiten met de dichtheids-eigenschap (density property).
• De Kernvraag: Traditioneel worden deze domeinen geconstrueerd als limieten van automorfismen, wat resulteert in Runge-domeinen (domeinen waarbij holomorfe functies lokaal uniform benaderd kunnen worden door functies gedefinieerd op de hele variëteit). Een langdurig open probleem was of er ook niet-Runge Fatou-Bieberbach-domeinen bestaan. Hoewel Wold (2008) dit bevestigend beantwoordde voor $\mathbb{C}^n$, was het onduidelijk of dit fenomeen generaliseerbaar is naar bredere klassen van Stein-variëteiten, en specifiek voor twee soorten domeinen:
  1. Eerste soort: Biholomorf aan $\mathbb{C}^n$.
  2. Tweede soort: Biholomorf aan de variëteit $X$ zelf (maar een proper deel van $X$).

2. Methodologie

De auteurs ontwikkelen een geavanceerde methode die de theorie van Andersén-Lempert combineert met topologische obstructies en nieuwe criteria voor dichtheids-eigenschappen.

• De Dichtheids-eigenschap (Density Property): Een Stein-variëteit $X$ heeft deze eigenschap als de Lie-algebra van $\mathbb{C}$-complete holomorfe vectorvelden dicht ligt in de algebra van alle holomorfe vectorvelden. Dit garandeert een grote groep van automorfismen, essentieel voor de constructie.
• Nieuwe Concepten:
  • Zwakke dichtheids-eigenschap (Weak Density Property): De auteurs introduceren een verzwakte versie van de relatieve dichtheids-eigenschap. Hierbij worden vectorvelden beschouwd die raak zijn aan een gesloten analytische deelvariëteit $Y$, maar waarbij de "vrijheid" om compacte deelverzamelingen in $X \setminus Y$ te bewegen behouden blijft. Dit wordt gebruikt om interpolatie-resultaten (Theorema 2.7) te bewijzen.
  • Eigenschap (PO) (Push-Out Property): Voor de tweede soort domeinen wordt een topologische voorwaarde geïntroduceerd: voor elke compacte verzameling $K$ die $H$ snijdt, moet er een continue isotopie van automorfismen bestaan die $H$ uit $K$ verwijdert zonder de topologie van de omgeving te verstoren.
• Constructie van Domeinen:
  • Eerste Soort: Gebaseerd op een aanpassing van een voorbeeld van Wold/Stolzenberg. De auteurs construeren een Fatou-Bieberbach-domein $\Omega$ in $X \setminus H$ (waarbij $H$ een complexe hypersfeer is) dat Runge is in $X \setminus H$, maar niet in $X$. Dit wordt bereikt door een specifiek paar disjuncte, volledig reële schijven ($W$) te vinden die holomorf convex zijn in $X \setminus H$, maar waarvan de polynomiale holomorfische convexe huls ($\widehat{W}$) de hypersfeer $H$ snijdt. Door $W$ via automorfismen naar een standaard Fatou-Bieberbach-domein te verplaatsen, ontstaat een domein dat $W$ bevat maar niet $\widehat{W}$, waardoor het niet-Runge is in $X$.
  • Tweede Soort: Gebruikmakend van de "push-out" methode. Door $H$ systematisch uit een exhaustie van compacte verzamelingen te "duwen" met behulp van de zwakke dichtheids-eigenschap en Eigenschap (PO), construeren ze een limiet-automorfisme dat $X$ afbeeldt op een proper deel $\Omega \subset X$.

3. Belangrijkste Bijdragen en Resultaten

De paper levert twee hoofdstellingen die voldoende voorwaarden geven voor het bestaan van niet-Runge Fatou-Bieberbach-domeinen:

• Stelling 3.1 (Eerste Soort):
  Als $X$ een Stein-variëteit is en $H \subset X$ een complexe hypersfeer zodanig dat $X \setminus H$ de dichtheids-eigenschap heeft, dan bestaat er een Fatou-Bieberbach-domein van de eerste soort in $X \setminus H$ dat Runge is in $X \setminus H$ maar niet-Runge is in $X$.

  • Toepassing: Dit wordt bewezen voor $SL_n(\mathbb{C})$ ($n \geq 2$) met de hypersfeer $H = \{A : \text{tr}(A) = 0\}$, en voor de Koras-Russell kubische driedimensionale variëteit.

• Stelling 4.1 (Tweede Soort):
  Als $X$ een Stein-variëteit is, $H \subset X$ een hypersfeer, en de volgende voorwaarden gelden:

  1. $X \setminus H$ heeft de dichtheids-eigenschap.
  2. $X$ heeft de zwakke dichtheids-eigenschap ten opzichte van $H$.
  3. Het paar $(X, H)$ voldoet aan Eigenschap (PO).
     Dan bestaat er een Fatou-Bieberbach-domein van de tweede soort (biholomorf aan $X$) dat in $X \setminus H$ zit, Runge is in $X \setminus H$, maar niet-Runge is in $X$.

• Concrete Voorbeelden (Hoofdstuk 5):

  • Voor de eerste soort worden expliciete voorbeelden geconstrueerd in $SL_n(\mathbb{C})$ en de Koras-Russell variëteit.
  • Voor de tweede soort wordt bewezen dat voor elke gladde flexibele affiene algebraïsche variëteit $X$, het product $X \times \mathbb{C}$ een niet-Runge Fatou-Bieberbach-domein van de tweede soort bevat dat biholomorf is aan $X \times \mathbb{C}$ (en in $X \times \mathbb{C}^*$ zit).
  • Er wordt ook verwezen naar de Calogero-Moser ruimte als een voorbeeld.

4. Significatie en Discussie

• Generalisatie: Het werk generaliseert het fenomeen van niet-Runge Fatou-Bieberbach-domeinen van $\mathbb{C}^n$ naar een brede klasse van Stein-variëteiten met de dichtheids-eigenschap.
• Topologische Obstructies: Een cruciale inzicht is de spanning tussen de dichtheids-eigenschap en topologische obstructies. De auteurs tonen aan dat het vinden van voorbeelden voor de tweede soort aanzienlijk moeilijker is dan voor de eerste soort.
  • Voorbeeld: Voor $SL_2(\mathbb{C})$ met $H = \{a=0\}$ bestaat er een topologische obstructie voor Eigenschap (PO) (gebaseerd op homotopiegroepen $\pi_3$), wat betekent dat $H$ niet zomaar uit een compacte verzameling zoals $SU(2)$ verwijderd kan worden zonder de topologie te veranderen.
  • Er is een trade-off: Hypersferen gedefinieerd door polynomen van lage graad hebben een grotere kans om de dichtheids-eigenschap te behouden, maar kunnen topologische obstructies veroorzaken. Hypersferen van hoge graad vermijden topologische problemen maar leiden vaak tot Kobayashi-hyperbolische complementen (geen dichtheids-eigenschap).
• Open Vraag: De paper sluit af met de vraag of er een Fatou-Bieberbach-domein van de tweede soort bestaat in $SL_n(\mathbb{C}) \setminus \{A : \text{tr}(A)=0\}$. Dit blijft een uitdaging vanwege de complexe interactie tussen algebraïsche structuur, dichtheids-eigenschap en topologie.

Conclusie:
De auteurs hebben succesvolle methoden ontwikkeld om niet-Runge Fatou-Bieberbach-domeinen te construeren in Stein-variëteiten met de dichtheids-eigenschap. Ze hebben zowel theoretische criteria als concrete voorbeelden geleverd voor beide soorten domeinen, waarbij ze de diepe relatie blootleggen tussen de dynamiek van automorfismen, de algebraïsche structuur van vectorvelden en topologische beperkingen.