Un calcul géométrique des groupes de cohomotopie en co-degré un

Informations fondamentales

• ID de l'article: 2307.03805
• Titre: Un calcul géométrique des groupes de cohomotopie en co-degré un
• Auteurs: Michael Jung, Thomas O. Rot
• Classification: math.GT (Topologie géométrique), math.AT (Topologie algébrique)
• Date de publication: Juillet 2023 (prépublication arXiv, dernière révision le 25 mars 2024)
• Lien de l'article: https://arxiv.org/abs/2307.03805

Résumé

Cet article utilise des arguments géométriques pour calculer les groupes de classes d'homotopie des applications continues d'une variété fermée de dimension $(n+1)$ vers la sphère de dimension $n$, où $n \geq 3$. Ce travail étend les résultats de Kirby, Melvin et Teichner concernant les 4-variétés fermées orientées, ainsi que ceux de Konstantis concernant les variétés fermées de dimension $(n+1)$ de spin, en considérant les variétés qui ne sont pas nécessairement orientables ou de spin. Au cours de cette étude, les auteurs introduisent deux classes de variétés, généralisant le concept de 4-variétés paires et impaires. Pour le cas $n \geq 4$, les applications aux fibrés vectoriels de spin de rang $n$ sont discutées, et un raffinement de la classe d'Euler dans le groupe de cohomotopie est obtenu, fournissant un obstacle complet à l'existence de sections non nulles.

Contexte et motivation de la recherche

Contexte du problème

L'ensemble de cohomotopie $\pi^n(X) = [X^{n+k}, S^n]$ (classes d'homotopie sans point base d'applications d'un complexe cellulaire de dimension $(n+k)$ vers la sphère de dimension $n$) joue un rôle important en topologie algébrique et topologie différentielle. Lorsque $n$ est suffisamment grand, cet ensemble possède une structure de groupe.

Problème central

Pour le cas $k=1$ et $n \geq 3$, le théorème principal de Steenrod affirme que $\pi^n(X)$ satisfait la suite exacte courte: $0 \to H^{n+1}(X;\mathbb{Z}_2)/(Sq^2 \circ r)(H^{n-1}(X;\mathbb{Z})) \to \pi^n(X) \to H^n(X;\mathbb{Z}) \to 0$

Motivation de la recherche

Bien que Taylor et ses collaborateurs aient étudié l'extension de groupe correspondante en utilisant des techniques d'homotopie basées sur la tour de Postnikov, il est pertinent d'explorer une approche plus géométrique lorsque $X$ est une variété. Kirby-Melvin-Teichner et Konstantis ont respectivement fourni des preuves géométriques pour les 4-variétés fermées orientées et les variétés fermées de dimension $(n+1)$ de spin.

Objectif de cet article

Perfectionner le tableau géométrique pour $k=1$ et $n \geq 3$, en fournissant un calcul géométrique de $\pi^n(X)$ pour les variétés lisses fermées de dimension $(n+1)$, y compris les variétés qui ne sont pas nécessairement de spin ou orientables.

Contributions principales

Les principales contributions de cet article incluent:

1. Cadre de calcul géométrique complet: Fournir une méthode de calcul géométrique de $\pi^n(X)$ pour toutes les variétés lisses fermées de dimension $(n+1)$ (sans exiger l'orientabilité ou la structure de spin)
2. Généralisation de la classification des variétés: Introduction de deux classes de variétés (type I et type II), généralisant le concept de 4-variétés paires et impaires
3. Théorème principal: Établissement de la relation entre les chaînes d'encadrement normal et la cohomologie à coefficients tordus
4. Caractérisation des structures Pin$^-$: Preuve que la suite se scinde si et seulement si la variété admet une structure Pin$^-$
5. Applications aux fibrés vectoriels: Pour $n \geq 4$, construction d'un raffinement de la classe d'Euler dans le groupe de cohomotopie, fournissant un obstacle complet à l'existence de sections non nulles pour les fibrés vectoriels de spin

Détails de la méthode

Configuration de base

Soit $X$ une variété lisse fermée connexe de dimension $(n+1)$, avec $n \geq 3$. L'outil clé est la construction de Pontryagin-Thom, qui fournit l'isomorphisme: $\pi^n(X^{n+k}) \cong F_k(X)$ où $F_k(X)$ désigne l'ensemble des classes d'équivalence de bord d'encadrement normal de sous-variétés $k$-dimensionnelles encadrées dans $X \times [0,1]$.

Classification des variétés

Définition des variétés de type I et type II

Pour la fonction $(w_1^2 + w_2): H_2(X;\mathbb{Z}_2) \to \mathbb{Z}_2$ et la réduction modulo 2 $r: H_2(X;o_X) \to H_2(X;\mathbb{Z}_2)$:

• Variétés de type I: $(w_1^2 + w_2) \circ r \not\equiv 0$
• Variétés de type II: $(w_1^2 + w_2) \circ r \equiv 0$

Caractérisation géométrique

Proposition 2.3: S'il existe un plongement de surface fermée $\iota: \Sigma \hookrightarrow X$ tel que $w_1(\nu_\iota) = 0$ et $w_2(\nu_\iota) \neq 0$, alors $X$ est de type I. Réciproquement, si $X$ est de type I, alors il existe un tel plongement de surface.

Pour le cas $n \geq 4$:

• Type I: Il existe une surface fermée $\Sigma \subset X$ telle que $\nu_\Sigma$ soit orientable mais non trivialisable
• Type II: Toutes les surfaces fermées dont le fibré normal est orientable ont un fibré normal trivial

Application d'oubli

Il existe une application naturelle d'oubli: $h: F_1(X) \to H_1(X; o_X)$ qui oublie l'encadrement mais retient l'orientation du fibré normal. Cela conduit à la suite exacte courte: $0 \to \ker(h) \to F_1(X) \xrightarrow{h} H_1(X; o_X) \to 0$

Résultats principaux

Théorème 1.1 (Théorème principal):

• Si $X$ est de type I, alors $h: F_1(X) \to H_1(X; o_X)$ est un isomorphisme
• Si $X$ est de type II, alors il existe une suite exacte courte: $0 \to \mathbb{Z}_2 \to F_1(X) \xrightarrow{h} H_1(X; o_X) \to 0$ dont l'extension est classifiée par un élément unique dans $\text{Ext}(H_1(X; o_X), \mathbb{Z}_2)$, qui s'envoie sur $w_1^2(X) + w_2(X)$ dans la suite des coefficients universels.

Points d'innovation technique

1. Caractérisation géométrique du noyau

Lemme 3.5: Le sous-groupe $\ker(h) \subset F_1(X)$ est engendré par $[U_1]$, où $U_1$ est un cercle encadré dont l'encadrement ne peut pas être étendu sur un disque fixe $D$.

2. Homomorphisme de Bockstein tordu

Introduction de l'homomorphisme de Bockstein tordu $\beta_k: H_{k+1}(X;\mathbb{Z}_2) \to H_k(X; o_X)$, établissant la connexion avec la suite des coefficients universels.

3. Rôle des structures Pin$^-$

Théorème 1.2: Si $X$ est Pin$^-$, alors la suite se scinde. Il existe une correspondance entre les applications de scindage et les structures Pin$^-$:

• Cas orientable: Tous les structures de spin équivalentes correspondent bijectivement aux applications de scindage
• Cas non-orientable: Toutes les structures Pin$^-$ équivalentes correspondent deux-à-un aux applications de scindage

Résultats expérimentaux

Exemples de calculs concrets

Exemple 4.2: Pour $X = \mathbb{RP}^{4k}$ ($k \geq 1$), le plongement standard $\mathbb{RP}^2 \subset \mathbb{RP}^{4k}$ satisfait $w_1(\nu_{\mathbb{RP}^2}) = 0$ mais $w_2(\nu_{\mathbb{RP}^2}) \neq 0$. Puisque $H_1(\mathbb{RP}^{4k}; o_X) \cong H_{4k-1}(\mathbb{RP}^{4k};\mathbb{Z}) = 0$, on obtient $F_1(\mathbb{RP}^{4k}) = 0$.

Exemple 5.12: Pour $X = \mathbb{RP}^{n+1}$, les résultats de calcul sont résumés dans le tableau suivant:

Applications aux fibrés vectoriels

Raffinement de la classe d'Euler

Théorème 7.5: Soit $E \to X$ un fibré vectoriel orienté de spin de rang $n \geq 4$. Notons $(L,\varphi)$ le lieu des zéros d'une section transverse à la section nulle et l'encadrement normal induit. Alors $E$ admet une section non nulle si et seulement si $[L,\varphi] = 0$ dans $F_1(X)$.

Application aux variétés de type I

Théorème 1.3: Soit $X$ une variété fermée connexe de dimension $(n+1)$ de type I, avec $n \geq 4$. Soit $E \to X$ un fibré vectoriel orienté de spin de rang $n$. Alors la classe d'Euler $e(E) = 0$ si et seulement si $E$ admet une section non nulle.

Application aux variétés Pin$^-$

Théorème 1.4: Soit $X$ une variété fermée connexe de dimension $(n+1)$ Pin$^-$, avec $n \geq 4$. Soit $E \to X$ un fibré vectoriel orienté de spin de rang $n$. Alors $E$ admet une section non nulle si et seulement si la classe d'Euler $e(E)$ et le degré $\kappa(E)$ sont tous deux nuls.

Travaux connexes

Développement historique

1. Steenrod (1947): Établissement de la suite de cohomotopie fondamentale
2. Kirby-Melvin-Teichner (2012): Preuve géométrique pour les 4-variétés fermées orientées
3. Konstantis (2020): Preuve géométrique pour les variétés fermées de dimension $(n+1)$ de spin, introduction d'invariants de comptage
4. Taylor (2012): Méthode d'homotopie utilisant la tour de Postnikov

Contribution de cet article

Cet article complète le tableau géométrique, traite les variétés qui ne sont pas nécessairement de spin ou orientables, et établit des connexions profondes avec les structures Pin$^-$.

Conclusions et discussion

Conclusions principales

1. Caractérisation complète de la structure géométrique du groupe de cohomotopie $\pi^n(X)$ des variétés fermées de dimension $(n+1)$
2. Établissement de la correspondance entre le type de variété et la structure du groupe de cohomotopie
3. Preuve du rôle déterminant des structures Pin$^-$ dans le scindage de la suite
4. Fourniture d'une théorie géométrique d'obstruction complète pour le problème des sections des fibrés vectoriels de spin

Signification théorique

Ce travail relie la théorie abstraite en topologie algébrique aux constructions concrètes en géométrie différentielle, fournissant une nouvelle perspective géométrique pour comprendre les propriétés topologiques des variétés.

Perspectives d'application

Ce cadre théorique peut s'appliquer à:

• Les problèmes de classification des fibrés vectoriels
• L'étude des invariants topologiques des variétés
• La théorie des obstructions en géométrie différentielle

Évaluation approfondie

Avantages

1. Complétude théorique: Fournit une solution géométrique complète au problème
2. Innovation technique: Combine habilement les techniques de topologie algébrique et géométrie différentielle
3. Profondeur des résultats: Établit des connexions profondes entre les structures Pin$^-$ et les groupes de cohomotopie
4. Applicabilité large: Fournit de nouveaux outils pour la théorie des fibrés vectoriels

Points techniques remarquables

1. Construction géométrique: Évite la théorie d'homotopie abstraite par des constructions géométriques explicites
2. Méthode de classification: La classification des variétés de type I/II est simple et efficace
3. Techniques de calcul: Utilisation ingénieuse de la cohomologie à coefficients tordus pour traiter le cas non-orientable

Limitations

1. Restrictions dimensionnelles: Les résultats s'appliquent principalement au cas $n \geq 3$
2. Complexité technique: Certaines preuves impliquent des constructions géométriques complexes
3. Portée des applications: Principalement concentrée au niveau théorique, les calculs pratiques restent un défi

Évaluation de l'impact

Cet article fournit une contribution importante à la recherche interdisciplinaire entre topologie géométrique et topologie algébrique, et devrait influencer les recherches ultérieures dans les domaines connexes, en particulier dans la classification des variétés et la théorie des fibrés vectoriels.

Références

L'article cite 23 références importantes, couvrant les résultats classiques en topologie algébrique, géométrie différentielle et théorie des variétés, fournissant une base théorique solide pour cette recherche.