On the origin of the Jacobian conjecture

Technische Samenvatting: Over de Oorsprong van de Jacobian-vermoeden

Probleemstelling
Het artikel behandelt de historische en wiskundige oorsprong van het Jacobian-vermoeden, een centraal probleem in de algebraïsche meetkunde betreffende de inversibiliteit van polynoomafbeeldingen. Het vermoeden stelt dat een polynoomafbeelding $(p, q): \mathbb{C}^2 \to \mathbb{C}^2$ met een constante niet-nul Jacobian-determinant ($J(p, q) = 1$) noodzakelijkerwijs inversibel is, waarbij ook de inverse een polynoomafbeelding is. Hoewel het traditioneel wordt toegeschreven aan O. H. Keller (1939), identificeert de auteur dat de exacte formulering en een bewijsontwerp werden gepubliceerd door L. Kraus in 1884. Het artikel beoogt de argumentatie van Kraus te reconstrueren met behulp van moderne wiskundige instrumenten, de specifieke fout in zijn logica aan te wijzen, en te analyseren waarom die specifieke fout een fundamentele hindernis blijft voor hedendaagse benaderingen van het vermoeden.

Methodologie
De auteur hanteert een hybride methodologie die historische tekstuele analyse combineert met rigoureuze moderne algebraïsche meetkunde en complexe analyse.

1. Historische Reconstructie: Het artikel analyseert het werk van Kraus uit 1884, dat gebruikmaakt van de theorie van resultanten en algebraïsche functies in de complexe analyse.
2. Moderne Rechtvaardiging: De reconstructie vervangt hiaten in de oorspronkelijke argumentatie van Kraus door moderne stellingen, waaronder:
   • Resultant-criteria: Het gebruik van het Adjamagbo-van den Essen-criterium (Stelling 1) dat de inversibiliteit van een afbeelding koppelt aan de structuur van de resultant $Res_y(p-u, q-v)$.
   • Veldentheorie: Het toepassen van de stelling van Formanek om veldextensies en de irreducibiliteit van vezels vast te stellen (Stelling 3).
   • Complexe Analyse: Het analyseren van de algebraïsche functie $x = f(v)$ die door de resultantvergelijking op de Riemann-sfeer wordt gedefinieerd, waarbij specifiek wordt gekeken naar vertakkingspunten (branch points) en ramificatie.
3. Kritische Analyse: Het artikel test systematisch de bewijsstappen van Kraus, waarbij onderscheid wordt gemaakt tussen "kritieke punten van de eerste soort" (eindige wortels) en "kritieke punten van de tweede soort" (wortels die naar oneindig tenderen).

Belangrijkste Bijdragen en Resultaten

• Historische Ontdekking: Het artikel stelt vast dat de publicatie van L. Kraus uit 1884 de exacte formulering van het planaire Jacobian-vermoeden bevat, evenals een poging tot een bewijs, wat 55 jaar vóór Keller is. Het werk van Kraus werd over het hoofd gezien in de context van het vermoeden, ondanks dat het werd geciteerd in de historische verhandeling van Muir.
• Reconstructie van het Bewijs: De auteur slaagt erin de initiële fasen van de argumentatie van Kraus te reconstrueren, waarbij wordt aangetoond dat:
  • Onder de aanname van irreducibele vezels (een conditie die nu bekend staat als voldoende zonder algemeenheid via de resultaten van Kaliman), de resultant $Res_y(p-u, q-v)$ een irreducibele polynoom $R(x, u, v)$ is.
  • De inversibiliteit van de afbeelding wordt gereduceerd tot het bewijzen dat de graad van $x$ in $R(x, c, v)$ gelijk is aan 1.
  • Kraus correct beargumenteerde dat de conditie $J(p, q)=1$ de vorming van vertakkingspunten voor eindige kritieke waarden (kritieke punten van de eerste soort) voorkomt. Dit wordt bewezen door aan te tonen dat de lokale analytische representatie van de curve de toepassing van de Implicit Function Theorem mogelijk maakt, waardoor deze punten regulier zijn.
• Identificatie van de Fout: Het artikel identificeert de fatale fout in het bewijs van Kraus met betrekking tot "kritieke punten van de tweede soort" (waar wortels van de resultant naar oneindig gaan).
  • Kraus beweerde dat de conditie $J(p, q)=1$ en de niet-verdwijnende afgeleide van de parametrisatie $x(s)$ bij oneindig, zouden impliceren dat de afgeleide van de beeldfunctie $w_\alpha(s)$ niet verdwijnt.
  • De auteur demonstreert dat deze stap ongeldig is omdat de afgeleide van de parametrisatie $x(s) = 1/s^m$ bij $s=0$ ongedefinieerd is. Bijgevolg kan men niet concluderen dat $w'_\alpha(0) \neq 0$, en dus kan men de Implicit Function Theorem niet toepassen om aan te tonen dat oneindig geen vertakkingspunt is.
• De Kernhindernis: Het artikel concludeert dat het onvermogen om de ramificatie bij oneindig te beheersen (het gedrag van de afbeelding wanneer punten naar oneindig gaan), de precieze bron is van de fout van Kraus. Dit specifieke probleem—het beheersen van de niet-properheid van de afbeelding bij oneindig—blijft de voornaamste hindernis voor algebraïsch-geometrische benaderingen van het Jacobian-vermoeden vandaag de dag.

Betekenis
De betekenis van het artikel ligt in de dubbele bijdrage aan zowel de geschiedenis als de wiskunde. Historisch gezien corrigeert het de toeschrijving van de formulering van het vermoeden, waarbij wordt aangetoond dat de kernideeën reeds in 1884 aanwezig waren. Wiskundig gezien valideert het dat de strategie van Kraus om resultanten en de theorie van algebraïsche functies te gebruiken vooruitstrevend was en de moderne technieken met meer dan een eeuw anticipeerde. Het artikel stelt echter bescheiden dat het niet de bewijsvoering van Kraus herstelt, maar eerder verheldert waar de logica precies faalt. De analyse bevestigt dat de moeilijkheid in het Jacobian-vermoeden niet louter een gebrek aan algebraïsche machinerie is, maar een diep geometrisch probleem betreffende het gedrag van polynoomafbeeldingen bij oneindig, een uitdaging die al meer dan een eeuw voortduurt.