nLab Eckmann-Hilton duality

Contents

Context

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Duality

Contents

Idea

Eckmann and Hilton noticed that a number of notions and theorems in the homotopy theory of pointed spaces can be dualized in the sense of certain expanding dictionary:

The “duality” in their work has been just a heuristic rather than a systematic algorithm to dualize constructions and theorems. It has a little flavour of working with adjoint functors, though it does not reduce to Kan adjointness. It has also the flavour of the usual arrow reversal duality, as is commented below.

Later some versions have been made rigorous, the most well-known being Fuks duality in homotopy theory.

Fuks duality

D. B. Fuks considers the category End(kTop *)End(k Top_*) of endofunctors on the category kTop *k Top_* of pointed compactly generated Hausdorff spaces. He enriches this category in kTop *k Top_* as follows: Let S,TS,T be two endofunctors, then the set {ST}\{S\to T\} of isomorphism classes of natural transformations STS\to T is equipped with the weakest topology in which all maps α X\alpha_X, XkTop *X\in k Top_*, of taking components {ST}Map(S(X),T(X))kTop *\{S\to T\}\mapsto Map(S(X),T(X))\in kTop_* are continuous. Recall that the topology on the set of maps S(X)T(X)S(X)\to T(X) in kTop *k Top_* is obtained by first taking the compact-open topology and then performing the kaonization of the space so obtained.

Notice that if [,A][-,A] is a representable functor in the classical homotopy category of kTop *k Top_*, then for any endofunctors SS and TT we have

{[,A]S}=SA,\{[-,A]\to S\} = S A,
[{ST},A]={S[T(),A]}={AST}. [ \{S\to T\},A ] = \{S\to [T(-),A]\} = \{ A \wedge S\to T\}.

A Fuks duality is any functor D:End(kTop *)End(kTop *)D: End(k Top_*)\to End(k Top_*) such that

  1. for any two functors S,TEnd(kTop *)S,T\in End(k Top_*), {SDT}\{S\to D T\} is binaturally homeomorphic to {DST}\{D S\to T\}

  2. DΣ=ΩD\Sigma =\Omega, DΩ=ΣD\Omega = \Sigma.

Theorem (D. B. Fuks)

There exists a unique Fuks duality functor. Moreover it is given by DS:A{S[,A]}DS:A\mapsto \{S\to [-,A]\} where [,][,] denotes the homotopy classes and {,}\{,\} is defined as above.

Notice that D 2=DDD^2 = D\circ D is not isomorphic to the identity in general, though it is identical when applied to a number of natural endofunctors in homotopy theory. Fuks duality can be extended suitably to functors of many arguments.

This duality to some extent resembles the usual categorical duality for objects by arrow reversal. The reason is seen in the formula for DSD S above, which can be interpreted as arrow reversal for representable functors. In a more perfect world, like model categories, the axioms are self-dual and a true categorical duality of the usual categorical kind holds for basic model-categorical notions. On the other hand Eckmann–Hilton duality is not only about the notions entering the axioms of model categories but there are dualities among a number of interesting homotopy theoretical functors in topological context.

One can see this in the fact that cohomology groups (for ordinary cohomology using the Eilenberg-Mac Lane spectrum) consist of homotopy classes of maps into a space with a single nontrivial homotopy group, while homotopy groups consist of homotopy classes of maps from a space with a single nontrivial cohomology group:

  • H n(X,)[X,K(,n)]H^n(X, \mathbb{Z}) \cong [X, K(\mathbb{Z},n)]
  • π n(X)[S n,X]\pi_n(X) \cong [S^n, X]

Here, K(,n)K(\mathbb{Z},n) is an Eilenberg-Mac Lane space, whose only interesting homotopy group is π n(K(,n))=\pi_n(K(\mathbb{Z},n)) = \mathbb{Z}, while S nS^n is a sphere, whose only interesting ordinary cohomology group is the H n(S n,)=H^n(S^n,\mathbb{Z}) = \mathbb{Z}.

Note, though, that the arrow reversal duality does not hold perfectly in Top (the arrow reversal “dual” theorems are not necessarily true). For example, a pullback of a cofibration by a fibration is a cofibration, but a pushforward of a fibration by a cofibration is not a fibration.

References

  • D. B. Fuks, On duality in homotopy theory, Soviet Math. Dokl. 2 (1961), 1575–1578.

  • D. B. Fuks, Eckmann–Hilton duality and the theory of functors in the category of topological spaces, 1966 Russ. Math. Surv. 21 1–33 doi, free Russian original pdf

  • R. Nakagawa, On Fuks homotopy duality, Sci. Rep. Tokyo Kyoiku Daigaku Sect. A 8 (1963), 93–98.

  • Encyclopedia of Mathematics: Eckmann-Hilton duality

Some blog discussion on Eckmann-Hilton duality is here, here, and here

Last revised on April 20, 2020 at 14:39:23. See the history of this page for a list of all contributions to it.