$C^0$-Analogue of Ismagilov's Theorem

Technische Samenvatting: $C^0$-Analoog van Ismagilov's Stelling

Probleemstelling
Het artikel behandelt de uitbreiding van Ismagilov's cohomologische stelling van de gladde categorie naar de topologische categorie. Klassiek stelt Ismagilov's stelling vast dat de eerste continue cohomologie van de identiteitscomponent van de groep van gladde volumepreservende diffeomorfismen ($G^\infty_\Omega(M)$), met coëfficiënten in de ruimte van gladde functies met een gemiddelde van nul, isomorf is aan de eerste de Rham-cohomologie van de onderliggende gesloten georiënteerde variëteit $M$. Dit resultaat interpreteert continue gekruiste homomorfismen als bepaald te worden door gesloten differentiaal 1-vormen, wat een cohomologische verklaring biedt voor de klassieke volumeflux.

Het centrale probleem is of deze correspondentie standhoudt wanneer de groep wordt vervangen door de identiteitscomponent van de volumepreservende homeomorfismen ($Homeo^\Omega_0(M)$), uitgerust met de $C^0$-topologie. Het gebrek aan differentieerbaarheid in de topologische setting verhindert de directe toepassing van de klassieke volumeflux-homomorfisme en de gladde argumenten die ten grondslag liggen aan Ismagilov's stelling. Het artikel beoogt een $C^0$-analoog van deze stelling vast te stellen, waarbij de eerste continue cohomologie van $Homeo^\Omega_0(M)$ met coëfficiënten in de Banachruimte van continue functies met een gemiddelde van nul ($C^0_0(M)$) identificeert met de eerste de Rham-cohomologie $H^1(M; \mathbb{R})$.

Methodologie
Het bewijs steunt op een "vierstapsstrategie" die de brug slaat tussen topologische dynamica en klassieke gladde cohomologie, gecentreerd rond de ontwikkeling van een topologische transporttheorie voor volumepreservende isotopieën.

1. Approximatie van Isotopieën: De auteur maakt gebruik van het feit dat voor dimensies $n \neq 4$, gladde volumepreservende isotopieën uniform $C^0$-dicht zijn in de ruimte van continue volumepreservende isotopieën (gebaseerd op de approximatiestellingen van Müller en Sikorav). Deze dichtheid maakt het mogelijk om gladde concepten naar de topologische setting te extrapoleren.
2. Constructie van de Topologische Cocycle: Door gebruik te maken van de lokale contractibiliteit van de identiteitscomponent en de dichtheid van gladde isotopieën, definieert de auteur een intrinsieke continue flux. Voor een gesloten 1-vorm $\alpha$ construeert de auteur een globaal goed gedefinieerde continue 1-cocycle $\tau_\alpha$ op $Homeo^\Omega_0(M)$. Dit wordt bereikt door het uniform $C^0$-limiet te nemen van de gladde fluxfuncties geassocieerd met de approximerende sequenties van gladde isotopieën. Een cruciaal technisch instrument is een schatting (Lemma 2.6) die aantoont dat de fluxfunctionalen uniform continu zijn met betrekking tot de $C^0$-metriek op isotopieën.
3. Injectiviteit via Smooth Bootstrapping: Om te bewijzen dat de afbeelding van de de Rham-cohomologie naar de continue groepscoherologie injectief is, neemt de auteur aan dat een cocycle $\tau_\alpha$ een coboundary is (d.w.z. $\tau_\alpha(h) = f - f \circ h$ voor een continue $f$). Door $h$ te beperken tot gladde volumepreservende stromen en directionele afgeleiden te nemen langs divergentievrije vectorvelden, "bootstrapt" de auteur de regulariteit van $f$, waarmee wordt bewezen dat $f$ noodzakelijkerwijs glad moet zijn. Vervolgens kan de klassieke Ismagilov-stelling worden aangeroepen om te concluderen dat de cohomologieklasse $[\alpha]$ nul moet zijn.
4. Surjectiviteit via $C^0$-Dichtheid: Voor een willekeurige continue 1-cocycle op de topologische groep beperkt de auteur deze tot de dichte gladde subgroep van diffeomorfismen. Volgens de klassieke stelling is deze restrictie cohomologisch gelijk aan de flux van een gesloten 1-vorm. Vanwege de $C^0$-dichtheid van de gladde subgroep breidt deze relatie zich uniek uit door continuïteit naar de gehele topologische groep.

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (De $C^0$-Analoog): Voor een gesloten georiënteerde variëteit $M$ van dimensie $n \neq 4$ is de eerste continue cohomologie van $Homeo^\Omega_0(M)$ met coëfficiënten in $C^0_0(M)$ isomorf aan de eerste de Rham-cohomologie:
  $$H^1_{\text{cont}}(Homeo^\Omega_0(M), C^0_0(M)) \cong H^1(M; \mathbb{R}).$$
  Dit demonstreert dat de correspondentie tussen gekruiste homomorfismen en gesloten differentiaalvormen ongevoelig is voor het verlies van differentieerbaarheid.

• Topologische Transporttheorie: Het artikel introduceert een robuust transportkader voor volumepreservende homeomorfismen. Het definieert een intrinsieke continue fluxhomomorfisme $\mathcal{S}^{C^0}$ en een bijbehorende transportcocycle $\tau_\alpha$. Deze theorie dient als het topologische substituut voor de gladde flux die vereist is voor de cohomologische argumenten.

• $C^0$-Rigiditeit van de Fluxgroep: Het artikel bewijst dat de fluxgroep voor volumepreservende homeomorfismen, aangeduid als $\tilde{\Gamma}_\Omega$, samenvalt met het gladde flux-rooster $\Gamma_\Omega$. Bij consequentie is de fluxgroep discreet in $H^{n-1}(M; \mathbb{R})$ en heeft deze een rang gelijk aan de eerste Betti-getal $b_1(M)$.

• Resolutie van de $C^0$-Flux-Conjectuur: Als directe toepassing lost het artikel de volumepreservende $C^0$-Flux-Conjectuur op. Het stelt vast dat de subgroep van homeomorfismen met een verdwijnende flux (de kern van de fluxhomomorfisme) $C^0$-gesloten is in de identiteitscomponent van de groep van volumepreservende homeomorfismen.

• Toepassingen op Vaste Punten en Niet-Verplaatsbaarheid:

  • Op de 2-torus $T^2$ leidt de auteur een topologisch criterium voor vaste punten af: elke oppervlaktepreserverende homeomorfisme die isotiep is aan de identiteit met een nul topologische flux, bezit ten minste twee verschillende vaste punten (waarmee Franks' stelling in deze context wordt hersteld).
  • Ze bewijzen dat Lagrangiaanse subvariëteiten (eenvoudige gesloten curven met een niet-nul homologie) op $T^2$ niet kunnen worden verplaatst door enige homeomorfisme in de kern van de fluxhomomorfisme.

• Tweede Cohomologie en Centrale Uitbreidingen: Het artikel karakteriseert de tweede cohomologiegroep gerelateerd aan de flux, waarbij wordt getoond dat de fluxhomomorfisme een niet-triviale centrale uitbreiding induceert van de groep van volumepreservende homeomorfismen door de flux-rooster.

Betekenis en Claims
De auteur claimt dat de primaire nieuwheid niet ligt in de constructie van de transporttheorie zelf (die parallel loopt aan ontwikkelingen in symplectische homeomorfismen), maar in het inzicht dat deze theorie het ontbrekende ingrediënt biedt om Ismagilov's cohomologische stelling van gladde diffeomorfismen naar homeomorfismen te extrapoleren.

De resultaten illustreren dat de transporttheorie in de $C^0$-categorie voldoende robuust is om klassieke cohomologische rigiditeitfenomenen te herstellen die voorheen alleen bekend waren in de gladde setting. Specifiek stelt het artikel dat de eerste continue cohomologie volledig wordt beheerst door de topologie van de onderliggende variëteit, ongeacht het verlies van differentieerbaarheid. Bovendien biedt de resolutie van de $C^0$-Flux-Conjectuur voor volumepreservende homeomorfismen een volledige, klassieke resolutie voor alle gesloten oppervlakken, waarbij de noodzaak voor de zware Floer-homologische machinerie die gewoonlijk vereist is in hogere-dimensionale symplectische topologie, wordt omzeild. Het werk suggereert dat de algebraïsche structuren die ten grondslag liggen aan de Floer-Novikov-theorie (zoals de Novikov-ring) topologisch rigide zijn en standhouden in de $C^0$-limiet.