Exotic Hopf maps, weight shifting and applications to vector bundles

Titel: Exotische Hopf-afbeeldingen, gewicht verschuiving en toepassingen op vectorbundels

1. Probleemstelling en Context

Het artikel richt zich op het expliciet construeren van polynoomrepresentanten voor homotopiegroepen van spheren binnen de context van de motivische homotopietheorie.

• Achtergrond: P. Baum bewees dat elementen van de stabiele homotopiegroepen van spheren gerepresenteerd kunnen worden door kwadratische reële polynoomafbeeldingen. Echter, Wood toonde aan dat dit niet geldt in het onstabiele bereik voor reële polynomen. Complex polynoomrepresentanten zijn echter wel mogelijk, gezien de homotopie-equivalentie tussen de complexe algebraïsche spheren en de reële spheren.
• Specifiek doel: Het artikel wil een expliciete polynoomrepresentant vinden voor de suspensie van de Hopf-afbeelding ($S^4 \to S^3$) gedefinieerd over $\mathbb{Z}$. In eerdere werken (zoals [AFH25]) werd de existentie van zo'n representant bewezen via motivische technieken, maar een expliciete, meetkundige constructie ontbrak.
• Toepassing: Een tweede doel is het gebruik van deze constructie om een expliciet vectorbundel van rang 2 te construeren op het Jouanolou-apparaat van $\mathbb{P}^3_{\mathbb{Z}}$, wat een algebraïsch analogon is van een topologisch bundel met triviale Chern-classes maar niet-triviale Atiyah-Rees invariant.

2. Methodologie

De auteurs gebruiken een combinatie van motivische homotopietheorie, symplectische K-theorie en een procedure genaamd "weight shifting" (gewicht verschuiving).

• Motivische Sferen en Quadrieken: De auteurs werken met gladde quadrieken $Q_n$ die dienen als modellen voor motivische spheren in de categorie $\mathcal{H}(k)$. De complexe realisatiefunctor stuurt deze $Q_n$ naar de topologische spheren $S^n$.

• De twee constructies voor de Exotische Hopf-afbeelding:

  1. Symplectische K-theorie: De auteurs gebruiken de exacte rijen van motivische homotopiegroepen. Ze identificeren $\pi^{A_1}_{2,2}(Q_3)$ met een deel van de symplectische K-theorie $KSp_1(Q_4)$. Door de coniveau-spectrale rij te gebruiken, construeren ze een expliciete symplectische matrix in $Sp_8(Q_4)$ die de generator van $\mathbb{Z}/2\mathbb{Z}$ representeert. Vervolgens reduceren ze deze matrix via elementaire symplectische operaties naar een matrix in $Sp_2$, wat leidt tot een expliciete polynoomafbeelding $Q_4 \to Q_3$.
  2. Weight Shifting (Gewicht Verschuiving): Deze methode start met de universele rang-2 bundel op $Q_5$. Via adjunctie en het gebruik van een quotiëntpresentatie van $Q_3 \times \mathbb{G}_m$, construeren ze een afbeelding $T$. Door te profiteren van het feit dat $T$ $2\epsilon$-torsie is (waarbij $2\epsilon = \langle 1, -1 \rangle$), kunnen ze een "weight shifting" procedure toepassen. Dit transformeert een element in een lagere homotopiegroep naar een element in een hogere groep, wat resulteert in een afbeelding $Q_4 \to Q_3$. Deze constructie levert een unimodulaire rij met een zeer hoge graad op.

• Suspensie van afbeeldingen: In Sectie 2.5 ontwikkelen de auteurs een expliciete methode om afbeeldingen tussen quadrieken te "P1-suspenderen". Dit stelt hen in staat om afbeeldingen van de vorm $Q_n \to Q_m$ te transformeren naar $Q_{n+2} \to Q_{m+2}$, wat essentieel is voor het construeren van de uiteindelijke bundel op $\mathbb{P}^3$.

3. Belangrijkste Resultaten

• Theorema 1 (Eerste constructie): De auteurs geven een expliciete matrix (met componenten $a, b, c, d$ als polynomen in de coördinaten van $Q_4$) die een afbeelding $Q_4 \to Q_3$ definieert over $\mathbb{Z}$. De complexe realisatie hiervan is de suspensie van de Hopf-afbeelding.
• Theorema 2 (Tweede constructie): Een tweede expliciete afbeelding $Q_4 \to Q_3$ wordt geconstrueerd via de weight-shifting methode. Deze wordt gegeven door een unimodulaire rij $(a', b')$ met polynomen van zeer hoge graad (tot de 10e graad in $z$). Ook deze realiseert complex tot de suspensie van de Hopf-afbeelding.
• Vergelijking: De auteurs merken op dat het onbekend is of deze twee afbeeldingen homotoop zijn over $\mathbb{Z}$, hoewel ze beide trivialiseren over $\mathbb{F}_2$.
• Constructie van een Vectorbundel: In Sectie 4 wordt een rang-2 vectorbundel geconstrueerd op het Jouanolou-apparaat $J_3$ van $\mathbb{P}^3$. Dit gebeurt door de compositie:
  $$J_3 \xrightarrow{\pi_3} Q_6 \xrightarrow{\Sigma_{\mathbb{P}^1}\eta'} Q_5 \to BSL_2$$
  waarbij $\eta'$ een van de geconstrueerde exotische Hopf-afbeeldingen is.
• Invarianten: Voor een algebraïsch gesloten lichaam $k$ (zoals $\mathbb{C}$) wordt bewezen dat dit bundel:
  • Triviale Chern-classes heeft (specifiek $c_2 = 0$).
  • Een niet-triviale Atiyah-Rees invariant heeft (een element van $\mathbb{Z}/2\mathbb{Z}$).
    Dit bevestigt het motivische analogon van het resultaat van Atiyah en Rees voor topologische bundels op $\mathbb{C}P^3$.

4. Significatie en Impact

• Expliciete Algebraïsche Geometrie: Het artikel vult een belangrijke lacune in de motivische homotopietheorie door abstracte existentiebewijzen om te zetten in expliciete polynoomformules. Dit maakt het mogelijk om deze objecten computergestuurd te bestuderen en te manipuleren.
• Verbinding tussen Topologie en Algebra: De resultaten tonen aan dat complexe topologische fenomenen (zoals de suspensie van de Hopf-afbeelding en de structuur van vectorbundels op projectieve ruimten) volledig kunnen worden gereproduceerd en geanalyseerd binnen de algebraïsche geometrie over $\mathbb{Z}$.
• Technische Innovatie: De ontwikkeling van de "weight shifting" procedure en de expliciete methode voor P1-suspensie van afbeeldingen tussen quadrieken biedt nieuwe gereedschappen voor de berekening van motivische homotopiegroepen en het construeren van niet-triviale algebraïsche bundels.
• Toekomstige Richtingen: De methode biedt een kader om verdere klassen in motivische homotopiegroepen expliciet te construeren en de relatie tussen algebraïsche en topologische invarianten verder te onderzoeken, met name over velden die niet algebraïsch gesloten zijn.

Kortom, dit artikel levert een brug tussen abstracte motivische theorie en concrete algebraïsche constructies, waarbij het niet alleen de existentie van exotische Hopf-afbeeldingen bevestigt, maar deze ook "in handen" geeft via expliciete polynomen, met directe toepassing op de classificatie van vectorbundels.