Continuous map from function space to quotient space maps through projection?
up vote
1
down vote
favorite
Suppose $F$ is a function space $Y^X$ with $Y$ discrete (so it has the topology of pointwise convergence), and $F'$ is another function space $Y'^{X'}$ with $Y'$ discrete, and suppose we have an action of some group $G$ on $X'$. We can extend this action to an action on $F'$ via $g.f' := (x' mapsto f'(g.x'))$. Let $pi : F' to F'/G$ be the quotient map of this action.
Is it true that any continuous map $theta : F to F'/G$ factors through $pi$? In other words, is it true that there is some continuous map $tildetheta : F to F'$ for which $theta = pi circ tildetheta$? Equivalently, is there a continuous choice of representatives $r_f in theta(f)$ for $f in F$?
I am not even sure about the case when $G$ acts regularly on $X'$ (i.e. $X'$ is a $G$-torsor), though I expect the answer to be "yes" in this case.
general-topology group-actions quotient-spaces
add a comment |
up vote
1
down vote
favorite
Suppose $F$ is a function space $Y^X$ with $Y$ discrete (so it has the topology of pointwise convergence), and $F'$ is another function space $Y'^{X'}$ with $Y'$ discrete, and suppose we have an action of some group $G$ on $X'$. We can extend this action to an action on $F'$ via $g.f' := (x' mapsto f'(g.x'))$. Let $pi : F' to F'/G$ be the quotient map of this action.
Is it true that any continuous map $theta : F to F'/G$ factors through $pi$? In other words, is it true that there is some continuous map $tildetheta : F to F'$ for which $theta = pi circ tildetheta$? Equivalently, is there a continuous choice of representatives $r_f in theta(f)$ for $f in F$?
I am not even sure about the case when $G$ acts regularly on $X'$ (i.e. $X'$ is a $G$-torsor), though I expect the answer to be "yes" in this case.
general-topology group-actions quotient-spaces
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Suppose $F$ is a function space $Y^X$ with $Y$ discrete (so it has the topology of pointwise convergence), and $F'$ is another function space $Y'^{X'}$ with $Y'$ discrete, and suppose we have an action of some group $G$ on $X'$. We can extend this action to an action on $F'$ via $g.f' := (x' mapsto f'(g.x'))$. Let $pi : F' to F'/G$ be the quotient map of this action.
Is it true that any continuous map $theta : F to F'/G$ factors through $pi$? In other words, is it true that there is some continuous map $tildetheta : F to F'$ for which $theta = pi circ tildetheta$? Equivalently, is there a continuous choice of representatives $r_f in theta(f)$ for $f in F$?
I am not even sure about the case when $G$ acts regularly on $X'$ (i.e. $X'$ is a $G$-torsor), though I expect the answer to be "yes" in this case.
general-topology group-actions quotient-spaces
Suppose $F$ is a function space $Y^X$ with $Y$ discrete (so it has the topology of pointwise convergence), and $F'$ is another function space $Y'^{X'}$ with $Y'$ discrete, and suppose we have an action of some group $G$ on $X'$. We can extend this action to an action on $F'$ via $g.f' := (x' mapsto f'(g.x'))$. Let $pi : F' to F'/G$ be the quotient map of this action.
Is it true that any continuous map $theta : F to F'/G$ factors through $pi$? In other words, is it true that there is some continuous map $tildetheta : F to F'$ for which $theta = pi circ tildetheta$? Equivalently, is there a continuous choice of representatives $r_f in theta(f)$ for $f in F$?
I am not even sure about the case when $G$ acts regularly on $X'$ (i.e. $X'$ is a $G$-torsor), though I expect the answer to be "yes" in this case.
general-topology group-actions quotient-spaces
general-topology group-actions quotient-spaces
asked Nov 24 at 0:21
feralin
925717
925717
add a comment |
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3011017%2fcontinuous-map-from-function-space-to-quotient-space-maps-through-projection%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown