Mixing
When (if ever) does a connection on a Lie manifold G define that groups Lie algebra?
up vote
1
down vote
favorite
Note I study physics so I apologize in advance for poor notation terminology. admittedly I'm very new to Lie algebras and groups (at least in the general sense, I've encountered specific groups many times). In studying Riemannian geometry, one ends up using covariant derivatives $nabla$ in place of ordinary derivatives. In other words one defines a connection $nabla$ on the manifold (let's call it $M$) in question.
Choosing a particular direction for the derivative (ie a directional derivative) via some vector $overrightarrow{u}$ we get $nabla_{u}=u^{i}nabla_{i}$ , where we are using the Einstein summation convention.
For some arbitrary 1-form $A$ on $M$, we can then write:
$$[nabla_{u},nabla_{v}]A_{alpha}-nabla_{[u,v]}A_{alpha}=A_{beta}R_{alphamunu}^{beta}$$
Where the brackets denote the commutator of the terms contained therein, and the tensor $R_{alphamunu}^{beta}$ is the Riemann curvature tensor (If I'm remembering correctly this is actually how Riemann first defined his curvature tensor). If we choose coordinate vectors for $u,v$ then their commutators vanish (the second term in the above expression) the expression simplifies to (in coordinate free notation):
$$R(u,v)w=[nabla_{u},nabla_{nu}]w$$
The Riemann tensor has some symmetry properties such as:
$$R(u,v)=-R(v,u)$$
$$R(u,v)w+R(v,w)u+R(w,u)v=0$$
Examining all of these terms one is reminded of a Lie algebra, with the Riemann tensor playing a role simlar to a structure constant (which makes sense since the Riemann tensor is essentially a topological obstruction measuring a deviation from euclidean space). However I get that we're in $TM$.
Entrar my question: If we're on a manifold that is also a Lie group, can we form that groups Lie algebra from this (and ensuingly the Lie group itself?). My first thought is to go straight ahead and say the Covariant derivatives themselves form components of the Lie algebra? Would that be right?
The amount of arbitrariness allowed in the manifold locally which still would adhere to a particular global topology leads me to doubt this. The second line of reasoning of mine is to take a pullback $phi$ to a manifold with the same topology but constant components of the Riemann tensor. Then we would have that:
$$[left(phi*nabla_{u}right),left(phi*nabla_{v}right)]left(phi*A_{alpha}right)=left(phi*A_{beta}right)mathbb{R}_{alphamunu}^{beta}$$
This time however, the pulled back Curvature tensor has constant entries, in essence endowing the map $phi$ with all information on the local features of our original manifold. It seems ok here to then say that we can form the Lie algebra of the group manifold using the pulled back covariant derivative. This might seem silly to some, but would actually be useful for a project of mine. Does anyone have any input? Have I failed to see the Geometer's forest for all of the trees contained therein?
Note, there is one more thing I'd like to mention. Considering the first equation again:
$$[nabla_{u},nabla_{v}]A_{alpha}-nabla_{[u,v]}A_{alpha}=A_{beta}R_{alphamunu}^{beta}$$
The second term on the left actually is reminiscent of the second term in the
right hand side of the exponent in the Cambell-Baker-Hausdorff formula which goes like:
$$e^{A}e^{B}=e^{A+B+[A,B]+...}$$ Now since we would have to exponentiate the Lie algebra to get the group, it's interesting that a term like that mentioned above would appear? Am I chasing ghosts or is there a way to figure this out?
differential-geometry lie-groups lie-algebras connections
asked 44 mins ago
R. Rankin
286213
add a comment |
up vote
1
down vote
favorite
Note I study physics so I apologize in advance for poor notation terminology. admittedly I'm very new to Lie algebras and groups (at least in the general sense, I've encountered specific groups many times). In studying Riemannian geometry, one ends up using covariant derivatives $nabla$ in place of ordinary derivatives. In other words one defines a connection $nabla$ on the manifold (let's call it $M$) in question.
Choosing a particular direction for the derivative (ie a directional derivative) via some vector $overrightarrow{u}$ we get $nabla_{u}=u^{i}nabla_{i}$ , where we are using the Einstein summation convention.
For some arbitrary 1-form $A$ on $M$, we can then write:
$$[nabla_{u},nabla_{v}]A_{alpha}-nabla_{[u,v]}A_{alpha}=A_{beta}R_{alphamunu}^{beta}$$
Where the brackets denote the commutator of the terms contained therein, and the tensor $R_{alphamunu}^{beta}$ is the Riemann curvature tensor (If I'm remembering correctly this is actually how Riemann first defined his curvature tensor). If we choose coordinate vectors for $u,v$ then their commutators vanish (the second term in the above expression) the expression simplifies to (in coordinate free notation):
$$R(u,v)w=[nabla_{u},nabla_{nu}]w$$
The Riemann tensor has some symmetry properties such as:
$$R(u,v)=-R(v,u)$$
$$R(u,v)w+R(v,w)u+R(w,u)v=0$$
Examining all of these terms one is reminded of a Lie algebra, with the Riemann tensor playing a role simlar to a structure constant (which makes sense since the Riemann tensor is essentially a topological obstruction measuring a deviation from euclidean space). However I get that we're in $TM$.
Entrar my question: If we're on a manifold that is also a Lie group, can we form that groups Lie algebra from this (and ensuingly the Lie group itself?). My first thought is to go straight ahead and say the Covariant derivatives themselves form components of the Lie algebra? Would that be right?
The amount of arbitrariness allowed in the manifold locally which still would adhere to a particular global topology leads me to doubt this. The second line of reasoning of mine is to take a pullback $phi$ to a manifold with the same topology but constant components of the Riemann tensor. Then we would have that:
$$[left(phi*nabla_{u}right),left(phi*nabla_{v}right)]left(phi*A_{alpha}right)=left(phi*A_{beta}right)mathbb{R}_{alphamunu}^{beta}$$
This time however, the pulled back Curvature tensor has constant entries, in essence endowing the map $phi$ with all information on the local features of our original manifold. It seems ok here to then say that we can form the Lie algebra of the group manifold using the pulled back covariant derivative. This might seem silly to some, but would actually be useful for a project of mine. Does anyone have any input? Have I failed to see the Geometer's forest for all of the trees contained therein?
Note, there is one more thing I'd like to mention. Considering the first equation again:
$$[nabla_{u},nabla_{v}]A_{alpha}-nabla_{[u,v]}A_{alpha}=A_{beta}R_{alphamunu}^{beta}$$
The second term on the left actually is reminiscent of the second term in the
right hand side of the exponent in the Cambell-Baker-Hausdorff formula which goes like:
$$e^{A}e^{B}=e^{A+B+[A,B]+...}$$ Now since we would have to exponentiate the Lie algebra to get the group, it's interesting that a term like that mentioned above would appear? Am I chasing ghosts or is there a way to figure this out?
differential-geometry lie-groups lie-algebras connections
asked 44 mins ago
R. Rankin
286213
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Note I study physics so I apologize in advance for poor notation terminology. admittedly I'm very new to Lie algebras and groups (at least in the general sense, I've encountered specific groups many times). In studying Riemannian geometry, one ends up using covariant derivatives $nabla$ in place of ordinary derivatives. In other words one defines a connection $nabla$ on the manifold (let's call it $M$) in question.
Choosing a particular direction for the derivative (ie a directional derivative) via some vector $overrightarrow{u}$ we get $nabla_{u}=u^{i}nabla_{i}$ , where we are using the Einstein summation convention.
For some arbitrary 1-form $A$ on $M$, we can then write:
$$[nabla_{u},nabla_{v}]A_{alpha}-nabla_{[u,v]}A_{alpha}=A_{beta}R_{alphamunu}^{beta}$$
Where the brackets denote the commutator of the terms contained therein, and the tensor $R_{alphamunu}^{beta}$ is the Riemann curvature tensor (If I'm remembering correctly this is actually how Riemann first defined his curvature tensor). If we choose coordinate vectors for $u,v$ then their commutators vanish (the second term in the above expression) the expression simplifies to (in coordinate free notation):
$$R(u,v)w=[nabla_{u},nabla_{nu}]w$$
The Riemann tensor has some symmetry properties such as:
$$R(u,v)=-R(v,u)$$
$$R(u,v)w+R(v,w)u+R(w,u)v=0$$
Examining all of these terms one is reminded of a Lie algebra, with the Riemann tensor playing a role simlar to a structure constant (which makes sense since the Riemann tensor is essentially a topological obstruction measuring a deviation from euclidean space). However I get that we're in $TM$.
Entrar my question: If we're on a manifold that is also a Lie group, can we form that groups Lie algebra from this (and ensuingly the Lie group itself?). My first thought is to go straight ahead and say the Covariant derivatives themselves form components of the Lie algebra? Would that be right?
The amount of arbitrariness allowed in the manifold locally which still would adhere to a particular global topology leads me to doubt this. The second line of reasoning of mine is to take a pullback $phi$ to a manifold with the same topology but constant components of the Riemann tensor. Then we would have that:
$$[left(phi*nabla_{u}right),left(phi*nabla_{v}right)]left(phi*A_{alpha}right)=left(phi*A_{beta}right)mathbb{R}_{alphamunu}^{beta}$$
This time however, the pulled back Curvature tensor has constant entries, in essence endowing the map $phi$ with all information on the local features of our original manifold. It seems ok here to then say that we can form the Lie algebra of the group manifold using the pulled back covariant derivative. This might seem silly to some, but would actually be useful for a project of mine. Does anyone have any input? Have I failed to see the Geometer's forest for all of the trees contained therein?
Note, there is one more thing I'd like to mention. Considering the first equation again:
$$[nabla_{u},nabla_{v}]A_{alpha}-nabla_{[u,v]}A_{alpha}=A_{beta}R_{alphamunu}^{beta}$$
The second term on the left actually is reminiscent of the second term in the
right hand side of the exponent in the Cambell-Baker-Hausdorff formula which goes like:
$$e^{A}e^{B}=e^{A+B+[A,B]+...}$$ Now since we would have to exponentiate the Lie algebra to get the group, it's interesting that a term like that mentioned above would appear? Am I chasing ghosts or is there a way to figure this out?
differential-geometry lie-groups lie-algebras connections
asked 44 mins ago
R. Rankin
286213
Note I study physics so I apologize in advance for poor notation terminology. admittedly I'm very new to Lie algebras and groups (at least in the general sense, I've encountered specific groups many times). In studying Riemannian geometry, one ends up using covariant derivatives $nabla$ in place of ordinary derivatives. In other words one defines a connection $nabla$ on the manifold (let's call it $M$) in question.
Choosing a particular direction for the derivative (ie a directional derivative) via some vector $overrightarrow{u}$ we get $nabla_{u}=u^{i}nabla_{i}$ , where we are using the Einstein summation convention.
For some arbitrary 1-form $A$ on $M$, we can then write:
$$[nabla_{u},nabla_{v}]A_{alpha}-nabla_{[u,v]}A_{alpha}=A_{beta}R_{alphamunu}^{beta}$$
Where the brackets denote the commutator of the terms contained therein, and the tensor $R_{alphamunu}^{beta}$ is the Riemann curvature tensor (If I'm remembering correctly this is actually how Riemann first defined his curvature tensor). If we choose coordinate vectors for $u,v$ then their commutators vanish (the second term in the above expression) the expression simplifies to (in coordinate free notation):
$$R(u,v)w=[nabla_{u},nabla_{nu}]w$$
The Riemann tensor has some symmetry properties such as:
$$R(u,v)=-R(v,u)$$
$$R(u,v)w+R(v,w)u+R(w,u)v=0$$
Examining all of these terms one is reminded of a Lie algebra, with the Riemann tensor playing a role simlar to a structure constant (which makes sense since the Riemann tensor is essentially a topological obstruction measuring a deviation from euclidean space). However I get that we're in $TM$.
Entrar my question: If we're on a manifold that is also a Lie group, can we form that groups Lie algebra from this (and ensuingly the Lie group itself?). My first thought is to go straight ahead and say the Covariant derivatives themselves form components of the Lie algebra? Would that be right?
The amount of arbitrariness allowed in the manifold locally which still would adhere to a particular global topology leads me to doubt this. The second line of reasoning of mine is to take a pullback $phi$ to a manifold with the same topology but constant components of the Riemann tensor. Then we would have that:
$$[left(phi*nabla_{u}right),left(phi*nabla_{v}right)]left(phi*A_{alpha}right)=left(phi*A_{beta}right)mathbb{R}_{alphamunu}^{beta}$$
This time however, the pulled back Curvature tensor has constant entries, in essence endowing the map $phi$ with all information on the local features of our original manifold. It seems ok here to then say that we can form the Lie algebra of the group manifold using the pulled back covariant derivative. This might seem silly to some, but would actually be useful for a project of mine. Does anyone have any input? Have I failed to see the Geometer's forest for all of the trees contained therein?
Note, there is one more thing I'd like to mention. Considering the first equation again:
$$[nabla_{u},nabla_{v}]A_{alpha}-nabla_{[u,v]}A_{alpha}=A_{beta}R_{alphamunu}^{beta}$$
The second term on the left actually is reminiscent of the second term in the
right hand side of the exponent in the Cambell-Baker-Hausdorff formula which goes like:
$$e^{A}e^{B}=e^{A+B+[A,B]+...}$$ Now since we would have to exponentiate the Lie algebra to get the group, it's interesting that a term like that mentioned above would appear? Am I chasing ghosts or is there a way to figure this out?
differential-geometry lie-groups lie-algebras connections
differential-geometry lie-groups lie-algebras connections
asked 44 mins ago
R. Rankin
286213
asked 44 mins ago
R. Rankin
286213
edited 32 mins ago
asked 44 mins ago
R. Rankin
286213
asked 44 mins ago
R. Rankin
286213
asked 44 mins ago
R. Rankin
286213
286213
add a comment |
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3004688%2fwhen-if-ever-does-a-connection-on-a-lie-manifold-g-define-that-groups-lie-alge%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
