Example of a parallelizable smooth manifold which is not a Lie Group
All the examples I know of manifolds which are parallelizable are Lie Groups. Can anyone point out an easy example of a parallelizable smooth manifold which is not a Lie Group? Are there conditions on a parallelizable smooth manifold which forces it to be a lie group?
differential-geometry lie-groups smooth-manifolds tangent-bundle
add a comment |
All the examples I know of manifolds which are parallelizable are Lie Groups. Can anyone point out an easy example of a parallelizable smooth manifold which is not a Lie Group? Are there conditions on a parallelizable smooth manifold which forces it to be a lie group?
differential-geometry lie-groups smooth-manifolds tangent-bundle
add a comment |
All the examples I know of manifolds which are parallelizable are Lie Groups. Can anyone point out an easy example of a parallelizable smooth manifold which is not a Lie Group? Are there conditions on a parallelizable smooth manifold which forces it to be a lie group?
differential-geometry lie-groups smooth-manifolds tangent-bundle
All the examples I know of manifolds which are parallelizable are Lie Groups. Can anyone point out an easy example of a parallelizable smooth manifold which is not a Lie Group? Are there conditions on a parallelizable smooth manifold which forces it to be a lie group?
differential-geometry lie-groups smooth-manifolds tangent-bundle
differential-geometry lie-groups smooth-manifolds tangent-bundle
asked Dec 19 at 4:39
PSG
3369
3369
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
Any closed, orientable $3$-manifold $X$ is parallelizable. On the other hand, Lie groups have $pi_2$ trivial, and there are a lot of such $X$ that don't. (It's not trivial to find them, though. Note that any such $X$ must have $pi_1 Xnot = 0$ by Poincare duality, and aspherical (e.g., hyperbolic) $X$ have $pi_2 X = 0$ as well. $3$-manifolds are weird.)
(The easiest way to prove the first assertion is to note that the only obstructions to the triviality of $TX$ are the Stiefel-Whitney classes; and $w_1 = 0$ by orientability and $w_2 = 0$ by the Wu formula, since we're conveniently in low dimension. The second is practically a folklore theorem, but it's not that hard to prove directly either via Morse theory or minimal models.)
2
You beat me to this answer! Also, we can readily construct examples of oriented, compact $3$-manifolds that do not admit a Lie group structure: Any Lie group $G$ has abelian fundamental group $pi_1(G)$, but the product of $S^1$ and an orientable, compact surface $Sigma$ with genus $> 1$ has nonabelian fundamental group $pi_1(S^1 times Sigma) cong pi_1(S^1) times pi_1(Sigma) cong Bbb Z times pi_1(Sigma)$. (And +1, by the way.)
– Travis
Dec 19 at 5:09
1
Good point! I ignored the hyperbolic case because of $pi_2$, but $pi_1$ also presents an obstruction to Lie-groupness.
– anomaly
Dec 19 at 5:25
add a comment |
The classical example is $S^7$. This comes from the octonions, which are non-associative, so the unit octonions don't form a Lie group.
Thanks, I was wondering that $S^7$ still has a group structure which is non-associative, are there examples which can not be given a group structure at all.
– PSG
Dec 19 at 4:50
1
Group operations are by definition associative. The restriction of octonionic multiplication to the unit sphere in the octonions still, however, forms a loop (an operation $S times S to S$ with identity and inverses), and the multiplication and inversion maps are smooth with respect to the usual smooth structure.
– Travis
Dec 19 at 4:55
1
Also, this is the only example of parallelizable sphere that admits no Lie group structure.
– Travis
Dec 19 at 4:56
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%2f3046000%2fexample-of-a-parallelizable-smooth-manifold-which-is-not-a-lie-group%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
Any closed, orientable $3$-manifold $X$ is parallelizable. On the other hand, Lie groups have $pi_2$ trivial, and there are a lot of such $X$ that don't. (It's not trivial to find them, though. Note that any such $X$ must have $pi_1 Xnot = 0$ by Poincare duality, and aspherical (e.g., hyperbolic) $X$ have $pi_2 X = 0$ as well. $3$-manifolds are weird.)
(The easiest way to prove the first assertion is to note that the only obstructions to the triviality of $TX$ are the Stiefel-Whitney classes; and $w_1 = 0$ by orientability and $w_2 = 0$ by the Wu formula, since we're conveniently in low dimension. The second is practically a folklore theorem, but it's not that hard to prove directly either via Morse theory or minimal models.)
2
You beat me to this answer! Also, we can readily construct examples of oriented, compact $3$-manifolds that do not admit a Lie group structure: Any Lie group $G$ has abelian fundamental group $pi_1(G)$, but the product of $S^1$ and an orientable, compact surface $Sigma$ with genus $> 1$ has nonabelian fundamental group $pi_1(S^1 times Sigma) cong pi_1(S^1) times pi_1(Sigma) cong Bbb Z times pi_1(Sigma)$. (And +1, by the way.)
– Travis
Dec 19 at 5:09
1
Good point! I ignored the hyperbolic case because of $pi_2$, but $pi_1$ also presents an obstruction to Lie-groupness.
– anomaly
Dec 19 at 5:25
add a comment |
Any closed, orientable $3$-manifold $X$ is parallelizable. On the other hand, Lie groups have $pi_2$ trivial, and there are a lot of such $X$ that don't. (It's not trivial to find them, though. Note that any such $X$ must have $pi_1 Xnot = 0$ by Poincare duality, and aspherical (e.g., hyperbolic) $X$ have $pi_2 X = 0$ as well. $3$-manifolds are weird.)
(The easiest way to prove the first assertion is to note that the only obstructions to the triviality of $TX$ are the Stiefel-Whitney classes; and $w_1 = 0$ by orientability and $w_2 = 0$ by the Wu formula, since we're conveniently in low dimension. The second is practically a folklore theorem, but it's not that hard to prove directly either via Morse theory or minimal models.)
2
You beat me to this answer! Also, we can readily construct examples of oriented, compact $3$-manifolds that do not admit a Lie group structure: Any Lie group $G$ has abelian fundamental group $pi_1(G)$, but the product of $S^1$ and an orientable, compact surface $Sigma$ with genus $> 1$ has nonabelian fundamental group $pi_1(S^1 times Sigma) cong pi_1(S^1) times pi_1(Sigma) cong Bbb Z times pi_1(Sigma)$. (And +1, by the way.)
– Travis
Dec 19 at 5:09
1
Good point! I ignored the hyperbolic case because of $pi_2$, but $pi_1$ also presents an obstruction to Lie-groupness.
– anomaly
Dec 19 at 5:25
add a comment |
Any closed, orientable $3$-manifold $X$ is parallelizable. On the other hand, Lie groups have $pi_2$ trivial, and there are a lot of such $X$ that don't. (It's not trivial to find them, though. Note that any such $X$ must have $pi_1 Xnot = 0$ by Poincare duality, and aspherical (e.g., hyperbolic) $X$ have $pi_2 X = 0$ as well. $3$-manifolds are weird.)
(The easiest way to prove the first assertion is to note that the only obstructions to the triviality of $TX$ are the Stiefel-Whitney classes; and $w_1 = 0$ by orientability and $w_2 = 0$ by the Wu formula, since we're conveniently in low dimension. The second is practically a folklore theorem, but it's not that hard to prove directly either via Morse theory or minimal models.)
Any closed, orientable $3$-manifold $X$ is parallelizable. On the other hand, Lie groups have $pi_2$ trivial, and there are a lot of such $X$ that don't. (It's not trivial to find them, though. Note that any such $X$ must have $pi_1 Xnot = 0$ by Poincare duality, and aspherical (e.g., hyperbolic) $X$ have $pi_2 X = 0$ as well. $3$-manifolds are weird.)
(The easiest way to prove the first assertion is to note that the only obstructions to the triviality of $TX$ are the Stiefel-Whitney classes; and $w_1 = 0$ by orientability and $w_2 = 0$ by the Wu formula, since we're conveniently in low dimension. The second is practically a folklore theorem, but it's not that hard to prove directly either via Morse theory or minimal models.)
answered Dec 19 at 4:57
anomaly
17.3k42663
17.3k42663
2
You beat me to this answer! Also, we can readily construct examples of oriented, compact $3$-manifolds that do not admit a Lie group structure: Any Lie group $G$ has abelian fundamental group $pi_1(G)$, but the product of $S^1$ and an orientable, compact surface $Sigma$ with genus $> 1$ has nonabelian fundamental group $pi_1(S^1 times Sigma) cong pi_1(S^1) times pi_1(Sigma) cong Bbb Z times pi_1(Sigma)$. (And +1, by the way.)
– Travis
Dec 19 at 5:09
1
Good point! I ignored the hyperbolic case because of $pi_2$, but $pi_1$ also presents an obstruction to Lie-groupness.
– anomaly
Dec 19 at 5:25
add a comment |
2
You beat me to this answer! Also, we can readily construct examples of oriented, compact $3$-manifolds that do not admit a Lie group structure: Any Lie group $G$ has abelian fundamental group $pi_1(G)$, but the product of $S^1$ and an orientable, compact surface $Sigma$ with genus $> 1$ has nonabelian fundamental group $pi_1(S^1 times Sigma) cong pi_1(S^1) times pi_1(Sigma) cong Bbb Z times pi_1(Sigma)$. (And +1, by the way.)
– Travis
Dec 19 at 5:09
1
Good point! I ignored the hyperbolic case because of $pi_2$, but $pi_1$ also presents an obstruction to Lie-groupness.
– anomaly
Dec 19 at 5:25
2
2
You beat me to this answer! Also, we can readily construct examples of oriented, compact $3$-manifolds that do not admit a Lie group structure: Any Lie group $G$ has abelian fundamental group $pi_1(G)$, but the product of $S^1$ and an orientable, compact surface $Sigma$ with genus $> 1$ has nonabelian fundamental group $pi_1(S^1 times Sigma) cong pi_1(S^1) times pi_1(Sigma) cong Bbb Z times pi_1(Sigma)$. (And +1, by the way.)
– Travis
Dec 19 at 5:09
You beat me to this answer! Also, we can readily construct examples of oriented, compact $3$-manifolds that do not admit a Lie group structure: Any Lie group $G$ has abelian fundamental group $pi_1(G)$, but the product of $S^1$ and an orientable, compact surface $Sigma$ with genus $> 1$ has nonabelian fundamental group $pi_1(S^1 times Sigma) cong pi_1(S^1) times pi_1(Sigma) cong Bbb Z times pi_1(Sigma)$. (And +1, by the way.)
– Travis
Dec 19 at 5:09
1
1
Good point! I ignored the hyperbolic case because of $pi_2$, but $pi_1$ also presents an obstruction to Lie-groupness.
– anomaly
Dec 19 at 5:25
Good point! I ignored the hyperbolic case because of $pi_2$, but $pi_1$ also presents an obstruction to Lie-groupness.
– anomaly
Dec 19 at 5:25
add a comment |
The classical example is $S^7$. This comes from the octonions, which are non-associative, so the unit octonions don't form a Lie group.
Thanks, I was wondering that $S^7$ still has a group structure which is non-associative, are there examples which can not be given a group structure at all.
– PSG
Dec 19 at 4:50
1
Group operations are by definition associative. The restriction of octonionic multiplication to the unit sphere in the octonions still, however, forms a loop (an operation $S times S to S$ with identity and inverses), and the multiplication and inversion maps are smooth with respect to the usual smooth structure.
– Travis
Dec 19 at 4:55
1
Also, this is the only example of parallelizable sphere that admits no Lie group structure.
– Travis
Dec 19 at 4:56
add a comment |
The classical example is $S^7$. This comes from the octonions, which are non-associative, so the unit octonions don't form a Lie group.
Thanks, I was wondering that $S^7$ still has a group structure which is non-associative, are there examples which can not be given a group structure at all.
– PSG
Dec 19 at 4:50
1
Group operations are by definition associative. The restriction of octonionic multiplication to the unit sphere in the octonions still, however, forms a loop (an operation $S times S to S$ with identity and inverses), and the multiplication and inversion maps are smooth with respect to the usual smooth structure.
– Travis
Dec 19 at 4:55
1
Also, this is the only example of parallelizable sphere that admits no Lie group structure.
– Travis
Dec 19 at 4:56
add a comment |
The classical example is $S^7$. This comes from the octonions, which are non-associative, so the unit octonions don't form a Lie group.
The classical example is $S^7$. This comes from the octonions, which are non-associative, so the unit octonions don't form a Lie group.
answered Dec 19 at 4:44
Lord Shark the Unknown
100k958131
100k958131
Thanks, I was wondering that $S^7$ still has a group structure which is non-associative, are there examples which can not be given a group structure at all.
– PSG
Dec 19 at 4:50
1
Group operations are by definition associative. The restriction of octonionic multiplication to the unit sphere in the octonions still, however, forms a loop (an operation $S times S to S$ with identity and inverses), and the multiplication and inversion maps are smooth with respect to the usual smooth structure.
– Travis
Dec 19 at 4:55
1
Also, this is the only example of parallelizable sphere that admits no Lie group structure.
– Travis
Dec 19 at 4:56
add a comment |
Thanks, I was wondering that $S^7$ still has a group structure which is non-associative, are there examples which can not be given a group structure at all.
– PSG
Dec 19 at 4:50
1
Group operations are by definition associative. The restriction of octonionic multiplication to the unit sphere in the octonions still, however, forms a loop (an operation $S times S to S$ with identity and inverses), and the multiplication and inversion maps are smooth with respect to the usual smooth structure.
– Travis
Dec 19 at 4:55
1
Also, this is the only example of parallelizable sphere that admits no Lie group structure.
– Travis
Dec 19 at 4:56
Thanks, I was wondering that $S^7$ still has a group structure which is non-associative, are there examples which can not be given a group structure at all.
– PSG
Dec 19 at 4:50
Thanks, I was wondering that $S^7$ still has a group structure which is non-associative, are there examples which can not be given a group structure at all.
– PSG
Dec 19 at 4:50
1
1
Group operations are by definition associative. The restriction of octonionic multiplication to the unit sphere in the octonions still, however, forms a loop (an operation $S times S to S$ with identity and inverses), and the multiplication and inversion maps are smooth with respect to the usual smooth structure.
– Travis
Dec 19 at 4:55
Group operations are by definition associative. The restriction of octonionic multiplication to the unit sphere in the octonions still, however, forms a loop (an operation $S times S to S$ with identity and inverses), and the multiplication and inversion maps are smooth with respect to the usual smooth structure.
– Travis
Dec 19 at 4:55
1
1
Also, this is the only example of parallelizable sphere that admits no Lie group structure.
– Travis
Dec 19 at 4:56
Also, this is the only example of parallelizable sphere that admits no Lie group structure.
– Travis
Dec 19 at 4:56
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.
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%2f3046000%2fexample-of-a-parallelizable-smooth-manifold-which-is-not-a-lie-group%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