Rationalization of topological groups and degree maps
$begingroup$
Suppose $G$ a finitely generated nilpotent topological group and we consider its rationalization $G_mathbb{Q}$. This space may fail to be a topological group, but it's always a group-like H-space.
We know that for rationalization of groups maps of the form $xto x^n$ are bijections. My question is: can we determine if $G$ is rational (as topological space) by the maps of the above form? For example is this theorem correct?
Theorem: A topological group $G$ is rational, that is $G$ is homotopy equivalent to $G_mathbb{Q}$, iff all the maps $xto x^n$ are homotopy equivalences.
at.algebraic-topology homotopy-theory topological-groups rational-homotopy-theory
$endgroup$
add a comment |
$begingroup$
Suppose $G$ a finitely generated nilpotent topological group and we consider its rationalization $G_mathbb{Q}$. This space may fail to be a topological group, but it's always a group-like H-space.
We know that for rationalization of groups maps of the form $xto x^n$ are bijections. My question is: can we determine if $G$ is rational (as topological space) by the maps of the above form? For example is this theorem correct?
Theorem: A topological group $G$ is rational, that is $G$ is homotopy equivalent to $G_mathbb{Q}$, iff all the maps $xto x^n$ are homotopy equivalences.
at.algebraic-topology homotopy-theory topological-groups rational-homotopy-theory
$endgroup$
add a comment |
$begingroup$
Suppose $G$ a finitely generated nilpotent topological group and we consider its rationalization $G_mathbb{Q}$. This space may fail to be a topological group, but it's always a group-like H-space.
We know that for rationalization of groups maps of the form $xto x^n$ are bijections. My question is: can we determine if $G$ is rational (as topological space) by the maps of the above form? For example is this theorem correct?
Theorem: A topological group $G$ is rational, that is $G$ is homotopy equivalent to $G_mathbb{Q}$, iff all the maps $xto x^n$ are homotopy equivalences.
at.algebraic-topology homotopy-theory topological-groups rational-homotopy-theory
$endgroup$
Suppose $G$ a finitely generated nilpotent topological group and we consider its rationalization $G_mathbb{Q}$. This space may fail to be a topological group, but it's always a group-like H-space.
We know that for rationalization of groups maps of the form $xto x^n$ are bijections. My question is: can we determine if $G$ is rational (as topological space) by the maps of the above form? For example is this theorem correct?
Theorem: A topological group $G$ is rational, that is $G$ is homotopy equivalent to $G_mathbb{Q}$, iff all the maps $xto x^n$ are homotopy equivalences.
at.algebraic-topology homotopy-theory topological-groups rational-homotopy-theory
at.algebraic-topology homotopy-theory topological-groups rational-homotopy-theory
edited Feb 2 at 13:40
Fat ninja
asked Feb 2 at 13:28
Fat ninjaFat ninja
935
935
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Yes, since the group power map induces multiplication by $n$ on homotopy groups, turning them into rational vector spaces.
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "504"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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%2fmathoverflow.net%2fquestions%2f322283%2frationalization-of-topological-groups-and-degree-maps%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Yes, since the group power map induces multiplication by $n$ on homotopy groups, turning them into rational vector spaces.
$endgroup$
add a comment |
$begingroup$
Yes, since the group power map induces multiplication by $n$ on homotopy groups, turning them into rational vector spaces.
$endgroup$
add a comment |
$begingroup$
Yes, since the group power map induces multiplication by $n$ on homotopy groups, turning them into rational vector spaces.
$endgroup$
Yes, since the group power map induces multiplication by $n$ on homotopy groups, turning them into rational vector spaces.
answered Feb 2 at 16:15
Jeff StromJeff Strom
7,38522860
7,38522860
add a comment |
add a comment |
Thanks for contributing an answer to MathOverflow!
- 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.
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%2fmathoverflow.net%2fquestions%2f322283%2frationalization-of-topological-groups-and-degree-maps%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