On the ring of cooperations for real Hermitian K-theory

Probleemstelling

Het centrale doel van dit artikel is het analyseren en berekenen van de ring van co-operaties $\pi_{**}^{\mathbb{R}}(kq \otimes kq)$ in de stabiele motivische homotopie categorie $\mathbf{SH}(\mathbb{R})$ (over het lichaam van de reële getallen).

• Context: In de klassieke stabiele homotopietheorie is de Adams-spectrale rij (ASS) een krachtig hulpmiddel om de homotopiegroepen van bollen te berekenen. Een cruciale stap hierbij is het begrijpen van de smash-machten $E^{\otimes f}$ van een ring-spectrum $E$. Voor het connectieve dekspectrum $bo$ van de reële K-theorie ($KO$) is bekend dat $bo \otimes bo$ splitst in een som van verschoven Brown-Gitler spectra. Dit leidde tot de $bo$-oplossing (bo-resolution) die essentieel is voor het begrijpen van $v_1$-periodieke homotopie.
• Motivische uitdaging: In de motivische homotopietheorie is $kq$ het "zeer effectieve dekspectrum" (very effective cover) van Hermitische K-theorie ($KQ$). Het is de motivische analogie van $bo$. Eerder werk van Culver en Quigley ([CQ21]) had de ring van co-operaties $\pi_{**}^{\mathbb{C}}(kq \otimes kq)$ berekend over de complexe getallen.
• Het specifieke probleem: Over $\mathbb{R}$ is de situatie aanzienlijk complexer dan over $\mathbb{C}$ of in de klassieke topologie. Er bestaat geen bekende constructie van motivische integrale Brown-Gitler spectra (die in de klassieke theorie de splijting mogelijk maken). Bovendien heeft de duale motivische Steenrod-algebra $A^\vee_{\mathbb{R}}$ een rijkere structuur (het is een Hopf-algebroid, geen Hopf-algebra) vanwege de aanwezigheid van het element $\rho$ (dat $-1$ voorstelt). De auteur moet een nieuwe methode ontwikkelen om de co-operaties te berekenen zonder te kunnen vertrouwen op de bestaande splijting van spectra.

Methodologie

De auteur hanteert een algebraïsche benadering die gebaseerd is op de motivische Adams-spectrale rij (mASS) en een reeks algebraïsche Atiyah-Hirzebruch-spectrale rijen (aAHSS). De aanpak omvat de volgende stappen:

1. Decompositie via Brown-Gitler Comodules:
   In plaats van te zoeken naar een splijting van spectra, gebruikt de auteur de motivische homologie $H_{**}(kq)$. Het bleek dat $H_{**}(kq)$ isomorf is met een som van integrale motivische Brown-Gitler comodules $B^{\mathbb{R}}_0(k)$. Dit stelt de auteur in staat om de $E_2$-pagina van de mASS voor $kq \otimes kq$ te herschrijven als een som van Ext-groepen over de sub-Hopf-algebroid $A(1)^\vee_{\mathbb{R}}$:
   $$E_2 \cong \bigoplus_{k \geq 0} \text{Ext}_{A(1)^\vee_{\mathbb{R}}}^{*,*,*}(\Sigma^{4k,2k} B^{\mathbb{R}}_0(k))$$

2. Inductieve Berekening met aAHSS:
   Om deze Ext-groepen te berekenen, gebruikt de auteur een inductieve procedure gebaseerd op korte exacte rijen van Brown-Gitler comodules. De kern van de berekening is het gebruik van algebraïsche Atiyah-Hirzebruch-spectrale rijen (aAHSS).

   • De auteur filtert de comodule $B^{\mathbb{R}}_0(1)$ en bouwt een spectrale rij die convergeert naar $\text{Ext}(B^{\mathbb{R}}_0(1))$.
   • De differentiaal in deze rijen worden bepaald door de "cellulaire structuur" van de comodule (analoog aan de cellulaire structuur van spectra in de topologie).
   • Voor hogere $k$ wordt inductie toegepast op de korte exacte rijen die $B^{\mathbb{R}}_0(k)$ relateren aan $B^{\mathbb{R}}_0(k/2)$ en $B^{\mathbb{R}}_0(1)$.

3. Verwerking van $\rho$-periodiciteit en Coweight:
   Een cruciaal verschil met de complexe of klassieke gevallen is de aanwezigheid van $\rho$ (met graad $(-1, -1)$). De auteur organiseert de berekeningen volgens coweight ($cw = s - w$, waarbij $s$ de stam en $w$ het gewicht is). De structuur van $\text{Ext}_{A(1)^\vee_{\mathbb{R}}}(M^{\mathbb{R}}_2)$ is 4-periodiek in coweight, wat leidt tot complexe "kaarten" (charts) die de relaties tussen generatoren zoals $h_0, h_1, \rho, \tau$ en Massey-producten visualiseren.

4. Vergelijking met $\mathbb{C}$ en C2-equivariantie:
   De auteur gebruikt de basisverandering-functie $-\otimes \mathbb{C}: \mathbf{SH}(\mathbb{R}) \to \mathbf{SH}(\mathbb{C})$ en de $\rho$-Bockstein-spectrale rij om resultaten van het complexe geval te "liften" naar het reële geval. Dit helpt bij het oplossen van verborgen extensies (hidden extensions).

Belangrijkste Bijdragen en Resultaten

1. Volledige Beschrijving van de Ring van Co-operaties (Stelling A):
   De auteur geeft een volledige beschrijving van de $E_2$-pagina van de motivische Adams-spectrale rij voor $\pi_{**}^{\mathbb{R}}(kq \otimes kq)$.

   • Resultaat: De spectrale rij kollabeert op de $E_2$-pagina.
   • Structuur: De $E_2$-pagina (modulo $v_1$-torsie) wordt beschreven als een som van verschoven Ext-groepen van Brown-Gitler comodules, specifiek georganiseerd in termen van modules $Z^{\mathbb{R}}_i$ die zijn opgebouwd uit bekende blokken (zoals "diamonds", "stairs", en "towers" over $\rho$ en $h_0$).
   • Dit is een motivische analogie van Mahowald's klassieke resultaat voor $bo \otimes bo$, maar bereikt via een volledig algebraïsche route zonder de beschikbare splijting van spectra.

2. Splijting van Symplectische K-theorie (Stelling D):
   Een opmerkelijk nevenresultaat is een splijtingsstelling voor het zeer effectieve dekspectrum van symplectische K-theorie, $k_{sp}$. De auteur bewijst dat er een equivalentie bestaat:
   $$k_{sp} \simeq kq \otimes H\mathbb{Z}^{\mathbb{R}}_1$$
   waarbij $H\mathbb{Z}^{\mathbb{R}}_1$ het eerste integrale motivische Brown-Gitler spectrum is. Dit is een motivische analogie van een klassiek resultaat van Mahowald en Mitchell voor $bsp \simeq bo \otimes H\mathbb{Z}_1$.

3. Berekening van $kq^{\otimes n}$ (Stelling B):
   De methode wordt uitgebreid om de ring van co-operaties voor de $n$-de smash-macht $kq^{\otimes n}$ te beschrijven. De $E_2$-pagina wordt beschreven als een som over indexen $K = (k_1, \dots, k_n)$, waarbij elke term een Ext-groep van een tensorproduct van Brown-Gitler comodules is. Ook hier kollabeert de spectrale rij op de $E_2$-pagina.

4. Correctie van Bestaande Literatuur:
   De auteur identificeert en corrigeert een fout in de berekening van Culver en Quigley ([CQ21]) voor het complexe geval. De formule voor $\text{Ext}(B^{\mathbb{C}}_0(k))$ bleek onvolledig; de auteur presenteert een gecorrigeerde formule die rekening houdt met extra $h_0$-torens die niet in de oorspronkelijke formule stonden.

Significantie

• Fundamentele Vooruitgang: Dit werk legt de basis voor het gebruik van de $kq$-oplossing (kq-resolution) in de reële motivische homotopietheorie. Net zoals de $bo$-oplossing essentieel was voor het begrijpen van $v_1$-periodieke homotopie in de klassieke theorie, biedt deze berekening de tools om de $v_1$-torsie-vrije component van de motivische homotopiegroepen van de bol over $\mathbb{R}$ te bestuderen.
• Nieuwe Methodologie: De auteur demonstreert dat men de ring van co-operaties kan berekenen door puur algebraïsche middelen (comodules en spectral sequences) wanneer de geometrische constructie van Brown-Gitler spectra ontbreekt. Dit opent de deur voor berekeningen in andere motivische contexten waar dergelijke spectra niet bekend zijn.
• Verbinding met C2-equivariantie: De resultaten zijn direct relevant voor de C2-equivariante homotopietheorie. Er is een sterke connectie tussen $\mathbf{SH}(\mathbb{R})$ en de C2-equivariante wereld (via de Betti-realizatiefunctor). De berekende Ext-groepen vormen een summand in de berekening van de co-operaties voor $ko_{C_2}$, wat een open probleem in de C2-theorie is.
• Toekomstperspectief: De paper biedt de $E_1$-pagina voor de $kq$-oplossing. De volgende stap, het bepalen van de differentiaal in deze spectrale rij (wat ρ-gevoelige informatie vereist), wordt gepland voor toekomstig werk, waarschijnlijk in combinatie met C2-equivariante technieken.

Kortom, dit artikel is een mijlpaal in de motivische homotopietheorie die de brug slaat tussen de complexe en de reële wereld, en een robuust algebraïsch raamwerk biedt voor het bestuderen van Hermitische K-theorie over de reële getallen.