The fundamental groups of 3-dimensional spherical space formsHow can I understand the three-dimensional space forms?What's the notation for the intersection of stabilizer subgroups on a subset?Linear vs smooth actions of finite groups on spheres, Euclidean spaces and closed disksHow to show that $gamma_i(G) $/$gamma_i+1(G)$ has finite exponentTwo definitions of nilpotenceIn the lower central series of a group $G$, how to show each of the subgroups is fully invariant?Prove that $G$ is nilpotent if $G/Z(G)$ is nilpotent using lower central series.Actions of groups on categoriesIdentity for Lower Central SeriesFinite index subgroups in Amalgamated Free products
In a spin, are both wings stalled?
How is it possible to have an ability score that is less than 3?
What do you call someone who asks many questions?
How do I write bicross product symbols in latex?
Is it unprofessional to ask if a job posting on GlassDoor is real?
What is the word for reserving something for yourself before others do?
I would say: "You are another teacher", but she is a woman and I am a man
When a company launches a new product do they "come out" with a new product or do they "come up" with a new product?
How can saying a song's name be a copyright violation?
Is it possible to create light that imparts a greater proportion of its energy as momentum rather than heat?
Could gravitational lensing be used to protect a spaceship from a laser?
Do I have a twin with permutated remainders?
Theorems that impeded progress
Why is consensus so controversial in Britain?
What mechanic is there to disable a threat instead of killing it?
Where does SFDX store details about scratch orgs?
Infinite Abelian subgroup of infinite non Abelian group example
Is it canonical bit space?
AES: Why is it a good practice to use only the first 16bytes of a hash for encryption?
How could indestructible materials be used in power generation?
What exploit are these user agents trying to use?
Western buddy movie with a supernatural twist where a woman turns into an eagle at the end
Why "Having chlorophyll without photosynthesis is actually very dangerous" and "like living with a bomb"?
Will google still index a page if I use a $_SESSION variable?
The fundamental groups of 3-dimensional spherical space forms
How can I understand the three-dimensional space forms?What's the notation for the intersection of stabilizer subgroups on a subset?Linear vs smooth actions of finite groups on spheres, Euclidean spaces and closed disksHow to show that $gamma_i(G) $/$gamma_i+1(G)$ has finite exponentTwo definitions of nilpotenceIn the lower central series of a group $G$, how to show each of the subgroups is fully invariant?Prove that $G$ is nilpotent if $G/Z(G)$ is nilpotent using lower central series.Actions of groups on categoriesIdentity for Lower Central SeriesFinite index subgroups in Amalgamated Free products
$begingroup$
Let $S^3/Gamma_i,(i=1,2)$ be a $3$-dimensional spherical space form, where $Gamma_i subset SO(4)$ is a finite subgroup acting freely on $S^3$. If $S^3/Gamma_1$ is homotopy equivalent to $S^3/Gamma_2$, can we find a $g in SO(4)$ such that
$$
gGamma_1 g^-1=Gamma_2?
$$
group-theory geometric-topology orthogonal-matrices low-dimensional-topology
asked Mar 21 at 14:38
TotoroTotoro
27415
$endgroup$
add a comment |
$begingroup$
Let $S^3/Gamma_i,(i=1,2)$ be a $3$-dimensional spherical space form, where $Gamma_i subset SO(4)$ is a finite subgroup acting freely on $S^3$. If $S^3/Gamma_1$ is homotopy equivalent to $S^3/Gamma_2$, can we find a $g in SO(4)$ such that
$$
gGamma_1 g^-1=Gamma_2?
$$
group-theory geometric-topology orthogonal-matrices low-dimensional-topology
asked Mar 21 at 14:38
TotoroTotoro
27415
$endgroup$
$begingroup$
On the other hand, see en.wikipedia.org/wiki/Mostow_rigidity_theorem.
$endgroup$
– Qiaochu Yuan
Mar 23 at 19:36
add a comment |
$begingroup$
Let $S^3/Gamma_i,(i=1,2)$ be a $3$-dimensional spherical space form, where $Gamma_i subset SO(4)$ is a finite subgroup acting freely on $S^3$. If $S^3/Gamma_1$ is homotopy equivalent to $S^3/Gamma_2$, can we find a $g in SO(4)$ such that
$$
gGamma_1 g^-1=Gamma_2?
$$
group-theory geometric-topology orthogonal-matrices low-dimensional-topology
asked Mar 21 at 14:38
TotoroTotoro
27415
$endgroup$
Let $S^3/Gamma_i,(i=1,2)$ be a $3$-dimensional spherical space form, where $Gamma_i subset SO(4)$ is a finite subgroup acting freely on $S^3$. If $S^3/Gamma_1$ is homotopy equivalent to $S^3/Gamma_2$, can we find a $g in SO(4)$ such that
$$
gGamma_1 g^-1=Gamma_2?
$$
group-theory geometric-topology orthogonal-matrices low-dimensional-topology
group-theory geometric-topology orthogonal-matrices low-dimensional-topology
asked Mar 21 at 14:38
TotoroTotoro
27415
asked Mar 21 at 14:38
TotoroTotoro
27415
asked Mar 21 at 14:38
TotoroTotoro
27415
asked Mar 21 at 14:38
TotoroTotoro
27415
asked Mar 21 at 14:38
TotoroTotoro
27415
27415
$begingroup$
On the other hand, see en.wikipedia.org/wiki/Mostow_rigidity_theorem.
$endgroup$
– Qiaochu Yuan
Mar 23 at 19:36
add a comment |
$begingroup$
On the other hand, see en.wikipedia.org/wiki/Mostow_rigidity_theorem.
$endgroup$
– Qiaochu Yuan
Mar 23 at 19:36
$begingroup$
On the other hand, see en.wikipedia.org/wiki/Mostow_rigidity_theorem.
$endgroup$
– Qiaochu Yuan
Mar 23 at 19:36
$begingroup$
On the other hand, see en.wikipedia.org/wiki/Mostow_rigidity_theorem.
$endgroup$
– Qiaochu Yuan
Mar 23 at 19:36
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
This is not true in general, in fact it can fail for the lens spaces which are the quotients
$$L(p;q) = S^3 / Gamma(p;q)
$$
where $Gamma(p;q)$ is the cyclic subgroup of order $p$ in $SO(4)$ that is generated by the element described, in complex coordinates, by the formula
$$(z_1,z_2) mapsto (e^2 pi i/p cdot z_1, e^2 pi i q/p cdot z_2)
$$
The link given explains how to determine when $L(p;q_1)$ and $L(p;q_2)$ are homotopy equivalent and when they are homeomorphic, and these do not match up. And if they are not homeomorphic then there cannot be any $g in SO(4)$ for which $g Gamma(p;q_1) g^-1 = Gamma(p;q_2)$, because the map of $SO(4)$ determined by $g$ would descend to a homeomorphism between $L(p;q_1)$ and $L(p;q_2)$.
edited Mar 23 at 18:51
janmarqz
6,24741630
answered Mar 21 at 14:55
Lee MosherLee Mosher
51.6k33889
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
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%2fmath.stackexchange.com%2fquestions%2f3156892%2fthe-fundamental-groups-of-3-dimensional-spherical-space-forms%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$
This is not true in general, in fact it can fail for the lens spaces which are the quotients
$$L(p;q) = S^3 / Gamma(p;q)
$$
where $Gamma(p;q)$ is the cyclic subgroup of order $p$ in $SO(4)$ that is generated by the element described, in complex coordinates, by the formula
$$(z_1,z_2) mapsto (e^2 pi i/p cdot z_1, e^2 pi i q/p cdot z_2)
$$
The link given explains how to determine when $L(p;q_1)$ and $L(p;q_2)$ are homotopy equivalent and when they are homeomorphic, and these do not match up. And if they are not homeomorphic then there cannot be any $g in SO(4)$ for which $g Gamma(p;q_1) g^-1 = Gamma(p;q_2)$, because the map of $SO(4)$ determined by $g$ would descend to a homeomorphism between $L(p;q_1)$ and $L(p;q_2)$.
edited Mar 23 at 18:51
janmarqz
6,24741630
answered Mar 21 at 14:55
Lee MosherLee Mosher
51.6k33889
$endgroup$
add a comment |
$begingroup$
This is not true in general, in fact it can fail for the lens spaces which are the quotients
$$L(p;q) = S^3 / Gamma(p;q)
$$
where $Gamma(p;q)$ is the cyclic subgroup of order $p$ in $SO(4)$ that is generated by the element described, in complex coordinates, by the formula
$$(z_1,z_2) mapsto (e^2 pi i/p cdot z_1, e^2 pi i q/p cdot z_2)
$$
The link given explains how to determine when $L(p;q_1)$ and $L(p;q_2)$ are homotopy equivalent and when they are homeomorphic, and these do not match up. And if they are not homeomorphic then there cannot be any $g in SO(4)$ for which $g Gamma(p;q_1) g^-1 = Gamma(p;q_2)$, because the map of $SO(4)$ determined by $g$ would descend to a homeomorphism between $L(p;q_1)$ and $L(p;q_2)$.
edited Mar 23 at 18:51
janmarqz
6,24741630
answered Mar 21 at 14:55
Lee MosherLee Mosher
51.6k33889
$endgroup$
add a comment |
$begingroup$
This is not true in general, in fact it can fail for the lens spaces which are the quotients
$$L(p;q) = S^3 / Gamma(p;q)
$$
where $Gamma(p;q)$ is the cyclic subgroup of order $p$ in $SO(4)$ that is generated by the element described, in complex coordinates, by the formula
$$(z_1,z_2) mapsto (e^2 pi i/p cdot z_1, e^2 pi i q/p cdot z_2)
$$
The link given explains how to determine when $L(p;q_1)$ and $L(p;q_2)$ are homotopy equivalent and when they are homeomorphic, and these do not match up. And if they are not homeomorphic then there cannot be any $g in SO(4)$ for which $g Gamma(p;q_1) g^-1 = Gamma(p;q_2)$, because the map of $SO(4)$ determined by $g$ would descend to a homeomorphism between $L(p;q_1)$ and $L(p;q_2)$.
edited Mar 23 at 18:51
janmarqz
6,24741630
answered Mar 21 at 14:55
Lee MosherLee Mosher
51.6k33889
$endgroup$
This is not true in general, in fact it can fail for the lens spaces which are the quotients
$$L(p;q) = S^3 / Gamma(p;q)
$$
where $Gamma(p;q)$ is the cyclic subgroup of order $p$ in $SO(4)$ that is generated by the element described, in complex coordinates, by the formula
$$(z_1,z_2) mapsto (e^2 pi i/p cdot z_1, e^2 pi i q/p cdot z_2)
$$
The link given explains how to determine when $L(p;q_1)$ and $L(p;q_2)$ are homotopy equivalent and when they are homeomorphic, and these do not match up. And if they are not homeomorphic then there cannot be any $g in SO(4)$ for which $g Gamma(p;q_1) g^-1 = Gamma(p;q_2)$, because the map of $SO(4)$ determined by $g$ would descend to a homeomorphism between $L(p;q_1)$ and $L(p;q_2)$.
edited Mar 23 at 18:51
janmarqz
6,24741630
answered Mar 21 at 14:55
Lee MosherLee Mosher
51.6k33889
edited Mar 23 at 18:51
janmarqz
6,24741630
edited Mar 23 at 18:51
janmarqz
6,24741630
edited Mar 23 at 18:51
janmarqz
6,24741630
6,24741630
answered Mar 21 at 14:55
Lee MosherLee Mosher
51.6k33889
answered Mar 21 at 14:55
Lee MosherLee Mosher
51.6k33889
answered Mar 21 at 14:55
Lee MosherLee Mosher
51.6k33889
51.6k33889
add a comment |
add a comment |
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.
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%2f3156892%2fthe-fundamental-groups-of-3-dimensional-spherical-space-forms%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
$begingroup$
On the other hand, see en.wikipedia.org/wiki/Mostow_rigidity_theorem.
$endgroup$
– Qiaochu Yuan
Mar 23 at 19:36