An iterated sum formula for a spheroid's homotopy class modulo 2-torsion

Abstract: Let

X

be a simply connected pointed space with finitely generated homotopy groups. Let

P i_{n} (X)

denote the set of all continuous maps

a : I^{n} o X

taking

p a r t i a l I^{n}

to the basepoint. For

a i n P i_{n} (X)

, let

[a] i n p i_{n} (X)

be its homotopy class. For an open set

E s u b s e t I^{n}

, let

P i (E, X)

be the set of all continuous maps

a : E o X

taking

E c a p p a r t i a l I^{n}

to the basepoint. For a cover

G a m m a

of

I^{n}

, let

G a m m a (r)

be the set of all unions of at most

r

elements of

G a m m a

. Put

r = (n - 1)!

. We prove that for any finite open cover

G a m m a

of

I^{n}

there exist maps

f_{E} : P i (E, X) o p i_{n} (X) o t i m e s Z [1 / 2]

,

E i n G a m m a (r)

, such that

[a]otimes1=sum_{EinGamma(r)} f_E(a|_E)

for all

a i n P i_{n} (X)

.

This page was built for publication: An iterated sum formula for a spheroid's homotopy class modulo 2-torsion