All of that is interesting, but I think the difficulty adjustment is the key point. No matter how low the marginal cost of computing goes, and there will always be a marginal cost, the difficulty adjustment can match it (at least that's my understanding).

There could be very interesting distributional effects from a small group of miners having access to substantially cheaper energy, though.