scholarly journals Higher homotopy associativity in the Harris decomposition of Lie groups

2019 ◽  
Vol 150 (6) ◽  
pp. 2982-3000
Author(s):  
Daisuke Kishimoto ◽  
Toshiyuki Miyauchi

AbstractFor certain pairs of Lie groups (G, H) and primes p, Harris showed a relation of the p-localized homotopy groups of G and H. This is reinterpreted as a p-local homotopy equivalence G ≃ (p)H × G/H, and so there is a projection G(p) → H(p). We show how much this projection preserves the higher homotopy associativity.

1982 ◽  
Vol 34 (1) ◽  
pp. 31-43 ◽  
Author(s):  
Stephen Halperin ◽  
Jean Claude Thomas

Let be two Serre fibrations with same base and fibre in which all the spaces have the homotopy type of simple CW complexes of finite type. We say they are rationally homotopically equivalent if there is a homotopy equivalence between the localizations at Q which covers the identity map of BQ.Such an equivalence implies, of course, an isomorphism of cohomology algebras (over Q) and of rational homotopy groups; on the other hand isomorphisms of these classical algebraic invariants are usually (by far) insufficient to establish the existence of a rational homotopy equivalence.Nonetheless, as we shall show in this note, for certain fibrations rational homotopy equivalence is in fact implied by the existence of an isomorphism of cohomology algebras. While these fibrations are rare inside the class of all fibrations, they do include principal bundles with structure groups a connected Lie group G as well as many associated bundles with fibre G/K.


1992 ◽  
Vol 122 (1-2) ◽  
pp. 127-135 ◽  
Author(s):  
John W. Rutter

SynopsisWe give here an abelian kernel (central) group extension sequence for calculating, for a non-simply-connected space X, the group of pointed self-homotopy-equivalence classes . This group extension sequence gives in terms of , where Xn is the nth stage of a Postnikov decomposition, and, in particular, determines up to extension for non-simplyconnected spaces X having at most two non-trivial homotopy groups in dimensions 1 and n. We give a simple geometric proof that the sequence splits in the case where is the generalised Eilenberg–McLane space corresponding to the action ϕ: π1 → aut πn, and give some information about the class of the extension in the general case.


1992 ◽  
Vol 333 (1) ◽  
pp. 115 ◽  
Author(s):  
Martin Bendersky ◽  
Donald M. Davis ◽  
Mamoru Mimura

Author(s):  
R. W. Thomason

In (13), Quillen defines a higher algebraic K-theory by taking homotopy groups of the classifying spaces of certain categories. Certain questions in K-theory then become questions such as when do functors induce a homotopy equivalence of classifying spaces, or when is a square of categories homotopy cartesian? Quillen has given some techniques for answering such questions. F. Waldhausen has extended these ideas in (19), and broadened the range of applications to include geometric topology (20).


Sign in / Sign up

Export Citation Format

Share Document