nLab
Whitehead product

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

Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Contents

Definition

Basic definition

Definition

For XX a pointed topological space (CW-complex), the Whitehead products (Whitehead 41, Section 3) are the bilinear maps on the elements of the homotopy groups π (X)\pi_\bullet(X) of XX of the form

(1)[,] Wh:π n 1(X) π n 2(X)π n 1+n 21(X)AAfor alln i;n i1, [-,-]_{Wh} \;\colon\; \pi_{n_1}\big( X \big) \otimes_{\mathbb{Z}} \pi_{n_2}\big( X \big) \longrightarrow \pi_{n_1 + n_2 - 1}\big( X \big) \phantom{AA} \text{for all} \; n_i \in \mathbb{N} ; \; n_i \geq 1 \,,

given by sending any pair of homotopy classes

[S n iϕ iX]π n i(X) \big[ S^{n_i} \overset{\phi_i}{\longrightarrow} X \big] \;\in\; \pi_{ n_i } \big( X \big)

to the homotopy class of the top composite in the diagram

S n 1+n 21 f n 1,n 2 S n 1S n 2 (ϕ 1,ϕ 2) X (po) D n 1+n 2 S n 1×S n 2 \array{ S^{ n_1 + n_2 -1 } & \overset{ f_{n_1,n_2} }{ \longrightarrow } & S^{n_1} \vee S^{n_2} & \overset{ (\phi_1, \phi_2) }{\longrightarrow} & X \\ \big\downarrow & (po) & \big\downarrow \\ D^{ n_1 + n_2 } &\underset{}{\longrightarrow}& S^{n_1} \times S^{n_2} }

where f n 1,n 2f_{n_1, n_2} is the attaching map exhibiting the product space S n 1×S n 2S^{n_1} \times S^{n_2} as the result of a cell attachment to the wedge sum S n 1S n 2S^{n_1} \vee S^{n_2}.

In this form this appears for instance in Félix-Halperin-Thomas, p. 176 with p. 177.

Generalized version

There is also a generalized Whitehead product where we can take more general homotopy classes (continuous maps up to homotopy) α[S Y,X]\alpha\in [S^\cdot Y,X] and β[S Z,X]\beta\in [S^\cdot Z,X] to produce a class [α,β] Wh[YZ,X][\alpha,\beta]_{Wh}\in[Y\star Z,X]. Here S S^\cdot denotes the reduced suspension operation on pointed spaces and \star denotes the join of CW-complexes. Notice that ptZ=C (Z)pt\star Z = C^\cdot(Z) and the reduced cone of a point is C (pt)=S 1C^\cdot(pt)=S^1. Thus for Y=Z=ptY=Z=pt the generalized Whitehead product reduced to the usual Whitehead product.

Properties

Super Lie algebra structure

If one assigns degree n1n-1 to the nnth homotopy group π n\pi_n, then the degree-wise Whitehead products (1) organize into a single degree-0 bilinear pairing on the graded abelian group which is the direct sum of all the homotopy groups:

(2)π +1(X)= π 1(X) π 2(X) π 3(X) deg= 0 1 2 \array{ \pi_{\bullet + 1}(X) = & \pi_1(X) &\oplus& \pi_2(X) &\oplus& \pi_3(X) &\oplus& \cdots \\ deg = & 0 && 1 && 2 }

This unified Whitehead product is graded skew-symmetric in that for ϕ iπ n i(X)\phi_i \in \pi_{n_i}\big( X \big) it satisfies

[ϕ 1,ϕ 2] Wh=(1) (n 11)(n 21)[ϕ 1,ϕ 2] Wh \big[ \phi_1, \, \phi_2 \big]_{Wh} \;=\; - (-1)^{ (n_1 - 1)(n_2-1) } \big[ \phi_1, \, \phi_2 \big]_{Wh}

and it satisfies the corresponding graded Jacobi identity (Hilton 55, Theorem B).

This makes the Whitehead bracket the Lie bracket of a super Lie algebra structure on π 1(X)\pi_{\bullet-1}(X) (2), over the ring of integers (sometimes called, in this context, a graded quasi-Lie algebra, see below).

Of elements with themselves

Beware that the skew-symmetry of Lie algebras over the integers, as opposed to over a field of characteristic zero, implies for any element ϕ\phi of even homogeneous degree – hence here for elements of homotopy groups in odd degree – only that the bracket with itself vanishes after multiplication by 2

[ϕ,ϕ] Wh=[ϕ,ϕ] WhAAhence equivalentlyAA2[ϕ,ϕ] Wh=0 [\phi,\phi]_{Wh} = - [\phi,\phi]_{Wh} \phantom{AA} \text{hence equivalently} \phantom{AA} 2 \cdot [\phi,\phi]_{Wh} = 0

but not necessarily that [ϕ,ϕ] Wh=0[\phi,\phi]_{Wh} = 0 by itself – since multiplication by 2 is not an isomorphism over the integers.

But this means that the Whitehead bracket of any even-degree element with itself – hence of any element of a homotopy group in odd degree – has order at most 2, hence is in the 2-torsion subgroup of the respective homotopy group.

As primary homotopy operations

The Whitehead products form one of the primary homotopy operations.

In fact, together with composition operations and fundamental group-actions they generate all such operations.

This is related to the definition of Pi-algebras.

In terms of Samelson products

In the context of simplicial groups, representing connected homotopy types, there is a formula for the Whitehead product in terms of a Samelson product, which in turn is derived from a shuffle product which is a sort of non-commutative version of the Eilenberg-Zilber map. These simplicial formulae come from an analysis of the structure of the product of simplices.

(This formula for the Whitehead product is due to Dan Kan and can be found in the old survey article of Ed Curtis. The proof that it works was never published.)

Relation to the Sullivan models

We discuss (Prop. below) how the rationalization of the Whitehead product is the co-binary part of the Sullivan differential in rational homotopy theory. First we make explicit some notation and normalization conventions that enter this statement:

In the following, for WW a \mathbb{Z}-graded module, we write

WWSym 2(W)(WW)/(αβ(1) n αn ββα), W \wedge W \;\coloneqq\; Sym^2(W) \;\coloneqq\; \big( W \otimes W \big) / \big( \alpha \otimes \beta \sim (-1)^{ n_\alpha n_\beta } \beta \otimes \alpha \big) \,,

where on the right α,βW\alpha, \beta \in W are elements of homogeneous degree n α,n βn_\alpha, n_\beta \in \mathbb{Z}, respectively. The point is just to highlight that “()()(-)\wedge(-)” is not to imply here a degree shift of the generators (as it typically does in the usual notation for Grassmann algebras).

Let XX be a simply connected topological space with Sullivan model

(3)CE(𝔩X)=(Sym (V *),d X) CE( \mathfrak{l} X ) \;=\; \big( Sym^\bullet\big(V^\ast\big), d_X \big)

for V *V^\ast the graded vector space of generators, which is the \mathbb{Q}-linear dual graded vector space of the graded \mathbb{Z}-module (=graded abelian group) of homotopy groups of XX:

V *Hom Ab(π (X),). V^\ast \;\coloneqq\; Hom_{Ab}\big( \pi_\bullet(X), \mathbb{Q} \big) \,.

Declare the wedge product pairing to be given by

(4)V *V * Φ Hom Ab(π (X)π (X),) (α,β) (vw(1) n αn βα(v)β(w)+β(v)α(w)) \array{ V^\ast \wedge V^\ast &\overset{\Phi}{\longrightarrow}& Hom_{Ab} \big( \pi_\bullet(X) \wedge \pi_\bullet(X) , \mathbb{Q} \big) \\ (\alpha, \beta) &\mapsto& \Big( v \wedge w \;\mapsto\; (-1)^{ n_\alpha \cdot n_\beta } \alpha(v)\cdot \beta(w) + \beta(v)\cdot \alpha(w) \Big) }

where α\alpha, β\beta are assumed to be of homogeneous degree n α,n βn_\alpha, n_\beta \in \mathbb{N}, respectively.

(Notice that the usual normalization factor of 1/21/2 is not included on the right. This normalization follows Andrews-Arkowitz 78, above Thm. 6.1.)

Finally, write

(5)[] 2:Sym (V *)V *V * [-]_2 \;\colon\; Sym^\bullet\big(V^\ast\big) \longrightarrow V^\ast \wedge V^\ast

for the linear projection on quadratic polynomials in the graded symmetric algebra.

Then:

Proposition

(co-binary Sullivan differential is Whitehead product)

Let XX be a simply connected topological space of rational finite type, so that it has a Sullivan model with Sullivan differential d Xd_X (3).

Then the co-binary component (5) of the Sullivan differential equals the \mathbb{Q}-linear dual map of the Whitehead product [,] X[-,-]_X on the homotopy groups of XX:

[d Xα] 2=[,] X *. [d_X \alpha]_2 \;=\; [-,-]_X^\ast \,.

More explicitly, the following diagram commutes:

V * [] 2d X V *V * = Φ Hom Ab(π (X),) Hom Ab([,] X,) Hom Ab(π (X)π (X),), \array{ V^\ast &\overset{ [-]_2\circ d_X }{\longrightarrow}& V^\ast \wedge V^\ast \\ \big\downarrow^{ \mathrlap{=} } && \big\downarrow^{ \mathrlap{\Phi} } \\ Hom_{Ab} \big( \pi_\bullet(X), \mathbb{Q} \big) & \underset{ Hom_{Ab}\big( [-,-]_X , \; \mathbb{Q} \big) }{ \longrightarrow } & Hom_{Ab} \big( \pi_\bullet(X) \wedge \pi_\bullet(X), \; \mathbb{Q} \big) } \,,

where the wedge product on the right is normalized as in (4).

(Andrews-Arkowitz 78, Thm. 6.1, following Deligne-Griffiths-Morgan-Sullivan 75)

Examples

Example

(Whitehead product corresponding to complex Hopf fibration)

For X=S 2X = S^2 the 2-sphere, consider the following two elements of its homotopy groups (of spheres, as it were):

  1. id S 2π 2(S 2)id_{S^2} \in \pi_2\big( S^2 \big) (represented by the identity function S 2S 2S^2 \to S^2)

  2. h π 3(S 2)h_{\mathbb{C}} \in \pi_3\big( S^2 \big) (represented by the complex Hopf fibration)

Then the Whitehead product satisfies

[id S 2,id S 2]=2h . \big[ id_{S^2}, \; id_{S^2} \big] \;=\; 2 \cdot h_{\mathbb{C}} \,.


References

General

The concept is originally due to

  • J. H. C. Whitehead, Section 3 of On Adding Relations to Homotopy Groups, Annals of Mathematics Second Series, Vol. 42, No. 2 (Apr., 1941), pp. 409-428 (jstor:1968907)

with early discussion in

See also

Discussion of Whitehead products specifically of homotopy groups of spheres:

Discussion of Whitehead products in homotopy type theory:

In rational homotopy theory

Discussion of Whitehead products in rational homotopy theory (the co-binary Sullivan differential is the dual Whitehead product):

  • Daniel Quillen, section I.5 of Rational Homotopy Theory, Annals of Mathematics Second Series, Vol. 90, No. 2 (Sep., 1969), pp. 205-295 (jstor:1970725)

  • Christopher Allday, Rational Whitehead products and a spectral sequence of Quillen, Pacific J. Math. Volume 46, Number 2 (1973), 313-323 (euclid:1102946308)

  • Christopher Allday, Rational Whitehead product and a spectral sequence of Quillen, II, Houston Journal of Mathematics, Volume 3, No. 3, 1977 (pdf)

  • Pierre Deligne, Phillip Griffiths, John Morgan, Dennis Sullivan, Real homotopy theory of Kähler manifolds, Invent Math (1975) 29: 245 (doi:10.1007/BF01389853)

  • Peter Andrews, Martin Arkowitz, Sullivan’s Minimal Models and Higher Order Whitehead Products, Canadian Journal of Mathematics, 30(5), 961-982, 1978 (doi:10.4153/CJM-1978-083-6)

  • Yves Félix, Steve Halperin, J.C. Thomas, Prop. 13.16 in Rational Homotopy Theory, Graduate Texts in Mathematics, 205, Springer-Verlag, 2000.

  • Francisco Belchí, Urtzi Buijs, José M. Moreno-Fernández, Aniceto Murillo, Higher order Whitehead products and L L_\infty structures on the homology of a DGL, Linear Algebra and its Applications, Volume 520 (2017), pages 16-31 (arXiv:1604.01478)

  • Takahito Naito, A model for the Whitehead product in rational mapping spaces (arXiv:1106.4080)

Last revised on October 5, 2019 at 12:32:18. See the history of this page for a list of all contributions to it.