Aspherical neighborhoods on arithmetic surfaces: the local case (Q1785555)

The paper deals with the problem of whether on arithmetic surfaces over henselian discrete valuation rings, a geometric point has a basis of étale neighborhoods whose \(\mathfrak c\)-completed étale homotopy types are of the type \(K(\pi,1)\) with respect to a full class \(\mathfrak c\) of finite groups. The main result is: let \(K\) be the completion of an algebraic extension of \(\mathbb Q_p\) with finite ramification index and let \(B\) be the ring of integers of \(K\). Suppose \(\mathfrak c\) is a full class of finite groups such that the residue characteristic of \(B\) is not contained in the submonoid \(\mathbb N(\mathfrak c)\) of \(\mathbb{N}\) consisting of all cardinalities of the groups in \(\mathfrak{c}.\) Assume that for all but finitely many primes \(l\in\mathbb{N}(\mathfrak{c})\), the extension \(K\subseteq K(\mu_l)\) is a \(l\)-extension. Let \(Y/B\) be an arithmetic surface and \(\bar{y}\to Y\) be a geometric point. Then \(\bar{y}\) has a basis of étale neighborhoods which are \(K(\pi,1)\) with respect to \(\mathfrak{c}.\)