serge (oblomov???)
August 28, 2026 at 2:56:27 AM
Assume you have a tower of fibrations
(endless stuff to the left) -> X->Y->Z
Then the limit of the n-th homotopy group of X and nth homotopy group of the limit of the fibrations satisfies the following exact sequence:
0->R^1 lim pi_(n+1) (X_i) -> pi_n lim (X_i) -> lim (pi_n X_i) ->0
As a corollary, you have that if pi_{n+1}(X_i) always vanishes, then lim pi_n X = pi_n lim X
Also, the limit here exists in both cases (why?)