The weak Markus--Yamabe conjecture fails in dimension 14

Technische Samenvatting: De Zwakke Markus–Yamabe Vermoeden Faalt in Dimensie 14

Probleemstelling
Het artikel behandelt de Zwakke Markus–Yamabe Vermoeden, die stelt dat elke $C^1$ afbeelding $X: \mathbb{R}^n \to \mathbb{R}^n$ injectief is als de Jacobiaanmatrix $JX(x)$ eigenwaarden heeft met strikt negatieve reële delen voor alle $x \in \mathbb{R}^n$ (een "Hurwitz-afbeelding"). Terwijl de klassieke vermoeden (dat stelt dat de singulariteit een globale attractor is) bekend staat als onjuist voor $n > 2$, bleef de zwakke versie met betrekking tot injectiviteit open voor polynomiale afbeeldingen in dimensies $n \ge 3$. De auteurs beogen te bepalen of de zwakke vermoeden standhoudt voor polynomiale Hurwitz-afbeeldingen, waarbij zij specifiek onderzoeken naar de verbinding tussen deze vermoeden en de Jacobiaan Vermoeden.

Methodologie
De auteurs maken gebruik van twee verschillende algebraïsche constructies om niet-injectieve polynomiale afbeeldingen (Keller-afbeeldingen) te transformeren naar polynomiale vectorenvelden met Hurwitz-Jacobianen die meerdere singulariteiten bezitten.

1. Ketenvattingstheorema (Theorem 1.2):

   • De auteurs introduceren een "ketenvatting"-mechanisme (chain realization) dat een polynomiale Keller-afbeelding $F = \text{Id} + H$ (waarbij $H$ geen constante of lineaire termen heeft) omzet in een vectorveld $X_{F, \beta}$ op een hoger-dimensionale ruimte $\mathbb{R}^N$.
   • De dimensie wordt berekend als $N = \sum_{i=1}^n \max(d_i, 2) - n$, waarbij $d_i$ de graden van de componenten van $F$ zijn.
   • De constructie maakt gebruik van een gegradeerde gelijkenislemma (Lemma 2.6), een generalisatie van de schaalargumenten gebruikt voor kubische homogene afbeeldingen. Dit lemma bewijst dat als de determinant van $I - M(u)$ constant is, $M(u)$ nilpotent is.
   • Door dit toe te passen op een Keller-afbeelding met een niet-triviale vezel (meerdere punten die naar dezelfde afbeelding gaan), heeft het resulterende vectorveld $X$ een Jacobiaan-spectrum van $\{-1\}$ overal (wat het Hurwitz maakt) en een singulariteitsverzameling die in polynomiale bijstelling staat met de vezel van $F$.

2. Rang-gereduceerde Dehomogenisering (Sectie 7):

   • Een tweede constructie minimaliseert de graad van het resulterende vectorveld in plaats van de dimensie.
   • Beginnend met een kubische stabilisatie van een Keller-afbeelding, passen de auteurs een rang-reductietechniek toe op het kubische homogene deel. Door de kubische term $C$ te ontbinden in $E\tilde{C}$ op basis van de component-rang, construeren zij een afbeelding $K_E$ op een uitgebreide ruimte.
   • Deze methode produceert een Hurwitz-vectorveld van graad drie, onafhankelijk van de ketenconstructie.

Belangrijkste Bijdragen en Resultaten

• Tegenvoorbeeld in Dimensie 14:
  Door het Ketenvattingstheorema toe te passen op het recente expliciete tegenvoorbeeld voor het Jacobian-vermoeden aangekondigd door Alpöge (een niet-injectieve Keller-afbeelding $F: \mathbb{R}^3 \to \mathbb{R}^3$ met rationale coëfficiënten en drie verschillende punten in dezelfde vezel), construeren de auteurs een expliciet polynomiaal vectorveld $X: \mathbb{R}^{14} \to \mathbb{R}^{14}$.

  • Eigenschappen: Het veld is van graad zeven. De Jacobiaanmatrix heeft een spectrum van $\{-1\}$ op elk punt.
  • Singulariteiten: Het veld bezit drie verschillende rationale singulariteiten ($S_1, S_2, S_3$).
  • Conclusie: Omdat een Hurwitz-afbeelding met meerdere singulariteiten niet injectief kan zijn, is de Zwakke Markus–Yamabe Vermoeden onjuist in dimensie 14. Door het vectorveld triviaal uit te breiden, wordt aangetoond dat de vermoeden faalt voor alle dimensies $n \ge 14$.

• Tegenvoorbeeld in Dimensie 18 (Graad 3):
  Met behulp van de rang-gereduceerde dehomogenisering op dezelfde onderliggende afbeelding, construeren de auteurs een polynomiaal Hurwitz-vectorveld op $\mathbb{R}^{18}$.

  • Eigenschappen: Dit veld is van graad drie en bezit eveneens drie verschillende rationale singulariteiten.

• Discreet Tegenvoorbeeld:
  Het artikel merkt op dat de afbeelding $G = \text{Id} + X$ (waarbij $X$ het dimensie 14 veld is) een nilpotente Jacobiaan heeft op elk punt en drie lokaal asymptotisch stabiele fixpunten heeft, wat de discrete analogon van het probleem weerlegt.

Betekenis en Claims
Het artikel stelt vast dat de Zwakke Markus–Yamabe Vermoeden binnen de klasse van polynomiale afbeeldingen faalt voor dimensies $n \ge 14$. De significantie ligt in de expliciete constructie van deze tegenvoorbeelden met behulp van de recente doorbraak op het Jacobian-vermoeden.

• Omkering van Logica: Historisch gezien werd de verbinding tussen het Jacobian-vermoeden en de Zwakke Markus–Yamabe Vermoeden beschouwd als: "Als de Zwakke Vermoeden waar is, dan is het Jacobian-vermoeden waar." Dit paper demonstreert het omgekeerde mechanisme: "Aangezien het Jacobian-vermoeden onjuist is (via Alpöge's tegenvoorbeeld), moet de Zwakke Vermoeden ook onjuist zijn in voldoende hoge dimensies."
• Aard van de Obstructie: In tegenstelling tot klassieke tegenvoorbeelden voor de sterke Markus–Yamabe vermoeden (die betrokken bij banen die naar oneindig ontsnappen), is de obstructie hier de co-existentie van meerdere evenwichten (hyperbolische sinks). De vectorvelden zijn lokaal contracterend overal, maar falen om globaal injectief te zijn vanwege de aanwezigheid van meerdere aantrekkingsgebieden (basins of attraction).
• Open Dimensies: De auteurs geven expliciet aan dat hun constructies de status van de vermoeden voor dimensies $3 \le n \le 13$ niet oplossen. De dimensie 14 resultaat hangt af van de specifieke graadstructuur van de Alpöge-afbeelding; het minimaliseren van de dimensie verder zou het vinden van een Keller-afbeelding met lagere componentgraden of het optimaliseren van de afbeelding via polynomiale automorfismen vereisen, wat een open probleem blijft.

Het artikel concludeert dat hoewel de algebraïsche botsing van vezels in de context van het Jacobian-vermoeden direct vertaalt naar een polynomiaal dynamisch systeem met meerdere hyperbolische sinks, de specifieke dimensionale drempel voor het laagst mogelijke tegenvoorbeeld nog onbepaald is.