An optimal gap of minimal log discrepancies of threefold non-canonical singularities (Q2031602)

This paper studies the minimal log discrepancies of normal \(\mathbb{Q}\)-Gorenstein varieties of dimension \(3\). In the paper ``A gap theorem for minimal log discrepancies of noncanonical singularities in dimension three'' by Chen Jiang, Jiang proves that there exists a positive real number \(\delta\), such that for any normal \(\mathbb{Q}\)-Gorenstein variety \(X\) of dimension \(3\), if \(\mathrm{mld}(X)<1\), then \(\mathrm{mld}(X)\le 1-\delta\). This paper shows that the optimal bound for this constant \(\delta\) is \(\frac{1}{13}\). This result is based on Jiang's result mentioned above and the study of \(5\)-dimensional toroidal singularities by using computer programs. A similar type result for isolated \(5\)-dimensional cyclic quotient singularities is achieved along the way. This paper is quite technical. Computer programs are used in this paper to prove some mathematical statements, which is very interesting.