ℰn–Hopf invariants
| Autor: | Felix Wierstra |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Homotopy group
Pure mathematics Koszul duality Homotopy Mathematics::Algebraic Topology Suspension (topology) Cohomology Hopf invariant Mathematics::K-Theory and Homology Mathematics::Quantum Algebra Mathematics::Category Theory Simplicial set Geometry and Topology Invariant (mathematics) Mathematics |
| Zdroj: | Algebraic & Geometric Topology. 20:2905-2956 |
| ISSN: | 1472-2739 1472-2747 |
| DOI: | 10.2140/agt.2020.20.2905 |
| Popis: | The classical Hopf invariant is an invariant of homotopy classes of maps from S4n−1 to S2n, and is an important invariant in homotopy theory. The goal of this paper is to use the Koszul duality theory for ℰn–operads to define a generalization of the classical Hopf invariant. One way of defining the classical Hopf invariant is by defining a pairing between the cohomology of the associative bar construction on the cochains of a space X and the homotopy groups of X. We will give a generalization of the classical Hopf invariant by defining a pairing between the cohomology of the ℰn–bar construction on the cochains of X and the homotopy groups of X. This pairing gives us a set of invariants of homotopy classes of maps from Sm to a simplicial set X; this pairing can detect more homotopy classes of maps than the classical Hopf invariant. The second part of the paper is devoted to combining the ℰn–Hopf invariants with the Koszul duality theory for ℰn–operads to get a relation between the ℰn–Hopf invariants of a space X and the ℰn+1–Hopf invariants of the suspension of X. This is done by studying the suspension morphism for the ℰ∞–operad, which is a morphism from the ℰ∞–operad to the desuspension of the ℰ∞–operad. We show that it induces a functor from ℰ∞–algebras to ℰ∞–algebras, which has the property that it sends an ℰ∞–model for a simplicial set X to an ℰ∞–model for the suspension of X. We use this result to give a relation between the ℰn–Hopf invariants of maps from Sm into X and the ℰn+1–Hopf invariants of maps from Sm+1 into the suspension of X. One of the main results we show here is that this relation can be used to define invariants of stable homotopy classes of maps. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|