High-frequency backreaction for the Einstein equations under polarized \(\mathbb U(1)\)-symmetry (Q1712810)

The purpose of this article is to construct 1-parameter families of metrics with certain properties of the stress-energy momentum tensor. Then these metrics necessarily oscillate with high frequencies in more than 2 dimensions. One of the versions of the main theorems assert conditions for the system of Einsteins equations to be angularly separated. First, the notation is introduced, e.g. the Laplace operator, and differential geometry terms like Christoffel symbols. One of the metrics is defined by Fourier series. Another metric is defined by bootstrap assumptions. A bootstrap theorem states that certain bootstrap assumptions hold for sufficiently small constants. Then the scalar field is estimated by decomposition of the inverse metric. Finally, the second metric is defined by decay at infinity. The proofs use trigonometric calculations, many estimates, Stokes theorem, integration by parts, Cauchy-Schwarz and Gronvall inequalities.