Is every topological groupoid equivalent to a disjoint union of topological groups?
Clash Royale CLAN TAG#URR8PPP
up vote
2
down vote
favorite
It's a fact that any groupoid is equivalent to a disjoint union of (deloopings of) groups. See, e.g. Proposition 4.3 of https://ncatlab.org/nlab/show/groupoid#PropertiesEquivalencesOfGroupoids.
Does this situation carry over to topological groupoids? I.e., is every topological groupoid equivalent to a disjoint union of topological groups?
category-theory topological-groups groupoids
add a comment |Â
up vote
2
down vote
favorite
It's a fact that any groupoid is equivalent to a disjoint union of (deloopings of) groups. See, e.g. Proposition 4.3 of https://ncatlab.org/nlab/show/groupoid#PropertiesEquivalencesOfGroupoids.
Does this situation carry over to topological groupoids? I.e., is every topological groupoid equivalent to a disjoint union of topological groups?
category-theory topological-groups groupoids
add a comment |Â
up vote
2
down vote
favorite
up vote
2
down vote
favorite
It's a fact that any groupoid is equivalent to a disjoint union of (deloopings of) groups. See, e.g. Proposition 4.3 of https://ncatlab.org/nlab/show/groupoid#PropertiesEquivalencesOfGroupoids.
Does this situation carry over to topological groupoids? I.e., is every topological groupoid equivalent to a disjoint union of topological groups?
category-theory topological-groups groupoids
It's a fact that any groupoid is equivalent to a disjoint union of (deloopings of) groups. See, e.g. Proposition 4.3 of https://ncatlab.org/nlab/show/groupoid#PropertiesEquivalencesOfGroupoids.
Does this situation carry over to topological groupoids? I.e., is every topological groupoid equivalent to a disjoint union of topological groups?
category-theory topological-groups groupoids
category-theory topological-groups groupoids
asked 4 hours ago
Colin
212112
212112
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
3
down vote
accepted
No. For instance, any groupoid can be made into a topological groupoid $G$ by giving the spaces of objects and morphisms the indiscrete topology. Any map from $G$ to a disjoint union of topological groups must be constant on objects, since the space of objects of $G$ is connected. It follows that if $G$ has more than one different isomorphism class of objects, then $G$ cannot be equivalent to a disjoint union of topological groups.
If you want a nice (say, Hausdorff) counterexample, you can take your favorite space $X$ and make a topological groupoid where the space of objects is $X$ and there are no non-identity morphisms (so the space of morphisms is also $X$). By a similar argument to the previous paragraph, this topological groupoid is not equivalent to a disjoint union of topological groups unless $X$ is discrete.
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
accepted
No. For instance, any groupoid can be made into a topological groupoid $G$ by giving the spaces of objects and morphisms the indiscrete topology. Any map from $G$ to a disjoint union of topological groups must be constant on objects, since the space of objects of $G$ is connected. It follows that if $G$ has more than one different isomorphism class of objects, then $G$ cannot be equivalent to a disjoint union of topological groups.
If you want a nice (say, Hausdorff) counterexample, you can take your favorite space $X$ and make a topological groupoid where the space of objects is $X$ and there are no non-identity morphisms (so the space of morphisms is also $X$). By a similar argument to the previous paragraph, this topological groupoid is not equivalent to a disjoint union of topological groups unless $X$ is discrete.
add a comment |Â
up vote
3
down vote
accepted
No. For instance, any groupoid can be made into a topological groupoid $G$ by giving the spaces of objects and morphisms the indiscrete topology. Any map from $G$ to a disjoint union of topological groups must be constant on objects, since the space of objects of $G$ is connected. It follows that if $G$ has more than one different isomorphism class of objects, then $G$ cannot be equivalent to a disjoint union of topological groups.
If you want a nice (say, Hausdorff) counterexample, you can take your favorite space $X$ and make a topological groupoid where the space of objects is $X$ and there are no non-identity morphisms (so the space of morphisms is also $X$). By a similar argument to the previous paragraph, this topological groupoid is not equivalent to a disjoint union of topological groups unless $X$ is discrete.
add a comment |Â
up vote
3
down vote
accepted
up vote
3
down vote
accepted
No. For instance, any groupoid can be made into a topological groupoid $G$ by giving the spaces of objects and morphisms the indiscrete topology. Any map from $G$ to a disjoint union of topological groups must be constant on objects, since the space of objects of $G$ is connected. It follows that if $G$ has more than one different isomorphism class of objects, then $G$ cannot be equivalent to a disjoint union of topological groups.
If you want a nice (say, Hausdorff) counterexample, you can take your favorite space $X$ and make a topological groupoid where the space of objects is $X$ and there are no non-identity morphisms (so the space of morphisms is also $X$). By a similar argument to the previous paragraph, this topological groupoid is not equivalent to a disjoint union of topological groups unless $X$ is discrete.
No. For instance, any groupoid can be made into a topological groupoid $G$ by giving the spaces of objects and morphisms the indiscrete topology. Any map from $G$ to a disjoint union of topological groups must be constant on objects, since the space of objects of $G$ is connected. It follows that if $G$ has more than one different isomorphism class of objects, then $G$ cannot be equivalent to a disjoint union of topological groups.
If you want a nice (say, Hausdorff) counterexample, you can take your favorite space $X$ and make a topological groupoid where the space of objects is $X$ and there are no non-identity morphisms (so the space of morphisms is also $X$). By a similar argument to the previous paragraph, this topological groupoid is not equivalent to a disjoint union of topological groups unless $X$ is discrete.
answered 4 hours ago
Eric Wofsey
170k12198317
170k12198317
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2954664%2fis-every-topological-groupoid-equivalent-to-a-disjoint-union-of-topological-grou%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password