KSBA surfaces with elliptic quotient singularities, \(\pi_{1}=1\), \(p_{g}=0\), and \(K^{2}=1,2\) (Q312303)

The authors work over the field \(\mathbb C\). An elliptic quotient singularity is a normal two-dimensional singularity which has discrepancy \((-1)\), and its canonical covering is a simple elliptic singularity. A list of these singularities can be found in [\textit{T. S. Gustavsen} and \textit{R. Ile}, Ann. Inst. Fourier 60, No. 2, 389--416 (2010; Zbl 1203.13012)]. Among them, there are only three which admit a smoothing whose Milnor fiber has second Betti number equals to zero [\textit{J. Wahl}, Topology 20, 219--246 (1981; Zbl 1288.32040); Geom. Topol. 15, No. 2, 1125--1156 (2011; Zbl 1220.14003)]. These three elliptic quotient singularities and Wahl singularities (i.e., cyclic quotient singularities \(\frac{1}{n^2}(1,na-1)\) with \(\mathrm{gcd}(n,a)=1\)) form the complete list of log canonical singularities which have a rational homology disk smoothing [\textit{J. Wahl,} Mich. Math. J. 62, No. 3, 475--489 (2013; Zbl 1288.32040)]. Let \((P\in X)\) be one of the three elliptic quotient singularities mentioned above. Then there is a minimal resolution \(\pi:\widetilde X\to X\) such that the exceptional divisor consists of \(4\) smooth rational curves \(E_1\), \(E_2\), \(E_3\), \(F\). The curves \(E_1\), \(E_2\), \(E_3\) are disjoint, each meets the central curve \(F\) transversally at one point, and \([-E_1^2, -E_2^2,-E_3^2;-F^2]=[3,3,3;4], [4,2,4;3]\) or \([2,3,6;2]\). The authors denote the set of these three singularities by \(\mathbb QEq\). The authors use a slightly modified construction of \textit{Y. Lee} and \textit{J. Park} [Invent. Math. 170, No. 3, 483--505 (2007; Zbl 1126.14049)] in order to construct normal projective surfaces \(X\) with invariants \(p_g(X)=0\), \(\pi_1(X)=1\) and \(K^2_X=1,2\) having \(\mathbb QEq\) singularities. In the last section the authors list old and new Wahl singularities having invariants \(p_g=1\), \(\pi_1=1\) and \(K^2=1,2,3,4\).