snoopies622 said:
Well, in the OP I wasn't sure where potential energy manifested itself in the hypothetical situation. (Was it in the falling object or not?) Answer: It's not in the object, but "in the field", hard to locate exactly. The mousetrap in entry #13 is a good example: the mass of the entire mousetrap increases when it is set, but one cannot measure the mass increase in this or that individual part of the mousetrap.
Well, in those cases in which there is a conserved energy, one may have a desire for the energy to "be somewhere", but it turns out there isn't any consistent observer-independent way of saying exactly where the energy is in General Relativity. This is in contrast to, say , electromagnetism, where one can talk about the energy density being proportional to E^2 + B^2, with the suitable conversion factors if one isn't using geometric units. GR does not have any such formula for energy density in any soft of field. The Lagrangian density can be defined - which is interesting, though I'm not sure if the OP will find it relevant or is even familiar with Lagrangian mechanics.
But there are reasonably common cases where there isn't a conserved energy in GR, at least not any known conserved energy, such as, say, an expanding FRW universe. Such as, for instance, the one we live in.
So one is led to wonder, if something (energy in GR) doesn't always exist, and cannot be localized in those cases where we think it should exist, does it really exist?
However, there are special cases where energy is conserved globally in General relativity, some of which seem to be specifically of interest. Locally (as opposed to globally), there is not only no problem, as energy conservation in some sense is built into the theory - the differential form of energy of local conservation is built into Einstein's field equations. This was mentioned in the FAQ I linked to earlier.
There are some good insights to be had looking at the history of the problem though. Noether's theorem is especially relevant and interesting. Some very famous mathematicians in the early days of GR - Hilbert, and Klein (and possibly a third person, I forget) had some similar concerns about energy in General Relativity, as we have been discussing. Hilbert wound up consulting with Emily Noether about the issue, as some work she was doing seemed relevant to the problem. There's some interesting, though not relevant, history there, with the role of women in science. The result of this is known as Noether's theorem in physics. Mathematicans know her for lot of her other theorems in abstract algebra, so they are a bit surrised to see "Noether's theorem" be singular, rather than plural.
Noether's theorem relates energy conservation to time translation symmetries. And there are difference in how this works when one has a finite symmetry group, and an inifinite symmetry group. GR is the later case.
Anyway, I would say that the problem turns out to be quite deep and interesting, and if one is fully satisfied with the answer, it's likely that one doesn't really appreciate the full problem. There's really quite a lot to consider. Reading what's available on the issue and not making up one's mind too soon is a good first step. However, it may take a fair bit of background to really get into the depths :(.