Group Structure On A Covering Space
Let H be a topological group and let G be a covering space of H. If G and H are both path-connected and locally path-connected, then for any choice of element e* in the fiber over e ∈ H, there exists a unique topological group structure on G, with e* as the identity, for which the covering map p : G → H is a homomorphism.
The construction is as follows. Let a and b be elements of G and let f and g be paths in G starting at e* and terminating at a and b respectively. Define a path h : I → H by h(t) = p(f(t))p(g(t)). By the path-lifting property of covering spaces there is a unique lift of h to G with initial point e*. The product ab is defined as the endpoint of this path. By construction we have p(ab) = p(a)p(b). One must show that this definition is independent of the choice of paths f and g, and also that the group operations are continuous.
The non-connected case is interesting and is studied in the papers by Taylor and by Brown-Mucuk cited below. Essentially there is an obstruction to the existence of a universal cover which is also a topological group such that the covering map is a morphism: this obstruction lies in the third cohomology group of the group of components of G with coefficients in the fundamental group of G at the identity.
Read more about this topic: Covering Group
Famous quotes containing the words group, structure, covering and/or space:
“Remember that the peer group is important to young adolescents, and there’s nothing wrong with that. Parents are often just as important, however. Don’t give up on the idea that you can make a difference.”
—The Lions Clubs International and the Quest Nation. The Surprising Years, I, ch.5 (1985)
“... the structure of our public morality crashed to earth. Above its grave a tombstone read, “Be tolerant—even of evil.” Logically the next step would be to say to our commonwealth’s criminals, “I disagree that it’s all right to rob and murder, but naturally I respect your opinion.” Tolerance is only complacence when it makes no distinction between right and wrong.”
—Sarah Patton Boyle, U.S. civil rights activist and author. The Desegregated Heart, part 2, ch. 2 (1962)
“We have good reason to believe that memories of early childhood do not persist in consciousness because of the absence or fragmentary character of language covering this period. Words serve as fixatives for mental images. . . . Even at the end of the second year of life when word tags exist for a number of objects in the child’s life, these words are discrete and do not yet bind together the parts of an experience or organize them in a way that can produce a coherent memory.”
—Selma H. Fraiberg (20th century)
“No being exists or can exist which is not related to space in some way. God is everywhere, created minds are somewhere, and body is in the space that it occupies; and whatever is neither everywhere nor anywhere does not exist. And hence it follows that space is an effect arising from the first existence of being, because when any being is postulated, space is postulated.”
—Isaac Newton (1642–1727)