Definition of the Lie algebra and the Lie bracket for general vector fields
$begingroup$
I've started to go deep into the theory of Lie groups to eventually understand their representation theory. I picked up a text online and right on the first chapter something started to bother me. When the author defines a Lie algebra over a vector field, we get the standard definition:
Definition 1.2 A Lie algebra over $mathbb K = mathbb R$ or $mathbb C$ is a vector space $V$ over $mathbb K$
with a skew-symmetric $mathbb K$-bilinear form (the Lie bracket) $[,,,]:Vtimes Vrightarrow V$ which satisfies the Jacobi identity $$[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0$$ for all $X,Y,Zinmathbb K$.
However, when the author first goes to use the notion of a Lie bracket to define the Lie algebra of a Lie group, he states that the pushforward of a diffeomorphism $f:Mrightarrow N$ is compatible with the Lie bracket, i.e. that
$$f_*[X,Y]=[f_* X,f_* Y].$$
As such, it seems like we completely disregarded the original abstract definition of the bracket on 1.2 and chose to use the Lie derivative because it happens to satisfy these properties and is nice to work with. This immediately seemed very arbitrary to me.
Are there any assumptions that I haven't picked up on to maybe uniquely determine that the Lie algebra of left-invariant vector fields can only have the Lie derivative as a consistent bracket (up to a scalar multiple, of course)?
differential-topology lie-groups lie-algebras
$endgroup$
add a comment |
$begingroup$
I've started to go deep into the theory of Lie groups to eventually understand their representation theory. I picked up a text online and right on the first chapter something started to bother me. When the author defines a Lie algebra over a vector field, we get the standard definition:
Definition 1.2 A Lie algebra over $mathbb K = mathbb R$ or $mathbb C$ is a vector space $V$ over $mathbb K$
with a skew-symmetric $mathbb K$-bilinear form (the Lie bracket) $[,,,]:Vtimes Vrightarrow V$ which satisfies the Jacobi identity $$[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0$$ for all $X,Y,Zinmathbb K$.
However, when the author first goes to use the notion of a Lie bracket to define the Lie algebra of a Lie group, he states that the pushforward of a diffeomorphism $f:Mrightarrow N$ is compatible with the Lie bracket, i.e. that
$$f_*[X,Y]=[f_* X,f_* Y].$$
As such, it seems like we completely disregarded the original abstract definition of the bracket on 1.2 and chose to use the Lie derivative because it happens to satisfy these properties and is nice to work with. This immediately seemed very arbitrary to me.
Are there any assumptions that I haven't picked up on to maybe uniquely determine that the Lie algebra of left-invariant vector fields can only have the Lie derivative as a consistent bracket (up to a scalar multiple, of course)?
differential-topology lie-groups lie-algebras
$endgroup$
2
$begingroup$
This is a really weird question. It's like asking, "why is the group operation on $GL_n(mathbb{R})$ matrix multiplication, when the definition of a group doesn't say that the group operation must be matrix multiplication?".
$endgroup$
– Eric Wofsey
Jan 11 at 3:13
3
$begingroup$
Oh, looking at the text you're reading, it looks like it's not your fault and the text just does a terrible job of explaining what's going on.
$endgroup$
– Eric Wofsey
Jan 11 at 3:18
add a comment |
$begingroup$
I've started to go deep into the theory of Lie groups to eventually understand their representation theory. I picked up a text online and right on the first chapter something started to bother me. When the author defines a Lie algebra over a vector field, we get the standard definition:
Definition 1.2 A Lie algebra over $mathbb K = mathbb R$ or $mathbb C$ is a vector space $V$ over $mathbb K$
with a skew-symmetric $mathbb K$-bilinear form (the Lie bracket) $[,,,]:Vtimes Vrightarrow V$ which satisfies the Jacobi identity $$[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0$$ for all $X,Y,Zinmathbb K$.
However, when the author first goes to use the notion of a Lie bracket to define the Lie algebra of a Lie group, he states that the pushforward of a diffeomorphism $f:Mrightarrow N$ is compatible with the Lie bracket, i.e. that
$$f_*[X,Y]=[f_* X,f_* Y].$$
As such, it seems like we completely disregarded the original abstract definition of the bracket on 1.2 and chose to use the Lie derivative because it happens to satisfy these properties and is nice to work with. This immediately seemed very arbitrary to me.
Are there any assumptions that I haven't picked up on to maybe uniquely determine that the Lie algebra of left-invariant vector fields can only have the Lie derivative as a consistent bracket (up to a scalar multiple, of course)?
differential-topology lie-groups lie-algebras
$endgroup$
I've started to go deep into the theory of Lie groups to eventually understand their representation theory. I picked up a text online and right on the first chapter something started to bother me. When the author defines a Lie algebra over a vector field, we get the standard definition:
Definition 1.2 A Lie algebra over $mathbb K = mathbb R$ or $mathbb C$ is a vector space $V$ over $mathbb K$
with a skew-symmetric $mathbb K$-bilinear form (the Lie bracket) $[,,,]:Vtimes Vrightarrow V$ which satisfies the Jacobi identity $$[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0$$ for all $X,Y,Zinmathbb K$.
However, when the author first goes to use the notion of a Lie bracket to define the Lie algebra of a Lie group, he states that the pushforward of a diffeomorphism $f:Mrightarrow N$ is compatible with the Lie bracket, i.e. that
$$f_*[X,Y]=[f_* X,f_* Y].$$
As such, it seems like we completely disregarded the original abstract definition of the bracket on 1.2 and chose to use the Lie derivative because it happens to satisfy these properties and is nice to work with. This immediately seemed very arbitrary to me.
Are there any assumptions that I haven't picked up on to maybe uniquely determine that the Lie algebra of left-invariant vector fields can only have the Lie derivative as a consistent bracket (up to a scalar multiple, of course)?
differential-topology lie-groups lie-algebras
differential-topology lie-groups lie-algebras
asked Jan 11 at 3:05
Gabriel GolfettiGabriel Golfetti
1847
1847
2
$begingroup$
This is a really weird question. It's like asking, "why is the group operation on $GL_n(mathbb{R})$ matrix multiplication, when the definition of a group doesn't say that the group operation must be matrix multiplication?".
$endgroup$
– Eric Wofsey
Jan 11 at 3:13
3
$begingroup$
Oh, looking at the text you're reading, it looks like it's not your fault and the text just does a terrible job of explaining what's going on.
$endgroup$
– Eric Wofsey
Jan 11 at 3:18
add a comment |
2
$begingroup$
This is a really weird question. It's like asking, "why is the group operation on $GL_n(mathbb{R})$ matrix multiplication, when the definition of a group doesn't say that the group operation must be matrix multiplication?".
$endgroup$
– Eric Wofsey
Jan 11 at 3:13
3
$begingroup$
Oh, looking at the text you're reading, it looks like it's not your fault and the text just does a terrible job of explaining what's going on.
$endgroup$
– Eric Wofsey
Jan 11 at 3:18
2
2
$begingroup$
This is a really weird question. It's like asking, "why is the group operation on $GL_n(mathbb{R})$ matrix multiplication, when the definition of a group doesn't say that the group operation must be matrix multiplication?".
$endgroup$
– Eric Wofsey
Jan 11 at 3:13
$begingroup$
This is a really weird question. It's like asking, "why is the group operation on $GL_n(mathbb{R})$ matrix multiplication, when the definition of a group doesn't say that the group operation must be matrix multiplication?".
$endgroup$
– Eric Wofsey
Jan 11 at 3:13
3
3
$begingroup$
Oh, looking at the text you're reading, it looks like it's not your fault and the text just does a terrible job of explaining what's going on.
$endgroup$
– Eric Wofsey
Jan 11 at 3:18
$begingroup$
Oh, looking at the text you're reading, it looks like it's not your fault and the text just does a terrible job of explaining what's going on.
$endgroup$
– Eric Wofsey
Jan 11 at 3:18
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
All that's going on here is that the author is using the term "Lie bracket" with two different meanings and not explaining that they are separate. On the one hand, there is the term "Lie bracket" which refers to the operation in a general Lie algebra as in Definition 1.2. On the other hand, there is the term "Lie bracket" which specifically refers to the Lie derivative operation on vector fields on a manifold. When the author talks about pushforwards under diffeomorphism, he is using "Lie bracket" in this second sense, not in the sense of Definition 1.2.
The author is in no way asserting that the Lie derivative is the only possible Lie bracket (in the sense of Definition 1.2) that can be defined on vector fields. Rather, he is just (rather confusingly in context) using the term "Lie bracket" as a name for the Lie derivative operation on vector fields. Of course, this is connected to Definition 1.2 in that vector fields with the Lie derivative operation are an example of a Lie algebra. But they're just an example; no assertion is being made about the meaning of "Lie bracket" in an arbitrary Lie algebra.
$endgroup$
add a comment |
$begingroup$
There can be many other consistent brackets.
Suppose that there is a basis $v_1,v_2,cdots,v_n$, you can define a consistent bracket just through the commutation relation which is completely determined by some constants.
However, only the Lie derivative is useful to get the needed Lie algebra which corresponds the Lie group.
$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%2f3069442%2fdefinition-of-the-lie-algebra-and-the-lie-bracket-for-general-vector-fields%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
$begingroup$
All that's going on here is that the author is using the term "Lie bracket" with two different meanings and not explaining that they are separate. On the one hand, there is the term "Lie bracket" which refers to the operation in a general Lie algebra as in Definition 1.2. On the other hand, there is the term "Lie bracket" which specifically refers to the Lie derivative operation on vector fields on a manifold. When the author talks about pushforwards under diffeomorphism, he is using "Lie bracket" in this second sense, not in the sense of Definition 1.2.
The author is in no way asserting that the Lie derivative is the only possible Lie bracket (in the sense of Definition 1.2) that can be defined on vector fields. Rather, he is just (rather confusingly in context) using the term "Lie bracket" as a name for the Lie derivative operation on vector fields. Of course, this is connected to Definition 1.2 in that vector fields with the Lie derivative operation are an example of a Lie algebra. But they're just an example; no assertion is being made about the meaning of "Lie bracket" in an arbitrary Lie algebra.
$endgroup$
add a comment |
$begingroup$
All that's going on here is that the author is using the term "Lie bracket" with two different meanings and not explaining that they are separate. On the one hand, there is the term "Lie bracket" which refers to the operation in a general Lie algebra as in Definition 1.2. On the other hand, there is the term "Lie bracket" which specifically refers to the Lie derivative operation on vector fields on a manifold. When the author talks about pushforwards under diffeomorphism, he is using "Lie bracket" in this second sense, not in the sense of Definition 1.2.
The author is in no way asserting that the Lie derivative is the only possible Lie bracket (in the sense of Definition 1.2) that can be defined on vector fields. Rather, he is just (rather confusingly in context) using the term "Lie bracket" as a name for the Lie derivative operation on vector fields. Of course, this is connected to Definition 1.2 in that vector fields with the Lie derivative operation are an example of a Lie algebra. But they're just an example; no assertion is being made about the meaning of "Lie bracket" in an arbitrary Lie algebra.
$endgroup$
add a comment |
$begingroup$
All that's going on here is that the author is using the term "Lie bracket" with two different meanings and not explaining that they are separate. On the one hand, there is the term "Lie bracket" which refers to the operation in a general Lie algebra as in Definition 1.2. On the other hand, there is the term "Lie bracket" which specifically refers to the Lie derivative operation on vector fields on a manifold. When the author talks about pushforwards under diffeomorphism, he is using "Lie bracket" in this second sense, not in the sense of Definition 1.2.
The author is in no way asserting that the Lie derivative is the only possible Lie bracket (in the sense of Definition 1.2) that can be defined on vector fields. Rather, he is just (rather confusingly in context) using the term "Lie bracket" as a name for the Lie derivative operation on vector fields. Of course, this is connected to Definition 1.2 in that vector fields with the Lie derivative operation are an example of a Lie algebra. But they're just an example; no assertion is being made about the meaning of "Lie bracket" in an arbitrary Lie algebra.
$endgroup$
All that's going on here is that the author is using the term "Lie bracket" with two different meanings and not explaining that they are separate. On the one hand, there is the term "Lie bracket" which refers to the operation in a general Lie algebra as in Definition 1.2. On the other hand, there is the term "Lie bracket" which specifically refers to the Lie derivative operation on vector fields on a manifold. When the author talks about pushforwards under diffeomorphism, he is using "Lie bracket" in this second sense, not in the sense of Definition 1.2.
The author is in no way asserting that the Lie derivative is the only possible Lie bracket (in the sense of Definition 1.2) that can be defined on vector fields. Rather, he is just (rather confusingly in context) using the term "Lie bracket" as a name for the Lie derivative operation on vector fields. Of course, this is connected to Definition 1.2 in that vector fields with the Lie derivative operation are an example of a Lie algebra. But they're just an example; no assertion is being made about the meaning of "Lie bracket" in an arbitrary Lie algebra.
answered Jan 11 at 3:27
Eric WofseyEric Wofsey
185k14213340
185k14213340
add a comment |
add a comment |
$begingroup$
There can be many other consistent brackets.
Suppose that there is a basis $v_1,v_2,cdots,v_n$, you can define a consistent bracket just through the commutation relation which is completely determined by some constants.
However, only the Lie derivative is useful to get the needed Lie algebra which corresponds the Lie group.
$endgroup$
add a comment |
$begingroup$
There can be many other consistent brackets.
Suppose that there is a basis $v_1,v_2,cdots,v_n$, you can define a consistent bracket just through the commutation relation which is completely determined by some constants.
However, only the Lie derivative is useful to get the needed Lie algebra which corresponds the Lie group.
$endgroup$
add a comment |
$begingroup$
There can be many other consistent brackets.
Suppose that there is a basis $v_1,v_2,cdots,v_n$, you can define a consistent bracket just through the commutation relation which is completely determined by some constants.
However, only the Lie derivative is useful to get the needed Lie algebra which corresponds the Lie group.
$endgroup$
There can be many other consistent brackets.
Suppose that there is a basis $v_1,v_2,cdots,v_n$, you can define a consistent bracket just through the commutation relation which is completely determined by some constants.
However, only the Lie derivative is useful to get the needed Lie algebra which corresponds the Lie group.
answered Jan 11 at 3:23
W. muW. mu
755310
755310
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%2f3069442%2fdefinition-of-the-lie-algebra-and-the-lie-bracket-for-general-vector-fields%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
2
$begingroup$
This is a really weird question. It's like asking, "why is the group operation on $GL_n(mathbb{R})$ matrix multiplication, when the definition of a group doesn't say that the group operation must be matrix multiplication?".
$endgroup$
– Eric Wofsey
Jan 11 at 3:13
3
$begingroup$
Oh, looking at the text you're reading, it looks like it's not your fault and the text just does a terrible job of explaining what's going on.
$endgroup$
– Eric Wofsey
Jan 11 at 3:18