Cohomotopy

• Cohomotopy is a contravariant homotopy theory with unstable, non-abeliangroup structures. It is represented by homotopy classes of maps into n-spberes and includes richer data than ordinary cohomology, such as tangent bundle topologies, and framed manifold information.
• In geometric applications, Cohomotopy captures more complexity than ordinary cohomology, notably in the context of Pontryagin–Thom connectinons where tangible data such as geodesics and normal framing flow down into refined geometric representations, including data in higher dimensional flow.
• Advanced structures in cohomotopy, such as equivariant, twisted, and differential cohomotopy, have applications in physics and topology, including complexities that map unseen behaviours of systems at different scales.

Cohomotopy is the contravariant homotopy theory whose degree-$n$ objects are homotopy classes of maps into the $n$-sphere,

$\pi^n(X)=[X,S^n],$

or, in the pointed setting, $\pi^n(X)=[X,S^n]_{*}$. Unlike ordinary cohomology, represented by Eilenberg–Mac Lane spaces $K(A,n)$, cohomotopy is generally unstable and non-abelian: its coefficient object is a finite sphere rather than an infinite loop space. Consequently, $\pi^n(X)$ is generally a pointed set, although it may carry group, torsor, or stable-cohomotopy structures in suitable dimensions. Cohomotopy retains nonlinear homotopy information, including Hopf and Whitehead products, torsion, representation-theoretic data, and framed-submanifold information that can disappear under passage to ordinary cohomology or stabilization.

1. Representability, instability, and basic structures

Ordinary cohomology with coefficients in an abelian group $A$ is represented by

$\widetilde H^n(X;A)\cong [X,K(A,n)].$

The spaces $K(A,n)$ form an $\Omega$-spectrum, producing suspension isomorphisms and abelian groups. Cohomotopy instead uses spheres: $n$0 The full mapping space

$n$1

contains more information than its set of components. Its connected components are the cohomotopy classes, while its loop spaces encode higher monodromy and, in proposed physical applications, higher observables (Sati et al., 2019).

The terminology “non-abelian generalized cohomology” emphasizes that a connected pointed space $n$2 may serve as a coefficient object through

$n$3

For $n$4, this gives unstable cohomotopy. The analogy with homotopy groups is

$n$5

Cohomotopy is contravariant in $n$6, invariant under homotopy equivalence, and naturally associated with pointed spaces. Its algebraic structure depends on the target. For example, multiplication on $n$7 induces a group structure on $n$8, while $n$9 is generally only a pointed set equipped with an action by $\pi^n(X)=[X,S^n],$0. In higher-dimensional calculations, cohomotopy sets may fit into exact sequences, extensions, or torsor descriptions rather than canonical group structures (Kirby et al., 2012).

Stable cohomotopy replaces spheres by the sphere spectrum: $\pi^n(X)=[X,S^n],$1 It is a genuine generalized cohomology theory with groups, long exact sequences, and suspension stability. The relationship among the three theories is schematically

$\pi^n(X)=[X,S^n],$2

The arrows indicate loss of information: ordinary cohomology forgets nonlinear and torsion data, while stabilization can suppress unstable Hopf and Pontryagin–Thom phenomena.

2. Geometric interpretation through Pontryagin–Thom theory

For a closed smooth $\pi^n(X)=[X,S^n],$3-manifold $\pi^n(X)=[X,S^n],$4, the unstable Pontryagin–Thom theorem identifies degree-$\pi^n(X)=[X,S^n],$5 cohomotopy with framed cobordism classes of codimension-$\pi^n(X)=[X,S^n],$6 submanifolds: $\pi^n(X)=[X,S^n],$7 A map $\pi^n(X)=[X,S^n],$8, after choosing a regular value, determines the framed inverse image

$\pi^n(X)=[X,S^n],$9

Conversely, a framed submanifold determines a Pontryagin–Thom collapse map. The normal framing is a trivialization

$\pi^n(X)=[X,S^n]_{*}$0

This interpretation explains why cohomotopy can refine ordinary characteristic classes. The underlying submanifold determines a homology class, but the framing contributes additional information. In degree $\pi^n(X)=[X,S^n]_{*}$1, cohomotopy therefore records both a codimension-$\pi^n(X)=[X,S^n]_{*}$2 geometric cycle and its normal-framing data.

For maps from a closed oriented $\pi^n(X)=[X,S^n]_{*}$3-manifold $\pi^n(X)=[X,S^n]_{*}$4, the classical cases are

$\pi^n(X)=[X,S^n]_{*}$5

whereas $\pi^n(X)=[X,S^n]_{*}$6 contain genuinely nonclassical information. Pontryagin–Thom identifies

$\pi^n(X)=[X,S^n]_{*}$7

where $\pi^n(X)=[X,S^n]_{*}$8 denotes normally framed bordism classes of $\pi^n(X)=[X,S^n]_{*}$9-dimensional submanifolds (Kirby et al., 2012).

For $K(A,n)$0, forgetting the framing gives a surjection

$K(A,n)$1

The kernel depends on the parity of the intersection form. If $K(A,n)$2 is odd, then

$K(A,n)$3

If $K(A,n)$4 is even, there is an exact sequence

$K(A,n)$5

The extension class is determined by $K(A,n)$6; it splits precisely when $K(A,n)$7 is spin. Thus, for a spin $K(A,n)$8,

$K(A,n)$9

For $\pi^n(X)$0, forgetting the framing maps to

$\pi^n(X)$1

A surface admits a normal framing precisely when its self-intersection vanishes. Hence the image is

$\pi^n(X)$2

The group $\pi^n(X)$3 acts transitively on each fiber of $\pi^n(X)$4, and the stabilizer is twice the framed intersection map: $\pi^n(X)$5 Consequently, each fiber is a torsor for

$\pi^n(X)$6

The factor $\pi^n(X)$7 arises both from resolving double points in framed bordisms and from the degree of the conjugation map $\pi^n(X)$8.

The co-degree-one calculation generalizes this picture. For a closed connected smooth $\pi^n(X)$9-manifold $A$0, $A$1,

$A$2

and forgetting the framing gives

$A$3

where $A$4 is the orientation local system. The obstruction controlling the extension is

$A$5

the obstruction to a $A$6-structure. Type I manifolds have

$A$7

whereas type II manifolds have an extension by $A$8, splitting precisely when a $A$9-structure exists (Jung et al., 2023).

For an oriented spin rank-$\widetilde H^n(X;A)\cong [X,K(A,n)].$0 vector bundle $\widetilde H^n(X;A)\cong [X,K(A,n)].$1, a transverse section has a framed one-dimensional zero locus $\widetilde H^n(X;A)\cong [X,K(A,n)].$2, defining a refined Euler class

$\widetilde H^n(X;A)\cong [X,K(A,n)].$3

Its image under the cohomotopy Hurewicz map is the Poincaré dual of the ordinary Euler class. The refined class vanishes exactly when $\widetilde H^n(X;A)\cong [X,K(A,n)].$4 admits a nowhere-vanishing section. Thus ordinary Euler-class vanishing can be insufficient: the cohomotopy refinement detects a residual framing obstruction.

3. Postnikov towers and explicit calculations

The difference between cohomotopy and ordinary cohomology is controlled by the Postnikov tower of the sphere. The bottom stage of $\widetilde H^n(X;A)\cong [X,K(A,n)].$5 is

$\widetilde H^n(X;A)\cong [X,K(A,n)].$6

and successive stages impose $\widetilde H^n(X;A)\cong [X,K(A,n)].$7-invariant obstructions. The first $\widetilde H^n(X;A)\cong [X,K(A,n)].$8-primary obstruction is

$\widetilde H^n(X;A)\cong [X,K(A,n)].$9

Further stages involve secondary operations, mod-$K(A,n)$0 lifts of $K(A,n)$1, $K(A,n)$2, and higher operations whose mod-$K(A,n)$3 reductions include $K(A,n)$4. At odd primes, the tower contains operations such as

$K(A,n)$5

For an integral class $K(A,n)$6, lifting $K(A,n)$7 to degree-four cohomotopy requires successive obstruction vanishing. The primary conditions include

$K(A,n)$8

followed by the vanishing of secondary and tertiary obstructions such as $K(A,n)$9, $\Omega$0, and $\Omega$1. In particular,

$\Omega$2

appears as a necessary condition. These operations generally depend on choices of preceding lifts; they are not all primary operations on $\Omega$3 alone (Grady et al., 2020).

The rational distinction is already visible for $\Omega$4. Its Sullivan model has generators $\Omega$5 with

$\Omega$6

A rational degree-four cohomotopy cocycle therefore contains a closed $\Omega$7-form $\Omega$8 together with a $\Omega$9-form $n$00 trivializing its square: $n$01 Thus rational cohomotopy is not merely rational cohomology; it includes a nonlinear trivialization of the quadratic operation $n$02.

Recent calculations for closed orientable $n$03-connected $n$04-manifolds with $n$05 and $n$06-torsion-free homology combine these Postnikov towers with suspension decompositions. For simply connected $n$07-manifolds,

$n$08

and $n$09 fits into

$n$10

For $n$11-connected $n$12-manifolds,

$n$13

where $n$14. For $n$15-connected $n$16-manifolds,

$n$17

and

$n$18

The groups $n$19 remain unresolved in the $n$20- and $n$21-dimensional cases under consideration (Li et al., 2024).

4. Equivariant and stable cohomotopy

For a finite group $n$22, equivariant cohomotopy uses $n$23-equivariant maps into representation spheres. If $n$24 is a real $n$25-representation, its one-point compactification is

$n$26

and

$n$27

The equivariant degree is representation-valued rather than integer-valued. Fixed-point geometry is organized by the isotropy subgroups $n$28, with stages

$n$29

Equivariant stable cohomotopy is obtained by stabilization over representations. For compact Lie groups, the classical $n$30-graded theory studies stabilized equivariant maps between representation spheres. For finite groups, the stable equivariant sphere ring is identified with the Burnside ring: $n$31 The Boardman homomorphism linearizes finite $n$32-sets into real permutation representations: $n$33 This passage from unstable cohomotopy to $n$34-theory loses information, especially fixed-point subset data.

The ghost kernel illustrates a different limitation of fixed-point detection. For pointed $n$35-spaces $n$36, the ghost map is

$n$37

Its kernel consists of equivariant stable maps that become null after forgetting equivariance and are null on $n$38-fixed points. For $n$39, $n$40 odd, and

$n$41

the equivariant stable cohomotopy group

$n$42

has nontrivial ghost kernel for $n$43. More precisely, for $n$44, its $n$45-power torsion is elementary abelian of rank $n$46 satisfying

$n$47

The proof uses the Borel cohomology Adams spectral sequence

$n$48

together with Steenrod-algebra calculations and a filtration of the equivariant projective space (Szymik, 2011).

For proper actions of Lie groups, finite-dimensional representation spheres may be inadequate. An analytic extension replaces them with $n$49-Hilbert bundles, Fredholm morphisms, compact nonlinear perturbations, and fiberwise one-point compactifications. A cocycle is a quadruple

$n$50

where $n$51 is Fredholm and $n$52 is an equivariant compact perturbation such that $n$53 extends to a pointed map

$n$54

The resulting theory is graded by equivariant real $n$55-theory,

$n$56

rather than only by $n$57. It satisfies functoriality, excision, homotopy invariance, relative exactness, induction and restriction, products, and suspension. For discrete groups acting on proper $n$58-CW pairs, the parametrized Schwartz index identifies this analytic theory with Lück’s finite-dimensional equivariant stable cohomotopy under the stated hypotheses (Barcenas, 2013).

5. Parametrized cohomotopy and gauge-theoretic constructions

Cohomotopy can be parametrized over a base space. If $n$59 is a fiberwise pointed space, stable cohomotopy is formed in the category of spectra over $n$60. For parametrized sphere spectra $n$61 associated with vector or virtual bundles,

$n$62

denotes stable fiberwise homotopy classes.

This framework supports family versions of gauge-theoretic invariants. For a smooth family of closed oriented $n$63-manifolds with complex spin structure,

$n$64

the family Seiberg–Witten monopole map is a fiber-preserving $n$65-equivariant map

$n$66

with linearization

$n$67

After finite-dimensional approximation and one-point compactification, it gives

$n$68

This is the family Bauer–Furuta invariant. It restricts on every fiber to the ordinary Bauer–Furuta invariant and is natural under pullback: $n$69

A family of Fredholm operators also determines a Thom spectrum $n$70. The parametrized monopole map yields an ordinary stable cohomotopy class

$n$71

For a fixed complex spin $n$72-manifold $n$73, the universal family over

$n$74

defines a universal characteristic cohomotopy class. Pullback along a classifying map of a family recovers that family’s invariant (Szymik, 2020).

The K3 example demonstrates that family stable cohomotopy contains information not determined by the invariant of an individual fiber. For a family over $n$75, the Dirac index bundle has complex rank $n$76, while the plus-harmonic bundle has rank $n$77. The universal Kummer family realizes Dirac-bundle degree $n$78, and the family invariant constrains the Dirac index bundle to have even degree. Mapping tori of diffeomorphisms yield invariants depending only on isotopy class; subtracting the invariant of the identity gives a reduced mapping-torus invariant that vanishes for diffeomorphisms isotopic to the identity.

Cohomotopy also underlies nonlinear Fredholm constructions for proper group actions. The monopole map in Bauer–Furuta theory is a proper compact perturbation of a Fredholm operator and therefore defines an analytic cohomotopy cocycle. Restriction along the central $n$79 recovers the usual $n$80-equivariant Bauer–Furuta invariant within the proper-action framework (Barcenas, 2013).

6. Twisted and differential cohomotopy

Twisting replaces the fixed sphere $n$81 by a sphere bundle. If $n$82 is a rank-$n$83 vector bundle, its unit sphere bundle $n$84 is the coefficient object for $n$85-twisted degree-$n$86 cohomotopy. The $n$87-twist is induced by the action of orthogonal groups on spheres: $n$88 For a tangent bundle, this produces a spherical fibration whose sections represent twisted cohomotopy classes.

In the M-theory applications, a tangentially twisted degree-four cocycle is represented schematically by a map into

$n$89

The quaternionic Hopf fibration

$n$90

relates degree-four and degree-seven data. Its rational model includes a degree-three generator $n$91: $n$92 In the twisted setting, the corresponding relation becomes

$n$93

up to normalization conventions. The shifted flux

$n$94

is integrally quantized under the cohomotopical character map. In compatible $n$95-structures on $n$96-manifolds, the resulting degree-seven equation includes the nonlinear $n$97 term and gravitational corrections $n$98 or $n$99.

Twistorial cohomotopy refines the $\pi^n(X)=[X,S^n],$00-coefficient by the twistor fibration

$\pi^n(X)=[X,S^n],$01

The additional degree-two generator $\pi^n(X)=[X,S^n],$02 produces a differential-form system

$\pi^n(X)=[X,S^n],$03

$\pi^n(X)=[X,S^n],$04

together with the degree-seven relation. Integral classes satisfy

$\pi^n(X)=[X,S^n],$05

and

$\pi^n(X)=[X,S^n],$06

This realizes a factorized Green–Schwarz-type relation associated with an $\pi^n(X)=[X,S^n],$07-sector rather than arbitrary $\pi^n(X)=[X,S^n],$08-gauge data (Fiorenza et al., 2020).

Differential cohomotopy combines sphere-valued topological data, differential-form data, and a compatibility homotopy. For $\pi^n(X)=[X,S^n],$09, a differential cocycle can be represented schematically by

$\pi^n(X)=[X,S^n],$10

where $\pi^n(X)=[X,S^n],$11, $\pi^n(X)=[X,S^n],$12 consists of forms $\pi^n(X)=[X,S^n],$13 with

$\pi^n(X)=[X,S^n],$14

and $\pi^n(X)=[X,S^n],$15 identifies the realification of $\pi^n(X)=[X,S^n],$16 with the differential-form data. Differential Postnikov towers combine the ordinary Postnikov tower, its real localization, and a Sullivan-model tower. Torsion homotopy groups remain purely topological in the differential refinement, so Steenrod and secondary obstructions remain visible even though differential forms do not detect torsion (Grady et al., 2020).

For the M5-brane, a $\pi^n(X)=[X,S^n],$17-form $\pi^n(X)=[X,S^n],$18 on the worldvolume is interpreted as a homotopy lift through the quaternionic Hopf fibration. The full Hopf–Wess–Zumino anomaly is represented by a twisted homotopy Whitehead integral involving both $\pi^n(X)=[X,S^n],$19 and $\pi^n(X)=[X,S^n],$20. Under integral $\pi^n(X)=[X,S^n],$21-twisted cohomotopy quantization, twice the anomaly is integral: $\pi^n(X)=[X,S^n],$22 This ensures that the exponentiated Wess–Zumino action is well-defined. For multiple M5-branes, the level is multiplied by $\pi^n(X)=[X,S^n],$23, which is even for every integer $\pi^n(X)=[X,S^n],$24 (Fiorenza et al., 2019).

The restriction of the equivariant quaternionic Hopf fibration to a heterotic M5-brane yields an $\pi^n(X)=[X,S^n],$25 gauge field. The induced structure factors through

$\pi^n(X)=[X,S^n],$26

and the corresponding differential relation is

$\pi^n(X)=[X,S^n],$27

Thus the induced field exhibits a $\pi^n(X)=[X,S^n],$28-twisted String structure (Fiorenza et al., 2020).

7. Applications, extensions, and limitations

Equivariant cohomotopy assigns representation spheres to group actions and fixed-point stages to isotropy subgroups. For a finite group $\pi^n(X)=[X,S^n],$29, the unstable equivariant group

$\pi^n(X)=[X,S^n],$30

can distinguish positive-dimensional stages, with integer Hopf degrees, from zero-dimensional fixed stages, with subset-valued data. The unstable equivariant Hopf–tom Dieck theorem yields a stagewise description involving factors of $\pi^n(X)=[X,S^n],$31 and $\pi^n(X)=[X,S^n],$32. For ADE groups acting on the quaternionic representation $\pi^n(X)=[X,S^n],$33, mobile branes occur in regular-representation multiples, while fixed-point contributions are finite unstable data. Stabilization and the Boardman map retain Chan–Paton representation information but lose the unstable distinctions among fixed-plane charges (Sati et al., 2019).

Differential cohomotopy on Penrose-diagram spacetimes can be modeled by configuration spaces. For $\pi^n(X)=[X,S^n],$34, the May–Segal equivalence gives

$\pi^n(X)=[X,S^n],$35

For the degree-four fiber product associated with codimension-$\pi^n(X)=[X,S^n],$36 and codimension-$\pi^n(X)=[X,S^n],$37 intersections,

$\pi^n(X)=[X,S^n],$38

The ordering arises from the relative ordering of points in the additional $\pi^n(X)=[X,S^n],$39-direction. Loop-space homology is governed by the algebra of horizontal chord diagrams: $\pi^n(X)=[X,S^n],$40 and cohomology is dual to the corresponding weight systems (Sati et al., 2019).

A different proposed application concerns fractional quantum Hall systems. Replacing the ordinary classifying space

$\pi^n(X)=[X,S^n],$41

by

$\pi^n(X)=[X,S^n],$42

replaces ordinary integral $\pi^n(X)=[X,S^n],$43-cohomology by unstable $\pi^n(X)=[X,S^n],$44-cohomotopy. For $\pi^n(X)=[X,S^n],$45, the fundamental group of the mapping space produces an algebra with generators $\pi^n(X)=[X,S^n],$46 and central element $\pi^n(X)=[X,S^n],$47: $\pi^n(X)=[X,S^n],$48 For the plane, $\pi^n(X)=[X,S^n],$49 is generated by the Hopf map and admits a framed-link interpretation. The resulting phase for a framed link $\pi^n(X)=[X,S^n],$50 is

$\pi^n(X)=[X,S^n],$51

The identification of these constructions with physical anyons is a hypothesis and proposed application rather than a theorem derived from microscopic dynamics (Sati et al., 25 Aug 2025).

Cohomotopy also admits analytic and algebraic variants. For proper Lie-group actions, nonlinear Fredholm cocycles extend equivariant stable cohomotopy beyond finite-dimensional representation theory (Barcenas, 2013). An algebraic construction based on polynomial homotopies of unimodular rows defines

$\pi^n(X)=[X,S^n],$52

with

$\pi^n(X)=[X,S^n],$53

This algebraic invariant is distinct from singular cohomology and from the topological cohomotopy set $\pi^n(X)=[X,S^n],$54. Its applications include Mayer–Vietoris-type constructions and examples of non-free stably free modules of rank two (Sridharan et al., 18 Dec 2025).

The principal limitations of cohomotopy arise from its instability, nonlinearity, and computational complexity. Cohomotopy sets may lack canonical group structures; Postnikov obstructions can be secondary or tertiary and depend on choices of lifts; stabilization can erase unstable information; and differential refinements require higher stacks or equivalent global structures to incorporate forms, connections, holonomies, and higher transition data. In the M-theory applications, the central charge-quantization statement is a hypothesis rather than a consequence of a complete formulation of M-theory, and several anomaly-cancellation results are proved only under specified tangential, spin, $\pi^n(X)=[X,S^n],$55, or $\pi^n(X)=[X,S^n],$56-structure assumptions. The general scope of cohomotopy nevertheless lies in its simultaneous treatment of unstable homotopy, framed geometry, equivariance, nonlinear flux relations, torsion obstructions, and differential higher-gauge data.