Elliptic Gorenstein singularities, log canonical thresholds, and log Enriques surfaces (Q1407367): Difference between revisions

Let \(0\in F\subseteq \mathbb C^3\) be a hypersurface elliptic singularity. The number \[ c(\mathbb C^3 , F):= \sup \{ c \mid (\mathbb C^3 , cF) \text{ is log canonical} \} \] denotes the log canonical threshold of \((\mathbb C^3 , F)\). The main results of the paper are the following: If \(c=c(\mathbb C^3 , F)\neq 1\) and \(c(\mathbb C^3 , F)\neq 5/6\) with some additional restrictions, then \((\mathbb C^3 , F)\) is exceptional: There is a unique blowup \(\varphi :Y\to \mathbb C^3\) with \(\rho (Y/ \mathbb C^3 )=1\), \,\(\mathbb Q\)-factorial \(Y\) and exceptional divisor \(S\), where the discrepancy is \(a(S,cF)=-1\). If \(F_Y\) denotes the proper transform of \(F\) in \(Y\), then \((Y,S+cF_Y)\) is purely log terminal. \((S, \text{ Diff}_S(cF_Y) )\) is a klt log Enriques surface, i.e. \(S\) is a normal projective surface, \(\text{ Diff}_S(cF_Y) \) is a boundary on \(S\) such that \((S, \text{ Diff}_S(cF_Y) )\) is klt and \(K_S + \text{ Diff}_S(cF_Y)\) is numerically trivial. If \(c=1-1/m\) for some \(m\in \mathbb{N}\), then there is a cyclic \(\mu _m\)-covering \(\pi :X' \to \mathbb C^3\), ramified along \(F\), a blowup \(\varphi ' :Y' \to X'\) of a unique divisor \(S'\) with discrepancy \(a(S',0)=-1\), which factors as \(\varphi \circ \psi = \pi \circ \varphi ' \). Moreover, \(\psi (S')=S\), \(S'\) is a normal K3-surface with DuVal singularities, and \(S'\to S\) is a ramified \(\mu _m\)-covering.