Characterization of 2-dimensional normal Mather-Jacobian log canonical singularities (Q2418804)

Among the singularities appearing frequently in birational geometry are the canonical, log canonical, terminal and log terminal ones, and they are all normal \(\mathbb{Q}\)-Gorenstein singularities. But there are many other singularities that are considered ``good'' without satisfying this condition. For this reason a more general class without restrictions on the type of singularity has been introduced independently by \textit{S. Ishii} [Ann. Inst. Fourier 63, No. 1, 89--111 (2013; Zbl 1360.14048)] and \textit{T. de Fernex} and \textit{R. Docampo} [J. Eur. Math. Soc. (JEMS) 16, No. 1, 165--199 (2014; Zbl 1334.14022)]. The definition uses jet schemes and Nash blow up and is based on the notion of Mather-Jacobian (MJ) log discrepancy ([\textit{L. Ein} et al., Adv. Stud. Pure Math. 70, 9--28 (2016; Zbl 1369.14028)]). This class has many good properties, in particular for it the Inversion of adjunction holds in full generality. Using this discrepancy could be defined in the same way as for the standart ones, MJ-canonical and MJ-log canonical singularities. They are stable under deformations, and for them the Shokurov's conjecture holds. Moreover, the MJ-canonical singularities and complete intersection MJ-log canonical singularities in dimension 2 have been determined ([\textit{L. Ein} and \textit{S. Ishii}, Math. Sci. Res. Inst. Publ. 68, 125--168 (2015; Zbl 1359.14020)]). In the article under review, the authors describe the normal MJ-log canonical singularities of dimension 2, which are not complete intersections. After some preliminaries on MJ-log discrepancy and jet schemes is proved the main result. It characterizes the MJ-log canonical surface singularities which are not complete intersection as rational triple points on a toric surface, or equivalently, as toric singularities of embedding dimension 4. The proof uses a result of Tyurina that classifies explicitly the rational triple singularities by the system of equations defining them.