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:
“The government of the United States at present is a foster-child of the special interests. It is not allowed to have a voice of its own. It is told at every move, “Don’t do that, You will interfere with our prosperity.” And when we ask: “where is our prosperity lodged?” a certain group of gentlemen say, “With us.””
—Woodrow Wilson (1856–1924)
“Why does philosophy use concepts and why does faith use symbols if both try to express the same ultimate? The answer, of course, is that the relation to the ultimate is not the same in each case. The philosophical relation is in principle a detached description of the basic structure in which the ultimate manifests itself. The relation of faith is in principle an involved expression of concern about the meaning of the ultimate for the faithful.”
—Paul Tillich (1886–1965)
“Three forms I see on stretchers lying, brought out there untended
lying,
Over each the blanket spread, ample brownish woolen blanket,
Gray and heavy blanket, folding, covering all.”
—Walt Whitman (1819–1892)
“The merit of those who fill a space in the world’s history, who are borne forward, as it were, by the weight of thousands whom they lead, shed a perfume less sweet than do the sacrifices of private virtue.”
—Ralph Waldo Emerson (1803–1882)