nLab d-invariant





(1)[XfY] \big[ X \overset{f}{\longrightarrow} Y \big]

be a morphism in the stable homotopy category (for instance the stabilization of a morphism in the classical homotopy category) and let EE be a Whitehead-generalized cohomology theory (usually assumed to be at least multiplicative).

Then the dd-invariant of ff with respect to EE (Adams 66, Sec. 3, p. 26, short for “degree invariant”, see Example below) is the class of the corresponding pullback morphism f E *f^\ast_E, regarded as an element of the 0th Ext-group (i.e. the plain hom-object) between the EE-cohomologies of XX and YY:

(2)d(f)f E *(E (Y);E (X))=Ext 0(E (Y);E (X)). d(f) \;\coloneqq\; f^\ast_E \;\in\; \big( E^\bullet(Y); \, E^\bullet(X) \big) \;=\; Ext^0 \big( E^\bullet(Y); \, E^\bullet(X) \big) \,.

The fancy name is justified by the fact that this is beginning of a hierarchy of more interesting invariants of stable maps seen in EE-cohomology, each of which defined when the previous one vanishes: The next is the e-invariant, then comes the f-invariant (e.g. BL 09, Section 2). These are the elements that appear in the first lines on the second page of the EE-Adams spectral sequence for [X,Y] [X,Y]_\bullet.


Relation to the Hopf degree


(d-invariant specializes to degree of a continuous function)

In the special case that

then the nn-component of the dd-invariant (2) is the degree of ff

(3)d n(f)=deg(f)Hom Ab(H n(Y;),H n(YX;)). d^n(f) = deg(f) \;\in\; Hom_{Ab} \big( H^n(Y;\mathbb{Z}), \, H^n(YX;\mathbb{Z}) \big) \;\simeq\; \mathbb{Z} \,.

If moreover Y=S nY = S^n is the n-sphere, so that ff represents a class in the nnth Cohomotopy of XX, then H˜ (Y;)\widetilde H^\bullet(Y; \mathbb{Z}) is concentrated on \mathbb{Z} in degree nn and hence the nn component d n(f)d^n(f) is the full information in the d-invariant.

In this case, the Hopf degree theorem says that the degree of ff, and hence the d-invariant of ff in integral cohomology, completely characterizes the homotopy class [f][f].

Trivializations of the d-invariant

When the d-invariant vanishes, then the e-invariant exists. But in fact, classical constructions of the e-invariant proceed via a choice of a trivialization of the d-invariant and conclude by showing the result to be independent of this choice (this is meant to be brought out at Adams e-invariant – Construction via unit cofiber theories).

Here we discuss the space of choices of trivializations of the d-invariant (following SS 21):


[Set of trivializations of the d-invariant] For EE a multiplicative cohomology theory and n,dn, d \in \mathbb{N}, write

(4)H n1 EFluxes(S n+d1) [c]𝕊 d1π 0Paths 0 c *(1 E)(Maps */(S n+d1,E n)) \begin{aligned} H^E_{n-1}\!Fluxes\!\big( S^{n+d-1} \big) & \;\coloneqq\; \underset{ [c] \in \mathbb{S}_{d-1} }{\sqcup} \pi_0 \mathrm{Paths}_0^{c^\ast (1^E)} \Big( \mathrm{Maps}^{\ast/}\! \big( S^{n+d-1} \,,\, E^{n} \big) \Big) \end{aligned}

for the set of tuples consisting of the stable Cohomotopy class [G n 𝕊(c)]\big[ G^{\mathbb{S}}_{n}\!(c) \big] of a map S n+d1cS nS^{n+d-1} \xrightarrow{\;c\;}S^{n} and the 2-homotopy class [H n1 E(c)]\big[ H^E_{n-1}\!(c) \big] of a trivialization (if any) of its d-invariant c *(1 E)c^\ast(1^E) in EE-cohomology.

So an element of H n1 EFluxes(S n+d1)H^E_{n-1}\!Fluxes\!\big( S^{n+d-1} \big) (4) is the 2-homotopy class relative the boundary of a homotopy coherent diagramof the following form:


[Unit cofiber cohomology theory]

For EE a multiplicative cohomology theory with unit map 𝕊e EE\mathbb{S} \overset{ e^E }{\longrightarrow} E we denote the corresponding homotopy cofiber-theory as follows:


[Trivializations of d-invariant are classes in cofiber theory] There is a map between the set (4) of trivializations of the d-invariant and the cohomology group of the unit cofiber theory E/𝕊E\!/\mathbb{S} (Def. ):

compatible with the fibrations of both over the underlying stable Cohomotopy classes G n 𝕊Fluxes(S n+d1)𝕊˜ d(S n+d1)𝕊 d1 G^{\mathbb{S}}_n Fluxes \big( S^{n+d-1} \big) \;\coloneqq\; \widetilde {\mathbb{S}}{}^d \big( S^{n + d - 1}\big) \,\simeq\, \mathbb{S}_{d-1} .

We give two proofs: A quick abstract one and a more explicit one that proceeds via classes on the cofiber space of cc. The latter is close to the old argument of Conner-Floyd 66, Thm. 16.2 (there for E/𝕊=E/\mathbb{S} = MUFr, see this section for more).


[quick abstract]

By Definition , an element in H n1Fluxes E(S n+d1)H_{n-1}Fluxes^E\big( S^{n+d-1} \big) is equivalently the class of a homotopy cone with tip Σ n+d1𝕊\Sigma^{n+d-1} \mathbb{S} over the cospan formed by the ring spectrum unit e Ee^E and the zero morphism:

But in Spectra homotopy cofiber sequences are homotopy fiber sequences (by this Prop.), so that by the universal property of homotopy fibers the class of the above diagram is equivalently the class of a map from Σ n+d1𝕊\Sigma^{n+d-1}\mathbb{S} to fib(Σ ne E)Σ n1(E/𝕊fib\big( \Sigma^{n} e^E \big) \,\simeq\, \Sigma^{n-1} (E/\mathbb{S}):

This implies the claim, by

π 0Maps(Σ n+d1𝕊,Σ n1(E/𝕊))(E/𝕊) d. \pi_0 Maps \Big( \Sigma^{n+d - 1}\mathbb{S} \,,\, \Sigma^{n-1} (E/\mathbb{S}) \Big) \;\simeq\; (E/\mathbb{S})_{d} \,.


[more explicit, Conner-Floyd-style]

Let [S n+d1cS n]π n(S n+d1)\big[ S^{n + d - 1} \overset{c}{\longrightarrow} S^{n} \big] \;\in\; \pi^n\big(S^{n+d-1}\big) be a given class in Cohomotopy. We need to produce a map of the form

and show that it is a bijection onto this fiber, hence that the square is cartesian. To this end, we discuss the following homotopy pasting diagram, all of whose cells are homotopy cartesian:

For given H n1 E(c)H^E_{n-1}\!(c), this diagram is constructed as follows (where we say “square” for any single cell and “rectangle” for the pasting composite of any adjacent pair of them):

  • The two squares on the left are the stabilization of the homotopy pushout squares defining the cofiber space C cC_c and the suspension of S n+d1S^{n + d - 1}

  • The bottom left rectangle (with Σ n(e E)\Sigma^n(e^E) at its top) is the homotopy pushout defining Σ n(E/𝕊)\Sigma^n(E\!/\mathbb{S}).

  • The classifying map for the given (n1)(n-1)-flux, shown as a dashed arrow, completes a co-cone under the bottom left square. Thus the map M d{\color{magenta}M^d} forming the bottom middle square is uniquely implied by the homotopy pushout property of the bottom left square. Moreover, the pasting law implies that this bottom middle square is itself homotopy cartesian.

  • The bottom right square is the homotopy pushout defining \partial.

  • By the pasting law it follows that also the bottom right rectangle is homotopy cartesian, hence that, after the two squares on the left, it exhibits the third step in the long homotopy cofiber sequence of Σ c\Sigma^\infty c. This means that its total bottom morphism is Σ +1c\Sigma^{\infty + 1} c, and hence that [M d]=[c]\partial \big[ M^d \big] = [c].

In conclusion, these construction steps yield a map map H n1 E(c)M dH^E_{n-1}\!(c) \mapsto M^d which is as required.

Notions of pullback:


The notion was introduced, together with that of the e-invariant, in:

Discussion in the broader context including also the f-invariant:

Last revised on March 1, 2021 at 18:29:00. See the history of this page for a list of all contributions to it.