Generic vector fields on isolated complex hypersurface germs

Technische Samenvatting: Generieke Vectorvelden op Geïsoleerde Complexe Hypervlakke Germa

Probleemstelling
Het artikel onderzoekt de ruimte van holomorfe vectorvelden op geïsoleerde hypervlaksingulariteiten $(V, 0) \subset (\mathbb{C}^{n+1}, 0)$. Hoewel vaststaat dat de ruimte van germa van holomorfe vectorvelden op een dergelijke singulariteit oneindigdimensionaal is, en dat de deelverzameling van die met een geïsoleerde singulariteit in de oorsprong open en dicht is, moeten de specifieke eigenschappen van "generieke" elementen binnen deze ruimte nog worden gekarakteriseerd. Specifiek trachten de auteurs de minimaal mogelijke waarde van de GSV-index (Gómez-Mont, Seade, Verjovsky-index) voor deze vectorvelden te bepalen en de geometrische voorwaarden te begrijpen waaronder dit minimum wordt bereikt. Bovendien heeft het werk tot doel deze lokale bevindingen uit te breiden om globale obstructies af te leiden voor het bestaan van holomorfe vectorvelden op compacte singuliere variëteiten.

Methodologie
De auteurs maken gebruik van een combinatie van lokale singulariteitstheorie en globale topologische methoden:

1. Lokale Analyse via GSV-index: De studie maakt gebruik van de GSV-index, gedefinieerd als de Poincaré-Hopf-index van een continue uitbreiding van een vectorveld naar een lokale Milnor-fiber. De auteurs relateren deze index aan algebraïsche invarianten van de singulariteit, specifiek het Tjurina-Greuel-getal $\tau_0(V)$ en het Milnor-getal $\mu_0(V)$.
2. Algebraïsche Karakterisering: De kern van de lokale theorie bestaat uit het analyseren van het ideaal gegenereerd door de definiërende vergelijking van het hypervlak $f$ en de componenten van een holomorfe uitbreiding van het vectorveld $\tilde{v} = (v_1, \dots, v_{n+1})$. De auteurs gebruiken dimensieformules over de lokale ring van holomorfe germa $\mathcal{O}_{n+1,0}$ en eigenschappen van reguliere rijen om ondergrenzen voor de index vast te stellen.
3. Uitbreiding en Niet-degeneratie: Een centrale techniek is het onderzoeken of een vectorveld op het hypervlak kan worden uitgebreid naar de omringende ruimte $\mathbb{C}^{n+1}$ met een niet-gedegenereerde geïsoleerde singulariteit in de oorsprong.
4. Globale Obstructies: Voor compacte variëteiten passen de auteurs de lokale resultaten toe door de minimale indexen op singuliere punten op te tellen. Zij maken gebruik van de Riemann-Roch-stelling van Baum-Fulton-MacPherson en berekeningen van Chern-classes voor virtuele raakbundels om deze lokale sommen te relateren aan globale topologische invarianten (zoals de Euler-kenmerk en het geometrisch geslacht).

Belangrijkste Bijdragen en Resultaten

• Karakterisering van Generieke Vectorvelden (Stelling 1):
  De auteurs bewijzen dat voor een hypervlakgerma $(V, 0)$ met een geïsoleerde singulariteit, de GSV-index van elk holomorf vectorveld $v$ met een geïsoleerde singulariteit onderaan wordt begrensd door:
  $$\text{Ind}_{GSV}(v, (V, 0)) \geq 1 + (-1)^n \tau_0(V)$$
  waarbij $\tau_0(V)$ het Tjurina-Greuel-getal is.
  Cruciaal is dat het artikel vaststelt dat gelijkheid geldt dan en slechts dan als het vectorveld een holomorfe uitbreiding toelaat naar de omringende ruimte $\mathbb{C}^{n+1}$ met een niet-gedegenereerde singulariteit in de oorsprong. Bovendien vormt de verzameling van dergelijke vectorvelden (die de minimale index bereiken) een open en dicht deel van de ruimte van alle vectorvelden met geïsoleerde singulariteiten.

• Karakterisering van Gewogen Homogene Germa (Stelling 2):
  Het artikel biedt een gedeeltelijke oplossing voor een conjectuur betreffende de equivalentie van gewogen homogeniteit en het bestaan van specifieke vectorvelden:

  • Voor even $n$ impliceert het bestaan van een vectorveld dat uitbreidt naar de omringende ruimte met een niet-gedegenereerde singulariteit dat $(V, 0)$ gewogen homogeen is.
  • Voor oneven $n$ impliceert het bestaan van een vectorveld dat overal transversaal is aan de link $L_V$ dat $(V, 0)$ gewogen homogeen is.
    De auteurs merken op dat het bewijzen van de volledige equivalentie in alle dimensies een open taak blijft, maar hun resultaten bevestigen de implicatie in deze specifieke gevallen.

• Globale Obstructies voor Compacte Variëteiten (Sectie 5 & 6):
  Door de lokale ondergrenzen op te tellen, leiden de auteurs beperkingen af voor compacte singuliere variëteiten die globale holomorfe vectorvelden toelaten:

  • Projectieve Hypervlakken: Zij leiden een ongelijkheid af die de graad van het hypervlak, het aantal singuliere punten en de som van lokale indexen relateert (Stelling 3).
  • Singuliere Curven (Stelling 4): Een irreducibele compacte singuliere complexe kromme die een niet-triviaal holomorf vectorveld met nulpunten toelaat, moet rationeel zijn (geometrisch geslacht $g=0$) en hoogstens twee singuliere punten bezitten.
  • Singuliere Oppervlakken in Kähler 3-variëteiten (Stelling 5): Als een singulier oppervlak $V$ in een compacte Kähler 3-variëteit $X$ een niet-triviaal holomorf vectorveld met nulpunten toelaat, en de geadjungeerde lijnbundel $\mathcal{O}_X(K_X + [V])$ nef is, dan is het geometrisch geslacht groter dan of gelijk aan de irregulariteit ($g(V) \geq q(V)$).

Betekenis en Aanspraken
Het artikel claimt een nauwkeurige beschrijving te geven van het "generieke" gedrag van holomorfe vectorvelden op geïsoleerde hypervlaksingulariteiten, waarbij de minimale index wordt geïdentificeerd in termen van het Tjurina-getal. Deze karakterisering dient als brug tussen lokale algebraïsche meetkunde en globale topologie.

De auteurs benadrukken dat hun resultaten nieuwe obstructies opleveren voor het bestaan van globale vectorvelden op singuliere ruimten, een onderwerp waarbij standaardmethoden voor gladde variëteiten (die vertrouwen op de isomorfisme tussen het complex van reguliere vormen en het Koszul-complex) falen. Specifiek demonstreert het artikel dat het bestaan van dergelijke vectorvelden strikte topologische beperkingen oplegt:

1. Singuliere krommen die dergelijke velden dragen, zijn noodzakelijkerwijs rationeel met zeer weinig singulariteiten.
2. Singuliere oppervlakken in specifieke Kähler-omgevingen kunnen geen "excess" irregulariteit hebben ten opzichte van hun geometrisch geslacht.

Het werk verduidelijkt ook de relatie tussen het bestaan van transversale vectorvelden (of niet-gedegenereerde uitbreidingen) en de gewogen homogene aard van de singulariteit, en beantwoordt gedeeltelijk een conjectuur in het vakgebied. De auteurs presenteren deze bevindingen als een fundamentele stap in het begrijpen van de wisselwerking tussen het type singulariteit en de globale meetkunde van singuliere variëteiten.