« first day (1605 days earlier)      last day (3318 days later) » 

12:22 AM
@tpg2114 Well if you know how to program, you can do anything, right?
 
12:47 AM
@dmckee I look forward to the day when that ancient formula, which you saw through immediately, has no purchase anywhere. Note the irony of the "time is priceless" phrase.
 
 
2 hours later…
2:21 AM
What is a good metric to begin with for calculating curvature? I am using these formulas
$$R^\rho{}_{\sigma\mu\nu} = \partial_\mu\Gamma^\rho{}_{\nu\sigma} - \partial_\nu\Gamma^\rho{}_{\mu\sigma} + \Gamma^\rho{}_{\mu\lambda}\Gamma^\lambda{}_{\nu\sigma}-\Gamma^\rho{}_{\nu\lambda‌​}\Gamma^\lambda{}_{\mu\sigma}$$
$$\Gamma^l{}_{jk} = \tfrac{1}{2} g^{lr} \left \{\partial _k g_{rj} + \partial _j g_{rk} - \partial _r g_{jk} \right \}$$
According to Wald, these should be sufficient to calculate the curvature given a metric. I would like to calculate some metric that models actual curvature. I was thinking Schwarschild, but Im not really sure how to approach this. Wald makes it sound like "plug and play"
 
@StanShunpike cartesian coordinates, polar coordinates, spherical coordinates, cylindrical coordinates, ellipsoidal coordinates, Schwarzschild metric,
 
2:50 AM
@StanShunpike it's a subtle thing, of course, but there's a distinction between the geometry (metric) and line element (of the metric on some coordinate system). For example, "Schwarzschild" might mean metric (solution, geometry) or coordinates which are distinctly different. The Schwarzschild metric (geometry) can be expressed in Schwarzschild coordinates or, e.g., Kruskal–Szekeres coordinates. The geometry (solution) is invariant and independent of the coordinates.
 
@AlfredCentauri I meant metric. But an interesting point.
 
3:25 AM
Okay, once I calculate the Christoffel symbols, I need to plug them into the equation. But for $(t,r,\theta,\phi$, there is one 4x4 matrix each upper index of the Christoffel symbols. And then, for instance, I have to take the partial derivatives of those terms....so doesnt that mean...something like...4*4*16 = 256 versions of the equatiosn!?!?!?!?!?
 
3:58 AM
@StanShunpike There are just 20 independent quantities due to the symmetries of the curvature tensor. 10 of the DOF are in the Einstein tensor - the remaining are in the Weyl tensor.
 
4:18 AM
@AlfredCentauri so out of 256, 20 are independent?
I'm not sure where i got 256 from. MTW mention that number in their book
 
@Jimnosperm yeah, but that's my point. If a question says "Do [X] for me" it's off topic. So I think the corresponding "Point me to a book that shows how to do [X]" should also be off topic.
 
Once I have the Christoffel symbols and I plug this into the curvature tensor formula, what does this give me? Obviously it gives me the curvature tensor. But I mean, what do I then use it for?
Like I don't really get how this tells me anything about curvature yet. This is just a tensor. How does this tell me about the difference between an initial vector and a vector parallel transported around a patch on my manifold?
Do I have to plug stuff into the tensor to measure curvature?
 
 
1 hour later…
5:45 AM
@0celo7 ^ any words of wisdom on this?
@DavidZ Most homework questions I have seen seem like they could be thought through better and rephrased to be conceptual questions. Is that your impression?
 
6:36 AM
Yeah, most of them could, it's just a matter of how much of a change would be required
Even the questions that copy and paste a homework question and show no effort whatsoever could be rephrased into conceptual questions. History suggests that's unlikely to happen though.
 
Precisely. I think it's tricky, but there really is no value in just asking someone else to do your work. I mean, that's not a site I would find interesting. The word parasitic seems strong but it wouldn't be a good use of ppls time.
Like i mean, i don't know if I'd call having someone else doing your homework parasitic....but it kinda reminds me of it because its just one person taking
 
@Jimnosperm just looked over this and my thoughts are: (1) When in doubt, just flag it. Worst case is that your flag gets declined, which nobody really cares about. (2) I think the answer is arguing that cables transmit signals via free-space EM waves, not electronic oscillations, by acting as a waveguide. Which is wrong (right?), and not well enough explained to be useful, but I can see how it qualifies as an answer.
 
@DavidZ very very true lol
@Danu if you scroll a few lines up, I had a question about the curvature tensor. Ping me if you got any thoughts about it.
 
6:55 AM
@StanShunpike I think Wikipedia seems to have an explanation
 
0
Q: Why should one answer a no-answer question?

CharlesThere are over 6,500 questions with no answer here, and over 8,000 practically unanswered. I tried one, but I have seen that nobody even takes a look at old questions. Do you know why? How does the date influence the usefulness of a question/answer? You have no interest that most questions be pr...

 
7:09 AM
@DavidZ So the idea is that, by taking the limit as the area of the patch goes to zero, the limit is the Riemann curvature tensor. And so if we are given a vector field $Z$, then $R(X,Y)Z$ yields how much Z has changed by? (To be clear, I have read that section 10x but I didn't know what it said)
 
You don't need a vector field, just a manifold, and one vector $Z$ at a particular point in the manifold.
 
And when I plug that into the Riemann tensor, that yields the curvature?
 
If you parallel-transport $Z$ around a small rectangle, then when you get back to the original point, it won't be pointing in the same direction. The Riemann tensor tells you how the direction changes, in the limit as the size of the rectangle goes to zero.
@StanShunpike well curvature is going to be some contraction of the Riemann tensor.
Or you could consider the tensor itself the curvature, in a slightly different sense. The word "curvature" is not really a specific technical term.
There are different kinds of curvature.
In mathematics, specifically differential geometry, the infinitesimal geometry of Riemannian manifolds with dimension at least 3 is too complicated to be described by a single number at a given point. Riemann introduced an abstract and rigorous way to define it, now known as the curvature tensor. Similar notions have found applications everywhere in differential geometry. For a more elementary discussion see the article on curvature which discusses the curvature of curves and surfaces in 2 and 3 dimensions, as well as Differential geometry of surfaces. The curvature of a pseudo-Riemannian manifold...
 
@DavidZ aren't we just talking about intrinsic curvature? I didn't know there were multiple kinds of intrinsic curvature. I have heard of Gaussian curvature, sectional curvature, and scalar curvature.
Is curvature an umbrella term?
 
There's intrinstic and extrinsic, of course, but that's not what I mean. Yes, I'm talking about different kinds of intrinsic curvature. It is an umbrella term, as far as I know.
There is not one thing that everybody means when they say "curvature"
 
7:19 AM
Damn, that's confusing. So the Riemann tensor itself doesn't yield any information about curvature but requires contractions? If we contract once, we get Ricci curvature and if we contract twice, we get scalar curvature, right? So are those the types of curvature physicists mean when they say curvature?
 
Well, if you mean the Riemann tensor when you say "curvature" then it does yield information about curvature ;-)
 
LOL wait, I thought u just said "curvature is going to be some contraction of the Riemann tensor"
So that implies its doesn't yield info about curvature, right?
Not without doing something further to it
 
Well, that was when I thought you were talking about one of the simpler kinds of curvature
but in general, any of these things can be considered curvature
The question of whether the Riemann tensor yields information about curvature is meaningless unless you are precise about what you mean by "curvature"
 
Well, I am considering the Schwarzchild metric. What kinds of curvature does that mean I am interested in?
 
I dunno, it depends on what you want to do with it/them
 
7:29 AM
How about approximating the different gravitational fields of objects in our solar system? For instance, the curvature around the sun.
What kind of curvature does that involve?
 
"curvature around the sun" still doesn't specify anything
But I guess you're looking for a curvature that relates to gravitational potential or gravitational force?
That I don't know offhand
 
Okay. I was very stuck and not making much progress until I found en.m.wikipedia.org/wiki/Deriving_the_Schwarzschild_solution which allowed me to understand physicspages.com/2013/12/25/…
Now that I understand how to compute the Christoffel symbols and plug them in, I need to figure out what doing all that accomplishes. You helped me see part of that since now I understand applying the curvature tensor to $Z$ gives me the difference between the original and parallel transported vectors.
But I now need to understand exactly what kinds of curvature this means I am measuring and what kinds of physical information this gives me about gravitational systems that fit the Schwarzchild metric.
 
Yeah, as far as I know it really depends on your application.
Someone who works with GR could tell you more.
 
By application, do you mean the particular physical characteristics of the system I am studying?
 
No, I mean what you're trying to do. What you're applying the Riemann tensor (and Christoffel symbols and metric) to.
 
7:42 AM
Isn't this all just to calculate the gravitational field? What else could I do or be interested in?
 
8:06 AM
@StanShunpike Gravitational waves, time dilation, black hole entropy and firewalls, inflation, cosmological expansion, wormholes, etc. etc. etc.
Geodesy (/dʒiːˈɒdɨsi/), — also known as geodetics or geodetics engineering — a branch of applied mathematics and earth sciences, is the scientific discipline that deals with the measurement and representation of the Earth, including its gravitational field, in a three-dimensional time-varying space. Geodesists also study geodynamical phenomena such as crustal motion, tides, and polar motion. For this they design global and national control networks, using space and terrestrial techniques while relying on datums and coordinate systems. == Definition == Geodesy — from the Greek word γεωδαισία or...
If it were only about calculating gravitational fields, the study of gravity would have ended 80 years ago. But in reality, it's a huge research area.
Oh, and then there's also quantum field theory in curved spacetime.
 
 
6 hours later…
2:02 PM
Could this be a typo?
I'd expect $[(x_1,x_2)-(y_1,y_2)]+i[(x_1,y_2)+(y_1,x_2)]$
 
Not a typo. Think about the sesqui-linearity requirement
Ah
 
hmm?
 
Nope, not a typo. It has to give its own conjugate when you switch the inputs, and your version doesn't do that
 
I guess
aesthetically very unpleasant, though :P
 
It looks somehow wrong, I agree :D
 
2:26 PM
Because of this:
DavidZ, kids are educated not with words but by setting a good example to them. Can you tell Charles how many no-answer old questions you have answered recently, or at all, please? — gwen 4 hours ago
The answer is 6 for DavidZ
 
@ACuriousMind: What's with the centering fetishism?
 
Curiously, JohnRennie has 9 and both Ron Maimon & annav have greater than 100 answers to old questions
 
Speaking of educating kids, I've started a Landau book reading weekly here:
 
@NikolajK Well...it's kinda considered standard to center formulae to which you give a line of their own, isn't it?
 
@ACuriousMind: Is sitting at 2 old answers
 
2:33 PM
@ACuriousMind: It probably is. But I think a typing judgement like L:R^n\times R^n... should have so much emphasis on it
 
BTW, if you can't tell, I'm actually proud of that DQ script. It took me like 5 minutes to do. And it worked the first time
 
is there any canonical notation for "trajectory", one which isn't also heavily used for cooridnate functions?
 
@NikolajK Well, I think it could as well be inline - but you gave it its own line, so I went for the minimal edit and just centered it. No one is forcing you to conform to my formatting choice as final word ;)
@KyleKanos I take it your learning SQL is going well, then?
 
@ACuriousMind Apparently. I'm not truly trying, but the several scripts I've written have left an imprint
I probably should spend more time learning C++
In this community you have also got postdoc students that might know the answer to this.Also,the two concept might coexist but that does not make them the same thing.Lastly,you have to buy the right to use the paper,so i can not put the link here — Landos Adam 44 mins ago
Interesting....only PhDs can understand that guy's paper
 
I love how posters like this never reply to the "Please ask something more specific" part of my comments.
 
3:28 PM
@JoeStavitsky That does not appear to be a question.
 
er sorry wrong link
 
Please delete the former link, it's spam
 
Hah, the historical discussion in the comments here is funny
(and inaccurate :)
 
@JoeStavitsky I think that would be more appropriate at Engineering
 
Oh, there is one now? ok, ty\
 
3:31 PM
It's in beta, but yes, it is here
 
thats disturbing, one of the users has exact same name as my old boss :/
 
@Danu Yeah, I've already chuckled at that ;)
@JoeStavitsky It may well be your old boss
 
@JoeStavitsky It may just be your boss
lol
 
no, he looks quite different
unless he posted a fakje pic for some reason
 
Now who'd be naive enough to use a real picture on the internet? ::looking at you, ACM::
 
3:35 PM
@Danu People over at imgur?
 
@Danu Lol, the one real picture you know of me would not help you recognizing me in real life, I swear.
 
@ACuriousMind Probably true
 
@ACuriousMind Because you're not actually a clown?
 
@KyleKanos Spot on, Sherlock ;)
 
4:16 PM
Hey yall
 
@StanShunpike Your gravatar is changing again :D
 
I know! :D
Its a bit fickle. Can't make up its mind whether I wants to change or not
Alrighty, so yesterday I made good process. I figured out how to calculate the Christoffel symbols for the Schwarzschild metric and plug them into the equation defining the Riemann tensor.
This should give me the Riemann tensor for the Schwarzschild metric.But I don't know what to do with it now. I think I want to calculate the gravitational field from the Sun. How do I use the curvature tensor to do this? If I have to use the weak field limit, then I want to pick something else to calculate because I think the weak field limit is boring.
Progress*
 
"gravitational field from the Sun"...what's that? The idea of gravitational potential/field doesn't really exist in GR outside of the weak field limits, afaik.
 
@KyleKanos I really hope that information does not show up on the meta question though
 
Yeah, okay. I mean the curvature from the sun.
@ACuriousMind but I'm not sure what kind of curvature that is.
 
4:30 PM
"curvature from the sun"? Um, you dd, the Riemann tensor is curvature
 
But what kind of curvature?
 
You might contract it to get the Ricci tensor or Ricci scalar, which are also "measures of curvature"
 
@DavidZ I have zero intentions of posting it there. But at the same point, I see zero issue with anyone having any number, from 0 to 1000.
 
@StanShunpike The Riemann tensor is the "curvature of the connection" in the general sense of connections, where the curvature (or field strength) tensor is defined as the derivative of the connection form.
 
yeah, which is exactly why I don't want it to show up on the meta question. I don't want to validate that "objection" with a response. (I think you knew that :-P)
 
4:32 PM
And it is curvature in the sense that, well, intuitively flat objects will have vanishing Riemann tensors for their Levi-Civita connection
 
Meaning their derivative is zero?
 
@StanShunpike Whose derivative?
"vanishing Riemann tensor" means the Riemann tensor itself is zero
 
The derivative of the curvature form is zero.
 
@DavidZ I thought briefly of making a new meta post about the answering old questions script I wrote, but then I figured that there really wasn't a question or an answer that I had come up with. So I posted it here (in a "safe" place)
 
@StanShunpike The Riemann tensor is the curvature form.
And being flat means that the curvature form is identically zero
(which, of course, also means that its derivative vanishes...)
 
4:35 PM
Right, so what I said wasn't inconsistent. Just perhaps ambiguous.
 
@DanielSank: Is there a language where you indicate that you are asking a question by beginning the question with "question"?
 
I do that all the time.
But its rhetorical not out of necessity of the language
@ACuriousMind ^
 
That sort of rhetoric always reminds me of HK-47's distinctive speech pattern.
 
@ACuriousMind is he from a video game? I don't remember him in the movies
 
@StanShunpike Yes, he's from KOTOR (both parts)
 
4:50 PM
@DavidZ @ACuriousMind, @JohnRennie, the OP and a couple of users in the comments are up to no good, IMHO. I get the impression, from some recent meta comments, that there is a small group looking to take offense from any comment or answer by some of the regulars and then to use "the formula". Note the large number of upvotes some of these comments get.
2
 
^I got that impression as well
 
@AlfredCentauri I've noticed :-P
already looking into it
 
@ACuriousMind what is KOTOR? (googling it)
 
@StanShunpike Knights of the Old Republic
Two RPG games set in the Star Wars universe long before the movies take place
 
That game is OLD
 
5:00 PM
Bug-ridden and with clunky interfaces, but gems in terms of story
@StanShunpike lol, my profile picture is from Planescape: Torment, which is even older
 
Your a useless meatbag sometimes @ACuriousMind :D
 
Hehe...you forgot to start that sentence with "Insult:" or "Statement:" to really sound like HK ;)
 
LOL
true
 
@AlfredCentauri Yeah, me too
Hey, today is my 555th day on the site :)
 
Unless they are also a voting ring on the main site, there's not much we can do about it, is there?
@Danu What satanic plans have you got for the 666th?
 
5:07 PM
@KyleKanos I've got a better script idea: Write something to quantify the correlation between age of question when answer was posted and votes on the answer.
I suspect that there is quite a strong correlation
 
@Danu Because of views toward the answer or because (IMHO) the quality of answer that come in late tends toward highly bi-modal?
 
Hmm, that's true.
 
Bimodality is definitely there, late answers mostly are either amazing or rather bad.
 
Very hard to filter out that noise, introduced by complete bogus
 
sigh and now I know why it does it and I think it's a dumb reason:
3
Q: Why does Compose Query default to Programmers SE?

райтфолдWhen I go to http://data.stackexchange.com/ and click Compose Query while I haven't selected a site yet, it always defaults to Programmers SE. I think it would be more appropriate to let me select a site, or at least default to Stack Overflow as that is the most popular SE-site. When I read t...

I'd much rather it be the old way where it defaults to your last site
 
5:17 PM
@ACuriousMind Heh.
Google App Engine is cool.
 
@ACuriousMind If what I suspect is true, we (individually) can do something about it. I've got to head out the door for now. More later...
 
@AlfredCentauri I wasn't keen on being called a hypocrite by whizkid. If he disagreed he could have said so without the ad hominem attack. Still, I don't see anything sinister in the comments, just excessive righteousness.
 
5:41 PM
@ACuriousMind the Riemann tensor is s rank 4 tensor right?
 
5:58 PM
@ACuriousMind have you played Shadows of Mordor? Its a pretty good game.
 
6:15 PM
@StanShunpike: Yes to both
SoM has one of the most fun combat I've seen in an action game for years.
 
6:43 PM
@ACuriousMind When we say that closed forms are locally exact..what exactly do we mean by "locally"? From the proof, this is what I have gathered: Let $U\subseteq M$ such that $U$ is contractible. If $\mathrm{d}\psi=0$ on $M$, then there exists some $\omega$ such that $\mathrm{d}\omega=\psi$ on $U$, but not necessarily on $M$ globally.
@ACuriousMind i.e. does "locally" mean in contractible subsets?
 
@ACuriousMind my bro has almost beaten it. I got it for him for Xmas. I started playing it myself, its awesome. I like how there is a hierarchy of bad guys. It gives me more incentive not to die needlessly
 
@0celo7 "Locally" usually means "there is an open neighbourhood for every point such that this property holds on the neighbourhood"
There are several other technical meanings of locally, but they all boil down to this idea
 
@ACuriousMind So contractibility has nothing to do with it?
 
@0celo7 Not directly, but it will hold on every contractible subset, because the cohomology of contractible subspaces vanishes by definition.
@StanShunpike Yeah, that orc leader system is an awesome idea
I got that game and spent a full weekend playing through it, doing not much else :D
 
@ACuriousMind Hmm, but $H^0(\mathbb{R}^n)\ne0$.
 
6:48 PM
My first attempt at an answer on Meta. Please let me know if this addendum to @DavidZ's answer was satisfactory.
 
@ACuriousMind lol I can see why. Its tons of fun. Before I bought it, i watched youtube videos of ppl playing it. It looked like a more magical and fun version of assassins creed
 
@0celo7 Really? I think it is $H_0(pt) = \mathbb{Z}$, which translates to non-vanishing top cohomology.
(Note the position of the index)
 
@ACuriousMind The zeroth cohomology group of the real numbers is not trivial.
 
@0celo7 on 196 in Wald, he mentions the notion of strong causality. Is he implying that we accept strong causality as a property of our universe?
 
What did you mean by "chomology...definition"?
 
6:52 PM
@0celo7 Poincare duality says to me it is.
 
@ACuriousMind But by direct computation, it is $\mathbb{R}$...
 
Because only the zeroth homology group is non-vanishing for contractible things, and this means the only non-vanishing cohomology group is the top one.
 
@ACuriousMind But by the de Rham theorem we have $H^0(\mathbb{R})\cong H_0(\mathbb{R})\cong \mathbb{R}$ because it has one connected component.
 
Ah
Sorry
$\mathbb{R}$ does not fulfill the requirement for Poincare to hold^^
It's not compact, damn it
 
Compact
That's the only thing I know about the Poincare theorem at this point lol
@StanShunpike Let me read that section real quick.
I think he mentions it and justifies it later.
 
6:56 PM
@0celo7: Still, the reason that the local statement holds on all contractible subsets is the statement that all but the zeroth and the top cohomology vanish, I think.
 
@ACuriousMind Well I don't know that all but the zeroth and the top homology vanish yet.
Spoiler alert...
 
@0celo7 To be contractible means to be homotopic to the point, doesn't it?
 
@StanShunpike Yes, he mentions strong causality and then proves that this implies global hyperbolicity, which is assumed.
@ACuriousMind I don't want a repeat of the homotopic to a point convo...
But yes, Nakahara defines contractibility if there exists a map $F:U\times I\rightarrow U$ such that $F(x,0)=x$ and $F(x,1)=p_0$.
@StanShunpike See Lemma 8.3.8 on page 205.
 
It rather directly follows from that definition that all the higher homotopy groups vanish. I have to think a bit how it follows that the non-top, non-zero cohomology group vanish, too.
It should be some variant of Poincare, I guess
 
@ACuriousMind Nakahara says Poincare duality is simply $H^{p}\cong H^{n-p}$ and then we use de Rham to write $H^p\cong H_{n-p}$. Is that correct in your mind too?
 
7:04 PM
@0celo7 nice, thats a neat lemma. does a closed timelike curve mean one whose future events end up connecting to the past ones?
 
@StanShunpike I guess, but really it just means a timelike curve that is closed :P
We cannot travel in time whilst respecting basic SR without closed timelike curves.
 
Sorry! I mixed up my terms! I meant causal. Arggh yeah, so does a closed causal curve mean one whose future events end up connecting to the past ones?
 
@StanShunpike I don't recall closed causal curves being discussed in Wald. Am I incorrect?
 
@0celo7 I call the latter equality "Poincare duality", I think. "deRham's theorem" is that the deRham cohomology is the usual cohomology.
 
No he does. 196 under figure 8.7
 
7:09 PM
The first equality I'd call Hodge dualiy, I think.
 
@StanShunpike Oh, the closed causal curves are just the closed curves which are causal, i.e. null or timelike, modulo trivial sections.
@StanShunpike Intuitively, yes.
We can send stuff along a closed causal curve and it can influence events in our past.
@ACuriousMind I thought Hodge duality was $\Omega^{p}\cong\Omega^{n-p}$.
(Hence we have the Hodge dual operator.)
 
@0celo7 Yes, this might be an indication that forms and (co)homology is a bit mixed up in my mind :P
 
@ACuriousMind that distinction of phenomena vs phenomenon is burned into my mind now lol.
 
@StanShunpike Very good :D
 
What is the distinction? (Besides singular/plural.)
 
7:19 PM
^exactly the singular/plural
Many people use phenomena for the singular as well
 
@ACuriousMind Is $*$ or $\star$ better?
 
I definitely prefer $\star$.
 
Holy shit I just realized Ludaversal is coming out in three days.
>$13.99
Oh 18 tracks.
@ACuriousMind Why do some people use $\delta$ for boundaries? I'm reading the topology summary in BBS to see what I still to study and they use $\delta$.
 
No idea, I don't know why some use $\partial$, either.
 
@ACuriousMind You're a $\dot$ weirdo?
 
7:29 PM
@0celo7 Huh? (That doesn't render, btw)
 
(I know it doesn't render.) Do you use $\dot D$ for the boundary of $D$?
 
Oh, no, I use $\partial$. I don't know why, though :D
 
I thought $\partial$ was the overwhelmingly common notation.
Oh.
@ACuriousMind Interesting...BBS uses a much different approach to Poincare duality. They take two forms $A\in H^p(M)$ and $B\in H^{n-p}(M)$ and show that if $$\int_M A\wedge B=\int_N B$$ holds, then $N$ is an $(n-p)$-cycle and is determined by the representative $A$ of $H^p(M)$. Thus $H^p(M)\cong H_{n-p}(M)$.
(There is a subtlety involving the boundarylessness of $M$.)
 
7:53 PM
What's the difference between the Schwarzschild solution and the Schwarzschild metric?
 
@StanShunpike Why do you think there is one?
 
I don't. I was just verifying there isn't one.
 
8:09 PM
@ACuriousMind because I thought the way it worked was...given a metric, you find the stress energy tensor...but the Schwarzschild solution isn't a stress energy tensor but the Schwarzschild metric itself. So, what is the corresponding stress-energy tensor?
Like there are two sides to the EFEs. And currently I only have one side...
 
@StanShunpike I think it is supposed to be the other way around - you are given the matter/energy distribution in the universe (the stress-energy tensor), and you solve for the metric.
And the Schwarzschild metric is the solution outside of a spherically symmetric mass configuration
 
Right, okay. That makes sense. But then what is the correspondinf stress energy tensor? Like "spherically symmetric mass configuration" is just words, not a tensor.
 
@StanShunpike The corresponding stress-energy outside the mass configuration is rather boring: $T = 0$.
It's a "vacuum solution"
 
@StanShunpike You don't know the metric. If you did know the metric, why would you need the Einstein equations?
Sure, if you had the metric, you could termine $T$. But there's no way to actually measure $g$, so how would you get it in the first place?
 
8:25 PM
So we have the EFEs. We set the RHS equal to zero and solve for the Schwarzschild metric?
@0celo7 true, you couldn't.
 
@StanShunpike Yes, the Schwarzschild metric is the unique static vacuum solution with spherical symmetry.
 
Is it bad to post very brief answers in comments e.g. my comment
2
Q: Why is tree-level interaction between neutral scalar and photons non-renormalizable?

KoaaalaI've read that the decay of a neutral scalar particle into two photons, i.e., $$ S(p+q) \to \gamma(p) + \gamma(q) $$ can't happen via tree diagrams and instead is caused by loop diagrams (such as a triangle diagram with an internal fermion); otherwise the theory won't be renormalizable. But why...

On the one hand, I don't feel like writing a full answer, so I just wrote the gist. But on the other, perhaps I've now discouraged someone from writing a comprehensive answer...
 
@innisfree It is definitely preferred if you expand on such comments and make them answers.
 
@0celo7 But why is the RHS zero? I thought we were dealing with a massive distribution
 
8:32 PM
@innisfree: There's a bit of meta debate on such comments, see e.g.: meta.physics.stackexchange.com/q/964/50583, meta.physics.stackexchange.com/q/5966/50583
 
@acurious certianly a full answer is better than a comment. but is a brief answer in a comment actually a destructive contribution? does it just kill that question?
 
@StanShunpike There is a difference between an interior and exterior solution.
 
@innisfree I'd say it is not destructive as such, but DavidZ's answer to the first meta post I linked seems to indicate one should not leave such comments, generally. I understand the "I don't want to write a full answer", though
 
thanks, ok
 
9:09 PM
@0celo7 what is the difference?
 
@StanShunpike One solves $G=8\pi T$ and the other solves $\operatorname{Ric}=0$.
 
@0celo7 why do we set Ricci equal to zero?
 
@StanShunpike $T=0\implies G=0\implies \operatorname{Ric}=0$
 
Why couldn't $R_{ab} = \frac{1}{2} g_{ab}R$? Would $G$ still be zero then? Why does $R_{ab}$ have to equal zero?
 
@StanShunpike Take the trace of that equation.
What do you get?
 
9:26 PM
Um, Ricci scalar? I thought that's what the trace of the Ricci tensor was...
 
@StanShunpike $$R_{ab}=\tfrac{1}{2}g_{ab}R\implies R^a{}_a=\tfrac{1}{2}g^a{}_aR\implies R=2R\implies R=0\implies R_{ab}=\tfrac{1}{2}g_{ab}\cdot 0=0$$
 
@0celo7 ah, makes sense
Why does $g^a{}_{a}$ vanish?
@0celo7 also, why is $T=0$? I thought this was a case where we were dealing with massive objects.
 
@StanShunpike $T=T(x)$ is a tensor field. There is no reason for it to be nonzero when there is no energy-momentum at $x$.
@StanShunpike Just think of $T$ like in Weinberg Eq. (2.8.4). If there is no energy-momentum at $\mathbf{x}$, then all of the delta functions will be zero and thus $T$ will be zero.
 
10:01 PM
Ohhhhh....so everything outside of the object doesn't have energy momentum at it. Is that the idea? @0celo7
 
@StanShunpike Yes, it's a vacuum outside of the object, which has no energy-momentum by definition.
 
@StanShunpike It doesn't. $g^a{}_a=4$.
 
what do you think about this question? physics.stackexchange.com/questions/172854/…
The answer by Alfred Cent.. has left me wondering whether I'm mistaken. I'm a bit confused. Even in static spacetimes, is energy conserved in GR? and in static spacetimes, is it at all contentious?
 
@innisfree: You need to define energy first. You cannot do the usual "time translation invariant" because GR doesn't really fix a notion of time. For "static" spacetimes, I think you get a time-like Killing vector or something like that whose conserved quantity you would call energy.
From some discussion on this, I have gathered that one should probably refrain from talking about "energy" in any form that is not the stress-energy tensor in GR.
 
10:18 PM
a time-like killing vetor <=> no explicit time dependence in the hamiltonian
but the conserved quantity from Noether's theorem isn't a good tensor, it's a pseudo-tensor. are the conserved quantities associated with killing vectors good tensors?
No! it isn't, you have the same problem. You get something like $\del_\mu T... = 0$ from a Lie-derivative. So the conserved quantity is a pseudo-tensor
 
10
A: Why does no physical energy-momentum tensor exist for the gravitational field?

Ben CrowellThe energy-momentum tensor is defined locally, and it's a tensor. In electromagnetism, or in Newtonian gravity, the way we form a local energy density is basically by squaring the field. The problem with applying this to GR is that the gravitational field $\mathbf{g}$ is zero, locally, in an ine...

You don't get energy for the gravitational field because the theory is (time-)reparametrization invariant, and the Hamiltonians of such invariant theories vanish
 
@ACuriousMind Could you please read through these short sections imgur.com/8NlhFNJ imgur.com/JZzaGhU,8NlhFNJ and explain why $\alpha^{p-1}=\delta^{r-p-1}$?
I understand how to get (6.43).
 
10:33 PM
@0celo7 I don't think we find $\alpha = \delta$. We find $\alpha = 0$ and $\delta = 0$, and the author chose to state this confusingly as $\alpha=\delta=0$.
 
Yes, I am saying silly things :S
 
@ACuriousMind I'm aware of that, but I still don't get why $\alpha=0=\delta$.
Oh, saw my typo.
 
@0celo7 I think it is because the terms on the RHS involving $\alpha$ and $\delta$ have the wrong form (they are in $\Omega^{p-1}\wedge\Omega^{r-p+1}$ and $\Omega^{p+1}\wedge\Omega^{r-p-1}$, while the LHS is clearly in $\Omega^p\wedge\Omega^{r-p}$), so they must vanish.
 
@ACuriousMind That is my uneducated conclusion as well.
 
Hi all
 
10:43 PM
@ACuriousMind Well since you said it, I'll take it to be true unless it somehow proves false.
@Danu Hi.
 
@0celo7 It can't be much more sophisticated, else they'd spell that argument out, I think
 
@0celo7 Where do we get 4 from? Is that cuz $g=\eta$?
 
@StanShunpike $g^a{}_b=\delta^a{}_b$.
Then you sum the diagonal elements, which are all $1$ and of which there are 4.
 
Why does it equal $\delta$?
 
@StanShunpike You're asking questions that are answered on page 20 in fours books you've read...
25 in Wald.
95 in Weinberg.
 
10:53 PM
K I'll check lol, thanks
 
72 in Zee.
71 in Carroll.
 
Its obvious now. Thanks.
 
@StanShunpike When @Danu says you're reading too fast or too much at the same time, this is what he's talking about. You need to understand every equation and realize that any equation can come back to haunt you, sometimes without warning.
 
Yeah, I suppose. I mean, I'm trying to find balance. I have heard their advice. And I have altered what I am doing some to try to match what they suggested.
 

« first day (1605 days earlier)      last day (3318 days later) »