Mixing
Is the set of Lorentzian metrics metrizable?
Clash Royale CLAN TAG#URR8PPP
up vote
4
down vote
favorite
Fix a differentiable non-compact manifold $M$. Denote by $mathrmLor(M) := textLorentzian metrics on $M$.$ One can define a topology on this set via: fix any open covering $mathcalA$ on $M$. For each $g in mathrmLor(M)$ and for each positive continuous function $r : Mto ]0,infty[,$ one defines:
$$mathcal V(g,r) := nabla^kg_ij(p) - nabla^kh_ij(p),$$
where $g_ij, h_ij$ are the coordinates on some local chart with open domain contained on some open of $mathcalA$. (I am sorry being a bit informal at this point, but I think it is clear what I mean).
Also, $nabla^k$ is supposed to denote any $k$-derivative of the metric. This is a sub-basis for the $C^k$-topology on $mathrmLor(M)$.
My first question is: is this topology somehow metrizable?
Further, if $M$ was compact (and $chi(M) = 0)$, then $mathrmLor(M)$ is not empty, by imposing the $L^2$ metric (for some Riemannian metric) on $mathrmLor(M)$ induces the same topology as that I have defined? I mean, if we are interested on statements like:
(M,g) is locally causal if $g$ is close (on the sense of $C^r$-topology) to a causal metric $h$ on $M$,
Does this can be interchanged by
(M,g) is locally causal if $g$ is close to a causal metric $h$ on $M$ on the $L^2$-norm.
I am also sorry it these questions don't make sense at all, at the end, my question is: in general, introducing a Riemannian metric for comparing Lorentzian metric is somehow inappropriate, in the sense it leads to lost of some information?
lorentzian-geometry
asked 4 hours ago
L.F. Cavenaghi
431210
add a comment |Â
up vote
4
down vote
favorite
Fix a differentiable non-compact manifold $M$. Denote by $mathrmLor(M) := textLorentzian metrics on $M$.$ One can define a topology on this set via: fix any open covering $mathcalA$ on $M$. For each $g in mathrmLor(M)$ and for each positive continuous function $r : Mto ]0,infty[,$ one defines:
$$mathcal V(g,r) := nabla^kg_ij(p) - nabla^kh_ij(p),$$
where $g_ij, h_ij$ are the coordinates on some local chart with open domain contained on some open of $mathcalA$. (I am sorry being a bit informal at this point, but I think it is clear what I mean).
Also, $nabla^k$ is supposed to denote any $k$-derivative of the metric. This is a sub-basis for the $C^k$-topology on $mathrmLor(M)$.
My first question is: is this topology somehow metrizable?
Further, if $M$ was compact (and $chi(M) = 0)$, then $mathrmLor(M)$ is not empty, by imposing the $L^2$ metric (for some Riemannian metric) on $mathrmLor(M)$ induces the same topology as that I have defined? I mean, if we are interested on statements like:
(M,g) is locally causal if $g$ is close (on the sense of $C^r$-topology) to a causal metric $h$ on $M$,
Does this can be interchanged by
(M,g) is locally causal if $g$ is close to a causal metric $h$ on $M$ on the $L^2$-norm.
I am also sorry it these questions don't make sense at all, at the end, my question is: in general, introducing a Riemannian metric for comparing Lorentzian metric is somehow inappropriate, in the sense it leads to lost of some information?
lorentzian-geometry
asked 4 hours ago
L.F. Cavenaghi
431210
add a comment |Â
up vote
4
down vote
favorite
up vote
4
down vote
favorite
Fix a differentiable non-compact manifold $M$. Denote by $mathrmLor(M) := textLorentzian metrics on $M$.$ One can define a topology on this set via: fix any open covering $mathcalA$ on $M$. For each $g in mathrmLor(M)$ and for each positive continuous function $r : Mto ]0,infty[,$ one defines:
$$mathcal V(g,r) := nabla^kg_ij(p) - nabla^kh_ij(p),$$
where $g_ij, h_ij$ are the coordinates on some local chart with open domain contained on some open of $mathcalA$. (I am sorry being a bit informal at this point, but I think it is clear what I mean).
Also, $nabla^k$ is supposed to denote any $k$-derivative of the metric. This is a sub-basis for the $C^k$-topology on $mathrmLor(M)$.
My first question is: is this topology somehow metrizable?
Further, if $M$ was compact (and $chi(M) = 0)$, then $mathrmLor(M)$ is not empty, by imposing the $L^2$ metric (for some Riemannian metric) on $mathrmLor(M)$ induces the same topology as that I have defined? I mean, if we are interested on statements like:
(M,g) is locally causal if $g$ is close (on the sense of $C^r$-topology) to a causal metric $h$ on $M$,
Does this can be interchanged by
(M,g) is locally causal if $g$ is close to a causal metric $h$ on $M$ on the $L^2$-norm.
I am also sorry it these questions don't make sense at all, at the end, my question is: in general, introducing a Riemannian metric for comparing Lorentzian metric is somehow inappropriate, in the sense it leads to lost of some information?
lorentzian-geometry
asked 4 hours ago
L.F. Cavenaghi
431210
Fix a differentiable non-compact manifold $M$. Denote by $mathrmLor(M) := textLorentzian metrics on $M$.$ One can define a topology on this set via: fix any open covering $mathcalA$ on $M$. For each $g in mathrmLor(M)$ and for each positive continuous function $r : Mto ]0,infty[,$ one defines:
$$mathcal V(g,r) := nabla^kg_ij(p) - nabla^kh_ij(p),$$
where $g_ij, h_ij$ are the coordinates on some local chart with open domain contained on some open of $mathcalA$. (I am sorry being a bit informal at this point, but I think it is clear what I mean).
Also, $nabla^k$ is supposed to denote any $k$-derivative of the metric. This is a sub-basis for the $C^k$-topology on $mathrmLor(M)$.
My first question is: is this topology somehow metrizable?
Further, if $M$ was compact (and $chi(M) = 0)$, then $mathrmLor(M)$ is not empty, by imposing the $L^2$ metric (for some Riemannian metric) on $mathrmLor(M)$ induces the same topology as that I have defined? I mean, if we are interested on statements like:
(M,g) is locally causal if $g$ is close (on the sense of $C^r$-topology) to a causal metric $h$ on $M$,
Does this can be interchanged by
(M,g) is locally causal if $g$ is close to a causal metric $h$ on $M$ on the $L^2$-norm.
I am also sorry it these questions don't make sense at all, at the end, my question is: in general, introducing a Riemannian metric for comparing Lorentzian metric is somehow inappropriate, in the sense it leads to lost of some information?
lorentzian-geometry
lorentzian-geometry
asked 4 hours ago
L.F. Cavenaghi
431210
asked 4 hours ago
L.F. Cavenaghi
431210
edited 3 hours ago
asked 4 hours ago
L.F. Cavenaghi
431210
asked 4 hours ago
L.F. Cavenaghi
431210
asked 4 hours ago
L.F. Cavenaghi
431210
431210
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
4
down vote
accepted
First of all, there is a bunch of basic things that you need to write in a slightly clearer way. If you try to topologize the set of Lorentzian metrics as you did, you need first:
- Restrict to the subset of Lorentz metrics of a given (say, $C^k$, $kgeq 0$) regularity, otherwise your definition for the neighborhoods $mathcalV(g,r)$ makes no sense.
- Once you did the above (denote the resulting set by, say, $mathrmLor_k(M)$), replace $|nabla^k g_ij(p)-nabla^k h_ij(p)|$ by the sum $sum_0leq jleq k|nabla^j g_ij(p)-nabla^j h_ij(p)|$.
This is the bare minimum. Ideally, it would be better to do things in a coordinate-free way: denote by $nabla^k g$ the iterated covariant derivative of order $k$ of $g$ w.r.t. some (say, torsion-free) covariant derivative operator $nabla$ on $M$ and define the pointwise Euclidean norm $|T|$ of a tensor field $T$ by lifting some reference Riemannian metric $e$ on $M$ to the corresponding tensor bundle. This provides a way to write a fiberwise scalar product on the jet bundle of order $k$ of the fiber bundle of Lorentzian metrics over $M$ (more generally, on the jet bundle of order $k$ of the vector bundle of covariant tensors of rank 2 over $M$). One can write these things in more detail, but this is more or less standard. Anyway, I think you get the gist.
With the trivialities out of the way (at this point, if something about them is not yet clear, please do let me know), we can begin to address your question proper. What you wrote above (with the tacit understanding that the amendments 1. and 2. are included) are the basic neighborhoods for the $C^k$ Whitney topology of $mathrmLor_k(M)$. In fact, this topology does not depend on the choice of a reference Riemannian metric $e$ as above (the reason will be explained below).
If $M$ is compact, this topology is even normable if $k$ is finite and still metrizable if $k=infty$ for then it coincides with the compact-open $C^k$ topology. However if $M$ is non-compact (as you assumed, since you seem to be ultimately interested in causality theory for Lorentzian metrics and this theory is nontrivial only for non-compact $M$) this topology is non-metrizable for all $k$ (even $k=0$). In fact, this topology is not even first-countable in this case.
This is easier to visualize in the case of $C^k$ scalar fields (i.e. $C^k$ real-valued functions) on $M$ instead of Lorentzian metrics: the connected component to $fequiv 0$ in the $C^k$ Whitney topology is the space $C^k_c(M)$ of $C^k$ functions with compact support on $M$ with the usual inductive limit (locally convex vector space) topology. This topology is non-metrizable. More generally, the connected component to any $C^k$ function $f$ is precisely $f+C^k_c(M)$. A similar fact holds for the $C^k$ Whitney topology in $mathrmLor_k(M)$ - the metrics $h$ in the connected component to $ginmathrmLor_k(M)$ differ from $g$ only inside some compact subset of $M$ (depending on $h$). This remark also makes it clear why the choice of the Riemannian metric $e$ is not relevant to the definition of the $C^k$ Whitney topology, despite the fact that $M$ is not compact.
For (many!) details on the Whitney topologies, you may want to check The Convenient Setting of Global Analysis by Andreas Kriegl and Peter W. Michor (AMS, 1997), specially Chapter IX (Manifolds of Mappings).
answered 2 hours ago
Pedro Lauridsen Ribeiro
3,38711445
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
4
down vote
accepted
First of all, there is a bunch of basic things that you need to write in a slightly clearer way. If you try to topologize the set of Lorentzian metrics as you did, you need first:
- Restrict to the subset of Lorentz metrics of a given (say, $C^k$, $kgeq 0$) regularity, otherwise your definition for the neighborhoods $mathcalV(g,r)$ makes no sense.
- Once you did the above (denote the resulting set by, say, $mathrmLor_k(M)$), replace $|nabla^k g_ij(p)-nabla^k h_ij(p)|$ by the sum $sum_0leq jleq k|nabla^j g_ij(p)-nabla^j h_ij(p)|$.
This is the bare minimum. Ideally, it would be better to do things in a coordinate-free way: denote by $nabla^k g$ the iterated covariant derivative of order $k$ of $g$ w.r.t. some (say, torsion-free) covariant derivative operator $nabla$ on $M$ and define the pointwise Euclidean norm $|T|$ of a tensor field $T$ by lifting some reference Riemannian metric $e$ on $M$ to the corresponding tensor bundle. This provides a way to write a fiberwise scalar product on the jet bundle of order $k$ of the fiber bundle of Lorentzian metrics over $M$ (more generally, on the jet bundle of order $k$ of the vector bundle of covariant tensors of rank 2 over $M$). One can write these things in more detail, but this is more or less standard. Anyway, I think you get the gist.
With the trivialities out of the way (at this point, if something about them is not yet clear, please do let me know), we can begin to address your question proper. What you wrote above (with the tacit understanding that the amendments 1. and 2. are included) are the basic neighborhoods for the $C^k$ Whitney topology of $mathrmLor_k(M)$. In fact, this topology does not depend on the choice of a reference Riemannian metric $e$ as above (the reason will be explained below).
If $M$ is compact, this topology is even normable if $k$ is finite and still metrizable if $k=infty$ for then it coincides with the compact-open $C^k$ topology. However if $M$ is non-compact (as you assumed, since you seem to be ultimately interested in causality theory for Lorentzian metrics and this theory is nontrivial only for non-compact $M$) this topology is non-metrizable for all $k$ (even $k=0$). In fact, this topology is not even first-countable in this case.
This is easier to visualize in the case of $C^k$ scalar fields (i.e. $C^k$ real-valued functions) on $M$ instead of Lorentzian metrics: the connected component to $fequiv 0$ in the $C^k$ Whitney topology is the space $C^k_c(M)$ of $C^k$ functions with compact support on $M$ with the usual inductive limit (locally convex vector space) topology. This topology is non-metrizable. More generally, the connected component to any $C^k$ function $f$ is precisely $f+C^k_c(M)$. A similar fact holds for the $C^k$ Whitney topology in $mathrmLor_k(M)$ - the metrics $h$ in the connected component to $ginmathrmLor_k(M)$ differ from $g$ only inside some compact subset of $M$ (depending on $h$). This remark also makes it clear why the choice of the Riemannian metric $e$ is not relevant to the definition of the $C^k$ Whitney topology, despite the fact that $M$ is not compact.
For (many!) details on the Whitney topologies, you may want to check The Convenient Setting of Global Analysis by Andreas Kriegl and Peter W. Michor (AMS, 1997), specially Chapter IX (Manifolds of Mappings).
answered 2 hours ago
Pedro Lauridsen Ribeiro
3,38711445
add a comment |Â
up vote
4
down vote
accepted
First of all, there is a bunch of basic things that you need to write in a slightly clearer way. If you try to topologize the set of Lorentzian metrics as you did, you need first:
- Restrict to the subset of Lorentz metrics of a given (say, $C^k$, $kgeq 0$) regularity, otherwise your definition for the neighborhoods $mathcalV(g,r)$ makes no sense.
- Once you did the above (denote the resulting set by, say, $mathrmLor_k(M)$), replace $|nabla^k g_ij(p)-nabla^k h_ij(p)|$ by the sum $sum_0leq jleq k|nabla^j g_ij(p)-nabla^j h_ij(p)|$.
This is the bare minimum. Ideally, it would be better to do things in a coordinate-free way: denote by $nabla^k g$ the iterated covariant derivative of order $k$ of $g$ w.r.t. some (say, torsion-free) covariant derivative operator $nabla$ on $M$ and define the pointwise Euclidean norm $|T|$ of a tensor field $T$ by lifting some reference Riemannian metric $e$ on $M$ to the corresponding tensor bundle. This provides a way to write a fiberwise scalar product on the jet bundle of order $k$ of the fiber bundle of Lorentzian metrics over $M$ (more generally, on the jet bundle of order $k$ of the vector bundle of covariant tensors of rank 2 over $M$). One can write these things in more detail, but this is more or less standard. Anyway, I think you get the gist.
With the trivialities out of the way (at this point, if something about them is not yet clear, please do let me know), we can begin to address your question proper. What you wrote above (with the tacit understanding that the amendments 1. and 2. are included) are the basic neighborhoods for the $C^k$ Whitney topology of $mathrmLor_k(M)$. In fact, this topology does not depend on the choice of a reference Riemannian metric $e$ as above (the reason will be explained below).
If $M$ is compact, this topology is even normable if $k$ is finite and still metrizable if $k=infty$ for then it coincides with the compact-open $C^k$ topology. However if $M$ is non-compact (as you assumed, since you seem to be ultimately interested in causality theory for Lorentzian metrics and this theory is nontrivial only for non-compact $M$) this topology is non-metrizable for all $k$ (even $k=0$). In fact, this topology is not even first-countable in this case.
This is easier to visualize in the case of $C^k$ scalar fields (i.e. $C^k$ real-valued functions) on $M$ instead of Lorentzian metrics: the connected component to $fequiv 0$ in the $C^k$ Whitney topology is the space $C^k_c(M)$ of $C^k$ functions with compact support on $M$ with the usual inductive limit (locally convex vector space) topology. This topology is non-metrizable. More generally, the connected component to any $C^k$ function $f$ is precisely $f+C^k_c(M)$. A similar fact holds for the $C^k$ Whitney topology in $mathrmLor_k(M)$ - the metrics $h$ in the connected component to $ginmathrmLor_k(M)$ differ from $g$ only inside some compact subset of $M$ (depending on $h$). This remark also makes it clear why the choice of the Riemannian metric $e$ is not relevant to the definition of the $C^k$ Whitney topology, despite the fact that $M$ is not compact.
For (many!) details on the Whitney topologies, you may want to check The Convenient Setting of Global Analysis by Andreas Kriegl and Peter W. Michor (AMS, 1997), specially Chapter IX (Manifolds of Mappings).
answered 2 hours ago
Pedro Lauridsen Ribeiro
3,38711445
add a comment |Â
up vote
4
down vote
accepted
up vote
4
down vote
accepted
First of all, there is a bunch of basic things that you need to write in a slightly clearer way. If you try to topologize the set of Lorentzian metrics as you did, you need first:
- Restrict to the subset of Lorentz metrics of a given (say, $C^k$, $kgeq 0$) regularity, otherwise your definition for the neighborhoods $mathcalV(g,r)$ makes no sense.
- Once you did the above (denote the resulting set by, say, $mathrmLor_k(M)$), replace $|nabla^k g_ij(p)-nabla^k h_ij(p)|$ by the sum $sum_0leq jleq k|nabla^j g_ij(p)-nabla^j h_ij(p)|$.
This is the bare minimum. Ideally, it would be better to do things in a coordinate-free way: denote by $nabla^k g$ the iterated covariant derivative of order $k$ of $g$ w.r.t. some (say, torsion-free) covariant derivative operator $nabla$ on $M$ and define the pointwise Euclidean norm $|T|$ of a tensor field $T$ by lifting some reference Riemannian metric $e$ on $M$ to the corresponding tensor bundle. This provides a way to write a fiberwise scalar product on the jet bundle of order $k$ of the fiber bundle of Lorentzian metrics over $M$ (more generally, on the jet bundle of order $k$ of the vector bundle of covariant tensors of rank 2 over $M$). One can write these things in more detail, but this is more or less standard. Anyway, I think you get the gist.
With the trivialities out of the way (at this point, if something about them is not yet clear, please do let me know), we can begin to address your question proper. What you wrote above (with the tacit understanding that the amendments 1. and 2. are included) are the basic neighborhoods for the $C^k$ Whitney topology of $mathrmLor_k(M)$. In fact, this topology does not depend on the choice of a reference Riemannian metric $e$ as above (the reason will be explained below).
If $M$ is compact, this topology is even normable if $k$ is finite and still metrizable if $k=infty$ for then it coincides with the compact-open $C^k$ topology. However if $M$ is non-compact (as you assumed, since you seem to be ultimately interested in causality theory for Lorentzian metrics and this theory is nontrivial only for non-compact $M$) this topology is non-metrizable for all $k$ (even $k=0$). In fact, this topology is not even first-countable in this case.
This is easier to visualize in the case of $C^k$ scalar fields (i.e. $C^k$ real-valued functions) on $M$ instead of Lorentzian metrics: the connected component to $fequiv 0$ in the $C^k$ Whitney topology is the space $C^k_c(M)$ of $C^k$ functions with compact support on $M$ with the usual inductive limit (locally convex vector space) topology. This topology is non-metrizable. More generally, the connected component to any $C^k$ function $f$ is precisely $f+C^k_c(M)$. A similar fact holds for the $C^k$ Whitney topology in $mathrmLor_k(M)$ - the metrics $h$ in the connected component to $ginmathrmLor_k(M)$ differ from $g$ only inside some compact subset of $M$ (depending on $h$). This remark also makes it clear why the choice of the Riemannian metric $e$ is not relevant to the definition of the $C^k$ Whitney topology, despite the fact that $M$ is not compact.
For (many!) details on the Whitney topologies, you may want to check The Convenient Setting of Global Analysis by Andreas Kriegl and Peter W. Michor (AMS, 1997), specially Chapter IX (Manifolds of Mappings).
answered 2 hours ago
Pedro Lauridsen Ribeiro
3,38711445
First of all, there is a bunch of basic things that you need to write in a slightly clearer way. If you try to topologize the set of Lorentzian metrics as you did, you need first:
- Restrict to the subset of Lorentz metrics of a given (say, $C^k$, $kgeq 0$) regularity, otherwise your definition for the neighborhoods $mathcalV(g,r)$ makes no sense.
- Once you did the above (denote the resulting set by, say, $mathrmLor_k(M)$), replace $|nabla^k g_ij(p)-nabla^k h_ij(p)|$ by the sum $sum_0leq jleq k|nabla^j g_ij(p)-nabla^j h_ij(p)|$.
This is the bare minimum. Ideally, it would be better to do things in a coordinate-free way: denote by $nabla^k g$ the iterated covariant derivative of order $k$ of $g$ w.r.t. some (say, torsion-free) covariant derivative operator $nabla$ on $M$ and define the pointwise Euclidean norm $|T|$ of a tensor field $T$ by lifting some reference Riemannian metric $e$ on $M$ to the corresponding tensor bundle. This provides a way to write a fiberwise scalar product on the jet bundle of order $k$ of the fiber bundle of Lorentzian metrics over $M$ (more generally, on the jet bundle of order $k$ of the vector bundle of covariant tensors of rank 2 over $M$). One can write these things in more detail, but this is more or less standard. Anyway, I think you get the gist.
With the trivialities out of the way (at this point, if something about them is not yet clear, please do let me know), we can begin to address your question proper. What you wrote above (with the tacit understanding that the amendments 1. and 2. are included) are the basic neighborhoods for the $C^k$ Whitney topology of $mathrmLor_k(M)$. In fact, this topology does not depend on the choice of a reference Riemannian metric $e$ as above (the reason will be explained below).
If $M$ is compact, this topology is even normable if $k$ is finite and still metrizable if $k=infty$ for then it coincides with the compact-open $C^k$ topology. However if $M$ is non-compact (as you assumed, since you seem to be ultimately interested in causality theory for Lorentzian metrics and this theory is nontrivial only for non-compact $M$) this topology is non-metrizable for all $k$ (even $k=0$). In fact, this topology is not even first-countable in this case.
This is easier to visualize in the case of $C^k$ scalar fields (i.e. $C^k$ real-valued functions) on $M$ instead of Lorentzian metrics: the connected component to $fequiv 0$ in the $C^k$ Whitney topology is the space $C^k_c(M)$ of $C^k$ functions with compact support on $M$ with the usual inductive limit (locally convex vector space) topology. This topology is non-metrizable. More generally, the connected component to any $C^k$ function $f$ is precisely $f+C^k_c(M)$. A similar fact holds for the $C^k$ Whitney topology in $mathrmLor_k(M)$ - the metrics $h$ in the connected component to $ginmathrmLor_k(M)$ differ from $g$ only inside some compact subset of $M$ (depending on $h$). This remark also makes it clear why the choice of the Riemannian metric $e$ is not relevant to the definition of the $C^k$ Whitney topology, despite the fact that $M$ is not compact.
For (many!) details on the Whitney topologies, you may want to check The Convenient Setting of Global Analysis by Andreas Kriegl and Peter W. Michor (AMS, 1997), specially Chapter IX (Manifolds of Mappings).
answered 2 hours ago
Pedro Lauridsen Ribeiro
3,38711445
answered 2 hours ago
Pedro Lauridsen Ribeiro
3,38711445
answered 2 hours ago
Pedro Lauridsen Ribeiro
3,38711445
answered 2 hours ago
Pedro Lauridsen Ribeiro
3,38711445
3,38711445
add a comment |Â
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f313610%2fis-the-set-of-lorentzian-metrics-metrizable%23new-answer', 'question_page');
);
Post as a guest
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
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
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
