timmdeeg said:
So one can't argue that in principle the energy increase in the spring goes to the expense of the accelerated expansion, meaning to a decrease of the second derivative of the scale factor, correct?
If the accelerated expansion is caused by a cosmological constant, no, one can't, because the cosmological constant is constant.
However, if the accelerated expansion were caused by something that wasn't constant, for example, a scalar field--as I understand it this is considered unlikely, but mathematically it's possible--then it could be possible for that field (or whatever it is) to interact with the stress-energy in the springs, such that the field's stored energy density would change.
Also, I should stress that I have not done any math for any of these examples. I have so far been implicitly assuming that the stress-energy in the spring was negligible as far as any effect on spacetime curvature is concerned; but if we're going to talk about a possible effect of the change in the spring's energy density on the expansion history of the universe, that assumption isn't really valid any more. So we would have to solve a more complicated problem where there is both dark energy (cosmological constant or something else that causes accelerated expansion) and the stress-energy in the spring present. If we do that, things could change. For one example of what could change, see next comment.
timmdeeg said:
would the Friedmann equations remain unchanged, if the universe was filled with springs compared to a universe with a mass density that equals that of the springs and the same vacuum energy density in both cases?*)
No, because the Friedmann equations assume a perfect fluid stress-energy tensor, and if springs are present instead of a uniform mass density, the stress-energy tensor cannot take the form of a perfect fluid (because a perfect fluid requires the SET to be spatially isotropic, but the springs are stretched in a particular direction so their stress-energy is not isotropic).
timmdeeg said:
To my understanding covariance in GR means that the laws describing it are the same (perhaps better invariant) regardless the frame of reference of an observer.
That's "general covariance" in the sense of being able to choose any coordinates you like. But "covariant divergence" means "the actual physical divergence of the tensor, adjusted so any effects of your choice of coordinates are removed". In other words, the covariant divergence being zero is a coordinate-invariant expression of the law that no stress-energy can be created or destroyed in any infinitesimal volume of spacetime.
timmdeeg said:
"it's that the changing spacetime geometry offsets the increase in the spring's energy density in just the right way to keep the covariant divergence zero" it's not really technical but still hard. Could you please elaborate a little more on this?
I can't elaborate much without taking the time to do the math in more detail. But it's similar to the way the energy density of an expanding universe decreases with the expansion. Along any comoving worldline, the energy density in an expanding universe decreases with proper time. That decrease is not offset by anything: the energy density isn't being transferred anywhere else, it's just decreasing because the universe is expanding. That can make it seem like stress-energy is being destroyed. But all that's actually happening is that the spacetime geometry is changing in concert with the energy density, in just the right way to make the covariant divergence of the stress-energy tensor zero.
timmdeeg said:
The Friedmann equations themselves don't change.
They do if we take the stress-energy in the springs into account. See above.