1: \begin{abstract}

2: Convergence of domain decomposition methods rely heavily on the efficiency of the coarse space used in the second level. The GenEO coarse space has been shown to lead to a robust two-level Schwarz preconditioner which scales well over multiple cores ~\cite{Spillane:2014:ASC,Dolean:2015:IDDSiam}. The robustness is due to its good approximation properties for problems with highly heterogeneous material parameters. It is available in the finite element packages FreeFem++~\cite{Hecht:2012:NDF}, Feel++~\cite{Prudhomme:2006:DSE}, Dune~\cite{Blatt:2016:Distributed} and is implemented as a standalone library in HPDDM~\cite{Jolivet:2014:HPD} and as such is available as well as a PETSc preconditioner. But the coarse component of the preconditioner can ultimately become a bottleneck if the number of subdomains is very large and exact solves are used. It is therefore interesting to consider the effect of inexact coarse solves. In this paper, robustness of GenEO methods is analyzed with respect to inexact coarse solves. Interestingly, the GenEO-2 method introduced in~\cite{haferssas:2016:ASM} has to be modified in order to be able to prove its robustness in this context. 

3: %\keywords{Domain Decomposition Methods \and Multilevel method \and Adaptivity}

4: % \PACS{PACS code1 \and PACS code2 \and more}

5: % \subclass{MSC code1 \and MSC code2 \and more}

6: \end{abstract}

7: