Weyl curvature of hypersurface in $mathbb{R}^{n+1}$
$begingroup$
Let $M^nsubset mathbb{R}^{n+1}$ be an embedded hypersurface and let $g$ be the metric induced on $M$ by the flat metric on $mathbb{R}^{n+1}$.
Q: What is a formula for the Weyl tensor $W$ of $g$ in terms of the second fundamental form $A$ of $M$? More precisely, what is $|W|^2$?
For example, the scalar curvature $S$ of $g$ can be written as
$$
S=H^2-|A|^2=mathrm{trace}(A)^2-mathrm{trace}(A^2)=sum_{1leq i_1<i_2leq n}lambda_{i_1}lambda_{i_2},
$$
where $H$ is the mean curvature (trace of $A$) and $lambda_1,dots,lambda_nin mathbb{R}$ are the principal curvatures of $M$, i.e. the eigenvalues of $A$. Note that $S$ is thus an elementary symmetric polynomial in $lambda_1,dots,lambda_n$.
Is $|W|^2$ also given by such a polynomial? I guess this is probably not true as $|W|^2$ is zero for any 2-manifold (all surfaces are locally conformally flat).
differential-geometry riemannian-geometry smooth-manifolds
$endgroup$
add a comment |
$begingroup$
Let $M^nsubset mathbb{R}^{n+1}$ be an embedded hypersurface and let $g$ be the metric induced on $M$ by the flat metric on $mathbb{R}^{n+1}$.
Q: What is a formula for the Weyl tensor $W$ of $g$ in terms of the second fundamental form $A$ of $M$? More precisely, what is $|W|^2$?
For example, the scalar curvature $S$ of $g$ can be written as
$$
S=H^2-|A|^2=mathrm{trace}(A)^2-mathrm{trace}(A^2)=sum_{1leq i_1<i_2leq n}lambda_{i_1}lambda_{i_2},
$$
where $H$ is the mean curvature (trace of $A$) and $lambda_1,dots,lambda_nin mathbb{R}$ are the principal curvatures of $M$, i.e. the eigenvalues of $A$. Note that $S$ is thus an elementary symmetric polynomial in $lambda_1,dots,lambda_n$.
Is $|W|^2$ also given by such a polynomial? I guess this is probably not true as $|W|^2$ is zero for any 2-manifold (all surfaces are locally conformally flat).
differential-geometry riemannian-geometry smooth-manifolds
$endgroup$
add a comment |
$begingroup$
Let $M^nsubset mathbb{R}^{n+1}$ be an embedded hypersurface and let $g$ be the metric induced on $M$ by the flat metric on $mathbb{R}^{n+1}$.
Q: What is a formula for the Weyl tensor $W$ of $g$ in terms of the second fundamental form $A$ of $M$? More precisely, what is $|W|^2$?
For example, the scalar curvature $S$ of $g$ can be written as
$$
S=H^2-|A|^2=mathrm{trace}(A)^2-mathrm{trace}(A^2)=sum_{1leq i_1<i_2leq n}lambda_{i_1}lambda_{i_2},
$$
where $H$ is the mean curvature (trace of $A$) and $lambda_1,dots,lambda_nin mathbb{R}$ are the principal curvatures of $M$, i.e. the eigenvalues of $A$. Note that $S$ is thus an elementary symmetric polynomial in $lambda_1,dots,lambda_n$.
Is $|W|^2$ also given by such a polynomial? I guess this is probably not true as $|W|^2$ is zero for any 2-manifold (all surfaces are locally conformally flat).
differential-geometry riemannian-geometry smooth-manifolds
$endgroup$
Let $M^nsubset mathbb{R}^{n+1}$ be an embedded hypersurface and let $g$ be the metric induced on $M$ by the flat metric on $mathbb{R}^{n+1}$.
Q: What is a formula for the Weyl tensor $W$ of $g$ in terms of the second fundamental form $A$ of $M$? More precisely, what is $|W|^2$?
For example, the scalar curvature $S$ of $g$ can be written as
$$
S=H^2-|A|^2=mathrm{trace}(A)^2-mathrm{trace}(A^2)=sum_{1leq i_1<i_2leq n}lambda_{i_1}lambda_{i_2},
$$
where $H$ is the mean curvature (trace of $A$) and $lambda_1,dots,lambda_nin mathbb{R}$ are the principal curvatures of $M$, i.e. the eigenvalues of $A$. Note that $S$ is thus an elementary symmetric polynomial in $lambda_1,dots,lambda_n$.
Is $|W|^2$ also given by such a polynomial? I guess this is probably not true as $|W|^2$ is zero for any 2-manifold (all surfaces are locally conformally flat).
differential-geometry riemannian-geometry smooth-manifolds
differential-geometry riemannian-geometry smooth-manifolds
edited Jan 24 at 15:35
srp
asked Jan 24 at 2:43
srpsrp
2728
2728
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
You can observe that by Gauss Equation and Codazzi-Mainardi equation you can write the Riemann tensor and the Ricci tensor in function of the second fundamental form of your hypersurface that is in $mathbb{R}^{n+1}$, so the Riemann and Ricci tensor of the ambient are zero.
The Weyl tensor is defined in function of the induced metric, the Riemann tensor and the Ricci tensor of the hypersurface so it is true, it is possible write the Weyl tensor in function of the second fundamental form.
We know that Gauss equation of an Hypersurface $Msubseteq N$ is
$R^N(X,Y,Z,W)=R^M(X,Y,Z,W)+h(X,W)h(Y,Z)-h(X,Z)h(Y,W)$
where $h$ is the second fundamental form of $M$.
In local coordinates we have that
$R^N_{ijkl}=R^M_{ijkl}+h_{il}h_{jk}-h_{ik}h_{jl}$
In our case $R^N=0$ so
$R^M_{ijkl}= h_{ik}h_{jl}-h_{il}h_{jk}$
If we trace the equation we can write also Ricci Tensor in function of the second fundamental form:
$R^M_{jl}=Hh_{jl}-g^{ik} h_{il}h_{jk}$
where $H$ is the mean curvature of $M$.
If we trace twice Gauss equation we get a relationship between the scalar curvature $R$ of $M$ and the second fundamental form:
$R=H^2-|h|^2$
We consider the (0,4)-Weyl tensor of $M$
$W=R^M-frac{1}{n-2}(Ric-frac{R}{n}g)wedge g-frac{R}{2n(n-1)}gwedge g$
where $wedge$ is the Kulkarni-Nomizou product.
In local coordinate we have that
$W_{ijkl}=R^M_{ijkl}+frac{1}{n-2}(R^M_{il}g_{jk}-R^M_{ik}g_{il}+R^M_{jk}g_{il}-R^M_{jl}g_{ik})+$
$+frac{R}{(n-1)(n-2)}(g_{ik}g_{jl}-g_{il}g_{jk})$
So you have all elements to write Weyl tensor in function of the second fundamental form of $M$ (and in function of the metric $g$).
You can observe also that the (0,2)-Tensor $h$ is symmetric so there exists a local orthonormal frame ${Z_1,dots, Z_n}$ such that the matrix $A$ associated with $h$ with respect that frame is $diag(lambda_1,dots, lambda_n)$ and th matrix $G$ associated with the metric $g$ with respect that frame will be the identity $I$. In this case you can write all our formula in an easier way than before.
If it is not clear I can explain more precisely.
$endgroup$
$begingroup$
Thank you for your answer. I am aware that the second fundamental form of a hypersurface completely determines its intrinsic curvature. My question is what the precise formula of the Weyl curvature is in terms of the second fundamental form.
$endgroup$
– srp
Jan 24 at 16:54
$begingroup$
Oook one moment that I write it
$endgroup$
– Federico Fallucca
Jan 24 at 17:03
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%2f3085382%2fweyl-curvature-of-hypersurface-in-mathbbrn1%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$
You can observe that by Gauss Equation and Codazzi-Mainardi equation you can write the Riemann tensor and the Ricci tensor in function of the second fundamental form of your hypersurface that is in $mathbb{R}^{n+1}$, so the Riemann and Ricci tensor of the ambient are zero.
The Weyl tensor is defined in function of the induced metric, the Riemann tensor and the Ricci tensor of the hypersurface so it is true, it is possible write the Weyl tensor in function of the second fundamental form.
We know that Gauss equation of an Hypersurface $Msubseteq N$ is
$R^N(X,Y,Z,W)=R^M(X,Y,Z,W)+h(X,W)h(Y,Z)-h(X,Z)h(Y,W)$
where $h$ is the second fundamental form of $M$.
In local coordinates we have that
$R^N_{ijkl}=R^M_{ijkl}+h_{il}h_{jk}-h_{ik}h_{jl}$
In our case $R^N=0$ so
$R^M_{ijkl}= h_{ik}h_{jl}-h_{il}h_{jk}$
If we trace the equation we can write also Ricci Tensor in function of the second fundamental form:
$R^M_{jl}=Hh_{jl}-g^{ik} h_{il}h_{jk}$
where $H$ is the mean curvature of $M$.
If we trace twice Gauss equation we get a relationship between the scalar curvature $R$ of $M$ and the second fundamental form:
$R=H^2-|h|^2$
We consider the (0,4)-Weyl tensor of $M$
$W=R^M-frac{1}{n-2}(Ric-frac{R}{n}g)wedge g-frac{R}{2n(n-1)}gwedge g$
where $wedge$ is the Kulkarni-Nomizou product.
In local coordinate we have that
$W_{ijkl}=R^M_{ijkl}+frac{1}{n-2}(R^M_{il}g_{jk}-R^M_{ik}g_{il}+R^M_{jk}g_{il}-R^M_{jl}g_{ik})+$
$+frac{R}{(n-1)(n-2)}(g_{ik}g_{jl}-g_{il}g_{jk})$
So you have all elements to write Weyl tensor in function of the second fundamental form of $M$ (and in function of the metric $g$).
You can observe also that the (0,2)-Tensor $h$ is symmetric so there exists a local orthonormal frame ${Z_1,dots, Z_n}$ such that the matrix $A$ associated with $h$ with respect that frame is $diag(lambda_1,dots, lambda_n)$ and th matrix $G$ associated with the metric $g$ with respect that frame will be the identity $I$. In this case you can write all our formula in an easier way than before.
If it is not clear I can explain more precisely.
$endgroup$
$begingroup$
Thank you for your answer. I am aware that the second fundamental form of a hypersurface completely determines its intrinsic curvature. My question is what the precise formula of the Weyl curvature is in terms of the second fundamental form.
$endgroup$
– srp
Jan 24 at 16:54
$begingroup$
Oook one moment that I write it
$endgroup$
– Federico Fallucca
Jan 24 at 17:03
add a comment |
$begingroup$
You can observe that by Gauss Equation and Codazzi-Mainardi equation you can write the Riemann tensor and the Ricci tensor in function of the second fundamental form of your hypersurface that is in $mathbb{R}^{n+1}$, so the Riemann and Ricci tensor of the ambient are zero.
The Weyl tensor is defined in function of the induced metric, the Riemann tensor and the Ricci tensor of the hypersurface so it is true, it is possible write the Weyl tensor in function of the second fundamental form.
We know that Gauss equation of an Hypersurface $Msubseteq N$ is
$R^N(X,Y,Z,W)=R^M(X,Y,Z,W)+h(X,W)h(Y,Z)-h(X,Z)h(Y,W)$
where $h$ is the second fundamental form of $M$.
In local coordinates we have that
$R^N_{ijkl}=R^M_{ijkl}+h_{il}h_{jk}-h_{ik}h_{jl}$
In our case $R^N=0$ so
$R^M_{ijkl}= h_{ik}h_{jl}-h_{il}h_{jk}$
If we trace the equation we can write also Ricci Tensor in function of the second fundamental form:
$R^M_{jl}=Hh_{jl}-g^{ik} h_{il}h_{jk}$
where $H$ is the mean curvature of $M$.
If we trace twice Gauss equation we get a relationship between the scalar curvature $R$ of $M$ and the second fundamental form:
$R=H^2-|h|^2$
We consider the (0,4)-Weyl tensor of $M$
$W=R^M-frac{1}{n-2}(Ric-frac{R}{n}g)wedge g-frac{R}{2n(n-1)}gwedge g$
where $wedge$ is the Kulkarni-Nomizou product.
In local coordinate we have that
$W_{ijkl}=R^M_{ijkl}+frac{1}{n-2}(R^M_{il}g_{jk}-R^M_{ik}g_{il}+R^M_{jk}g_{il}-R^M_{jl}g_{ik})+$
$+frac{R}{(n-1)(n-2)}(g_{ik}g_{jl}-g_{il}g_{jk})$
So you have all elements to write Weyl tensor in function of the second fundamental form of $M$ (and in function of the metric $g$).
You can observe also that the (0,2)-Tensor $h$ is symmetric so there exists a local orthonormal frame ${Z_1,dots, Z_n}$ such that the matrix $A$ associated with $h$ with respect that frame is $diag(lambda_1,dots, lambda_n)$ and th matrix $G$ associated with the metric $g$ with respect that frame will be the identity $I$. In this case you can write all our formula in an easier way than before.
If it is not clear I can explain more precisely.
$endgroup$
$begingroup$
Thank you for your answer. I am aware that the second fundamental form of a hypersurface completely determines its intrinsic curvature. My question is what the precise formula of the Weyl curvature is in terms of the second fundamental form.
$endgroup$
– srp
Jan 24 at 16:54
$begingroup$
Oook one moment that I write it
$endgroup$
– Federico Fallucca
Jan 24 at 17:03
add a comment |
$begingroup$
You can observe that by Gauss Equation and Codazzi-Mainardi equation you can write the Riemann tensor and the Ricci tensor in function of the second fundamental form of your hypersurface that is in $mathbb{R}^{n+1}$, so the Riemann and Ricci tensor of the ambient are zero.
The Weyl tensor is defined in function of the induced metric, the Riemann tensor and the Ricci tensor of the hypersurface so it is true, it is possible write the Weyl tensor in function of the second fundamental form.
We know that Gauss equation of an Hypersurface $Msubseteq N$ is
$R^N(X,Y,Z,W)=R^M(X,Y,Z,W)+h(X,W)h(Y,Z)-h(X,Z)h(Y,W)$
where $h$ is the second fundamental form of $M$.
In local coordinates we have that
$R^N_{ijkl}=R^M_{ijkl}+h_{il}h_{jk}-h_{ik}h_{jl}$
In our case $R^N=0$ so
$R^M_{ijkl}= h_{ik}h_{jl}-h_{il}h_{jk}$
If we trace the equation we can write also Ricci Tensor in function of the second fundamental form:
$R^M_{jl}=Hh_{jl}-g^{ik} h_{il}h_{jk}$
where $H$ is the mean curvature of $M$.
If we trace twice Gauss equation we get a relationship between the scalar curvature $R$ of $M$ and the second fundamental form:
$R=H^2-|h|^2$
We consider the (0,4)-Weyl tensor of $M$
$W=R^M-frac{1}{n-2}(Ric-frac{R}{n}g)wedge g-frac{R}{2n(n-1)}gwedge g$
where $wedge$ is the Kulkarni-Nomizou product.
In local coordinate we have that
$W_{ijkl}=R^M_{ijkl}+frac{1}{n-2}(R^M_{il}g_{jk}-R^M_{ik}g_{il}+R^M_{jk}g_{il}-R^M_{jl}g_{ik})+$
$+frac{R}{(n-1)(n-2)}(g_{ik}g_{jl}-g_{il}g_{jk})$
So you have all elements to write Weyl tensor in function of the second fundamental form of $M$ (and in function of the metric $g$).
You can observe also that the (0,2)-Tensor $h$ is symmetric so there exists a local orthonormal frame ${Z_1,dots, Z_n}$ such that the matrix $A$ associated with $h$ with respect that frame is $diag(lambda_1,dots, lambda_n)$ and th matrix $G$ associated with the metric $g$ with respect that frame will be the identity $I$. In this case you can write all our formula in an easier way than before.
If it is not clear I can explain more precisely.
$endgroup$
You can observe that by Gauss Equation and Codazzi-Mainardi equation you can write the Riemann tensor and the Ricci tensor in function of the second fundamental form of your hypersurface that is in $mathbb{R}^{n+1}$, so the Riemann and Ricci tensor of the ambient are zero.
The Weyl tensor is defined in function of the induced metric, the Riemann tensor and the Ricci tensor of the hypersurface so it is true, it is possible write the Weyl tensor in function of the second fundamental form.
We know that Gauss equation of an Hypersurface $Msubseteq N$ is
$R^N(X,Y,Z,W)=R^M(X,Y,Z,W)+h(X,W)h(Y,Z)-h(X,Z)h(Y,W)$
where $h$ is the second fundamental form of $M$.
In local coordinates we have that
$R^N_{ijkl}=R^M_{ijkl}+h_{il}h_{jk}-h_{ik}h_{jl}$
In our case $R^N=0$ so
$R^M_{ijkl}= h_{ik}h_{jl}-h_{il}h_{jk}$
If we trace the equation we can write also Ricci Tensor in function of the second fundamental form:
$R^M_{jl}=Hh_{jl}-g^{ik} h_{il}h_{jk}$
where $H$ is the mean curvature of $M$.
If we trace twice Gauss equation we get a relationship between the scalar curvature $R$ of $M$ and the second fundamental form:
$R=H^2-|h|^2$
We consider the (0,4)-Weyl tensor of $M$
$W=R^M-frac{1}{n-2}(Ric-frac{R}{n}g)wedge g-frac{R}{2n(n-1)}gwedge g$
where $wedge$ is the Kulkarni-Nomizou product.
In local coordinate we have that
$W_{ijkl}=R^M_{ijkl}+frac{1}{n-2}(R^M_{il}g_{jk}-R^M_{ik}g_{il}+R^M_{jk}g_{il}-R^M_{jl}g_{ik})+$
$+frac{R}{(n-1)(n-2)}(g_{ik}g_{jl}-g_{il}g_{jk})$
So you have all elements to write Weyl tensor in function of the second fundamental form of $M$ (and in function of the metric $g$).
You can observe also that the (0,2)-Tensor $h$ is symmetric so there exists a local orthonormal frame ${Z_1,dots, Z_n}$ such that the matrix $A$ associated with $h$ with respect that frame is $diag(lambda_1,dots, lambda_n)$ and th matrix $G$ associated with the metric $g$ with respect that frame will be the identity $I$. In this case you can write all our formula in an easier way than before.
If it is not clear I can explain more precisely.
edited Jan 24 at 17:43
answered Jan 24 at 15:59
Federico FalluccaFederico Fallucca
2,270210
2,270210
$begingroup$
Thank you for your answer. I am aware that the second fundamental form of a hypersurface completely determines its intrinsic curvature. My question is what the precise formula of the Weyl curvature is in terms of the second fundamental form.
$endgroup$
– srp
Jan 24 at 16:54
$begingroup$
Oook one moment that I write it
$endgroup$
– Federico Fallucca
Jan 24 at 17:03
add a comment |
$begingroup$
Thank you for your answer. I am aware that the second fundamental form of a hypersurface completely determines its intrinsic curvature. My question is what the precise formula of the Weyl curvature is in terms of the second fundamental form.
$endgroup$
– srp
Jan 24 at 16:54
$begingroup$
Oook one moment that I write it
$endgroup$
– Federico Fallucca
Jan 24 at 17:03
$begingroup$
Thank you for your answer. I am aware that the second fundamental form of a hypersurface completely determines its intrinsic curvature. My question is what the precise formula of the Weyl curvature is in terms of the second fundamental form.
$endgroup$
– srp
Jan 24 at 16:54
$begingroup$
Thank you for your answer. I am aware that the second fundamental form of a hypersurface completely determines its intrinsic curvature. My question is what the precise formula of the Weyl curvature is in terms of the second fundamental form.
$endgroup$
– srp
Jan 24 at 16:54
$begingroup$
Oook one moment that I write it
$endgroup$
– Federico Fallucca
Jan 24 at 17:03
$begingroup$
Oook one moment that I write it
$endgroup$
– Federico Fallucca
Jan 24 at 17:03
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%2f3085382%2fweyl-curvature-of-hypersurface-in-mathbbrn1%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