1: \begin{abstract}

2: We analyse two-level hybrid Schwarz domain-decomposition GMRES preconditioners for finite-element discretisations of the Helmholtz equation with wavenumber $k$, where the coarse space consists of piecewise polynomials. 

3: 

4: We prove results for fixed polynomial degree (in both the fine and coarse spaces), as well as polynomial degree increasing like $\log k$.

5: In the latter case, we prove that, with a fine space of dimension $C_1  k^d (\log k)^{3d}$,  a coarse space of dimension $C_2 k^d (\log k)^{d}$ (where $C_2/C_1$ can be arbitrarily small) 

6: and subdomains of diameter $\sim k^{-1}(\log k)^{-1}$ with generous overlap, preconditioned GMRES converges in a number of iterations that grows at most like $(\log k)^2$. 

7: 

8: 

9: That is, modulo the factors of $\log k$ and the important question of how to efficiently solve the coarse problem, 

10: this is  the (arguably) theoretically-ideal situation where the fine and coarse spaces are both pollution free, the number of degrees of freedom per subdomain 

11: is constant, and  the number of iterations is constant.

12: 

13: Along with the results in the companion paper \cite{GS4} (which cover only fixed polynomial degree), 

14: these are the first rigorous convergence results about a two-level Schwarz preconditioner applied to the high-frequency Helmholtz equation with a coarse space that does not consist of problem-adapted basis functions.

15: \end{abstract}

16: